-
The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording
Authors:
Benjamin Fuller,
Rashmi Pai,
Alexander Russell
Abstract:
Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections. While they provide rigorous guarantees of correctness, widespread adoption has been impeded by both efficiency concerns and the fact they offer statistical, rather than absolute, conclusions. We attend to both of these difficulties, defining new families of audits that improve efficiency and offer qualitative…
▽ More
Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections. While they provide rigorous guarantees of correctness, widespread adoption has been impeded by both efficiency concerns and the fact they offer statistical, rather than absolute, conclusions. We attend to both of these difficulties, defining new families of audits that improve efficiency and offer qualitative advances in statistical power.
Our new audits are enabled by revisiting the standard notion of a cast-vote record so that it can declare multiple possible mark interpretations rather than a single decision; this can reflect the presence of marginal marks, which appear regularly on hand-marked ballots. We show that this simple expedient can offer significant efficiency improvements with only minor changes to existing auditing infrastructure. We consider two ways of representing these marks, both yield risk-limiting comparison audits in the formal sense of Fuller, Harrison, and Russell (IEEE Security & Privacy 2023).
We then define a new type of post-election audit we call a contested audit. These permit each candidate to provide a cast-vote record table advancing their own claim to victory. We prove that these audits offer remarkable sample efficiency, yielding control of risk with a constant number of samples (that is independent of margin). This is a first for an audit with provable soundness. These results are formulated in a game-based security model that specify quantitative soundness and completeness guarantees. These audits provide a means to handle contestation of election results affirmed by conventional RLAs.
△ Less
Submitted 17 June, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
Evaluating Self-supervised Speech Models on a Taiwanese Hokkien Corpus
Authors:
Yi-Hui Chou,
Kalvin Chang,
Meng-Ju Wu,
Winston Ou,
Alice Wen-Hsin Bi,
Carol Yang,
Bryan Y. Chen,
Rong-Wei Pai,
Po-Yen Yeh,
Jo-Peng Chiang,
Iu-Tshian Phoann,
Winnie Chang,
Chenxuan Cui,
Noel Chen,
Jiatong Shi
Abstract:
Taiwanese Hokkien is declining in use and status due to a language shift towards Mandarin in Taiwan. This is partly why it is a low resource language in NLP and speech research today. To ensure that the state of the art in speech processing does not leave Taiwanese Hokkien behind, we contribute a 1.5-hour dataset of Taiwanese Hokkien to ML-SUPERB's hidden set. Evaluating ML-SUPERB's suite of self-…
▽ More
Taiwanese Hokkien is declining in use and status due to a language shift towards Mandarin in Taiwan. This is partly why it is a low resource language in NLP and speech research today. To ensure that the state of the art in speech processing does not leave Taiwanese Hokkien behind, we contribute a 1.5-hour dataset of Taiwanese Hokkien to ML-SUPERB's hidden set. Evaluating ML-SUPERB's suite of self-supervised learning (SSL) speech representations on our dataset, we find that model size does not consistently determine performance. In fact, certain smaller models outperform larger ones. Furthermore, linguistic alignment between pretraining data and the target language plays a crucial role.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A Formal CHERI-C Semantics for Verification
Authors:
Seung Hoon Park,
Rekha Pai,
Tom Melham
Abstract:
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed for higher-level security measures, such as software compartmentalization, that have to be used correctly to achieve the desired security guarantees. As the extension changes the semantics of C, new theories and tooling…
▽ More
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed for higher-level security measures, such as software compartmentalization, that have to be used correctly to achieve the desired security guarantees. As the extension changes the semantics of C, new theories and tooling are required to reason about CHERI-C code and verify correctness. In this work, we present a formal memory model that provides a memory semantics for CHERI-C programs. We present a generalised theory with rich properties suitable for verification and potentially other types of analyses. Our theory is backed by an Isabelle/HOL formalisation that also generates an OCaml executable instance of the memory model. The verified and extracted code is then used to instantiate the parametric Gillian program analysis framework, with which we can perform concrete execution of CHERI-C programs. The tool can run a CHERI-C test suite, demonstrating the correctness of our tool, and catch a good class of safety violations that the CHERI hardware might miss.
△ Less
Submitted 26 January, 2023; v1 submitted 14 November, 2022;
originally announced November 2022.
-
Enhanced Vehicle Re-identification for ITS: A Feature Fusion approach using Deep Learning
Authors:
Ashutosh Holla B,
Manohara Pai M. M,
Ujjwal Verma,
Radhika M. Pai
Abstract:
In recent years, the development of robust Intelligent transportation systems (ITS) is tackled across the globe to provide better traffic efficiency by reducing frequent traffic problems. As an application of ITS, vehicle re-identification has gained ample interest in the domain of computer vision and robotics. Convolutional neural network (CNN) based methods are developed to perform vehicle re-id…
▽ More
In recent years, the development of robust Intelligent transportation systems (ITS) is tackled across the globe to provide better traffic efficiency by reducing frequent traffic problems. As an application of ITS, vehicle re-identification has gained ample interest in the domain of computer vision and robotics. Convolutional neural network (CNN) based methods are developed to perform vehicle re-identification to address key challenges such as occlusion, illumination change, scale, etc. The advancement of transformers in computer vision has opened an opportunity to explore the re-identification process further to enhance performance. In this paper, a framework is developed to perform the re-identification of vehicles across CCTV cameras. To perform re-identification, the proposed framework fuses the vehicle representation learned using a CNN and a transformer model. The framework is tested on a dataset that contains 81 unique vehicle identities observed across 20 CCTV cameras. From the experiments, the fused vehicle re-identification framework yields an mAP of 61.73% which is significantly better when compared with the standalone CNN or transformer model.
△ Less
Submitted 13 August, 2022;
originally announced August 2022.
-
Contextual Information Based Anomaly Detection for a Multi-Scene UAV Aerial Videos
Authors:
Girisha S,
Ujjwal Verma,
Manohara Pai M M,
Radhika M Pai
Abstract:
UAV based surveillance is gaining much interest worldwide due to its extensive applications in monitoring wildlife, urban planning, disaster management, campus security, etc. These videos are analyzed for strange/odd/anomalous patterns which are essential aspects of surveillance. But manual analysis of these videos is tedious and laborious. Hence, the development of computer-aided systems for the…
▽ More
UAV based surveillance is gaining much interest worldwide due to its extensive applications in monitoring wildlife, urban planning, disaster management, campus security, etc. These videos are analyzed for strange/odd/anomalous patterns which are essential aspects of surveillance. But manual analysis of these videos is tedious and laborious. Hence, the development of computer-aided systems for the analysis of UAV based surveillance videos is crucial. Despite this interest, in literature, several computer aided systems are developed focusing only on CCTV based surveillance videos. These methods are designed for single scene scenarios and lack contextual knowledge which is required for multi-scene scenarios. Furthermore, the lack of standard UAV based anomaly detection datasets limits the development of these systems. In this regard, the present work aims at the development of a Computer Aided Decision support system to analyse UAV based surveillance videos. A new UAV based multi-scene anomaly detection dataset is developed with frame-level annotations for the development of computer aided systems. It holistically uses contextual, temporal and appearance features for accurate detection of anomalies. Furthermore, a new inference strategy is proposed that utilizes few anomalous samples along with normal samples to identify better decision boundaries. The proposed method is extensively evaluated on the UAV based anomaly detection dataset and performed competitively with respect to state-of-the-art methods.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Cluster Mean Field plus Density Matrix Renormalization theory for the Bose Hubbard Model
Authors:
Pallavi P. Gaude,
Ananya Das,
Ramesh V. Pai
Abstract:
We develop a novel approach to understand the phases of one-dimensional Bose-Hubbard models. We integrate the simplicity of the mean-field theory and the numerical power of the density matrix renormalization group method to build an effective numerical technique with moderate computational resources to determine superfluid order parameters and correlation functions of large one-dimensional systems…
▽ More
We develop a novel approach to understand the phases of one-dimensional Bose-Hubbard models. We integrate the simplicity of the mean-field theory and the numerical power of the density matrix renormalization group method to build an effective numerical technique with moderate computational resources to determine superfluid order parameters and correlation functions of large one-dimensional systems. We demonstrate the applicability of this method to directly identify superfluid, Mott insulator, and density wave phases in Bose-Hubbard models.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Brain Modelling as a Service: The Virtual Brain on EBRAINS
Authors:
Michael Schirner,
Lia Domide,
Dionysios Perdikis,
Paul Triebkorn,
Leon Stefanovski,
Roopa Pai,
Paula Popa,
Bogdan Valean,
Jessica Palmer,
Chloê Langford,
André Blickensdörfer,
Michiel van der Vlag,
Sandra Diaz-Pier,
Alexander Peyser,
Wouter Klijn,
Dirk Pleiter,
Anne Nahm,
Oliver Schmid,
Marmaduke Woodman,
Lyuba Zehl,
Jan Fousek,
Spase Petkoski,
Lionel Kusch,
Meysam Hashemi,
Daniele Marinazzo
, et al. (19 additional authors not shown)
Abstract:
The Virtual Brain (TVB) is now available as open-source cloud ecosystem on EBRAINS, a shared digital research platform for brain science. It offers services for constructing, simulating and analysing brain network models (BNMs) including the TVB network simulator; magnetic resonance imaging (MRI) processing pipelines to extract structural and functional connectomes; multiscale co-simulation of spi…
▽ More
The Virtual Brain (TVB) is now available as open-source cloud ecosystem on EBRAINS, a shared digital research platform for brain science. It offers services for constructing, simulating and analysing brain network models (BNMs) including the TVB network simulator; magnetic resonance imaging (MRI) processing pipelines to extract structural and functional connectomes; multiscale co-simulation of spiking and large-scale networks; a domain specific language for automatic high-performance code generation from user-specified models; simulation-ready BNMs of patients and healthy volunteers; Bayesian inference of epilepsy spread; data and code for mouse brain simulation; and extensive educational material. TVB cloud services facilitate reproducible online collaboration and discovery of data assets, models, and software embedded in scalable and secure workflows, a precondition for research on large cohort data sets, better generalizability and clinical translation.
△ Less
Submitted 29 March, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
UVid-Net: Enhanced Semantic Segmentation of UAV Aerial Videos by Embedding Temporal Information
Authors:
Girisha S,
Ujjwal Verma,
Manohara Pai M M,
Radhika Pai
Abstract:
Semantic segmentation of aerial videos has been extensively used for decision making in monitoring environmental changes, urban planning, and disaster management. The reliability of these decision support systems is dependent on the accuracy of the video semantic segmentation algorithms. The existing CNN based video semantic segmentation methods have enhanced the image semantic segmentation method…
▽ More
Semantic segmentation of aerial videos has been extensively used for decision making in monitoring environmental changes, urban planning, and disaster management. The reliability of these decision support systems is dependent on the accuracy of the video semantic segmentation algorithms. The existing CNN based video semantic segmentation methods have enhanced the image semantic segmentation methods by incorporating an additional module such as LSTM or optical flow for computing temporal dynamics of the video which is a computational overhead. The proposed research work modifies the CNN architecture by incorporating temporal information to improve the efficiency of video semantic segmentation.
In this work, an enhanced encoder-decoder based CNN architecture (UVid-Net) is proposed for UAV video semantic segmentation. The encoder of the proposed architecture embeds temporal information for temporally consistent labelling. The decoder is enhanced by introducing the feature-refiner module, which aids in accurate localization of the class labels. The proposed UVid-Net architecture for UAV video semantic segmentation is quantitatively evaluated on extended ManipalUAVid dataset. The performance metric mIoU of 0.79 has been observed which is significantly greater than the other state-of-the-art algorithms. Further, the proposed work produced promising results even for the pre-trained model of UVid-Net on urban street scene with fine tuning the final layer on UAV aerial videos.
△ Less
Submitted 27 May, 2021; v1 submitted 29 November, 2020;
originally announced November 2020.
-
Static Race Detection for RTOS Applications
Authors:
Rishi Tulsyan,
Rekha Pai,
Deepak D'Souza
Abstract:
We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks and the presence of races may lead to erroneous behaviour with serious consequences. Analyzing these applications is challenging due to the variety of non-standard synchronization mechanisms they use. We propose a techniqu…
▽ More
We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks and the presence of races may lead to erroneous behaviour with serious consequences. Analyzing these applications is challenging due to the variety of non-standard synchronization mechanisms they use. We propose a technique based on the notion of an "occurs-in-between" relation between statements. This notion enables us to capture the interplay of various synchronization mechanisms. We use a pre-analysis and a small set of not-occurs-in-between patterns to detect whether two statements may race with each other. Our experimental evaluation shows that the technique is efficient and effective in identifying races with high precision.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Convex geometries representable by at most 5 circles on the plane
Authors:
PolyMath REU Convex Geometries Collaboration,
Kira Adaricheva,
Madina Bolat,
Gent Gjonbalaj,
Brandon Amerine,
J. Alexandria Behne,
Evan Daisy,
Alexander Frederiksen,
Ayush Garg,
Zachary King,
Grace Ma,
Michelle Olson,
Rohit Pai,
Junewoo Park,
Cat Raanes,
Sean Riedel,
Joseph Rogge,
Raviv Sarch,
James Thompson,
Fernanda Yepez-Lopez,
Stephanie Zhou
Abstract:
A convex geometry is a closure system satisfying the anti-exchange property. In this work we document all convex geometries on 4- and 5-element base sets with respect to their representation by circles on the plane. All 34 non-isomorphic geometries on a 4-element set can be represented by circles, and of the 672 geometries on a 5-element set, we made representations of 623. Of the 49 remaining geo…
▽ More
A convex geometry is a closure system satisfying the anti-exchange property. In this work we document all convex geometries on 4- and 5-element base sets with respect to their representation by circles on the plane. All 34 non-isomorphic geometries on a 4-element set can be represented by circles, and of the 672 geometries on a 5-element set, we made representations of 623. Of the 49 remaining geometries on a 5-element set, one was already shown not to be representable due to the Weak Carousel property, as articulated by Adaricheva and Bolat (Discrete Mathematics, 2019). In this paper we show that 7 more of these convex geometries cannot be represented by circles on the plane, due to what we term the Triangle Property.
△ Less
Submitted 26 November, 2021; v1 submitted 29 August, 2020;
originally announced August 2020.
-
Flexpoint: An Adaptive Numerical Format for Efficient Training of Deep Neural Networks
Authors:
Urs Köster,
Tristan J. Webb,
Xin Wang,
Marcel Nassar,
Arjun K. Bansal,
William H. Constable,
Oğuz H. Elibol,
Scott Gray,
Stewart Hall,
Luke Hornof,
Amir Khosrowshahi,
Carey Kloss,
Ruby J. Pai,
Naveen Rao
Abstract:
Deep neural networks are commonly developed and trained in 32-bit floating point format. Significant gains in performance and energy efficiency could be realized by training and inference in numerical formats optimized for deep learning. Despite advances in limited precision inference in recent years, training of neural networks in low bit-width remains a challenging problem. Here we present the F…
▽ More
Deep neural networks are commonly developed and trained in 32-bit floating point format. Significant gains in performance and energy efficiency could be realized by training and inference in numerical formats optimized for deep learning. Despite advances in limited precision inference in recent years, training of neural networks in low bit-width remains a challenging problem. Here we present the Flexpoint data format, aiming at a complete replacement of 32-bit floating point format training and inference, designed to support modern deep network topologies without modifications. Flexpoint tensors have a shared exponent that is dynamically adjusted to minimize overflows and maximize available dynamic range. We validate Flexpoint by training AlexNet, a deep residual network and a generative adversarial network, using a simulator implemented with the neon deep learning framework. We demonstrate that 16-bit Flexpoint closely matches 32-bit floating point in training all three models, without any need for tuning of model hyperparameters. Our results suggest Flexpoint as a promising numerical format for future hardware for training and inference.
△ Less
Submitted 2 December, 2017; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Global Value Numbering: A Precise and Efficient Algorithm
Authors:
Rekha R Pai
Abstract:
Global Value Numbering (GVN) is an important static analysis to detect equivalent expressions in a program. We present an iterative data-flow analysis GVN algorithm in SSA for the purpose of detecting total redundancies. The central challenge is defining a join operation to detect equivalences at a join point in polynomial time such that later occurrences of redundant expressions could be detected…
▽ More
Global Value Numbering (GVN) is an important static analysis to detect equivalent expressions in a program. We present an iterative data-flow analysis GVN algorithm in SSA for the purpose of detecting total redundancies. The central challenge is defining a join operation to detect equivalences at a join point in polynomial time such that later occurrences of redundant expressions could be detected. For this purpose, we introduce the novel concept of value $φ$-function. We claim the algorithm is precise and takes only polynomial time.
△ Less
Submitted 13 April, 2015;
originally announced April 2015.
-
Random-Phase-Approximation Excitation Spectra for Bose-Hubbard Models
Authors:
Jamshid Moradi Kurdestany,
Ramesh V. Pai,
Rahul Pandit
Abstract:
We obtain the excitation spectra of the following three generalized Bose-Hubbard (BH) models: (1) a two-species generalization of the spinless BH model, (2) a single-species, spin-1 BH model, and (3) the extended Bose-Hubbard model (EBH) for spinless interacting bosons of one species. In all the phases of these models we provide a unified treatment of random-phase-approximation (RPA) excitation sp…
▽ More
We obtain the excitation spectra of the following three generalized Bose-Hubbard (BH) models: (1) a two-species generalization of the spinless BH model, (2) a single-species, spin-1 BH model, and (3) the extended Bose-Hubbard model (EBH) for spinless interacting bosons of one species. In all the phases of these models we provide a unified treatment of random-phase-approximation (RPA) excitation spectra. These spectra have gaps in all the MI phases and gaps in the DW phases in the EBH model; they are gapless in all the SF phases in these models and in the SS phases in the EBH model. We obtain the dependence of (a) gaps $Δ$ and (b) the sound velocity $u_s$ on the parameters of these models and examine $Δ$ and $u_s$ as these systems go through phase transitions. At the SF-MI transitions in the spin-1 BH model, $u_s$ goes to zero continuously (discontinuously) for MI phases with an odd (even) number of bosons per site; this is consistent with the natures of these transition in mean-field theory. In the SF phases of these models, our excitation spectra agree qualitatively, at weak couplings, with those that can be obtained from Gross-Pitaevskii-type models. We compare the results of our work with earlier studies of related models and discuss implications for experiments.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.
-
Quantum phases of attractive bosons on a Bose-Hubbard ladder with three-body constraint
Authors:
Manpreet Singh,
Tapan Mishra,
Ramesh V. Pai,
B. P. Das
Abstract:
We obtain the complete quantum phase diagram of bosons on a two-leg ladder in the presence of attractive onsite and repulsive interchain nearest-neighbor interactions by imposing the onsite three-body constraint. We find three distinct phases; namely, the atomic superfluid (ASF), dimer superfluid (DSF), and the dimer rung insulator (DRI). In the absence of the interchain nearest-neighbor repulsion…
▽ More
We obtain the complete quantum phase diagram of bosons on a two-leg ladder in the presence of attractive onsite and repulsive interchain nearest-neighbor interactions by imposing the onsite three-body constraint. We find three distinct phases; namely, the atomic superfluid (ASF), dimer superfluid (DSF), and the dimer rung insulator (DRI). In the absence of the interchain nearest-neighbor repulsion, the system exhibits a transition from the ASF to the DSF phase with increasing onsite attraction. However, the presence of the interchain nearest-neighbor repulsion stabilizes a gapped DRI phase, which is flanked by the DSF phase. We also obtain the phase diagram of the system for different values of the interchain nearest-neighbor interaction. By evaluating different order parameters, we obtain the complete phase diagram and the properties of the phase transitions using the self-consistent cluster mean-field theory.
△ Less
Submitted 30 July, 2014;
originally announced July 2014.
-
Phases, transitions, and patterns in the one-dimensional Extended Bose-Hubbard model
Authors:
Jamshid Moradi Kurdestany,
Ramesh V. Pai,
Subroto Mukerjee,
Rahul Pandit
Abstract:
We carry out an extensive study of the phase diagram of the extended Bose Hubbard model, with a mean filling of one boson per site, in one dimension by using the density matrix renormalization group and show that it can have Superfluid (SF), Mott-insulator (MI), density-wave (DW) and Haldane-insulator (HI) phases depending on the precise value of filling and how edge states are handled. We show th…
▽ More
We carry out an extensive study of the phase diagram of the extended Bose Hubbard model, with a mean filling of one boson per site, in one dimension by using the density matrix renormalization group and show that it can have Superfluid (SF), Mott-insulator (MI), density-wave (DW) and Haldane-insulator (HI) phases depending on the precise value of filling and how edge states are handled. We show that the critical exponents and central charge for the HI-DW, MI-HI and SF-MI transitions are consistent with those for models in the two-dimensional Ising, Gaussian, and Berezinskii-Kosterlitz-Thouless (BKT) universality classes, respectively; and we suggest that the SF-HI transition may be more exotic than a simple BKT transition.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Supersolid in a one-dimensional model of hard-core bosons
Authors:
Tapan Mishra,
Ramesh V. Pai,
Subroto Mukerjee
Abstract:
We study a system of hardcore boson on a one-dimensional lattice with frustrated next-nearest neighbor hopping and nearest neighbor interaction. At half filling, for equal magnitude of nearest and next-nearest neighbor hopping, the ground state of this system exhibits a first order phase transition from a Bond-Ordered (BO) solid to a Charge-Density-Wave(CDW) solid as a function of the nearest neig…
▽ More
We study a system of hardcore boson on a one-dimensional lattice with frustrated next-nearest neighbor hopping and nearest neighbor interaction. At half filling, for equal magnitude of nearest and next-nearest neighbor hopping, the ground state of this system exhibits a first order phase transition from a Bond-Ordered (BO) solid to a Charge-Density-Wave(CDW) solid as a function of the nearest neighbor interaction. Moving away from half filling we investigate the system at incommensurate densities, where we find a SuperSolid (SS) phase which has concurrent off-diagonal long range order and density wave order which is unusual in a system of hardcore bosons in one dimension. Using the finite-size Density-Matrix Renormalization Group (DMRG) method, we obtain the complete phase diagram for this model.
△ Less
Submitted 24 January, 2014; v1 submitted 17 September, 2013;
originally announced September 2013.
-
Hardcore bosons in a zig-zag optical superlattice
Authors:
Arya Dhar,
Tapan Mishra,
Ramesh V. Pai,
Subroto Mukerjee,
B. P. Das
Abstract:
We study a system of hard-core bosons at half-filling in a one-dimensional optical superlattice. The bosons are allowed to hop to nearest and next-nearest neighbor sites producing a zig-zag geometry and we obtain the ground state phase diagram as a function of microscopic parameters using the finite-size density matrix renormalization group (FS-DMRG) method. Depending on the sign of the next-neare…
▽ More
We study a system of hard-core bosons at half-filling in a one-dimensional optical superlattice. The bosons are allowed to hop to nearest and next-nearest neighbor sites producing a zig-zag geometry and we obtain the ground state phase diagram as a function of microscopic parameters using the finite-size density matrix renormalization group (FS-DMRG) method. Depending on the sign of the next-nearest neighbor hopping and the strength of the superlattice potential the system exhibits three different phases, namely the bond-order (BO) solid, the superlattice induced Mott insulator (SLMI) and the superfluid (SF) phase. When the signs of both hopping amplitudes are the same (the "unfrustrated" case), the system undergoes a transition from the SF to the SLMI at a non-zero value of the superlattice potential. On the other hand, when the two amplitudes differ in sign (the "frustrated" case), the SF is unstable to switching on a superlattice potential and also exists only up to a finite value of the next nearest neighbor hopping. This part of the phase diagram is dominated by the BO phase which breaks translation symmetry spontaneously even in the absence of the superlattice potential and can thus be characterized by a bond order parameter. The transition from BO to SLMI appears to be first order.
△ Less
Submitted 3 December, 2013; v1 submitted 15 July, 2013;
originally announced July 2013.
-
Phases, transitions, and boundary conditions in a model of interacting bosons
Authors:
Jamshid Moradi Kurdestany,
Ramesh V. Pai,
Subroto Mukerjee,
Rahul Pandit
Abstract:
We carry out an extensive study of the phase diagrams of the extended Bose Hubbard model, with a mean filling of one boson per site, in one dimension by using the density matrix renormalization group and show that it contains Superfluid (SF), Mott-insulator (MI), density-wave (DW) and Haldane-insulator (HI) phases. We show that the critical exponents and central charges for the HI-DW, MI-HI and SF…
▽ More
We carry out an extensive study of the phase diagrams of the extended Bose Hubbard model, with a mean filling of one boson per site, in one dimension by using the density matrix renormalization group and show that it contains Superfluid (SF), Mott-insulator (MI), density-wave (DW) and Haldane-insulator (HI) phases. We show that the critical exponents and central charges for the HI-DW, MI-HI and SF-MI transitions are consistent with those for models in the two-dimensional Ising, Gaussian, and Berezinskii-Kosterlitz-Thouless (BKT) universality classes, respectively; and we suggest that the SF-HI transition may be more exotic than a simple BKT transition. We show explicitly that different boundary conditions lead to different phase diagrams.
△ Less
Submitted 21 November, 2012;
originally announced November 2012.
-
Top Down Approach to find Maximal Frequent Item Sets using Subset Creation
Authors:
Jnanamurthy H. K.,
Vishesh H. V.,
Vishruth Jain,
Preetham Kumar,
Radhika M. Pai
Abstract:
Association rule has been an area of active research in the field of knowledge discovery. Data mining researchers had improved upon the quality of association rule mining for business development by incorporating influential factors like value (utility), quantity of items sold (weight) and more for the mining of association patterns. In this paper, we propose an efficient approach to find maximal…
▽ More
Association rule has been an area of active research in the field of knowledge discovery. Data mining researchers had improved upon the quality of association rule mining for business development by incorporating influential factors like value (utility), quantity of items sold (weight) and more for the mining of association patterns. In this paper, we propose an efficient approach to find maximal frequent itemset first. Most of the algorithms in literature used to find minimal frequent item first, then with the help of minimal frequent itemsets derive the maximal frequent itemsets. These methods consume more time to find maximal frequent itemsets. To overcome this problem, we propose a navel approach to find maximal frequent itemset directly using the concepts of subsets. The proposed method is found to be efficient in finding maximal frequent itemsets.
△ Less
Submitted 31 October, 2012;
originally announced October 2012.
-
Phases and phase transitions of frustrated hard-core bosons on a triangular ladder
Authors:
Tapan Mishra,
Ramesh V. Pai,
Subroto Mukerjee,
Arun Paramekanti
Abstract:
We study hardcore bosons on a triangular ladder at half filling in the presence of a frustrating hopping term and a competing nearest neighbor repulsion $V$ which promotes crystallization. Using the finite-size density-matrix renormalization group method, we obtain the phase diagram which contains three phases: a uniform superfluid (SF), an insulating charge density wave (CDW) crystal and a bond o…
▽ More
We study hardcore bosons on a triangular ladder at half filling in the presence of a frustrating hopping term and a competing nearest neighbor repulsion $V$ which promotes crystallization. Using the finite-size density-matrix renormalization group method, we obtain the phase diagram which contains three phases: a uniform superfluid (SF), an insulating charge density wave (CDW) crystal and a bond ordered insulator (BO). We find that the transitions from SF to CDW and SF to BO are continuous in nature, with critical exponents varying continously along the phase boundaries, while the transition from CDW to BO is found to be first order. The phase diagram is also shown to contain an exactly solvable Majumdar Ghosh point, and re-entrant SF to CDW phase transitions.
△ Less
Submitted 11 September, 2013; v1 submitted 27 October, 2012;
originally announced October 2012.
-
Chiral Mott insulator with staggered loop currents in the fully frustrated Bose Hubbard model
Authors:
Arya Dhar,
Tapan Mishra,
Maheswar Maji,
Ramesh V. Pai,
Subroto Mukerjee,
Arun Paramekanti
Abstract:
Motivated by experiments on Josephson junction arrays in a magnetic field and ultracold interacting atoms in an optical lattice in the presence of synthetic orbital magnetic fields, we study the "fully frustrated" Bose-Hubbard model and quantum XY model with half a flux quantum per lattice plaquette. Using Monte Carlo simulations and the density matrix renormalization group (DMRG) method, we show…
▽ More
Motivated by experiments on Josephson junction arrays in a magnetic field and ultracold interacting atoms in an optical lattice in the presence of synthetic orbital magnetic fields, we study the "fully frustrated" Bose-Hubbard model and quantum XY model with half a flux quantum per lattice plaquette. Using Monte Carlo simulations and the density matrix renormalization group (DMRG) method, we show that the phase diagram of such kinetically frustrated bosons displays three phases on a two-leg ladder: a weakly interacting chiral superfluid phase with staggered loop currents which spontaneously break time-reversal symmetry, a conventional Mott insulator at strong coupling, and a remarkable "Chiral Mott Insulator" (CMI) with staggered loop currents sandwiched between them at intermediate correlation. We discuss how the CMI state may be viewed as an exciton condensate or a vortex supersolid, propose and study a Jastrow variational wavefunction which captures its correlations, present DMRG results for the boson momentum distribution across the phase diagram, and consider various experimental implications of our phase diagram. Finally, we discuss generalizations to a staggered flux Bose-Hubbard model and a two-dimensional version of the CMI with edge currents in weakly coupled ladders.
△ Less
Submitted 10 July, 2012; v1 submitted 6 July, 2012;
originally announced July 2012.
-
DMRG studies on linear-exchange quantum spin models in one dimension
Authors:
Bimla Danu,
Brijesh Kumar,
Ramesh V. Pai
Abstract:
We study a class of spin-1/2 quantum antiferromagnetic chains using DMRG technique. The exchange interaction in these models decreases linearly as a function of the separation between the spins, $J_{ij} = R-|i-j|$ for $|i-j| \le R$. For the separations beyond $R$, the interaction is zero. The range parameter $R$ takes positive integer values. The models corresponding to all the odd values of $R$ a…
▽ More
We study a class of spin-1/2 quantum antiferromagnetic chains using DMRG technique. The exchange interaction in these models decreases linearly as a function of the separation between the spins, $J_{ij} = R-|i-j|$ for $|i-j| \le R$. For the separations beyond $R$, the interaction is zero. The range parameter $R$ takes positive integer values. The models corresponding to all the odd values of $R$ are known to have the same exact doubly degenerate dimer ground state as for the Majumdar-Ghosh (MG) model. In fact, R=3 is the MG model. For even $R$, the exact ground state is not known in general, except for R=2 (the Bethe ansatz solvable Heisenberg chain) and in the asymptotic limit of $R$ where the two MG dimer states again emerge as the exact ground state. In the present work, we numerically investigate the even-$R$ models whose ground state is not known analytically. In particular, for R=4, 6 and 8, we have computed a number of ground state properties. We find that, unlike R=2, the higher even-$R$ models are spin-gapped, and show strong dimer-dimer correlations of the MG type. Moreover, the spin-spin correlations decay very rapidly, albeit showing weak periodic revivals.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
Three body on-site interactions in ultracold bosonic atoms in optical lattices and superlattices
Authors:
Manpreet Singh,
Arya Dhar,
Tapan Mishra,
R. V. Pai,
B. P. Das
Abstract:
The Mott insulator-superfluid transition for ultracold bosonic atoms in an optical lattice has been extensively studied in the framework of the Bose-Hubbard model with two-body on-site interactions. In this paper, we analyze the additional effect of the three-body on-site interactions on this phase transition in optical lattice and the transitions between the various phases that arise in an optica…
▽ More
The Mott insulator-superfluid transition for ultracold bosonic atoms in an optical lattice has been extensively studied in the framework of the Bose-Hubbard model with two-body on-site interactions. In this paper, we analyze the additional effect of the three-body on-site interactions on this phase transition in optical lattice and the transitions between the various phases that arise in an optical superlattice. Using the mean-field theory and the density matrix renormalization group method, we find the phase diagrams depicting the relationships between various physical quantities in an optical lattice and superlattice. We also suggest possible experimental signatures to observe the three-body interactions.
△ Less
Submitted 26 May, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
Mean field analysis of quantum phase transitions in a periodic optical superlattice
Authors:
Arya Dhar,
Manpreet Singh,
Ramesh V. Pai,
B. P. Das
Abstract:
In this paper we analyze the various phases exhibited by a system of ultracold bosons in a periodic optical superlattice using the mean field decoupling approximation. We investigate for a wide range of commensurate and incommensurate densities. We find the gapless superfluid phase, the gapped Mott insulator phase, and gapped insulator phases with distinct density wave orders.
In this paper we analyze the various phases exhibited by a system of ultracold bosons in a periodic optical superlattice using the mean field decoupling approximation. We investigate for a wide range of commensurate and incommensurate densities. We find the gapless superfluid phase, the gapped Mott insulator phase, and gapped insulator phases with distinct density wave orders.
△ Less
Submitted 7 March, 2012;
originally announced March 2012.
-
The Inhomogeneous Extended Bose-Hubbard Model: A Mean-Field Theory
Authors:
Jamshid Moradi Kurdestany,
Ramesh V. Pai,
Rahul Pandit
Abstract:
We develop an inhomogeneous mean-field theory for the extended Bose-Hubbard model with a quadratic, confining potential. In the absence of this potential, our mean-field theory yields the phase diagram of the homogeneous extended Bose-Hubbard model. This phase diagram shows a superfluid (SF) phase and lobes of Mott-insulator (MI), density-wave (DW), and supersolid (SS) phases in the plane of the c…
▽ More
We develop an inhomogeneous mean-field theory for the extended Bose-Hubbard model with a quadratic, confining potential. In the absence of this potential, our mean-field theory yields the phase diagram of the homogeneous extended Bose-Hubbard model. This phase diagram shows a superfluid (SF) phase and lobes of Mott-insulator (MI), density-wave (DW), and supersolid (SS) phases in the plane of the chemical potential (μ) and on-site repulsion (U); we present phase diagrams for representative values of V, the repulsive energy for bosons on nearest-neighbor sites. We demonstrate that, when the confining potential is present, superfluid and density-wave order parameters are nonuniform; in particular, we obtain, for a few representative values of parameters, spherical shells of SF, MI, DW, and SS phases. We explore the implications of our study for experiments on cold-atom dipolar condensates in optical lattices in a confining potential
△ Less
Submitted 31 January, 2012;
originally announced January 2012.
-
Bose-Hubbard Models in Confining Potentials: An Inhomogeneous Mean-Field Theory
Authors:
Ramesh V. Pai,
Jamshid Moradi Kurdestany,
K. Sheshadri,
Rahul Pandit
Abstract:
We present an extensive study of Mott insulator (MI) and superfluid (SF) shells in Bose-Hubbard (BH) models for bosons in optical lattices with harmonic traps. For this we develop an inhomogeneous mean-field theory. Our results for the BH model with one type of spinless bosons agrees quantitatively with quantum Monte Carlo (QMC) simulations. Our approach is numerically less intensive than such sim…
▽ More
We present an extensive study of Mott insulator (MI) and superfluid (SF) shells in Bose-Hubbard (BH) models for bosons in optical lattices with harmonic traps. For this we develop an inhomogeneous mean-field theory. Our results for the BH model with one type of spinless bosons agrees quantitatively with quantum Monte Carlo (QMC) simulations. Our approach is numerically less intensive than such simulations, so we are able to perform calculation on experimentally realistic, large 3D systems, explore a wide range of parameter values, and make direct contact with a variety of experimental measurements. We also generalize our inhomogeneous mean-field theory to study BH models with harmonic traps and (a) two species of bosons or (b) spin-1 bosons. With two species of bosons we obtain rich phase diagrams with a variety of SF and MI phases and associated shells, when we include a quadratic confining potential. For the spin-1 BH model we show, in a representative case, that the system can display alternating shells of polar SF and MI phases; and we make interesting predictions for experiments in such systems.
△ Less
Submitted 8 January, 2012;
originally announced January 2012.
-
Bose Hubbard Model in a Strong Effective Magnetic Field: Emergence of a Chiral Mott Insulator Ground State
Authors:
Arya Dhar,
Maheswar Maji,
Tapan Mishra,
R. V. Pai,
Subroto Mukerjee,
Arun Paramekanti
Abstract:
Motivated by experiments on Josephson junction arrays, and cold atoms in an optical lattice in a synthetic magnetic field, we study the "fully frustrated" Bose-Hubbard (FFBH) model with half a magnetic flux quantum per plaquette. We obtain the phase diagram of this model on a two-leg ladder at integer filling via the density matrix renormalization group approach, complemented by Monte Carlo simula…
▽ More
Motivated by experiments on Josephson junction arrays, and cold atoms in an optical lattice in a synthetic magnetic field, we study the "fully frustrated" Bose-Hubbard (FFBH) model with half a magnetic flux quantum per plaquette. We obtain the phase diagram of this model on a two-leg ladder at integer filling via the density matrix renormalization group approach, complemented by Monte Carlo simulations on an effective classical XY model. The ground state at intermediate correlations is consistently shown to be a chiral Mott insulator (CMI) with a gap to all excitations and staggered loop currents which spontaneously break time reversal symmetry. We characterize the CMI state as a vortex supersolid or an indirect exciton condensate, and discuss various experimental implications.
△ Less
Submitted 4 April, 2012; v1 submitted 26 September, 2011;
originally announced September 2011.
-
Quantum Phases of Ultracold Bosonic Atoms in a One Dimensional Optical Superlattice
Authors:
Arya Dhar,
Tapan Mishra,
Ramesh V. Pai,
B. P. Das
Abstract:
We analyze various quantum phases of ultracold bosonic atoms in a periodic one dimensional optical superlattice. Our studies have been performed using the finite size density matrix renormalization group (FS-DMRG) method in the framework of the Bose-Hubbard model. Calculations have been carried out for a wide range of densities and the energy shifts due to the superlattice potential. At commensura…
▽ More
We analyze various quantum phases of ultracold bosonic atoms in a periodic one dimensional optical superlattice. Our studies have been performed using the finite size density matrix renormalization group (FS-DMRG) method in the framework of the Bose-Hubbard model. Calculations have been carried out for a wide range of densities and the energy shifts due to the superlattice potential. At commensurate fillings, we find the Mott insulator and the superfluid phases as well as Mott insulators induced by the superlattice. At a particular incommensurate density, the system is found to be in the superfluid phase coexisting with density oscillations for a certain range of parameters of the system.
△ Less
Submitted 2 March, 2011;
originally announced March 2011.
-
Supersolid in a one-dimensional optical lattice in the presence of a harmonic trap
Authors:
Tapan Mishra,
Sunethra Ramanan,
Ramesh V. Pai,
Meetu Sethi Luthra,
B. P. Das
Abstract:
We study a system of ultra-cold atoms possessing long range interaction (e.g. dipole-dipole interaction) in a one dimensional optical lattice in the presence of a confining harmonic trap. We have shown that for large enough on-site and nearest neighbor interaction a supersolid phase can be stabilized, consistent with the previous Quantum Monte Carlo and DMRG results for the homogeneous system. Due…
▽ More
We study a system of ultra-cold atoms possessing long range interaction (e.g. dipole-dipole interaction) in a one dimensional optical lattice in the presence of a confining harmonic trap. We have shown that for large enough on-site and nearest neighbor interaction a supersolid phase can be stabilized, consistent with the previous Quantum Monte Carlo and DMRG results for the homogeneous system. Due to the external harmonic trap potential the supersolid phase coexists with other phases. We emphasize on the experimental signatures of the various ground state phases in the presence of a trap.
△ Less
Submitted 10 November, 2010;
originally announced November 2010.
-
Supersolid and solitonic phases in one-dimensional Extended Bose-Hubbard model
Authors:
Tapan Mishra,
Ramesh V. Pai,
S. Ramanan,
Meetu Sethi Luthra,
B. P. Das
Abstract:
We report our findings on quantum phase transitions in cold bosonic atoms in a one dimensional optical lattice using the finite size density matrix renormalization group method in the framework of the extended Bose-Hubbard model. We consider wide ranges of values for the filling factors and the nearest neighbor interactions. At commensurate fillings, we obtain two different types of charge densi…
▽ More
We report our findings on quantum phase transitions in cold bosonic atoms in a one dimensional optical lattice using the finite size density matrix renormalization group method in the framework of the extended Bose-Hubbard model. We consider wide ranges of values for the filling factors and the nearest neighbor interactions. At commensurate fillings, we obtain two different types of charge density wave phases and a Mott insulator phase. However, departure from commensurate fillings yield the exotic supersolid phase where both the crystalline and the superfluid orders coexist. In addition, we obtain signatures for solitary waves and also superfluidity.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.
-
Induced supersolidity in a normal and hardcore boson mixture
Authors:
Tapan Mishra,
Ramesh V. Pai,
B. P. Das
Abstract:
It is well known that the supersolid form of matter can arise in a single species of cold bosonic atoms in an optical lattice due to long range interactions. We present a scenario where a supersolid is induced in one of the components of a mixture of two species bosonic atoms where there is no long range interactions. We study a system of normal and hardcore boson mixture with only the former po…
▽ More
It is well known that the supersolid form of matter can arise in a single species of cold bosonic atoms in an optical lattice due to long range interactions. We present a scenario where a supersolid is induced in one of the components of a mixture of two species bosonic atoms where there is no long range interactions. We study a system of normal and hardcore boson mixture with only the former possessing long range interactions. We consider three cases: the first where the total density is commensurate and the other two where they are incommensurate . By suitable choices of the densities and the interaction strengths of the atoms, we predict that the charge density wave and the supersolid orders can be induced in the hardcore species as a result of the competing interatomic interactions.
△ Less
Submitted 14 June, 2009;
originally announced June 2009.
-
Signatures of the superfluid to Mott insulator transition in cold bosonic atoms in a one dimensional optical lattice
Authors:
S. Ramanan,
Tapan Mishra,
Meetu Sethi Luthra,
Ramesh V. Pai,
B. P. Das
Abstract:
We study the Bose-Hubbard model using the finite size density matrix renormalization group method. We obtain for the first time a complete phase diagram for a system in the presence of a harmonic trap and compare it with that of the homogeneous system. To realize the transition from the superfluid to the Mott insulator phase we investigate different experimental signatures of these phases in qua…
▽ More
We study the Bose-Hubbard model using the finite size density matrix renormalization group method. We obtain for the first time a complete phase diagram for a system in the presence of a harmonic trap and compare it with that of the homogeneous system. To realize the transition from the superfluid to the Mott insulator phase we investigate different experimental signatures of these phases in quantities such as momentum distribution, visibility, condensate fraction and the total number of bosons at a particular density. The relationships between the various experimental signatures and the phase diagram are highlighted.
△ Less
Submitted 9 November, 2008;
originally announced November 2008.
-
Phase separated charge density wave phase in two species extended Bose-Hubbard model
Authors:
Tapan Mishra,
B. K. Sahoo,
Ramesh V. Pai
Abstract:
We study the quantum phase transitions in a two component bose-mixture in a one-dimensional optical lattice. The calculations have been performed in the framework of the extended Bose-Hubbard model using the finite size density matrix renormalization group method. We obtain different phase transitions for the system for integer filling. When the inter-species on-site and the nearest neighbor int…
▽ More
We study the quantum phase transitions in a two component bose-mixture in a one-dimensional optical lattice. The calculations have been performed in the framework of the extended Bose-Hubbard model using the finite size density matrix renormalization group method. We obtain different phase transitions for the system for integer filling. When the inter-species on-site and the nearest neighbor interactions are larger than the intra-species on-site and also the nearest neighbor interactions, the system exhibits a phase separated charge density wave (PSCDW) order that is characterized by the two species being spatially separated and existing in the density wave phases.
△ Less
Submitted 11 April, 2008;
originally announced April 2008.
-
Phase diagram of a bosonic ladder with two coupled chains
Authors:
Meetu Sethi Luthra,
Tapan Mishra,
Ramesh V. Pai,
B. P. Das
Abstract:
We study a bosonic ladder with two coupled chains using the finite size density matrix renormalisation group method. We show that in a commensurate bosonic ladder the critical on-site interaction ($U_C$) for the superfluid to Mott insulator transition becomes larger as the inter-chain hopping ($t_\bot$)increases. We analyze this quantum phase transition and obtain the phase diagram in the…
▽ More
We study a bosonic ladder with two coupled chains using the finite size density matrix renormalisation group method. We show that in a commensurate bosonic ladder the critical on-site interaction ($U_C$) for the superfluid to Mott insulator transition becomes larger as the inter-chain hopping ($t_\bot$)increases. We analyze this quantum phase transition and obtain the phase diagram in the $t_\bot -U$ plane.
△ Less
Submitted 4 February, 2008;
originally announced February 2008.
-
Phases and Transitions in the Spin-1 Bose-Hubbard Model: Systematics of a Mean-field Theory
Authors:
Ramesh V. Pai,
K. Sheshadri,
Rahul Pandit
Abstract:
We generalize the mean-field theory for the spinless Bose-Hubbard model to account for the different types of superfluid phases that can arise in the spin-1 case. In particular, our mean-field theory can distinguish polar and ferromagnetic superfluids, Mott insulators which arise at integer fillings at zero temperature, and normal Bose liquids into which the Mott insulators evolve at finite temp…
▽ More
We generalize the mean-field theory for the spinless Bose-Hubbard model to account for the different types of superfluid phases that can arise in the spin-1 case. In particular, our mean-field theory can distinguish polar and ferromagnetic superfluids, Mott insulators which arise at integer fillings at zero temperature, and normal Bose liquids into which the Mott insulators evolve at finite temperatures. We find, in contrast to the spinless case, that several of the superfluid-Mott insulator transitions are first-order at finite temperatures. Our systematic study yields rich phase diagrams that include, first-order and second-order transitions, and a variety of tricritical points. We discuss the possibility of realizing such phase diagrams in experimental systems.
△ Less
Submitted 15 May, 2007;
originally announced May 2007.
-
Phase separation in a two species Bose mixture
Authors:
T. Mishra,
Ramesh V. Pai,
B. P. Das
Abstract:
We study the ground state quantum phase diagram for a two species Bose mixture in a one-dimensional optical lattice using the finite size density matrix renormalization group(FSDMRG) method. We discuss our results for different combinations of inter and intra species interaction strengths with commensurate and incommensurate fillings of the bosons. The phases we have obtained are superfluid, Mot…
▽ More
We study the ground state quantum phase diagram for a two species Bose mixture in a one-dimensional optical lattice using the finite size density matrix renormalization group(FSDMRG) method. We discuss our results for different combinations of inter and intra species interaction strengths with commensurate and incommensurate fillings of the bosons. The phases we have obtained are superfluid, Mott insulator and a novel phase separation, where different species reside in spatially separate regions. The spatially separated phase is further classified into phase separated superfluid(PS-SF) and Mott insulator(PS-MI). The phase separation appears for all the fillings we have considered, whenever the inter-species interaction is slightly larger than the intra-species interactions.
△ Less
Submitted 4 July, 2007; v1 submitted 4 October, 2006;
originally announced October 2006.
-
Superfluid, Mott-Insulator, and Mass-Density-Wave Phases in the One-Dimensional Extended Bose-Hubbard Model
Authors:
Ramesh V. Pai,
Rahul Pandit
Abstract:
We use the finite-size density-matrix-renormalization-group (FSDMRG) method to obtain the phase diagram of the one-dimensional ($d = 1$) extended Bose-Hubbard model for density $ρ= 1$ in the $U-V$ plane, where $U$ and $V$ are, respectively, onsite and nearest-neighbor interactions. The phase diagram comprises three phases: Superfluid (SF), Mott Insulator (MI) and Mass Density Wave (MDW). For sma…
▽ More
We use the finite-size density-matrix-renormalization-group (FSDMRG) method to obtain the phase diagram of the one-dimensional ($d = 1$) extended Bose-Hubbard model for density $ρ= 1$ in the $U-V$ plane, where $U$ and $V$ are, respectively, onsite and nearest-neighbor interactions. The phase diagram comprises three phases: Superfluid (SF), Mott Insulator (MI) and Mass Density Wave (MDW). For small values of $U$ and $V$, we get a reentrant SF-MI-SF phase transition. For intermediate values of interactions the SF phase is sandwiched between MI and MDW phases with continuous SF-MI and SF-MDW transitions. We show, by a detailed finite-size scaling analysis, that the MI-SF transition is of Kosterlitz-Thouless (KT) type whereas the MDW-SF transition has both KT and two-dimensional-Ising characters. For large values of $U$ and $V$ we get a direct, first-order, MI-MDW transition. The MI-SF, MDW-SF and MI-MDW phase boundaries join at a bicritical point at ($U, V) = (8.5 \pm 0.05, 4.75 \pm 0.05)$.
△ Less
Submitted 1 July, 2004;
originally announced July 2004.
-
The Mott-Anderson transition in the disordered one-dimensional Hubbard model
Authors:
Ramesh V. Pai,
Alexander Punnoose,
Rudolf A. Römer
Abstract:
We use the density matrix renormalization group to study the quantum transitions that occur in the half-filled one-dimensional fermionic Hubbard model with onsite potential disorder. We find a transition from the gapped Mott phase with algebraic spin correlations to a gapless spin-disordered phase beyond a critical strength of the disorder $Δ_c \approx U/2$. Both the transitions in the charge an…
▽ More
We use the density matrix renormalization group to study the quantum transitions that occur in the half-filled one-dimensional fermionic Hubbard model with onsite potential disorder. We find a transition from the gapped Mott phase with algebraic spin correlations to a gapless spin-disordered phase beyond a critical strength of the disorder $Δ_c \approx U/2$. Both the transitions in the charge and spin sectors are shown to be coincident. We also establish the finite-size corrections to the charge gap and the spin-spin correlation length in the presence of disorder and using a finite-size-scaling analysis we obtain the zero temperature phase diagram of the various quantum phase transitions that occur in the disorder-interaction plane.
△ Less
Submitted 3 April, 1997;
originally announced April 1997.
