Search for: All records

Inspired by the recent experimental advances in cold atom quantum simulators, we explore the experimentally implemented bosonic t-t′-J model on the square lattice using large-scale density matrix renormalization group simulations. By tuning the doping level δ and hopping ratio t′/t, we uncover six distinct quantum phases, several of which go far beyond the conventional paradigm of phase-coherent superfluidity (SF) expected for bosonic systems. In particular, in the presence of antiferromagnetic (AFM) order, doped holes are tightly bound into pairs, giving rise to a pair density wave (PDW) phase at low doping and small |t′/t|, which is suppressed on the t′ < 0 side, resulting in a disordered PDW state that lacks coherence of either individual bosons or pairs. Upon further doping, bosons can regain phase coherence and form a SF* state, characterized by condensation at emergent incommensurate momenta concurrent with an incommensurate magnetic order. On the t′ > 0 side, the sign-induced kinetic frustration inherently disfavors local AFM correlations, leading to a phase separation in which doped holes cluster into ferromagnetic (FM) domains spatially separated by undoped AFM regions. Upon further doping, this inhomogeneous state evolves into a uniform SF + xy-FM phase. Finally, we propose a concrete experimental scheme to realize both signs of t′/t in Rydberg tweezer arrays, with an explicit mapping between model parameters and experimentally accessible regimes. Our results reveal competing and intertwined orders in doped antiferromagnets, which are relevant to central issues in high-Tc superconductivity, reflecting the frustrated interplay between doped holes and spin background. 

Longest Increasing Subsequence (LIS) is a fundamental problem in combinatorics and computer science. Previously, there have been numerous works on both upper bounds and lower bounds of the time complexity of computing and approximating , yet only a few on the equally important space complexity. In this paper, we further study the space complexity of computing and approximating LIS in various models. Specifically, we prove non-trivial space lower bounds in the following two models: (1) the adaptive query-once model or read-once branching programs, and (2) the streaming model where the order of streaming is different from the natural order. As far as we know, there are no previous works on the space complexity of LIS in these models. Besides the bounds, our work also leaves many intriguing open problems. 

Altered tissue mechanics is an important signature of invasive solid tumors. While the phenomena have been extensively studied by measuring the bulk rheology of the extracellular matrix (ECM) surrounding tumors, micromechanical remodeling at the cellular scale remains poorly understood. By combining holographic optical tweezers and confocal microscopy on in vitro tumor models, we show that the micromechanics of collagen ECM surrounding an invading tumor demonstrate directional anisotropy, spatial heterogeneity and significant variations in time as tumors invade. To test the cellular mechanisms of ECM micromechanical remodeling, we construct a simple computational model and verify its predictions with experiments. We find that collective force generation of a tumor stiffens the ECM and leads to anisotropic local mechanics such that the extension direction is more rigid than the compression direction. ECM degradation by cell-secreted matrix metalloproteinase softens the ECM, and active traction forces from individual disseminated cells re-stiffen the matrix. Together, these results identify plausible biophysical mechanisms responsible for the remodeled ECM micromechanics surrounding an invading tumor.