Future value based single assignment program representations and optimizations

An optimizing compiler internal representation fundamentally affects the clarity, efficiency and feasibility of optimization algorithms employed by the compiler. Static Single Assignment (SSA) as a state-of-the-art program representation has great advantages though still can be improved. This dissertation explores the domain of single assignment beyond SSA, and presents two novel program representations: Future Gated Single Assignment (FGSA) and Recursive Future Predicated Form (RFPF). Both FGSA and RFPF embed control flow and data flow information, enabling efficient traversal program information and thus leading to better and simpler optimizations. We introduce future value concept, the designing base of both FGSA and RFPF, which permits a consumer instruction to be encountered before the producer of its source operand(s) in a control flow setting. We show that FGSA is efficiently computable by using a series T1/T2/TR transformation, yielding an expected linear time algorithm for combining together the construction of the pruned single assignment form and live analysis for both reducible and irreducible graphs. As a result, the approach results in an average reduction of 7.7%, with a maximum of 67% in the number of gating functions compared to the pruned SSA form on the SPEC2000 benchmark suite. We present a solid and near optimal framework to perform inverse transformation from single assignment programs. We demonstrate the importance of unrestricted code motion and present RFPF. We develop algorithms which enable instruction movement in acyclic, as well as cyclic regions, and show the ease to perform optimizations such as Partial Redundancy Elimination on RFPF

Sampling Electronic Fock States using Determinantal Quantum Monte Carlo

Analog quantum simulation based on ultracold atoms in optical lattices has catalyzed significant breakthroughs in the study of quantum many-body systems. These simulations rely on the statistical sampling of electronic Fock states, which are not easily accessible in classical algorithms. In this work, we modify the determinantal quantum Monte Carlo by integrating a Fock-state update mechanism alongside the auxiliary field. This method enables efficient sampling of Fock-state configurations. The Fock-state restrictive sampling scheme further enables the pre-selection of multiple ensembles at no additional computational cost, thereby broadening the scope of simulation to more general systems and models. Employing this method, we analyze static correlations of the Hubbard model up to the fourth order and achieve quantitative agreement with cold-atom experiments. The simulations of dynamical spectroscopies of the Hubbard and Kondo-lattice models further demonstrate the reliability and advantage of this method.Comment: 11 pages, 6 figure

Higher-order spin-hole correlations around a localized charge impurity

Analysis of higher-order correlation functions has become a powerful tool for investigating interacting many-body systems in quantum simulators, such as quantum gas microscopes. Experimental measurements of mixed spin-charge correlation functions in the 2D Hubbard have been used to study equilibrium properties of magnetic polarons and to identify coherent and incoherent regimes of their dynamics. In this paper we consider theoretically an extension of this technique to systems which use a pinning potential to reduce the mobility of a single dopant in the Mott insulating regime of the 2D Hubbard model. We find that localization of the dopant has a dramatic effect on its magnetic dressing. The connected third order spin correlations are weakened in the case of a mobile hole but strengthened near an immobile hole. In the case of the fifth-order correlation function, we find that its bare value has opposite signs in cases of the mobile and of fully pinned dopant, whereas the connected part is similar for both cases.We study suppression of higher-order correlators by thermal fluctuations and demonstrate that they can be observed up to temperatures comparable to the spin-exchange energy J. We discuss implications of our results for understanding the interplay of spin and charge in doped Mott insulators

Unsigned Orthogonal Distance Fields: An Accurate Neural Implicit Representation for Diverse 3D Shapes

Neural implicit representation of geometric shapes has witnessed considerable advancements in recent years. However, common distance field based implicit representations, specifically signed distance field (SDF) for watertight shapes or unsigned distance field (UDF) for arbitrary shapes, routinely suffer from degradation of reconstruction accuracy when converting to explicit surface points and meshes. In this paper, we introduce a novel neural implicit representation based on unsigned orthogonal distance fields (UODFs). In UODFs, the minimal unsigned distance from any spatial point to the shape surface is defined solely in one orthogonal direction, contrasting with the multi-directional determination made by SDF and UDF. Consequently, every point in the 3D UODFs can directly access its closest surface points along three orthogonal directions. This distinctive feature leverages the accurate reconstruction of surface points without interpolation errors. We verify the effectiveness of UODFs through a range of reconstruction examples, extending from simple watertight or non-watertight shapes to complex shapes that include hollows, internal or assembling structures.Comment: accepted by CVPR 202

Dynamic Contrastive Distillation for Image-Text Retrieval

Although the vision-and-language pretraining (VLP) equipped cross-modal image-text retrieval (ITR) has achieved remarkable progress in the past two years, it suffers from a major drawback: the ever-increasing size of VLP models restrict its deployment to real-world search scenarios (where the high latency is unacceptable). To alleviate this problem, we present a novel plug-in dynamic contrastive distillation (DCD) framework to compress the large VLP models for the ITR task. Technically, we face the following two challenges: 1) the typical uni-modal metric learning approach is difficult to directly apply to cross-modal task, due to the limited GPU memory to optimize too many negative samples during handling cross-modal fusion features. 2) it is inefficient to static optimize the student network from different hard samples, which have different effects on distillation learning and student network optimization. We try to overcome these challenges from two points. First, to achieve multi-modal contrastive learning, and balance the training costs and effects, we propose to use a teacher network to estimate the difficult samples for students, making the students absorb the powerful knowledge from pre-trained teachers, and master the knowledge from hard samples. Second, to dynamic learn from hard sample pairs, we propose dynamic distillation to dynamically learn samples of different difficulties, from the perspective of better balancing the difficulty of knowledge and students' self-learning ability. We successfully apply our proposed DCD strategy on two state-of-the-art vision-language pretrained models, i.e. ViLT and METER. Extensive experiments on MS-COCO and Flickr 30 K benchmarks show the effectiveness and efficiency of our DCD framework. Encouragingly, we can speed up the inference at least 129 × compared to the existing ITR models. We further provide in-depth analyses and discussions that explain where the performance improvement comes from. We hope our work can shed light on other tasks that require distillation and contrastive learning

Strong Inter-valley Electron-Phonon Coupling in Magic-Angle Twisted Bilayer Graphene

The unusual properties of superconductivity in magic-angle twisted bilayer graphene (MATBG) have sparked enormous research interest. However, despite the dedication of intensive experimental efforts and the proposal of several possible pairing mechanisms, the origin of its superconductivity remains elusive. Here, using angle-resolved photoemission spectroscopy with micrometer spatial resolution, we discover replicas of the flat bands in superconducting MATBG unaligned with its hexagonal boron nitride (hBN) substrate, which are absent in non-superconducting MATBG aligned with the hBN substrate. Crucially, the replicas are evenly spaced in energy, separated by 150 +- 15 meV, signalling the strong coupling of electrons in MATBG to a bosonic mode of this energy. By comparing our observations to simulations, the formation of replicas is attributed to the presence of strong inter-valley electron-phonon coupling to a K-point phonon mode. In total, the observation of these replica flat bands and the corresponding phonon mode in MATBG could provide important information for understanding the origin and the unusual properties of its superconducting phase.Comment: 17 pages, 4 figure

Association of the Healthy Dietary Index 2020 and its components with chronic respiratory disease among U.S. adults

BackgroundChronic respiratory disease is an important public health problem in the United States and globally. Diet, an important part of a healthy lifestyle, is also relevant to chronic respiratory health. We aimed to explore the relationship between overall dietary quality and the risk of chronic respiratory disease (CRD), include chronic bronchitis (CB), emphysema and asthma.MethodA total of 4,499 United States adults were extracted from the National Health and Nutrition Examination Survey (NHANES) in 2017–2018. Diet quality was assessed using 2 day, 24 h dietary recall data and quantified as the Healthy Diet Index (HEI)-2020 score. Binary logistic regression models, restricted cubic splines (RCS) and generalized additive modeling (GAM), the weighted quartile sum (WQS) and qgcom models were used to assess the relationship between HEI-2020 scores and risk of CB, emphysema and asthma.ResultsHigh HEI-2020 scores are associated with low risk of chronic respiratory disease (CB: 0.98, 0.97–0.99; emphysema: 0.98, 0.97–0.99; asthma: 0.98, 0.97–0.99) and consistent results across different dietary variable categorization (Tertile: CB: 0.58, 0.42–0.81; asthma: 0.51, 0.35–0.74; Quartile: CB: 0.57, 0.34–0.97; asthma: 0.56, 0.36–0.86) and different weighting models. Negative dose-response relationship between dietary quality and risk of chronic respiratory disease also shown in RCS and GAM models. The WQS and qgcom models also showed a healthy mixing effect of dietary components on respiratory disease, with high-quality proteins, vegetables, and fruits making the heaviest contributions.ConclusionHigher HEI-2020 scores were associated with lower risk of CB, emphysema, and asthma. Following Dietary Guidelines for Americans 2020–2025 could support enhanced respiratory health

Anomalous excitonic phase diagram in band-gap-tuned Ta2Ni(Se,S)5

During a band-gap-tuned semimetal-to-semiconductor transition, Coulomb attraction between electrons and holes can cause spontaneously formed excitons near the zero-band-gap point, or the Lifshitz transition point. This has become an important route to realize bulk excitonic insulators -- an insulating ground state distinct from single-particle band insulators. How this route manifests from weak to strong coupling is not clear. In this work, using angle-resolved photoemission spectroscopy (ARPES) and high-resolution synchrotron x-ray diffraction (XRD), we investigate the broken symmetry state across the semimetal-to-semiconductor transition in a leading bulk excitonic insulator candidate system Ta2Ni(Se,S)5. A broken symmetry phase is found to be continuously suppressed from the semimetal side to the semiconductor side, contradicting the anticipated maximal excitonic instability around the Lifshitz transition. Bolstered by first-principles and model calculations, we find strong interband electron-phonon coupling to play a crucial role in the enhanced symmetry breaking on the semimetal side of the phase diagram. Our results not only provide insight into the longstanding debate of the nature of intertwined orders in Ta2NiSe5, but also establish a basis for exploring band-gap-tuned structural and electronic instabilities in strongly coupled systems.Comment: 27 pages, 4 + 9 figure