Search

Both spin textures and multiple valleys in the momentum space have attracted great attentions due to their versatile applications in spintronics and valleytronics. It is highly desirable to realize multiple types of spin textures in a single material and further couple the spin textures to valley degree of freedom. Here, we study electronic properties of SnP$_{2}$Se$_{6}$ monolayer by first-principles calculations. The monolayer exhibits rare Weyl-type and Ising-type spin textures at different valleys, which can be conveniently expressed by electron and hole dopings, respectively. Besides valley-contrasting spin textures, Berry-curvature-driven anomalous Hall currents and optical selectivity are found to be valley dependent as well. These valley-related properties also have generalizations to SnP$_{2}$Se$_{6}$ few-layers and other MP$_{2}$X$_{6}$. Our findings open new avenue for exploring appealing interplay between spin textures and multiple valleys, and designing advanced device paradigms based on spin and valley degrees of freedom., Comment: 5 pages, 4 figures

Automated test techniques usually generate unit tests with higher code coverage than manual tests. However, the readability of automated tests is crucial for code comprehension and maintenance. The readability of unit tests involves many aspects. In this paper, we focus on test inputs. The central limitation of existing studies on input readability is that they focus on test codes alone without taking the tested source codes into consideration, making them either ignore different source codes' different readability requirements or require manual efforts to write readable inputs. However, we observe that the source codes specify the contexts that test inputs must satisfy. Based on such observation, we introduce the \underline{C}ontext \underline{C}onsistency \underline{C}riterion (a.k.a, C3), which is a readability measurement tool that leverages Large Language Models to extract primitive-type (including string-type) parameters' readability contexts from the source codes and checks whether test inputs are consistent with those contexts. We have also proposed EvoSuiteC3. It leverages C3's extracted contexts to help EvoSuite generate readable test inputs. We have evaluated C3's performance on $409$ \java{} classes and compared manual and automated tests' readability under C3 measurement. The results are two-fold. First, The Precision, Recall, and F1-Score of C3's mined readability contexts are \precision{}, \recall{}, and \fone{}, respectively. Second, under C3's measurement, the string-type input readability scores of EvoSuiteC3, ChatUniTest (an LLM-based test generation tool), manual tests, and two traditional tools (EvoSuite and Randoop) are $90\%$, $83\%$, $68\%$, $8\%$, and $8\%$, showing the traditional tools' inability in generating readable string-type inputs.

The quantum anomalous Hall state with a large band gap and a high Chern number is significant for practical applications in spintronics. By performing first-principles calculations, we investigate electronic properties of the fully fluorinated 1T-MoSe$_{2}$ monolayer. Without considering the spin-orbit coupling, the band structure demonstrates single-spin semi-metallic properties and the trigonal warping around $K_{\pm}$ valleys. The introduction of the spin-orbit coupling opens considerable band gaps of $117.2$ meV around the two valleys, leading to a nontrivial quantum anomalous Hall state with a Chern number of $|C|=2$, which provides two chiral dissipationless transport channels from topological edge states and associated quantized anomalous Hall conductivity. In addition, an effective model is constructed to describe the low-energy physics of the monolayer. Our findings in the MoSe$_{2}$F$_{2}$ monolayer sheds light on large-gap quantum anomalous Hall states in two-dimensional materials with the chemical functionalization, and provides opportunities in designing low-power and noise-tolerant spintronic devices., Comment: 6 pages, 4 figures

Unit testing is critical to the software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach to generating test cases. SBST generates test cases with genetic algorithms by specifying the coverage criterion (e.g., branch coverage). However, a good test suite must have different properties, which cannot be captured using an individual coverage criterion. Therefore, the state-of-the-art approach combines multiple criteria to generate test cases. Since combining multiple coverage criteria brings multiple objectives for optimization, it hurts the test suites' coverage for certain criteria compared with using the single criterion. To cope with this problem, we propose a novel approach named \textbf{smart selection}. Based on the coverage correlations among criteria and the subsumption relationships among coverage goals, smart selection selects a subset of coverage goals to reduce the number of optimization objectives and avoid missing any properties of all criteria. We conduct experiments to evaluate smart selection on $400$ Java classes with three state-of-the-art genetic algorithms under the $2$-minute budget. On average, smart selection outperforms combining all goals on $65.1\%$ of the classes having significant differences between the two approaches. Secondly, we conduct experiments to verify our assumptions about coverage criteria relationships. Furthermore, we assess the coverage performance of smart selection under varying budgets of $5$, $8$, and $10$ minutes and explore its effect on bug detection, confirming the advantage of smart selection over combining all goals., Comment: arXiv admin note: substantial text overlap with arXiv:2208.04096

Recent advancements in large language models (LLMs) have demonstrated exceptional success in a wide range of general domain tasks, such as question answering and following instructions. Moreover, LLMs have shown potential in various software engineering applications. In this study, we present a systematic comparison of test suites generated by the ChatGPT LLM and the state-of-the-art SBST tool EvoSuite. Our comparison is based on several critical factors, including correctness, readability, code coverage, and bug detection capability. By highlighting the strengths and weaknesses of LLMs (specifically ChatGPT) in generating unit test cases compared to EvoSuite, this work provides valuable insights into the performance of LLMs in solving software engineering problems. Overall, our findings underscore the potential of LLMs in software engineering and pave the way for further research in this area.

Vision Transformer(ViT) is now dominating many vision tasks. The drawback of quadratic complexity of its token-wise multi-head self-attention (MHSA), is extensively addressed via either token sparsification or dimension reduction (in spatial or channel). However, the therein redundancy of MHSA is usually overlooked and so is the feed-forward network (FFN). To this end, we propose attention map hallucination and FFN compaction to fill in the blank. Specifically, we observe similar attention maps exist in vanilla ViT and propose to hallucinate half of the attention maps from the rest with much cheaper operations, which is called hallucinated-MHSA (hMHSA). As for FFN, we factorize its hidden-to-output projection matrix and leverage the re-parameterization technique to strengthen its capability, making it compact-FFN (cFFN). With our proposed modules, a 10$\%$-20$\%$ reduction of floating point operations (FLOPs) and parameters (Params) is achieved for various ViT-based backbones, including straight (DeiT), hybrid (NextViT) and hierarchical (PVT) structures, meanwhile, the performances are quite competitive.

The Mingantu Spectral Radioheliograph (MUSER), a new generation of solar dedicated radio imaging-spectroscopic telescope, has realized high-time, high-angular, and high-frequency resolution imaging of the sun over an ultra-broadband frequency range. Each pair of MUSER antennas measures the complex visibility in the aperture plane for each integration time and frequency channel. The corresponding radio image for each integration time and frequency channel is then obtained by inverse Fourier transformation of the visibility data. In general, the phase of the complex visibility is severely corrupted by instrumental and propagation effects. Therefore, robust calibration procedures are vital in order to obtain high-fidelity radio images. While there are many calibration techniques available -- e.g., using redundant baselines, observing standard cosmic sources, or fitting the solar disk -- to correct the visibility data for the above-mentioned phase errors, MUSER is configured with non-redundant baselines and the solar disk structure cannot always be exploited. Therefore it is desirable to develop alternative calibration methods in addition to these available techniques whenever appropriate for MUSER to obtain reliable radio images. In the case that a point-like calibration source containing an unknown position error, we have for the first time derived a mathematical model to describe the problem and proposed an optimization method to calibrate this unknown error by studying the offset of the positions of radio images over a certain period of the time interval. Simulation experiments and actual observational data analyses indicate that this method is valid and feasible. For MUSER's practical data the calibrated position errors are within the spatial angular resolution of the instrument. This calibration method can also be used in other situations for radio aperture synthesis observations., Comment: 20 pages, 12 figures (Research in Astronomy and Astrophysics, accepted on 12 Aug 2022)

Unit testing is a critical part of software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach to generating test cases. SBST generates test cases with genetic algorithms by specifying the coverage criterion (e.g., branch coverage). However, a good test suite must have different properties, which cannot be captured by using an individual coverage criterion. Therefore, the state-of-the-art approach combines multiple criteria to generate test cases. As combining multiple coverage criteria brings multiple objectives for optimization, it hurts the test suites' coverage for certain criteria compared with using the single criterion. To cope with this problem, we propose a novel approach named \textbf{smart selection}. Based on the coverage correlations among criteria and the coverage goals' subsumption relationships, smart selection selects a subset of coverage goals to reduce the number of optimization objectives and avoid missing any properties of all criteria. We conduct experiments to evaluate smart selection on $400$ Java classes with three state-of-the-art genetic algorithms. On average, smart selection outperforms combining all goals on $65.1\%$ of the classes having significant differences between the two approaches.

We investigate the electric response of chiral phonons on the low-buckled group-IVA monolayers by performing first-principles calculations. The vertical electric field breaks the degeneracy of phonon modes at high-symmetry $\pm K$ points of the phonon Brillouin zone, and the size of the phononic gap is proportional to the strength of the electric field. The gapped phonon modes at $\pm K$ possess chiralities with considerable phonon circular polarizations and discrete phonon pseudoangular momenta. The chiralities of phonons are robust against the variation of the field strength, but reversed by changing the field direction. Electric control of chiral phonons adds a new dimension to the study of chiral phonons, which has potential use in the design of phononic and valley devices., Comment: 6 pages, 6 figures

We employ the large-scale quantum Monte-Carlo simulations to investigate the Mott-insulating states of the half-filled SU(4) Hubbard model on the square lattice with a staggered-flux pattern. The noninteracting band structure that evolves from a nested Fermi surface at zero flux to isotropic Dirac cones at $\pi$ flux, exhibits anisotropic Dirac cones as the flux varies in between. Our simulations show transitions between the three phases of Dirac semimetal, antiferromagnet and valence-bond solid. A direct continuous transition between the antiferromagnetic phase and the valence-bond-solid phase is realized via varying the flux in the Mott regime. The simulated critical exponents remarkably agree with those of SU(4) $J$-$Q$ model. Inside the valence-bond-solid phase induced by the flux, the plaquette valence-bond state with vanishing single-particle gap is identified. At strong coupling, the valence-bond-solid phase disappears and the Mott-insulating state is always accompanied by antiferromagnetic ordering, regardless of the magnitude of the flux., Comment: 7 pages, 8 figures

We perform the projector quantum Monte Carlo (QMC) simulation to study the trion formation and quantum phase transition in the half-filled attractive SU(3) Hubbard model on a honeycomb lattice. With increasing attractive Hubbard interaction, our simulations demonstrate a continuous quantum phase transition from the semimetal to charge density wave (CDW) at the critical coupling $U_c/t=-1.52(2)$. The critical exponents $\nu=0.82(3)$ and $\eta=0.58(4)$ determined by the QMC simulation remarkably disagree with those of the $N=3$ chiral Ising universality class suggested by the effective Gross-Neveu-Yukawa (GNY) theory, but coincide with the $N=1$ chiral Ising universality class. In the CDW phase, we show that on-site and off-site trions coexist and the off-site trion forms a local bond state. Our work not only illustrates the formation of off-site trions in two-dimensional Hubbard model, but also raises doubts about the extent of applicability of GNY model on the attractive SU(3) Dirac fermions., Comment: 11 pages, 11 figures

Images or videos always contain multiple objects or actions. Multi-label recognition has been witnessed to achieve pretty performance attribute to the rapid development of deep learning technologies. Recently, graph convolution network (GCN) is leveraged to boost the performance of multi-label recognition. However, what is the best way for label correlation modeling and how feature learning can be improved with label system awareness are still unclear. In this paper, we propose a label graph superimposing framework to improve the conventional GCN+CNN framework developed for multi-label recognition in the following two aspects. Firstly, we model the label correlations by superimposing label graph built from statistical co-occurrence information into the graph constructed from knowledge priors of labels, and then multi-layer graph convolutions are applied on the final superimposed graph for label embedding abstraction. Secondly, we propose to leverage embedding of the whole label system for better representation learning. In detail, lateral connections between GCN and CNN are added at shallow, middle and deep layers to inject information of label system into backbone CNN for label-awareness in the feature learning process. Extensive experiments are carried out on MS-COCO and Charades datasets, showing that our proposed solution can greatly improve the recognition performance and achieves new state-of-the-art recognition performance., Comment: AAAI 2020

Despite the success of deep learning for static image understanding, it remains unclear what are the most effective network architectures for the spatial-temporal modeling in videos. In this paper, in contrast to the existing CNN+RNN or pure 3D convolution based approaches, we explore a novel spatial temporal network (StNet) architecture for both local and global spatial-temporal modeling in videos. Particularly, StNet stacks N successive video frames into a \emph{super-image} which has 3N channels and applies 2D convolution on super-images to capture local spatial-temporal relationship. To model global spatial-temporal relationship, we apply temporal convolution on the local spatial-temporal feature maps. Specifically, a novel temporal Xception block is proposed in StNet. It employs a separate channel-wise and temporal-wise convolution over the feature sequence of video. Extensive experiments on the Kinetics dataset demonstrate that our framework outperforms several state-of-the-art approaches in action recognition and can strike a satisfying trade-off between recognition accuracy and model complexity. We further demonstrate the generalization performance of the leaned video representations on the UCF101 dataset., Comment: AAAI2019

Most existing 3D object recognition algorithms focus on leveraging the strong discriminative power of deep learning models with softmax loss for the classification of 3D data, while learning discriminative features with deep metric learning for 3D object retrieval is more or less neglected. In the paper, we study variants of deep metric learning losses for 3D object retrieval, which did not receive enough attention from this area. First , two kinds of representative losses, triplet loss and center loss, are introduced which could learn more discriminative features than traditional classification loss. Then, we propose a novel loss named triplet-center loss, which can further enhance the discriminative power of the features. The proposed triplet-center loss learns a center for each class and requires that the distances between samples and centers from the same class are closer than those from different classes. Extensive experimental results on two popular 3D object retrieval benchmarks and two widely-adopted sketch-based 3D shape retrieval benchmarks consistently demonstrate the effectiveness of our proposed loss, and significant improvements have been achieved compared with the state-of-the-arts., Comment: accepted by CVPR2018

We employ the projector quantum Monte Carlo simulations to study the ground-state properties of the square-lattice SU(4) Hubbard model with a $\pi$ flux per plaquette. In the weak coupling regime, its ground state is in the gapless Dirac semi-metal phase. With increasing repulsive interaction, we show that, a Mott transition occurs from the semimetal to the valence bond solid, accompanied by the $Z_4$ discrete symmetry breaking. Our simulations demonstrate the existence of a second-order phase transition, which confirms the Ginzburg-Landau analysis. The phase transition point and the critical exponent $\eta$ are also estimated. To account for the effect of a $\pi$ flux on the ordering in the strong coupling regime, we analytically derive by the perturbation theory the ring-exchange term which describes the leading-order difference between the $\pi$-flux and zero-flux SU(4) Hubbard models., Comment: 8 pages, 9 figures