-
Generalizing the Eight Levels Theorem: A Journey to Mersenne Prime Discoveries and New Polynomial Classes
Authors:
Moustafa Ibrahim
Abstract:
Mersenne primes, renowned for their captivating form as $2^p - 1$, have intrigued mathematicians for centuries. In this paper, we embark on a captivating quest to unveil the intricate nature of Mersenne primes, seamlessly integrating methods with the Eight Levels Theorem. Initially, we extend the Eight Levels Theorem and introduce an innovative approach that harmoniously combines arithmetic and di…
▽ More
Mersenne primes, renowned for their captivating form as $2^p - 1$, have intrigued mathematicians for centuries. In this paper, we embark on a captivating quest to unveil the intricate nature of Mersenne primes, seamlessly integrating methods with the Eight Levels Theorem. Initially, we extend the Eight Levels Theorem and introduce an innovative approach that harmoniously combines arithmetic and differential techniques to compute the coefficients of the polynomial expansions of $x^n + y^n$ in terms of binary quadratic forms. This endeavor leads us to the genesis of novel polynomial sequences as we scrutinize the coefficients within this expansion. Our research unearths previously uncharted connections between Mersenne numbers and the derivatives of specific polynomial sequences. By forging this linkage, we not only enhance our understanding of Mersenne primes but also bridge the divide between well-established sequences in number theory and differential equations. This broadens the applicability of our findings across diverse scientific domains, revealing fresh avenues for exploration in number theory and beyond. These polynomial bridges serve as conduits between these sequences, unveiling exciting prospects for future research. This interdisciplinary exploration opens up exciting possibilities for the broader implications of Mersenne primes, extending their significance beyond the realm of pure mathematics. In our paper, we also delve into the intriguing influence of the Golden Ratio constant, which unveils segments reminiscent of the beauty found in nature, adding an unexpected dimension to the world of arithmetic. In this harmonious journey, the allure of Mersenne primes resonates through the symphony of mathematical discovery.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
On the Eight Levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I
Authors:
Moustafa Ibrahim
Abstract:
Lucas-Lehmer test is the current standard algorithm used for testing the primality of Mersenne numbers, but it may have limitations in terms of its efficiency and accuracy. Develo** new algorithms or improving upon existing ones could potentially improve the search for Mersenne primes and the understanding of the distribution of Mersenne primes and composites. The development of new versions of…
▽ More
Lucas-Lehmer test is the current standard algorithm used for testing the primality of Mersenne numbers, but it may have limitations in terms of its efficiency and accuracy. Develo** new algorithms or improving upon existing ones could potentially improve the search for Mersenne primes and the understanding of the distribution of Mersenne primes and composites. The development of new versions of the primality test for Mersenne numbers could help to speed up the search for new Mersenne primes by improving the efficiency of the algorithm. This could potentially lead to the discovery of new Mersenne primes that were previously beyond the reach of current computational resources. The current paper proves what the author called the Eight Levels Theorem and then highlights and proves three new different versions for Lucas-Lehmer primality test for Mersenne primes and also gives a new criterion for Mersenne compositeness.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Safe Hierarchical Model Predictive Control and Planning for Autonomous Systems
Authors:
Markus Koegel,
Mohamed Ibrahim,
Christian Kallies,
Rolf Findeisen
Abstract:
Planning and control for autonomous vehicles usually are hierarchical separated. However, increasing performance demands and operating in highly dynamic environments requires an frequent re-evaluation of the planning and tight integration of control and planning to guarantee safety. We propose an integrated hierarchical predictive control and planning approach to tackle this challenge. Planner and…
▽ More
Planning and control for autonomous vehicles usually are hierarchical separated. However, increasing performance demands and operating in highly dynamic environments requires an frequent re-evaluation of the planning and tight integration of control and planning to guarantee safety. We propose an integrated hierarchical predictive control and planning approach to tackle this challenge. Planner and controller are based on the repeated solution of moving horizon optimal control problems. The planner can choose different low-layer controller modes for increased flexibility and performance instead of using a single controller with a large safety margin for collision avoidance under uncertainty. Planning is based on simplified system dynamics and safety, yet flexible operation is ensured by constraint tightening based on a mixed-integer linear programming formulation. A cyclic horizon tube-based model predictive controller guarantees constraint satisfaction for different control modes and disturbances. Examples of such modes are a slow-speed movement with high precision and fast-speed movements with large uncertainty bounds. Allowing for different control modes reduces the conservatism, while the hierarchical decomposition of the problem reduces the computational cost and enables real-time implementation. We derive conditions for recursive feasibility to ensure constraint satisfaction and obstacle avoidance to guarantee safety and ensure compatibility between the layers and modes. Simulation results illustrate the efficiency and applicability of the proposed hierarchical strategy.
△ Less
Submitted 27 March, 2022;
originally announced March 2022.
-
On The Emergence of a New Prime Number And Omega Sequences
Authors:
Moustafa Ibrahim
Abstract:
This paper highlights the emergence of the Omega sequence in number theory and its connection with the emergence of a new prime number, and also highlights its theoretical applications for Lucas-Lehmer primality test, and Euclid-Euler theory for even perfect numbers. We also show that Omega sequences unify and give new representations for Mersenne numbers, Fermat numbers, Lucas numbers, Fibonacci…
▽ More
This paper highlights the emergence of the Omega sequence in number theory and its connection with the emergence of a new prime number, and also highlights its theoretical applications for Lucas-Lehmer primality test, and Euclid-Euler theory for even perfect numbers. We also show that Omega sequences unify and give new representations for Mersenne numbers, Fermat numbers, Lucas numbers, Fibonacci numbers, Chebyshev sequence, Dickson sequence, and others.
△ Less
Submitted 4 November, 2021; v1 submitted 5 October, 2021;
originally announced October 2021.
-
A new explicit expansion approach to Mersenne primes
Authors:
Moustafa Ibrahim
Abstract:
This paper first proves what the author called the Eight Levels Theorem and then highlights a new explicit expansion approach to Lucas-Lehmer primality test for Mersenne primes and gives a new criterion for Mersenne compositeness. Also, we prove four new combinatorial identities.
This paper first proves what the author called the Eight Levels Theorem and then highlights a new explicit expansion approach to Lucas-Lehmer primality test for Mersenne primes and gives a new criterion for Mersenne compositeness. Also, we prove four new combinatorial identities.
△ Less
Submitted 18 May, 2022; v1 submitted 23 August, 2021;
originally announced August 2021.
-
$\texttt{RidgeSketch}$: A Fast sketching based solver for large scale ridge regression
Authors:
Nidham Gazagnadou,
Mark Ibrahim,
Robert M. Gower
Abstract:
We propose new variants of the sketch-and-project method for solving large scale ridge regression problems. Firstly, we propose a new momentum alternative and provide a theorem showing it can speed up the convergence of sketch-and-project, through a fast $\textit{sublinear}$ convergence rate. We carefully delimit under what settings this new sublinear rate is faster than the previously known linea…
▽ More
We propose new variants of the sketch-and-project method for solving large scale ridge regression problems. Firstly, we propose a new momentum alternative and provide a theorem showing it can speed up the convergence of sketch-and-project, through a fast $\textit{sublinear}$ convergence rate. We carefully delimit under what settings this new sublinear rate is faster than the previously known linear rate of convergence of sketch-and-project without momentum. Secondly, we consider combining the sketch-and-project method with new modern sketching methods such as the count sketch, subcount sketch (a new method we propose), and subsampled Hadamard transforms. We show experimentally that when combined with the sketch-and-project method, the (sub)count sketch is very effective on sparse data and the standard subsample sketch is effective on dense data. Indeed, we show that these sketching methods, combined with our new momentum scheme, result in methods that are competitive even when compared to the Conjugate Gradient method on real large scale data. On the contrary, we show the subsampled Hadamard transform does not perform well in this setting, despite the use of fast Hadamard transforms, and nor do recently proposed acceleration schemes work well in practice. To support all of our experimental findings, and invite the community to validate and extend our results, with this paper we are also releasing an open source software package: $\texttt{RidgeSketch}$. We designed this object-oriented package in Python for testing sketch-and-project methods and benchmarking ridge regression solvers. $\texttt{RidgeSketch}$ is highly modular, and new sketching methods can easily be added as subclasses. We provide code snippets of our package in the appendix.
△ Less
Submitted 26 May, 2021; v1 submitted 12 May, 2021;
originally announced May 2021.
-
New expansions for $x^n \pm y^n$ in terms of quadratic forms
Authors:
Moustafa Ibrahim
Abstract:
We prove new theorems for the polynomial expansions of $x^n \pm y^n$ in terms of the binary quadratic forms $αx^2 + βxy + αy^2 $ and $a x^2 + bxy + a y^2 $. The paper gives new arithmetic differential approach to compute the coefficients. Also, the paper gives generalization to well-known polynomial identity in the history of number theory. The paper highlights the emergence of a new class of poly…
▽ More
We prove new theorems for the polynomial expansions of $x^n \pm y^n$ in terms of the binary quadratic forms $αx^2 + βxy + αy^2 $ and $a x^2 + bxy + a y^2 $. The paper gives new arithmetic differential approach to compute the coefficients. Also, the paper gives generalization to well-known polynomial identity in the history of number theory. The paper highlights the emergence of a new class of polynomials that unify many well-known sequences including the Chebyshev polynomials of the first and second kind, Dickson polynomials of the first and second kind, Lucas and Fibonacci numbers, Mersenne numbers, Pell polynomials, Pell-Lucas polynomials, and Fermat numbers. Also, this paper highlights the emergence of the notions of trajectories and orbits of certain integers that passes through many well-known polynomials and sequences. The Lucas-Fibonacci trajectory, the Lucas-Pell trajectory, the Fibonacci-Pell trajectory, the Fibonacci-Lucas trajectory, the Chebyshev-Dickson trajectory of the first kind, the Chebyshev-Dickson trajectory of the second kind, and others are new trajectories included in this paper. Also, the Lucas orbit, Fibonacci orbit, Mersenne orbit, Lucas-Fibonacci orbit, Fermat orbit, and others are new orbits included in this paper.
△ Less
Submitted 9 February, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Quantum Calculus-based Volterra LMS for Nonlinear Channel Estimation
Authors:
Muhammad Usman,
Muhammad Sohail Ibrahim,
Jawwad Ahmad,
Syed Saiq Hussain,
Muhammad Moinuddin
Abstract:
A novel adaptive filtering method called $q$-Volterra least mean square ($q$-VLMS) is presented in this paper. The $q$-VLMS is a nonlinear extension of conventional LMS and it is based on Jackson's derivative also known as $q$-calculus. In Volterra LMS, due to large variance of input signal the convergence speed is very low. With proper manipulation we successfully improved the convergence perform…
▽ More
A novel adaptive filtering method called $q$-Volterra least mean square ($q$-VLMS) is presented in this paper. The $q$-VLMS is a nonlinear extension of conventional LMS and it is based on Jackson's derivative also known as $q$-calculus. In Volterra LMS, due to large variance of input signal the convergence speed is very low. With proper manipulation we successfully improved the convergence performance of the Volterra LMS. The proposed algorithm is analyzed for the step-size bounds and results of analysis are verified through computer simulations for nonlinear channel estimation problem.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Mirror-Prox SCA Algorithm for Multicast Beamforming and Antenna Selection
Authors:
Mohamed S. Ibrahim,
Aritra Konar,
Mingyi Hong,
Nicholas D. Sidiropoulos
Abstract:
This paper considers the (NP-)hard problem of joint multicast beamforming and antenna selection. Prior work has focused on using Semi-Definite relaxation (SDR) techniques in an attempt to obtain a high quality sub-optimal solution. However, SDR suffers from the drawback of having high computational complexity, as SDR lifts the problem to higher dimensional space, effectively squaring the number of…
▽ More
This paper considers the (NP-)hard problem of joint multicast beamforming and antenna selection. Prior work has focused on using Semi-Definite relaxation (SDR) techniques in an attempt to obtain a high quality sub-optimal solution. However, SDR suffers from the drawback of having high computational complexity, as SDR lifts the problem to higher dimensional space, effectively squaring the number of variables. This paper proposes a high performance, low complexity Successive Convex Approximation (SCA) algorithm for max-min SNR "fair" joint multicast beamforming and antenna selection under a sum power constraint. The proposed approach relies on iteratively approximating the non-convex objective with a series of non-smooth convex subproblems, and then, a first order-based method called Saddle Point Mirror-Prox (SP-MP) is used to compute optimal solutions for each SCA subproblem. Simulations reveal that the SP-MP SCA algorithm provides a higher quality and lower complexity solution compared to the one obtained using SDR.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Bivariate Exponentiated Generalized Linear Exponential Distribution with Applications in Reliability Analysis
Authors:
Mohamed Ibrahim,
M. S. Eliwa,
M. El- Morshedy
Abstract:
The aim of this paper, is to define a bivariate exponentiated generalized linear exponential distribution based on Marshall-Olkin shock model. Statistical and reliability properties of this distribution are discussed. This includes quantiles, moments, stress-strength reliability, joint reliability function, joint reversed (hazard) rates functions and joint mean waiting time function. Moreover, the…
▽ More
The aim of this paper, is to define a bivariate exponentiated generalized linear exponential distribution based on Marshall-Olkin shock model. Statistical and reliability properties of this distribution are discussed. This includes quantiles, moments, stress-strength reliability, joint reliability function, joint reversed (hazard) rates functions and joint mean waiting time function. Moreover, the hazard rate, the availability and the mean residual lifetime functions for a parallel system, are established. One data set is analyzed, and it is observed that, the proposed distribution provides a better fit than Marshall-Olkin bivariate exponential, bivariate generalized exponential and bivariate generalized linear failure rate distributions. Simulation studies are presented to estimate both the relative absolute bias, and the relative mean square error for the distribution parameters based on complete data.
△ Less
Submitted 2 October, 2017;
originally announced October 2017.
-
A novel variational model for image registration using Gaussian curvature
Authors:
Mazlinda Ibrahim,
Ke Chen,
Carlos Brito-Loeza
Abstract:
Image registration is one important task in many image processing applications. It aims to align two or more images so that useful information can be extracted through comparison, combination or superposition. This is achieved by constructing an optimal trans- formation which ensures that the template image becomes similar to a given reference image. Although many models exist, designing a model c…
▽ More
Image registration is one important task in many image processing applications. It aims to align two or more images so that useful information can be extracted through comparison, combination or superposition. This is achieved by constructing an optimal trans- formation which ensures that the template image becomes similar to a given reference image. Although many models exist, designing a model capable of modelling large and smooth deformation field continues to pose a challenge. This paper proposes a novel variational model for image registration using the Gaussian curvature as a regulariser. The model is motivated by the surface restoration work in geometric processing [Elsey and Esedoglu, Multiscale Model. Simul., (2009), pp. 1549-1573]. An effective numerical solver is provided for the model using an augmented Lagrangian method. Numerical experiments can show that the new model outperforms three competing models based on, respectively, a linear curvature [Fischer and Modersitzki, J. Math. Imaging Vis., (2003), pp. 81- 85], the mean curvature [Chumchob, Chen and Brito, Multiscale Model. Simul., (2011), pp. 89-128] and the diffeomorphic demon model [Vercauteren at al., NeuroImage, (2009), pp. 61-72] in terms of robustness and accuracy.
△ Less
Submitted 28 April, 2015;
originally announced April 2015.
-
Constructing Even Order Magic Squares By Consecutive Numbering
Authors:
A. M. Ibrahim,
H. M. Jibril,
A. Umar
Abstract:
The aim of this note is to introduce fastest new general methods for the construction of double and single even order magic squares. As in [5], the method for double even order magic squares is fairly straight-forward but some adjustments are necessary for the single even order magic squares.
The aim of this note is to introduce fastest new general methods for the construction of double and single even order magic squares. As in [5], the method for double even order magic squares is fairly straight-forward but some adjustments are necessary for the single even order magic squares.
△ Less
Submitted 19 March, 2013;
originally announced March 2013.