Showing 1–50 of 69 results for author: Ziegler, V

On the unique solvability of the simultaneous Pell equations $x^2-ay^2 = 1$ and $z^2-bx^2 = 1$

Authors: Tobias Hilgart, Volker Ziegler

Abstract: We consider the simultaneous Pell equations $$x^2 - ay^2 = 1, \qquad z^2 - bx^2 = 1,$$ where $a > b\geq 2$ are positive integers. We describe a procedure which, for any fixed $b$, either confirms that the simultaneous Pell equations have at most one solution in positive integers, or finds all exceptions for which we have proved that there are at most finitely many. We consider the simultaneous Pell equations $$x^2 - ay^2 = 1, \qquad z^2 - bx^2 = 1,$$ where $a > b\geq 2$ are positive integers. We describe a procedure which, for any fixed $b$, either confirms that the simultaneous Pell equations have at most one solution in positive integers, or finds all exceptions for which we have proved that there are at most finitely many. △ Less

Submitted 10 June, 2024; originally announced June 2024.

MSC Class: 11D09; 11Y50

On a conjecture of Levesque and Waldschmidt II

Authors: Tobias Hilgart, Volker Ziegler

Abstract: Related to Shank's notion of simplest cubic fields, the family of parametrised Diophantine equations, \[ x^3 - (n-1) x^2 y - (n+2) xy^2 - 1 = \left( x - λ_0 y\right) \left(x-λ_1 y\right) \left(x - λ_2 y\right) = \pm 1, \] was studied and solved effectively by Thomas and later solved completely by Mignotte. An open conjecture of Levesque and Waldschmidt states that taking these parametrised D… ▽ More Related to Shank's notion of simplest cubic fields, the family of parametrised Diophantine equations, \[ x^3 - (n-1) x^2 y - (n+2) xy^2 - 1 = \left( x - λ_0 y\right) \left(x-λ_1 y\right) \left(x - λ_2 y\right) = \pm 1, \] was studied and solved effectively by Thomas and later solved completely by Mignotte. An open conjecture of Levesque and Waldschmidt states that taking these parametrised Diophantine equations and twisting them not only once but twice, in the sense that we look at \[ f_{n,s,t}(x,y) = \left( x - λ_0^s λ_1^t y \right) \left( x - λ_1^sλ_2^t y \right) \left( x - λ_2^sλ_0^t y \right) = \pm 1, \] retains a result similar to what Thomas obtained in the original or Levesque and Waldschidt in the once-twisted ($t = 0$) case; namely, that non-trivial solutions can only appear in equations where the parameters are small. We confirm this conjecture, given that the absolute values of the exponents $s, t$ are not too large compared to the base parameter $n$. △ Less

Submitted 29 April, 2024; originally announced April 2024.

MSC Class: 11D25; 11D57; 11D61

On Pillai's Problem involving Lucas sequences of the second kind

Authors: Sebastian Heintze, Volker Ziegler

Abstract: In this paper we consider the Diophantine equation $ V_n - b^m = c $ for given integers $ b,c $ with $ b \geq 2 $, whereas $ V_n $ varies among Lucas-Lehmer sequences of the second kind. We prove under some technical conditions that if the considered equation has at least three solutions $ (n,m) $, then there is an upper bound on the size of the solutions as well as on the size of the coefficients… ▽ More In this paper we consider the Diophantine equation $ V_n - b^m = c $ for given integers $ b,c $ with $ b \geq 2 $, whereas $ V_n $ varies among Lucas-Lehmer sequences of the second kind. We prove under some technical conditions that if the considered equation has at least three solutions $ (n,m) $, then there is an upper bound on the size of the solutions as well as on the size of the coefficients in the characteristic polynomial of $ V_n $. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: 24 pages

Beam Spin Asymmetry Measurements of Deeply Virtual $π^0$ Production with CLAS12

Authors: A. Kim, S. Diehl, K. Joo, V. Kubarovsky, P. Achenbach, Z. Akbar, J. S. Alvarado, Whitney R. Armstrong, H. Atac, H. Avakian, C. Ayerbe Gayoso, L. Barion, M. Battaglieri, I. Bedlinskiy, B. Benkel, A. Bianconi, A. S. Biselli, M. Bondi, F. Bossù, S. Boiarinov, K. T. Brinkmann, W. J. Briscoe, W. K. Brooks, S. Bueltmann, V. D. Burkert , et al. (132 additional authors not shown)

Abstract: The new experimental measurements of beam spin asymmetry were performed for the deeply virtual exclusive $π^0$ production in a wide kinematic region with the photon virtualities $Q^2$ up to 8 GeV$^2$ and the Bjorken scaling variable $x_B$ in the valence regime. The data were collected by the CEBAF Large Acceptance Spectrometer (CLAS12) at Jefferson Lab with longitudinally polarized 10.6 GeV electr… ▽ More The new experimental measurements of beam spin asymmetry were performed for the deeply virtual exclusive $π^0$ production in a wide kinematic region with the photon virtualities $Q^2$ up to 8 GeV$^2$ and the Bjorken scaling variable $x_B$ in the valence regime. The data were collected by the CEBAF Large Acceptance Spectrometer (CLAS12) at Jefferson Lab with longitudinally polarized 10.6 GeV electrons scattered on an unpolarized liquid-hydrogen target. Sizable asymmetry values indicate a substantial contribution from transverse virtual photon amplitudes to the polarized structure functions.The interpretation of these measurements in terms of the Generalized Parton Distributions (GPDs) demonstrates their sensitivity to the chiral-odd GPD $\bar E_T$, which contains information on quark transverse spin densities in unpolarized and polarized nucleons and provides access to the proton's transverse anomalous magnetic moment. Additionally, the data were compared to a theoretical model based on a Regge formalism that was extended to the high photon virtualities. △ Less

Submitted 15 July, 2023; originally announced July 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2210.14557

On a conjecture of Levesque and Waldschmidt

Authors: Tobias Hilgart, Volker Ziegler

Abstract: One of the first parametrised Thue equations, $$\left| X^3 - (n-1)X^2 Y - (n+2) XY^2 - Y^3 \right| = 1,$$ over the integers was solved by E. Thomas in 1990. If we interpret this as a norm-form equation, we can write this as $$\left| N_{K/\mathbb{Q}}\left( X - λ_0 Y \right) \right| = \left| \left( X-λ_0 Y \right) \left( X-λ_1 Y \right) \left( X-λ_2 Y \right) \right| =1$$ if $λ_0, λ_1, λ_2$ are the… ▽ More One of the first parametrised Thue equations, $$\left| X^3 - (n-1)X^2 Y - (n+2) XY^2 - Y^3 \right| = 1,$$ over the integers was solved by E. Thomas in 1990. If we interpret this as a norm-form equation, we can write this as $$\left| N_{K/\mathbb{Q}}\left( X - λ_0 Y \right) \right| = \left| \left( X-λ_0 Y \right) \left( X-λ_1 Y \right) \left( X-λ_2 Y \right) \right| =1$$ if $λ_0, λ_1, λ_2$ are the roots of the defining irreducible polynomial, and $K$ the corresponding number field.\par\medskip Levesque and Waldschmidt twisted this norm-form equation by an exponential parameter $s$ and looked, among other things, at the equation $$\left| N_{K/\mathbb{Q}}\left( X - λ_0^s Y \right) \right| = 1.$$ They solved this effectively and conjectured that introducing a second exponential parameter $t$ and looking at $$\left| N_{K/\mathbb{Q}}\left( X - λ_0^sλ_1^t Y \right) \right| = 1$$ does not change the effective solvability. \par\medskip We want to partially confirm this, given that $$\min\left( \left| 2s-t \right|, \left| 2t-s \right|, \left| s+t \right| \right) > \varepsilon \cdot \max\left( \left|s\right|, \left|t\right| \right) > 2,$$ i.e. the two exponents do not almost cancel in specific cases. △ Less

Submitted 20 June, 2023; originally announced June 2023.

MSC Class: 11D57(Primary); 11D61(Secondary)

Strong Interaction Physics at the Luminosity Frontier with 22 GeV Electrons at Jefferson Lab

Authors: A. Accardi, P. Achenbach, D. Adhikari, A. Afanasev, C. S. Akondi, N. Akopov, M. Albaladejo, H. Albataineh, M. Albrecht, B. Almeida-Zamora, M. Amaryan, D. Androić, W. Armstrong, D. S. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, A. Austregesilo, H. Avagyan, T. Averett, C. Ayerbe Gayoso, A. Bacchetta, A. B. Balantekin, N. Baltzell, L. Barion , et al. (419 additional authors not shown)

Abstract: This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron… ▽ More This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron beams, CEBAF's potential for a higher energy upgrade presents a unique opportunity for an innovative nuclear physics program, which seamlessly integrates a rich historical background with a promising future. The proposed physics program encompass a diverse range of investigations centered around the nonperturbative dynamics inherent in hadron structure and the exploration of strongly interacting systems. It builds upon the exceptional capabilities of CEBAF in high-luminosity operations, the availability of existing or planned Hall equipment, and recent advancements in accelerator technology. The proposed program cover various scientific topics, including Hadron Spectroscopy, Partonic Structure and Spin, Hadronization and Transverse Momentum, Spatial Structure, Mechanical Properties, Form Factors and Emergent Hadron Mass, Hadron-Quark Transition, and Nuclear Dynamics at Extreme Conditions, as well as QCD Confinement and Fundamental Symmetries. Each topic highlights the key measurements achievable at a 22 GeV CEBAF accelerator. Furthermore, this document outlines the significant physics outcomes and unique aspects of these programs that distinguish them from other existing or planned facilities. In summary, this document provides an exciting rationale for the energy upgrade of CEBAF to 22 GeV, outlining the transformative scientific potential that lies within reach, and the remarkable opportunities it offers for advancing our understanding of hadron physics and related fundamental phenomena. △ Less

Submitted 24 August, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: Updates to the list of authors; Preprint number changed from theory to experiment; Updates to sections 4 and 6, including additional figures

Report number: JLAB-PHY-23-3840

On sums of two Fibonacci numbers that are powers of numbers with limited Hamming weight

Authors: Ingrid Vukusic, Volker Ziegler

Abstract: In 2018, Luca and Patel conjectured that the largest perfect power representable as the sum of two Fibonacci numbers is $3864^2 = F_{36} + F_{12}$. In other words, they conjectured that the equation \begin{equation}\tag{$\ast$}\label{eq:abstract} y^a = F_n + F_m \end{equation} has no solutions with $a\geq 2$ and $y^a > 3864^2$. While this is still an open problem, there exist several partial res… ▽ More In 2018, Luca and Patel conjectured that the largest perfect power representable as the sum of two Fibonacci numbers is $3864^2 = F_{36} + F_{12}$. In other words, they conjectured that the equation \begin{equation}\tag{$\ast$}\label{eq:abstract} y^a = F_n + F_m \end{equation} has no solutions with $a\geq 2$ and $y^a > 3864^2$. While this is still an open problem, there exist several partial results. For example, recently Kebli, Kihel, Larone and Luca proved an explicit upper bound for $y^a$, which depends on the size of $y$. In this paper, we find an explicit upper bound for $y^a$, which only depends on the Hamming weight of $y$ with respect to the Zeckendorf representation. More specifically, we prove the following: If $y = F_{n_1}+ \dots + F_{n_k}$ and equation \eqref{eq:abstract} is satisfied by $y$ and some non-negative integers $n,m$ and $a\geq 2$, then \[ y^a \leq \exp\left(C{(\varepsilon)} \cdot k^{(3+\varepsilon)k^2} \right). \] Here, $\varepsilon >0$ can be chosen arbitrarily and $C(\varepsilon)$ is an effectively computable constant. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: 14 pages

MSC Class: 11B39; 11D61; 11J86

Thue equations over $\mathbb{C}(T)$: The Complete Solution of a Simple quartic family

Authors: Bernadette Faye, Ingrid Vukusic, Ezra Waxman, Volker Ziegler

Abstract: In this paper we completely solve a simple quartic family of Thue equations over $\mathbb{C}(T)$. Specifically, we apply the ABC-Theorem to find all solutions $(x,y) \in \mathbb{C}[T] \times \mathbb{C}[T]$ to the set of Thue equations $F_λ(X,Y) = ξ$, where $ξ\in \mathbb{C}^{\times}$ and \begin{equation*} F_λ(X,Y):=X^4 -λX^3Y -6 X^2Y^2 + λXY^3 +Y^4, \quad \quad λ\in \mathbb{C}[T]/\{\mathbb{C}\} \en… ▽ More In this paper we completely solve a simple quartic family of Thue equations over $\mathbb{C}(T)$. Specifically, we apply the ABC-Theorem to find all solutions $(x,y) \in \mathbb{C}[T] \times \mathbb{C}[T]$ to the set of Thue equations $F_λ(X,Y) = ξ$, where $ξ\in \mathbb{C}^{\times}$ and \begin{equation*} F_λ(X,Y):=X^4 -λX^3Y -6 X^2Y^2 + λXY^3 +Y^4, \quad \quad λ\in \mathbb{C}[T]/\{\mathbb{C}\} \end{equation*} denotes a family of quartic simple forms. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Comments: 19 pages

MSC Class: 11D59; 11D25; 11Y50

Twisted Thue equations with multiple exponents in fixed number fields

Authors: Tobias Hilgart, Volker Ziegler

Abstract: Let $K$ be a number field of degree $d\geq 3$ and fix $s$ multiplicatively independent algebraic integers $γ_1, \dots, γ_s \in K^*$ that fulfil some technical requirements, which can be vastly simplified to $\mathbb{Q}$-linearly independence, given Schanuel's conjecture. We then consider the twisted Thue equation \[ \left|N_{K/\mathbb{Q}}\left(X-γ_1^{t_1}\cdotsγ_s^{t_s}Y\right)\right| = 1, \] an… ▽ More Let $K$ be a number field of degree $d\geq 3$ and fix $s$ multiplicatively independent algebraic integers $γ_1, \dots, γ_s \in K^*$ that fulfil some technical requirements, which can be vastly simplified to $\mathbb{Q}$-linearly independence, given Schanuel's conjecture. We then consider the twisted Thue equation \[ \left|N_{K/\mathbb{Q}}\left(X-γ_1^{t_1}\cdotsγ_s^{t_s}Y\right)\right| = 1, \] and prove that it has only finitely many solutions $(x,y, (t_1, \dots, t_s) )$ with $xy \neq 0$ and $\mathbb{Q}\left( γ_1^{t_1}\cdots γ_s^{t_s} \right) = K$, all of which are effectively computable. △ Less

Submitted 27 January, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

First CLAS12 measurement of DVCS beam-spin asymmetries in the extended valence region

Authors: CLAS Collaboration, G. Christiaens, M. Defurne, D. Sokhan, P. Achenbach, Z. Akbar, M. J. Amaryan, H. Atac, H. Avakian, C. Ayerbe Gayoso, L. Baashen, N. A. Baltzell, L. Barion, M. Bashkanov, M. Battaglieri, I. Bedlinskiy, B. Benkel, F. Benmokhtar, A. Bianconi, A. S. Biselli, M. Bondi, W. A. Booth, F. Bossù, S. Boiarinov, K. -Th. Brinkmann , et al. (146 additional authors not shown)

Abstract: Deeply virtual Compton scattering (DVCS) allows one to probe Generalized Parton Distributions (GPDs) describing the 3D structure of the nucleon. We report the first measurement of the DVCS beam-spin asymmetry using the CLAS12 spectrometer with a 10.2 and 10.6 GeV electron beam scattering from unpolarised protons. The results greatly extend the $Q^2$ and Bjorken-$x$ phase space beyond the existing… ▽ More Deeply virtual Compton scattering (DVCS) allows one to probe Generalized Parton Distributions (GPDs) describing the 3D structure of the nucleon. We report the first measurement of the DVCS beam-spin asymmetry using the CLAS12 spectrometer with a 10.2 and 10.6 GeV electron beam scattering from unpolarised protons. The results greatly extend the $Q^2$ and Bjorken-$x$ phase space beyond the existing data in the valence region and provide over 2000 new data points measured with unprecedented statistical uncertainty, setting new, tight constraints for future phenomenological studies. △ Less

Submitted 2 December, 2022; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: Revised Figure 4 and discussion around the number of effective ANNs after Bayesian reweighting

Report number: JLAB-PHY-22-3752

Alignment of the CLAS12 central hybrid tracker with a Kalman Filter

Authors: S. J. Paul, A. Peck, M. Arratia, Y. Gotra, V. Ziegler, R. De Vita, F. Bossu, M. Defurne, H. Atac, C. Ayerbe Gayoso, L. Baashen, N. A. Baltzell, L. Barion, M. Bashkanov, M. Battaglieri, I. Bedlinskiy, B. Benkel, F. Benmokhtar, A. Bianconi, L. Biondo, A. S. Biselli, M. Bondi, S. Boiarinov, K. Th. Brinkmann, W. J. Briscoe , et al. (109 additional authors not shown)

Abstract: Several factors can contribute to the difficulty of aligning the sensors of tracking detectors, including a large number of modules, multiple types of detector technologies, and non-linear strip patterns on the sensors. All three of these factors apply to the CLAS12 CVT, which is a hybrid detector consisting of planar silicon sensors with non-parallel strips, and cylindrical micromegas sensors wit… ▽ More Several factors can contribute to the difficulty of aligning the sensors of tracking detectors, including a large number of modules, multiple types of detector technologies, and non-linear strip patterns on the sensors. All three of these factors apply to the CLAS12 CVT, which is a hybrid detector consisting of planar silicon sensors with non-parallel strips, and cylindrical micromegas sensors with longitudinal and arc-shaped strips located within a 5~T superconducting solenoid. To align this detector, we used the Kalman Alignment Algorithm, which accounts for correlations between the alignment parameters without requiring the time-consuming inversion of large matrices. This is the first time that this algorithm has been adapted for use with hybrid technologies, non-parallel strips, and curved sensors. We present the results for the first alignment of the CLAS12 CVT using straight tracks from cosmic rays and from a target with the magnetic field turned off. After running this procedure, we achieved alignment at the level of 10~$μ$m, and the widths of the residual spectra were greatly reduced. These results attest to the flexibility of this algorithm and its applicability to future use in the CLAS12 CVT and other hybrid or curved trackers, such as those proposed for the future Electron-Ion Collider. △ Less

Submitted 9 August, 2022; originally announced August 2022.

Journal ref: Nucl.Instrum.Meth.A 1049 (2023) 168032

On the Diophantine equation $U_n-b^m = c$

Authors: Sebastian Heintze, Robert F. Tichy, Ingrid Vukusic, Volker Ziegler

Abstract: Let $(U_n)_{n\in \mathbb{N}}$ be a fixed linear recurrence sequence defined over the integers (with some technical restrictions). We prove that there exist effectively computable constants $B$ and $N_0$ such that for any $b,c\in \mathbb{Z}$ with $b> B$ the equation $U_n - b^m = c$ has at most two distinct solutions $(n,m)\in \mathbb{N}^2$ with $n\geq N_0$ and $m\geq 1$. Moreover, we apply our resu… ▽ More Let $(U_n)_{n\in \mathbb{N}}$ be a fixed linear recurrence sequence defined over the integers (with some technical restrictions). We prove that there exist effectively computable constants $B$ and $N_0$ such that for any $b,c\in \mathbb{Z}$ with $b> B$ the equation $U_n - b^m = c$ has at most two distinct solutions $(n,m)\in \mathbb{N}^2$ with $n\geq N_0$ and $m\geq 1$. Moreover, we apply our result to the special case of Tribonacci numbers given by $T_1= T_2=1$, $T_3=2$ and $T_{n}=T_{n-1}+T_{n-2}+T_{n-3}$ for $n\geq 4$. By means of the LLL-algorithm and continued fraction reduction we are able to prove $N_0=1.1\cdot 10^{37}$ and $B=e^{438}$. The corresponding reduction algorithm is implemented in Sage. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 34 pages

Journal ref: Math. Comp. 92 (2023), 2825-2859

Observation of azimuth-dependent suppression of hadron pairs in electron scattering off nuclei

Authors: S. J. Paul, S. Moran, M. Arratia, A. El Alaoui, H. Hakobyan, W. Brooks, M. J. Amaryan, W. R. Armstrong, H. Atac, L. Baashen, N. A. Baltzell, L. Barion, M. Bashkanov, M. Battaglieri, I. Bedlinskiy, B. Benkel, F. Benmokhtar, A. Bianconi, L. Biondo, A. S. Biselli, M. Bondi, F. Bossu, S. Boiarinov, K. Th. Brinkmann, W. J. Briscoe , et al. (120 additional authors not shown)

Abstract: We present the first measurement of di-hadron angular correlations in electron-nucleus scattering. The data were taken with the CLAS detector and a 5.0 GeV electron beam incident on deuterium, carbon, iron, and lead targets. Relative to deuterium, the nuclear yields of charged-pion pairs show a strong suppression for azimuthally opposite pairs, no suppression for azimuthally nearby pairs, and an e… ▽ More We present the first measurement of di-hadron angular correlations in electron-nucleus scattering. The data were taken with the CLAS detector and a 5.0 GeV electron beam incident on deuterium, carbon, iron, and lead targets. Relative to deuterium, the nuclear yields of charged-pion pairs show a strong suppression for azimuthally opposite pairs, no suppression for azimuthally nearby pairs, and an enhancement of pairs with large invariant mass. These effects grow with increased nuclear size. The data are qualitatively described by the GiBUU model, which suggests that hadrons form near the nuclear surface and undergo multiple-scattering in nuclei. These results show that angular correlation studies can open a new way to elucidate how hadrons form and interact inside nuclei △ Less

Submitted 5 November, 2022; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 6 pages, 4 figures

Journal ref: Phys.Rev.Lett. 129 (2022) 18, 182501

CLAS12 Track Reconstruction with Artificial Intelligence

Authors: Gagik Gavalian, Polykarpos Thomadakis, Angelos Angelopoulos, Nikos Chrisochoides, Raffaella De Vita, Veronique Ziegler

Abstract: In this article we describe the implementation of Artificial Intelligence models in track reconstruction software for the CLAS12 detector at Jefferson Lab. The Artificial Intelligence based approach resulted in improved track reconstruction efficiency in high luminosity experimental conditions. The track reconstruction efficiency increased by $10-12\%$ for single particle, and statistics in multi-… ▽ More In this article we describe the implementation of Artificial Intelligence models in track reconstruction software for the CLAS12 detector at Jefferson Lab. The Artificial Intelligence based approach resulted in improved track reconstruction efficiency in high luminosity experimental conditions. The track reconstruction efficiency increased by $10-12\%$ for single particle, and statistics in multi-particle physics reactions increased by $15\%-35\%$ depending on the number of particles in the reaction. The implementation of artificial intelligence in the workflow also resulted in a speedup of the tracking by $35\%$. △ Less

Submitted 13 June, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Beam-Recoil Transferred Polarization in $K^+Y$ Electroproduction in the Nucleon Resonance Region with CLAS12

Authors: D. S. Carman, A. D'Angelo, L. Lanza, V. I. Mokeev, K. P. Adhikari, M. J. Amaryan, W. R. Armstrong, H. Atac, H. Avakian, C. Ayerbe Gayoso, N. A. Baltzell, L. Barion, M. Battaglieri, I. Bedlinskiy, B. Benkel, A. Bianconi, A. S. Biselli, M. Bondi, S. Boiarinov, F. Bossu, W. J. Briscoe, S. Bueltmann, D. Bulumulla, V. D. Burkert, R. Capobianco , et al. (116 additional authors not shown)

Abstract: Beam-recoil transferred polarizations for the exclusive electroproduction of $K^+Λ$ and $K^+Σ^0$ final states from an unpolarized proton target have been measured using the CLAS12 spectrometer at Jefferson Laboratory. The measurements at beam energies of 6.535~GeV and 7.546~GeV span the range of four-momentum transfer $Q^2$ from 0.3 to 4.5~GeV$^2$ and invariant energy $W$ from 1.6 to 2.4~GeV, whil… ▽ More Beam-recoil transferred polarizations for the exclusive electroproduction of $K^+Λ$ and $K^+Σ^0$ final states from an unpolarized proton target have been measured using the CLAS12 spectrometer at Jefferson Laboratory. The measurements at beam energies of 6.535~GeV and 7.546~GeV span the range of four-momentum transfer $Q^2$ from 0.3 to 4.5~GeV$^2$ and invariant energy $W$ from 1.6 to 2.4~GeV, while covering the full center-of-mass angular range of the $K^+$. These new data extend the existing hyperon polarization data from CLAS in a similar kinematic range but from a significantly larger dataset. They represent an important addition to the world data, allowing for better exploration of the reaction mechanism in strangeness production processes, for further understanding of the spectrum and structure of excited nucleon states, and for improved insight into the strong interaction in the regime of non-perturbative dynamics. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Comments: 25 pages, 22 figures, 4 tables

Report number: JLAB-PHY-22-3560

Polarized Structure Function $σ_{LT'}$ from $π^0 p$ Electroproduction Data in the Resonance Region at $0.4$ GeV$^2 < Q^2 < 1.0$ GeV$^2$

Authors: E. L. Isupov, V. D. Burkert, A. A. Golubenko, K. Joo, N. S. Markov, V. I. Mokeev, L. C. Smith, W. R. Armstrong, H. Atac, H. Avakian, N. A. Baltzell, L. Barion, M. Battaglieri, I. Bedlinskiy, F. Benmokhtar, A. Bianconi, L. Biondo, A. S. Biselli, M. Bondi, F. Bossù, W. J. Briscoe, W. K. Brooks, D. Bulumulla, R. A. Capobianco, D. S. Carman , et al. (116 additional authors not shown)

Abstract: The first results on the $σ_{LT'}$ structure function in exclusive $π^0p$ electroproduction at invariant masses of the final state of 1.5 GeV $<$ $W$ $<$ 1.8 GeV and in the range of photon virtualities 0.4 GeV$^2 < Q^2 < 1.0$ GeV$^2$ were obtained from data on beam spin asymmetries and differential cross sections measured with the CLAS detector at Jefferson Lab. The Legendre moments determined fro… ▽ More The first results on the $σ_{LT'}$ structure function in exclusive $π^0p$ electroproduction at invariant masses of the final state of 1.5 GeV $<$ $W$ $<$ 1.8 GeV and in the range of photon virtualities 0.4 GeV$^2 < Q^2 < 1.0$ GeV$^2$ were obtained from data on beam spin asymmetries and differential cross sections measured with the CLAS detector at Jefferson Lab. The Legendre moments determined from the $σ_{LT'}$ structure function have demonstrated sensitivity to the contributions from the nucleon resonances in the second and third resonance regions. These new data on the beam spin asymmetries in $π^0p$ electroproduction extend the opportunities for the extraction of the nucleon resonance electroexcitation amplitudes in the mass range above 1.6 GeV. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 7 pages, 3 figures

Report number: JLAB-PHY-21-3552

Machine Learning in Nuclear Physics

Authors: Amber Boehnlein, Markus Diefenthaler, Cristiano Fanelli, Morten Hjorth-Jensen, Tanja Horn, Michelle P. Kuchera, Dean Lee, Witold Nazarewicz, Kostas Orginos, Peter Ostroumov, Long-Gang Pang, Alan Poon, Nobuo Sato, Malachi Schram, Alexander Scheinker, Michael S. Smith, Xin-Nian Wang, Veronique Ziegler

Abstract: Advances in machine learning methods provide tools that have broad applicability in scientific research. These techniques are being applied across the diversity of nuclear physics research topics, leading to advances that will facilitate scientific discoveries and societal applications. This Review gives a snapshot of nuclear physics research which has been transformed by machine learning techni… ▽ More Advances in machine learning methods provide tools that have broad applicability in scientific research. These techniques are being applied across the diversity of nuclear physics research topics, leading to advances that will facilitate scientific discoveries and societal applications. This Review gives a snapshot of nuclear physics research which has been transformed by machine learning techniques. △ Less

Submitted 2 May, 2022; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: Comments are welcome

On a family of cubic Thue Equations involving Fibonacci and Lucas numbers

Authors: Tobias Hilgart, Ingrid Vukusic, Volker Ziegler

Abstract: Let $F_n$ denote the $n$-th Fibonacci number and $L_n$ the $n$-th Lucas number. We completely solve the family of cubic Thue equations $${(X-F_nY)(X-L_nY)X-Y^3=\pm1}$$ and show that there are no non-trivial solutions for $n\neq 1,3$. Let $F_n$ denote the $n$-th Fibonacci number and $L_n$ the $n$-th Lucas number. We completely solve the family of cubic Thue equations $${(X-F_nY)(X-L_nY)X-Y^3=\pm1}$$ and show that there are no non-trivial solutions for $n\neq 1,3$. △ Less

Submitted 7 June, 2021; originally announced June 2021.

On sums of Fibonacci numbers with few binary digits

Authors: Ingrid Vukusic, Volker Ziegler

Abstract: In this paper we completely solve the Diophantine equation $F_n+F_m=2^{a_1}+2^{a_2}+2^{a_3}+2^{a_4}+2^{a_5}$, where $F_k$ denotes the $k$-th Fibonacci number. In addition to complex linear forms in logarithms and the Baker-Davenport reduction method, we use $p$-adic versions of both tools. In this paper we completely solve the Diophantine equation $F_n+F_m=2^{a_1}+2^{a_2}+2^{a_3}+2^{a_4}+2^{a_5}$, where $F_k$ denotes the $k$-th Fibonacci number. In addition to complex linear forms in logarithms and the Baker-Davenport reduction method, we use $p$-adic versions of both tools. △ Less

Submitted 26 April, 2021; originally announced April 2021.

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

Journal ref: Publ. Math. Debrecen 98 (2021) Fasc.: 1-2

On a family of unit equations over simplest cubic fields

Authors: Ingrid Vukusic, Volker Ziegler

Abstract: Let $a\in \mathbb{Z}$ and $ρ$ be a root of $f_a(x)=x^3-ax^2-(a+3)x-1$, then the number field $K_a=\mathbb{Q}(ρ)$ is called a simplest cubic field. In this paper we consider the family of unit equations $u_1+u_2=n$ where $u_1,u_2\in \mathbb{Z}[ρ]^*$ and $n\in \mathbb{Z}$. We completely solve the unit equations under the restriction $|n|\leq \max\{1,|a|^{1/3}\}$. Let $a\in \mathbb{Z}$ and $ρ$ be a root of $f_a(x)=x^3-ax^2-(a+3)x-1$, then the number field $K_a=\mathbb{Q}(ρ)$ is called a simplest cubic field. In this paper we consider the family of unit equations $u_1+u_2=n$ where $u_1,u_2\in \mathbb{Z}[ρ]^*$ and $n\in \mathbb{Z}$. We completely solve the unit equations under the restriction $|n|\leq \max\{1,|a|^{1/3}\}$. △ Less

Submitted 26 April, 2021; originally announced April 2021.

MSC Class: 11D61; 11D75; 11J86

Sums of Fibonacci numbers that are perfect powers

Authors: Volker Ziegler

Abstract: Let us denote by $F_n$ the $n$-th Fibonacci number. In this paper we show that for a fixed integer $y$ there exists at most one integer exponent $a>0$ such that the Diophantine equation $F_n+F_m=y^a$ has a solution $(n,m,a)$ in positive integers satisfying $n>m>0$, unless $y=2,3,4,6$ or $10$. Let us denote by $F_n$ the $n$-th Fibonacci number. In this paper we show that for a fixed integer $y$ there exists at most one integer exponent $a>0$ such that the Diophantine equation $F_n+F_m=y^a$ has a solution $(n,m,a)$ in positive integers satisfying $n>m>0$, unless $y=2,3,4,6$ or $10$. △ Less

Submitted 26 March, 2021; originally announced March 2021.

Consecutive tuples of multiplicatively dependent integers

Authors: Ingrid Vukusic, Volker Ziegler

Abstract: This paper is concerned with the existence of consecutive pairs and consecutive triples of multiplicatively dependent integers. A theorem by LeVeque on Pillai's equation implies that the only consecutive pairs of multiplicatively dependent integers larger than 1 are $(2,8)$ and $(3,9)$. For triples, we prove the following theorem: If $a\notin \{2,8\}$ is a fixed integer larger than 1, then there a… ▽ More This paper is concerned with the existence of consecutive pairs and consecutive triples of multiplicatively dependent integers. A theorem by LeVeque on Pillai's equation implies that the only consecutive pairs of multiplicatively dependent integers larger than 1 are $(2,8)$ and $(3,9)$. For triples, we prove the following theorem: If $a\notin \{2,8\}$ is a fixed integer larger than 1, then there are only finitely many triples $(a,b,c)$ of pairwise distinct integers larger than 1 such that $(a,b,c)$, $(a+1,b+1,c+1)$ and $(a+2,b+2,c+2)$ are each multiplicatively dependent. Moreover, these triples can be determined effectively. △ Less

Submitted 15 March, 2021; originally announced March 2021.

MSC Class: 11N25; 11D61; 11J86

Designing Personalized Garments with Body Movement

Authors: Katja Wolff, Philipp Herholz, Verena Ziegler, Frauke Link, Nico Brügel, Olga Sorkine-Hornung

Abstract: The standardized sizes used in the garment industry do not cover the range of individual differences in body shape for most people, leading to ill-fitting clothes, high return rates and overproduction. Recent research efforts in both industry and academia therefore focus on virtual try-on and on-demand fabrication of individually fitting garments. We propose an interactive design tool for creating… ▽ More The standardized sizes used in the garment industry do not cover the range of individual differences in body shape for most people, leading to ill-fitting clothes, high return rates and overproduction. Recent research efforts in both industry and academia therefore focus on virtual try-on and on-demand fabrication of individually fitting garments. We propose an interactive design tool for creating custom-fit garments based on 3D body scans of the intended wearer. Our method explicitly incorporates transitions between various body poses to ensure a better fit and freedom of movement. The core of our method focuses on tools to create a 3D garment shape directly on an avatar without an underlying sewing pattern, and on the adjustment of that garment's rest shape while interpolating and moving through the different input poses. We alternate between cloth simulation and rest shape adjustment based on stretch to achieve the final shape of the garment. At any step in the real-time process, we allow for interactive changes to the garment. Once the garment shape is finalized for production, established techniques can be used to parameterize it into a 2D sewing pattern or transform it into a knitting pattern. △ Less

Submitted 19 September, 2022; v1 submitted 10 February, 2021; originally announced February 2021.

Comments: 13 pages, 14 figures

On a variant of Pillai's problem with transcendental numbers

Authors: Robert Tichy, Ingrid Vukusic, Daodao Yang, Volker Ziegler

Abstract: In this paper, we study the asymptotic behaviour of the number of solutions $(m, n)\in \mathbb{N}^2$ to the inequality $ | α^n - β^m | \leq x $ when $x$ tends to infinity. Here $α, β$ are given multiplicatively independent complex numbers with $|α| > 1$ and $|β|>1$. In this paper, we study the asymptotic behaviour of the number of solutions $(m, n)\in \mathbb{N}^2$ to the inequality $ | α^n - β^m | \leq x $ when $x$ tends to infinity. Here $α, β$ are given multiplicatively independent complex numbers with $|α| > 1$ and $|β|>1$. △ Less

Submitted 29 April, 2022; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: This is not the final published version of the paper. Acta Math. Hungar. (2022)

MSC Class: 11D75; 11D61; 11D45

Finding all $S$-Diophantine quadruples for a fixed set of primes $S$

Authors: Volker Ziegler

Abstract: Given a finite set of primes $S$ and a $m$-tuple $(a_1,\dots,a_m)$ of positive, distinct integers we call the $m$-tuple $S$-Diophantine, if for each $1\leq i < j\leq m$ the quantity $a_ia_j+1$ has prime divisors coming only from the set $S$. For a given set $S$ we give a practical algorithm to find all $S$-Diophantine quadruples, provided that $|S|=3$. Given a finite set of primes $S$ and a $m$-tuple $(a_1,\dots,a_m)$ of positive, distinct integers we call the $m$-tuple $S$-Diophantine, if for each $1\leq i < j\leq m$ the quantity $a_ia_j+1$ has prime divisors coming only from the set $S$. For a given set $S$ we give a practical algorithm to find all $S$-Diophantine quadruples, provided that $|S|=3$. △ Less

Submitted 22 October, 2020; originally announced October 2020.

Integers representable as differences of linear recurrence sequences

Authors: Robert Tichy, Ingrid Vukusic, Daodao Yang, Volker Ziegler

Abstract: Let $\{U_n\}_{n \geq 0}$ and $\{V_m\}_{m \geq 0}$ be two linear recurrence sequences. We establish an asymptotic formula for the number of integers $c$ in the range $[-x, x]$ which can be represented as differences $ U_n - V_m$. In particular, the density of such integers is $0$. Let $\{U_n\}_{n \geq 0}$ and $\{V_m\}_{m \geq 0}$ be two linear recurrence sequences. We establish an asymptotic formula for the number of integers $c$ in the range $[-x, x]$ which can be represented as differences $ U_n - V_m$. In particular, the density of such integers is $0$. △ Less

Submitted 3 August, 2020; originally announced August 2020.

White Paper on Business of 6G

Authors: Seppo Yrjola, Petri Ahokangas, Marja Matinmikko-Blue, Risto Jurva, Vivek Kant, Pasi Karppinen, Marianne Kinnula, Harilaos Koumaras, Mika Rantakokko, Volker Ziegler, Abhishek Thakur, Hans-Jurgen Zepernick

Abstract: Develo** products, services and vertical applications for the future digitized society in the 6G era requires a multidisciplinary approach and a re-definition of how we create, deliver and consume network resources, data and services for both communications and sensing purposes. This development will change and disrupt the traditional business models and ecosystem roles of digital service provid… ▽ More Develo** products, services and vertical applications for the future digitized society in the 6G era requires a multidisciplinary approach and a re-definition of how we create, deliver and consume network resources, data and services for both communications and sensing purposes. This development will change and disrupt the traditional business models and ecosystem roles of digital service providers, as well as open the market for key stakeholders in the 6G era like digital service operators, cloud operators and resource brokers. White paper discusses unprecedented opportunities of enabling and empowering multiple stakeholders to have a more active participation in the future 6G ecosystem via novel sustainable open ecosystemic business models with flexible integration of long tail services with tailored performance attributes. This research adopts a qualitative scenario planning method and portrays three scenario themes resulting in a total of 12 scenarios for the futures of the 6G business. By focusing on key trends, their interactions, and irreducible uncertainties, scenario building generates perspectives for the futures within which alternative 6G business strategies were developed and assessed for a traditional incumbent mobile network operator and a novel 6G digital service provider stemming from redefined sustainable economics. Value-capture in the 6G era requires understanding the dynamics of platforms and ecosystems. Results indicate that, to reach some of the preferred futures, we should pay attention to the privacy and security issues related to business and regulation needs; public/governmental, corporate, community and user(s) perspectives to and aims of governance; ecosystem configuration related to users, decentralized business models and platforms; user empowerment; and the role of location-specificity of services. △ Less

Submitted 16 July, 2020; v1 submitted 30 April, 2020; originally announced May 2020.

Comments: This draft white paper has been written by an international expert group, led by the Finnish 6G Flagship program (6gflagship.com) at the University of Oulu, within a series of twelve 6G white papers to be published in their final format in June 2020

White Paper on 6G Drivers and the UN SDGs

Authors: Marja Matinmikko-Blue, Sirpa Aalto, Muhammad Imran Asghar, Hendrik Berndt, Yan Chen, Sudhir Dixit, Risto Jurva, Pasi Karppinen, Markku Kekkonen, Marianne Kinnula, Panagiotis Kostakos, Johanna Lindberg, Edward Mutafungwa, Kirsi Ojutkangas, Elina Rossi, Seppo Yrjola, Anssi Oorni, Petri Ahokangas, Muhammad-Zeeshan Asghar, Fan Chen, Netta Iivari, Marcos Katz, Atte Kinnula, Josef Noll, Harri Oinas-Kukkonen , et al. (7 additional authors not shown)

Abstract: The commercial launch of 6G communications systems and United Nations Sustainable Development Goals, UN SDGs, are both targeted for 2030. 6G communications is expected to boost global growth and productivity, create new business models and transform many aspects of society. The UN SDGs are a way of framing opportunities and challenges of a desirable future world and cover topics as broad as ending… ▽ More The commercial launch of 6G communications systems and United Nations Sustainable Development Goals, UN SDGs, are both targeted for 2030. 6G communications is expected to boost global growth and productivity, create new business models and transform many aspects of society. The UN SDGs are a way of framing opportunities and challenges of a desirable future world and cover topics as broad as ending poverty, gender equality, climate change and smart cities. The relationship between these potentially mutually reinforcing forces is currently under-defined. Building on the vision for 6G, a review of megatrends, on-going activities on the relation of mobile communications to the UN SDGs and existing indicators, a novel linkage between 6G and the UN SDGs is proposed via indicators. The white paper has also launched the work of deriving new 6G related indicators to guide the research of 6G systems. The novel linkage is built on the envisaged three-fold role of 6G as a provider of services to help steer and support communities and countries towards reaching the UN SDGs, as an enabler of measuring tool for data collection to help reporting of indicators with hyperlocal granularity, and as a reinforcer of new ecosystems based on 6G technology enablers and 6G network of networks to be developed in line with the UN SDGs that incorporates future mobile communication technologies available in 2030. Related challenges are also identified. An action plan is presented along with prioritized focus areas within the mobile communication sector technology and industry evolution to best support the achievement of the UN SDGs. △ Less

Submitted 30 April, 2020; originally announced April 2020.

Irrationality of growth constants associated with polynomial recursions

Authors: Stephan Wagner, Volker Ziegler

Abstract: We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A α^{d^n}$, but little can be said about the constant $α$. In this paper, we show that $α$ is always irrational or an integer. In fact, we prove a stronger statement: if a… ▽ More We consider integer sequences that satisfy a recursion of the form $x_{n+1} = P(x_n)$ for some polynomial $P$ of degree $d > 1$. If such a sequence tends to infinity, then it satisfies an asymptotic formula of the form $x_n \sim A α^{d^n}$, but little can be said about the constant $α$. In this paper, we show that $α$ is always irrational or an integer. In fact, we prove a stronger statement: if a sequence $G_n$ satisfies an asymptotic formula of the form $G_n = A α^n + B + O(α^{-εn})$, where $A,B$ are algebraic and $α> 1$, and the sequence contains infinitely many integers, then $α$ is irrational or an integer. △ Less

Submitted 6 August, 2020; v1 submitted 20 April, 2020; originally announced April 2020.

MSC Class: 11J72; 11B37

On the existence of $S$-Diophantine quadruples

Authors: Volker Ziegler

Abstract: Let $S$ be a set of primes. We call an $m$-tuple $(a_1,\ldots,a_m)$ of distinct, positive integers $S$-Diophantine, if for all $i\neq j$ the integers $s_{i,j}:=a_ia_j+1$ have only prime divisors coming from the set $S$, i.e. if all $s_{i,j}$ are $S$-units. In this paper, we show that no $S$-Diophantine quadruple (i.e.~$m=4$) exists if $S=\{3,q\}$. Furthermore we show that for all pairs of primes… ▽ More Let $S$ be a set of primes. We call an $m$-tuple $(a_1,\ldots,a_m)$ of distinct, positive integers $S$-Diophantine, if for all $i\neq j$ the integers $s_{i,j}:=a_ia_j+1$ have only prime divisors coming from the set $S$, i.e. if all $s_{i,j}$ are $S$-units. In this paper, we show that no $S$-Diophantine quadruple (i.e.~$m=4$) exists if $S=\{3,q\}$. Furthermore we show that for all pairs of primes $(p,q)$ with $p<q$ and $p\equiv 3\mod 4$ no $\{p,q\}$-Diophantine quadruples exist, provided that $(p,q)$ is not a Wieferich prime pair. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Effective results for linear Equations in Members of two Recurrence Sequences

Authors: Volker Ziegler

Abstract: Let $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ be two linear recurrence sequences. For fixed positive integers $k$ and $\ell$, fixed $k$-tuple $(a_1,\dots,a_k)\in \mathbb{Z}^k$ and fixed $\ell$-tuple $(b_1,\dots,b_\ell)\in \mathbb{Z}^\ell$ we consider the linear equation $$a_1U_{n_1}+\cdots +a_k U_{n_k}=b_1V_{m_1}+\cdots + b_\ell V_{m_\ell}$$ in the unknown non-negative integers… ▽ More Let $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ be two linear recurrence sequences. For fixed positive integers $k$ and $\ell$, fixed $k$-tuple $(a_1,\dots,a_k)\in \mathbb{Z}^k$ and fixed $\ell$-tuple $(b_1,\dots,b_\ell)\in \mathbb{Z}^\ell$ we consider the linear equation $$a_1U_{n_1}+\cdots +a_k U_{n_k}=b_1V_{m_1}+\cdots + b_\ell V_{m_\ell}$$ in the unknown non-negative integers $n_1,\dots,n_k$ and $m_1,\dots,m_\ell$. Under the assumption that the linear recurrences $(U_n)_{n=0}^\infty$ and $(V_m)_{m=0}^\infty$ have dominant roots and under the assumption of further mild restrictions we show that this equation has only finitely many solutions which can be found effectively. △ Less

Submitted 27 April, 2018; originally announced April 2018.

On Diophantine equations involving sums of Fibonacci numbers and powers of $2$

Authors: Kwok Chi Chim, Volker Ziegler

Abstract: In this paper, we completely solve the Diophantine equations $F_{n_1} + F_{n_2} = 2^{a_1} + 2^{a_2} + 2^{a_3}$ and $ F_{m_1} + F_{m_2} + F_{m_3} =2^{t_1} + 2^{t_2} $, where $F_k$ denotes the $k$-th Fibonacci number. In particular, we prove that $\max \{n_1, n_2, a_1, a_2, a_3 \}\leq 18$ and $\max \{ m_1, m_2, m_3, t_1, t_2 \}\leq 16$. In this paper, we completely solve the Diophantine equations $F_{n_1} + F_{n_2} = 2^{a_1} + 2^{a_2} + 2^{a_3}$ and $ F_{m_1} + F_{m_2} + F_{m_3} =2^{t_1} + 2^{t_2} $, where $F_k$ denotes the $k$-th Fibonacci number. In particular, we prove that $\max \{n_1, n_2, a_1, a_2, a_3 \}\leq 18$ and $\max \{ m_1, m_2, m_3, t_1, t_2 \}\leq 16$. △ Less

Submitted 18 May, 2017; originally announced May 2017.

On arithmetic progressions in Lucas sequences

Authors: Lajos Hajdu, Márton Szikszai, Volker Ziegler

Abstract: In this paper, we consider arithmetic progressions contained in Lucas sequences of first and second kind. We prove that for almost all sequences, there are only finitely many and their number can be effectively bounded. We also show that there are only a few sequences which contain infinitely many and one can explicitly list both the sequences and the progressions in them. A more precise statement… ▽ More In this paper, we consider arithmetic progressions contained in Lucas sequences of first and second kind. We prove that for almost all sequences, there are only finitely many and their number can be effectively bounded. We also show that there are only a few sequences which contain infinitely many and one can explicitly list both the sequences and the progressions in them. A more precise statement is given for sequences with dominant root. △ Less

Submitted 7 August, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

On a variant of Pillai's problem II

Authors: Kwok Chi Chim, István Pink, Volker Ziegler

Abstract: In this paper, we show that there are only finitely many $c$ such that the equation $U_n - V_m = c$ has at least two distinct solutions $(n,m)$, where $\{U_n\}_{n\geq 0}$ and $\{V_m\}_{m\geq 0}$ are given linear recurrence sequences. In this paper, we show that there are only finitely many $c$ such that the equation $U_n - V_m = c$ has at least two distinct solutions $(n,m)$, where $\{U_n\}_{n\geq 0}$ and $\{V_m\}_{m\geq 0}$ are given linear recurrence sequences. △ Less

Submitted 11 May, 2017; v1 submitted 20 October, 2016; originally announced October 2016.

There is no Diophantine quintuple

Authors: Bo He, Alain Togbè, Volker Ziegler

Abstract: A set of $m$ positive integers $\{a_1, a_2, \dots , a_m\}$ is called a Diophantine $m$-tuple if $a_i a_j + 1$ is a perfect square for all $1 \le i < j \le m$. In 2004 Dujella proved that there is no Diophantine sextuple and that there are at most finitely many Diophantine quintuples. In particular, a folklore conjecture concerning Diophantine $m$-tuples states that no Diophantine quintuple exists… ▽ More A set of $m$ positive integers $\{a_1, a_2, \dots , a_m\}$ is called a Diophantine $m$-tuple if $a_i a_j + 1$ is a perfect square for all $1 \le i < j \le m$. In 2004 Dujella proved that there is no Diophantine sextuple and that there are at most finitely many Diophantine quintuples. In particular, a folklore conjecture concerning Diophantine $m$-tuples states that no Diophantine quintuple exists at all. In this paper we prove this conjecture. △ Less

Submitted 26 March, 2018; v1 submitted 13 October, 2016; originally announced October 2016.

Effective Resolution of Diophantine equations of the form $u_n+u_m=w p_1^{z_1} \cdots p_s^{z_s}$

Authors: István Pink, Volker Ziegler

Abstract: Let $u_n$ be a fixed non-degenerate binary recurrence sequence with positive discriminant, $w$ a fixed non-zero integer and $p_1,p_2,\dots,p_s$ fixed, distinct prime numbers. In this paper we consider the Diophantine equation $u_n+u_m=w p_1^{z_1} \cdots p_s^{z_s}$ and prove under mild technical restrictions effective finiteness results. In particular we give explicit upper bounds for $n,m$ and… ▽ More Let $u_n$ be a fixed non-degenerate binary recurrence sequence with positive discriminant, $w$ a fixed non-zero integer and $p_1,p_2,\dots,p_s$ fixed, distinct prime numbers. In this paper we consider the Diophantine equation $u_n+u_m=w p_1^{z_1} \cdots p_s^{z_s}$ and prove under mild technical restrictions effective finiteness results. In particular we give explicit upper bounds for $n,m$ and $z_1, \dots, z_s$. Furthermore, we provide a rather efficient algorithm to solve Diophantine equations of the described type and we demonstrate our method by an example. △ Less

Submitted 16 April, 2016; originally announced April 2016.

On a variant of Pillai's problem

Authors: Kwok Chi Chim, István Pink, Volker Ziegler

Abstract: In this paper, we find all integers $c$ having at least two representations as a difference between a Fibonacci number and a Tribonacci number. In this paper, we find all integers $c$ having at least two representations as a difference between a Fibonacci number and a Tribonacci number. △ Less

Submitted 16 April, 2016; originally announced April 2016.

Workshop on Physics with Neutral Kaon Beam at JLab (KL2016) Mini-Proceedings

Authors: M. Albrow, M. Amaryan, E. Chudakov, P. Degtyarenko, A. Feijoo, C. Fernandez-Ramirez, I. P. Fernando, A. Filippi, J. L. Goity, H. Haberzettl, B. C. Jackson, H. Kamano, C. Keith, M. Kohl, I. Larin, Wei-Hong Liang, V. K. Magas, M. Mai, D. M. Manley, V. Mathieu, F. Myhrer, K. Nakayama, H. Noumi, Y. Oh, H. Ohnishi , et al. (12 additional authors not shown)

Abstract: The KL2016 Workshop is following the Letter of Intent LoI12-15-001 "Physics Opportunities with Secondary KL beam at JLab" submitted to PAC43 with the main focus on the physics of excited hyperons produced by the Kaon beam on unpolarized and polarized targets with GlueX setup in Hall D. Such studies will broaden a physics program of hadron spectroscopy extending it to the strange sector. The Worksh… ▽ More The KL2016 Workshop is following the Letter of Intent LoI12-15-001 "Physics Opportunities with Secondary KL beam at JLab" submitted to PAC43 with the main focus on the physics of excited hyperons produced by the Kaon beam on unpolarized and polarized targets with GlueX setup in Hall D. Such studies will broaden a physics program of hadron spectroscopy extending it to the strange sector. The Workshop was organized to get a feedback from the community to strengthen physics motivation of the LoI and prepare a full proposal. Further details about the Workshop can be found on the web page of the conference: http://www.jlab.org/conferences/kl2016/index.html . △ Less

Submitted 6 April, 2016; originally announced April 2016.

Comments: 238 pages, Editors: M. Amaryan, E. Chudakov, C. Meyer, M. Pennington, J. Ritman, and I. Strakovsky

Non-Minimality of the Width-$w$ Non-adjacent Form in Conjunction with Trace One $τ$-adic Digit Expansions and Koblitz Curves in Characteristic Two

Authors: Daniel Krenn, Volker Ziegler

Abstract: This article deals with redundant digit expansions with an imaginary quadratic algebraic integer with trace $\pm 1$ as base and a minimal norm representatives digit set. For $w\geq 2$ it is shown that the width-$w$ non-adjacent form is not an optimal expansion, meaning that it does not minimize the (Hamming-)weight among all possible expansions with the same digit set. One main part of the proof u… ▽ More This article deals with redundant digit expansions with an imaginary quadratic algebraic integer with trace $\pm 1$ as base and a minimal norm representatives digit set. For $w\geq 2$ it is shown that the width-$w$ non-adjacent form is not an optimal expansion, meaning that it does not minimize the (Hamming-)weight among all possible expansions with the same digit set. One main part of the proof uses tools from Diophantine analysis, namely the theory of linear forms in logarithms and the Baker--Davenport reduction method. △ Less

Submitted 20 October, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

MSC Class: 11A63; 11Y50; 11D75

Discrepancy of generalized $LS$-sequences

Authors: Maria Rita Iacò, Volker Ziegler

Abstract: The $LS$-sequences are a parametric family of sequences of points in the unit interval. They were introduced by Carbone, who also proved that under an appropriate choice of the parameters $L$ and $S$, such sequences are low-discrepancy. The aim of the present paper is to provide explicit constants in the bounds of the discrepancy of $LS$-sequences. Further, we generalize the construction of Carbon… ▽ More The $LS$-sequences are a parametric family of sequences of points in the unit interval. They were introduced by Carbone, who also proved that under an appropriate choice of the parameters $L$ and $S$, such sequences are low-discrepancy. The aim of the present paper is to provide explicit constants in the bounds of the discrepancy of $LS$-sequences. Further, we generalize the construction of Carbone and construct a new class of sequences of points in the unit interval, the generalized $LS$-sequences. △ Less

Submitted 25 March, 2015; originally announced March 2015.

Finiteness results for Diophantine triples with repdigit values

Authors: Attila Bérczes, Florian Luca, István Pink, Volker Ziegler

Abstract: Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$. Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$. In this paper, we prove effective finitness results for the set… ▽ More Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$. Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$. In this paper, we prove effective finitness results for the set $\mathcal D_g$. △ Less

Submitted 28 August, 2015; v1 submitted 19 February, 2015; originally announced February 2015.

MSC Class: 11D61

On multiplicatively independent bases in cyclotomic number fields

Authors: Manfred G. Madritsch, Volker Ziegler

Abstract: Recently the authors showed that the algebraic integers of the form $-m+ζ_k$ are bases of a canonical number system of $\mathbb{Z}[ζ_k]$ provided $m\geq φ(k)+1$, where $ζ_k$ denotes a $k$-th primitive root of unity and $φ$ is Euler's totient function. In this paper we are interested in the questions whether two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent. We show the multiplicativ… ▽ More Recently the authors showed that the algebraic integers of the form $-m+ζ_k$ are bases of a canonical number system of $\mathbb{Z}[ζ_k]$ provided $m\geq φ(k)+1$, where $ζ_k$ denotes a $k$-th primitive root of unity and $φ$ is Euler's totient function. In this paper we are interested in the questions whether two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent. We show the multiplicative independence in case that $0<|m-n|<10^6$ and $|m|,|n|> 1$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: 9 pages

MSC Class: 11R18; 11Y40; 11A63

Non-Existence of Some Nearly Perfect Sequences, Near Butson-Hadamard Matrices, and Near Conference Matrices

Authors: Arne Winterhof, Oğuz Yayla, Volker Ziegler

Abstract: In this paper we study the non-existence problem of (nearly) perfect (almost) $m$-ary sequences via their connection to (near) Butson-Hadamard (BH) matrices and (near) conference matrices. Firstly, we apply a result on vanishing sums of roots of unity and a result of Brock on the unsolvability of certain equations over a cyclotomic number field to derive non-existence results for near BH matrices… ▽ More In this paper we study the non-existence problem of (nearly) perfect (almost) $m$-ary sequences via their connection to (near) Butson-Hadamard (BH) matrices and (near) conference matrices. Firstly, we apply a result on vanishing sums of roots of unity and a result of Brock on the unsolvability of certain equations over a cyclotomic number field to derive non-existence results for near BH matrices and near conference matrices. Secondly, we refine the idea of Brock in the case of cyclotomic number fields whose ring of integers is not a principal ideal domains and get many new non-existence results. △ Less

Submitted 24 July, 2014; originally announced July 2014.

The Physics of the B Factories

Authors: A. J. Bevan, B. Golob, Th. Mannel, S. Prell, B. D. Yabsley, K. Abe, H. Aihara, F. Anulli, N. Arnaud, T. Aushev, M. Beneke, J. Beringer, F. Bianchi, I. I. Bigi, M. Bona, N. Brambilla, J. B rodzicka, P. Chang, M. J. Charles, C. H. Cheng, H. -Y. Cheng, R. Chistov, P. Colangelo, J. P. Coleman, A. Drutskoy , et al. (2009 additional authors not shown)

Abstract: This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary… ▽ More This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary version of the Physics of the B Factories book. This uses the notation alpha, beta, gamma for the angles of the Unitarity Triangle. The nominal version uses the notation phi_1, phi_2 and phi_3. Please cite this work as Eur. Phys. J. C74 (2014) 3026. △ Less

Submitted 31 October, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 928 pages, version 3 (arXiv:1406.6311v3) corresponds to the alpha, beta, gamma version of the book, the other versions use the phi1, phi2, phi3 notation

Report number: SLAC-PUB-15968, KEK Preprint 2014-3

Journal ref: Eur. Phys. J. C74 (2014) 3026

On corner avoidance of $\boldsymbol β$-adic Halton sequences

Authors: Markus Hofer, Volker Ziegler

Abstract: We consider the corner avoiding property of $s$-dimensional $\boldsymbol β$-adic Halton sequences. After extending this class of point sequences in an intuitive way, we show that the hyperbolic distance between each element of the sequence and the closest corner of $[0,1)^s$ is $\mathcal{O}\left(\frac{1}{N^{s/2+ε}}\right)$, where $N$ denotes the index of the element. In our proof we use tools from… ▽ More We consider the corner avoiding property of $s$-dimensional $\boldsymbol β$-adic Halton sequences. After extending this class of point sequences in an intuitive way, we show that the hyperbolic distance between each element of the sequence and the closest corner of $[0,1)^s$ is $\mathcal{O}\left(\frac{1}{N^{s/2+ε}}\right)$, where $N$ denotes the index of the element. In our proof we use tools from Diophantine analysis, more precisely, we apply Schmidt's Subspace Theorem. △ Less

Submitted 23 October, 2014; v1 submitted 31 March, 2014; originally announced March 2014.

MSC Class: 11J71; 11J87; 11K38; 11A67

S-Diophantine quadruples with $\mathbf{S=\{2,q\}}$

Authors: László Szalay, Volker Ziegler

Abstract: Let $S$ denote a set of primes and let $a_1,\ldots,a_m$ be positive distinct integers. We call the $m$-tuple $(a_1,\ldots,a_m)$ an $S$-Diophantine tuple if $a_ia_j+1=s_{i,j}$ are $S$-integers for all $i\not=j$. In this paper, we show that no $S$-Diophantine quadruple (i.e~$m=4$) exists if $S=\{2,q\}$ with $q\equiv 3\; (\bmod\, 4)$ or $q<10^9$. For two arbitrary primes $p,q<10^5$ we gain the same r… ▽ More Let $S$ denote a set of primes and let $a_1,\ldots,a_m$ be positive distinct integers. We call the $m$-tuple $(a_1,\ldots,a_m)$ an $S$-Diophantine tuple if $a_ia_j+1=s_{i,j}$ are $S$-integers for all $i\not=j$. In this paper, we show that no $S$-Diophantine quadruple (i.e~$m=4$) exists if $S=\{2,q\}$ with $q\equiv 3\; (\bmod\, 4)$ or $q<10^9$. For two arbitrary primes $p,q<10^5$ we gain the same result. △ Less

Submitted 25 July, 2014; v1 submitted 24 March, 2014; originally announced March 2014.

MSC Class: 11D61

A note on the number of $S$-Diophantine quadruples

Authors: Florian Luca, Volker Ziegler

Abstract: Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we estimate the number of $S$-Diophantine quadruples in terms of $|S|=r$. Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we estimate the number of $S$-Diophantine quadruples in terms of $|S|=r$. △ Less

Submitted 24 March, 2014; v1 submitted 7 March, 2014; originally announced March 2014.

Comments: Correction of some typos and an error in Corollary 1

MSC Class: 11D45; 11N32

An infinite family of multiplicatively independent bases of number systems in cyclotomic number fields

Authors: Manfred Madritsch, Volker Ziegler

Abstract: Let $ζ_k$ be a $k$-th primitive root of unity, $m\geqφ(k)+1$ an integer and $Φ_k(X)\in\mathbb Z [X]$ the $k$-th cyclotomic polynomial. In this paper we show that the pair $(-m+ζ_k,\mathcal N)$ is a canonical number system, with $\mathcal N=\{0,1,\dots,|Φ_k(m)|\}$. Moreover we also discuss whether the two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent for positive integers $m$ and… ▽ More Let $ζ_k$ be a $k$-th primitive root of unity, $m\geqφ(k)+1$ an integer and $Φ_k(X)\in\mathbb Z [X]$ the $k$-th cyclotomic polynomial. In this paper we show that the pair $(-m+ζ_k,\mathcal N)$ is a canonical number system, with $\mathcal N=\{0,1,\dots,|Φ_k(m)|\}$. Moreover we also discuss whether the two bases $-m+ζ_k$ and $-n+ζ_k$ are multiplicatively independent for positive integers $m$ and $n$ and $k$ fixed. △ Less

Submitted 1 August, 2014; v1 submitted 7 March, 2014; originally announced March 2014.

MSC Class: 11A63; 11D61; 11D41

On Simultaneous Palindromes

Authors: Attila Bérczes, Volker Ziegler

Abstract: A palindrome in base $g$ is an integer $N$ that remains the same when its digit expansion in base $g$ is reversed. Let $g$ and $h$ be given distinct integers $>1$. In this paper we discuss how many integers are palindromes in base $g$ and simultaneously palindromes in base $h$. A palindrome in base $g$ is an integer $N$ that remains the same when its digit expansion in base $g$ is reversed. Let $g$ and $h$ be given distinct integers $>1$. In this paper we discuss how many integers are palindromes in base $g$ and simultaneously palindromes in base $h$. △ Less

Submitted 11 June, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

On distinct unit generated fields that are totally complex

Authors: Daniel Dombek, Zuzana Masáková, Volker Ziegler

Abstract: We consider the problem of characterizing all number fields $K$ such that all algebraic integers $α\in K$ can be written as the sum of distinct units of $K$. We extend a method due to Thuswaldner and Ziegler that previously did not work for totally complex fields and apply our results to the case of totally complex quartic number fields. We consider the problem of characterizing all number fields $K$ such that all algebraic integers $α\in K$ can be written as the sum of distinct units of $K$. We extend a method due to Thuswaldner and Ziegler that previously did not work for totally complex fields and apply our results to the case of totally complex quartic number fields. △ Less

Submitted 17 September, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

MSC Class: 11R16; 11R11; 11A63; 11R67