Showing 1–38 of 38 results for author: Saleem, Z

Pauli Check Extrapolation for Quantum Error Mitigation

Authors: Quinn Langfitt, Ji Liu, Benchen Huang, Alvin Gonzales, Kaitlin N. Smith, Nikos Hardavellas, Zain H. Saleem

Abstract: Pauli Check Sandwiching (PCS) is an error mitigation scheme that uses pairs of parity checks to detect errors in the payload circuit. While increasing the number of check pairs improves error detection, it also introduces additional noise to the circuit and exponentially increases the required sampling size. To address these limitations, we propose a novel error mitigation scheme, Pauli Check Extr… ▽ More Pauli Check Sandwiching (PCS) is an error mitigation scheme that uses pairs of parity checks to detect errors in the payload circuit. While increasing the number of check pairs improves error detection, it also introduces additional noise to the circuit and exponentially increases the required sampling size. To address these limitations, we propose a novel error mitigation scheme, Pauli Check Extrapolation (PCE), which integrates PCS with an extrapolation technique similar to Zero-Noise Extrapolation (ZNE). However, instead of extrapolating to the `zero-noise' limit, as is done in ZNE, PCE extrapolates to the `maximum check' limit--the number of check pairs theoretically required to achieve unit fidelity. In this study, we focus on applying a linear model for extrapolation and also derive a more general exponential ansatz based on the Markovian error model. We demonstrate the effectiveness of PCE by using it to mitigate errors in the shadow estimation protocol, particularly for states prepared by the variational quantum eigensolver (VQE). Our results show that this method can achieve higher fidelities than the state-of-the-art Robust Shadow (RS) estimation scheme, while significantly reducing the number of required samples by eliminating the need for a calibration procedure. We validate these findings on both fully-connected topologies and simulated IBM hardware backends. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Arbitrary State Preparation via Quantum Walks

Authors: Alvin Gonzales, Rebekah Herrman, Colin Campbell, Igor Gaidai, Ji Liu, Teague Tomesh, Zain H. Saleem

Abstract: Continuous-time quantum walks (CTQWs) on dynamic graphs, referred to as dynamic CTQWs, are a recently introduced universal model of computation that offers a new paradigm in which to envision quantum algorithms. In this work we develop a map** from dynamic CTQWs to the gate model of computation in the form of an algorithm to convert arbitrary single edge walks and single self loop walks, which a… ▽ More Continuous-time quantum walks (CTQWs) on dynamic graphs, referred to as dynamic CTQWs, are a recently introduced universal model of computation that offers a new paradigm in which to envision quantum algorithms. In this work we develop a map** from dynamic CTQWs to the gate model of computation in the form of an algorithm to convert arbitrary single edge walks and single self loop walks, which are the fundamental building blocks of dynamic CTQWs, to their circuit model counterparts. We use this map** to introduce an arbitrary quantum state preparation framework based on dynamic CTQWs. Our approach utilizes global information about the target state, relates state preparation to finding the optimal path in a graph, and leads to optimizations in the reduction of controls that are not as obvious in other approaches. Interestingly, classical optimization problems such as the minimal hitting set, minimum spanning tree, and shortest Hamiltonian path problems arise in our framework. We test our methods against uniformly controlled rotations methods, used by Qiskit, and find ours requires fewer CX gates when the target state has a polynomial number of non-zero amplitudes. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: Comments are welcome!

Detecting Errors in a Quantum Network with Pauli Checks

Authors: Alvin Gonzales, Daniel Dilley, Bikun Li, Liang Jiang, Zain H. Saleem

Abstract: We apply the quantum error detection scheme Pauli check sandwiching (PCS) to quantum networks by turning it into a distributed multiparty protocol. PCS is a distance 1 code and requires less resource overhead than standard quantum error correction and detection methods. We provide analytical equations for the final fidelity and postselection rate. We also introduce a recursive version of PCS for e… ▽ More We apply the quantum error detection scheme Pauli check sandwiching (PCS) to quantum networks by turning it into a distributed multiparty protocol. PCS is a distance 1 code and requires less resource overhead than standard quantum error correction and detection methods. We provide analytical equations for the final fidelity and postselection rate. We also introduce a recursive version of PCS for entanglement purification that only scales polynomially in the resources required as a function of the number of recursions. The recursive PCS scheme generates a family of distance 2 quantum codes. Our analytical results are benchmarked against BBPSSW in comparable scenarios. We also perform simulations with noisy gates for entanglement swap** and attain substantial fidelity improvements. Lastly, we discuss various setups and graph state properties of PCS. △ Less

Submitted 3 June, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: Comments are welcome!

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.

QuTracer: Mitigating Quantum Gate and Measurement Errors by Tracing Subsets of Qubits

Authors: Peiyi Li, Ji Liu, Alvin Gonzales, Zain Hamid Saleem, Huiyang Zhou, Paul Hovland

Abstract: Quantum error mitigation plays a crucial role in the current noisy-intermediate-scale-quantum (NISQ) era. As we advance towards achieving a practical quantum advantage in the near term, error mitigation emerges as an indispensable component. One notable prior work, Jigsaw, demonstrates that measurement crosstalk errors can be effectively mitigated by measuring subsets of qubits. Jigsaw operates by… ▽ More Quantum error mitigation plays a crucial role in the current noisy-intermediate-scale-quantum (NISQ) era. As we advance towards achieving a practical quantum advantage in the near term, error mitigation emerges as an indispensable component. One notable prior work, Jigsaw, demonstrates that measurement crosstalk errors can be effectively mitigated by measuring subsets of qubits. Jigsaw operates by running multiple copies of the original circuit, each time measuring only a subset of qubits. The localized distributions yielded from measurement subsetting suffer from less crosstalk and are then used to update the global distribution, thereby achieving improved output fidelity. Inspired by the idea of measurement subsetting, we propose QuTracer, a framework designed to mitigate both gate and measurement errors in subsets of qubits by tracing the states of qubit subsets throughout the computational process. In order to achieve this goal, we introduce a technique, qubit subsetting Pauli checks (QSPC), which utilizes circuit cutting and Pauli Check Sandwiching (PCS) to trace the qubit subsets distribution to mitigate errors. The QuTracer framework can be applied to various algorithms including, but not limited to, VQE, QAOA, quantum arithmetic circuits, QPE, and Hamiltonian simulations. In our experiments, we perform both noisy simulations and real device experiments to demonstrate that QuTracer is scalable and significantly outperforms the state-of-the-art approaches. △ Less

Submitted 28 June, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Enhanced quantum sensing mediated by a cavity in open systems

Authors: Quinn Langfitt, Zain H. Saleem, Tian Zhong, Anil Shaji, Stephen K. Gray

Abstract: We simulate the dynamics of systems with $N$ = 1-20 qubits coupled to a cavity in order to assess their potential for quantum metrology of a parameter in the open systems limit. The qubits and the cavity are both allowed to have losses and the system is studied under various coupling strength regimes. The focus is primarily on the coupling between the qubits using the quantum Fisher information as… ▽ More We simulate the dynamics of systems with $N$ = 1-20 qubits coupled to a cavity in order to assess their potential for quantum metrology of a parameter in the open systems limit. The qubits and the cavity are both allowed to have losses and the system is studied under various coupling strength regimes. The focus is primarily on the coupling between the qubits using the quantum Fisher information as the measured parameter. Some results on estimating the qubit-cavity detuning parameter are also presented. We investigate the scaling of the uncertainty in the estimate of the qubit-cavity coupling with the number of qubits and for different initial states of the qubits that act as the quantum probe. As initial probe states, we consider Dicke states with varying excitation numbers, the GHZ state, and separable X-polarized states. It is shown that in the strong coupling regime, i.e., when the coupling between the qubits and the cavity is greater than the decay parameters of both the qubits and the cavity, Dicke states with a large excitation number can achieve the Heisenberg limit, with the precision scaling improving as the excitation number increases. A particularly intriguing finding of our study is that in the weak coupling regime, as well as in situations where either the qubit or cavity decay parameters exceed the coupling, the separable $X$-polarized state is the best in terms of scaling and is even able to achieve the Heisenberg limit in these lossy regimes for the range of $N$ considered. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Achieving the Heisenberg limit with Dicke states in noisy quantum metrology

Authors: Zain H. Saleem, Michael Perlin, Anil Shaji, Stephen K. Gray

Abstract: Going beyond the standard quantum limit in noisy quantum metrology is an important and challenging task. Here we show how Dicke states can be used to surpass the standard quantum limit and achieve the Heisenberg limit in open quantum systems. The system we study has qubits symmetrically coupled to a resonator and our objective is to estimate the coupling between the qubits and the resonator. The t… ▽ More Going beyond the standard quantum limit in noisy quantum metrology is an important and challenging task. Here we show how Dicke states can be used to surpass the standard quantum limit and achieve the Heisenberg limit in open quantum systems. The system we study has qubits symmetrically coupled to a resonator and our objective is to estimate the coupling between the qubits and the resonator. The time-dependent quantum Fisher information with respect to the coupling is studied for this open quantum system where the same decay rates are assumed on all qubits. We show that when the system is initialized to a Dicke state with an optimal excitation number one can go beyond the standard quantum limit and achieve the Heisenberg limit even for finite values of the decays on the qubit and the resonator, particularly when the qubits and resonator are strongly coupled. We compare our results against the highly entangled GHZ state and a completely separable state and show that the GHZ state performs quite poorly whereas under certain noise conditions the separable state is able to go beyond the standard quantum limit due to subsequent interactions with a resonator. △ Less

Submitted 3 March, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: 11 pages, 7 Figures, typos corrected and references added

Fault Tolerant Quantum Error Mitigation

Authors: Alvin Gonzales, Anjala M Babu, Ji Liu, Zain Saleem, Mark Byrd

Abstract: Typically, fault-tolerant operations and code concatenation are reserved for quantum error correction due to their resource overhead. Here, we show that fault tolerant operations have a large impact on the performance of symmetry based error mitigation techniques. We also demonstrate that similar to results in fault tolerant quantum computing, code concatenation in fault-tolerant quantum error mit… ▽ More Typically, fault-tolerant operations and code concatenation are reserved for quantum error correction due to their resource overhead. Here, we show that fault tolerant operations have a large impact on the performance of symmetry based error mitigation techniques. We also demonstrate that similar to results in fault tolerant quantum computing, code concatenation in fault-tolerant quantum error mitigation (FTQEM) can exponentially suppress the errors to arbitrary levels. For a family of circuits, we provide analytical error thresholds for FTQEM with the repetition code. These circuits include a set of quantum circuits that can generate all of reversible classical computing. The post-selection rate in FTQEM can also be increased by correcting some of the outcomes. Our threshold results can also be viewed from the perspective of quantifying the number of gate operations we can delay checking the stabilizers in a concatenated code before errors overwhelm the encoding. The benefits of FTQEM are demonstrated with numerical simulations and hardware demonstrations. △ Less

Submitted 7 September, 2023; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: Comments are welcome!

Generation and Life Cycle of Solar Spicules

Authors: Hamid Saleem, Zain H. Saleem

Abstract: Physical mechanism for the creation of solar spicules is proposed with three stages of their life cycle. It is assumed that at stage-I, the density hump is formed locally in the xy-plane in lower chromosphere in the presence of temperature gradients of electrons and ions along z-axis (the vertical direction). In this region, the density structure of quasi-neutral $(n_i\simeq n_e=n)$ plasma after t… ▽ More Physical mechanism for the creation of solar spicules is proposed with three stages of their life cycle. It is assumed that at stage-I, the density hump is formed locally in the xy-plane in lower chromosphere in the presence of temperature gradients of electrons and ions along z-axis (the vertical direction). In this region, the density structure of quasi-neutral $(n_i\simeq n_e=n)$ plasma after taking birth is accelerated in the vertical direction due to the thermal force ${\bf F}_{th} \propto \nabla n(x,y,t) \times (\nabla T_e + \nabla T_i)$. The exact time-dependent analytical solution of two fluid plasma equations is presented assuming that density is maximum at the center and decays away from it gradually. The two dimensional (2D) density structure is created as a step function $H(t)$ in time at bottom of the chromosphere and consequently the vertical plasma velocity turns out to be the ramp function of time $R(t)=t H(t)$ whereas the source term $S(x,y,t)$ for the density follows the delta function $δ(t)$ form. The upward acceleration ${\bf a}=a(x,y)\hat{z}$ produced in this density structure is greater than the downward constant solar acceleration $-{\bf g}_\odot$ in the chromosphere. In the transition region (TR), the temperature gradients are steeper; therefore, the upward acceleration increases in magnitude $g_\odot << a$ and the density hump spends lesser time there. This is stage-II of its life cycle. In stage-III, the density structure enters into corona where the gradients of temperatures vanish and the structure decelerates to zero velocity under the action of the solar gravitational force. △ Less

Submitted 30 March, 2024; v1 submitted 26 July, 2023; originally announced July 2023.

Comments: 15 pages, 4 figs, 1 Table. Accepted in The Astrophysics Journal

Inferring Quantum Network Topology using Local Measurements

Authors: Daniel T. Chen, Brian Doolittle, Jeffrey M. Larson, Zain H. Saleem, Eric Chitambar

Abstract: Statistical correlations that can be generated across the nodes in a quantum network depend crucially on its topology. However, this topological information might not be known a priori, or it may need to be verified. In this paper, we propose an efficient protocol for distinguishing and inferring the topology of a quantum network. We leverage entropic quantities -- namely, the von Neumann entropy… ▽ More Statistical correlations that can be generated across the nodes in a quantum network depend crucially on its topology. However, this topological information might not be known a priori, or it may need to be verified. In this paper, we propose an efficient protocol for distinguishing and inferring the topology of a quantum network. We leverage entropic quantities -- namely, the von Neumann entropy and the measured mutual information -- as well as measurement covariance to uniquely characterize the topology. We show that the entropic quantities are sufficient to distinguish two networks that prepare GHZ states. Moreover, if qubit measurements are available, both entropic quantities and covariance can be used to infer the network topology without state-preparation assumptions. We show that the protocol can be entirely robust to noise and can be implemented via quantum variational optimization. Numerical experiments on both classical simulators and quantum hardware show that covariance is generally more reliable for accurately and efficiently inferring the topology, whereas entropy-based methods are often better at identifying the absence of entanglement in the low-shot regime. △ Less

Submitted 25 October, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Classical simulators as quantum error mitigators via circuit cutting

Authors: Ji Liu, Alvin Gonzales, Zain H. Saleem

Abstract: We introduce an error mitigation framework that mitigates errors in a quantum circuit using circuit cutting. Our framework can be implemented in polynomial time for a wide variety of quantum circuits. Our technique involves cutting the circuit in such a way that we run the circuit that needs to be executed on the quantum hardware whereas the error mitigation circuit is run on a simulator. We perfo… ▽ More We introduce an error mitigation framework that mitigates errors in a quantum circuit using circuit cutting. Our framework can be implemented in polynomial time for a wide variety of quantum circuits. Our technique involves cutting the circuit in such a way that we run the circuit that needs to be executed on the quantum hardware whereas the error mitigation circuit is run on a simulator. We perform error mitigation qubit by qubit and then provide a way to combine the different probabilities from each of the individual qubit error mitigation runs such that the full circuit is error mitigated. We apply our framework to the VQE hardware-efficient ansatz acheiving estimated ground state energies very close to the noise-free simulation results. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: 5 pages, 3 figures

Quantum Circuit Cutting for Classical Shadows

Authors: Daniel T. Chen, Zain H. Saleem, Michael A. Perlin

Abstract: Classical shadow tomography is a sample-efficient technique for characterizing quantum systems and predicting many of their properties. Circuit cutting is a technique for dividing large quantum circuits into smaller fragments that can be executed more robustly using fewer quantum resources. We introduce a divide-and-conquer circuit cutting method for estimating the expectation values of observable… ▽ More Classical shadow tomography is a sample-efficient technique for characterizing quantum systems and predicting many of their properties. Circuit cutting is a technique for dividing large quantum circuits into smaller fragments that can be executed more robustly using fewer quantum resources. We introduce a divide-and-conquer circuit cutting method for estimating the expectation values of observables using classical shadows. We derive a general formula for making predictions using the classical shadows of circuit fragments from arbitrarily cut circuits, and provide the sample complexity analysis for the case when observables factorize across fragments. Then, we numerically show that our divide-and-conquer method outperforms traditional uncut shadow tomography when estimating high-weight observables that act non-trivially on many qubits, and discuss the mechanisms for this advantage. △ Less

Submitted 18 May, 2024; v1 submitted 1 December, 2022; originally announced December 2022.

Comments: general edits and added analysis for specific circuit ansatz. ACM Transactions on Quantum Computing (May 2024)

Optimal time for sensing in open quantum systems

Authors: Zain H. Saleem, Anil Shaji, Stephen K. Gray

Abstract: We study the time-dependent quantum Fisher information (QFI) in an open quantum system satisfying the Gorini-Kossakowski-Sudarshan-Lindblad master equation. We also study the dynamics of the system from an effective non-Hermitian dynamics standpoint and use it to understand the scaling of the QFI when multiple probes are used. A focus of our work is how the QFI is maximized at certain times sugges… ▽ More We study the time-dependent quantum Fisher information (QFI) in an open quantum system satisfying the Gorini-Kossakowski-Sudarshan-Lindblad master equation. We also study the dynamics of the system from an effective non-Hermitian dynamics standpoint and use it to understand the scaling of the QFI when multiple probes are used. A focus of our work is how the QFI is maximized at certain times suggesting that the best precision in parameter estimation can be achieved by focusing on these times. The propagation of errors analysis allows us to confirm and better understand this idea. We also propose a parameter estimation procedure involving relatively low resource consuming measurements followed by higher resource consuming measurements and demonstrate it in simulation. △ Less

Submitted 9 June, 2023; v1 submitted 19 October, 2022; originally announced October 2022.

Comments: 11 pages,8 Figures

Quantum-classical tradeoffs and multi-controlled quantum gate decompositions in variational algorithms

Authors: Teague Tomesh, Nicholas Allen, Daniel Dilley, Zain Saleem

Abstract: The computational capabilities of near-term quantum computers are limited by the noisy execution of gate operations and a limited number of physical qubits. Hybrid variational algorithms are well-suited to near-term quantum devices because they allow for a wide range of tradeoffs between the amount of quantum and classical resources used to solve a problem. This paper investigates tradeoffs availa… ▽ More The computational capabilities of near-term quantum computers are limited by the noisy execution of gate operations and a limited number of physical qubits. Hybrid variational algorithms are well-suited to near-term quantum devices because they allow for a wide range of tradeoffs between the amount of quantum and classical resources used to solve a problem. This paper investigates tradeoffs available at both the algorithmic and hardware levels by studying a specific case -- applying the Quantum Approximate Optimization Algorithm (QAOA) to instances of the Maximum Independent Set (MIS) problem. We consider three variants of the QAOA which offer different tradeoffs at the algorithmic level in terms of their required number of classical parameters, quantum gates, and iterations of classical optimization needed. Since MIS is a constrained combinatorial optimization problem, the QAOA must respect the problem constraints. This can be accomplished by using many multi-controlled gate operations which must be decomposed into gates executable by the target hardware. We study the tradeoffs available at this hardware level, combining the gate fidelities and decomposition efficiencies of different native gate sets into a single metric called the \textit{gate decomposition cost}. △ Less

Submitted 30 May, 2024; v1 submitted 9 October, 2022; originally announced October 2022.

Comments: 20 pages, 8 figures, 5 tables

Quantum Error Mitigation by Pauli Check Sandwiching

Authors: Alvin Gonzales, Ruslan Shaydulin, Zain Saleem, Martin Suchara

Abstract: We describe and analyze an error mitigation technique that uses multiple pairs of parity checks to detect the presence of errors. Each pair of checks uses one ancilla qubit to detect a component of the error operator and represents one layer of the technique. We build on the results on extended flag gadgets and put it on a firm theoretical foundation. We prove that this technique can recover the n… ▽ More We describe and analyze an error mitigation technique that uses multiple pairs of parity checks to detect the presence of errors. Each pair of checks uses one ancilla qubit to detect a component of the error operator and represents one layer of the technique. We build on the results on extended flag gadgets and put it on a firm theoretical foundation. We prove that this technique can recover the noiseless state under the assumption of noise not affecting the checks. The method does not incur any encoding overhead and instead chooses the checks based on the input circuit. We provide an algorithm for obtaining such checks for an arbitrary target circuit. Since the method applies to any circuit and input state, it can be easily combined with other error mitigation techniques. We evaluate the performance of the proposed methods using extensive numerical simulations on 1,850 random input circuits composed of Clifford gates and non-Clifford single-qubit rotations, a class of circuits encompassing most commonly considered variational algorithm circuits. We observe average improvements in fidelity of 34 percentage points with six layers of checks. △ Less

Submitted 13 January, 2023; v1 submitted 31 May, 2022; originally announced June 2022.

Comments: Comments are welcome

Journal ref: Sci Rep 13, 2122 (2023)

Moving from continuous to discrete symmetry in the 2D XY model

Authors: Nouman Butt, Xiao-Yong **, James C Osborn, Zain H Saleem

Abstract: We study the effects of discretization on the U(1) symmetric XY model in two dimensions using the Higher Order Tensor Renormalization Group (HOTRG) approach. Regarding the $Z_N$ symmetric clock models as specific discretizations of the XY model, we compare those discretizations to ones from truncations of the tensor network formulation of the XY model based on a character expansion, and focus on t… ▽ More We study the effects of discretization on the U(1) symmetric XY model in two dimensions using the Higher Order Tensor Renormalization Group (HOTRG) approach. Regarding the $Z_N$ symmetric clock models as specific discretizations of the XY model, we compare those discretizations to ones from truncations of the tensor network formulation of the XY model based on a character expansion, and focus on the differences in their phase structure at low temperatures. We also divide the tensor network formulations into core and interaction tensors and show that the core tensor has the dominant influence on the phase structure. Lastly, we examine a perturbed form of the XY model that continuously interpolates between the XY and clock models. We examine the behavior of the additional phase transition caused by the perturbation as the magnitude of perturbation is taken to zero. We find that this additional transition has a non-zero critical temperature as the perturbation vanishes, suggesting that even small perturbations can have a significant effect on the phase structure of the theory. △ Less

Submitted 18 August, 2023; v1 submitted 7 May, 2022; originally announced May 2022.

Comments: 12 pages, 14 figures

3-D exact analytical solutions of two fluid plasma, MHD and neutral fluid equations for the creation of ordered structures as well as jet-like flows

Authors: Hamid Saleem, Zain H. Saleem

Abstract: The 3-D exact analytical solutions of ideal two fluid plasma, single fluid plasma (MHD) and neutral fluid equations have been found using physically justifiable assumptions. Surprisingly these solutions satisfy all non-linearities in the systems. It is pointed out that these solutions explain the fundamental mechanism behind the creation of vast variety of ordered structures in plasmas and fluids.… ▽ More The 3-D exact analytical solutions of ideal two fluid plasma, single fluid plasma (MHD) and neutral fluid equations have been found using physically justifiable assumptions. Surprisingly these solutions satisfy all non-linearities in the systems. It is pointed out that these solutions explain the fundamental mechanism behind the creation of vast variety of ordered structures in plasmas and fluids. In the limiting case of two dimensional (2-D) dependence of fields, the theoretical model for plasma is applied to explain the formation of spicules in solar chromosphere. It is pointed out that the main contribution of electron (ion) baro clinic vectors is to produce vorticity in the plasma and that magnetic field generation is coupled with the flow of both electrons and ions. △ Less

Submitted 22 January, 2022; v1 submitted 6 November, 2021; originally announced November 2021.

Comments: Accepted in The Astrophysical Journal, 11 pages, 3 figures

Divide and Conquer for Combinatorial Optimization and Distributed Quantum Computation

Authors: Teague Tomesh, Zain H. Saleem, Michael A. Perlin, Pranav Gokhale, Martin Suchara, Margaret Martonosi

Abstract: Scaling the size of monolithic quantum computer systems is a difficult task. As the number of qubits within a device increases, a number of factors contribute to decreases in yield and performance. To meet this challenge, distributed architectures composed of many networked quantum computers have been proposed as a viable path to scalability. Such systems will need algorithms and compilers that ar… ▽ More Scaling the size of monolithic quantum computer systems is a difficult task. As the number of qubits within a device increases, a number of factors contribute to decreases in yield and performance. To meet this challenge, distributed architectures composed of many networked quantum computers have been proposed as a viable path to scalability. Such systems will need algorithms and compilers that are tailored to their distributed architectures. In this work we introduce the Quantum Divide and Conquer Algorithm (QDCA), a hybrid variational approach to map** large combinatorial optimization problems onto distributed quantum architectures. This is achieved through the combined use of graph partitioning and quantum circuit cutting. The QDCA, an example of application-compiler co-design, alters the structure of the variational ansatz to tame the exponential compilation overhead incurred by quantum circuit cutting. The result of this cross-layer co-design is a highly flexible algorithm which can be tuned to the amount of classical or quantum computational resources that are available, and can be applied to both near- and long-term distributed quantum architectures. We simulate the QDCA on instances of the Maximum Independent Set problem and find that it is able to outperform similar classical algorithms. We also evaluate an 8-qubit QDCA ansatz on a superconducting quantum computer and show that circuit cutting can help to mitigate the effects of noise. Our work demonstrates how many small-scale quantum computers can work together to solve problems $85\%$ larger than their own qubit count, motivating the development and potential of large-scale distributed quantum computing. △ Less

Submitted 12 October, 2023; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 12 pages, 10 figures, 1 table. This paper was published in the 2023 International Conference on Quantum Computing and Engineering (QCE) where it was awarded a Best Paper award

Quantum Local Search with the Quantum Alternating Operator Ansatz

Authors: Teague Tomesh, Zain H. Saleem, Martin Suchara

Abstract: We present a new hybrid, local search algorithm for quantum approximate optimization of constrained combinatorial optimization problems. We focus on the Maximum Independent Set problem and demonstrate the ability of quantum local search to solve large problem instances on quantum devices with few qubits. This hybrid algorithm iteratively finds independent sets over carefully constructed neighborho… ▽ More We present a new hybrid, local search algorithm for quantum approximate optimization of constrained combinatorial optimization problems. We focus on the Maximum Independent Set problem and demonstrate the ability of quantum local search to solve large problem instances on quantum devices with few qubits. This hybrid algorithm iteratively finds independent sets over carefully constructed neighborhoods and combines these solutions to obtain a global solution. We study the performance of this algorithm on 3-regular, Community, and Erdős-Rényi graphs with up to 100 nodes. △ Less

Submitted 11 August, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 13 pages, 8 figures

Journal ref: Quantum 6, 781 (2022)

Quantum Divide and Compute: Exploring The Effect of Different Noise Sources

Authors: Thomas Ayral, François-Marie Le Régent, Zain Saleem, Yuri Alexeev, Martin Suchara

Abstract: Our recent work (Ayral et al., 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)) showed the first implementation of the Quantum Divide and Compute (QDC) method, which allows to break quantum circuits into smaller fragments with fewer qubits and shallower depth. QDC can thus deal with the limited number of qubits and short coherence times of noisy, intermediate-scale quantum processors.… ▽ More Our recent work (Ayral et al., 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)) showed the first implementation of the Quantum Divide and Compute (QDC) method, which allows to break quantum circuits into smaller fragments with fewer qubits and shallower depth. QDC can thus deal with the limited number of qubits and short coherence times of noisy, intermediate-scale quantum processors. This article investigates the impact of different noise sources -- readout error, gate error and decoherence -- on the success probability of the QDC procedure. We perform detailed noise modeling on the Atos Quantum Learning Machine, allowing us to understand tradeoffs and formulate recommendations about which hardware noise sources should be preferentially optimized. We describe in detail the noise models we used to reproduce experimental runs on IBM's Johannesburg processor. This work also includes a detailed derivation of the equations used in the QDC procedure to compute the output distribution of the original quantum circuit from the output distribution of its fragments. Finally, we analyze the computational complexity of the QDC method for the circuit under study via tensor-network considerations, and elaborate on the relation the QDC method with tensor-network simulation methods. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Approaches to Constrained Quantum Approximate Optimization

Authors: Zain H. Saleem, Teague Tomesh, Bilal Tariq, Martin Suchara

Abstract: We study the costs and benefits of different quantum approaches to finding approximate solutions of constrained combinatorial optimization problems with a focus on Maximum Independent Set. In the Lagrange multiplier approach we analyze the dependence of the output on graph density and circuit depth. The Quantum Alternating Ansatz Approach is then analyzed and we examine the dependence on different… ▽ More We study the costs and benefits of different quantum approaches to finding approximate solutions of constrained combinatorial optimization problems with a focus on Maximum Independent Set. In the Lagrange multiplier approach we analyze the dependence of the output on graph density and circuit depth. The Quantum Alternating Ansatz Approach is then analyzed and we examine the dependence on different choices of initial states. The Quantum Alternating Ansatz Approach, although powerful, is expensive in terms of quantum resources. A new algorithm based on a "Dynamic Quantum Variational Ansatz" (DQVA) is proposed that dynamically changes to ensure the maximum utilization of a fixed allocation of quantum resources. Our analysis and the new proposed algorithm can also be generalized to other related constrained combinatorial optimization problems. △ Less

Submitted 7 July, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 9 pages, 8 figures, corrected typos, added simulation results

Detection of Aflatoxin M1 by Fiber Cavity Attenuated Phase Shift Spectroscopy

Authors: M. Daniyal Ghauri, Syed Zajif Hussain, Ubaid Ullah, Rana M. Armaghan Ayaz, Rahman Shah Zaib Saleem, Alper Kiraz, M. Imran Cheema

Abstract: Aflatoxin M1 (AFM1) is a carcinogenic compound commonly found in milk in excess of the WHO permissible limit, especially in develo** countries. Currently, state-of-the-art tests for detecting AFM1 in milk include chromatographic systems and enzyme-linked-immunosorbent assays. Although these tests provide fair accuracy and sensitivity however, they require trained laboratory personnel, expensive… ▽ More Aflatoxin M1 (AFM1) is a carcinogenic compound commonly found in milk in excess of the WHO permissible limit, especially in develo** countries. Currently, state-of-the-art tests for detecting AFM1 in milk include chromatographic systems and enzyme-linked-immunosorbent assays. Although these tests provide fair accuracy and sensitivity however, they require trained laboratory personnel, expensive infrastructure, and many hours for producing final results. Optical sensors leveraging spectroscopy have a tremendous potential of providing an accurate, real time, and specialists-free AFM1 detector. Despite this, AFM1 sensing demonstrations using optical spectroscopy are still immature. Here, we demonstrate an optical sensor that employs the principle of cavity attenuated phase shift spectroscopy in optical fiber cavities for rapid AFM1 detection in aqueous solutions at 1550 nm. The sensor constitutes a cavity built by two fiber Bragg gratings. We splice a tapered fiber of $<$ 10 $μ$m waist inside the cavity as a sensing head. For ensuring specific binding of AFM1 in a solution, the tapered fiber is functionalized with DNA aptamers followed by validation of the conjugation via FTIR, TGA, and EDX analyses. We then detect AFM1 in a solution by measuring the phase shift between a sinusoidally modulated laser input and the sensor output at resonant frequencies of the cavity. Our results show that the sensor has the detection limit of 20 ng/L (20 ppt) which is well below both the US and the European safety regulations. We anticipate that the present work will lead towards a rapid and accurate AFM1 sensor, especially for low-resource settings. △ Less

Submitted 1 September, 2020; originally announced October 2020.

Quantum Divide and Compute: Hardware Demonstrations and Noisy Simulations

Authors: Thomas Ayral, François-Marie Le Régent, Zain Saleem, Yuri Alexeev, Martin Suchara

Abstract: Noisy, intermediate-scale quantum computers come with intrinsic limitations in terms of the number of qubits (circuit "width") and decoherence time (circuit "depth") they can have. Here, for the first time, we demonstrate a recently introduced method that breaks a circuit into smaller subcircuits or fragments, and thus makes it possible to run circuits that are either too wide or too deep for a gi… ▽ More Noisy, intermediate-scale quantum computers come with intrinsic limitations in terms of the number of qubits (circuit "width") and decoherence time (circuit "depth") they can have. Here, for the first time, we demonstrate a recently introduced method that breaks a circuit into smaller subcircuits or fragments, and thus makes it possible to run circuits that are either too wide or too deep for a given quantum processor. We investigate the behavior of the method on one of IBM's 20-qubit superconducting quantum processors with various numbers of qubits and fragments. We build noise models that capture decoherence, readout error, and gate imperfections for this particular processor. We then carry out noisy simulations of the method in order to account for the observed experimental results. We find an agreement within 20% between the experimental and the simulated success probabilities, and we observe that recombining noisy fragments yields overall results that can outperform the results without fragmentation. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: Accepted in ISVLSI 2020

Quantum Circuit Cutting with Maximum Likelihood Tomography

Authors: Michael A. Perlin, Zain H. Saleem, Martin Suchara, James C. Osborn

Abstract: We introduce maximum likelihood fragment tomography (MLFT) as an improved circuit cutting technique for running clustered quantum circuits on quantum devices with a limited number of qubits. In addition to minimizing the classical computing overhead of circuit cutting methods, MLFT finds the most likely probability distribution for the output of a quantum circuit, given the measurement data obtain… ▽ More We introduce maximum likelihood fragment tomography (MLFT) as an improved circuit cutting technique for running clustered quantum circuits on quantum devices with a limited number of qubits. In addition to minimizing the classical computing overhead of circuit cutting methods, MLFT finds the most likely probability distribution for the output of a quantum circuit, given the measurement data obtained from the circuit's fragments. We demonstrate the benefits of MLFT for accurately estimating the output of a fragmented quantum circuit with numerical experiments on random unitary circuits. Finally, we show that circuit cutting can estimate the output of a clustered circuit with higher fidelity than full circuit execution, thereby motivating the use of circuit cutting as a standard tool for running clustered circuits on quantum hardware. △ Less

Submitted 16 March, 2021; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 9 pages, 5 figures (17 pages and 6 figures with appendices)

Unsupervised adulterated red-chili pepper content transformation for hyperspectral classification

Authors: Muhammad Hussain Khan, Zainab Saleem, Muhammad Ahmad, Ahmed Sohaib, Hamail Ayaz

Abstract: Preserving red-chili quality is of utmost importance in which the authorities demand the quality techniques to detect, classify and prevent it from the impurities. For example, salt, wheat flour, wheat bran, and rice bran contamination in grounded red chili, which typically a food, are a serious threat to people who are allergic to such items. This work presents the feasibility of utilizing visibl… ▽ More Preserving red-chili quality is of utmost importance in which the authorities demand the quality techniques to detect, classify and prevent it from the impurities. For example, salt, wheat flour, wheat bran, and rice bran contamination in grounded red chili, which typically a food, are a serious threat to people who are allergic to such items. This work presents the feasibility of utilizing visible and near-infrared (VNIR) hyperspectral imaging (HSI) to detect and classify the aforementioned adulterants in red chili. However, adulterated red chili data annotation is a big challenge for classification because the acquisition of labeled data for real-time supervised learning is expensive in terms of cost and time. Therefore, this study, for the very first time proposes a novel approach to annotate the red chili samples using a clustering mechanism at 500~nm wavelength spectral response due to its dark appearance at a specified wavelength. Later the spectral samples are classified into pure or adulterated using one-class SVM. The classification performance achieves 99% in case of pure adulterants or red chili whereas 85% for adulterated samples. We further investigate that the single classification model is enough to detect any foreign substance in red chili pepper rather than cascading multiple PLS regression models. △ Less

Submitted 9 November, 2019; originally announced November 2019.

Comments: 10 pages,

Max Independent Set and Quantum Alternating Operator Ansatz

Authors: Zain H. Saleem

Abstract: The maximum independent set (MIS) problem of graph theory using the quantum alternating operator ansatz is studied. We perform simulations on the Rigetti Forest simulator for the square ring, $K_{2,3}$, and $K_{3,3}$ graphs and analyze the dependence of the algorithm on the depth of the circuit and initial states. The probability distribution of observation of the feasible states representing maxi… ▽ More The maximum independent set (MIS) problem of graph theory using the quantum alternating operator ansatz is studied. We perform simulations on the Rigetti Forest simulator for the square ring, $K_{2,3}$, and $K_{3,3}$ graphs and analyze the dependence of the algorithm on the depth of the circuit and initial states. The probability distribution of observation of the feasible states representing maximum independent sets is observed to be asymmetric for the MIS problem, which is unlike the Max-Cut problem where the probability distribution of feasible states is symmetric. For asymmetric graphs it is shown that the algorithm clearly favors the independent set with the larger number of elements even for finite circuit depth. We also compare the approximation ratios for the algorithm when we choose different initial states for the square ring graph and show that it is dependent on the choice of the initial state. △ Less

Submitted 30 October, 2020; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: 7 pages, corrected a typo

An Experimental Study of Shor's Factoring Algorithm on IBM Q

Authors: Mirko Amico, Zain H. Saleem, Muir Kumph

Abstract: We study the results of a compiled version of Shor's factoring algorithm on the ibmqx5 superconducting chip, for the particular case of $N=15$, $21$ and $35$. The semi-classical quantum Fourier transform is used to implement the algorithm with only a small number of physical qubits and the circuits are designed to reduce the number of gates to the minimum. We use the square of the statistical over… ▽ More We study the results of a compiled version of Shor's factoring algorithm on the ibmqx5 superconducting chip, for the particular case of $N=15$, $21$ and $35$. The semi-classical quantum Fourier transform is used to implement the algorithm with only a small number of physical qubits and the circuits are designed to reduce the number of gates to the minimum. We use the square of the statistical overlap to give a quantitative measure of the similarity between the experimentally obtained distribution of phases and the predicted theoretical distribution one for different values of the period. This allows us to assign a period to the experimental data without the use of the continued fraction algorithm. A quantitative estimate of the error in our assignment of the period is then given by the overlap coefficient. △ Less

Submitted 13 May, 2019; v1 submitted 2 March, 2019; originally announced March 2019.

Comments: 10 pages

Journal ref: Phys. Rev. A 100, 012305 (2019)

Oscillating Entropy and Spin Precession in the Ensemble of Qubits Interacting with Thermal Systems

Authors: Xiaoyu He, Zain H. Saleem, Vladimir I. Tsifrinovich

Abstract: We present a simple model which allows us to explain the physical nature of the oscillating entropy. We consider an ensemble of qubits interacting with thermal two-level systems. The entropy of the qubits oscillates between zero and the value of entropy of the thermal systems. We show that the oscillations of the entropy can be clearly explained by the precession of the real or effective spins of… ▽ More We present a simple model which allows us to explain the physical nature of the oscillating entropy. We consider an ensemble of qubits interacting with thermal two-level systems. The entropy of the qubits oscillates between zero and the value of entropy of the thermal systems. We show that the oscillations of the entropy can be clearly explained by the precession of the real or effective spins of the qubits. △ Less

Submitted 5 January, 2018; originally announced January 2018.

Comments: 4 pages, 3 figures

Nonlinear Sigma Models with Compact Hyperbolic Target Spaces

Authors: Steven Gubser, Zain H. Saleem, Samuel S. Schoenholz, Bogdan Stoica, James Stokes

Abstract: We explore the phase structure of nonlinear sigma models with target spaces corresponding to compact quotients of hyperbolic space, focusing on the case of a hyperbolic genus-2 Riemann surface. The continuum theory of these models can be approximated by a lattice spin system which we simulate using Monte Carlo methods. The target space possesses interesting geometric and topological properties whi… ▽ More We explore the phase structure of nonlinear sigma models with target spaces corresponding to compact quotients of hyperbolic space, focusing on the case of a hyperbolic genus-2 Riemann surface. The continuum theory of these models can be approximated by a lattice spin system which we simulate using Monte Carlo methods. The target space possesses interesting geometric and topological properties which are reflected in novel features of the sigma model. In particular, we observe a topological phase transition at a critical temperature, above which vortices proliferate, reminiscent of the Kosterlitz-Thouless phase transition in the $O(2)$ model. Unlike in the $O(2)$ case, there are many different types of vortices, suggesting a possible analogy to the Hagedorn treatment of statistical mechanics of a proliferating number of hadron species. Below the critical temperature the spins cluster around six special points in the target space known as Weierstrass points. The diversity of compact hyperbolic manifolds suggests that our model is only the simplest example of a broad class of statistical mechanical models whose main features can be understood essentially in geometric terms. △ Less

Submitted 7 October, 2015; originally announced October 2015.

Comments: 14 pages, 6 Figures

Report number: CALT-TH 2015-019, PUPT-2487

An analytical formula for the vacuum polarization of rotating black holes

Authors: Mirjam Cvetic, Zain H. Saleem, Alejandro Satz

Abstract: We give an analytical formula for the vacuum polarization of a massless minimally coupled scalar field at the horizon of a rotating black hole with subtracted geometry. This is the first example of an exact, analytical result for a four-dimensional rotating black hole. We give an analytical formula for the vacuum polarization of a massless minimally coupled scalar field at the horizon of a rotating black hole with subtracted geometry. This is the first example of an exact, analytical result for a four-dimensional rotating black hole. △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: 5 pages, 1 fgure

Journal ref: Phys. Rev. D 92, 064030 (2015)

Thermodynamics of Asymptotically Conical Geometries

Authors: Mirjam Cvetic, Gary W. Gibbons, Zain H. Saleem

Abstract: We study the thermodynamical properties of a class of asymptotically conical (AC) geometries known as "subtracted geometries". We derive the mass and angular momentum from the regulated Komar Integral and the Hawking-Horowitz prescription and show that they are equivalent. By deriving the asymptotic charges we show that the Smarr formula and the first law of thermodynamics hold. We also propose an… ▽ More We study the thermodynamical properties of a class of asymptotically conical (AC) geometries known as "subtracted geometries". We derive the mass and angular momentum from the regulated Komar Integral and the Hawking-Horowitz prescription and show that they are equivalent. By deriving the asymptotic charges we show that the Smarr formula and the first law of thermodynamics hold. We also propose an analog of Christodulou-Ruffini inequality. The analysis can be generalized to other AC geometries. △ Less

Submitted 13 May, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: 5p, presentation improved, version to appear in Physical Review Letters

Journal ref: Phys. Rev. Lett. 114, 231301 (2015)

The curious case of large-N expansions on a (pseudo)sphere

Authors: Alexander M. Polyakov, Zain H. Saleem, James Stokes

Abstract: We elucidate the large-N dynamics of one-dimensional sigma models with spherical and hyperbolic target spaces and find a duality between the Lagrange multiplier and the angular momentum. In the hyperbolic model we propose a new class of operators based on the irreducible representations of hyperbolic space. We also uncover unexpected zero modes which lead to the double scaling of the 1/N expansion… ▽ More We elucidate the large-N dynamics of one-dimensional sigma models with spherical and hyperbolic target spaces and find a duality between the Lagrange multiplier and the angular momentum. In the hyperbolic model we propose a new class of operators based on the irreducible representations of hyperbolic space. We also uncover unexpected zero modes which lead to the double scaling of the 1/N expansion and explore these modes using Gelfand-Dikiy equations. △ Less

Submitted 9 February, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: 18 pages, 3 figures

Vacuum Polarization of STU Black Holes and their Subtracted Geometry Limit

Authors: Mirjam Cvetic, Gary W. Gibbons, Zain H. Saleem, Alejandro Satz

Abstract: We study the vacuum polarization of a massless minimally coupled scalar field at the horizon of four-charge STU black holes. We compare the results for the standard asymptotically flat black holes and for the black holes obtained in the "subtracted limit", both in the general static case and at the horizon pole for the general rotating case. The original and the subtracted results are identical on… ▽ More We study the vacuum polarization of a massless minimally coupled scalar field at the horizon of four-charge STU black holes. We compare the results for the standard asymptotically flat black holes and for the black holes obtained in the "subtracted limit", both in the general static case and at the horizon pole for the general rotating case. The original and the subtracted results are identical only in the BPS limit, and have opposite sign in the extremal Kerr limit. We also compute the vacuum polarization on the static solutions that interpolate between both the original and the subtracted case through a solution-generating transformation and show that the vacuum polarization stays positive throughout the interpolating solution. In the Appendix we provide a closed-form solution for the Green's function on general (static or rotating) subtracted black hole geometries. △ Less

Submitted 17 November, 2014; originally announced November 2014.

Comments: 22 pages, 2 figures

Entanglement entropy of subtracted geometry black holes

Authors: Mirjam Cvetic, Zain H. Saleem, Alejandro Satz

Abstract: We compute the entanglement entropy of minimally coupled scalar fields on subtracted geometry black hole backgrounds, focusing on the logarithmic corrections. We notice that matching between the entanglement entropy of original black holes and their subtracted counterparts is only at the order of the area term. The logarithmic correction term is not only different but also, in general, changes sig… ▽ More We compute the entanglement entropy of minimally coupled scalar fields on subtracted geometry black hole backgrounds, focusing on the logarithmic corrections. We notice that matching between the entanglement entropy of original black holes and their subtracted counterparts is only at the order of the area term. The logarithmic correction term is not only different but also, in general, changes sign in the subtracted case. We apply Harrison transformations to the original black holes and find out the choice of the Harrison parameters for which the logarithmic corrections vanish. △ Less

Submitted 3 July, 2014; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: 15 pages

Quasi-Normal Modes for Subtracted Rotating and Magnetised Geometries

Authors: M. Cvetic, G. W. Gibbons, Z. H. Saleem

Abstract: We obtain explicit separable solutions of the wave equation of massless minimally coupled scalar fields in the subtracted geometry of four-dimensional rotating and Melvin (magnetised) four-charge black holes of the STU model, a consistent truncation of maximally supersymmetric supergravity with four types of electromagnetic fields. These backgrounds possess a hidden SL(2,R) x SL(2,R) x SO(3) symme… ▽ More We obtain explicit separable solutions of the wave equation of massless minimally coupled scalar fields in the subtracted geometry of four-dimensional rotating and Melvin (magnetised) four-charge black holes of the STU model, a consistent truncation of maximally supersymmetric supergravity with four types of electromagnetic fields. These backgrounds possess a hidden SL(2,R) x SL(2,R) x SO(3) symmetry and faithfully model the near horizon geometry of these black holes, but locate them in a confining asymptotically conical box. For each subtracted geometry we obtain two branches of quasi-normal modes, given in terms of hypergeometric functions and spherical harmonics. One branch is over-damped and the other under-damped and they exhibit rotational splitting. No black hole bomb is possible because the Killing field which co-rotates with the horizon is everywhere timelike outside the black hole. A five-dimensional lift of these geometries is given locally by the product of a BTZ black hole with a two-sphere. This allows an explicit analysis of the minimally coupled massive five-dimensional scalar field. Again, there are two branches, both damped, however now their oscillatory parts are shifted by the quantised wave number $k$ along the fifth circle direction. △ Less

Submitted 19 December, 2014; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 28 pages minor corrections, added references

Report number: UPR-1258-T

Electrodynamics of Black Holes in STU Supergravity

Authors: M. Cvetic, G. W. Gibbons, C. N. Pope, Z. H. Saleem

Abstract: External magnetic fields can probe the composite structure of black holes in string theory. With this motivation we study magnetised four-charge black holes in the STU model, a consistent truncation of maximally supersymmetric supergravity with four types of electromagnetic fields. We employ solution generating techniques to obtain Melvin backgrounds, and black holes in these backgrounds. For an i… ▽ More External magnetic fields can probe the composite structure of black holes in string theory. With this motivation we study magnetised four-charge black holes in the STU model, a consistent truncation of maximally supersymmetric supergravity with four types of electromagnetic fields. We employ solution generating techniques to obtain Melvin backgrounds, and black holes in these backgrounds. For an initially electrically charged static black hole immersed in magnetic fields, we calculate the resultant angular momenta and analyse their global structure. Examples are given for which the ergoregion does not extend to infinity. We calculate magnetic moments and gyromagnetic ratios via Larmor's formula. Our results are consistent with earlier special cases. A scaling limit and associated subtracted geometry in a single surviving magnetic field is shown to lift to $AdS_3\times S^2$. Magnetizing magnetically charged black holes give static solutions with conical singularities representing strings or struts holding the black holes against magnetic forces. In some cases it is possible to balance these magnetic forces. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 31 pages

Report number: UPR-1254-T, MIFPA-13-31

General black holes, untwisted

Authors: Mirjam Cvetič, Monica Guica, Zain H. Saleem

Abstract: We use solution-generating techniques to construct interpolating geometries between general asymptotically flat, charged, rotating, non-extremal black holes in four and five dimensions and their subtracted geometries. In the four-dimensional case, this is achieved by the use of Harrison transformations, whereas in the five-dimensional case we use STU transformations. We also give the interpretatio… ▽ More We use solution-generating techniques to construct interpolating geometries between general asymptotically flat, charged, rotating, non-extremal black holes in four and five dimensions and their subtracted geometries. In the four-dimensional case, this is achieved by the use of Harrison transformations, whereas in the five-dimensional case we use STU transformations. We also give the interpretation of these solution-generating transformations in terms of string (pseudo)-dualities, showing that they correspond to combinations of T-dualities and Melvin twists. Upon uplift to one dimension higher, these dualities allow us to "untwist" general black holes to AdS_3 times a sphere. △ Less

Submitted 27 February, 2013; originally announced February 2013.

Comments: 34 pages

Generalizations of Nekrasov-Okounkov Identity

Authors: Amer Iqbal, Shaheen Nazir, Zahid Raza, Zain Saleem

Abstract: Nekrasov-Okounkov identity gives a product representation of the sum over partitions of a certain function of partition hook length. In this paper we give several generalizations of the Nekrasov-Okounkov identity using the cyclic symmetry of the topological vertex. Nekrasov-Okounkov identity gives a product representation of the sum over partitions of a certain function of partition hook length. In this paper we give several generalizations of the Nekrasov-Okounkov identity using the cyclic symmetry of the topological vertex. △ Less

Submitted 6 June, 2011; v1 submitted 16 November, 2010; originally announced November 2010.

Comments: 8 pages