arXiv subjects

Ji Feng

Publications and source records attributed to Ji Feng.

At least 19 recordsLinked to original sources

arXiv2026

Formalize Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning

With large language models (LLMs) increasingly applied to mathematical reasoning, formal proof assistants such as Lean can be leveraged to verify reasoning outputs with machine-checkable rigor, enabling use cases such as answer selection in test-time scaling with K sampled candidate answers. However, employing Lean requires that LLM outputs, originally in natural language, first be formalized. Existing Lean-based answer-selection work uses an autoformalization model to generate a formal statement in Lean for each candidate answer independently, incurring a significant computational cost. We propose BASE, a base-and-edit pipeline that formalizes a single base candidate per problem and derives the remaining K-1 statements by editing the answer expression in place. To facilitate this, we train a rewriter model LEANSCRIBE to localize the answer in the base formalization and generate a reusable edit function for the other K-1 candidates. BASE simultaneously improves selection accuracy and reduces formalization cost - a Pareto improvement that holds on all 12 (dataset, solver) configurations across four benchmarks and three solvers, cutting autoformalizer calls by about 5x at K=8, with the reduction expected to become larger as K grows. Code is available at https://github.com/ucr-rai/base-and-edit.

cs.CL↗

arXiv2026

Dive into the Scene: Breaking the Perceptual Bottleneck in Vision-Language Decision Making via Focus Plan Generation

In embodied vision-language decision making tasks such as robotic manipulation and navigation, Vision-Language and Vision-Language-Action Models (VLMs & VLAs) are powerful tools with different benefits: VLMs are better at long-term planning, while VLAs are better at reactive control. However, their performance is limited by the same perceptual bottleneck: visual hallucinations arise due to the models' inability to distinguish task-relevant objects from distractors. In principle, accurate identification and focus on critical objects while filtering out irrelevant ones is the key to break this limitation. A straightforward solution is one-step focus: directly attending to essential objects. However, this approach proves ineffective because effective focus inherently requires deep scene understanding. To this end, we propose SceneDiver, a coarse-to-fine focus plan generation method for VLMs leveraging their long-term planning abilities, that first constructs a holistic scene graph to establish initial comprehension, then progressively decomposes the task into simpler sub-problems through an iterative cycle of recognition, understanding, and analysis. To enable reactive control, we also design a lightweight adapter for distilling the deliberate focus ability into VLAs. Evaluations on standard embodied AI benchmarks confirm that our method substantially reduces visual hallucinations for both VLMs and VLAs, while preserving computational efficiency in tasks requiring fast execution. Our code and data are released at: https://future-item.github.io/SceneDiver.

cs.CV↗

arXiv2025

Versatile tunable optical injection of chiral polarized Weyl fermions in a magnetic Weyl semimetal Co3Sn2S2

Precise probe and control of various quantum degrees of freedom in novel quantum matter are central to understanding fundamental quantum physics and hold promise for innovative routes to encode and process information. Chirality is one such degree of freedom that has recently attracted intense research interest, especially for Weyl fermions in topological Weyl semimetals. The coupling of chiral degrees of freedom through light-matter interactions and the versatile control of these couplings through external fields can lead to precise quantum control of Weyl fermions. In this work, we demonstrate the observation of light chirality-dependent photocurrent in the mid-infrared regime. Excitation wavelength-dependent measurements reveal that the photocurrent originates from the injection of chiral polarized Weyl fermions by chiral polarized mid-infrared photons. The optical process that generates unbalanced chiral polarized Weyl fermions is determined to be a third-order nonlinear photocurrent process. Compared with nonmagnetic Weyl semimetals, such coupling is versatilely tunable in magnetic Weyl semimetals with the magnetization direction and external electric field in addition to the chirality of light. Our results are not only directly applicable to tunable circular-polarization-sensitive photodetection in the mid-infrared regime, but also pave the way toward functional quantum devices that utilize the chiral quantum degrees of freedom of Weyl fermions.

cond-mat.mes-hall↗

arXiv2025

Spectrum Selective Interfaces and Materials towards Non-photothermal Saltwater Evaporation: Demonstration with a White Ceramic Wick

Most solar desalination efforts are photothermal: they evaporate water with ``black'' materials that absorb as much sunlight as possible. Such ``brine-boiling'' methods are limited by the high thermal mass of water, i.e., its capacity to store and release heat. Here, we study the light-enhanced evaporation by a hard, white, aluminum nitride wick, and propose a route to selectively target salt-water bonds instead of bulk heating via deep-UV interactions. Through experiments and analyses that isolate the effects of light absorption and heating in aluminum nitride, we provide experimental evidence of a light-driven, spectrum-selective path to non-photothermal saltwater evaporation. Leverage of these light-matter interactions in white ceramic wicks may achieve low-cost, low-energy desalination, reduce the heat island effects of traditional solar technologies, and contribute to future cooling technologies where drought is also a concern.

cond-mat.mtrl-sci↗

arXiv2025

Fully First-Principles Approach in Studying Topological Magnons

We develop a fully first-principles approach for spin dynamics based on density functional perturbation theory. We demonstrate that the magnon wavefunction can be expressed by a set of electronic wavefunctions obtained from the decomposition of magnon density profile, enabling the direct calculation of magnonic quantities including Berry curvature and Chern number. As a concrete example, we show that monolayer CrI$_3$ can host topological magnons driven by spin-orbit coupling. Our model-free approach paves the way for the comprehensive studies of magnons in real materials.

cond-mat.mtrl-sci↗

arXiv2024

A Recursive Hybrid Tetrahedron Method for Brillouin-zone Integration

A recursive extension of the hybrid tetrahedron method for Brillouin-zone integration is proposed, allowing iterative tetrahedron refinement and significantly reducing the error from the linear tetrahedron method. The Brillouin-zone integral is expressed as a weighted sum on the initial grid, with integral weights collected recursively from the finest grid. Our method is capable of simultaneously handling multiple singularities in the integrand and thus may provide practical solutions to various Brillouin-zone integral tasks encountered in realistic calculations, including the computation of response and spectral function with superior sampling convergence. We demonstrate its effectiveness through numerical calculations of the density response functions of two model Hamiltonians and one real material system, the face-centered cubic cobalt.

cond-mat.mtrl-sci↗

arXiv2024

Polarimetric compressed sensing with hollow, self-assembled diffractive films

Sensing light's polarization and wavefront direction enables surface curvature assessment, material identification, shadow differentiation, and improved image quality in turbid environments. Traditional polarization cameras utilize multiple sensor measurements per pixel and polarization-filtering optics, which result in reduced image resolution. We propose a nanophotonic pipeline that enables compressive sensing and reduces the sampling requirements with a low-refractive-index, self-assembled optical encoder. These nanostructures scatter light into lattice modes, which encode the wavefront direction and the polarization ellipticity in the linearly-polarized components of the diffracted, interference patterns. Combining optical encoders with a neural network, the system predicts pointing and polarization when the interference patterns are adequately sampled. A comparison of ``ordered'' and ``random'' optical encoders shows that the latter both blurs the interference patterns and achieves higher resolution. Our work centers on the unexpected modulation and spatial multiplexing of incident light polarization by self-assembled hollow nanocavity arrays as a class of materials distinct from traditional metasurfaces that will not only enable encoding for polarization and optical computing but also for compressed sensing and imaging.

physics.optics↗

arXiv2024

Berry phases in Coulomb drag of double-layer graphene system

Recent experiments suggest quantum interference effects in the Coulomb drag of double-layer graphene systems. By accounting for correlated interlayer impurity scattering under a weak magnetic field, our theoretical results reveal drag resistivities resembling those in weak (anti-)localization. It is established that the quantum interference effect is most significant when the chemical potentials match. The theory clarifies the roles of intra- and interlayer Berry phases in Coulomb drag in double-layer graphene systems and helps delineate the intra- and intervalley contributions. These insights are valuable for designing graphene-based electronic devices exploiting quantum effects.

cond-mat.mes-hall↗

arXiv2024

NeuralSCF: Neural network self-consistent fields for density functional theory

Kohn-Sham density functional theory (KS-DFT) has found widespread application in accurate electronic structure calculations. However, it can be computationally demanding especially for large-scale simulations, motivating recent efforts toward its machine-learning (ML) acceleration. We propose a neural network self-consistent fields (NeuralSCF) framework that establishes the Kohn-Sham density map as a deep learning objective, which encodes the mechanics of the Kohn-Sham equations. Modeling this map with an SE(3)-equivariant graph transformer, NeuralSCF emulates the Kohn-Sham self-consistent iterations to obtain electron densities, from which other properties can be derived. NeuralSCF achieves state-of-the-art accuracy in electron density prediction and derived properties, featuring exceptional zero-shot generalization to a remarkable range of out-of-distribution systems. NeuralSCF reveals that learning from KS-DFT's intrinsic mechanics significantly enhances the model's accuracy and transferability, offering a promising stepping stone for accelerating electronic structure calculations through mechanics learning.

physics.comp-ph↗

arXiv2024

Layered Kagome Compound Na$_2$Ni$_3$S$_4$ with Topological Flat Band

We report structural and electronic properties of Na$_2$Ni$_3$S$_4$, a quasi-two-dimensional compound composed of alternating layers of [Ni$_3$S$_4$]$^{2-}$ and Na$^{+}$. The compound features a remarkable Ni-based kagome lattice with a square planar configuration of four surrounding S atoms for each Ni atom. Magnetization and electrical measurements reveal a weak paramagnetic insulator with a gap of about 0.5 eV. Our band structure calculation highlights a set of topological flat bands of the kagome lattice derived from the rotated d$_{xz}$-orbital with $C_\mathrm{3}$ + $T$ symmetry in the presence of crystal-field splitting.

cond-mat.str-el↗

arXiv2024

Assessing the atomic moment picture of spin dynamics: the perspective of \textit{ab initio} magnon wavefunction

Our understanding of collective spin fluctuation in materials relies largely on Heisenberg-type spin Hamiltonians. Implicit in these spin models is the atomic moment picture that in transverse spin dynamics the magnetization around an atom undergoes precessional motion as a rigid moment, which has been challenged by emerging theoretical and experimental advances. To assess the validity of the atomic moment picture in spin dynamics, however, necessitates magnon wavefunctions from \textit{ab initio} methods without \textit{a priori} spin models. To this end, we develop an efficient model-free {\it ab initio} method for computing magnon spectrum and wavefunctions. Niu-Kleinman's adiabatic spin-wave dynamics is reformulated using linear perturbation theory into a generalized eigenvalue problem, which can be solved to produce magnon spectrum and wavefunctions without assuming atomic moments. We have implemented this method in the framework of density functional perturbation theory (DFPT). A dynamical extension of Niu-Kleinman equation of motion is proposed to improve inaccurate predicted magnon energies due to imperfect adiabaticity at higher energies. Based on so-obtained {\it ab initio} magnon wavefunctions, we find the atomic moment picture to be valid in typical ferromagnets and antiferromagnets, but fails in the molecular orbital crystal Na$_2$IrO$_3$. Our results suggest that the usual spin Hamiltonian approach should be taken with a grain of salt, and possible experimental ramification on the issue is discussed.

cond-mat.mtrl-sci↗

arXiv2023

Exploration of magnetoelastic deformations in spin-chain compound CuBr$_2$

We investigate a spin-$\frac{1}{2}$ antiferromagnet, CuBr$_2$, which has quasi-one-dimensional structural motifs. The system has previously been observed to exhibit unusual Raman modes possibly due to a locally deformed crystal structure driven by the low-dimensional magnetism. Using hard X-ray scattering and neutron total scattering, here we aim to verify a specific form of tetramerized lattice deformation proposed in the previous study. Apart from diffuse scattering signals which we can reproduce by performing a thorough modeling of the lattice's thermal vibrations, we do not observe evidence for a tetramerized lattice structure within our detection sensitivity. As a result, it is more likely that the unusual Raman modes in CuBr$_2$ arise from classical magnon-phonon hybridization, rather than from quantum spin-singlet-driven lattice deformation.

cond-mat.str-el↗

arXiv2023

Symmetry transformation of nonlinear optical current of tilted Weyl nodes and application to ferromagnetic MnBi2Te4

A Weyl node is characterized by its chirality and tilt. We develop a theory of how $n$th-order nonlinear optical conductivity behaves under transformations of anisotropic tensor and tilt, which clarify how chirality-dependent and -independent parts of optical conductivity transform under the reversal of tilt and chirality. Built on this theory, we propose ferromagnetic $\rm MnBi_{2}Te_{4}$ as a magnetoelectrically regulated, terahertz optical device, by magnetoelectrically switching the chirality-dependent and -independent dc photocurrents. These results are useful for creating nonlinear optical devices based on topological Weyl semimetals.

cond-mat.mes-hall↗

arXiv2023

Observation of 1D Fermi arc states in Weyl semimetal TaAs

Fermi arcs on Weyl semimetals exhibit many exotic quantum phenomena. Usually considered on atomically-flat surfaces with approximate translation symmetry, Fermi arcs are rooted in peculiar topology of bulk Bloch bands of three-dimensional (3D) crystals. The fundamental question of whether a 1D Fermi arc can be probed remains unanswered. Such answer could significantly broaden potential applications of Weyl semimetals. Here, we report a direct observation of robust edge states on atomic-scale ledges in TaAs using low-temperature scanning tunneling microscopy/spectroscopy. Spectroscopic signatures and theoretical calculations reveal that the 1D Fermi arcs arise from the chiral Weyl points of bulk crystal. The crossover from 2D Fermi arcs to eventual complete localization on 1D edges was arrested experimentally on a sequence of surfaces. Our results demonstrate extreme robustness of the bulk-boundary correspondence, which offers topological protection for Fermi arcs, even in cases in which the boundaries are down to atomic-scale. The persistent 1D Fermi arcs can be profitably exploited in miniaturized quantum devices.

cond-mat.mes-hall↗

arXiv2023

Coexistence of Multiple Stacking Charge Density Waves in Kagome Superconductor ${\mathrm{CsV}}_3{\mathrm{Sb}}_5$

The recently discovered Kagome family ${\mathrm{AV}}_3{\mathrm{Sb}}_5$ (A = K, Rb, Cs) exhibits rich physical phenomena, including non-trivial topological electronic structure, giant anomalous Hall effect, charge density waves (CDW) and superconductivity. Notably, CDW in ${\mathrm{AV}}_3{\mathrm{Sb}}_5$ is evidenced to intertwine with its superconductivity and topology, but its nature remains elusive. Here, we combine x-ray scattering experiments and density-functional theory calculations to investigate the CDWs in ${\mathrm{CsV}}_3{\mathrm{Sb}}_5$ and demonstrate the coexistence of 2 $\times$ 2 $\times$ 2 and 2 $\times$ 2 $\times$ 4 CDW stacking phases. Competition between these CDW phases is revealed by tracking the temperature evolution of CDW intensities, which also manifests in different transition temperatures during warming- and cooling measurements. We also identify a meta-stable quenched state of ${\mathrm{CsV}}_3{\mathrm{Sb}}_5$ after fast-cooling process. Our study demonstrates the coexistence of competing CDW stacking in ${\mathrm{CsV}}_3{\mathrm{Sb}}_5$, offering new insights in understanding the novel properties of this system.

cond-mat.supr-con↗

arXiv2022

An implementation of the density functional perturbation theory in the PAW framework

Quantifying materials' dynamical responses to external electromagnetic fields is central to understanding their physical properties. Here we present an implementation of the density functional perturbation theory for the computation of linear susceptibilities using the projector augmented-wave method. The Sternheimer equations are solved self-consistently through a nested iterative procedure to compute the first-order wavefunctions, from which the linear susceptibilities are obtained. As a demonstration, we compute the spin wave spectral functions of two magnetic metals. The computed magnon spectra for half-metallic CrO$_2$ and a Heusler intermetallic Cu$_2$MnAl show gapless Goldstone modes when spin rotation symmetry is preserved and display reasonable agreement with available experimental data. The Landau damping is computed to be small in CrO$_2$, but significant in Cu$_2$MnAl producing an asymmetric Lorentzian spectral lineshape. The access to linear susceptibilities as well as first-order wavefunctions offers a range of novel possibilities in quantitative understanding of materials' electronic properties from \textit{ab initio} methods.

cond-mat.mtrl-sci↗

arXiv2022

Emergence of bond-dependent highly anisotropic magnetic interactions in Sr$_4$RhO$_6$: a theoretical study

The quantum spin liquid states as a natural ground state of the Kitaev model has led to a quest for new materials candidates hosting Kitaev physics. Yet, there are very few material candidates in this category. Using a combination of $ab$ $initio$ and model Hamiltonian methods, we propose that Ruddlesden-Popper compound Sr$_4$RhO$_6$ belongs to this category. With a tight-binding model and exact diagonalization approach, we show that despite substantial trigonal-like distortion, the electronic and magnetic properties of Sr$_4$RhO$_6$ can be well described in terms of pseudo-spin = 1/2 states. Magnetic interactions among pseudo-spins, estimated using the second-order perturbation method are highly bond-dependent anisotropic in nature with two particularly noticeable features, antiferromagnetic Kitaev and Dzyaloshinskii-Moriya interactions. The gaped spin-wave spectra of Sr$_4$RhO$_6$ obtained with linear spin-wave theory is consistent with the underlying magnetic frustration. Additional analysis of the role of individual or a particular combination of magnetic interactions reveals that the spin-wave spectra of Sr$_4$RhO$_6$ is a combined effect of the highly anisotropic interactions and a relatively simpler minimal model may not be plausible in the current case. The crucial insights about coupling between the local structural features and magnetic properties of Sr$_4$RhO$_6$ obtained in this study may be helpful for future studies belonging to this class.

cond-mat.str-el↗

arXiv2022

Spin interaction and magnetism in cobaltate Kitaev candidate materials: an $ab$ $initio$ and model Hamiltonian approach

In the quest for materials hosting Kitaev spin liquids, much of the efforts have been focused on the fourth- and fifth-row transition metal compounds, which are spin-orbit coupling assisted Mott insulators. Here, we study the structural and magnetic properties of 3$d$ transition metal oxides, Na$_2$Co$_2$TeO$_6$ and Na$_3$Co$_2$SbO$_6$. The partial occupancy of sodium in former compound is addressed using a cluster expansion, and a honeycomb lattice of sodiums is found to be energetically favored. Starting from the \textit{ab initio} band structures, a many-body second order perturbation theory leads to a pseudospin-$\frac{1}{2}$ Hamiltonian with estimated magnetic interactions. We show that the experimentally observed zigzag magnetic state is stabilized only when the first neighbor Kitaev coupling dominates over the Heisenberg term, both of which are highly suppressed due to presence of $e_g$ orbitals. A third neighbor Heisenberg interaction is found dominant in both these compounds. We also present a phase diagram for Na$_2$Co$_2$TeO$_6$ by varying the electron-electron and spin-orbit interactions. The computed spin excitation spectra are found to capture essential features of recent experimental magnon spectrum, lending support to our results.

cond-mat.str-el↗