Showing 1–42 of 42 results for author: Zamani, S

A Scalable Synthesis Algorithm for Reversible Functions

Authors: Moein Sarvaghad-Moghaddam, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: Reversible computation is an emerging technology that has gained significant attention due to its critical role in quantum circuit synthesis and low-power design. This paper introduces a transformation-based method for exact synthesis of reversible circuits. The proposed approach utilizes a novel adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table… ▽ More Reversible computation is an emerging technology that has gained significant attention due to its critical role in quantum circuit synthesis and low-power design. This paper introduces a transformation-based method for exact synthesis of reversible circuits. The proposed approach utilizes a novel adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table, transforming the permutation matrix into an identity matrix. Furthermore, a novel search space reduction technique is presented which, combined with the primary method, enables the synthesis algorithm to handle high-input reversible functions. This approach combines the influence of multiple control qubits on a target qubit, evaluating their collective impact. This aggregation can decrease the control qubit count within quantum gates. Consequently, it proves beneficial for applications like surface code error correction architectures as well as current Noisy Intermediate-Scale Quantum (NISQ) hardwares. Experimental results demonstrate significant improvements over the state-of-the-art exact synthesis methods, achieving up to 99% improvements in terms of the number of levels of T-gates. △ Less

Submitted 25 April, 2025; v1 submitted 3 April, 2025; originally announced April 2025.

Word2winners at SemEval-2025 Task 7: Multilingual and Crosslingual Fact-Checked Claim Retrieval

Authors: Amirmohammad Azadi, Sina Zamani, Mohammadmostafa Rostamkhani, Sauleh Eetemadi

Abstract: This paper describes our system for SemEval 2025 Task 7: Previously Fact-Checked Claim Retrieval. The task requires retrieving relevant fact-checks for a given input claim from the extensive, multilingual MultiClaim dataset, which comprises social media posts and fact-checks in several languages. To address this challenge, we first evaluated zero-shot performance using state-of-the-art English and… ▽ More This paper describes our system for SemEval 2025 Task 7: Previously Fact-Checked Claim Retrieval. The task requires retrieving relevant fact-checks for a given input claim from the extensive, multilingual MultiClaim dataset, which comprises social media posts and fact-checks in several languages. To address this challenge, we first evaluated zero-shot performance using state-of-the-art English and multilingual retrieval models and then fine-tuned the most promising systems, leveraging machine translation to enhance crosslingual retrieval. Our best model achieved an accuracy of 85% on crosslingual data and 92% on monolingual data. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Nonminimally coupled Dark Matter in Clusters of Galaxies: a fully comprehensive analysis

Authors: Saboura Zamani, Vincenzo Salzano, Dario Bettoni

Abstract: In this study, we explore how a non-minimal coupling between dark matter and gravity can affect the behavior of dark matter in galaxy clusters. We have considered the case of a disformal coupling, which leads to a modification of the Poisson equation. Building on an earlier work, we expand the analysis considering all possible disformal coupling scenarios and employing various dark matter density… ▽ More In this study, we explore how a non-minimal coupling between dark matter and gravity can affect the behavior of dark matter in galaxy clusters. We have considered the case of a disformal coupling, which leads to a modification of the Poisson equation. Building on an earlier work, we expand the analysis considering all possible disformal coupling scenarios and employing various dark matter density profiles. In doing so, we aim to constrain the key parameter in our model, the characteristic coupling length. To achieve this, we analyze data from a combination of strong and weak lensing using three statistical approaches: a single cluster fitting procedure, a joint analysis, and one with stacked profiles. Our findings show that the coupling length is typically very small, thus being fully consistent with general relativity, although with an upper limit at $1σ$ which is of the order of $100$ kpc. △ Less

Submitted 27 December, 2024; originally announced December 2024.

Comments: 14 pages, 2 tables, 3 figures. Comments are welcome

First Results of the Magnetometer (MAG) Payload onboard Aditya-L1 Spacecraft

Authors: Vipin K. Yadav, Y. Vijaya, P. T. Srikar, B. Krishnam Prasad, Monika Mahajan, K. V. L. N. Mallikarjun, S. Narendra, Abhijit A. Adoni, Vijay S. Rai, D. R. Veeresha, Syeeda N. Zamani

Abstract: Aditya-L1 is the first Indian solar mission placed at the first Lagrangian (L1) point to study the Sun. A fluxgate magnetometer (MAG) is one of the seven payloads and one of the three in-situ payloads onboard to measure the interplanetary magnetic field (IMF) coming from the Sun towards the Earth. At present, the Aditya-L1 spacecraft is in a halo-orbit around the L1 point and the MAG payload is ON… ▽ More Aditya-L1 is the first Indian solar mission placed at the first Lagrangian (L1) point to study the Sun. A fluxgate magnetometer (MAG) is one of the seven payloads and one of the three in-situ payloads onboard to measure the interplanetary magnetic field (IMF) coming from the Sun towards the Earth. At present, the Aditya-L1 spacecraft is in a halo-orbit around the L1 point and the MAG payload is ON is continuously measuring the IMF. This paper presents the first measurements of the IMF by MAG. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Bilingual Sexism Classification: Fine-Tuned XLM-RoBERTa and GPT-3.5 Few-Shot Learning

Authors: AmirMohammad Azadi, Baktash Ansari, Sina Zamani, Sauleh Eetemadi

Abstract: Sexism in online content is a pervasive issue that necessitates effective classification techniques to mitigate its harmful impact. Online platforms often have sexist comments and posts that create a hostile environment, especially for women and minority groups. This content not only spreads harmful stereotypes but also causes emotional harm. Reliable methods are essential to find and remove sexis… ▽ More Sexism in online content is a pervasive issue that necessitates effective classification techniques to mitigate its harmful impact. Online platforms often have sexist comments and posts that create a hostile environment, especially for women and minority groups. This content not only spreads harmful stereotypes but also causes emotional harm. Reliable methods are essential to find and remove sexist content, making online spaces safer and more welcoming. Therefore, the sEXism Identification in Social neTworks (EXIST) challenge addresses this issue at CLEF 2024. This study aims to improve sexism identification in bilingual contexts (English and Spanish) by leveraging natural language processing models. The tasks are to determine whether a text is sexist and what the source intention behind it is. We fine-tuned the XLM-RoBERTa model and separately used GPT-3.5 with few-shot learning prompts to classify sexist content. The XLM-RoBERTa model exhibited robust performance in handling complex linguistic structures, while GPT-3.5's few-shot learning capability allowed for rapid adaptation to new data with minimal labeled examples. Our approach using XLM-RoBERTa achieved 4th place in the soft-soft evaluation of Task 1 (sexism identification). For Task 2 (source intention), we achieved 2nd place in the soft-soft evaluation. △ Less

Submitted 5 January, 2025; v1 submitted 11 June, 2024; originally announced June 2024.

Gravitational lensing from clusters of galaxies to test Disformal Couplings Theories

Authors: Saboura Zamani, Vincenzo Salzano, Dario Bettoni

Abstract: In this study, we investigate the potential existence of a non-minimal coupling between dark matter and gravity using a compilation of galaxy clusters. We focus on the disformal scenario of a non-minimal model with an associated coupling length $L$. Within the Newtonian approximation, this model introduces a modification to the Poisson equation, characterized by a term proportional to… ▽ More In this study, we investigate the potential existence of a non-minimal coupling between dark matter and gravity using a compilation of galaxy clusters. We focus on the disformal scenario of a non-minimal model with an associated coupling length $L$. Within the Newtonian approximation, this model introduces a modification to the Poisson equation, characterized by a term proportional to $L^2 \nabla^2 ρ$, where $ρ$ represents the density of the DM field. We have tested the model by examining strong and weak gravitational lensing data available for a selection of 19 high-mass galaxy clusters observed by the CLASH survey. We have employed a Markov Chain Monte Carlo code to explore the parameter space, and two different statistical approaches to analyse our results: a standard marginalisation and a profile distribution method. Notably, the profile distribution analysis helps out to bypass some volume-effects in the posterior distribution, and reveals lower Navarro--Frenk--White concentrations and masses in the non-minimal coupling model compared to general relativity case. We also found a nearly perfect correlation between the coupling constant $L$ and the standard Navarro--Frenk--White scale parameter $r_s$, hinting at a compelling link between these two lengths. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 13 pages, 2 tables, 4 figures. Comments are welcome

Temporal Volatility Surface Projection: Parametric Surface Projection Method for Derivatives Portfolio Risk Management

Authors: Shiva Zamani, Alireza Moslemi Haghighi, Hamid Arian

Abstract: This study delves into the intricate realm of risk evaluation within the domain of specific financial derivatives, notably options. Unlike other financial instruments, like bonds, options are susceptible to broader risks. A distinctive trait characterizing this category of instruments is their non-linear price behavior relative to their pricing parameters. Consequently, evaluating the risk of thes… ▽ More This study delves into the intricate realm of risk evaluation within the domain of specific financial derivatives, notably options. Unlike other financial instruments, like bonds, options are susceptible to broader risks. A distinctive trait characterizing this category of instruments is their non-linear price behavior relative to their pricing parameters. Consequently, evaluating the risk of these securities is notably more intricate when juxtaposed with analogous scenarios involving fixed-income instruments, such as debt securities. A paramount facet in options risk assessment is the inherent uncertainty stemming from first-order fluctuations in the underlying asset's volatility. The dynamic patterns of volatility fluctuations manifest striking resemblances to the interest rate risk associated with zero-coupon bonds. However, it is imperative to bestow heightened attention on this risk category due to its dependence on a more extensive array of variables and the temporal variability inherent in these variables. This study scrutinizes the methodological approach to risk assessment by leveraging the implied volatility surface as a foundational component, thereby diverging from the reliance on a singular estimate of the underlying asset's volatility. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Scaling and Universality at Ramped Quench Dynamical Quantum Phase Transition

Authors: Sara Zamani, J. Naji, R. Jafari, A. Langari

Abstract: The nonequilibrium dynamics of a periodically driven extended XY model, in the presence of linear time dependent magnetic filed, is investigated using the notion of dynamical quantum phase transitions (DQPTs). Along the similar lines to the equilibrium phase transition, the main purpose of this work is to search the fundamental concepts such as scaling and universality at the ramped quench DQPTs.… ▽ More The nonequilibrium dynamics of a periodically driven extended XY model, in the presence of linear time dependent magnetic filed, is investigated using the notion of dynamical quantum phase transitions (DQPTs). Along the similar lines to the equilibrium phase transition, the main purpose of this work is to search the fundamental concepts such as scaling and universality at the ramped quench DQPTs. We have shown that the critical points of the model, where the gap closing occurs, can be moved by tuning the driven frequency and consequently the presence/absence of DQPTs can be flexibly controlled by adjusting the driven frequency. %Taking advantage of this property, We have uncovered that, for a ramp across the single quantum critical point, the critical mode at which DQPTs occur is classified into three regions: the Kibble-Zurek (KZ) region, where the critical mode scales linearly with the square root of the sweep velocity, pre-saturated (PS) region, and the saturated (S) region where the critical mode makes a plateau versus the sweep velocity. While for a ramp that crosses two critical points, the critical modes disclose just KZ and PS regions. On the basis of numerical simulations, we find that the dynamical free energy scales linerly with time, as approaches to DQPT time, with the exponent $ν=1\pm 0.01$ for all sweep velocities and driven frequencies. △ Less

Submitted 13 March, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 11 pages

Cosmological Distances And Hubble Tension In Einstein-Cartan Theory

Authors: Siamak Akhshabi, Saboura Zamani

Abstract: We analyze the measurement of cosmological distances in the presence of torsion in both Einstein-Cartan and Poincare gauge theory of gravity. Using the modified cosmological distance measurements, we use the observed time delays in gravitational lensing systems to determine the Hubble parameter. The results show the measured Hubble parameter from a lensing system can be less than its expected valu… ▽ More We analyze the measurement of cosmological distances in the presence of torsion in both Einstein-Cartan and Poincare gauge theory of gravity. Using the modified cosmological distance measurements, we use the observed time delays in gravitational lensing systems to determine the Hubble parameter. The results show the measured Hubble parameter from a lensing system can be less than its expected value in General Relativity for certain models of torsion and its associated density parameter. This can reduce the tension between late-time and early-universe measurements of the Hubble parameter, the so-called Hubble tension. △ Less

Submitted 13 September, 2023; v1 submitted 30 April, 2023; originally announced May 2023.

Comments: 16 pages, 10 figures. Some discussions and clarifications added. Accepted to GRG

Journal ref: Gen Relativ Gravit 55, 102 (2023)

Time Series Anomaly Detection in Smart Homes: A Deep Learning Approach

Authors: Somayeh Zamani, Hamed Talebi, Gunnar Stevens

Abstract: Fixing energy leakage caused by different anomalies can result in significant energy savings and extended appliance life. Further, it assists grid operators in scheduling their resources to meet the actual needs of end users, while helping end users reduce their energy costs. In this paper, we analyze the patterns pertaining to the power consumption of dishwashers used in two houses of the REFIT d… ▽ More Fixing energy leakage caused by different anomalies can result in significant energy savings and extended appliance life. Further, it assists grid operators in scheduling their resources to meet the actual needs of end users, while helping end users reduce their energy costs. In this paper, we analyze the patterns pertaining to the power consumption of dishwashers used in two houses of the REFIT dataset. Then two autoencoder (AEs) with 1D-CNN and TCN as backbones are trained to differentiate the normal patterns from the abnormal ones. Our results indicate that TCN outperforms CNN1D in detecting anomalies in energy consumption. Finally, the data from the Fridge_Freezer and the Freezer of house No. 3 in REFIT is also used to evaluate our approach. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Investor base and idiosyncratic volatility of cryptocurrencies

Authors: Amin Izadyar, Shiva Zamani

Abstract: This paper investigates how changes in investor base is related to idiosyncratic volatility in cryptocurrency markets. For each cryptocurrency, we set change in its subreddit followers as a proxy for the change in its investor base, and find out that the latter can significantly increase cryptocurrencies idiosyncratic volatility. This finding is not subsumed by effects of size, momentum, liquidity… ▽ More This paper investigates how changes in investor base is related to idiosyncratic volatility in cryptocurrency markets. For each cryptocurrency, we set change in its subreddit followers as a proxy for the change in its investor base, and find out that the latter can significantly increase cryptocurrencies idiosyncratic volatility. This finding is not subsumed by effects of size, momentum, liquidity and volume and is robust to various measures of idiosyncratic volatility. △ Less

Submitted 23 November, 2022; originally announced November 2022.

BERT for Long Documents: A Case Study of Automated ICD Coding

Authors: Arash Afkanpour, Shabir Adeel, Hansenclever Bassani, Arkady Epshteyn, Hongbo Fan, Isaac Jones, Mahan Malihi, Adrian Nauth, Raj Sinha, Sanjana Woonna, Shiva Zamani, Elli Kanal, Mikhail Fomitchev, Donny Cheung

Abstract: Transformer models have achieved great success across many NLP problems. However, previous studies in automated ICD coding concluded that these models fail to outperform some of the earlier solutions such as CNN-based models. In this paper we challenge this conclusion. We present a simple and scalable method to process long text with the existing transformer models such as BERT. We show that this… ▽ More Transformer models have achieved great success across many NLP problems. However, previous studies in automated ICD coding concluded that these models fail to outperform some of the earlier solutions such as CNN-based models. In this paper we challenge this conclusion. We present a simple and scalable method to process long text with the existing transformer models such as BERT. We show that this method significantly improves the previous results reported for transformer models in ICD coding, and is able to outperform one of the prominent CNN-based methods. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Out-of-time-order correlations and Floquet dynamical quantum phase transition

Authors: Sara Zamani, R. Jafari, A. Langari

Abstract: Out-of-time-order correlators (OTOCs) progressively play an important role in different fields of physics, particularly in the non-equilibrium quantum many-body systems. In this paper, we show that OTOCs can be used to prob the Floquet dynamical quantum phase transitions (FDQPTs). We investigate the OTOCs of two exactly solvable Floquet spin models, namely: Floquet XY chain and synchronized Floque… ▽ More Out-of-time-order correlators (OTOCs) progressively play an important role in different fields of physics, particularly in the non-equilibrium quantum many-body systems. In this paper, we show that OTOCs can be used to prob the Floquet dynamical quantum phase transitions (FDQPTs). We investigate the OTOCs of two exactly solvable Floquet spin models, namely: Floquet XY chain and synchronized Floquet XY model. We show that the border of driven frequency range, over which the Floquet XY model shows FDQPT, signals by the global minimum of the infinite-temperature time averaged OTOC. Moreover, our results manifest that OTOCs decay algebraically in the long time, for which the decay exponent in the FDQPT region is different from that of in the region where the system does not show FDQPTs. In addition, for the synchronized Floquet XY model, where FDQPT occurs at any driven frequency depending on the initial condition at infinite or finite temperature, the imaginary part of the OTOCs become zero whenever the system shows FDQPT. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Journal ref: Phys. Rev. B 105, 094304 (2022)

Real-Time Activity Recognition and Intention Recognition Using a Vision-based Embedded System

Authors: Sahar Darafsh, Saeed Shiry Ghidary, Morteza Saheb Zamani

Abstract: With the rapid increase in digital technologies, most fields of study include recognition of human activity and intention recognition, which are essential in smart environments. In this study, we equipped the activity recognition system with the ability to recognize intentions by affecting the pace of movement of individuals in the representation of images. Using this technology in various environ… ▽ More With the rapid increase in digital technologies, most fields of study include recognition of human activity and intention recognition, which are essential in smart environments. In this study, we equipped the activity recognition system with the ability to recognize intentions by affecting the pace of movement of individuals in the representation of images. Using this technology in various environments such as elevators and automatic doors will lead to identifying those who intend to pass the automatic door from those who are passing by. This system, if applied in elevators and automatic doors, will save energy and increase efficiency. For this study, data preparation is applied to combine the spatial and temporal features with the help of digital image processing principles. Nevertheless, unlike previous studies, only one AlexNet neural network is used instead of two-stream convolutional neural networks. Our embedded system was implemented with an accuracy of 98.78% on our intention recognition dataset. We also examined our data representation approach on other datasets, including HMDB-51, KTH, and Weizmann, and obtained accuracy of 78.48%, 97.95%, and 100%, respectively. The image recognition and neural network models were simulated and implemented using Xilinx simulators for the Xilinx ZCU102 board. The operating frequency of this embedded system is 333 MHz, and it works in real-time with 120 frames per second (fps). △ Less

Submitted 4 August, 2021; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: This paper is under consideration at Computer Vision and Image Understanding

Gravitational lensing by a black hole in Poincar{é} gauge theory of gravity

Authors: Saboura Sadat Zamani, Siamak Akhshabi

Abstract: Using a recently found black hole solution in the framework of the Poincar{é} gauge theory of gravity, we study gravitational lensing for a system where the lens is a static spherically symmetric black hole. By analyzing the equations of motion for light rays in a space-time with torsion, we derive the deflection angle as the light emitted from a source pass through near the black hole and numeric… ▽ More Using a recently found black hole solution in the framework of the Poincar{é} gauge theory of gravity, we study gravitational lensing for a system where the lens is a static spherically symmetric black hole. By analyzing the equations of motion for light rays in a space-time with torsion, we derive the deflection angle as the light emitted from a source pass through near the black hole and numerically solve the resulting integral. We also study the effects of torsion on the position of images. The results show that the presence of torsion slightly alters both the deflection angle and position of images in this setup. △ Less

Submitted 17 October, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 21 pages, 6 figures. Accepted for publication in MPLA

Analysis of the Effectiveness of Face-Coverings on the Death Ratio of COVID-19 Using Machine Learning

Authors: Ali Lafzi, Miad Boodaghi, Siavash Zamani, Niyousha Mohammadshafie, Veeraraghava Raju Hasti

Abstract: The recent outbreak of the COVID-19 led to the death of millions of people worldwide. To stave off the spread of the virus, the authorities in the US employed different strategies, including the mask mandate order issued by the states' governors. In the current work, we defined a parameter called the average death ratio as the monthly average of the number of daily deaths to the monthly average nu… ▽ More The recent outbreak of the COVID-19 led to the death of millions of people worldwide. To stave off the spread of the virus, the authorities in the US employed different strategies, including the mask mandate order issued by the states' governors. In the current work, we defined a parameter called the average death ratio as the monthly average of the number of daily deaths to the monthly average number of daily cases. We utilized survey data to quantify people's abidance by the mask mandate order. Additionally, we implicitly addressed the extent to which people abide by the mask mandate order that may depend on some parameters like population, income, and education level. Using different machine learning classification algorithms, we investigated how the decrease or increase in death ratio for the counties in the US West Coast correlates with the input parameters. The results showed that for most counties there, the mask mandate order decreased the death ratio reflecting the effectiveness of this preventive measure on the West Coast. Additionally, the changes in the death ratio demonstrated a noticeable correlation with the socio-economic condition of each county. Moreover, the results showed a promising classification accuracy score as high as around 90%. △ Less

Submitted 7 November, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Journal ref: Lafzi, A., Boodaghi, M., Zamani, S. et al. Analysis of the effectiveness of face-coverings on the death ratio of COVID-19 using machine learning. Sci Rep 11, 21675 (2021)

A Pragmatic Approach for Hyper-Parameter Tuning in Search-based Test Case Generation

Authors: Shayan Zamani, Hadi Hemmati

Abstract: Search-based test case generation, which is the application of meta-heuristic search for generating test cases, has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods is highly dependent on their hyper-parameters, there is a need to study hyper-parameter tuning in this domain. In this paper, we propose a new metric ("Tuning Gain"), whic… ▽ More Search-based test case generation, which is the application of meta-heuristic search for generating test cases, has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods is highly dependent on their hyper-parameters, there is a need to study hyper-parameter tuning in this domain. In this paper, we propose a new metric ("Tuning Gain"), which estimates how cost-effective tuning a particular class is. We then predict "Tuning Gain" using static features of source code classes. Finally, we prioritize classes for tuning, based on the estimated "Tuning Gains" and spend the tuning budget only on the highly-ranked classes. To evaluate our approach, we exhaustively analyze 1,200 hyper-parameter configurations of a well-known search-based test generation tool (EvoSuite) for 250 classes of 19 projects from benchmarks such as SF110 and SBST2018 tool competition. We used a tuning approach called Meta-GA and compared the tuning results with and without the proposed class prioritization. The results show that for a low tuning budget, prioritizing classes outperforms the alternatives in terms of extra covered branches (10 times more than a traditional global tuning). In addition, we report the impact of different features of our approach such as search space size, tuning budgets, tuning algorithms, and the number of classes to tune, on the final results. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Encoded Value-at-Risk: A Predictive Machine for Financial Risk Management

Authors: Hamidreza Arian, Mehrdad Moghimi, Ehsan Tabatabaei, Shiva Zamani

Abstract: Measuring risk is at the center of modern financial risk management. As the world economy is becoming more complex and standard modeling assumptions are violated, the advanced artificial intelligence solutions may provide the right tools to analyze the global market. In this paper, we provide a novel approach for measuring market risk called Encoded Value-at-Risk (Encoded VaR), which is based on a… ▽ More Measuring risk is at the center of modern financial risk management. As the world economy is becoming more complex and standard modeling assumptions are violated, the advanced artificial intelligence solutions may provide the right tools to analyze the global market. In this paper, we provide a novel approach for measuring market risk called Encoded Value-at-Risk (Encoded VaR), which is based on a type of artificial neural network, called Variational Auto-encoders (VAEs). Encoded VaR is a generative model which can be used to reproduce market scenarios from a range of historical cross-sectional stock returns, while increasing the signal-to-noise ratio present in the financial data, and learning the dependency structure of the market without any assumptions about the joint distribution of stock returns. We compare Encoded VaR out-of-sample results with eleven other methods and show that it is competitive to many other well-known VaR algorithms presented in the literature. △ Less

Submitted 12 November, 2020; originally announced November 2020.

The Uncertain Shape of Grey Swans: Extreme Value Theory with Uncertain Threshold

Authors: Hamidreza Arian, Hossein Poorvasei, Azin Sharifi, Shiva Zamani

Abstract: Extreme Value Theory (EVT) is one of the most commonly used approaches in finance for measuring the downside risk of investment portfolios, especially during financial crises. In this paper, we propose a novel approach based on EVT called Uncertain EVT to improve its forecast accuracy and capture the statistical characteristics of risk beyond the EVT threshold. In our framework, the extreme risk t… ▽ More Extreme Value Theory (EVT) is one of the most commonly used approaches in finance for measuring the downside risk of investment portfolios, especially during financial crises. In this paper, we propose a novel approach based on EVT called Uncertain EVT to improve its forecast accuracy and capture the statistical characteristics of risk beyond the EVT threshold. In our framework, the extreme risk threshold, which is commonly assumed a constant, is a dynamic random variable. More precisely, we model and calibrate the EVT threshold by a state-dependent hidden variable, called Break-Even Risk Threshold (BRT), as a function of both risk and ambiguity. We will show that when EVT approach is combined with the unobservable BRT process, the Uncertain EVT's predicted VaR can foresee the risk of large financial losses, outperforms the original EVT approach out-of-sample, and is competitive to well-known VaR models when back-tested for validity and predictability. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Floquet dynamical quantum phase transition in the extended XY model: nonadiabatic to adiabatic topological transition

Authors: Sara Zamani, R. Jafari, A. Langari

Abstract: We investigate both pure and mixed states Floquet dynamical quantum phase transition (DQPT) in the periodically time-dependent extended XY model. We exactly show that the proposed Floquet Hamiltonian of interacting spins can be expressed as a sum of noninteracting quasi-spins imposed by an effective time dependent magnetic field (Schwinger-Rabi model). The calculated Chern number indicates that th… ▽ More We investigate both pure and mixed states Floquet dynamical quantum phase transition (DQPT) in the periodically time-dependent extended XY model. We exactly show that the proposed Floquet Hamiltonian of interacting spins can be expressed as a sum of noninteracting quasi-spins imposed by an effective time dependent magnetic field (Schwinger-Rabi model). The calculated Chern number indicates that there is a topological transition from nonadiabatic to adiabatic regime. In the adiabatic regime, the quasi-spins trace the time dependent effective magnetic field and then oscillate between spin up and down states. While in the nonadiabatic regime, the quasi-spins cannot follow the time dependent effective magnetic field and feel an average magnetic field. We find the range of driving frequency over which the quasi-spins experience adiabatic cyclic processes. Moreover, we obtain the exact expression of the Loschmidt amplitude and generalized Loschmidt amplitude of the proposed Floquet system. The results represent that both pure and mixed states dynamical phase transition occurs when the system evolves adiabatically. In other words, the minimum required driving frequency for the appearance of Floquet DQPT is equal to the threshold frequency needed for transition from nonadiabatic to adiabatic regime. △ Less

Submitted 18 September, 2020; originally announced September 2020.

Comments: To appear in Phys. Rev. B

Journal ref: Phys. Rev. B 102, 144306 (2020)

Laplace Stretch: Eulerian and Lagrangian Formulations

Authors: Alan D. Freed, Shahla Zamani, Laszlo Szabo, John D. Clayton

Abstract: Two triangular factorizations of the deformation gradient tensor are studied. The first, termed the Lagrangian formulation, consists of an upper-triangular stretch premultiplied by a rotation tensor. The second, termed the Eulerian formulation, consists of a lower-triangular stretch postmultiplied by a different rotation tensor. The corresponding stretch tensors are denoted as the Lagrangian and E… ▽ More Two triangular factorizations of the deformation gradient tensor are studied. The first, termed the Lagrangian formulation, consists of an upper-triangular stretch premultiplied by a rotation tensor. The second, termed the Eulerian formulation, consists of a lower-triangular stretch postmultiplied by a different rotation tensor. The corresponding stretch tensors are denoted as the Lagrangian and Eulerian Laplace stretches, respectively. Kinematics (with physical interpretations) and work conjugate stress measures are analyzed and compared for each formulation. While the Lagrangian formulation has been used in prior work for constitutive modeling of anisotropic and hyper\-elastic materials, the Eulerian formulation, which may be advantageous for modeling isotropic solids and fluids with no physically identifiable reference configuration, does not seem to have been used elsewhere in a continuum mechanical setting. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: 15 pages, 2 figures

MSC Class: Primary 74A05; Secondary 15A90

Revisiting Hyper-Parameter Tuning for Search-based Test Data Generation

Authors: Shayan Zamani, Hadi Hemmati

Abstract: Search-based software testing (SBST) has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods are highly dependent on their parameters, there is a need to study SBST tuning. In this study, we partially replicate a previous paper on SBST tool tuning and revisit some of the claims of that paper. In particular, unlike the previous work, our… ▽ More Search-based software testing (SBST) has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods are highly dependent on their parameters, there is a need to study SBST tuning. In this study, we partially replicate a previous paper on SBST tool tuning and revisit some of the claims of that paper. In particular, unlike the previous work, our results show that the tuning impact is very limited to only a small portion of the classes in a project. We also argue the choice of evaluation metric in the previous paper and show that even for the impacted classes by tuning, the practical difference between the best and an average configuration is minor. Finally, we will exhaustively explore the search space of hyper-parameters and show that half of the studied configurations perform the same or better than the baseline paper's default configuration. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: Accepted to SSBSE 2019 conference

A system architecture for parallel analysis of flux-balanced metabolic pathways

Authors: Mona Arabzadeh, Mehdi Sedighi, Morteza Saheb Zamani, Sayed-Amir Marashi

Abstract: In this paper, a system architecture is proposed that approximately models the functionality of metabolic networks. The AND/OR graph model is used to represent the metabolic network and each processing element in the system emulates the functionality of a metabolite. The system is implemented on a graphics processing unit (GPU) as the hardware platform using CUDA environment. The proposed architec… ▽ More In this paper, a system architecture is proposed that approximately models the functionality of metabolic networks. The AND/OR graph model is used to represent the metabolic network and each processing element in the system emulates the functionality of a metabolite. The system is implemented on a graphics processing unit (GPU) as the hardware platform using CUDA environment. The proposed architecture takes advantage of the inherent parallelism in the network structure in terms of both pathway and metabolite traversal. The function of each element is defined such that it can find flux-balanced pathways. Pathways in both small and large metabolic networks are applied to the proposed architecture and the results are discussed. △ Less

Submitted 2 July, 2020; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: 33 pages, 13 figures, 3 tables

Journal ref: Computational Biology and Chemistry, Available online 24 June 2020

Low-Overhead Code Concatenation Approaches for Universal Quantum Computation

Authors: Eesa Nikahd, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approa… ▽ More As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approaches is one of the main bottlenecks for large-scale quantum computation. In this paper, two approaches for universal fault-tolerant quantum computation, mainly based on code concatenation, are proposed. The proposed approaches outperform code concatenation in terms of both number of qubits and code distance and has also significantly less resource overhead than code switching, magic state distillation and pieceable fault-tolerance at the cost of reducing the effective distance of the concatenated code for implementing non-transversal gates. △ Less

Submitted 4 September, 2021; v1 submitted 1 July, 2017; originally announced July 2017.

Comments: 23 pages, 14 figures. arXiv admin note: text overlap with arXiv:1610.03309

Frequency Domain Singular Value Decomposition for Efficient Spatial Audio Coding

Authors: Sina Zamani, Tejaswi Nanjundaswamy, Kenneth Rose

Abstract: Advances in virtual reality have generated substantial interest in accurately reproducing and storing spatial audio in the higher order ambisonics (HOA) representation, given its rendering flexibility. Recent standardization for HOA compression adopted a framework wherein HOA data are decomposed into principal components that are then encoded by standard audio coding, i.e., frequency domain quanti… ▽ More Advances in virtual reality have generated substantial interest in accurately reproducing and storing spatial audio in the higher order ambisonics (HOA) representation, given its rendering flexibility. Recent standardization for HOA compression adopted a framework wherein HOA data are decomposed into principal components that are then encoded by standard audio coding, i.e., frequency domain quantization and entropy coding to exploit psychoacoustic redundancy. A noted shortcoming of this approach is the occasional mismatch in principal components across blocks, and the resulting suboptimal transitions in the data fed to the audio coder. Instead, we propose a framework where singular value decomposition (SVD) is performed after transformation to the frequency domain via the modified discrete cosine transform (MDCT). This framework not only ensures smooth transition across blocks, but also enables frequency dependent SVD for better energy compaction. Moreover, we introduce a novel noise substitution technique to compensate for suppressed ambient energy in discarded higher order ambisonics channels, which significantly enhances the perceptual quality of the reconstructed HOA signal. Objective and subjective evaluation results provide evidence for the effectiveness of the proposed framework in terms of both higher compression gains and better perceptual quality, compared to existing methods. △ Less

Submitted 15 May, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 5 pages, 3 figures

Geometry-Based Optimization of One-Way Quantum Computation Measurement Patterns

Authors: Maryam Eslamy, Mahboobeh Houshmand, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: In one-way quantum computation (1WQC) model, an initial highly entangled state called a graph state is used to perform universal quantum computations by a sequence of adaptive single-qubit measurements and post-measurement Pauli-X and Pauli-Z corrections. The needed computations are organized as measurement patterns, or simply patterns, in the 1WQC model. The entanglement operations in a pattern c… ▽ More In one-way quantum computation (1WQC) model, an initial highly entangled state called a graph state is used to perform universal quantum computations by a sequence of adaptive single-qubit measurements and post-measurement Pauli-X and Pauli-Z corrections. The needed computations are organized as measurement patterns, or simply patterns, in the 1WQC model. The entanglement operations in a pattern can be shown by a graph which together with the set of its input and output qubits is called the geometry of the pattern. Since a one-way quantum computation pattern is based on quantum measurements, which are fundamentally nondeterministic evolutions, there must be conditions over geometries to guarantee determinism. Causal flow is a sufficient and generalized flow (gflow) is a necessary and sufficient condition over geometries to identify a dependency structure for the measurement sequences in order to achieve determinism. Previously, three optimization methods have been proposed to simplify 1WQC patterns which are called standardization, signal shifting and Pauli simplification. These optimizations can be performed using measurement calculus formalism by rewriting rules. However, maintaining and searching these rules in the library can be complicated with respect to implementation. Moreover, serial execution of these rules is time consuming due to executing many ineffective commutation rules. To overcome this problem, in this paper, a new scheme is proposed to perform optimization techniques on patterns with flow or gflow only based on their geometries instead of using rewriting rules. Furthermore, the proposed scheme obtains the maximally delayed gflow order for geometries with flow. It is shown that the time complexity of the proposed approach is improved over the previous ones. △ Less

Submitted 24 April, 2017; originally announced April 2017.

A Graph-Based Approach to Analyze Flux-Balanced Pathways in Metabolic Networks

Authors: Mona Arabzadeh, Morteza Saheb Zamani, Mehdi Sedighi, Sayed-Amir Marashi

Abstract: An Elementary Flux Mode (EFM) is a pathway with minimum set of reactions that are functional in steady-state constrained space. Due to the high computational complexity of calculating EFMs, different approaches have been proposed to find these flux-balanced pathways. In this paper, an approach to find a subset of EFMs is proposed based on a graph data model. The given metabolic network is mapped t… ▽ More An Elementary Flux Mode (EFM) is a pathway with minimum set of reactions that are functional in steady-state constrained space. Due to the high computational complexity of calculating EFMs, different approaches have been proposed to find these flux-balanced pathways. In this paper, an approach to find a subset of EFMs is proposed based on a graph data model. The given metabolic network is mapped to the graph model and decisions for reaction inclusion can be made based on metabolites and their associated reactions. This notion makes the approach more convenient to categorize the output pathways. Implications of the proposed method on metabolic networks are discussed. △ Less

Submitted 4 February, 2018; v1 submitted 19 March, 2017; originally announced March 2017.

Comments: 23 pages, 7 figures, 2 tables

Journal ref: BioSystems,165,40--51,(2018)

A Low-Overhead Hybrid Approach for Universal Fault-Tolerant Quantum Computation

Authors: Eesa Nikahd, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approa… ▽ More As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approaches is one of the main bottlenecks for large-scale quantum computation. In this paper, a hybrid approach is proposed which combines the code concatenation technique with the other mentioned approaches. The proposed approach outperforms code concatenation in terms of both number of qubits and error threshold and also significantly reduces the resource overhead of code switching, magic state distillation and pieceable fault-tolerance at the cost of reducing the effective distance of the concatenated code for implementing non-transversal gates. △ Less

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

Comments: 5 pages, 2 figures

Quantum-Logic Synthesis of Hermitian Gates

Authors: Mona Arabzadeh, Mahboobeh Houshmand, Mehdi Sedighi, Morteza Saheb Zamani

Abstract: In this paper, the problem of synthesizing a general Hermitian quantum gate into a set of primary quantum gates is addressed. To this end, an extended version of the Jacobi approach for calculating the eigenvalues of Hermitian matrices in linear algebra is considered as the basis of the proposed synthesis method. The quantum circuit synthesis method derived from the Jacobi approach and its optimiz… ▽ More In this paper, the problem of synthesizing a general Hermitian quantum gate into a set of primary quantum gates is addressed. To this end, an extended version of the Jacobi approach for calculating the eigenvalues of Hermitian matrices in linear algebra is considered as the basis of the proposed synthesis method. The quantum circuit synthesis method derived from the Jacobi approach and its optimization challenges are described. It is shown that the proposed method results in multiple-control rotation gates around the y axis, multiple-control phase shift gates, multiple-control NOT gates and a middle diagonal Hermitian matrix, which can be synthesized to multiple-control Pauli Z gates. Using the proposed approach, it is shown how multiple-control U gates, where U is a single-qubit Hermitian quantum gate, can be implemented using a linear number of elementary gates in terms of circuit lines with the aid of one auxiliary qubit in an arbitrary state. △ Less

Submitted 26 June, 2016; originally announced June 2016.

Comments: 14 pages

Journal ref: J. Emerg. Technol. Comput. Syst. 12, 4, Article 40 (December 2015), 15 pages

Non-Uniform Code Concatenation for Universal Fault-Tolerant Quantum Computing

Authors: Eesa Nikahd, Mehdi Sedighi, Morteza Saheb Zamani

Abstract: Using transversal gates is a straightforward and efficient technique for fault-tolerant quantum computing. Since transversal gates alone cannot be computationally universal, they must be combined with other approaches such as magic state distillation, code switching or code concatenation in order to achieve universality. In this paper we propose an alternative approach for universal fault-tolerant… ▽ More Using transversal gates is a straightforward and efficient technique for fault-tolerant quantum computing. Since transversal gates alone cannot be computationally universal, they must be combined with other approaches such as magic state distillation, code switching or code concatenation in order to achieve universality. In this paper we propose an alternative approach for universal fault-tolerant quantum computing mainly based on the code concatenation approach proposed in [PRL 112, 010505 (2014)] but in a non-uniform fashion. The proposed approach is described based on non-uniform concatenation of the 7-qubit Steane code with the 15-qubit Reed-Muller code as well as the 5-qubit code with the 15-qubit Reed-Muller code, which lead to two 49-qubit and 47-qubit codes, respectively. These codes can correct any arbitrary single physical error with the ability to perform a universal set of fault-tolerant gates, without using magic state distillation. △ Less

Submitted 2 November, 2016; v1 submitted 23 May, 2016; originally announced May 2016.

Comments: 6 pages and 4 figures

Journal ref: Phys. Rev. A 96, 032337 (2017)

One-Way Quantum Computer Simulation

Authors: Eesa Nikahd, Mahboobeh Houshmand, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: In one-way quantum computation (1WQC) model, universal quantum computations are performed using measurements to designated qubits in a highly entangled state. The choices of bases for these measurements as well as the structure of the entanglements specify a quantum algorithm. As scalable and reliable quantum computers have not been implemented yet, quantum computation simulators are the only wide… ▽ More In one-way quantum computation (1WQC) model, universal quantum computations are performed using measurements to designated qubits in a highly entangled state. The choices of bases for these measurements as well as the structure of the entanglements specify a quantum algorithm. As scalable and reliable quantum computers have not been implemented yet, quantum computation simulators are the only widely available tools to design and test quantum algorithms. However, simulating the quantum computations on a standard classical computer in most cases requires exponential memory and time. In this paper, a general direct simulator for 1WQC, called OWQS, is presented. Some techniques such as qubit elimination, pattern reordering and implicit simulation of actions are used to considerably reduce the time and memory needed for the simulations. Moreover, our simulator is adjusted to simulate the measurement patterns with a generalized flow without calculating the measurement probabilities which is called extended one-way quantum computation simulator (EOWQS). Experimental results validate the feasibility of the proposed simulators and that OWQS and EOWQS are faster as compared with the well-known quantum circuit simulators, i.e., QuIDDPro and libquantum for simulating 1WQC model. △ Less

Submitted 10 December, 2015; originally announced April 2016.

Comments: 27 pages, 9 figures

Journal ref: International Journal of Microprocessors and Microsystems, Elsevier, Vol. 39, No. 3, pp. 210-222, May 2015

Decomposition of Diagonal Hermitian Quantum Gates Using Multiple-Controlled Pauli Z Gates

Authors: Mahboobeh Houshmand, Morteza Saheb Zamani, Mehdi Sedighi, Mona Arabzadeh

Abstract: Quantum logic decomposition refers to decomposing a given quantum gate to a set of physically implementable gates. An approach has been presented to decompose arbitrary diagonal quantum gates to a set of multiplexed-rotation gates around z axis. In this paper, a special class of diagonal quantum gates, namely diagonal Hermitian quantum gates, is considered and a new perspective to the decompositio… ▽ More Quantum logic decomposition refers to decomposing a given quantum gate to a set of physically implementable gates. An approach has been presented to decompose arbitrary diagonal quantum gates to a set of multiplexed-rotation gates around z axis. In this paper, a special class of diagonal quantum gates, namely diagonal Hermitian quantum gates, is considered and a new perspective to the decomposition problem with respect to decomposing these gates is presented. It is first shown that these gates can be decomposed to a set that solely consists of multiple-controlled Z gates. Then a binary representation for the diagonal Hermitian gates is introduced. It is shown that the binary representations of multiple-controlled Z gates form a basis for the vector space that is produced by the binary representations of all diagonal Hermitian quantum gates. Moreover, the problem of decomposing a given diagonal Hermitian gate is mapped to the problem of writing its binary representation in the specific basis mentioned above. Moreover, CZ gate is suggested to be the two-qubit gate in the decomposition library, instead of previously used CNOT gate. Experimental results show that the proposed approach can lead to circuits with lower costs in comparison with the previous ones. △ Less

Submitted 26 May, 2014; originally announced May 2014.

Comments: To Appear in ACM Journal on Emerging Technologies in Computing Systems

Journal ref: ACM Journal of Emerging Technologies in Computing Systems (JETC), Vol. 11, No. 3, Article 28, 2014

Integration by Parts Formula and Smoothness of Densities of Solutions to SDEs with Locally Lipschitz Coefficients

Authors: M. Tahmasebi, S. Zamani

Abstract: In this work we prove the existence of a smooth density for the solution to an SDE with locally Lipschitz and semimonotone drift, and will derive an exponential decay for this density and all of its derivatives as well. Our main tool in this paper is an integration by parts formula for the solution of the mentioned SDE in the Wiener space. We construct an approximating sequence of SDEs with global… ▽ More In this work we prove the existence of a smooth density for the solution to an SDE with locally Lipschitz and semimonotone drift, and will derive an exponential decay for this density and all of its derivatives as well. Our main tool in this paper is an integration by parts formula for the solution of the mentioned SDE in the Wiener space. We construct an approximating sequence of SDEs with globally Lipschitz drifts and obtain a uniform bound for the integral of their solutions from which we derive the exponential decay for the derivatives of the density of the original SDE. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Comments: 11 pages

MSC Class: 60H07 (Primary) 60H10; 62G07 (Secondary)

Weak Differentiability of Solutions to SDEs With Semi-Monotone Drifts

Authors: Mahdieh Tahmasebi, Shiva Zamani

Abstract: In this work we prove Malliavin differentiability for the solution to an SDE with locally Lipschitz and semi-monotone drift. To this end we construct a sequence of SDEs with globally Lipschitz drifts. We show that the solutions of these SDEs converge to the solution of the original SDE and the p-moments of their Malliavin derivatives are uniformly bounded. In this work we prove Malliavin differentiability for the solution to an SDE with locally Lipschitz and semi-monotone drift. To this end we construct a sequence of SDEs with globally Lipschitz drifts. We show that the solutions of these SDEs converge to the solution of the original SDE and the p-moments of their Malliavin derivatives are uniformly bounded. △ Less

Submitted 3 September, 2013; originally announced September 2013.

Comments: 19 pages

MSC Class: 60H07(Primary) 60H10(Secondary)

A Quantum Physical Design Flow Using ILP and Graph Drawing

Authors: Maryam Yazdani, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: Implementing large-scale quantum circuits is one of the challenges of quantum computing. One of the central challenges of accurately modeling the architecture of these circuits is to schedule a quantum application and generate the layout while taking into account the cost of communications and classical resources as well as the maximum exploitable parallelism. In this paper, we present and evaluat… ▽ More Implementing large-scale quantum circuits is one of the challenges of quantum computing. One of the central challenges of accurately modeling the architecture of these circuits is to schedule a quantum application and generate the layout while taking into account the cost of communications and classical resources as well as the maximum exploitable parallelism. In this paper, we present and evaluate a design flow for arbitrary quantum circuits in ion trap technology. Our design flow consists of two parts. First, a scheduler takes a description of a circuit and finds the best order for the execution of its quantum gates using integer linear programming (ILP) regarding the classical resources (qubits) and instruction dependencies. Then a layout generator receives the schedule produced by the scheduler and generates a layout for this circuit using a graph-drawing algorithm. Our experimental results show that the proposed flow decreases the average latency of quantum circuits by about 11% for a set of attempted benchmarks and by about 9% for another set of benchmarks compared with the best in literature. △ Less

Submitted 9 June, 2013; originally announced June 2013.

Comments: 17 figures, 12 tables, Quantum Information Processing Journal. arXiv admin note: text overlap with arXiv:0704.0268 by other authors

Depth-Optimized Reversible Circuit Synthesis

Authors: Mona Arabzadeh, Morteza Saheb Zamani, Mehdi Sedighi, Mehdi Saeedi

Abstract: In this paper, simultaneous reduction of circuit depth and synthesis cost of reversible circuits in quantum technologies with limited interaction is addressed. We developed a cycle-based synthesis algorithm which uses negative controls and limited distance between gate lines. To improve circuit depth, a new parallel structure is introduced in which before synthesis a set of disjoint cycles are ext… ▽ More In this paper, simultaneous reduction of circuit depth and synthesis cost of reversible circuits in quantum technologies with limited interaction is addressed. We developed a cycle-based synthesis algorithm which uses negative controls and limited distance between gate lines. To improve circuit depth, a new parallel structure is introduced in which before synthesis a set of disjoint cycles are extracted from the input specification and distributed into some subsets. The cycles of each subset are synthesized independently on different sets of ancillae. Accordingly, each disjoint set can be synthesized by different synthesis methods. Our analysis shows that the best worst-case synthesis cost of reversible circuits in the linear nearest neighbor architecture is improved by the proposed approach. Our experimental results reveal the effectiveness of the proposed approach to reduce cost and circuit depth for several benchmarks. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 13 pages, 6 figures, 5 tables; Quantum Information Processing (QINP) journal, 2012

Journal ref: Quantum Information Processing: Volume 12, Issue 4 (2013), Page 1677-1699

Block-based quantum-logic synthesis

Authors: Mehdi Saeedi, Mona Arabzadeh, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: In this paper, the problem of constructing an efficient quantum circuit for the implementation of an arbitrary quantum computation is addressed. To this end, a basic block based on the cosine-sine decomposition method is suggested which contains $l$ qubits. In addition, a previously proposed quantum-logic synthesis method based on quantum Shannon decomposition is recursively applied to reach unita… ▽ More In this paper, the problem of constructing an efficient quantum circuit for the implementation of an arbitrary quantum computation is addressed. To this end, a basic block based on the cosine-sine decomposition method is suggested which contains $l$ qubits. In addition, a previously proposed quantum-logic synthesis method based on quantum Shannon decomposition is recursively applied to reach unitary gates over $l$ qubits. Then, the basic block is used and some optimizations are applied to remove redundant gates. It is shown that the exact value of $l$ affects the number of one-qubit and CNOT gates in the proposed method. In comparison to the previous synthesis methods, the value of $l$ is examined consequently to improve either the number of CNOT gates or the total number of gates. The proposed approach is further analyzed by considering the nearest neighbor limitation. According to our evaluation, the number of CNOT gates is increased by at most a factor of $\frac{5}{3}$ if the nearest neighbor interaction is applied. △ Less

Submitted 9 November, 2010; originally announced November 2010.

Comments: 15 pages, 8 figures, 5 tables, Quantum Information and Computation (QIC) Journal

Reversible Circuit Synthesis Using a Cycle-Based Approach

Authors: Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi, Zahra Sasanian

Abstract: Reversible logic has applications in various research areas including signal processing, cryptography and quantum computation. In this paper, direct NCT-based synthesis of a given $k$-cycle in a cycle-based synthesis scenario is examined. To this end, a set of seven building blocks is proposed that reveals the potential of direct synthesis of a given permutation to reduce both quantum cost and ave… ▽ More Reversible logic has applications in various research areas including signal processing, cryptography and quantum computation. In this paper, direct NCT-based synthesis of a given $k$-cycle in a cycle-based synthesis scenario is examined. To this end, a set of seven building blocks is proposed that reveals the potential of direct synthesis of a given permutation to reduce both quantum cost and average runtime. To synthesize a given large cycle, we propose a decomposition algorithm to extract the suggested building blocks from the input specification. Then, a synthesis method is introduced which uses the building blocks and the decomposition algorithm. Finally, a hybrid synthesis framework is suggested which uses the proposed cycle-based synthesis method in conjunction with one of the recent NCT-based synthesis approaches which is based on Reed-Muller (RM) spectra. The time complexity and the effectiveness of the proposed synthesis approach are analyzed in detail. Our analyses show that the proposed hybrid framework leads to a better quantum cost in the worst-case scenario compared to the previously presented methods. The proposed framework always converges and typically synthesizes a given specification very fast compared to the available synthesis algorithms. Besides, the quantum costs of benchmark functions are improved about 20% on average (55% in the best case). △ Less

Submitted 27 December, 2010; v1 submitted 24 April, 2010; originally announced April 2010.

Comments: 25 pages, 21 figures, 2 tables

Journal ref: ACM Journal of Emerging Technologies in Computing Systems, Vol. 6, Issue 4, Article 13, December 2010

Rule-Based Optimization of Reversible Circuits

Authors: Mona Arabzadeh, Mehdi Saeedi, Morteza Saheb Zamani

Abstract: Reversible logic has applications in various research areas including low-power design and quantum computation. In this paper, a rule-based optimization approach for reversible circuits is proposed which uses both negative and positive control Toffoli gates during the optimization. To this end, a set of rules for removing NOT gates and optimizing sub-circuits with common-target gates are proposed.… ▽ More Reversible logic has applications in various research areas including low-power design and quantum computation. In this paper, a rule-based optimization approach for reversible circuits is proposed which uses both negative and positive control Toffoli gates during the optimization. To this end, a set of rules for removing NOT gates and optimizing sub-circuits with common-target gates are proposed. To evaluate the proposed approach, the best-reported synthesized circuits and the results of a recent synthesis algorithm which uses both negative and positive controls are used. Our experiments reveal the potential of the proposed approach in optimizing synthesized circuits. △ Less

Submitted 10 April, 2010; originally announced April 2010.

Comments: 12 pages, 15 figures, Asia and South Pacific Design Automation Conference, 2010

Journal ref: Mona Arabzadeh, Mehdi Saeedi, Morteza Saheb Zamani, "Rule-Based Optimization of Reversible Circuits," The 15th Asia and South Pacific Design Automation Conference (ASPDAC), pp. 849 - 854, 2010

A Library-Based Synthesis Methodology for Reversible Logic

Authors: Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani

Abstract: In this paper, a library-based synthesis methodology for reversible circuits is proposed where a reversible specification is considered as a permutation comprising a set of cycles. To this end, a pre-synthesis optimization step is introduced to construct a reversible specification from an irreversible function. In addition, a cycle-based representation model is presented to be used as an intermedi… ▽ More In this paper, a library-based synthesis methodology for reversible circuits is proposed where a reversible specification is considered as a permutation comprising a set of cycles. To this end, a pre-synthesis optimization step is introduced to construct a reversible specification from an irreversible function. In addition, a cycle-based representation model is presented to be used as an intermediate format in the proposed synthesis methodology. The selected intermediate format serves as a focal point for all potential representation models. In order to synthesize a given function, a library containing seven building blocks is used where each building block is a cycle of length less than 6. To synthesize large cycles, we also propose a decomposition algorithm which produces all possible minimal and inequivalent factorizations for a given cycle of length greater than 5. All decompositions contain the maximum number of disjoint cycles. The generated decompositions are used in conjunction with a novel cycle assignment algorithm which is proposed based on the graph matching problem to select the best possible cycle pairs. Then, each pair is synthesized by using the available components of the library. The decomposition algorithm together with the cycle assignment method are considered as a binding method which selects a building block from the library for each cycle. Finally, a post-synthesis optimization step is introduced to optimize the synthesis results in terms of different costs. △ Less

Submitted 10 April, 2010; originally announced April 2010.

Comments: 24 pages, 8 figures, Microelectronics Journal, Elsevier

Journal ref: Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani, ?A Library-Based Synthesis Methodology for Reversible Logic,? Microelectronics Journal, Elsevier, Volume 41, No. 4, pp. 185-194, 2010.

A Novel Synthesis Algorithm for Reversible Circuits

Authors: Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani

Abstract: In this paper, a new non-search based synthesis algorithm for reversible circuits is proposed. Compared with the widely used search-based methods, our algorithm is guarantied to produce a result and can lead to a solution with much fewer steps. To evaluate the proposed method, several circuits taken from the literature are used. The experimental results corroborate the expected findings. In this paper, a new non-search based synthesis algorithm for reversible circuits is proposed. Compared with the widely used search-based methods, our algorithm is guarantied to produce a result and can lead to a solution with much fewer steps. To evaluate the proposed method, several circuits taken from the literature are used. The experimental results corroborate the expected findings. △ Less

Submitted 9 April, 2010; v1 submitted 5 January, 2008; originally announced January 2008.

Comments: 4 pages, 4 figures, 1 table Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design

Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis

Authors: Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi

Abstract: The exponential speed up of quantum algorithms and the fundamental limits of current CMOS process for future design technology have directed attentions toward quantum circuits. In this paper, the matrix specification of a broad category of quantum circuits, i.e. CNOT-based circuits, are investigated. We prove that the matrix elements of CNOT-based circuits can only be zeros or ones. In addition,… ▽ More The exponential speed up of quantum algorithms and the fundamental limits of current CMOS process for future design technology have directed attentions toward quantum circuits. In this paper, the matrix specification of a broad category of quantum circuits, i.e. CNOT-based circuits, are investigated. We prove that the matrix elements of CNOT-based circuits can only be zeros or ones. In addition, the columns or rows of such a matrix have exactly one element with the value of 1. Furthermore, we show that these specifications can be used to synthesize CNOT-based quantum circuits. In other words, a new scheme is introduced to convert the matrix representation into its SOP equivalent using a novel quantum-based Karnaugh map extension. We then apply a search-based method to transform the obtained SOP into a CNOT-based circuit. Experimental results prove the correctness of the proposed concept. △ Less

Submitted 9 April, 2010; v1 submitted 18 December, 2007; originally announced December 2007.

Comments: 8 pages, 13 figures, 10Th EUROMICRO Conference on Digital System Design, Architectures, Methods and Tools, Germany, 2007