-
Scalable parallel measurement of individual nitrogen-vacancy centers
Authors:
Matthew Cambria,
Saroj Chand,
Shimon Kolkowitz
Abstract:
The nitrogen-vacancy (NV) center in diamond is a solid-state spin defect that has been widely adopted for quantum sensing and quantum information processing applications. Typically, experiments are performed either with a single isolated NV center or with an unresolved ensemble of many NV centers, resulting in a trade-off between measurement speed and spatial resolution or control over individual…
▽ More
The nitrogen-vacancy (NV) center in diamond is a solid-state spin defect that has been widely adopted for quantum sensing and quantum information processing applications. Typically, experiments are performed either with a single isolated NV center or with an unresolved ensemble of many NV centers, resulting in a trade-off between measurement speed and spatial resolution or control over individual defects. In this work, we introduce an experimental platform that bypasses this trade-off by addressing multiple optically resolved NV centers in parallel. We perform charge- and spin-state manipulations selectively on multiple NV centers from within a larger set, and we manipulate and measure the electronic spin states of 10 NV centers in parallel. Further, we show that the high signal-to-noise ratio of the measurements enables the detection of shot-to-shot pairwise correlations between the spin states of 10 NV centers, corresponding to the simultaneous measurement of 45 unique correlation coefficients. We conclude by discussing how our platform can be scaled to parallel experiments with thousands of individually resolved NV centers. These results enable high-throughput experiments with individual spin defects, and provide a natural platform for the application of recently developed correlated sensing techniques.
△ Less
Submitted 21 August, 2024; v1 submitted 21 August, 2024;
originally announced August 2024.
-
Accretion Geometry of GX 339-4 in the Hard State: AstroSat View
Authors:
Swadesh Chand,
Gulab C. Dewangan,
Andrzej A. Zdziarski,
Dipankar Bhattacharya,
N. P. S. Mithun,
Santosh V. Vadawale
Abstract:
We perform broadband ($0.7-100$ keV) spectral analysis of five hard state observations of the low-mass back hole X-ray binary GX~339--4 taken by AstroSat during the rising phase of three outbursts from $2019$ to $2022$. We find that the outburst in 2021 was the only successful/full outburst, while the source was unable to make transition to the soft state during the other two outbursts in 2019 and…
▽ More
We perform broadband ($0.7-100$ keV) spectral analysis of five hard state observations of the low-mass back hole X-ray binary GX~339--4 taken by AstroSat during the rising phase of three outbursts from $2019$ to $2022$. We find that the outburst in 2021 was the only successful/full outburst, while the source was unable to make transition to the soft state during the other two outbursts in 2019 and 2022. Our spectral analysis employs two different model combinations, requiring two separate Comptonizing regions and their associated reflection components, and soft X-ray excess emission. The harder Comptonizing component dominates the overall bolometric luminosity, while the softer one remains relatively weak. Our spectral fits indicate that the disk evolves with the source luminosity, where the inner disk radius decreases with increasing luminosity. However, the disk remains substantially truncated throughout all the observations at the source luminosity of $\sim2-8\%\times$ of the Eddington luminosity. We note that our assumption of the soft X-ray excess emission as disk blackbody may not be realistic, and this kind of soft excess may arise due the non-homogeneity in the disk/corona geometry. Our temporal analysis deriving the power density spectra suggests that the break frequency increases with the source luminosity. Furthermore, our analysis demonstrates a consistency between the inner disk radii estimated from break frequency of the power density spectra and those obtained from the reflection modelling, supporting the truncated disk geometry in the hard state.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
From Pro, Anti to Informative and Hesitant: An Infoveillance study of COVID-19 vaccines and vaccination discourse on Twitter
Authors:
Pardeep Singh,
Rabindra Lamsal,
Monika Singh,
Satish Chand,
Bhawna Shishodia
Abstract:
COVID-19 pandemic has brought unprecedented challenges to the world, and vaccination has been a key strategy to combat the disease. Since Twitter is one of the most widely used public microblogging platforms, researchers have analysed COVID-19 vaccines and vaccination Twitter discourse to explore the conversational dynamics around the topic. While contributing to the crisis informatics literature,…
▽ More
COVID-19 pandemic has brought unprecedented challenges to the world, and vaccination has been a key strategy to combat the disease. Since Twitter is one of the most widely used public microblogging platforms, researchers have analysed COVID-19 vaccines and vaccination Twitter discourse to explore the conversational dynamics around the topic. While contributing to the crisis informatics literature, we curate a large-scale geotagged Twitter dataset, GeoCovaxTweets Extended, and explore the discourse through multiple spatiotemporal analyses. This dataset covers a longer time span of 38 months, from the announcement of the first vaccine to the availability of booster doses. Results show that 43.4% of the collected tweets, although containing phrases and keywords related to vaccines and vaccinations, were unrelated to the COVID-19 context. In total, 23.1% of the discussions on vaccines and vaccinations were classified as Pro, 16% as Hesitant, 11.4% as Anti, and 6.1% as Informative. The trend shifted towards Pro and Informative tweets globally as vaccination programs progressed, indicating a change in the public's perception of COVID-19 vaccines and vaccination. Furthermore, we explored the discourse based on account attributes, i.e., followers counts and tweet counts. Results show a significant pattern of discourse differences. Our findings highlight the potential of harnessing a large-scale geotagged Twitter dataset to understand global public health communication and to inform targeted interventions aimed at addressing vaccine hesitancy.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
What Is the Black Hole Spin in Cyg X-1?
Authors:
Andrzej A. Zdziarski,
Swadesh Chand,
Srimanta Banerjee,
Michal Szanecki,
Agnieszka Janiuk,
Piotr Lubinski,
Andrzej Niedzwiecki,
Gulab Dewangan,
Ranjeev Misra
Abstract:
We perform a detailed study of the black hole spin of Cyg X-1, using accurate broad-band X-ray data obtained in the soft spectral state by simultaneous NICER and NuSTAR observations, supplemented at high energies by INTEGRAL data. We use the relativistic disk model kerrbb together with different models of the Comptonization high energy tail and the relativistically-broadened reflection features. U…
▽ More
We perform a detailed study of the black hole spin of Cyg X-1, using accurate broad-band X-ray data obtained in the soft spectral state by simultaneous NICER and NuSTAR observations, supplemented at high energies by INTEGRAL data. We use the relativistic disk model kerrbb together with different models of the Comptonization high energy tail and the relativistically-broadened reflection features. Unlike most previous studies, we tie the spin parameters of the disk and relativistic broadening models, thus combining the continuum and reflection methods of spin determination. We also consider a likely increase of the disk color correction due to a partial support of the disk by large scale magnetic fields. We find that such models yield the spin parameter of $a_*= 0.87^{+0.04}_{-0.03}$ if the disk inclination is allowed to be free, with $i= 39^{+1}_{-1}$ degree. Assuming $i=27.5$ degree, as determined by optical studies of the binary, worsens the fit, but leads to similar values of the spin, $a_*= 0.90^{+0.01}_{-0.01}$. In addition, we consider the presence of a warm Comptonization layer on top of the disk, motivated by successful modeling of soft X-ray excesses in other sources with such a model. This dramatically lowers the spin, to $a_*\lesssim 0.1$, consistent with the spin measurements from black-hole mergers. On the other hand, if the natal spin of Cyg X-1 was low but now $a_*\approx 0.9$, a period of effective super-critical accretion had to take place in the past. Such accretion could be facilitated by photon advection, as proposed for ultraluminous X-ray sources.
△ Less
Submitted 19 April, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Elementary excitations of single-photon emitters in hexagonal Boron Nitride
Authors:
Jonathan Pelliciari,
Enrique Mejia,
John M. Woods,
Yanhong Gu,
Jiemin Li,
Saroj B. Chand,
Shiyu Fan,
Kenji Watanabe,
Takashi Taniguchi,
Valentina Bisogni,
Gabriele Grosso
Abstract:
Single-photon emitters serve as building blocks for many emerging concepts in quantum photonics. The recent identification of bright, tunable, and stable emitters in hexagonal boron nitride (hBN) has opened the door to quantum platforms operating across the infrared to ultraviolet spectrum. While it is widely acknowledged that defects are responsible for single-photon emitters in hBN, crucial deta…
▽ More
Single-photon emitters serve as building blocks for many emerging concepts in quantum photonics. The recent identification of bright, tunable, and stable emitters in hexagonal boron nitride (hBN) has opened the door to quantum platforms operating across the infrared to ultraviolet spectrum. While it is widely acknowledged that defects are responsible for single-photon emitters in hBN, crucial details regarding their origin, electronic levels, and orbital involvement remain unknown. Here, we employ a combination of resonant inelastic X-ray scattering and photoluminescence spectroscopy in defective hBN unveiling an elementary excitation at 285 meV that gives rise to a plethora of harmonics correlated with single-photon emitters. We discuss the importance of N $π^*$ antibonding orbitals in shaping the electronic states of the emitters. The discovery of the elementary excitations of hBN provides new fundamental insights into quantum emission in low-dimensional materials, paving the way for future investigations in other platforms.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Anisotropy-assisted thermodynamic advantage of a local-spin thermal machine
Authors:
Chayan Purkait,
Suman Chand,
Asoka Biswas
Abstract:
We study quantum Otto thermal machines with a two-spin working system coupled by anisotropic interaction. Depending on the choice of different parameters, the quantum Otto cycle can function as different thermal machines, including a heat engine, refrigerator, accelerator and heater. We aim to investigate how the anisotropy plays a fundamental role in the performance of the quantum Otto engine ope…
▽ More
We study quantum Otto thermal machines with a two-spin working system coupled by anisotropic interaction. Depending on the choice of different parameters, the quantum Otto cycle can function as different thermal machines, including a heat engine, refrigerator, accelerator and heater. We aim to investigate how the anisotropy plays a fundamental role in the performance of the quantum Otto engine operating in different time scales. We find that while the efficiency of the engine efficiency increases with the increase in anisotropy for the quasistatic operation, quantum internal friction and incomplete thermalization degrade the performance in a finite time cycle. Further, we study the QOE with one of the spins, the local spin, as the working system. We show that the efficiency of such an engine can surpass the standard quantum Otto limit, along with maximum power, thanks to the anisotropy. This can be attributed to quantum interference effects. We demonstrate that the enhanced performance of a local-spin QOE originates from the same interference effects, as in a measurement-based QOE for their finite time operation.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
Black hole spin measurements in LMC X-1 and Cyg X-1 are highly model-dependent
Authors:
Andrzej A. Zdziarski,
Srimanta Banerjee,
Swadesh Chand,
Gulab Dewangan,
Ranjeev Misra,
Michal Szanecki,
Andrzej Niedzwiecki
Abstract:
The black-hole spin parameter, $a_*$, was measured to be close to its maximum value of 1 in many accreting X-ray binaries. In particular, $a_*\gtrsim 0.9$ was found in a number of studies of LMC X-1. These measurements were claimed to take into account both statistical and systematic uncertainties. We perform new measurements using a recent simultaneous observation by NICER and NuSTAR, providing a…
▽ More
The black-hole spin parameter, $a_*$, was measured to be close to its maximum value of 1 in many accreting X-ray binaries. In particular, $a_*\gtrsim 0.9$ was found in a number of studies of LMC X-1. These measurements were claimed to take into account both statistical and systematic uncertainties. We perform new measurements using a recent simultaneous observation by NICER and NuSTAR, providing a data set of high quality. We use the disk continuum method together with improved models for coronal Comptonization. With the standard relativistic disk model and optically thin Comptonization, we obtain values of $a_*$ similar to those obtained before. We then consider modifications to the standard model. Using a color correction of 2, we find $a_*\approx 0.64$--0.84. We then consider disks with dissipation in surface layers. To account for that, we assume the standard disk is covered by a warm and optically thick Comptonizing layer. Our model with the lowest $χ^2$ yields then $a_*\approx 0.40^{+0.41}_{-0.32}$. In order to test the presence of such effects in other sources, we also study an X-ray observation of Cyg X-1 by Suzaku in the soft state. We confirm the previous findings of $a_*>0.99$ using the standard model, but then we find a weakly constrained $a_*\approx 0.82^{+0.16}_{-0.74}$ when including an optically thick Comptonizing layer. We conclude that determinations of the spin using the continuum method can be highly sensitive to the assumptions about the disk structure.
△ Less
Submitted 1 January, 2024; v1 submitted 11 August, 2023;
originally announced August 2023.
-
GeoCovaxTweets: COVID-19 Vaccines and Vaccination-specific Global Geotagged Twitter Conversations
Authors:
Pardeep Singh,
Rabindra Lamsal,
Monika,
Satish Chand,
Bhawna Shishodia
Abstract:
Social media platforms provide actionable information during crises and pandemic outbreaks. The COVID-19 pandemic has imposed a chronic public health crisis worldwide, with experts considering vaccines as the ultimate prevention to achieve herd immunity against the virus. A proportion of people may turn to social media platforms to oppose vaccines and vaccination, hindering government efforts to e…
▽ More
Social media platforms provide actionable information during crises and pandemic outbreaks. The COVID-19 pandemic has imposed a chronic public health crisis worldwide, with experts considering vaccines as the ultimate prevention to achieve herd immunity against the virus. A proportion of people may turn to social media platforms to oppose vaccines and vaccination, hindering government efforts to eradicate the virus. This paper presents the COVID-19 vaccines and vaccination-specific global geotagged tweets dataset, GeoCovaxTweets, that contains more than 1.8 million tweets, with location information and longer temporal coverage, originating from 233 countries and territories between January 2020 and November 2022. The paper discusses the dataset's curation method and how it can be re-created locally, and later explores the dataset through multiple tweets distributions and briefly discusses its potential use cases. We anticipate that the dataset will assist the researchers in the crisis computing domain to explore the conversational dynamics of COVID-19 vaccines and vaccination Twitter discourse through numerous spatial and temporal dimensions concerning trends, shifts in opinions, misinformation, and anti-vaccination campaigns.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Pairing-Friendly Elliptic Curves: Revisited Taxonomy, Attacks and Security Concern
Authors:
Mahender Kumar,
Satish Chand
Abstract:
Major families of pairing-friendly elliptic curves, including BN, BLS12, BLS24, KSS16, and KSS18 have recently been vulnerable to number field sieve (NFS) attacks. Due to the recent attacks on discrete logs in F_(q^k ), selecting such curves became relevant again. This paper revisited the topic of selecting pairing-friendly curves at different security levels. First, we expanded the classification…
▽ More
Major families of pairing-friendly elliptic curves, including BN, BLS12, BLS24, KSS16, and KSS18 have recently been vulnerable to number field sieve (NFS) attacks. Due to the recent attacks on discrete logs in F_(q^k ), selecting such curves became relevant again. This paper revisited the topic of selecting pairing-friendly curves at different security levels. First, we expanded the classification given by Freeman et al. [1] by identifying new families that were not previously mentioned, such as a complete family with variable differentiation and new sparse families of curves. We discussed individual curves and a comprehensive framework for constructing parametric families. We estimated the security and assessed families of the pairing-friendly curve to discover families of curves better than BN, KSS, and BLS in terms of the required key size. We also evaluated the complexity of the optimal ate pairing that has never been discussed before, except by Barbulescu et al. [2]. We demonstrated that the recent attack (TNFS) on pairing needs to increase the key size. We compared families of curves in the context of key size and selected a suitable alternative to an elliptic curve.
△ Less
Submitted 4 December, 2022;
originally announced December 2022.
-
Interaction-driven transport of dark excitons in 2D semiconductors with phonon-mediated optical readout
Authors:
Saroj B. Chand,
John M. Woods,
Jiamin Quan,
Enrique Mejia,
Takashi Taniguchi,
Kenji Watanabe,
Andrea Alù,
Gabriele Grosso
Abstract:
The growing field of quantum information technology requires propagation of information over long distances with efficient readout mechanisms. Excitonic quantum fluids have emerged as a powerful platform for this task due to their straightforward electro-optical conversion. In two-dimensional transition metal dichalcogenides, the coupling between spin and valley provides exciting opportunities for…
▽ More
The growing field of quantum information technology requires propagation of information over long distances with efficient readout mechanisms. Excitonic quantum fluids have emerged as a powerful platform for this task due to their straightforward electro-optical conversion. In two-dimensional transition metal dichalcogenides, the coupling between spin and valley provides exciting opportunities for harnessing, manipulating and storing bits of information. However, the large inhomogeneity of single layers cannot be overcome by the properties of bright excitons, hindering spin-valley transport. Nonetheless, the rich band structure supports dark excitonic states with strong binding energy and longer lifetime, ideally suited for long-range transport. Here we show that dark excitons can diffuse over several micrometers and prove that this repulsion-driven propagation is robust across non-uniform samples. The long-range propagation of dark states with an optical readout mediated by chiral phonons provides a new concept of excitonic devices for applications in both classical and quantum information technology.
△ Less
Submitted 10 April, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Emergence of new optical resonances in single-layer transition metal dichalcogenides with atomic-size phase patterns
Authors:
John M. Woods,
Saroj B. Chand,
Enrique Mejia,
Takashi Taniguchi,
Kenji Watanabe,
Johannes Flick,
Gabriele Grosso
Abstract:
Atomic-scale control of light-matter interactions represent the ultimate frontier for many applications in photonics and quantum technology. Two-dimensional semiconductors, including transition metal dichalcogenides, are a promising platform to achieve such control due to the combination of an atomically thin geometry and convenient photophysical properties. Here, we demonstrate that a variety of…
▽ More
Atomic-scale control of light-matter interactions represent the ultimate frontier for many applications in photonics and quantum technology. Two-dimensional semiconductors, including transition metal dichalcogenides, are a promising platform to achieve such control due to the combination of an atomically thin geometry and convenient photophysical properties. Here, we demonstrate that a variety of durable polymorphic structures can be combined to generate additional optical resonances beyond the standard excitons. We theoretically predict and experimentally show that atomic-sized patches of 1T phase within the 1H matrix form unique electronic bands that give rise to new and robust optical resonances with strong absorption, circularly polarized emission and long radiative lifetime. The atomic manipulation of two-dimensional semiconductors opens unexplored scenarios for light harvesting devices and exciton-based photonics.
△ Less
Submitted 11 April, 2024; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Analyzing and modeling network travel patterns during the Ukraine invasion using crowd-sourced pervasive traffic data
Authors:
S. Travis Waller,
Moeid Qurashi,
Anna Sotnikova,
Lavina Karva,
Sai Chand
Abstract:
In 2022, Ukraine is suffering an invasion which has resulted in acute impacts playing out over time and geography. This paper examines the impact of the ongoing disruption on traffic behavior using analytics as well as zonal-based network models. The methodology is a data-driven approach that utilizes obtained travel-time conditions within an evolutionary algorithm framework which infers origin-de…
▽ More
In 2022, Ukraine is suffering an invasion which has resulted in acute impacts playing out over time and geography. This paper examines the impact of the ongoing disruption on traffic behavior using analytics as well as zonal-based network models. The methodology is a data-driven approach that utilizes obtained travel-time conditions within an evolutionary algorithm framework which infers origin-destination demand values in an automated process based on traffic assignment. Because of the automation of the implementation, numerous daily models can be approximated for multiple cities. The novelty of this paper versus the previously published core methodology includes an analysis to ensure the obtained data is appropriate since some data sources were disabled due to the ongoing disruption. Further, novelty includes a direct linkage of the analysis to the timeline of disruptions to examine the interaction in a new way. Finally, specific network metrics are identified which are particularly suited for conceptualizing the impact of conflict disruptions on traffic network conditions. The ultimate aim is to establish processes, concepts and analysis to advance the broader activity of rapidly quantifying the traffic impacts of conflict scenarios.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
MAP-Elites based Hyper-Heuristic for the Resource Constrained Project Scheduling Problem
Authors:
Shelvin Chand,
Kousik Rajesh,
Rohitash Chandra
Abstract:
The resource constrained project scheduling problem (RCPSP) is an NP-Hard combinatorial optimization problem. The objective of RCPSP is to schedule a set of activities without violating any activity precedence or resource constraints. In recent years researchers have moved away from complex solution methodologies, such as meta heuristics and exact mathematical approaches, towards more simple intui…
▽ More
The resource constrained project scheduling problem (RCPSP) is an NP-Hard combinatorial optimization problem. The objective of RCPSP is to schedule a set of activities without violating any activity precedence or resource constraints. In recent years researchers have moved away from complex solution methodologies, such as meta heuristics and exact mathematical approaches, towards more simple intuitive solutions like priority rules. This often involves using a genetic programming based hyper-heuristic (GPHH) to discover new priority rules which can be applied to new unseen cases. A common problem affecting GPHH is diversity in evolution which often leads to poor quality output. In this paper, we present a MAP-Elites based hyper-heuristic (MEHH) for the automated discovery of efficient priority rules for RCPSP. MAP-Elites uses a quality diversity based approach which explicitly maintains an archive of diverse solutions characterised along multiple feature dimensions. In order to demonstrate the benefits of our proposed hyper-heuristic, we compare the overall performance against a traditional GPHH and priority rules proposed by human experts. Our results indicate strong improvements in both diversity and performance. In particular we see major improvements for larger instances which have been under-studied in the existing literature.
△ Less
Submitted 23 April, 2022;
originally announced April 2022.
-
Quasistationary Distribution for the Invasion Model on a Complete Bipartite Graph
Authors:
Iddo Ben-Ari,
Clayton Allard,
Shrikant Chand,
Van Hovenga,
Edith Lee,
Julia Shapiro
Abstract:
The Invasion Model on the complete bibartitle graph was introduced and studied by physicists as a rudimentary model for opinion dynamics on complex networks. We identify the limit of the Quasistationary distribution for the model as one partition size tends to infinity. The limit is a highly dispersed measure. A distinctive feature of the model is that of two time scales with non-trivial interacti…
▽ More
The Invasion Model on the complete bibartitle graph was introduced and studied by physicists as a rudimentary model for opinion dynamics on complex networks. We identify the limit of the Quasistationary distribution for the model as one partition size tends to infinity. The limit is a highly dispersed measure. A distinctive feature of the model is that of two time scales with non-trivial interaction. The work and the results complement and are in sharp contrast to the analogous results on the closely related Voter Model.
△ Less
Submitted 6 May, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Serverless Architecture for Bulk Email Management
Authors:
Bazaru Priyatham Sai Chand
Abstract:
Sending emails in large quantities can be tedious considering free services do not cover bulk email and paid services can be costly and are not easy to customize. Traditional email client used for basic emailing services fail to be useful in larger volumes of emails to target people or spread information to consented individuals. This paper proposes a serverless architecture to tackle such problem…
▽ More
Sending emails in large quantities can be tedious considering free services do not cover bulk email and paid services can be costly and are not easy to customize. Traditional email client used for basic emailing services fail to be useful in larger volumes of emails to target people or spread information to consented individuals. This paper proposes a serverless architecture to tackle such problems by using one such offering from the Amazon Web Services(AWS) API which can be easily replaced by a software architects choice of service. The constraints help to make an architecture using components that can fit most of the needs of a serverless backend and extend it to scenarios such mobile notifications, One Time Password (OTP) systems or other means of communication to minimize single point of failure and also decrease the dependency on physical servers for such operations offering a comparable solution within the cloud. The architecture proposed is tested to find the time taken to send the emails of various quantities and see how it affects the cost. The architecture was successful able to send multiple emails in a quick and single invocation and has demonstrated a higher level of scalability compared to conventional methods.
△ Less
Submitted 13 December, 2021;
originally announced January 2022.
-
Leptogenesis from a feebly interacting dark matter sector
Authors:
Suresh Chand,
Mariana Frank,
Poulose Poulose
Abstract:
We perform an analysis of leptogenesis in the context of a simple extension of the Standard Model by two fermions; one charged ($χ$) and one neutral ($ψ$), in addition to three right-handed neutrinos, $N_i$, interacting through a charged gauge singlet scalar $S$. The dark sector ($χ$, $ψ$ and $S$) interacts feebly and produces a relic density consistent with measurements. The decay of right-handed…
▽ More
We perform an analysis of leptogenesis in the context of a simple extension of the Standard Model by two fermions; one charged ($χ$) and one neutral ($ψ$), in addition to three right-handed neutrinos, $N_i$, interacting through a charged gauge singlet scalar $S$. The dark sector ($χ$, $ψ$ and $S$) interacts feebly and produces a relic density consistent with measurements. The decay of right-handed neutrinos into the charged scalar $S$ and lepton provides an additional source of CP asymmetry, along with contributing through the virtual exchange of $S$ in the standard decay channel. With this the out-of-equilibrium decay of right-handed neutrinos, combined with lepton number changing scattering processes can generate the required baryon asymmetry of the universe even for right-handed neutrino masses in 10 TeV region, without requiring neutrinos to have degenerate masses.
△ Less
Submitted 1 February, 2022; v1 submitted 20 January, 2022;
originally announced January 2022.
-
Visualization of dark excitons in semiconductor monolayers for high-sensitivity strain sensing
Authors:
Saroj B. Chand,
John M. Woods,
Enrique Mejia,
Takashi Taniguchi,
Kenji Watanabe,
Gabriele Grosso
Abstract:
Transition metal dichalcogenides (TMDs) are layered materials that have a semiconducting phase with many advantageous optoelectronic properties, including tightly bound excitons and spin-valley locking. In Tungsten-based TMDs, spin and momentum forbidden transitions give rise to dark excitons that typically are optically inaccessible but represent the lowest excitonic states of the system. Dark ex…
▽ More
Transition metal dichalcogenides (TMDs) are layered materials that have a semiconducting phase with many advantageous optoelectronic properties, including tightly bound excitons and spin-valley locking. In Tungsten-based TMDs, spin and momentum forbidden transitions give rise to dark excitons that typically are optically inaccessible but represent the lowest excitonic states of the system. Dark excitons can deeply affect transport, dynamics and coherence of bright excitons, hampering device performance. Therefore, it is crucial to create conditions in which these excitonic states can be visualized and controlled. Here, we show that compressive strain in WS2 enables phonon scattering of photoexcited electrons between momentum valleys, enhancing the formation of dark intervalley excitons. We show that the emission and spectral properties of momentum-forbidden excitons are accessible and strongly depend on the local strain environment that modifies the band alignment. This mechanism is further exploited for strain sensing in two-dimensional semiconductors revealing a gauge factor exceeding 10^4.
△ Less
Submitted 10 March, 2022; v1 submitted 9 January, 2022;
originally announced January 2022.
-
An efficient mining scheme for high utility itemsets
Authors:
Pushp,
Satish Chand
Abstract:
Knowledge discovery in databases aims at finding useful information, which can be deployed for decision making. The problem of high utility itemset mining has specifically garnered huge research focus in the past decade, as it aims to find the patterns from the databases that conform to an objective utility function. Several algorithms exist in literature to mine the high utility items from the da…
▽ More
Knowledge discovery in databases aims at finding useful information, which can be deployed for decision making. The problem of high utility itemset mining has specifically garnered huge research focus in the past decade, as it aims to find the patterns from the databases that conform to an objective utility function. Several algorithms exist in literature to mine the high utility items from the databases; however, most of them require large execution time and have high memory consumption. In this paper, we propose a new algorithm, R-Miner, based on a novel data structure, called the residue maps, that stores the utility information of an item directly and is used for the mining process. Several experiments are undertaken to assess the efficacy of the proposed algorithm against the benchmark algorithms. The experimental results indicate that the R-Miner algorithm outperforms the state-of-the-art mining algorithms.
△ Less
Submitted 12 April, 2022; v1 submitted 26 December, 2021;
originally announced December 2021.
-
AstroSat view of the newly discovered X-ray transient MAXI~J1803--298 in the Hard-intermediate state
Authors:
Swadesh Chand,
G. C. Dewangan,
Parijat Thakur,
Prakash Tripathi,
V. K. Agrawal
Abstract:
We perform comprehensive temporal and spectral analysis of the newly discovered X-ray transient MAXI~J1803--298 using an AstroSat target of opportunity observation on May 11, 2021 during its outburst. The source was found to be in the hard intermediate state. We detect type C quasi-periodic oscillations (QPOs) at the frequencies of $\sim5.4$ Hz and $\sim6.3$ Hz along with a sub-harmonic at…
▽ More
We perform comprehensive temporal and spectral analysis of the newly discovered X-ray transient MAXI~J1803--298 using an AstroSat target of opportunity observation on May 11, 2021 during its outburst. The source was found to be in the hard intermediate state. We detect type C quasi-periodic oscillations (QPOs) at the frequencies of $\sim5.4$ Hz and $\sim6.3$ Hz along with a sub-harmonic at $\sim2.8$ Hz in the $3-15$ keV band. The frequency and fractional rms amplitude of the QPO in the $15-30$ keV band are found to be higher than those in the $3-15$ keV band. We find soft lags of $\sim3.8$ ms and $\sim6.8$ ms for the respective QPOs at $\sim5.4$ Hz and $\sim6.3$ Hz, whereas soft lag of $\sim4.7$ ms is found at the sub-harmonic frequency. The increase in the soft lags at the QPO frequencies with energy is also observed in other black hole transients and is attributed to the inclination dependence of the lags. The rms-energy spectra indicate the power-law component to be more variable than the disk and the reflection components. We find a broad iron line with an equivalent width of $\sim0.17-0.19$ keV and a reflection hump above $\sim12$ keV in the energy spectrum. Based on the X-ray spectroscopy and considering the distance to the source as 8 kpc, the estimated mass ($\sim8.5-16$ M$_\odot$) and spin ($a\gtrsim0.7$) of the black hole suggest that the source is likely to be a stellar mass Kerr black hole X-ray binary.
△ Less
Submitted 15 May, 2022; v1 submitted 7 December, 2021;
originally announced December 2021.
-
Recommending Researchers in Machine Learning based on Author-Topic Model
Authors:
Deepak Sharma,
Bijendra Kumar,
Satish Chand
Abstract:
The aim of this paper is to uncover the researchers in machine learning using the author-topic model (ATM). We collect 16,855 scientific papers from six top journals in the field of machine learning published from 1997 to 2016 and analyze them using ATM. The dataset is broken down into 4 intervals to identify the top researchers and find similar researchers using their similarity score. The simila…
▽ More
The aim of this paper is to uncover the researchers in machine learning using the author-topic model (ATM). We collect 16,855 scientific papers from six top journals in the field of machine learning published from 1997 to 2016 and analyze them using ATM. The dataset is broken down into 4 intervals to identify the top researchers and find similar researchers using their similarity score. The similarity score is calculated using Hellinger distance. The researchers are plotted using t-SNE, which reduces the dimensionality of the data while keeping the same distance between the points. The analysis of our study helps the upcoming researchers to find the top researchers in their area of interest.
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
-
Pairing for Greenhorn: Survey and Future Perspective
Authors:
Mahender Kumar,
Satish Chand
Abstract:
Pairing is the most powerful tool in cryptography that maps two points on the elliptic curve to the group over the finite field. Mostly cryptographers consider pairing as a black box and use it for implementing pairing-based cryptographic protocols. This paper aims to give the overview of pairing as simple as possible for greenhorn and those who are working and wish to work in the pairing. The pap…
▽ More
Pairing is the most powerful tool in cryptography that maps two points on the elliptic curve to the group over the finite field. Mostly cryptographers consider pairing as a black box and use it for implementing pairing-based cryptographic protocols. This paper aims to give the overview of pairing as simple as possible for greenhorn and those who are working and wish to work in the pairing. The paper gives the concrete background of pairing and recommends an appropriate pairing among different choices for constructing pairing-based cryptographic protocols. We also analyze the bandwidth and computational efficiency of pairing and submitting those pairing suitable for implementing a cryptographic protocol for lightweight devices. Additionally, we discuss the extension of bilinear pairing to tri-linear and multilinear pairing and discuss a few assumptions to check their feasibility to implement multilinear pairing.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Finite-time performance of a single-ion quantum Otto engine
Authors:
Suman Chand,
Shubhrangshu Dasgupta,
Asoka Biswas
Abstract:
We study how a quantum heat engine based on a single trapped ion performs in finite time. The always-on thermal environment acts like the hot bath, while the motional degree of freedom of the ion plays the role of the effective cold bath. The hot isochoric stroke is implemented via the interaction of the ion with its hot environment, while a projective measurement of the internal state of the ion…
▽ More
We study how a quantum heat engine based on a single trapped ion performs in finite time. The always-on thermal environment acts like the hot bath, while the motional degree of freedom of the ion plays the role of the effective cold bath. The hot isochoric stroke is implemented via the interaction of the ion with its hot environment, while a projective measurement of the internal state of the ion is performed as an equivalent to the cold isochoric stroke. The expansion and compression strokes are implemented via suitable change in applied magnetic field. We study in detail how the finite duration of each stroke affects the engine performance. We show that partial thermalization can in fact enhance the efficiency of the engine, due to the residual coherence, whereas faster expansion and compression strokes increase the inner friction and therefore reduce the efficiency.
△ Less
Submitted 12 June, 2021;
originally announced June 2021.
-
AstroSat Observation of 2016 Outburst of H 1743-322
Authors:
Swadesh Chand,
V. K. Agrawal,
G. C. Dewangan,
Prakash Tripathi,
Parijat Thakur
Abstract:
We present the detection of type C quasi-periodic oscillation (QPO) along with upper harmonic at respective frequencies of $\sim0.6$ Hz and $\sim1.2$ Hz in the single AstroSat observation taken during the 2016 outburst of the low-mass black hole X-ray binary H~1743--322. These frequencies are found to be shifted by $\sim0.4$ Hz for the QPO and $\sim0.8$ Hz for the upper harmonic with respect to th…
▽ More
We present the detection of type C quasi-periodic oscillation (QPO) along with upper harmonic at respective frequencies of $\sim0.6$ Hz and $\sim1.2$ Hz in the single AstroSat observation taken during the 2016 outburst of the low-mass black hole X-ray binary H~1743--322. These frequencies are found to be shifted by $\sim0.4$ Hz for the QPO and $\sim0.8$ Hz for the upper harmonic with respect to that found in the simultaneous \textit{XMM-Newton} and \textit{NuSTAR} observation taken five days later than the AstroSat observation, indicating a certain geometrical change in the system. However, the centroid frequency of the QPO and the upper harmonic do not change with energy, indicating the energy-independent nature. The decreasing trend in the fractional rms of the QPO with energy is consistent with the previous results for this source in the low/hard state. The value of the photon index ($Γ\sim1.67$) also indicates that the source was in the low/hard state during this particular observation. In addition, similar to the \textit{XMM-Newton} observations during the same outburst, we find a hard lag of $\sim21$ ms in the frequency range of $\sim1-5$ Hz. The log-linear trend between the averaged time lag and energy indicates the propagation of fluctuations in the mass accretion rate from outer part of the accretion disk to the inner hot regions.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Non-Sinusoidal Transit Timing Variations for the Exoplanet HAT-P-12b
Authors:
Devesh P. Sariya,
Ing-Guey Jiang,
Li-Hsin Su,
Li-Chin Yeh,
Tze-En Chang,
V. V. Moskvin,
A. A. Shlyapnikov,
V. Ignatov,
David Mkrtichian,
Evgeny Griv,
Vineet Kumar Mannaday,
Parijat Thakur,
D. K. Sahu,
Swadesh Chand,
D. Bisht,
Zhao Sun,
Jianghui Ji
Abstract:
Considering the importance of investigating the transit timing variations (TTVs) of transiting exoplanets, we present a follow-up study of HAT-P-12b. We include six new light curves observed between 2011 and 2015 from three different observatories, in association with 25 light curves taken from the published literature. The sample of the data used, thus covers a time span of about 10.2 years with…
▽ More
Considering the importance of investigating the transit timing variations (TTVs) of transiting exoplanets, we present a follow-up study of HAT-P-12b. We include six new light curves observed between 2011 and 2015 from three different observatories, in association with 25 light curves taken from the published literature. The sample of the data used, thus covers a time span of about 10.2 years with a large coverage of epochs (1160) for the transiting events of the exoplanet HAT-P-12b. The light curves are used to determine the orbital parameters and conduct an investigation of possible transit timing variations. The new linear ephemeris shows a large value of reduced chi-square = 7.93, and the sinusoidal fitting using the prominent frequency coming from a periodogram shows a reduced chi-square around 4. Based on these values and the corresponding O-C diagrams, we suspect the presence of a possible non-sinusoidal TTV in this planetary system. Finally, we find that a scenario with an additional non-transiting exoplanet could explain this TTV with an even smaller reduced chi-square value of around 2.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Are There Transit Timing Variations for the Exoplanet Qatar-1b ?
Authors:
Li-Hsin Su,
Ing-Guey Jiang,
Devesh P. Sariya,
Chiao-Yu Lee,
Li-Chin Yeh,
Vineet Kumar Mannaday,
Parijat Thakur,
D. K. Sahu,
Swadesh Chand,
A. A. Shlyapnikov,
V. V. Moskvin,
Vladimir Ignatov,
David Mkrtichian,
Evgeny Griv
Abstract:
Motivated by the unsettled conclusion on whether there are any transit timing variations (TTVs) for the exoplanet Qatar-1b, 10 new transit light curves are presented and the TTV analysis with a baseline of 1400 epochs are performed. Because the linear model provides a good fitting with reduced chi-square = 2.59 and the false-alarm probabilities of possible TTV frequencies are as large as 35 %, our…
▽ More
Motivated by the unsettled conclusion on whether there are any transit timing variations (TTVs) for the exoplanet Qatar-1b, 10 new transit light curves are presented and the TTV analysis with a baseline of 1400 epochs are performed. Because the linear model provides a good fitting with reduced chi-square = 2.59 and the false-alarm probabilities of possible TTV frequencies are as large as 35 %, our results are consistent with a null-TTV model. Nevertheless, a new ephemeris with the reference time T_0 = 2455647.63360\pm 0.00008 (BJD) and the period P= 1.4200236\pm 0.0000001 (day) is obtained. In addition, the updated orbital semi-major axis and planetary radius in unit of stellar radius are being provided, and the lower limit of modified stellar tidal quality factor is also determined.
△ Less
Submitted 17 December, 2020; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Investigating Extra-solar Planetary System Qatar-1 through Transit Observations
Authors:
Parijat Thakur,
Vineet Kumar Mannaday,
Ing-Guey Jiang,
D. K. Sahu,
Swadesh Chand
Abstract:
We report the results of the transit timing variation (TTV) analysis of the extra-solar planet Qatar-1b using thirty eight light curves. Our analysis combines thirty five previously available transit light curves with three new transits observed by us between June 2016 and September 2016 using the 2-m Himalayan Chandra Telescope (HCT) at the Indian Astronomical Observatory (Hanle, India). From the…
▽ More
We report the results of the transit timing variation (TTV) analysis of the extra-solar planet Qatar-1b using thirty eight light curves. Our analysis combines thirty five previously available transit light curves with three new transits observed by us between June 2016 and September 2016 using the 2-m Himalayan Chandra Telescope (HCT) at the Indian Astronomical Observatory (Hanle, India). From these transit data, the physical and orbital parameters of the Qatar-1 system are determined. In addition to this, the ephemeris for the orbital period and mid-transit time are refined to investigate the possible TTV. We find that the null-TTV model provides the better fit to the (O-C) data. This indicates that there is no evidence for TTVs to confirm the presence of additional planets in the Qatar-1 system. The use of the 3.6-m Devasthal Optical Telescope (DOT) operated by the Aryabhatta Research Institute of Observational Sciences (ARIES, Nainital, India) could improve the photometric precision to examine the signature of TTVs in this system with a greater accuracy than in the present work.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Path Towards Multilevel Evolution of Robots
Authors:
Shelvin Chand,
David Howard
Abstract:
Multi-level evolution is a bottom-up robotic design paradigm which decomposes the design problem into layered sub-tasks that involve concurrent search for appropriate materials, component geometry and overall morphology. Each of the three layers operate with the goal of building a library of diverse candidate solutions which will be used either as building blocks for the layer above or provided to…
▽ More
Multi-level evolution is a bottom-up robotic design paradigm which decomposes the design problem into layered sub-tasks that involve concurrent search for appropriate materials, component geometry and overall morphology. Each of the three layers operate with the goal of building a library of diverse candidate solutions which will be used either as building blocks for the layer above or provided to the decision maker for final use. In this paper we provide a theoretical discussion on the concepts and technologies that could potentially be used as building blocks for this framework.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
2016 outburst of H~1743--322: \textit{XMM-Newton} and \textit{NuSTAR} view
Authors:
Swadesh Chand,
V. K. Agrawal,
G. C. Dewangan,
Prakash Tripathi,
Parijat Thakur
Abstract:
We report the detection of type C QPO along with the upper harmonic in the commensurate ratio of 1:2 in the two observations of the low-mass black hole transient H~1743--322 jointly observed by \textit{XMM-Newton} and \textit{NuSTAR} during the 2016 outburst. We find that the QPO and the upper harmonic exhibit shifts in their centroid frequencies in the second observation with respect to the first…
▽ More
We report the detection of type C QPO along with the upper harmonic in the commensurate ratio of 1:2 in the two observations of the low-mass black hole transient H~1743--322 jointly observed by \textit{XMM-Newton} and \textit{NuSTAR} during the 2016 outburst. We find that the QPO and the upper harmonic exhibit shifts in their centroid frequencies in the second observation with respect to the first one. The hardness intensity diagram implies that in contrast to 2008 and 2014 failed outbursts, 2016 outburst was a successful one. We also detect the presence of a broad iron K$α$ line at $\sim$6.5 keV and reflection hump in the energy range of 15--30 keV in both the observations. Along with the shape of the power density spectra, the nature of the characteristic frequencies and the fractional rms amplitude of the timing features imply that the source stayed in the low/hard state during these observations. Moreover, photon index and other spectral parameters also indicate the low/hard state behavior of the source. Unlike the soft lag detected in this source during the 2008 and 2014 failed outbursts, we observe hard time-lag of $0.40\pm0.15$ and $0.32\pm0.07$ s in the 0.07--0.4 Hz frequency range in the two observations during the 2016 outburst. The correlation between the photon index and the centroid frequency of the QPO is consistent with the previous results. Furthermore, the high value of the Comptonized fraction and the weak thermal component indicate that the QPO is being modulated by the Comptonization process.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
What's Live? Understanding Distributed Consensus
Authors:
Saksham Chand,
Yanhong A Liu
Abstract:
Distributed consensus algorithms such as Paxos have been studied extensively. They all use the same definition of safety. Liveness is especially important in practice despite well-known theoretical impossibility results. However, many different liveness properties and assumptions have been stated, and there are no systematic comparisons for better understanding of these properties.
This paper sy…
▽ More
Distributed consensus algorithms such as Paxos have been studied extensively. They all use the same definition of safety. Liveness is especially important in practice despite well-known theoretical impossibility results. However, many different liveness properties and assumptions have been stated, and there are no systematic comparisons for better understanding of these properties.
This paper systematically studies and compares different liveness properties stated for over 30 prominent consensus algorithms and variants. We introduce a precise high-level language and formally specify these properties in the language. We then create a hierarchy of liveness properties combining two hierarchies of the assumptions used and a hierarchy of the assertions made, and compare the strengths and weaknesses of algorithms that ensure these properties. Our formal specifications and systematic comparisons led to the discovery of a range of problems in various stated liveness properties, from too weak assumptions for which no liveness assertions can hold, to too strong assumptions making it trivial to achieve the assertions. We also developed TLA+ specifications of these liveness properties, and we use model checking of execution steps to illustrate liveness patterns for Paxos.
△ Less
Submitted 21 June, 2021; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Loosely Coupled Payload Transport System with Robot Replacement
Authors:
Pulkit Verma,
Rahul Tallamraju,
Abhay Rawat,
Subhasis Chand,
Kamalakar Karlapalem
Abstract:
In this work, we present an algorithm for robot replacement to increase the operational time of a multi-robot payload transport system. Our system comprises a group of nonholonomic wheeled mobile robots traversing on a known trajectory. We design a multi-robot system with loosely coupled robots that ensures the system lasts much longer than the battery life of an individual robot. A system level o…
▽ More
In this work, we present an algorithm for robot replacement to increase the operational time of a multi-robot payload transport system. Our system comprises a group of nonholonomic wheeled mobile robots traversing on a known trajectory. We design a multi-robot system with loosely coupled robots that ensures the system lasts much longer than the battery life of an individual robot. A system level optimization is presented, to decide on the operational state (charging or discharging) of each robot in the system. The charging state implies that the robot is not in a formation and is kept on charge whereas the discharging state implies that the robot is a part of the formation. Robot battery recharge hubs are present along the trajectory. Robots in the formation can be replaced at these hub locations with charged robots using a replacement mechanism. We showcase the efficacy of the proposed scheduling framework through simulations and experiments with real robots.
△ Less
Submitted 8 September, 2019; v1 submitted 5 April, 2019;
originally announced April 2019.
-
Parts formulas involving the Fourier-Feynman transform associated with Gaussian process on Wiener space
Authors:
Seung Jun Chand,
Jae Gil Choi
Abstract:
In this paper, using a very general Cameron--Storvick theorem on the Wiener space $C_0[0,T]$, we establish various integration by parts formulas involving generalized analytic Feynman integrals, generalized analytic Fourier--Feynman transforms, and the first variation (associated with Gaussian processes) of functionals $F$ on $C_0[0,T]$ having the form…
▽ More
In this paper, using a very general Cameron--Storvick theorem on the Wiener space $C_0[0,T]$, we establish various integration by parts formulas involving generalized analytic Feynman integrals, generalized analytic Fourier--Feynman transforms, and the first variation (associated with Gaussian processes) of functionals $F$ on $C_0[0,T]$ having the form $F(x)=f(\langle{α_1,x}\rangle, \ldots, \langle{α_n,x}\rangle)$ for scale almost every $x\in C_0[0,T]$, where $\langle{α,x}\rangle$ denotes the Paley--Wiener--Zygmund stochastic integral $\int_0^T α(t)dx(t)$, and $\{α_1,\ldots,α_n\}$ is an orthogonal set of nonzero functions in $L_2[0,T]$. The Gaussian processes used in this paper are not stationary.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
TEduChain: A Platform for Crowdsourcing Tertiary Education Fund using Blockchain Technology
Authors:
Mahmood A. Rashid,
Krishneel Deo,
Divnesh Prasad,
Kunal Singh,
Sarvesh Chand,
Mansour Assaf
Abstract:
Blockchain is an emerging technology framework for creating and storing transaction in distributed ledgers with a high degree of security and reliability. In this paper we present a blockchain-based platform to create and store contracts in between students and their higher education sponsors. The sponsorship might be in any form, such as scholarship, donation or loan. The fund will be arranged an…
▽ More
Blockchain is an emerging technology framework for creating and storing transaction in distributed ledgers with a high degree of security and reliability. In this paper we present a blockchain-based platform to create and store contracts in between students and their higher education sponsors. The sponsorship might be in any form, such as scholarship, donation or loan. The fund will be arranged and managed by a group of competitive agents (Fundraisers) who will hold the distributed ledgers and act as miners in the blockchain network.
△ Less
Submitted 24 January, 2019; v1 submitted 18 January, 2019;
originally announced January 2019.
-
Critical-point behavior of a measurement-based quantum heat engine
Authors:
Suman Chand,
Asoka Biswas
Abstract:
We study how a quantum heat engine performs across the critical value of an external parameter, pertaining to the quantum phase transition. Considering a two-ion system subjected to a magnetic field, we show that the system performs in a quantum Otto cycle above a critical value of the magnetic field, while below such critical point, it does not operate in a heat cycle at all. Moreover, at the cri…
▽ More
We study how a quantum heat engine performs across the critical value of an external parameter, pertaining to the quantum phase transition. Considering a two-ion system subjected to a magnetic field, we show that the system performs in a quantum Otto cycle above a critical value of the magnetic field, while below such critical point, it does not operate in a heat cycle at all. Moreover, at the critical point, its interaction with an ancillary ion deteriorates the performance of the system as a heat engine. We further show that a strong interaction between the constituent ions of an ion-based system is crucial for it to work in a heat-work cycle, while the coupling to the ancillary system must be minimized.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
High-level Cryptographic Abstractions
Authors:
Christopher Kane,
Bo Lin,
Saksham Chand,
Scott D. Stoller,
Yanhong A. Liu
Abstract:
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-level abstractions that require minimum knowledge and effort to use while also allowing maximum control when needed.
This paper proposes such high-level abstractions consisting of simple cryptographic primitives and full…
▽ More
The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-level abstractions that require minimum knowledge and effort to use while also allowing maximum control when needed.
This paper proposes such high-level abstractions consisting of simple cryptographic primitives and full declarative configuration. These abstractions can be implemented on top of any cryptographic library in any language. We have implemented these abstractions in Python, and used them to write a wide variety of well-known security protocols, including Signal, Kerberos, and TLS.
We show that programs using our abstractions are much smaller and easier to write than using low-level libraries, where size of security protocols implemented is reduced by about a third on average. We show our implementation incurs a small overhead, less than 5 microseconds for shared key operations and less than 341 microseconds (< 1%) for public key operations. We also show our abstractions are safe against main types of cryptographic misuse reported in the literature.
△ Less
Submitted 23 August, 2019; v1 submitted 21 October, 2018;
originally announced October 2018.
-
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
Authors:
Saksham Chand,
Yanhong A. Liu
Abstract:
This paper studies specifications and proofs of distributed algorithms when only message history variables are used, using the Basic Paxos and Multi-Paxos algorithms for distributed consensus as precise case studies. We show that not using and maintaining other state variables yields simpler specifications that are more declarative and easier to understand. It also allows easier proofs to be devel…
▽ More
This paper studies specifications and proofs of distributed algorithms when only message history variables are used, using the Basic Paxos and Multi-Paxos algorithms for distributed consensus as precise case studies. We show that not using and maintaining other state variables yields simpler specifications that are more declarative and easier to understand. It also allows easier proofs to be developed by needing fewer invariants and facilitating proof derivations. Furthermore, the proofs are mechanically checked more efficiently.
We show that specifications in TLA+, Lamport's temporal logic of actions, and proofs in TLAPS, the TLA+ Proof System (TLAPS) are reduced by a quarter or more for single-value Paxos and by about half or more for multi-value Paxos. Overall we need about half as many manually written invariants and proof obligations. Our proof for Basic Paxos takes about 25% less time for TLAPS to check, and our proofs for Multi-Paxos are checked within 1.5 minutes whereas prior proofs fail to be checked by TLAPS.
△ Less
Submitted 23 December, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
Authors:
Yanhong A. Liu,
Saksham Chand,
Scott D. Stoller
Abstract:
This paper describes the application of a high-level language and method in developing simpler specifications of more complex variants of the Paxos algorithm for distributed consensus. The specifications are for Multi-Paxos with preemption, replicated state machine, and reconfiguration and optimized with state reduction and failure detection. The language is DistAlgo. The key is to express complex…
▽ More
This paper describes the application of a high-level language and method in developing simpler specifications of more complex variants of the Paxos algorithm for distributed consensus. The specifications are for Multi-Paxos with preemption, replicated state machine, and reconfiguration and optimized with state reduction and failure detection. The language is DistAlgo. The key is to express complex control flows and synchronization conditions precisely at a high level, using nondeterministic waits and message-history queries. We obtain complete executable specifications that are almost completely declarative---updating only a number for the protocol round besides the sets of messages sent and received.
We show the following results: 1.English and pseudocode descriptions of distributed algorithms can be captured completely and precisely at a high level, without adding, removing, or reformulating algorithm details to fit lower-level, more abstract, or less direct languages. 2.We created higher-level control flows and synchronization conditions than all previous specifications, and obtained specifications that are much simpler and smaller, even matching or smaller than abstract specifications that omit many algorithm details. 3.The simpler specifications led us to easily discover useless replies, unnecessary delays, and liveness violations (if messages can be lost) in previous published specifications, by just following the simplified algorithm flows. 4.The resulting specifications can be executed directly, and we can express optimizations cleanly, yielding drastic performance improvement over naive execution and facilitating a general method for merging processes. 5.We systematically translated the resulting specifications into TLA+ and developed machine-checked safety proofs, which also allowed us to detect and fix a subtle safety violation in an earlier unpublished specification.
△ Less
Submitted 12 August, 2019; v1 submitted 31 March, 2017;
originally announced April 2017.
-
Measurement-induced operation of two-ion quantum heat machines
Authors:
Suman Chand,
Asoka Biswas
Abstract:
We show how one can implement a quantum heat machine by using two interacting trapped ions, in presence of a thermal bath. The electronic states of the ions act like a working substance, while the vibrational mode is modelled as the cold bath. The heat exchange with the cold bath is mimicked by the projective measurement of the electronic states. We show how such measurement in a suitable basis ca…
▽ More
We show how one can implement a quantum heat machine by using two interacting trapped ions, in presence of a thermal bath. The electronic states of the ions act like a working substance, while the vibrational mode is modelled as the cold bath. The heat exchange with the cold bath is mimicked by the projective measurement of the electronic states. We show how such measurement in a suitable basis can lead to either a quantum heat engine or a refrigerator, that undergoes a quantum Otto cycle. The local magnetic field is adiabatically changed during the heat cycle. The performance of the heat machine depends upon the interaction strength between the ions, the magnetic fields, and the measurement cost. In our model, the coupling to the hot and the cold baths are never switched off in an alternative fashion during the heat cycle, unlike other existing proposals of quantum heat engines. This makes our proposal experimentally realizable using current tapped-ion technology.
△ Less
Submitted 17 March, 2017;
originally announced March 2017.
-
Formal Verification of Multi-Paxos for Distributed Consensus
Authors:
Saksham Chand,
Yanhong A. Liu,
Scott D. Stoller
Abstract:
Paxos is an important algorithm for a set of distributed processes to agree on a single value or a sequence of values, for which it is called Basic Paxos or Multi-Paxos, respectively. Consensus is critical when distributed services are replicated for fault-tolerance, because non-faulty replicas must agree on the state of the system or the sequence of operations that have been performed. Unfortunat…
▽ More
Paxos is an important algorithm for a set of distributed processes to agree on a single value or a sequence of values, for which it is called Basic Paxos or Multi-Paxos, respectively. Consensus is critical when distributed services are replicated for fault-tolerance, because non-faulty replicas must agree on the state of the system or the sequence of operations that have been performed. Unfortunately, consensus algorithms including Multi-Paxos in particular are well-known to be difficult to understand, and their accurate specifications and correctness proofs remain challenging, despite extensive studies ever since Lamport introduced Paxos.
This article describes formal specification and verification of Lamport's Multi-Paxos algorithm for distributed consensus. The specification is written in TLA+, Lamport's Temporal Logic of Actions. The proof is written and automatically checked using TLAPS, the TLA+ Proof System. The proof is for the safety property of the algorithm. Building on Lamport, Merz, and Doligez's specification and proof for Basic Paxos, we aim to facilitate the understanding of Multi-Paxos and its proof by minimizing the difference from those for Basic Paxos, and to demonstrate a general way of proving other variants of Paxos and other sophisticated distributed algorithms. We also discuss our general strategies and results for proving complex invariants using invariance lemmas and increments, for proving properties about sets and tuples to help the proof check succeed in significantly reduced time, and for overall proof improvement leading to considerably reduced proof size.
△ Less
Submitted 11 November, 2019; v1 submitted 4 June, 2016;
originally announced June 2016.
-
Single-ion quantum Otto engine with always-on bath interaction
Authors:
Suman Chand,
Asoka Biswas
Abstract:
We demonstrate how a quantum Otto engine (QOE) can be implemented using a single ion and an always-on thermal environment. The internal degree of freedom of the ion is chosen as the working fluid, while the motional degree of freedom can be used as the cold bath. We show, that by adiabatically changing the local magnetic field, the work efficiency can be asymptotically made unity. We propose a pro…
▽ More
We demonstrate how a quantum Otto engine (QOE) can be implemented using a single ion and an always-on thermal environment. The internal degree of freedom of the ion is chosen as the working fluid, while the motional degree of freedom can be used as the cold bath. We show, that by adiabatically changing the local magnetic field, the work efficiency can be asymptotically made unity. We propose a projective measurement of the internal state of the ion that mimics the release of heat into the cold bath during the engine cycle. In our proposal, the coupling to the hot and the cold baths need not be switched off and on in an alternative fashion during the engine cycle, unlike other existing proposals of QOE. This renders the proposal experimentally feasible using the available tapped-ion engineering technology.
△ Less
Submitted 3 May, 2017; v1 submitted 28 March, 2016;
originally announced March 2016.
-
Performance of the gas gain monitoring system of the CMS RPC muon detector
Authors:
L. Benussi,
S. Bianco,
L. Passamonti,
D. Piccolo,
D. Pierluigi,
G. Raffone,
A. Russo,
G. Saviano,
Y. Ban,
J. Cai,
Q. Li,
S. Liu,
S. Qian,
D. Wang,
Z. Xu,
F. Zhang,
Y. Choi,
D. Kim,
S. Choi,
B. Hong,
J. W. Kang,
M. Kang,
J. H. Kwon,
K. S. Lee,
S. K. Park
, et al. (60 additional authors not shown)
Abstract:
The RPC muon detector of the CMS experiment at the LHC (CERN, Geneva, Switzerland) is equipped with a Gas Gain Monitoring (GGM) system. A report on the stability of the system during the 2011-2012 data taking run is given, as well as the observation of an effect which suggests a novel method for the monitoring of gas mixture composition.
The RPC muon detector of the CMS experiment at the LHC (CERN, Geneva, Switzerland) is equipped with a Gas Gain Monitoring (GGM) system. A report on the stability of the system during the 2011-2012 data taking run is given, as well as the observation of an effect which suggests a novel method for the monitoring of gas mixture composition.
△ Less
Submitted 27 December, 2014;
originally announced December 2014.
-
Charge pumping in monolayer graphene driven by a series of time-periodic potentials
Authors:
Zhenhua Wu,
J. Li,
K. S. Chand
Abstract:
We applied the Floquet scattering-matrix formalism to studying the electronic transport properties in a mesoscopic Dirac system. Using the method, we investigate theoretically quantum pumping driven by a series of time-periodic potentials in graphene monolayer both in the adiabatic and non-adiabatic regimes. Our numerical results demonstrate that adding harmonic modulated potentials can break the…
▽ More
We applied the Floquet scattering-matrix formalism to studying the electronic transport properties in a mesoscopic Dirac system. Using the method, we investigate theoretically quantum pumping driven by a series of time-periodic potentials in graphene monolayer both in the adiabatic and non-adiabatic regimes. Our numerical results demonstrate that adding harmonic modulated potentials can break the time reversal symmetry when no voltage bias is applied to the graphene monolayer. Thus, when the system is pumped with proper dynamic parameters, these scatterers can produce a nonzero dc pumped current. We also find that the transmission is anisotropic as the incident angle is changed.
△ Less
Submitted 4 March, 2012; v1 submitted 3 August, 2010;
originally announced August 2010.