Source author record

Yifei Liu

Yifei Liu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cond-mat.soft cond-mat.str-el cond-mat.supr-con Cryptography and Security Machine Learning physics.flu-dyn quant-ph Social and Information Networks

Catalog footprint

What is connected

4works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2025arXiv

Towards Provably Secure Generative AI: Reliable Consensus Sampling

Existing research on generative AI security is primarily driven by mutually reinforcing attack and defense methodologies grounded in empirical experience. This dynamic frequently gives rise to previously unknown attacks that can circumvent current detection and prevention. This necessitates the continual updating of security mechanisms. Constructing generative AI with provable security and theoretically controllable risk is therefore necessary. Consensus Sampling (CS) is a promising algorithm toward provably secure AI. It controls risk by leveraging overlap in model output probabilities. However, we find that CS relies on frequent abstention to avoid unsafe outputs, which reduces utility. Moreover, CS becomes highly vulnerable when unsafe models are maliciously manipulated. To address these issues, we propose a new primitive called Reliable Consensus Sampling (RCS), that traces acceptance probability to tolerate extreme adversarial behaviors, improving robustness. RCS also eliminates the need for abstention entirely. We further develop a feedback algorithm to continuously and dynamically enhance the safety of RCS. We provide theoretical guarantees that RCS maintains a controllable risk threshold. Extensive experiments show that RCS significantly improves robustness and utility while maintaining latency comparable to CS. We hope this work contributes to the development of provably secure generative AI.

preprint2020arXiv

Rigorous Explanation of Inference on Probabilistic Graphical Models

Probabilistic graphical models, such as Markov random fields (MRF), exploit dependencies among random variables to model a rich family of joint probability distributions. Sophisticated inference algorithms, such as belief propagation (BP), can effectively compute the marginal posteriors. Nonetheless, it is still difficult to interpret the inference outcomes for important human decision making. There is no existing method to rigorously attribute the inference outcomes to the contributing factors of the graphical models. Shapley values provide an axiomatic framework, but naively computing or even approximating the values on general graphical models is challenging and less studied. We propose GraphShapley to integrate the decomposability of Shapley values, the structure of MRFs, and the iterative nature of BP inference in a principled way for fast Shapley value computation, that 1) systematically enumerates the important contributions to the Shapley values of the explaining variables without duplicate; 2) incrementally compute the contributions without starting from scratches. We theoretically characterize GraphShapley regarding independence, equal contribution, and additivity. On nine graphs, we demonstrate that GraphShapley provides sensible and practical explanations.

preprint2019arXiv

Braiding Flux-Tubes in Topological Quantum and Classical Lattice Models from Class-D

We use magnetic flux-tubes to stabilize zero-energy modes in a lattice realization of a 2-dimensional superconductor from class D of classification table of topological condensed matter systems. The zero modes are exchanged by slowly displacing the flux-tubes and an application of the adiabatic theorem demonstrates the geometric nature of the resulting unitary time-evolution operators. Furthermore, an explicit numerical evaluation reveals that the evolutions are in fact topological, hence supplying a representation of the braid group, which turns out to be non-abelian. This physical representation is further formalized using single-strand planar diagrams. Lastly, we discuss how these predictions can be implemented with and observed in classical meta-materials and how the standard Majorana representation of the braid group can be generated by measuring derived physical observables.

preprint2013arXiv

Degenerate Rayleigh-Plateau instability in a magnetically annealed colloidal dispersion

This fluid dynamics video depicts the evolution of a suspension of paramagnetic colloids under the influence of a uniform, pulsed magnetic field. At low pulse frequencies, the suspension condenses into columns which decompose via a Rayleigh-Plateau instability. At high pulse frequencies, the suspension forms a kinetically arrested, system spanning network. We demonstrate the degeneration of the Rayleigh-Plateau instability with increasing pulse frequency.