-
Scaling Up the Quantum Divide and Conquer Algorithm for Combinatorial Optimization
Authors:
Ibrahim Cameron,
Teague Tomesh,
Zain Saleem,
Ilya Safro
Abstract:
Quantum optimization as a field has largely been restricted by the constraints of current quantum computing hardware, as limitations on size, performance, and fidelity mean most non-trivial problem instances won't fit on quantum devices. Even proposed solutions such as distributed quantum computing systems may struggle to achieve scale due to the high cost of inter-device communication. To address…
▽ More
Quantum optimization as a field has largely been restricted by the constraints of current quantum computing hardware, as limitations on size, performance, and fidelity mean most non-trivial problem instances won't fit on quantum devices. Even proposed solutions such as distributed quantum computing systems may struggle to achieve scale due to the high cost of inter-device communication. To address these concerns, we propose Deferred Constraint Quantum Divide and Conquer Algorithm (DC-QDCA), a method for constructing quantum circuits which greatly reduces inter-device communication costs for some quantum graph optimization algorithms. This is achieved by identifying a set of vertices whose removal partitions the input graph, known as a separator; by manipulating the placement of constraints associated with the vertices in the separator, we can greatly simplify the topology of the optimization circuit, reducing the number of required inter-device operations. Furthermore, we introduce an iterative algorithm which builds on these techniques to find solutions for problems with potentially thousands of variables. Our experimental results using quantum simulators have shown that we can construct tractable circuits nearly three times the size of previous QDCA methods while retaining a similar or greater level of quality.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Frierson's 1907 Parameterization of Compound Magic Squares Extended to Orders 3^{l}, l=1,2,3,..., with Information Entropy
Authors:
Peter D. Loly,
Ian D. Cameron
Abstract:
Frierson used a powerful parameterization of the pattern of the order 3 associative magic square to construct a family of six related order 9 compound (or composite) magic squares, several of them ancient. Stimulated by Bellew's 1997 extension to order 27, we extend these ideas to all orders that are powers of 3, and in addition find simple formulae for the matrix spectra and entropic measures for…
▽ More
Frierson used a powerful parameterization of the pattern of the order 3 associative magic square to construct a family of six related order 9 compound (or composite) magic squares, several of them ancient. Stimulated by Bellew's 1997 extension to order 27, we extend these ideas to all orders that are powers of 3, and in addition find simple formulae for the matrix spectra and entropic measures for all those orders. This construction is fractal and we give numerical results to order 243 which show an information entropy measure converging to a constant value of about 1.168.. for the lowest entropy members. We also briefly consider compounding of an order 4 magic square with the lowest entropy, for which we find a similar trend to constant entropy.
△ Less
Submitted 16 September, 2020; v1 submitted 23 August, 2020;
originally announced August 2020.
-
Effect of scanning acceleration on the leakage signal in magnetic flux leakage type of non-destructive testing
Authors:
Lintao Zhang,
Ian M. Cameron,
Paul D. Ledger,
Fawzi Belblidia,
Neil R. Pearson,
Peter Charlton,
Johann Sienz
Abstract:
This novel work investigates the influence of the inspection system acceleration on the leakage signal in magnetic flux leakage type of non-destructive testing. The research is addressed both through designed experiments and simulations. The results showed that the leakage signal, represented by using peak to peak value, decreases between 20% and 30% under acceleration. The simulation results indi…
▽ More
This novel work investigates the influence of the inspection system acceleration on the leakage signal in magnetic flux leakage type of non-destructive testing. The research is addressed both through designed experiments and simulations. The results showed that the leakage signal, represented by using peak to peak value, decreases between 20% and 30% under acceleration. The simulation results indicated that the main reason for the decrease is due to the difference in the distortion of the magnetic field for cases with and without acceleration, which is the result of the different eddy current distributions in the specimen. The findings will help to allow the optimisation of the MFL system to ensure the main defect features can be measured accurately during the machine acceleration. It also shows the importance of conducting measurements at constant velocity, wherever possible.
△ Less
Submitted 3 May, 2019;
originally announced May 2019.
-
Powers of doubly-affine integer square matrices with one non-zero eigenvalue
Authors:
Peter Loly,
Ian Cameron,
Adam Rogers
Abstract:
When doubly-affine matrices such as Latin and magic squares with a single non-zero eigenvalue are powered up they become constant matrices after a few steps. The process of compounding squares of orders m and n can then be used to generate an infinite series of such squares of orders mn. The Cayley-Hamilton theorem is used to understand this property, where their characteristic polynomials have ju…
▽ More
When doubly-affine matrices such as Latin and magic squares with a single non-zero eigenvalue are powered up they become constant matrices after a few steps. The process of compounding squares of orders m and n can then be used to generate an infinite series of such squares of orders mn. The Cayley-Hamilton theorem is used to understand this property, where their characteristic polynomials have just two terms.
△ Less
Submitted 9 December, 2017;
originally announced December 2017.
-
Compounding Doubly Affine Matrices
Authors:
Adam Rogers,
Ian Cameron,
Peter Loly
Abstract:
Weighted sums of left and right hand Kronecker products of Integer Sequence Doubly Affine (ISDA) as well as Generalized Arithmetic Progression Doubly Affine (GAPDA) arrays are used to generate larger ISDA arrays of multiplicative order (compound squares) from pairs of smaller ones.
In two dimensions we find general expressions for the eigenvalues (EVs) and singular values (SVs) of the larger arr…
▽ More
Weighted sums of left and right hand Kronecker products of Integer Sequence Doubly Affine (ISDA) as well as Generalized Arithmetic Progression Doubly Affine (GAPDA) arrays are used to generate larger ISDA arrays of multiplicative order (compound squares) from pairs of smaller ones.
In two dimensions we find general expressions for the eigenvalues (EVs) and singular values (SVs) of the larger arrays in terms of the EVs and SVs of their constituent matrices, leading to a simple result for the rank of these highly singular compound matrices. Since the critical property of the smaller constituent matrices involves only identical row and column sums (often called semi-magic), the eigenvalue and singular value results can be applied to both magic squares and Latin squares. Additionally, the compounding process works in arbitrary dimensions due to the generality of the Kronecker product, providing a simple method to generate large order ISDA cubes and hypercubes.
The first examples of compound magic squares are found in manuscripts that date back to the 10th century CE, and other representative applications are outlined through judicious examples.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Influence of specimen velocity on the leakage signal in magnetic flux leakage type nondestructive testing
Authors:
Lintao Zhang,
Fawzi Belblidia,
Ian Cameron,
Johann Sienz,
Matthew Boat,
Neil Pearson
Abstract:
We investigate the influence of the specimen velocity on the magnetic flux leakage with the aim of selecting the optimum sensor locations. Parametric numerical simulations where the specimen velocity was in the range [0.1-20] m$\cdot$s$^{-1}$ were carried out. As the specimen velocity is increased, the magnetic field varies from being symmetrical to being asymmetric. For the radial magnetic induct…
▽ More
We investigate the influence of the specimen velocity on the magnetic flux leakage with the aim of selecting the optimum sensor locations. Parametric numerical simulations where the specimen velocity was in the range [0.1-20] m$\cdot$s$^{-1}$ were carried out. As the specimen velocity is increased, the magnetic field varies from being symmetrical to being asymmetric. For the radial magnetic induction, the peak to peak value moves from the centre of the bridge towards the direction of the specimen movement. For the axial magnetic induction, the specimen velocity influence is dependent on the sensor location and a signal-velocity independent region was discussed.
△ Less
Submitted 5 December, 2014;
originally announced March 2015.
-
Influences of a High Frequency Induction Current on the Uniformity of the Magnetic Field in an Electromagnetic Casting Mould
Authors:
Lintao Zhang,
Ian Cameron,
Johann Sienz
Abstract:
An analysis of the influences of a high frequency (30 kHz) alternating current on the uniformity of the magnetic field (B) in an electromagnetic casting (EMC) mould is investigated by means of parametric numerical simulations where the induction current (Js) varies in the range of [1 to 10000 A]. The results show that values of the magnetic flux density along the casting direction (Bz) near the sq…
▽ More
An analysis of the influences of a high frequency (30 kHz) alternating current on the uniformity of the magnetic field (B) in an electromagnetic casting (EMC) mould is investigated by means of parametric numerical simulations where the induction current (Js) varies in the range of [1 to 10000 A]. The results show that values of the magnetic flux density along the casting direction (Bz) near the square mould corners are small, compared to those at the other locations where Js < 10000 A, and that the magnitude of Bz increases with an increased induction current (Js). However, it is shown that, for the EMC mould structure investigated in this paper, the variations of Js have no significant influences on the uniformity of the magnetic field, especially for the regions near molten steel level. Moreover, the effective acting region (Rbz) for the critical magnetic field (Bzc) is first introduced in this paper, which opens an interesting topic for future research.
△ Less
Submitted 23 October, 2013;
originally announced November 2013.
-
Using the medical image processing package, ImageJ, for astronomy
Authors:
Jennifer L. West,
Ian D. Cameron
Abstract:
At the most fundamental level, all digital images are just large arrays of numbers that can easily be manipulated by computer software. Specialized digital imaging software packages often use routines common to many different applications and fields of study. The freely available, platform independent, image-processing package ImageJ has many such functions. We highlight ImageJ's capabilities by…
▽ More
At the most fundamental level, all digital images are just large arrays of numbers that can easily be manipulated by computer software. Specialized digital imaging software packages often use routines common to many different applications and fields of study. The freely available, platform independent, image-processing package ImageJ has many such functions. We highlight ImageJ's capabilities by presenting methods of processing sequences of images to produce a star trail image and a single high quality planetary image.
△ Less
Submitted 21 November, 2006;
originally announced November 2006.