The Eaton--Moret\'o Conjecture Holds True for \(p\)-Solvable Groups
In this paper we prove that the Eaton--Moret\'{o} conjecture holds true for all $p$-solvable groups.
arXiv subjects
Publications and source records attributed to Yanjun Liu.
In this paper we prove that the Eaton--Moret\'{o} conjecture holds true for all $p$-solvable groups.
Machine learning models for materials property prediction increasingly rely on representations learned end-to-end from large density-functional-theory databases, limiting their applicability when only scarce experimental data are available. Domain-knowledge-driven representations precomputed from crystal structures alone offer a data-efficient, interpretable alternative, but existing approaches capture at most composition or bonding connectivity and discard local structural geometry. Here, we present Graphlet-MP, a database of graphlet histogram representations for 149,082 inorganic crystals from the Materials Project (MP). Seventy-nine distributions describe each material over three hierarchical graphlet orders: atomic sites, bonded pairs, and bond-angle triplets, extracted via screened Voronoi tessellation from the crystallographic information file. We provide a complete technical specification of the representation, an Earth Mover's Distance metric for comparing materials in this space, and the full precomputed database. An accompanying open-source codebase enables users to generate graphlet histograms for arbitrary crystal structures, including experimentally determined ones, and to extend the database to new materials or target properties.
By a result of Noritzsch, a finite solvable group whose non-linear character degrees have the same set of prime divisors is meta-abelian. In this note we investigate finite non-solvable groups whose non-linear character degrees have the same number of different prime divisors, and show that up to an abelian direct factor, such groups are exactly $L_2(4), L_2(8), A_7, S_7$, the central product of a cyclic $3$-group with $3.A_7$, or the semi-direct product of $A_7$ by a cyclic $2$-group $\langle a\rangle$ such that $a$ non-trivially acts on $A_7$ by conjugation. As consequence, we show that only the primes $2,3,5,7$ may occur as prime divisors of their irreducible character degrees, and that Huppert's $\rho$-$\sigma$ conjecture holds for them.
Precise and ultrafast control of electronic band structures is a central challenge for advancing quantum functional materials and devices. Conventional approaches--such as chemical doping, lattice strain, or external gating--offer robust stability but remain confined to the quasi-static regime, far from the intrinsic femto- to picosecond dynamics that govern many-body interactions. Here, using cryogenic transient reflectance spectroscopy, we realize dynamic bandgap engineering in the anisotropic topological insulator $\alpha$-Bi$_4$Br$_4$ with unprecedented micro-electron-volt ($\mu$eV) precision. The exceptional sensitivity arises from the cooperative action of long-lived topological carriers, stabilized by restricted bulk-to-edge scattering phase space, together with symmetry-resolved coherent phonons that modulate inter-chain hopping. These channels jointly modify Coulomb screening and interband transitions, enabling both gradual and oscillatory control of the electronic structure. Supported by first-principles and tight-binding theory, we further demonstrate a dual-pump coherent control strategy for continuous, mode-selective tuning of electronic energies with $\mu$eV accuracy. This framework paves the way for ultrafast on-demand band-structure engineering, pointing toward new frontiers in quantum optoelectronics, precision measurement in molecular and biological systems, and attosecond control of matter.
In this paper, we investigate the extremal functions for anisotropic Trudinger-Moser inequalities. Our method uses convex symmetrization, the continuity of the supremum function, together with the relation between the supremums of the subcritical and the critical anisotropic Trudinger-Moser inequality, we give some results of existence and symmetry about the extremal functions for several different types of anisotropic Trudinger-Moser inequalities.
Predicting the superconducting transition temperature ($T_c$) from crystal structure and composition remains a central challenge in condensed-matter physics, reflecting the absence of a broadly predictive framework connecting microscopic bonding to macroscopic quantum behavior. Here, we introduce $\mathcal{GP}$-$T_c$, an interpretable, structure- and chemistry-aware Gaussian process model that enables uncertainty-quantified $T_c$ prediction from experimentally accessible inputs. By encoding local bonding environments as graphlet histograms, we find that the predictive space collapses to a compact set of descriptors: the distribution of electron-affinity (EA) differences between neighboring atoms, together with interatomic distances and simple elemental features, suffices to predict $T_c$ across disparate superconducting families---identifying an overlooked chemical control parameter that underscores the essential role of local structure beyond composition-only approaches. Our results demonstrate that the EA differences serves as an accessible window into electronic structure providing a mechanism-agnostic physical basis that captures $T_c$ across conventional and unconventional families, including doped charge transfer insulators. $\mathcal{GP}$-$T_c$ reproduces the experimentally reported $T_c$ range of the infinite-layer nickelate Nd$_{0.8}$Sr$_{0.2}$NiO$_2$, and we predict and experimentally confirm superconductivity in stoichiometric PtPb$_3$Bi ($T_c \approx 3$~K). To facilitate broad community use, $\mathcal{GP}$-$T_c$ is made available through a web interface for crystal-structure-based prediction, and the same framework identifies additional high-priority superconducting candidates---including SrNiO$_2$ and K(PRh)$_2$---that provide concrete targets for ongoing and future experimental exploration.
Extended reality (XR), encompassing Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR), is emerging as a transformative platform for medical education. Traditional methods such as textbooks, physical models, and cadaveric dissections often lack interactivity and fail to convey complex spatial relationships effectively. The emerging MR technology addresses these limitations by providing immersive environments that blend virtual elements with real-world contexts. This study presents an MR application for head anatomy education, enabling learners to intuitively interact with see-through 3D anatomical structures via hand gestures and controllers. Our hierarchical information design supports progressive learning, guiding users from basic anatomical labels to detailed structural insights. Additionally, the system incorporates an automatic calibration module that aligns virtual anatomical models with a real human head, thereby facilitating realistic human-model interactions. Experiments show that the system can effectively match the anatomical model with real-time scenes, thus enhancing the interactivity and immersion of medical education, providing an innovative tool for teaching anatomy.
Fetal abdominal malformations are serious congenital anomalies that require accurate diagnosis to guide pregnancy management and reduce mortality. Although AI has demonstrated significant potential in medical diagnosis, its application to prenatal abdominal anomalies remains limited. Most existing studies focus on image-level classification and rely on standard plane localization, placing less emphasis on case-level diagnosis. In this paper, we develop a case-level multiple instance learning (MIL)-based method, free of standard plane localization, for classifying fetal abdominal anomalies in prenatal ultrasound. Our contribution is three-fold. First, we adopt a mixture-of-attention-experts module (MoAE) to weight different attention heads for various planes. Secondly, we propose a medical-knowledge-driven feature selection module (MFS) to align image features with medical knowledge, performing self-supervised image token selection at the case-level. Finally, we propose a prompt-based prototype learning (PPL) to enhance the MFS. Extensively validated on a large prenatal abdominal ultrasound dataset containing 2,419 cases, with a total of 24,748 images and 6 categories, our proposed method outperforms the state-of-the-art competitors. Codes are available at:https://github.com/LL-AC/AAcls.
In this paper, we consider the existence and multiplicity of prescribed mass solutions to the following nonlinear Schrodinger equations with mixed nonlinearities. The standard approach based on the Pohozaev identity to obtain normalized solutions is invalid as the presence of potential. Besides, Our study can be regarded as a Sobolev critical case complement of Bartsch-Qi-Zou (Math Ann 390, 4813-4859, 2024), which has addressed an open problem raised in Bartsch et al.(Commun Partial Differ Equ 46(9):1729--1756,2021).
We consider the problem of optimizing the sum of a smooth, nonconvex function for which derivatives are unavailable, and a convex, nonsmooth function with easy-to-evaluate proximal operator. Of particular focus is the case where the smooth part has a nonlinear least-squares structure. We adapt two existing approaches for derivative-free optimization of nonsmooth compositions of smooth functions to this setting. Our main contribution is adapting our algorithm to handle inexactly computed stationary measures, where the inexactness is adaptively adjusted as required by the algorithm (where previous approaches assumed access to exact stationary measures, which is not realistic in this setting). Numerically, we provide two extensions of the state-of-the-art DFO-LS solver for nonlinear least-squares problems and demonstrate their strong practical performance.
In this paper we consider a stochastic heavy-ball method for solving linear ill-posed inverse problems. With suitable choices of the step-sizes and the momentum coefficients, we establish the regularization property of the method under {\it a priori} selection of the stopping index and derive the rate of convergence under a benchmark source condition on the sought solution. Numerical results are provided to test the performance of the method.
Finger vein authentication, recognized for its high security and specificity, has become a focal point in biometric research. Traditional methods predominantly concentrate on vein feature extraction for discriminative modeling, with a limited exploration of generative approaches. Suffering from verification failure, existing methods often fail to obtain authentic vein patterns by segmentation. To fill this gap, we introduce DiffVein, a unified diffusion model-based framework which simultaneously addresses vein segmentation and authentication tasks. DiffVein is composed of two dedicated branches: one for segmentation and the other for denoising. For better feature interaction between these two branches, we introduce two specialized modules to improve their collective performance. The first, a mask condition module, incorporates the semantic information of vein patterns from the segmentation branch into the denoising process. Additionally, we also propose a Semantic Difference Transformer (SD-Former), which employs Fourier-space self-attention and cross-attention modules to extract category embedding before feeding it to the segmentation task. In this way, our framework allows for a dynamic interplay between diffusion and segmentation embeddings, thus vein segmentation and authentication tasks can inform and enhance each other in the joint training. To further optimize our model, we introduce a Fourier-space Structural Similarity (FourierSIM) loss function, which is tailored to improve the denoising network's learning efficacy. Extensive experiments on the USM and THU-MVFV3V datasets substantiates DiffVein's superior performance, setting new benchmarks in both vein segmentation and authentication tasks.
The advent of material databases provides an unprecedented opportunity to uncover predictive descriptors for emergent material properties from vast data space. However, common reliance on high-throughput ab initio data necessarily inherits limitations of such data: mismatch with experiments. On the other hand, experimental decisions are often guided by an expert's intuition honed from experiences that are rarely articulated. We propose using machine learning to "bottle" such operational intuition into quantifiable descriptors using expertly curated measurement-based data. We introduce "Materials Expert-Artificial Intelligence" (ME-AI) to encapsulate and articulate this human intuition. As a first step towards such a program, we focus on the topological semimetal (TSM) among square-net materials as the property inspired by the expert-identified descriptor based on structural information: the tolerance factor. We start by curating a dataset encompassing 12 primary features of 879 square-net materials, using experimental data whenever possible. We then use Dirichlet-based Gaussian process regression using a specialized kernel to reveal composite descriptors for square-net topological semimetals. The ME-AI learned descriptors independently reproduce expert intuition and expand upon it. Specifically, new descriptors point to hypervalency as a critical chemical feature predicting TSM within square-net compounds. Our success with a carefully defined problem points to the "machine bottling human insight" approach as promising for machine learning-aided material discovery.
In this paper, we use the method of blow-up analysis and capacity estimate to derive the singular Trudinger--Moser inequality involving $N$-Finsler--Laplacian and $L^{p}$ norm, precisely, for any $p>1$, $0\leq\gamma<\gamma_{1}:= \inf\limits_{u\in W^{1, N}_{0}(\Omega)\backslash \{0\}}\frac{\int_{\Omega}F^{N}(\nabla u)dx}{\| u\|_p^N}$ and $0\leq\beta<N$, we have \begin{align} \sup_{u\in W_{0}^{1,N}(\Omega),\;\int_{\Omega}F^{N}(\nabla u)dx-\gamma\| u\|_p^N\leq1}\int_{\Omega}\frac{e^{\lambda_{N}(1-\frac{\beta}{N})\lvert u\rvert^{\frac{N}{N-1}}}}{F^{o}(x)^{\beta}}\;\mathrm{d}x<+\infty\notag, \end{align} where $\lambda_{N}=N^{\frac{N}{N-1}} \kappa_{N}^{\frac{1}{N-1}}$ and $\kappa_{N}$ is the volume of a unit Wulff ball in $\mathbb{R}^N$, moreover, extremal functions for the inequality are also obtained. When $F=\lvert\cdot\rvert$ and $p=N$, we can obtain the singular version of Tintarev type inequality by the obove inequality, namely, for any $0\leq\alpha<\alpha_{1}(\Omega):=\inf\limits_{u\in W^{1, N}_{0}(\Omega)\backslash \{0\}}\frac{\int_{\Omega}|\nabla u|^Ndx}{\| u\|_N^N}$ and $0\leq\beta<N$, it holds $$ \sup_{u\in W_{0}^{1,N}(\Omega),\;\int_{\Omega}\lvert\nabla u\rvert^{N}\;\mathrm{d}x-\alpha\|u\|_{N}^{N}\leq1}\int_{\Omega}\frac{e^{\alpha_{N}(1-\frac{\beta}{N})\lvert u\rvert^{\frac{N}{N-1}}}}{\lvert x\rvert^{\beta}}\;\mathrm{d}x<+\infty, $$ where $\alpha_{N}:=N^{\frac{N}{N-1}}\omega_{N}^{\frac{1}{N-1}}$ and $ \omega_{N}$ is the volume of unit ball in $\mathbb{R}^{N}$. Our results extend many well-known Trudinger--Moser type inequalities to more general setting.
In this paper, we investigate sharp singular Trudinger-Moser inequalities involving the anisotropic Dirichlet norm $\left(\int_{\Omega}F^{N}(\nabla u)\;\mathrm{d}x\right)^{\frac{1}{N}}$ in the Sobolev-type space $D^{N,q}(\mathbb{R}^{N})$, $q\geq 1$, here $F:\mathbb{R}^{N}\rightarrow[0,+\infty)$ is a convex function of class $C^{2}(\mathbb{R}^{N}\setminus\{0\})$, which is even and positively homogeneous of degree 1, its polar $F^{0}$ represents a Finsler metric on $\mathbb{R}^{N}$. Combing with the connection between convex symmetrization and Schwarz symmetrization, we will establish anisotropic singular Trudinger-Moser inequalities and discuss their sharpness under several different situations, including the case $\|F(\nabla u)\|_{N}\leq 1$, the case $\|F(\nabla u)\|_{N}^{a}+\|u\|_{q}^{b}\leq 1$, and whether they are associated with exact growth.
Indoor 3D object detection is an essential task in single image scene understanding, impacting spatial cognition fundamentally in visual reasoning. Existing works on 3D object detection from a single image either pursue this goal through independent predictions of each object or implicitly reason over all possible objects, failing to harness relational geometric information between objects. To address this problem, we propose a dynamic sparse graph pipeline named Explicit3D based on object geometry and semantics features. Taking the efficiency into consideration, we further define a relatedness score and design a novel dynamic pruning algorithm followed by a cluster sampling method for sparse scene graph generation and updating. Furthermore, our Explicit3D introduces homogeneous matrices and defines new relative loss and corner loss to model the spatial difference between target pairs explicitly. Instead of using ground-truth labels as direct supervision, our relative and corner loss are derived from the homogeneous transformation, which renders the model to learn the geometric consistency between objects. The experimental results on the SUN RGB-D dataset demonstrate that our Explicit3D achieves better performance balance than the-state-of-the-art.
Groups with various types of operators, in particular the recently introduced Rota-Baxter groups, have generated renowned interest with close connections to numerical integrals, Yang-Baxter equation, integrable systems and post-Hopf algebras. This paper gives the general notion of operated groups and provides explicit constructions of free operated groups, free differential groups and free Rota-Baxter groups.
Magneto-optical effect has been widely used in light modulation, optical sensing and information storage. Recently discovered two-dimensional (2D) van der Waals layered magnets are considered as promising platforms for investigating novel magneto-optical phenomena and devices, due to the long-range magnetic ordering down to atomically-thin thickness, rich species and tunable properties. However, majority 2D antiferromagnets suffer from low luminescence efficiency which hinders their magneto-optical investigations and applications. Here, we uncover strong light-magnetic ordering interactions in 2D antiferromagnetic MnPS3 utilizing a newly-emerged near-infrared photoluminescence (PL) mode far below its intrinsic bandgap. This ingap PL mode shows strong correlation with the Neel ordering and persists down to monolayer thickness. Combining the DFT, STEM and XPS, we illustrate the origin of the PL mode and its correlation with Neel ordering, which can be attributed to the oxygen ion-mediated states. Moreover, the PL strength can be further tuned and enhanced using ultraviolet-ozone treatment. Our studies offer an effective approach to investigate light-magnetic ordering interactions in 2D antiferromagnetic semiconductors.