Showing 1–38 of 38 results for author: Cai, A

Can Large Language Models Code Like a Linguist?: A Case Study in Low Resource Sound Law Induction

Authors: Atharva Naik, Kexun Zhang, Nathaniel Robinson, Aravind Mysore, Clayton Marr, Hong Sng Rebecca Byrnes, Anna Cai, Kalvin Chang, David Mortensen

Abstract: Historical linguists have long written a kind of incompletely formalized ''program'' that converts reconstructed words in an ancestor language into words in one of its attested descendants that consist of a series of ordered string rewrite functions (called sound laws). They do this by observing pairs of words in the reconstructed language (protoforms) and the descendent language (reflexes) and co… ▽ More Historical linguists have long written a kind of incompletely formalized ''program'' that converts reconstructed words in an ancestor language into words in one of its attested descendants that consist of a series of ordered string rewrite functions (called sound laws). They do this by observing pairs of words in the reconstructed language (protoforms) and the descendent language (reflexes) and constructing a program that transforms protoforms into reflexes. However, writing these programs is error-prone and time-consuming. Prior work has successfully scaffolded this process computationally, but fewer researchers have tackled Sound Law Induction (SLI), which we approach in this paper by casting it as Programming by Examples. We propose a language-agnostic solution that utilizes the programming ability of Large Language Models (LLMs) by generating Python sound law programs from sound change examples. We evaluate the effectiveness of our approach for various LLMs, propose effective methods to generate additional language-agnostic synthetic data to fine-tune LLMs for SLI, and compare our method with existing automated SLI methods showing that while LLMs lag behind them they can complement some of their weaknesses. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Quantitative Reducibility of $C^k$ Quasi-Periodic Cocycles

Authors: Ao Cai, Huihui Lv, Zhiguo Wang

Abstract: This paper establishes an extreme $C^k$ reducibility theorem of quasi-periodic $SL(2, \mathbb{R})$ cocycles in the local perturbative region, revealing both the essence of Eliasson [Commun.Math.Phys.1992] and Hou-You [Invent.Math.2012] in respectively the non-resonant and resonant cases. By paralleling further the reducibility process with the almost reducibility, we are able to acquire the least… ▽ More This paper establishes an extreme $C^k$ reducibility theorem of quasi-periodic $SL(2, \mathbb{R})$ cocycles in the local perturbative region, revealing both the essence of Eliasson [Commun.Math.Phys.1992] and Hou-You [Invent.Math.2012] in respectively the non-resonant and resonant cases. By paralleling further the reducibility process with the almost reducibility, we are able to acquire the least initial regularity as well as the least loss of regularity for the whole KAM iterations. This, in return, makes various spectral applications of quasi-periodic Schrödinger operators wide open. △ Less

Submitted 31 May, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Antagonistic AI

Authors: Alice Cai, Ian Arawjo, Elena L. Glassman

Abstract: The vast majority of discourse around AI development assumes that subservient, "moral" models aligned with "human values" are universally beneficial -- in short, that good AI is sycophantic AI. We explore the shadow of the sycophantic paradigm, a design space we term antagonistic AI: AI systems that are disagreeable, rude, interrupting, confrontational, challenging, etc. -- embedding opposite beha… ▽ More The vast majority of discourse around AI development assumes that subservient, "moral" models aligned with "human values" are universally beneficial -- in short, that good AI is sycophantic AI. We explore the shadow of the sycophantic paradigm, a design space we term antagonistic AI: AI systems that are disagreeable, rude, interrupting, confrontational, challenging, etc. -- embedding opposite behaviors or values. Far from being "bad" or "immoral," we consider whether antagonistic AI systems may sometimes have benefits to users, such as forcing users to confront their assumptions, build resilience, or develop healthier relational boundaries. Drawing from formative explorations and a speculative design workshop where participants designed fictional AI technologies that employ antagonism, we lay out a design space for antagonistic AI, articulating potential benefits, design techniques, and methods of embedding antagonistic elements into user experience. Finally, we discuss the many ethical challenges of this space and identify three dimensions for the responsible design of antagonistic AI -- consent, context, and framing. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 17 pages, 1 figure, 5 tables

ACM Class: I.2.0; J.0; K.4.0

Automating Sound Change Prediction for Phylogenetic Inference: A Tukanoan Case Study

Authors: Kalvin Chang, Nathaniel R. Robinson, Anna Cai, Ting Chen, Annie Zhang, David R. Mortensen

Abstract: We describe a set of new methods to partially automate linguistic phylogenetic inference given (1) cognate sets with their respective protoforms and sound laws, (2) a map** from phones to their articulatory features and (3) a typological database of sound changes. We train a neural network on these sound change data to weight articulatory distances between phones and predict intermediate sound c… ▽ More We describe a set of new methods to partially automate linguistic phylogenetic inference given (1) cognate sets with their respective protoforms and sound laws, (2) a map** from phones to their articulatory features and (3) a typological database of sound changes. We train a neural network on these sound change data to weight articulatory distances between phones and predict intermediate sound change steps between historical protoforms and their modern descendants, replacing a linguistic expert in part of a parsimony-based phylogenetic inference algorithm. In our best experiments on Tukanoan languages, this method produces trees with a Generalized Quartet Distance of 0.12 from a tree that used expert annotations, a significant improvement over other semi-automated baselines. We discuss potential benefits and drawbacks to our neural approach and parsimony-based tree prediction. We also experiment with a minimal generalization learner for automatic sound law induction, finding it comparably effective to sound laws from expert annotation. Our code is publicly available at https://github.com/cmu-llab/aiscp. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: Accepted to LChange 2023

AtomXR: Streamlined XR Prototy** with Natural Language and Immersive Physical Interaction

Authors: Alice Cai, Caine Ardayfio, AnhPhu Nguyen, Tica Lin, Elena Glassman

Abstract: As technological advancements in extended reality (XR) amplify the demand for more XR content, traditional development processes face several challenges: 1) a steep learning curve for inexperienced developers, 2) a disconnect between 2D development environments and 3D user experiences inside headsets, and 3) slow iteration cycles due to context switching between development and testing environment… ▽ More As technological advancements in extended reality (XR) amplify the demand for more XR content, traditional development processes face several challenges: 1) a steep learning curve for inexperienced developers, 2) a disconnect between 2D development environments and 3D user experiences inside headsets, and 3) slow iteration cycles due to context switching between development and testing environments. To address these challenges, we introduce AtomXR, a streamlined, immersive, no-code XR prototy** tool designed to empower both experienced and inexperienced developers in creating applications using natural language, eye-gaze, and touch interactions. AtomXR consists of: 1) AtomScript, a high-level human-interpretable scripting language for rapid prototy**, 2) a natural language interface that integrates LLMs and multimodal inputs for AtomScript generation, and 3) an immersive in-headset authoring environment. Empirical evaluation through two user studies offers insights into natural language-based and immersive prototy**, and shows AtomXR provides significant improvements in speed and user experience compared to traditional systems. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Comments: 15 pages, 14 figures, in submission

ACM Class: H.5.2; I.2

Counting the Bugs in ChatGPT's Wugs: A Multilingual Investigation into the Morphological Capabilities of a Large Language Model

Authors: Leonie Weissweiler, Valentin Hofmann, Anjali Kantharuban, Anna Cai, Ritam Dutt, Amey Hengle, Anubha Kabra, Atharva Kulkarni, Abhishek Vijayakumar, Haofei Yu, Hinrich Schütze, Kemal Oflazer, David R. Mortensen

Abstract: Large language models (LLMs) have recently reached an impressive level of linguistic capability, prompting comparisons with human language skills. However, there have been relatively few systematic inquiries into the linguistic capabilities of the latest generation of LLMs, and those studies that do exist (i) ignore the remarkable ability of humans to generalize, (ii) focus only on English, and (i… ▽ More Large language models (LLMs) have recently reached an impressive level of linguistic capability, prompting comparisons with human language skills. However, there have been relatively few systematic inquiries into the linguistic capabilities of the latest generation of LLMs, and those studies that do exist (i) ignore the remarkable ability of humans to generalize, (ii) focus only on English, and (iii) investigate syntax or semantics and overlook other capabilities that lie at the heart of human language, like morphology. Here, we close these gaps by conducting the first rigorous analysis of the morphological capabilities of ChatGPT in four typologically varied languages (specifically, English, German, Tamil, and Turkish). We apply a version of Berko's (1958) wug test to ChatGPT, using novel, uncontaminated datasets for the four examined languages. We find that ChatGPT massively underperforms purpose-built systems, particularly in English. Overall, our results -- through the lens of morphology -- cast a new light on the linguistic capabilities of ChatGPT, suggesting that claims of human-like language skills are premature and misleading. △ Less

Submitted 26 October, 2023; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: EMNLP 2023

Learning the Wrong Lessons: Inserting Trojans During Knowledge Distillation

Authors: Leonard Tang, Tom Shlomi, Alexander Cai

Abstract: In recent years, knowledge distillation has become a cornerstone of efficiently deployed machine learning, with labs and industries using knowledge distillation to train models that are inexpensive and resource-optimized. Trojan attacks have contemporaneously gained significant prominence, revealing fundamental vulnerabilities in deep learning models. Given the widespread use of knowledge distilla… ▽ More In recent years, knowledge distillation has become a cornerstone of efficiently deployed machine learning, with labs and industries using knowledge distillation to train models that are inexpensive and resource-optimized. Trojan attacks have contemporaneously gained significant prominence, revealing fundamental vulnerabilities in deep learning models. Given the widespread use of knowledge distillation, in this work we seek to exploit the unlabelled data knowledge distillation process to embed Trojans in a student model without introducing conspicuous behavior in the teacher. We ultimately devise a Trojan attack that effectively reduces student accuracy, does not alter teacher performance, and is efficiently constructible in practice. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: ICLR 2023 Workshop on Backdoor Attacks and Defenses in Machine Learning

Randomness versus quasi-periodicity

Authors: Ao Cai

Abstract: This paper serves as an extended road map for our long-term project "Mixed Random-quasiperiodic Cocycles" [arXiv:2201.04745, arXiv:2109.09544, arXiv:2210.16908, 6, 7] with Pedro Duarte and Silvius Klein. Despite exhibiting totally different natures, the random world and the quasi-periodic one may still have potential relations that we are keen to reveal. This was inspired by Jiangong You's intrigu… ▽ More This paper serves as an extended road map for our long-term project "Mixed Random-quasiperiodic Cocycles" [arXiv:2201.04745, arXiv:2109.09544, arXiv:2210.16908, 6, 7] with Pedro Duarte and Silvius Klein. Despite exhibiting totally different natures, the random world and the quasi-periodic one may still have potential relations that we are keen to reveal. This was inspired by Jiangong You's intriguing question on the stability of the Lyapunov exponent of quasi-periodic Schrödinger operators under random noise in 2018. △ Less

Submitted 14 January, 2023; originally announced January 2023.

Comments: 16. arXiv admin note: text overlap with arXiv:2201.04745

Hölder continuity of the Lyapunov exponent for Markov cocycles via Furstenberg's Formula

Authors: Ao Cai, Marcelo Durães, Silvius Klein, Aline Melo

Abstract: This paper is concerned with the study of linear cocycles over uniformly ergodic Markov shifts on a compact space of symbols. We establish the joint Hölder continuity of the maximal Lyapunov exponent as a function of the cocycle and the transition kernel in the vicinity of any irreducible cocycle with simple maximal Lyapunov exponent. Our approach, via Furstenberg's formula, shows the Hölder conti… ▽ More This paper is concerned with the study of linear cocycles over uniformly ergodic Markov shifts on a compact space of symbols. We establish the joint Hölder continuity of the maximal Lyapunov exponent as a function of the cocycle and the transition kernel in the vicinity of any irreducible cocycle with simple maximal Lyapunov exponent. Our approach, via Furstenberg's formula, shows the Hölder continuous dependence on the data of the stationary measure of the projective cocycle and in particular provides a more computable Hölder exponent. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Comments: 32 pages

The Naughtyformer: A Transformer Understands Offensive Humor

Authors: Leonard Tang, Alexander Cai, Steve Li, Jason Wang

Abstract: Jokes are intentionally written to be funny, but not all jokes are created the same. Some jokes may be fit for a classroom of kindergarteners, but others are best reserved for a more mature audience. While recent work has shown impressive results on humor detection in text, here we instead investigate the more nuanced task of detecting humor subtypes, especially of the less innocent variety. To th… ▽ More Jokes are intentionally written to be funny, but not all jokes are created the same. Some jokes may be fit for a classroom of kindergarteners, but others are best reserved for a more mature audience. While recent work has shown impressive results on humor detection in text, here we instead investigate the more nuanced task of detecting humor subtypes, especially of the less innocent variety. To that end, we introduce a novel jokes dataset filtered from Reddit and solve the subtype classification task using a finetuned Transformer dubbed the Naughtyformer. Moreover, we show that our model is significantly better at detecting offensiveness in jokes compared to state-of-the-art methods. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Comments: AAAI-23 Student Abstract

Group SELFIES: A Robust Fragment-Based Molecular String Representation

Authors: Austin Cheng, Andy Cai, Santiago Miret, Gustavo Malkomes, Mariano Phielipp, Alán Aspuru-Guzik

Abstract: We introduce Group SELFIES, a molecular string representation that leverages group tokens to represent functional groups or entire substructures while maintaining chemical robustness guarantees. Molecular string representations, such as SMILES and SELFIES, serve as the basis for molecular generation and optimization in chemical language models, deep generative models, and evolutionary methods. Whi… ▽ More We introduce Group SELFIES, a molecular string representation that leverages group tokens to represent functional groups or entire substructures while maintaining chemical robustness guarantees. Molecular string representations, such as SMILES and SELFIES, serve as the basis for molecular generation and optimization in chemical language models, deep generative models, and evolutionary methods. While SMILES and SELFIES leverage atomic representations, Group SELFIES builds on top of the chemical robustness guarantees of SELFIES by enabling group tokens, thereby creating additional flexibility to the representation. Moreover, the group tokens in Group SELFIES can take advantage of inductive biases of molecular fragments that capture meaningful chemical motifs. The advantages of capturing chemical motifs and flexibility are demonstrated in our experiments, which show that Group SELFIES improves distribution learning of common molecular datasets. Further experiments also show that random sampling of Group SELFIES strings improves the quality of generated molecules compared to regular SELFIES strings. Our open-source implementation of Group SELFIES is available online, which we hope will aid future research in molecular generation and optimization. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 11 pages + references and appendix

Journal ref: Digital Discovery (2023)

Statistical properties for mixing Markov chains with applications to dynamical systems

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We establish an abstract, effective, exponential large deviations type estimate for Markov systems satisfying a weaker form of mixing. We employ this result to derive such estimates, as well as a central limit theorem, for the skew product encoding a random torus translation, a model we call a mixed random-quasiperiodic dynamical system. This abstract scheme is applicable to many other types of sk… ▽ More We establish an abstract, effective, exponential large deviations type estimate for Markov systems satisfying a weaker form of mixing. We employ this result to derive such estimates, as well as a central limit theorem, for the skew product encoding a random torus translation, a model we call a mixed random-quasiperiodic dynamical system. This abstract scheme is applicable to many other types of skew product dynamics, including systems for which the spectral gap property for the transition or the transfer operator does not hold. △ Less

Submitted 14 May, 2024; v1 submitted 30 October, 2022; originally announced October 2022.

Comments: 42 pages, 1 figure. Compared to the previous version we added several references and rephrased the main result in a more general setting

A dynamical Thouless formula

Authors: Jamerson Bezerra, Ao Cai, Pedro Duarte, Catalina Freijo, Silvius Klein

Abstract: In this paper we establish an abstract, dynamical Thouless-type formula for affine families of $\mathrm{GL} (2,\mathbb{R})$ cocycles. This result extends the classical formula relating, via the Hilbert transform, the maximal Lyapunov exponent and the integrated density of states of a Schrödinger operator. Here, the role of the integrated density of states will be played by a more geometrical quant… ▽ More In this paper we establish an abstract, dynamical Thouless-type formula for affine families of $\mathrm{GL} (2,\mathbb{R})$ cocycles. This result extends the classical formula relating, via the Hilbert transform, the maximal Lyapunov exponent and the integrated density of states of a Schrödinger operator. Here, the role of the integrated density of states will be played by a more geometrical quantity, the fibered rotation number. As an application of this formula we present limitations on the modulus of continuity of random linear cocycles. Moreover, we derive Hölder-type continuity properties of the fibered rotation number for linear cocycles over various base dynamics. △ Less

Submitted 19 September, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: A couple of references added

Furstenberg Theory of Mixed Random-Quasiperiodic Cocycles

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We derive a criterion for the positivity of the maximal Lyapunov exponent of generic mixed random-quasiperiodic linear cocycles, a model introduced in a previous work. This result is applicable to cocycles corresponding to Schrödinger operators with randomly perturbed quasiperiodic potentials. Moreover, we establish an average uniform convergence to the Lyapunov exponent in the Oseledets theorem. We derive a criterion for the positivity of the maximal Lyapunov exponent of generic mixed random-quasiperiodic linear cocycles, a model introduced in a previous work. This result is applicable to cocycles corresponding to Schrödinger operators with randomly perturbed quasiperiodic potentials. Moreover, we establish an average uniform convergence to the Lyapunov exponent in the Oseledets theorem. △ Less

Submitted 22 February, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 46 pages

Unconventional Superconductivity from Fermi Surface Fluctuations in Strongly Correlated Metals

Authors: Haoyu Hu, Ang Cai, Lei Chen, Lili Deng, Jedediah H. Pixley, Kevin Ingersent, Qimiao Si

Abstract: In quantum materials, electrons that have strong correlations tend to localize, leading to quantum spins as the building blocks for low-energy physics. When strongly correlated electrons coexist with more weakly-correlated conduction electrons, multiple channels of effective interactions develop and compete with each other. The competition creates quantum fluctuations having a large spectral weigh… ▽ More In quantum materials, electrons that have strong correlations tend to localize, leading to quantum spins as the building blocks for low-energy physics. When strongly correlated electrons coexist with more weakly-correlated conduction electrons, multiple channels of effective interactions develop and compete with each other. The competition creates quantum fluctuations having a large spectral weight, with the associated entropies reaching significant fractions of $R\ln 2$ per electron. Advancing a framework to understand how the fluctuating local moments influence unconventional superconductivity is both pressing and challenging. Here we do so in the exemplary setting of heavy-fermion metals, where the amplified quantum fluctuations manifest in the form of Kondo destruction and large-to-small Fermi-surface fluctuations. These fluctuations lead to unconventional superconductivity whose transition temperature is exceptionally high relative to the effective Fermi temperature, reaching several percent of the Kondo temperature scale. Our results provide a natural understanding of the enigmatic superconductivity in a host of heavy-fermion metals. Moreover, the qualitative physics underlying our findings and their implications for the formation of unconventional superconductivity apply to a variety of highly correlated metals with strong Fermi surface fluctuations. △ Less

Submitted 27 September, 2021; originally announced September 2021.

Comments: 28 pages, 7 figures

Spin-singlet and spin-triplet pairing correlations in antiferromagnetically coupled Kondo systems

Authors: Haoyu Hu, Ang Cai, Lei Chen, Qimiao Si

Abstract: Recent experiments in quantum critical heavy fermion metals have pushed to the fore the question about whether antiferromagnetic fluctuations can promote both spin-singlet and spin-triplet superconductivity. Here we address the issue through non-perturbative calculations in antiferromagnetically correlated Kondo systems. We identify Kondo-destruction quantum critical points in both the SU(2) symme… ▽ More Recent experiments in quantum critical heavy fermion metals have pushed to the fore the question about whether antiferromagnetic fluctuations can promote both spin-singlet and spin-triplet superconductivity. Here we address the issue through non-perturbative calculations in antiferromagnetically correlated Kondo systems. We identify Kondo-destruction quantum critical points in both the SU(2) symmetric and Ising-anisotropic cluster Bose-Fermi Anderson models. The spin-singlet pairing correlations are significantly enhanced near the quantum critical point in the SU(2) case; however, with adequate but still realistic degree of Ising anisotropy, the spin-triplet pairing correlations are competitive. Our results demonstrate that spin-flip processes strengthen the spin-singlet pairing at the Kondo-destruction quantum critical points, and point towards a way for antiferromagnetic correlations to drive spin-triplet pairing. Further implications of our findings in the broader context of strongly correlated superconductivity are discussed. △ Less

Submitted 27 September, 2021; originally announced September 2021.

Comments: 9 pages, 5 figures

Mixed Random-Quasiperiodic Cocycles

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We introduce the concept of mixed random-quasiperiodic linear cocycles. We characterize the ergodicity of the base dynamics and establish a large deviations type estimate for certain types of observables. For the fiber dynamics we prove the uniform upper semicontinuity of the maximal Lyapunov exponent. This paper is meant to introduce a model to be studied in depth in further projects. We introduce the concept of mixed random-quasiperiodic linear cocycles. We characterize the ergodicity of the base dynamics and establish a large deviations type estimate for certain types of observables. For the fiber dynamics we prove the uniform upper semicontinuity of the maximal Lyapunov exponent. This paper is meant to introduce a model to be studied in depth in further projects. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: 29 pages

MSC Class: 7D25; 37A05; 37A60; 37A50; 31A05; 32A10; 81Q10

Learning Language and Multimodal Privacy-Preserving Markers of Mood from Mobile Data

Authors: Paul Pu Liang, Terrance Liu, Anna Cai, Michal Muszynski, Ryo Ishii, Nicholas Allen, Randy Auerbach, David Brent, Ruslan Salakhutdinov, Louis-Philippe Morency

Abstract: Mental health conditions remain underdiagnosed even in countries with common access to advanced medical care. The ability to accurately and efficiently predict mood from easily collectible data has several important implications for the early detection, intervention, and treatment of mental health disorders. One promising data source to help monitor human behavior is daily smartphone usage. Howeve… ▽ More Mental health conditions remain underdiagnosed even in countries with common access to advanced medical care. The ability to accurately and efficiently predict mood from easily collectible data has several important implications for the early detection, intervention, and treatment of mental health disorders. One promising data source to help monitor human behavior is daily smartphone usage. However, care must be taken to summarize behaviors without identifying the user through personal (e.g., personally identifiable information) or protected (e.g., race, gender) attributes. In this paper, we study behavioral markers of daily mood using a recent dataset of mobile behaviors from adolescent populations at high risk of suicidal behaviors. Using computational models, we find that language and multimodal representations of mobile typed text (spanning typed characters, words, keystroke timings, and app usage) are predictive of daily mood. However, we find that models trained to predict mood often also capture private user identities in their intermediate representations. To tackle this problem, we evaluate approaches that obfuscate user identity while remaining predictive. By combining multimodal representations with privacy-preserving learning, we are able to push forward the performance-privacy frontier. △ Less

Submitted 24 June, 2021; originally announced June 2021.

Comments: ACL 2021. arXiv admin note: substantial text overlap with arXiv:2012.02359

The absolutely continuous spectrum of finitely differentiable quasi-periodic Schrödinger operators

Authors: Ao Cai

Abstract: We prove that the quasi-periodic Schrödinger operator with a finitely differentiable potential has purely absolutely continuous spectrum for all phases if the frequency is Diophantine and the potential is sufficiently small in the corresponding $C^k$ topology. This is based on a refined quantitative $C^{k,k_0}$ almost reducibility theorem which only requires a quite low initial regularity ``… ▽ More We prove that the quasi-periodic Schrödinger operator with a finitely differentiable potential has purely absolutely continuous spectrum for all phases if the frequency is Diophantine and the potential is sufficiently small in the corresponding $C^k$ topology. This is based on a refined quantitative $C^{k,k_0}$ almost reducibility theorem which only requires a quite low initial regularity ``$k>14τ+2$'' and much of the regularity ``$k_0\leq k-2τ-2$'' is conserved in the end, where $τ$ is the Diophantine constant of the frequency. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 29 pages

Ratios of Naruse-Newton Coefficients Obtained from Descent Polynomials

Authors: Andrew Cai

Abstract: We study Naruse-Newton coefficients, which are obtained from expanding descent polynomials in a Newton basis introduced by Jiradilok and McConville. These coefficients $C_0, C_1, \ldots$ form an integer sequence associated to each finite set of positive integers. For fixed nonnegative integers $a<b$, we examine the set $R_{a, b}$ of all ratios $\frac{C_a}{C_b}$ over finite sets of positive integer… ▽ More We study Naruse-Newton coefficients, which are obtained from expanding descent polynomials in a Newton basis introduced by Jiradilok and McConville. These coefficients $C_0, C_1, \ldots$ form an integer sequence associated to each finite set of positive integers. For fixed nonnegative integers $a<b$, we examine the set $R_{a, b}$ of all ratios $\frac{C_a}{C_b}$ over finite sets of positive integers. We characterize finite sets for which $\frac{C_a}{C_b}$ is minimized and provide a construction to prove $R_{a, b}$ is unbounded above. We use this construction to obtain results on the closure of $R_{a, b}$. We also examine properties of Naruse-Newton coefficients associated with doubleton sets, such as unimodality and log-concavity. Finally, we find an explicit formula for all ratios $\frac{C_a}{C_b}$ of Naruse-Newton coefficients associated with ribbons of staircase shape. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Comments: 27 pages, 4 figures. Comments are welcome!

MSC Class: 05A05 (Primary) 05A20 (Secondary)

Dual-energy CT Reconstruction from Dual Quarter Scans

Authors: Wenkun Zhang, Ningning Liang, Linyuan Wang, Ailong Cai, Zhizhong Zheng, Chao Tang, Yizhong Wang, Lei Li, Bin Yan, Guoen Hu

Abstract: Compared with conventional single-energy computed tomography (CT), dual-energy CT (DECT) provides better material differentiation but most DECT imaging systems require dual full-angle projection data at different X-ray spectra. Relaxing the requirement of data acquisition is a particularly attractive research to promote the applications of DECT in a wide range of imaging areas. In this work, we de… ▽ More Compared with conventional single-energy computed tomography (CT), dual-energy CT (DECT) provides better material differentiation but most DECT imaging systems require dual full-angle projection data at different X-ray spectra. Relaxing the requirement of data acquisition is a particularly attractive research to promote the applications of DECT in a wide range of imaging areas. In this work, we design a novel DECT imaging scheme with dual quarter scans and propose an efficient method to reconstruct the desired DECT images from dual limited-angle projection data, which enables DECT on imaging configurations with half-scan and largely reduces scanning angles and radiation doses. We first study the characteristics of image artifacts under dual quarter scans scheme, and find that the directional limited-angle artifacts of DECT images are complementarily distributed in image domain because the corresponding X-rays of high- and low-energy scans are orthogonal. Inspired by this finding, a fusion CT image is generated by integrating the limited-angle DECT images of dual quarter scans. This strategy largely reduces the limited-angle artifacts and preserves the image edges and inner structures. Utilizing the capability of neural network in the modeling of nonlinear problem, a novel Anchor network with single-entry double-out architecture is designed in this work to yield the desired DECT images from the generated fusion CT image. Experimental results on the simulated and real data verify the effectiveness of the proposed method. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Generative Adversarial Network-Based Sinogram Super-Resolution for Computed Tomography Imaging

Authors: Chao Tang, Wenkun Zhang, Linyuan Wang, Ailong Cai, Ningning Liang, Lei Li, Bin Yan

Abstract: Compared with the conventional 1*1 acquisition mode of projection in computed tomography (CT) image reconstruction, the 2*2 acquisition mode improves the collection efficiency of the projection and reduces the X-ray exposure time. However, the collected projection based on the 2*2 acquisition mode has low resolution (LR) and the reconstructed image quality is poor, thus limiting the use of this mo… ▽ More Compared with the conventional 1*1 acquisition mode of projection in computed tomography (CT) image reconstruction, the 2*2 acquisition mode improves the collection efficiency of the projection and reduces the X-ray exposure time. However, the collected projection based on the 2*2 acquisition mode has low resolution (LR) and the reconstructed image quality is poor, thus limiting the use of this mode in CT imaging systems. In this study, a novel sinogram-super-resolution generative adversarial network (SSR-GAN) model is proposed to obtain high-resolution (HR) sinograms from LR sinograms, thereby improving the reconstruction image quality under the 2*2 acquisition mode. The proposed generator is based on the residual network for LR sinogram feature extraction and super-resolution (SR) sinogram generation. A relativistic discriminator is designed to render the network capable of obtaining more realistic SR sinograms. Moreover, we combine the cycle consistency loss, sinogram domain loss, and reconstruction image domain loss in the total loss function to supervise SR sinogram generation. Then, a trained model can be obtained by inputting the paired LR/HR sinograms into the network. Finally, the classic FBP reconstruction algorithm is used for CT image reconstruction based on the generated SR sinogram. The qualitative and quantitative results of evaluations on digital and real data illustrate that the proposed model not only obtains clean SR sinograms from noisy LR sinograms but also outperforms its counterparts. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Polynomial decay of the gap length for C^k quasi-periodic Schrodinger operators and spectral application

Authors: Ao Cai, Xueyin Wang

Abstract: For the quasi-periodic Schrödinger operators in the local perturbative regime where the frequency is Diophantine and the potential is $C^k$ sufficiently small depending on the Diophantine constants, we prove that the length of the corresponding spectral gap has a polynomial decay upper bound with respect to its label. This is based on a refined quantitative reducibility theorem for $C^k$ quasi-per… ▽ More For the quasi-periodic Schrödinger operators in the local perturbative regime where the frequency is Diophantine and the potential is $C^k$ sufficiently small depending on the Diophantine constants, we prove that the length of the corresponding spectral gap has a polynomial decay upper bound with respect to its label. This is based on a refined quantitative reducibility theorem for $C^k$ quasi-periodic ${\rm SL}(2,\mathbb{R})$ cocycles, and also based on the Moser-Pöschel argument for the related Schrödinger cocycles. As an application, we are able to show the homogeneity of the spectrum. △ Less

Submitted 27 June, 2020; originally announced June 2020.

Comments: 27 pages

Quantum Criticality and Dynamical Kondo Effect in an SU(2) Anderson Lattice Model

Authors: H. Hu, A. Cai, Q. Si

Abstract: Metallic quantum criticality often develops in strongly correlated systems with local effective degrees of freedom. In this work, we consider an Anderson lattice model with SU(2) symmetry. The model is treated by the extended dynamical mean-field theory (EDMFT) in combination with a continuous-time quantum Monte Carlo method. We demonstrate a continuous quantum phase transition, establish the ensu… ▽ More Metallic quantum criticality often develops in strongly correlated systems with local effective degrees of freedom. In this work, we consider an Anderson lattice model with SU(2) symmetry. The model is treated by the extended dynamical mean-field theory (EDMFT) in combination with a continuous-time quantum Monte Carlo method. We demonstrate a continuous quantum phase transition, establish the ensuing quantum critical point to be of a Kondo-destruction type, and determine the anomalous scaling properties. We connect the continuous nature of the transition to a dynamical Kondo effect, which we characterize in terms of a local entanglement entropy and related properties. This effect elucidates the unusual behavior of quantum critical heavy fermion systems. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: 9 pages, 7 figures

CNN-based Automatic Detection of Bone Conditions via Diagnostic CT Images for Osteoporosis Screening

Authors: Chao Tang, Wenkun Zhang, Haiting Li, Lei Li, Ziheng Li, Ailong Cai, Linyuan Wang, Dapeng Shi, Bin Yan

Abstract: Purpose: The purpose is to design a novelty automatic diagnostic method for osteoporosis screening by using the potential capability of convolutional neural network (CNN) in feature representation and extraction, which can be incorporated into the procedure of routine CT diagnostic in physical examination thereby improving the osteoporosis diagnosis and reducing the patient burden. Methods: The pr… ▽ More Purpose: The purpose is to design a novelty automatic diagnostic method for osteoporosis screening by using the potential capability of convolutional neural network (CNN) in feature representation and extraction, which can be incorporated into the procedure of routine CT diagnostic in physical examination thereby improving the osteoporosis diagnosis and reducing the patient burden. Methods: The proposed convolutional neural network-based method mainly comprises two functional modules to perform automatic detection of bone condition by analyzing the diagnostic CT image. The first functional module aims to locate and segment the ROI of diagnostic CT image, called Mark-Segmentation-Network (MS-Net). The second functional module is used to determine the category of bone condition by the features of ROI, called Bone-Conditions-Classification-Network (BCC-Net). The trained MS-Net can get the mark image of inputted original CT image, thereby obtain the segmentation image. The trained BCC-Net can obtain the probability value of normal bone mass, low bone mass, and osteoporosis by inputting the segmentation image. On the basis of network results, the radiologists can provide preliminary qualitative diagnosis results of bone condition. Results: The proposed MS-Net has an excellent segmentation precision on the shape preservation of different lumbar vertebra. The numerical indicators of segmentation results are greater than 0.998. The proposed BCC-Net was evaluated with 3,024 clinical images and achieved an accuracy of 76.65% and an area under the receiver operating characteristic curve of 0.9167. Conclusions: This study proposed a novel two-step method for automatic detection of bone conditions via diagnostic CT images and it has great potential in clinical applications for osteoporosis screening. The method can potentially reduce the manual burden to radiologists and diagnostic cost to patients. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Dynamical Kondo effect and Kondo destruction in effective models for quantum-critical heavy fermion metals

Authors: Ang Cai, Haoyu Hu, Kevin Ingersent, Silke Paschen, Qimiao Si

Abstract: Quantum criticality in certain heavy-fermion metals is believed to go beyond the Landau framework of order-parameter fluctuations. In particular, there is considerable evidence for Kondo destruction: a disappearance of the static Kondo singlet amplitude that results in a sudden reconstruction of Fermi surface across the quantum critical point and an extra critical energy scale. This effect can be… ▽ More Quantum criticality in certain heavy-fermion metals is believed to go beyond the Landau framework of order-parameter fluctuations. In particular, there is considerable evidence for Kondo destruction: a disappearance of the static Kondo singlet amplitude that results in a sudden reconstruction of Fermi surface across the quantum critical point and an extra critical energy scale. This effect can be analyzed in terms of a dynamical interplay between the Kondo and RKKY interactions. In the Kondo-destroyed phase, a well-defined Kondo resonance is lost, but Kondo singlet correlations remain at nonzero frequencies. This dynamical effect allows for mass enhancement in the Kondo-destroyed phase. Here, we elucidate the dynamical Kondo effect in Bose-Fermi Kondo/Anderson models, which unambiguously exhibit Kondo-destruction quantum critical points. We show that a simple physical quantity---the expectation value $\langle {\bf S}_{f} \cdot {\bf s}_{c} \rangle$ for the dot product of the local ($f$) and conduction-electron ($c$) spins---varies continuously across such quantum critical points. A nonzero $\langle {\bf S}_{f} \cdot {\bf s}_{c} \rangle$ manifests the dynamical Kondo effect that operates in the Kondo-destroyed phase. Implications are discussed for the stability of Kondo-destruction quantum criticality as well as the understanding of experimental results in quantum critical heavy-fermion metals. △ Less

Submitted 30 May, 2019; v1 submitted 25 April, 2019; originally announced April 2019.

Comments: 10 pages, 6 figures; minor changes for more streamlined presentation, and references added

Projection Super-resolution Based on Convolutional Neural Network for Computed Tomography

Authors: Chao Tang, Wenkun Zhang, Ziheng Li, Ailong Cai, Linyuan Wang, Lei Li, Ningning Liang, Bin Yan

Abstract: The improvement of computed tomography (CT) image resolution is beneficial to the subsequent medical diagnosis, but it is usually limited by the scanning devices and great expense. Convolutional neural network (CNN)-based methods have achieved promising ability in super-resolution. However, existing methods mainly focus on the super-resolution of reconstructed image and do not fully explored the a… ▽ More The improvement of computed tomography (CT) image resolution is beneficial to the subsequent medical diagnosis, but it is usually limited by the scanning devices and great expense. Convolutional neural network (CNN)-based methods have achieved promising ability in super-resolution. However, existing methods mainly focus on the super-resolution of reconstructed image and do not fully explored the approach of super-resolution from projection-domain. In this paper, we studied the characteristic of projection and proposed a CNN-based super-resolution method to establish the map** relationship of low- and high-resolution projection. The network label is high-resolution projection and the input is its corresponding interpolation data after down sampling. FDK algorithm is utilized for three-dimensional image reconstruction and one slice of reconstruction image is taken as an example to evaluate the performance of the proposed method. Qualitative and quantitative results show that the proposed method is potential to improve the resolution of projection and enables the reconstructed image with higher quality. △ Less

Submitted 23 March, 2019; originally announced March 2019.

A Sinogram Inpainting Method based on Generative Adversarial Network for Limited-angle Computed Tomography

Authors: Ziheng Li, Wenkun Zhang, Linyuan Wang, Ailong Cai, Ningning Liang, Bin Yan, Lei Li

Abstract: Limited-angle computed tomography (CT) image reconstruction is a challenging reconstruction problem in the fields of CT. With the development of deep learning, the generative adversarial network (GAN) perform well in image restoration by approximating the distribution of training sample data. In this paper, we proposed an effective GAN-based inpainting method to restore the missing sinogram data f… ▽ More Limited-angle computed tomography (CT) image reconstruction is a challenging reconstruction problem in the fields of CT. With the development of deep learning, the generative adversarial network (GAN) perform well in image restoration by approximating the distribution of training sample data. In this paper, we proposed an effective GAN-based inpainting method to restore the missing sinogram data for limited-angle scanning. To estimate the missing data, we design the generator and discriminator of the patch-GAN and train the network to learn the data distribution of the sinogram. We obtain the reconstructed image from the restored sinogram by filtered back projection and simultaneous algebraic reconstruction technique with total variation. Experimental results show that serious artifacts caused by missing projection data can be reduced by the proposed method, and it is hopeful to solve the reconstruction problem of 60 degrees limited scanning angle. △ Less

Submitted 10 March, 2019; originally announced March 2019.

Dynamical scaling of charge and spin responses at a Kondo destruction quantum critical point

Authors: Ang Cai, Zuodong Yu, Haoyu Hu, Stefan Kirchner, Qimiao Si

Abstract: Quantum critical points often arise in metals perched at the border of an antiferromagnetic order. The recent observation of singular and dynamically scaling charge conductivity in an antiferromagnetic quantum critical heavy fermion metal implicates beyond-Landau quantum criticality. Here we study the charge and spin dynamics of a Kondo destruction quantum critical point (QCP), as realized in an S… ▽ More Quantum critical points often arise in metals perched at the border of an antiferromagnetic order. The recent observation of singular and dynamically scaling charge conductivity in an antiferromagnetic quantum critical heavy fermion metal implicates beyond-Landau quantum criticality. Here we study the charge and spin dynamics of a Kondo destruction quantum critical point (QCP), as realized in an SU(2)-symmetric Bose-Fermi Kondo model. We find that the critical exponents and scaling functions of the spin and single-particle responses of the QCP in the SU(2) case are essentially the same as those of the large-N limit, showing that $1/N$ corrections are subleading. Building on this insight, we demonstrate that the charge responses at the Kondo destruction QCP are singular and obey $ω/T$ scaling. This property persists at the Kondo destruction QCP of the SU(2)-symmetric Kondo lattice model. △ Less

Submitted 27 December, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

Comments: 5 pages, 4 figures; updated version, to appear in Phys. Rev. Lett

Journal ref: Phys. Rev. Lett. 124, 027205 (2020)

Bose-Fermi Anderson Model with SU(2) Symmetry: Continuous-Time Quantum Monte Carlo Study

Authors: Ang Cai, Qimiao Si

Abstract: In quantum critical heavy fermion systems, local moments are coupled to both collective spin fluctuations and conduction electrons. As such, the Bose-Fermi Kondo model, describing the coupling of a local moment to both a bosonic and a fermionic bath, has been of extensive interest. For the model in the presence of SU(2) spin rotational symmetry, questions have been raised about its phase diagram.… ▽ More In quantum critical heavy fermion systems, local moments are coupled to both collective spin fluctuations and conduction electrons. As such, the Bose-Fermi Kondo model, describing the coupling of a local moment to both a bosonic and a fermionic bath, has been of extensive interest. For the model in the presence of SU(2) spin rotational symmetry, questions have been raised about its phase diagram. Here we develop a version of continuous-time Quantum Monte Carlo (CT-QMC) method suitable for addressing this issue; this procedure can reach sufficiently low temperatures while preserving the SU(2) symmetry. Using this method for the Bose-Fermi Anderson model, we clarify the renormalization-group fixed points and the phase diagram for the case with a constant fermionic-bath density of states and a power-law bosonic-bath spectral function $ρ_{b}(ω) \propto ω^{s}$ ($0<s<1$). We find two types of Kondo destruction QCP, depending on the power-law exponent $s$ in the bosonic bath spectrum. For $s^{*}<s<1$, both types of QCPs exist and, in the parameter regime accessible by an analytical $ε$-expansion renormalization-group calculation (here $ε=1-s$), the CT-QMC result is fully consistent with prior predictions by the latter method. For $s<s^{*}$, there is only one type of QCP. At both type of Kondo destruction QCPs, we find that the exponent of the local spin susceptibility $η$ obeys the relation $η=ε$, which has important implications for Kondo destruction QCP in the Kondo lattice problem. △ Less

Submitted 26 February, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

Comments: 13 pages, 15 figures

Journal ref: Phys. Rev. B 100, 014439 (2019)

Image Domain Dual Material Decomposition for Dual-Energy CT using Butterfly Network

Authors: Wenkun Zhang, Hanming Zhang, Linyuan Wang, Xiaohui Wang, Ailong Cai, Lei Li, Tianye Niu, Bin Yan

Abstract: Dual-energy CT (DECT) has been increasingly used in imaging applications because of its capability for material differentiation. However, material decomposition suffers from magnified noise from two CT images of independent scans, leading to severe degradation of image quality. Existing algorithms achieve suboptimal decomposition performance since they fail to accurately depict the map** relatio… ▽ More Dual-energy CT (DECT) has been increasingly used in imaging applications because of its capability for material differentiation. However, material decomposition suffers from magnified noise from two CT images of independent scans, leading to severe degradation of image quality. Existing algorithms achieve suboptimal decomposition performance since they fail to accurately depict the map** relationship between DECT and the basis material images. Inspired by the impressive potential of CNN, we developed a new Butterfly network to perform the image domain dual material decomposition due to its strong approximation ability to the map** functions in DECT. The Butterfly network is derived from the image domain DECT decomposition model by exploring the geometric relationship between map** functions of data model and network components. The network is designed as the double-entry double-out crossover architecture based on the decomposition formulation. It enters a pair of dual-energy images as inputs and defines the ground true decomposed images as each label. The crossover architecture, which plays an important role in material decomposition, is designed to implement the information exchange between the two material generation pathways in the network. Network components exhibit different sensitivity to basis materials in the visualization. By analyzing their sensitivity to different basis materials, we determined the roles of network components in material decomposition. This visualization evaluation reveals what the network can learn and verifies the rationality of network design. The qualitative and quantitative evaluations in material decomposition of patient data indicate that the proposed network outperforms its counterpart. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Reducibility of finitely differentiable quasi-periodic cocycles and its spectral applications

Authors: Ao Cai, Lingrui Ge

Abstract: In this paper, we prove the generic version of Cantor spectrum for quasi-periodic Schrödinger operators with finitely smooth and small potentials, and we also show pure point spectrum for a class of multi-frequency $C^k$ long-range operators on $\ell^2(\Z^d)$. These results are based on reducibility properties of finitely differentiable quasi-periodic $SL(2,\R)$ cocycles. More precisely, we prove… ▽ More In this paper, we prove the generic version of Cantor spectrum for quasi-periodic Schrödinger operators with finitely smooth and small potentials, and we also show pure point spectrum for a class of multi-frequency $C^k$ long-range operators on $\ell^2(\Z^d)$. These results are based on reducibility properties of finitely differentiable quasi-periodic $SL(2,\R)$ cocycles. More precisely, we prove that if the base frequency is Diophantine, then a $C^k$ $SL(2,\R)$-valued cocycle is reducible if it is close to a constant cocycle, sufficiently smooth and the rotation number of it is Diophantine or rational with respect to the frequency. △ Less

Submitted 22 July, 2020; v1 submitted 25 December, 2017; originally announced December 2017.

Comments: 29 pages,second version

Sequential localization of a complex electron fluid

Authors: V. Martelli, A. Cai, E. M. Nica, M. Taupin, A. Prokofiev, C. -C. Liu, H. -H. Lai, R. Yu, K. Ingersent, R. Küchler, A. M. Strydom, D. Geiger, J. Haenel, J. Larrea, Q. Si, S. Paschen

Abstract: Complex and correlated quantum systems with promise for new functionality often involve entwined electronic degrees of freedom. In such materials, highly unusual properties emerge and could be the result of electron localization. Here, a cubic heavy fermion metal governed by spins and orbitals is chosen as a model system for this physics. Its properties are found to originate from surprisingly sim… ▽ More Complex and correlated quantum systems with promise for new functionality often involve entwined electronic degrees of freedom. In such materials, highly unusual properties emerge and could be the result of electron localization. Here, a cubic heavy fermion metal governed by spins and orbitals is chosen as a model system for this physics. Its properties are found to originate from surprisingly simple low-energy behavior, with two distinct localization transitions driven by a single degree of freedom at a time. This result is unexpected, but we are able to understand it by advancing the notion of sequential destruction of an SU(4) spin-orbital-coupled Kondo entanglement. Our results implicate electron localization as a unified framework for strongly correlated materials and suggest ways to exploit multiple degrees of freedom for quantum engineering. △ Less

Submitted 8 October, 2019; v1 submitted 27 September, 2017; originally announced September 2017.

Comments: 21 pages, 4 figures (preprint format)

Journal ref: PNAS September 3, 2019 116 (36) 17701-17706; first published August 20, 2019

Sharp Holder continuity of the Lyapunov exponent of finitely differentiable quasi-periodic cocycles

Authors: Ao Cai, Claire Chavaudret, Jiangong You, Qi Zhou

Abstract: We show that if the base frequency is Diophantine, then the Lyapunov exponent of a $C^{k}$ quasi-periodic $SL(2,\mathbb{R})$ cocycle is $1/2$-Hölder continuous in the almost reducible regime, if $k$ is large enough. As a consequence, we show that if the frequency is Diophantine, $k$ is large enough, and the potential is $C^k$ small, then the integrated density of states of the corresponding quasi-… ▽ More We show that if the base frequency is Diophantine, then the Lyapunov exponent of a $C^{k}$ quasi-periodic $SL(2,\mathbb{R})$ cocycle is $1/2$-Hölder continuous in the almost reducible regime, if $k$ is large enough. As a consequence, we show that if the frequency is Diophantine, $k$ is large enough, and the potential is $C^k$ small, then the integrated density of states of the corresponding quasi-periodic Schrödinger operator is $1/2$-Hölder continuous. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Efficient Image Reconstruction and Practical Decomposition for Dual-energy Computed Tomography

Authors: Lei Li, Ailong Cai, Linyuan Wang, Bin Yan, Hanming Zhang, Zhizhong Zheng, Wenkun Zhang, Wanli Lu, Guoen Hu

Abstract: Dual-energy computed tomography (DECT) has shown great potential and promising applications in advanced imaging fields for its capabilities of material decomposition. However, image reconstructions and decompositions under sparse views dataset suffers severely from multi factors, such as insufficiencies of data, appearances of noise, and inconsistencies of observations. Under sparse views, convent… ▽ More Dual-energy computed tomography (DECT) has shown great potential and promising applications in advanced imaging fields for its capabilities of material decomposition. However, image reconstructions and decompositions under sparse views dataset suffers severely from multi factors, such as insufficiencies of data, appearances of noise, and inconsistencies of observations. Under sparse views, conventional filtered back-projection type reconstruction methods fails to provide CT images with satisfying quality. Moreover, direct image decomposition is unstable and meet with noise boost even with full views dataset. This paper proposes an iterative image reconstruction algorithm and a practical image domain decomposition method for DECT. On one hand, the reconstruction algorithm is formulated as an optimization problem, which containing total variation regularization term and data fidelity term. The alternating direction method is utilized to design the corresponding algorithm which shows faster convergence speed compared with the existing ones. On the other hand, the image domain decomposition applies the penalized least square (PLS) estimation on decomposing the material map**s. The PLS includes linear combination term and the regularization term which enforces the smoothness on estimation images. The authors implement and evaluate the proposed joint method on real DECT projections and compare the method with typical and state-of-the-art reconstruction and decomposition methods. The experiments on dataset of an anthropomorphic head phantom show that our methods have advantages on noise suppression and edge reservation, without blurring the fine structures in the sinus area in the phantom. Compared to the existing approaches, our method achieves a superior performance on DECT imaging with respect to reconstruction accuracy and decomposition quality. △ Less

Submitted 28 July, 2016; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 19 pages, 5 figures, 2 tables

Equivalence of L0 and L1 Minimizations in Sudoku Problem

Authors: Linyuan Wang, Wenkun Zhang, Bin Yan, Ailong Cai

Abstract: Sudoku puzzles can be formulated and solved as a sparse linear system of equations. This problem is a very useful example for the Compressive Sensing (CS) theoretical study. In this study, the equivalence of Sudoku puzzles L0 and L1 minimizations is analyzed. In particular, 17-clue (smallest number of clues) uniquely completable puzzles with sparse optimization algorithms are studied and divided i… ▽ More Sudoku puzzles can be formulated and solved as a sparse linear system of equations. This problem is a very useful example for the Compressive Sensing (CS) theoretical study. In this study, the equivalence of Sudoku puzzles L0 and L1 minimizations is analyzed. In particular, 17-clue (smallest number of clues) uniquely completable puzzles with sparse optimization algorithms are studied and divided into two types, namely, type-I and -II puzzles. The solution of L1 minimization for the type-I puzzles is unique, and the sparse optimization algorithms can solve all of them exactly. By contrast, the solution of L1 minimization is not unique for the type-II puzzles, and the results of algorithms are incorrect for all these puzzles. Each empty cell for all type-II puzzles is examined. Results show that some cells can change the equivalence of L0 and L1 minimizations. These results may be helpful for the study of equivalence of L0 and L1 norm minimization in CS. △ Less

Submitted 6 July, 2017; v1 submitted 2 May, 2016; originally announced May 2016.

Critical local moment fluctuations and enhanced pairing correlations in a cluster Anderson model

Authors: Ang Cai, J. H. Pixley, Kevin Ingersent, Qimiao Si

Abstract: The appearance of unconventional superconductivity near heavy-fermion quantum critical points (QCPs) motivates investigation of pairing correlations close to a ``beyond Landau'' Kondo-destruction QCP. We focus on a two-Anderson-impurity cluster in which Kondo destruction is induced by a pseudogap in the conduction-electron density of states. Analysis via continuous-time quantum Monte-Carlo and the… ▽ More The appearance of unconventional superconductivity near heavy-fermion quantum critical points (QCPs) motivates investigation of pairing correlations close to a ``beyond Landau'' Kondo-destruction QCP. We focus on a two-Anderson-impurity cluster in which Kondo destruction is induced by a pseudogap in the conduction-electron density of states. Analysis via continuous-time quantum Monte-Carlo and the numerical renormalization group reveals a previously unstudied QCP that both displays the critical-local moment fluctuations characteristic of Kondo destruction and leads to a strongly enhanced singlet-pairing susceptibility. Our results provide new insights into the mechanism for superconductivity in quantum critical metals. △ Less

Submitted 22 February, 2020; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: 9 pages, 11 figures, published version

Journal ref: Phys. Rev. B 101, 014452 (2020)

Cluster Extended Dynamical Mean Field Approach and Unconventional Superconductivity

Authors: J. H. Pixley, Ang Cai, Qimiao Si

Abstract: The extended dynamical mean field theory has played an important role in the study of quantum phase transitions in heavy fermion systems. In order to incorporate the physics of unconventional superconductivity, we develop a cluster version of the extended dynamical mean field theory. In this approach, we show how magnetic order and superconductivity develop as a result of inter-site spin exchange… ▽ More The extended dynamical mean field theory has played an important role in the study of quantum phase transitions in heavy fermion systems. In order to incorporate the physics of unconventional superconductivity, we develop a cluster version of the extended dynamical mean field theory. In this approach, we show how magnetic order and superconductivity develop as a result of inter-site spin exchange interactions, and analyze in some detail the form of correlation functions. We also discuss the methods that can be used to solve the dynamical equations associated with this approach. Finally, we consider different settings in which our approach can be applied, including the periodic Anderson model for heavy fermion systems. △ Less

Submitted 15 May, 2015; v1 submitted 3 September, 2014; originally announced September 2014.

Comments: 15 pages, 2 figures, Replaced with published version

Journal ref: Phys. Rev. B 91, 125127, (2015)