arXiv subjects

Mingwei Zhang

Publications and source records attributed to Mingwei Zhang.

At least 19 recordsLinked to original sources

arXiv2026

An $L^2$ Ahlfors--Beurling inequality in every dimension

Let $Ω\subset\mathbb{R}^N$ ($N\geq2$) be measurable with $0<|Ω|<\infty$, and let $u_Ω$ be its logarithmic potential ($N=2$) or Newtonian potential ($N\geq3$), normalized so that $Δu_Ω=χ_Ω$. We prove the sharp inequality \[ \int_Ω|\nabla u_Ω|^2\,\mathrm{d} x \leq\frac{1}{2Nω_{N-1}} \iint_{Ω\timesΩ}\frac{\mathrm{d} x\,\mathrm{d} y}{|x-y|^{N-2}}, \] where $ω_{N-1}=|\mathbb{S}^{N-1}|$, with equality if and only if $Ω$ is a ball up to a null set. In dimension two this settles the $L^2$ Ahlfors--Beurling conjecture of Fleeman and Khavinson. For $N\ge3$ it is equivalent to the scale-free bound that at most the fraction $(N-2)/(2N)$ of the total field energy lies inside $Ω$. We also obtain an explicit deficit identity, a sharp extension to bounded nonnegative densities, and consequences for torsional rigidity, Bergman analytic content, Brownian motion, and aggregation equations.

math.AP↗

arXiv2026

The sharp Chern--Simons--Sobolev inequality and its variants

We introduce and prove a new conformally invariant Chern--Simons--Sobolev inequality, and classify all optimizers, which are the Hopf map $π:\mathbb{S}^{2n+1}\to\mathbb{CP}^n$ composed with a symplectic diffeomorphism of $\mathbb{CP}^n$ and an orientation-preserving conformal transformation of $\mathbb{S}^{2n+1}$. The proof uses the sharp curl-Sobolev inequality and a rigidity argument for its equality case. Motivated by the main result, we also introduce the spherical Radu--Tchrakian--Yang functional, and prove the global minimality of the Hopf map for radii in a neighborhood of $((n!)^2/n)^{1/(4n-4)}$, and characterize all minimizers. We also prove local instability for sufficiently small and sufficiently large radii, with explicit lower bounds for the Morse index.

math.DG↗

arXiv2026

AIPOCH Open-Science: An Open-Source AI Research Workbench with Reproducible .science Packages

AI-assisted research leaves instructions, computations, artifact revisions and checks whose relationships matter when another researcher receives the work. We present AIPOCH Open-Science, an open-source research workbench with portable .science session packages, and specify an exchange contract for these recorded relationships. Version and assessment targets remain attributable while receiving-workspace identifiers can be remapped, eligible contents can be omitted explicitly, and imported history remains separate from a writable fork. A controlled session tested an incorrect first version, a reviewed correction, an unreviewed revision and a planned but unexecuted step. We compared complete and partial exports with source records extracted independently of the exporter, then inspected imports into separate projects within the same installation. Both conditions retained the tested version and review associations, kept the unreviewed revision distinct from earlier assessments and represented excluded content as unavailable. A documentation-rich ordinary directory also supplied evidence for all seven static inspection questions. A separate registry case connected a table to its recorded task, execution and review; offline execution of its retained script and fixed input reproduced two saved CSV tables byte for byte. The study contributes an implemented exchange contract and a controlled examination of its preservation rules, content-selection constraints and interpretation boundaries.

cs.SE↗

arXiv2026

Harmonic maps from $\mathbb{S}^{2n+1}$ into $\mathbb{CP}^n$ with least Morse index

Let $u:\mathbb{S}^{2n+1}\to\mathbb{CP}^n$ be a smooth nonconstant harmonic map. We prove that its Morse index is equal to $ 2n+2$ if and only if \begin{equation*} u = h \circ π\circ Ξ, \end{equation*} where $Ξ:\mathbb{S}^{2n+1}\to\mathbb{S}^{2n+1}$ is an isometric transformation, $π:\mathbb{S}^{2n+1}\to\mathbb{CP}^n$ is the Hopf map and $h:\mathbb{CP}^n\to\mathbb{CP}^n$ is a holomorphic map with degree one. When $n=1$, it refines a classical result of Urakawa and a recent result of Rivière. Moreover, we prove that $h\circπ\circ Ξ$ has nullity $3n^2+5n$.

math.DG↗

arXiv2026

Another sharp criterion for Dirac zero modes

We resolve an open problem posed by Frank--Loss. Let $n\ge 3$ and let $φ\in L^p(\mathbb{S}^n)$, with $\frac{n}{n-1} 0 \Bigg\}, \end{equation*} and we obtain the following universal estimate \begin{equation*} \mathfrak{a}_n > \frac{n(n-2)}{4(n^2-3n+1)}, \end{equation*} which is enough for our aim. Determining the exact value of $\mathfrak{a}_n$ remains open.

math.DG↗

arXiv2026

The curl-Yamabe problem

We introduce and study a Yamabe-type variational problem associated with the curl operator on middle-degree forms on a closed oriented Riemannian manifold $(M^n,g)$ with $n\equiv3\pmod4$. The corresponding curl--Yamabe constant is defined by minimizing a conformally invariant, gauge-invariant quotient built from $\|{\rm curl}\,α\|_{\frac{2n}{n+1}}$ and $\int_M\langle{\rm curl}\,α,α\rangle$, and its Euler--Lagrange equation is the critical curl--Yamabe equation ${\rm curl}\,α=\frac{n+1}{2}|α|^{\frac{2}{n-1}}α$. Using sharp curl--Sobolev inequalities on the sphere and an Aubin-type cut-off construction, we prove that $0 3$ we establish the strict inequality for manifolds that are not locally conformally flat, via a test-form expansion detecting the Weyl tensor, and deduce existence of a minimizer solving the curl--Yamabe equation.

math.DG↗

arXiv2026

A Novel Nb-Based Eutectic Superalloy with Exceptional Ultrahigh-Temperature Mechanical Properties

Refractory alloys operating above 1300 °C, beyond the limit of Ni-based superalloys, must balance high-temperature strength, thermal stability, low density, low cost, and room-temperature tensile ductility, a combination that existing refractory alloys have yet to achieve. Here we report a castable Nb-based eutectic superalloy, Nb-10Mo-9.5C (at. %, NMC-1), comprising a uniform lamellar structure of Nb-Mo solid solution and Nb2C carbide phases. NMC-1 achieves 0.2% yield strengths of ~300 MPa and ~200 MPa at 1300 °C and 1500 °C, respectively, among the highest reported for Nb-based alloys, with pronounced strain hardening, non-zero room-temperature tensile ductility, and no observed microstructural coarsening after 100 h at 1400 °C. Its low density (8.65 g/cc) and cost (~$85/kg) yield a specific-strength-per-cost merit index that far surpasses commercial Nb, Mo, Ta, and W alloys, establishing a new design paradigm for ultrahigh-temperature structural materials.

cond-mat.mtrl-sci↗

arXiv2026

The sharp curl-Sobolev inequality

We solve a longstanding problem, going back at least to Rivière 1998 and open even in the physically most relevant case $n=3$, by proving a sharp curl-Sobolev inequality on $\mathbb{S}^n$ when $n\equiv 3\pmod 4$: for every $\frac{n-1}{2}$-form $α$, the conformally invariant quotient satisfies (with positive denominator) \[ \frac{\Big(\int_{\mathbb{S}^n}|{\rm curl}α|^{\frac{2n}{n+1}}\,{\rm dV}\Big)^{\frac{n+1}{n}}}{\int_{\mathbb{S}^n}\langle{\rm curl}α,α\rangle\,{\rm dV}} \ge \frac{n+1}{2}\,ω_n^{\frac1n}. \] We also classify all extremals in terms of Killing forms. By conformal invariance, the same result holds on $\mathbb{R}^n$. We then give geometric and variational applications that settle several open conjectures in geometry and mathematical physics. First, we show that on $\mathbb{S}^n$ the round metric is the unique optimizer for the conformal invariant $μ([g_{\rm st}])$. Second, we prove that the unique minimizers of the $3$-energy $\int_{\mathbb{S}^3}|{\rm d} u|^3$ in the homotopy class of the Hopf map $π:\mathbb{S}^3\to\mathbb{S}^2$ are exactly $π\circΦ$ with $Φ\in{\rm Conf}^+(\mathbb{S}^3)$, confirming a conjecture of Rivière. Third, for the Faddeev-Skyrme energy $\mathcal{FS}_ρ$ on $\mathbb{S}^3$, we establish global minimality of the Hopf map in the full predicted range: for every coupling constant $ρ\le \sqrt{2}$, the unique global minimizers in its homotopy class are precisely $π\circ R$ with $R\in\mathrm{SO}(4)$, as expected since Ward 1999. Fourth, in the presence of Dirac zero modes on $\mathbb{S}^3$, we prove the sharp lower bound $\|{\rm curl} A\|_{3/2} \ge 3ω_3^{\frac 2 3}$ for the magnetic field and characterize equality in terms of Killing spinors; in particular, this yields a sharp criterion for the existence of zero modes and answers a question of Frank-Loss for $n=3$.

math.DG↗

arXiv2026

On the sharp constants in curl-Sobolev inequalities on $\mathbb{S}^n$

Let $n\equiv 3\ (\mathrm{mod}\ 4)$ and set $p=\frac{n-1}{2}$. On an oriented Riemannian $n$-manifold we consider the (middle-degree) curl operator, $\mathrm{curl}:*\mathrm{d}:Ω^{p}\rightarrowΩ^{p}$, and the associated conformally invariant Sobolev quotients on $(\mathbb{S}^n,g_{\mathrm{st}})$, \[ J_1(α)=\frac{\big(\int|\mathrm{curl}α|^{\frac{2n}{n+1}}\,\mathrm{dV}\big)^{\frac{n+1}{n}}}{\int\langle\mathrm{curl}α,α\rangle\,\mathrm{dV}}, \qquad J_2(α)=\frac{\big(\int|\mathrm{curl}α|^{\frac{2n}{n+1}}\,\mathrm{dV}\big)^{\frac{n+1}{n}}}{\inf_ϕ\big(\int|α-\mathrm{d}ϕ|^{\frac{2n}{n-1}}\,\mathrm{dV}\big)^{\frac{n-1}{n}}}. \] Killing $p$-forms and their conformal images form a natural family of critical points for both functionals, analogous to the Aubin-Talenti family in the classical Sobolev inequality. We prove a quantitative local stability estimate for $J_1$ around this family, which in particular implies that every such form is a strict local minimizer in the conformally invariant space $W^{1,\frac{2n}{n+1}}$. In contrast, we show that these critical points are unstable for $J_2$ (and for related conformally invariant quotients), yielding a strict upper bound for the sharp constant of the $J_2$ inequality. By conformal invariance, the results on $\mathbb{S}^n$ transfer naturally to $\mathbb{R}^n$.

math.DG↗

arXiv2026

A conformal lower bound of weighted Dirac eigenvalues on manifolds with boundary

For the weighted Dirac eigenproblem on a compact spin manifold with the chiral boundary condition \begin{equation*} \left\{ \begin{array}{ll} Dφ= λfφ& \text{in } M, \\ \mathbf{B}φ= 0 & \text{on } \partial M, \end{array} \right. \end{equation*} we first give a lower bound of the eigenvalue using the relative Yamabe constant \begin{equation*} λ^2 \geq \frac{n}{4(n-1)} Y(M,\partial M,[g]), \end{equation*} then prove that equality holds if and only if (up to a conformal transformation) $M$ is a hemisphere and $φ$ is a Killing spinor. More generalizations are studied.

math.DG↗

arXiv2026

A Low-Cost, Strong, and Ductile Single-Phase Nb-Based Refractory Complex Concentrated Alloy

The development of structural materials capable of sustained operation above 1200 °C is critical for next-generation energy and aerospace systems; however, Ni-based superalloys are fundamentally constrained by their melting temperatures, while conventional Nb-based refractory alloys are limited by modest specific strength and high cost. Here, we report on the design and mechanical performance of a cost-effective, non-equiatomic refractory complex concentrated alloy (RCCA), Nb45Ta15Ti20V20, engineered to overcome these limitations. Specifically, its specific strength surpasses wrought C-103 and rivals additively manufactured (AM) C-103 at temperatures up to 1300 °C while maintaining extensive room temperature tensile ductility (>10 %). Coupled with a high melting point (~2167 °C), reduced density (8.67 g/cc), and a raw material cost of ~$130/kg compared to >$500/kg for wrought C-103 and >$2,500/kg for AM C-103, this alloy delivers superior specific strength-cost efficiency, highlighting the promise of non-equiatomic RCCAs as viable alternatives to commercial refractory alloys.

cond-mat.mtrl-sci↗

arXiv2026

Enhanced Elevated-Temperature Strength in Refractory Complex Concentrated Alloys via Temperature-Induced Transition from Screw-to-Edge Dislocation Control

Refractory complex concentrated alloys (RCCAs) show promise for high-temperature applications but often lose strength due to screw-dislocation-controlled plasticity. We demonstrate a temperature-driven transition from screw- to edge-dislocation-controlled deformation in a single-phase NbTaTiV RCCA. Tensile tests from 298-1573 K reveal a pronounced intermediate-temperature strength plateau and yield strengths surpassing other ductile RCCAs and the Ni-based superalloy CMSX-4 above 1273 K. In-situ neutron diffraction, TEM, and molecular dynamics identify a crossover near ~900 K, where edge dislocation glide stabilized by V-induced lattice distortion dominates, enabling enhanced strength retention and a clear design strategy for ultrahigh-temperature applications.

cond-mat.mtrl-sci↗

arXiv2026

Conformal invariants for the zero mode equation

For non-trivial solutions to the zero mode equation on a closed spin manifold \[D φ=iA\cdot φ,\] we first provide a simple proof for the sharp inequality \eq{ \norm{A}_{L^n}^2 \ge \frac {n}{4(n-1)} Y(M,[g]), } where $Y(M,[g])$ is the Yamabe constant of $(M,g)$, which was obtained by Frank-Loss and Reuss. Then we classify completely the equality case by proving that equality holds if and only if $φ$ is a Killing spinor, and if and only if $(M,g)$ is a Sasaki-Einstein manifold with $A$ (up to scaling) as its Reeb field and $φ$ a vacuum up to a conformal transformation. More generalizations have been also studied.

math.DG↗

arXiv2025

Creep Behavior of High-Entropy Alloys: A Critical Review

High-entropy alloys (HEAs) comprise a compositionally complex class of materials that in certain cases exhibit outstanding mechanical properties. While substantial progress has been made in understanding their phase stability, microstructure, and deformation mechanisms at room and cryogenic temperatures, the long-term creep behavior (>100 h) of HEAs at high temperatures (>0.6 Tm, where Tm is the melting temperature) remains relatively underexplored. This knowledge gap is critical, as many engineering applications, including those in aerospace, power generation, aero engines and nuclear energy, require materials with good creep resistance to maintain structural integrity over extended service lifetimes. This review provides a focused and critical assessment of the current understanding of high-temperature deformation and creep behavior of HEAs, with particular attention paid to face-centered cubic HEAs and body-centered cubic refractory HEAs. The underlying deformation mechanisms governing their creep response and the influence of phase stability at elevated temperatures are examined in detail. Recent studies reveal mechanistic differences between HEAs and conventional dilute alloys that do not always lead to improved creep resistance belying their initial promise. Based on these findings, we discuss the challenges in designing HEAs for high-temperature structural applications and outline future research directions that may lead to creep-resistant HEAs.

cond-mat.mtrl-sci↗

arXiv2025

Mechanistic Transition from Screw to Edge Dislocation Glide Enhances High-Temperature Strength in Refractory Complex Concentrated Alloys

The strength of body-centered cubic materials is traditionally known to be governed by screw dislocations. However, recent findings reveal that in certain refractory complex concentrated alloys, edge dislocations can instead control strength. This work integrates high-temperature mechanical testing, in-situ neutron scattering during heating and tension, scanning transmission electron microscopy, and molecular dynamics simulations to uncover the mechanism behind this behavior. In the Nb-Ta-Ti-V system, increasing the V content, due to its smaller atomic size, induces substantial atomic misfit that raises the glide barrier for edge dislocations relative to screw dislocations. This effect drives a gradual transition from screw to edge dislocation-controlled deformation, leading to markedly enhanced strength at elevated temperatures.

cond-mat.mtrl-sci↗

arXiv2025

Imitation Learning Policy based on Multi-Step Consistent Integration Shortcut Model

The wide application of flow-matching methods has greatly promoted the development of robot imitation learning. However, these methods all face the problem of high inference time. To address this issue, researchers have proposed distillation methods and consistency methods, but the performance of these methods still struggles to compete with that of the original diffusion models and flow-matching models. In this article, we propose a one-step shortcut method with multi-step integration for robot imitation learning. To balance the inference speed and performance, we extend the multi-step consistency loss on the basis of the shortcut model, split the one-step loss into multi-step losses, and improve the performance of one-step inference. Secondly, to solve the problem of unstable optimization of the multi-step loss and the original flow-matching loss, we propose an adaptive gradient allocation method to enhance the stability of the learning process. Finally, we evaluate the proposed method in two simulation benchmarks and five real-world environment tasks. The experimental results verify the effectiveness of the proposed algorithm.

cs.RO↗

arXiv2025

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques

Linear constraints are one of the most fundamental constraints in fields such as computer science, operations research and optimization. Many applications reduce to the task of model counting over integer linear constraints (MCILC). In this paper, we design an exact approach to MCILC based on an exhaustive DPLL architecture. To improve the efficiency, we integrate several effective simplification techniques from mixed integer programming into the architecture. We compare our approach to state-of-the-art MCILC counters and propositional model counters on 2840 random and 4131 application benchmarks. Experimental results show that our approach significantly outperforms all exact methods in random benchmarks solving 1718 instances while the state-of-the-art approach only computes 1470 instances. In addition, our approach is the only approach to solve all 4131 application instances.

cs.AI↗

arXiv2025

Stability of spinorial Sobolev inequalities on $\mathbb{S}^n$

The spinorial Sobolev inequality on the unit sphere states \begin{equation*} \Big(\int| Dψ|^{\frac{2n}{n+1}}\Big)^{\frac{n+1}{n}}-\frac{n}{2}ω_{n}^{1/n}\int\langle Dψ,ψ\rangle \geq 0, \end{equation*} with equality if and only if $ψ\in {\mathcal M}$, the set of all $-\frac 12$-Killing spinors and their conformal transformations. Our main result in this paper is to refine this inequality by establishing a stability inequality \begin{equation*} \Big(\int| Dψ|^{\frac{2n}{n+1}}\Big)^{\frac{n+1}{n}}-\frac{n}{2}ω_{n}^{1/n}\int\langle Dψ,ψ\rangle \geq {\bf c}_S\inf_{ϕ\in\mathcal{M}}\Big(\int| D(ψ-ϕ)|^{\frac{2n}{n+1}}\Big)^{\frac{n+1}{n}}. \end{equation*} As a by-product of our argument, we show that elements in set $\mathcal M$ are not optimizers of another spinorial Sobolev inequality \begin{equation*} \Big(\int| Dψ|^{\frac{2n}{n+1}}\Big)^{\frac{n+1}{n}} \geq C_S \Big(\int|ψ|^{\frac{2n}{n-1}}\Big)^{\frac{n-1}{n}}, \end{equation*} unlike expected by experts. They have in fact index $n+1$ and nullity $2^{[\frac n2]+2}$.

math.DG↗