-
A quantum approach for optimal control
Authors:
Hirmay Sandesara,
Alok Shukla,
Prakash Vedula
Abstract:
In this work, we propose a novel variational quantum approach for solving a class of nonlinear optimal control problems. Our approach integrates Dirac's canonical quantization of dynamical systems with the solution of the ground state of the resulting non-Hermitian Hamiltonian via a variational quantum eigensolver (VQE). We introduce a new perspective on the Dirac bracket formulation for generaliz…
▽ More
In this work, we propose a novel variational quantum approach for solving a class of nonlinear optimal control problems. Our approach integrates Dirac's canonical quantization of dynamical systems with the solution of the ground state of the resulting non-Hermitian Hamiltonian via a variational quantum eigensolver (VQE). We introduce a new perspective on the Dirac bracket formulation for generalized Hamiltonian dynamics in the presence of constraints, providing a clear motivation and illustrative examples. Additionally, we explore the structural properties of Dirac brackets within the context of multidimensional constrained optimization problems.
Our approach for solving a class of nonlinear optimal control problems employs a VQE-based approach to determine the eigenstate and corresponding eigenvalue associated with the ground state energy of a non-Hermitian Hamiltonian. Assuming access to an ideal VQE, our formulation demonstrates excellent results, as evidenced by selected computational examples. Furthermore, our method performs well when combined with a VQE-based approach for non-Hermitian Hamiltonian systems. Our VQE-based formulation effectively addresses challenges associated with a wide range of optimal control problems, particularly in high-dimensional scenarios. Compared to standard classical approaches, our quantum-based method shows significant promise and offers a compelling alternative for tackling complex, high-dimensional optimization challenges.
△ Less
Submitted 4 July, 2024; v1 submitted 3 July, 2024;
originally announced July 2024.
-
Efficient Implementation of a Quantum Search Algorithm for Arbitrary N
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
This paper presents an enhancement to Grover's search algorithm for instances where the number of items (or the size of the search problem) $N$ is not a power of 2. By employing an efficient algorithm for the preparation of uniform quantum superposition states over a subset of the computational basis states, we demonstrate that a considerable reduction in the number of oracle calls (and Grover's i…
▽ More
This paper presents an enhancement to Grover's search algorithm for instances where the number of items (or the size of the search problem) $N$ is not a power of 2. By employing an efficient algorithm for the preparation of uniform quantum superposition states over a subset of the computational basis states, we demonstrate that a considerable reduction in the number of oracle calls (and Grover's iterations) can be achieved in many cases. For special cases (i.e., when $N$ is of the form such that it is slightly greater than an integer power of 2), the reduction in the number of oracle calls (and Grover's iterations) asymptotically approaches 29.33\%. This improvement is significant compared to the traditional Grover's algorithm, which handles such cases by rounding $N$ up to the nearest power of 2. The key to this improvement is our algorithm for the preparation of uniform quantum superposition states over a subset of the computational basis states, which requires gate complexity and circuit depth of only $ O (\log_2 (N)) $, without using any ancilla qubits.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Interplay between the Lyapunov exponents and phase transitions of charged AdS black holes
Authors:
Bhaskar Shukla,
Pranaya Pratik Das,
David Dudal,
Subhash Mahapatra
Abstract:
We study the relationship between the standard or extended thermodynamic phase structure of various AdS black holes and the Lyapunov exponents associated with the null and time-like geodesics. We consider dyonic, Bardeen, Gauss-Bonnet, and Lorentz-symmetry breaking massive gravity black holes and calculate the Lyapunov exponents of massless and massive particles in unstable circular geodesics clos…
▽ More
We study the relationship between the standard or extended thermodynamic phase structure of various AdS black holes and the Lyapunov exponents associated with the null and time-like geodesics. We consider dyonic, Bardeen, Gauss-Bonnet, and Lorentz-symmetry breaking massive gravity black holes and calculate the Lyapunov exponents of massless and massive particles in unstable circular geodesics close to the black hole. We find that the thermal profile of the Lyapunov exponents exhibits distinct behaviour in the small and large black hole phases and can encompass certain aspects of the van der Waals type small/large black hole phase transition. We further analyse the properties of Lyapunov exponents as an order parameter and find that its critical exponent is $1/2$, near the critical point for all black holes considered here.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Hybrid classical-quantum image processing via polar Walsh basis functions
Authors:
Mohit Rohida,
Alok Shukla,
Prakash Vedula
Abstract:
We propose a novel hybrid classical-quantum approach for image processing based on polar Walsh basis functions. Using this approach, we present an algorithm for the removal of the circular banding noise (including Airy pattern noise) and the azimuthal banding noise. This approach is based on a formulation of Walsh basis functions in polar coordinates for image representations. This approach also b…
▽ More
We propose a novel hybrid classical-quantum approach for image processing based on polar Walsh basis functions. Using this approach, we present an algorithm for the removal of the circular banding noise (including Airy pattern noise) and the azimuthal banding noise. This approach is based on a formulation of Walsh basis functions in polar coordinates for image representations. This approach also builds upon an earlier work on a hybrid classical-quantum algorithm for Walsh-Hadamard transforms. We provide two kinds of polar representations using uniform area measure and uniform radial measure. Effective smoothening and interpolating techniques are devised relevant to the transformations between Cartesian and polar coordinates, mitigating the challenges posed by the non-injectivity of the transformation in the context of digital images. The hybrid classical-quantum approach presented here involves an algorithm for Walsh-Hadamard transforms, which has a lower computational complexity of $\mathcal{O}(N)$ compared to the well-known classical Fast Walsh-Hadamard Transform, which has a computational complexity of $\mathcal{O}(N \log_2 N)$. We demonstrated the applicability of our approach through computational examples involving the removal of the circular banding noise (including Airy pattern noise) and the azimuthal banding noise.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
On sequency-complete and sequency-ordered matrices
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
The concept of sequency holds a fundamental significance in signal analysis using Walsh basis functions. In this study, we closely examine the concept of sequency and explore the properties of sequency-complete and sequency-ordered matrices. We obtain results on cardinalities of sets containing sequency-complete and sequency-ordered matrices of arbitrary sizes. We present methods for obtaining int…
▽ More
The concept of sequency holds a fundamental significance in signal analysis using Walsh basis functions. In this study, we closely examine the concept of sequency and explore the properties of sequency-complete and sequency-ordered matrices. We obtain results on cardinalities of sets containing sequency-complete and sequency-ordered matrices of arbitrary sizes. We present methods for obtaining interesting classes of sequency-complete and sequency-ordered matrices of arbitrary sizes. We also provide results on the sequencies of columns in tensor products involving two or more matrices.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
A quantum approach for digital signal processing
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
We propose a novel quantum approach to signal processing, including a quantum algorithm for low-pass and high-pass filtering, based on the sequency-ordered Walsh-Hadamard transform. We present quantum circuits for performing the sequency-ordered Walsh-Hadamard transform, as well as quantum circuits for low-pass, high-pass, and band-pass filtering. Additionally, we provide a proof of correctness fo…
▽ More
We propose a novel quantum approach to signal processing, including a quantum algorithm for low-pass and high-pass filtering, based on the sequency-ordered Walsh-Hadamard transform. We present quantum circuits for performing the sequency-ordered Walsh-Hadamard transform, as well as quantum circuits for low-pass, high-pass, and band-pass filtering. Additionally, we provide a proof of correctness for the quantum circuit designed to perform the sequency-ordered Walsh-Hadamard transform. The performance and accuracy of the proposed approach for signal filtering were illustrated using computational examples, along with corresponding quantum circuits, for DC, low-pass, high-pass, and band-pass filtering. Our proposed algorithm for signal filtering has a reduced gate complexity and circuit depth of $O (\log_2 N)$, compared to at least $O ((\log_2 N )^2)$ associated with Quantum Fourier Transform (QFT) based filtering (excluding state preparation and measurement costs). In contrast, classical Fast Fourier Transform (FFT) based filtering approaches have a complexity of $O (N \log_2 N )$. This shows that our proposed approach offers a significant improvement over QFT-based filtering methods and classical FFT-based filtering methods. Such enhanced efficiency of our proposed approach holds substantial promise across several signal processing applications by ensuring faster computations and efficient use of resources via reduced circuit depth and lower gate complexity.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
An efficient quantum algorithm for preparation of uniform quantum superposition states
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
Quantum state preparation involving a uniform superposition over a non-empty subset of $n$-qubit computational basis states is an important and challenging step in many quantum computation algorithms and applications. In this work, we address the problem of preparation of a uniform superposition state of the form $\ketΨ = \frac{1}{\sqrt{M}}\sum_{j = 0}^{M - 1} \ket{j}$, where $M$ denotes the numbe…
▽ More
Quantum state preparation involving a uniform superposition over a non-empty subset of $n$-qubit computational basis states is an important and challenging step in many quantum computation algorithms and applications. In this work, we address the problem of preparation of a uniform superposition state of the form $\ketΨ = \frac{1}{\sqrt{M}}\sum_{j = 0}^{M - 1} \ket{j}$, where $M$ denotes the number of distinct states in the superposition state and $2 \leq M \leq 2^n$. We show that the superposition state $\ketΨ$ can be efficiently prepared with a gate complexity and circuit depth of only $O(\log_2~M)$ for all $M$. This demonstrates an exponential reduction in gate complexity in comparison to other existing approaches in the literature for the general case of this problem. Another advantage of the proposed approach is that it requires only $n=\ceil{\log_2~M}$ qubits. Furthermore, neither ancilla qubits nor any quantum gates with multiple controls are needed in our approach for creating the uniform superposition state $\ketΨ$. It is also shown that a broad class of nonuniform superposition states that involve a mixture of uniform superposition states can also be efficiently created with the same circuit configuration that is used for creating the uniform superposition state $\ketΨ$ described earlier, but with modified parameters.
△ Less
Submitted 18 June, 2023;
originally announced June 2023.
-
Quintessences Universe in $f(R, L_m)$ gravity with special form of deceleration parameter
Authors:
Bhupendra Kumar Shukla,
Rishi KumarTiwari,
Deger Sufuoglu,
Aroonkumar Beesham
Abstract:
In this paper We have investigated a homogeneous and isotropic FRW cosmological model with perfect fluid in the framework of $f(R,Lm)$ gravity. We have explored for the non linear case of $f(R,L_m)$ model, namely $f(R,L_m) = R/2 + L_m$ and obtained the solution by using the condition that the deceleration parameter is a linear function of the Hubble parameter. We employ 57 Hubble data points and 1…
▽ More
In this paper We have investigated a homogeneous and isotropic FRW cosmological model with perfect fluid in the framework of $f(R,Lm)$ gravity. We have explored for the non linear case of $f(R,L_m)$ model, namely $f(R,L_m) = R/2 + L_m$ and obtained the solution by using the condition that the deceleration parameter is a linear function of the Hubble parameter. We employ 57 Hubble data points and 1048 Pantheon supernovae type Ia data samples to restrict the model parameters. Additionally, we employ Markoc Chain Monte Carlo (MCMC) simulation for our statistical analysis. Additionally, we analyse the jerk and om diagnostic parameters for our model using the parameter values that were obtained.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Anisotropic and frame dependent chaos of suspended strings from a dynamical holographic QCD model with magnetic field
Authors:
Bhaskar Shukla,
David Dudal,
Subhash Mahapatra
Abstract:
We investigate both from a qualitative as well as quantitative perspective the emergence of chaos in the QCD confining string in a magnetic field from a holographic viewpoint. We use an earlier developed bottom-up solution of the Einstein-Maxwell-Dilaton action that mimics QCD and its thermodynamics quite well. Surprisingly, our predictions depend on the used frame: the magnetic field tends to sup…
▽ More
We investigate both from a qualitative as well as quantitative perspective the emergence of chaos in the QCD confining string in a magnetic field from a holographic viewpoint. We use an earlier developed bottom-up solution of the Einstein-Maxwell-Dilaton action that mimics QCD and its thermodynamics quite well. Surprisingly, our predictions depend on the used frame: the magnetic field tends to suppress the chaos in both perpendicular and parallel directions relative to the magnetic field in the string frame whilst in the Einstein frame, the chaos suppression only happens in the perpendicular direction, with an enhanced chaos along the magnetic field. The amount of suppression/enhancement in both frames does depend on the relative orientation of the string and magnetic field.
△ Less
Submitted 25 July, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
A generalization of Bernstein-Vazirani algorithm with multiple secret keys and a probabilistic oracle
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
A probabilistic version of the Bernstein-Vazirani problem (which is a generalization of the original Bernstein-Vazirani problem) and a quantum algorithm to solve it are proposed. The problem involves finding one or more secret keys from a set of multiple secret keys (encoded in binary form) using a quantum oracle. From a set of multiple unknown keys, the proposed quantum algorithm is capable of (a…
▽ More
A probabilistic version of the Bernstein-Vazirani problem (which is a generalization of the original Bernstein-Vazirani problem) and a quantum algorithm to solve it are proposed. The problem involves finding one or more secret keys from a set of multiple secret keys (encoded in binary form) using a quantum oracle. From a set of multiple unknown keys, the proposed quantum algorithm is capable of (a) obtaining any key (with certainty) using a single query to the probabilistic oracle and (b) finding all keys with a high probability (approaching 1 in the limiting case). In contrast, a classical algorithm will be unable to find even a single bit of a secret key with certainty (in the general case). Owing to the probabilistic nature of the oracle, a classical algorithm can only be useful in obtaining limiting probability distributions of $ 0 $ and $ 1 $ for each bit-position of secret keys (based on multiple oracle calls) and this information can further be used to infer some estimates on the distribution of secret keys based on combinatorial considerations. For comparison, it is worth noting that a classical algorithm can be used to exactly solve the original Bernstein-Vazirani problem (involving a deterministic oracle and a single hidden key containing $n$ bits) with a query complexity of $\mathcal{O}(n)$. An interesting class of problems similar to the probabilistic version of the Bernstein-Vazirani problem can be construed, where quantum algorithms can provide efficient solutions with certainty or with a high degree of confidence and classical algorithms would fail to do so.
△ Less
Submitted 21 January, 2023;
originally announced January 2023.
-
A quantum algorithm for counting zero-crossings
Authors:
Alok Shukla
Abstract:
We present a zero-crossings counting problem that is a generalization of the Bernstein-Vazirani problem. The goal of this problem is to count the number of zero-crossings (or sign changes) in a special type of sequence S, whose definition depends upon a secret string. A quantum algorithm is presented to solve this problem. The proposed quantum algorithm requires only one oracle query to solve the…
▽ More
We present a zero-crossings counting problem that is a generalization of the Bernstein-Vazirani problem. The goal of this problem is to count the number of zero-crossings (or sign changes) in a special type of sequence S, whose definition depends upon a secret string. A quantum algorithm is presented to solve this problem. The proposed quantum algorithm requires only one oracle query to solve the problem, whereas a classical algorithm would need at least n oracle queries, where $2^n$ is the size of the sequence S. In addition to solving the zero-crossings counting problem, we also give a quantum circuit for performing the Walsh-Hadamard transforms in sequency ordering. The Walsh-Hadamard transform in sequency ordering is used in a wide range of scientific and engineering applications, including in digital signal and image processing. Therefore, the proposed quantum circuit for computing the Walsh-Hadamard transforms in sequency ordering may be helpful in quantum computing algorithms for applications for which the computation of the Walsh-Hadamard transform in sequency ordering is required.
△ Less
Submitted 21 June, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
A hybrid classical-quantum algorithm for digital image processing
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
A hybrid classical-quantum approach for evaluation of multi-dimensional Walsh-Hadamard transforms and its applications to quantum image processing are proposed. In this approach, multidimensional Walsh-Hadamard transforms are obtained using quantum Hadamard gates (along with state-preparation, shifting, scaling and measurement operations). The proposed approach for evaluation of multidimensional W…
▽ More
A hybrid classical-quantum approach for evaluation of multi-dimensional Walsh-Hadamard transforms and its applications to quantum image processing are proposed. In this approach, multidimensional Walsh-Hadamard transforms are obtained using quantum Hadamard gates (along with state-preparation, shifting, scaling and measurement operations). The proposed approach for evaluation of multidimensional Walsh-Hadamard transform has a considerably lower computational complexity (involving $O(N^d)$ operations) in contrast to classical Fast Walsh-Hadamard transform (involving $O(N^d~\log_2 N^d)$ operations), where $d$ and $N$ denote the number of dimensions and degrees of freedom along each dimension. Unlike many other quantum image representation and quantum image processing frameworks, our proposed approach makes efficient use of qubits, where only $\log_2 N $ qubits are sufficient for sequential processing of an image of $ N \times N $ pixels. Selected applications of the proposed approach (for $ d=2 $) are demonstrated via computational examples relevant to basic image filtering and periodic banding noise removal and the results were found to be satisfactory.
△ Less
Submitted 20 August, 2022;
originally announced August 2022.
-
Entropic force and real-time dynamics of holographic quarkonium in a magnetic field
Authors:
Siddhi Swarupa Jena,
Bhaskar Shukla,
David Dudal,
Subhash Mahapatra
Abstract:
We continue the study of a recently constructed holographic QCD model supplemented with magnetic field. We consider the holographic dual of a quark, anti-quark pair and investigate its entropy beyond the deconfinement phase transition in terms of interquark distance, temperature and magnetic field. We obtain a clear magnetic field dependence in the strongly decreasing entropy near deconfinement an…
▽ More
We continue the study of a recently constructed holographic QCD model supplemented with magnetic field. We consider the holographic dual of a quark, anti-quark pair and investigate its entropy beyond the deconfinement phase transition in terms of interquark distance, temperature and magnetic field. We obtain a clear magnetic field dependence in the strongly decreasing entropy near deconfinement and in the entropy variation for growing interquark separation. We uncover various supporting evidences for inverse magnetic catalysis. The emergent entropic force is found to become stronger with magnetic field, promoting the quarkonium dissociation. We also probe the dynamical dissociation of the quarkonium state, finding a faster dissociation with magnetic field. At least the static predictions should become amenable to a qualitative comparison with future lattice data.
△ Less
Submitted 14 April, 2022; v1 submitted 3 February, 2022;
originally announced February 2022.
-
A hybrid classical-quantum algorithm for solution of nonlinear ordinary differential equations
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
A hybrid classical-quantum approach for the solution of nonlinear ordinary differential equations using Walsh-Hadamard basis functions is proposed. Central to this hybrid approach is the computation of the Walsh-Hadamard transform of arbitrary vectors, which is enabled in our framework using quantum Hadamard gates along with state preparation, shifting, scaling, and measurement operations. It is e…
▽ More
A hybrid classical-quantum approach for the solution of nonlinear ordinary differential equations using Walsh-Hadamard basis functions is proposed. Central to this hybrid approach is the computation of the Walsh-Hadamard transform of arbitrary vectors, which is enabled in our framework using quantum Hadamard gates along with state preparation, shifting, scaling, and measurement operations. It is estimated that the proposed hybrid classical-quantum approach for the Walsh-Hadamard transform of an input vector of size N results in a considerably lower computational complexity (O(N) operations) compared to the Fast Walsh-Hadamard transform (O(N log2(N)) operations). This benefit will also be relevant in the context of the proposed hybrid classical-quantum approach for the solution of nonlinear differential equations. Comparisons of results corresponding to the proposed hybrid classical-quantum approach and a purely classical approach for the solution of nonlinear differential equations (for cases involving one and two dependent variables) were found to be satisfactory. Some new perspectives relevant to the natural ordering of Walsh functions (in the context of both classical and hybrid approaches for the solution of nonlinear differential equations) and representation theory of finite groups are also presented here.
△ Less
Submitted 26 May, 2022; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Pullback of Klingen Eisenstein series and certain critical L-values identities
Authors:
Alok Shukla
Abstract:
We obtain pullback formulas for Klingen Eisenstein series with arbitrary levels, with respect to both Siegel congruence and paramodular subgroups, in degree two. Pullback results are used, along with the Fourier series expansion of Klingen Eisenstein series given by Mizumoto, to prove certain identities involving critical values of $ L$-functions attached to normalized elliptic modular forms of we…
▽ More
We obtain pullback formulas for Klingen Eisenstein series with arbitrary levels, with respect to both Siegel congruence and paramodular subgroups, in degree two. Pullback results are used, along with the Fourier series expansion of Klingen Eisenstein series given by Mizumoto, to prove certain identities involving critical values of $ L$-functions attached to normalized elliptic modular forms of weight $ k $ and full level.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Tiling proofs of Jacobi triple product and Rogers-Ramanujan identities
Authors:
Alok Shukla
Abstract:
We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the q-binomial theorem and a tiling interpretation of the q-binomial coefficients. A new generalized $ k $-product $q$-series identity is also obtained by employing…
▽ More
We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the q-binomial theorem and a tiling interpretation of the q-binomial coefficients. A new generalized $ k $-product $q$-series identity is also obtained by employing the `tiling-method', wherein the generating function of the set of all possible tilings of a rectangular board is computed in two different ways to obtain the desired $q$-series identity. Several new recursive $ q$-series identities were also established. The `tiling-method' holds promise for giving an aesthetically pleasing approach to prove old and new $q$-series identities.
△ Less
Submitted 14 May, 2022; v1 submitted 6 June, 2020;
originally announced June 2020.
-
Exact topological charged hairy black holes in AdS Space in $D$-dimensions
Authors:
Subhash Mahapatra,
Supragyan Priyadarshinee,
Gosala Narasimha Reddy,
Bhaskar Shukla
Abstract:
We present a new family of topological charged hairy black hole solutions in asymptotically AdS space in $D$-dimensions. We solve the coupled Einstein-Maxwell-Scalar gravity system and obtain exact charged hairy black hole solutions with planar, spherical and hyperbolic horizon topologies. The scalar field is regular everywhere. We discuss the thermodynamics of the hairy black hole and find drasti…
▽ More
We present a new family of topological charged hairy black hole solutions in asymptotically AdS space in $D$-dimensions. We solve the coupled Einstein-Maxwell-Scalar gravity system and obtain exact charged hairy black hole solutions with planar, spherical and hyperbolic horizon topologies. The scalar field is regular everywhere. We discuss the thermodynamics of the hairy black hole and find drastic changes in its thermodynamic structure due to the scalar field. For the case of planar and spherical horizons, we find charged hairy/RN-AdS black hole phase transition, with thermodynamically preferred and stable charged hairy phases at low temperature. For the case of hyperbolic horizon, no such transition occurs and RN-AdS black holes are always thermodynamically favoured.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Orchards in elliptic curves over finite fields
Authors:
R. Padmanabhan,
Alok Shukla
Abstract:
Consider a set of $ n $ points on a plane. A line containing exactly $ 3 $ out of the $ n $ points is called a $ 3 $-rich line. The classical orchard problem asks for a configuration of the $ n $ points on the plane that maximizes the number of $ 3 $-rich lines. In this note, using the group law in elliptic curves over finite fields, we exhibit several (infinitely many) group models for orchards w…
▽ More
Consider a set of $ n $ points on a plane. A line containing exactly $ 3 $ out of the $ n $ points is called a $ 3 $-rich line. The classical orchard problem asks for a configuration of the $ n $ points on the plane that maximizes the number of $ 3 $-rich lines. In this note, using the group law in elliptic curves over finite fields, we exhibit several (infinitely many) group models for orchards wherein the number of $ 3 $-rich lines agrees with the expected number given by Green-Tao (or, Burr, Grünbaum and Sloane) formula for the maximum number of lines. We also show, using elliptic curves over finite fields, that there exist infinitely many point-line configurations with the number of $ 3 $-rich lines exceeding the expected number given by Green-Tao formula by two, and this is the only other optimal possibility besides the case when the number of $ 3 $-rich lines agrees with the Green-Tao formula.
△ Less
Submitted 1 September, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
On teaching mathematics to gifted students: some enrichment ideas and educational activities
Authors:
Alok Shukla
Abstract:
Many mathematicians find mathematics aesthetically beautiful and even comparable to art forms such as music or painting. On the other hand, every year a great number of school students leave mathematics with total disillusionment and bitterness, without ever witnessing any beauty in it. In this work, we give some strategies to teach mathematics, especially to gifted students and to instill a love…
▽ More
Many mathematicians find mathematics aesthetically beautiful and even comparable to art forms such as music or painting. On the other hand, every year a great number of school students leave mathematics with total disillusionment and bitterness, without ever witnessing any beauty in it. In this work, we give some strategies to teach mathematics, especially to gifted students and to instill a love of mathematics in them. We will describe an integrated approach to teaching mathematics where students are introduced to more advanced, more elegant and more beautiful aspects of the subject early. The proposed integrated approach takes advantage of the fascinating interconnections between various subfields of mathematics, and even borrows from advanced topics such as number theory and topology. Combining the teaching of computer programming with the teaching of mathematics is another key focus of this work. This opens up the door to explore, not only the beautiful topics such as fractals, computer math art and computer graphics in general, but also real-life applications resulting from computer simulations in engineering and physics and other natural sciences. We will also discuss the use of storytelling, explorations and experimenting, puzzles and creative problem solving etc., to make learning interesting for students. It is important to show students that the `true' essence of mathematics goes beyond the dry procedural drill of learning arithmetic. Students must be provided with the opportunities to experience the `aha moment' resulting from the joy of solving a difficult problem, or from the understanding of a deep concept with complete clarity. We will discuss several strategies, and provide many examples to illustrate how this could be achieved, taking into account the emotional and psychological aspects of mathematical cognition and learning.
△ Less
Submitted 20 July, 2022; v1 submitted 25 November, 2019;
originally announced November 2019.
-
When do we have 1 + 1 = 11 and 2 + 2 =5?
Authors:
R. Padmanabhan,
Alok Shukla
Abstract:
The phrase "$ 2+2=5 $" is a cliché or a slogan used in political speeches, propaganda, or literature, most notably in the novel "$ 1984 $" by George Orwell. More recently, we came across a You-Tube short film comedy, Alternative Math, produced by IdeaMan Studios (see \cite{Danny}). It is a hilarious exaggeration of a teacher who is dragged through the mud for teaching that $ 2+2=4 $ and not…
▽ More
The phrase "$ 2+2=5 $" is a cliché or a slogan used in political speeches, propaganda, or literature, most notably in the novel "$ 1984 $" by George Orwell. More recently, we came across a You-Tube short film comedy, Alternative Math, produced by IdeaMan Studios (see \cite{Danny}). It is a hilarious exaggeration of a teacher who is dragged through the mud for teaching that $ 2+2=4 $ and not $ 22 $, as Danny, a young student, kept on insisting. In the movie, Danny and the whole community sincerely believe $ 1+1=11 $ and $ 2+2=22 $. Jokes aside, we ask the question whether a polynomially defined group law "$\oplus$" defined over the field of rationals such that $ 1\oplus1=u $ and $ 2 \oplus2=v $ can simultaneously be satisfied for arbitrary integers $u$ and $ v $. Answer to this question takes us through a fascinating journey from Brahmagupta all the way to the modern works of Louis Joel Mordell and Ramanujan!
△ Less
Submitted 26 January, 2021; v1 submitted 5 June, 2019;
originally announced June 2019.
-
A novel quantum grid search algorithm and its application
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
In this paper we present a novel quantum algorithm, namely the quantum grid search algorithm, to solve a special search problem. Suppose $ k $ non-empty buckets are given, such that each bucket contains some marked and some unmarked items. In one trial an item is selected from each of the $ k $ buckets. If every selected item is a marked item, then the search is considered successful. This search…
▽ More
In this paper we present a novel quantum algorithm, namely the quantum grid search algorithm, to solve a special search problem. Suppose $ k $ non-empty buckets are given, such that each bucket contains some marked and some unmarked items. In one trial an item is selected from each of the $ k $ buckets. If every selected item is a marked item, then the search is considered successful. This search problem can also be formulated as the problem of finding a "marked path" associated with specified bounds on a discrete grid. Our algorithm essentially uses several Grover search operators in parallel to efficiently solve such problems. We also present an extension of our algorithm combined with a binary search algorithm in order to efficiently solve global trajectory optimization problems. Estimates of the expected run times of the algorithms are also presented, and it is proved that our proposed algorithms offer exponential improvement over pure classical search algorithms, while a traditional Grover's search algorithm offers only a quadratic speedup. We note that this gain comes at the cost of increased complexity of the quantum circuitry. The implication of such exponential gains in performance is that many high dimensional optimization problems, which are intractable for classical computers, can be efficiently solved by our proposed quantum grid search algorithm.
△ Less
Submitted 9 September, 2019; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Means Compatible with Semigroup Laws
Authors:
R. Padmanabhan,
Alok Shukla
Abstract:
A binary mean operation m(x,y) is said to be compatible with a semigroup law *, if * satisfies the Gauss' functional equation m(x,y) * m(x,y) = x * y for all x, y. Thus the arithmetic mean is compatible with the group addition in the set of real numbers, while the geometric mean is compatible with the group multiplication in the set of all positive real numbers. Using one of Jacobi's theta functio…
▽ More
A binary mean operation m(x,y) is said to be compatible with a semigroup law *, if * satisfies the Gauss' functional equation m(x,y) * m(x,y) = x * y for all x, y. Thus the arithmetic mean is compatible with the group addition in the set of real numbers, while the geometric mean is compatible with the group multiplication in the set of all positive real numbers. Using one of Jacobi's theta functions, Tanimoto has constructed a novel binary operation * corresponding to the arithmetic-geometric mean agm(x,y) of Gauss. Tanimoto shows that it is only a loop operation, but not associative. A natural question is to ask if there exist a group law * compatible with arithmetic-geometric mean. In this paper we prove that there is no semigroup law compatible with agm and hence, in particular, no group law either. Among other things, this explains why Tanimoto's novel operation * using theta functions must be non-associative.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Trajectory optimization using quantum computing
Authors:
Alok Shukla,
Prakash Vedula
Abstract:
We present a framework wherein the trajectory optimization problem (or a problem involving calculus of variations) is formulated as a search problem in a discrete space. A distinctive feature of our work is the treatment of discretization of the optimization problem wherein we discretize not only independent variables (such as time) but also dependent variables. Our discretization scheme enables a…
▽ More
We present a framework wherein the trajectory optimization problem (or a problem involving calculus of variations) is formulated as a search problem in a discrete space. A distinctive feature of our work is the treatment of discretization of the optimization problem wherein we discretize not only independent variables (such as time) but also dependent variables. Our discretization scheme enables a reduction in computational cost through selection of coarse-grained states. It further facilitates the solution of the trajectory optimization problem via classical discrete search algorithms including deterministic and stochastic methods for obtaining a global optimum. This framework also allows us to efficiently use quantum computational algorithms for global trajectory optimization. We demonstrate that the discrete search problem can be solved by a variety of techniques including a deterministic exhaustive search in the physical space or the coefficient space, a randomized search algorithm, a quantum search algorithm or by employing a combination of randomized and quantum search algorithms depending on the nature of the problem. We illustrate our methods by solving some canonical problems in trajectory optimization. We also present a comparative study of the performances of different methods in solving our example problems. Finally, we make a case for using quantum search algorithms as they offer a quadratic speed-up in comparison to the traditional non-quantum algorithms.
△ Less
Submitted 12 February, 2019; v1 submitted 13 January, 2019;
originally announced January 2019.
-
Some Interesting Connections!
Authors:
Alok Shukla
Abstract:
One source of beauty in mathematics is totally unexpected connections between two fundamentally different objects. For instance, is it not surprising that the time period of a real simple pendulum is linked with a function arising out of finding the number of ways in which a positive integer could be decomposed as a sum of two squares? Why should inherent properties and interrelations among counti…
▽ More
One source of beauty in mathematics is totally unexpected connections between two fundamentally different objects. For instance, is it not surprising that the time period of a real simple pendulum is linked with a function arising out of finding the number of ways in which a positive integer could be decomposed as a sum of two squares? Why should inherent properties and interrelations among counting numbers should appear in the laws of nature that govern the motion of a simple pendulum? In this article we will see some such surprising and beautiful results coming from combinatorics, number theory and physics.
△ Less
Submitted 2 August, 2018;
originally announced August 2018.
-
Enumerating labeled graphs with a k-cycle
Authors:
Alok Bhushan Shukla
Abstract:
This paper has been withdrawn by the author as a more general result is known and could be referenced at "Combinatorial Enumeration" by Ian P. Goulden, David M. Jackson - Dover Publication 2004 - Section 3.3.13, Page 176.
This paper has been withdrawn by the author as a more general result is known and could be referenced at "Combinatorial Enumeration" by Ian P. Goulden, David M. Jackson - Dover Publication 2004 - Section 3.3.13, Page 176.
△ Less
Submitted 7 October, 2009; v1 submitted 14 September, 2009;
originally announced September 2009.
-
A short proof of Cayley's tree formula
Authors:
Alok Bhushan Shukla
Abstract:
We give a short proof of Cayley's tree formula for counting the number of different labeled trees on $n$ vertices. The following nonlinear recursive relation for the number of labeled trees on $n$ vertices is deduced from a combinatorial argument, $$ T_n = \frac{n}{2} \sum_{k=0}^{n-2} \left ( \begin {array} {c} n-2 \\ k \end {array} \right ) T_{k+1} T_{n-k-1}; \ \ for \ n > 1 \ and \ T_1 = 1, $$ a…
▽ More
We give a short proof of Cayley's tree formula for counting the number of different labeled trees on $n$ vertices. The following nonlinear recursive relation for the number of labeled trees on $n$ vertices is deduced from a combinatorial argument, $$ T_n = \frac{n}{2} \sum_{k=0}^{n-2} \left ( \begin {array} {c} n-2 \\ k \end {array} \right ) T_{k+1} T_{n-k-1}; \ \ for \ n > 1 \ and \ T_1 = 1, $$ and then it is proved that $T_n = n^{n-2}$, which gives yet another proof of the celebrated Cayley's tree formula.
△ Less
Submitted 4 October, 2016; v1 submitted 17 August, 2009;
originally announced August 2009.