For a graph $F$, let $h_F(n,q)$ be the minimum number of copies of $F$ in an $n$-vertex graph with $\mathrm{ex}(n,F)+q$ edges, where $\mathrm{ex}(n,F)$ is the maximum number of edges in an $n$-vertex $F$-free graph. Let $c(n,F)$ be the minimum number of copies obtained by adding one edge to an extremal $F$-free graph. Mubayi's supersaturation conjecture predicts, under a stability hypothesis, that $h_F(n,q)\ge q\,c(n,F)$. Ma and Yuan recently constructed stable graph counterexamples for every fixed $q\ge4$; they asked whether the one-edge equality $h_F(n,1)=c(n,F)$ might still hold for every graph $F$ containing a cycle. We give a negative answer to their question. For each integer $t\ge6$, let $H_t$ be obtained from the $t$-vertex path by replacing each edge with a $3t$-page book, using disjoint page vertices for different path edges. Then $h_{H_t}(n,1)<c(n,H_t)$ for infinitely many values of $n$. Moreover, by taking $t$ large, the ratio $h_{H_t}(n,1)/c(n,H_t)$ can be made arbitrarily small along infinitely many values of $n$.
Yuan 2.0-M32, with a similar base architecture as Yuan-2.0 2B, uses a mixture-of-experts architecture with 32 experts of which 2 experts are active. A new router network, Attention Router, is proposed and adopted for a more efficient selection of experts, which improves the accuracy compared to the model with classical router network. Yuan 2.0-M32 is trained with 2000B tokens from scratch, and the training computation consumption is only 9.25% of a dense model at the same parameter scale. Yuan 2.0-M32 demonstrates competitive capability on coding, math, and various domains of expertise, with only 3.7B active parameters of 40B in total, and 7.4 GFlops forward computation per token, both of which are only 1/19 of Llama3-70B. Yuan 2.0-M32 surpass Llama3-70B on MATH and ARC-Challenge benchmark, with accuracy of 55.89 and 95.8 respectively. The models and source codes of Yuan 2.0-M32 are released at Github1.
Yuan and Shields claim that our data-encryption protocol is entirely equivalent to a classical stream cipher utilizing no quantum phenomena. Their claim is, indeed, false. Yuan and Shields also claim that schemes similar to the one presented in Phys. Rev. Lett. 90, 227901 are not suitable for key generation. This claim is also refuted. In any event, we welcome the opportunity to clarify the situation for a wider audience.
The Mordell conjecture asserts that there are only finitely many rational points on a smooth projective curve of genus at least two over a number field. The uniform Mordell problem asks for suitable upper bounds on the number of rational points in the Mordell conjecture, and has been solved by combining works of Vojta, Dimitrov--Habegger--Gao and Kuhne. In this survey, we will introduce a quantitative version of the uniformity problem proved by the recent work of Yu--Yuan--Zhou.
Spatial proteomics enables single-cell-resolution characterization of protein expression within tissue architecture, playing a critical role in understanding tumor microenvironments and guiding precision medicine. However, current analysis workflows remain fragmented, requiring expert manual orchestration of heterogeneous tools and limiting research scalability and reproducibility. We present SP-Mind, the first autonomous AI agent designed to unify the spatial proteomics analysis pipeline, from raw multiplexed tissue imaging to downstream phenotype discovery. Equipped with expert-curated biological analysis skills and specialized computational tools, SP-Mind converts natural-language queries into end-to-end analytical workflows without task-specific fine-tuning. To rigorously evaluate its capabilities, we introduce SP-Bench, a comprehensive benchmark spanning diverse tissue types, comprising 102 tasks across 18 distinct categories. Through extensive evaluation on SP-Bench and established downstream tasks, SP-Mind achieves state-of-the-art performance compared to existing open-source biomedical agent baselines.
A measurement of the CKM angle $γ$ and related strong-phase parameters is performed using a novel, model-independent approach in ${B^{\pm}\rightarrow D(\rightarrow K^{0}_{\rm S} h^{\prime+}h^{\prime-}) h^{\pm}}$ decays, where $h^{(\prime)} \equiv π, K$. The analysis uses a joint data sample of electron-positron collisions collected by the BESIII experiment at the Beijing Electron-Positron Collider II during 2010--2011 and 2021--2022, corresponding to an integrated luminosity of 8 fb$^{-1}$, and proton-proton collisions collected by the LHCb experiment at the Large Hadron Collider during 2011--2018, corresponding to an integrated luminosity of 9 fb$^{-1}$. The two datasets are analyzed simultaneously by applying per-event weights based on the amplitude variation over the $D$-decay phase space to enhance the sensitivity to $C\!P$-violating observables. The CKM angle $γ$ is determined to be $γ= (71.3\pm 5.0)^{\circ}$, which constitutes the most precise single measurement to date.
Using $20.3~{\rm fb}^{-1}$ of $e^+e^-$ collision data collected with the BESIII detector at $\sqrt{s}=3.773~{\rm GeV}$, we perform the first amplitude analysis of the decay $D^+\toπ^+ηη$. The intermediate process $D^+\to a_0(980)^+η$, $a_0(980)^+\toπ^+η$, is observed as the only significant component in the amplitude analysis, and its branching fraction is measured to be $(3.67\pm0.12_{\rm stat}\pm0.06_{\rm syst})\times10^{-3}$. The $π^+η$ mass spectrum associated with $a_0(980)^+η$ production exhibits a line shape that differs substantially from those observed in $D_{(s)}\to a_0(980)π$ and $D^0\to a_0(980)^-e^+ν_e$ decays. We examine several conventional descriptions of the $a_0(980)$ amplitude, including Flatté, dispersively modified Flatté, $T$-matrix, and $K$-matrix parameterizations. With reference $a_0(980)$ parameters, neither these models nor their extensions including additional small resonant or non-resonant amplitudes reproduce the observed line shape satisfactorily. When the $a_0(980)$ parameters are allowed to float, satisfactory fits can be obtained, but the pole mass is driven well above the $K\bar K$ threshold, inconsistent with the near-threshold character of the $
This paper reports the first multi-channel joint analysis to identify the properties of the exotic charmonium-like state $T_{c\bar{c}}(4020)$ via the electron-positron annihilation process $e^{+}e^{-}\toπ^{+}T_{c\bar{c}}(4020)^{-}+c.c$. A partial wave analysis is performed simultaneously in three decay channels $T_{c\bar{c}}(4020)^{-}\to {D}^{*0}D^{*-}$, $π^{-}J/ψ$, and $π^{-}h_{c}$, based on data samples taken at $\sqrt{s}=4.395$ and $4.416\,\mathrm{GeV}$ with an integrated luminosity of $1598.9\,\mathrm{pb}^{-1}$ collected with the BESIII detector operating on the BEPCII collider. For the first time, the spin-parity of the $T_{c\bar{c}}(4020)^{-}$ is determined to be $J^{P}=1^{+}$ with a significance $11.7σ$. Pole positions are extracted on the Riemann sheets with three branch points in the complex energy plane. Furthermore, the relative branching fractions are obtained as $\mathcal{B}[T_{c\bar{c}}(4020)^{-}\toπ^{-}J/ψ]/\mathcal{B}[T_{c\bar{c}}(4020)^{-}\to{D}^{*0}D^{*-}]=(3.6\pm0.6\pm1.6)\times10^{-3}$ and $\mathcal{B}[T_{c\bar{c}}(4020)^{-}\toπ^{-}h_{c}]/\mathcal{B}[T_{c\bar{c}}(4020)^{-}\to{D}^{*0}D^{*-}]=(8.9\pm1.3\pm2.3)\times10^{-2}$, where the first uncertainties are stati
We search for the reaction channel $e^+ e^- \to ηη\,J/ψ$ in a data sample with center-of-mass energies from 4.226 to 4.950~GeV, which was collected by the BESIII detector operating at the Beijing Electron Positron Collider (BEPCII). The data analysis is performed with two different methods, exclusively and semi-inclusively, which enabling a comparison and combination of the results. Only in a few cases a statistical significance of the cross sections with more than $3σ$ is observed with one of the methods. Only at 4.750~GeV the significance of the cross section measurement is 8.9$σ$ (observation) with the exclusive analysis and 3.4$σ$ (evidence) with the semi-inclusive analysis. Therefore, the corresponding upper limits of the cross section at the 90% confidence level are determined. The energy dependent results show clear deviations from the the line shape expected from three-body phase space alone. Since the statistical significance for almost all center-of-mass energies is low, the upper limits for the reaction channel $e^+ e^- \to ηη\,J/ψ$ also serve as limits for the existence of a possible isospin partner to the charmonium-like isospin triplet $Z_{\rm c}(3900)$ which decays t
Vision-Language Models (VLM) exhibit strong reasoning capabilities, showing promise for end-to-end autonomous driving systems. Chain-of-Thought (CoT), as VLM's widely used reasoning strategy, is facing critical challenges. Existing textual CoT has a large gap between text semantic space and trajectory physical space. Although the recent approach utilizes future image to replace text as CoT process, it lacks clear planning-oriented objective guidance to generate images with accurate scene evolution. To address these, we innovatively propose MindDriver, a progressive multimodal reasoning framework that enables VLM to imitate human-like progressive thinking for autonomous driving. MindDriver presents semantic understanding, semantic-to-physical space imagination, and physical-space trajectory planning. To achieve aligned reasoning processes in MindDriver, we develop a feedback-guided automatic data annotation pipeline to generate aligned multimodal reasoning training data. Furthermore, we develop a progressive reinforcement fine-tuning method to optimize the alignment through progressive high- level reward-based learning. MindDriver demonstrates superior performance in both nuScences
The indicator matrix plays an important role in machine learning, but optimizing it is an NP-hard problem. We propose a new relaxation of the indicator matrix and prove that this relaxation forms a manifold, which we call the Relaxed Indicator Matrix Manifold (RIM manifold). Based on Riemannian geometry, we develop a Riemannian toolbox for optimization on the RIM manifold. Specifically, we provide several methods of Retraction, including a fast Retraction method to obtain geodesics. We point out that the RIM manifold is a generalization of the double stochastic manifold, and it is much faster than existing methods on the double stochastic manifold, which has a complexity of \( \mathcal{O}(n^3) \), while RIM manifold optimization is \( \mathcal{O}(n) \) and often yields better results. We conducted extensive experiments, including image denoising, with millions of variables to support our conclusion, and applied the RIM manifold to Ratio Cut, we provide a rigorous convergence proof and achieve clustering results that outperform the state-of-the-art methods. Our Code in \href{https://github.com/Yuan-Jinghui/Riemannian-Optimization-on-Relaxed-Indicator-Matrix-Manifold}{here}.
We study a joint routing-assignment optimization problem in which a set of items must be paired one-to-one with a set of placeholders while simultaneously determining a Hamiltonian cycle that visits every node exactly once. Both the assignment and routing decisions are optimized jointly to minimize the total travel cost. In this work, we propose a method to solve this problem using an exact MIP formulation with Gurobi, including cutting-plane subtour elimination. With analysis of the computational complexity and through extensive experiments, we analyze the computational limitations of this approach as the problem size grows and reveal the challenges associated with the need for more efficient algorithms for larger instances. The dataset, formulations, and experimental results provided here can serve as benchmarks for future studies in this research area. GitHub repository: https://github.com/QL-YUAN/Joint-Assignment-Routing-Optimization
Methods based on diffusion backbones have recently revolutionized novel view synthesis (NVS). However, those models require pretrained 2D diffusion checkpoints (e.g., Stable Diffusion) as the basis for geometrical priors. Since such checkpoints require exorbitant amounts of data and compute to train, this greatly limits the scalability of diffusion-based NVS models. We present Next-Scale Autoregression Conditioned by View (ArchonView), a method that significantly exceeds state-of-the-art methods despite being trained from scratch with 3D rendering data only and no 2D pretraining. We achieve this by incorporating both global (pose-augmented semantics) and local (multi-scale hierarchical encodings) conditioning into a backbone based on the next-scale autoregression paradigm. Our model also exhibits robust performance even for difficult camera poses where previous methods fail, and is several times faster in inference speed compared to diffusion. We experimentally verify that performance scales with model and dataset size, and conduct extensive demonstration of our method's synthesis quality across several tasks. Our code is open-sourced at https://github.com/Shiran-Yuan/ArchonView.
We search for a possible $Λ_{c} \bar{Σ}_{c}$ bound state, denoted as $H_{c}^{\pm}$, via the $ e^{+}e^{-} \to π^{+} π^{-} Λ_{c}^{+}\barΛ_{c}^{-}$ process for the first time. This analysis utilizes 207.8 and 159.3 pb$^{-1}$ of $e^{+}e^{-}$ annihilation data at the center-of-mass energies of 4918.02 and 4950.93 MeV, respectively, collected with the BESIII detector at the BEPCII collider. No statistically significant signal is observed. The upper limits of the product of Born cross section and branching fraction $σ(e^{+}e^{-} \to π^{+} H_c^{-} + c.c.) \times \mathcal{B}(H_c^{-} \rightarrow π^{-}Λ_{c}^{+}\barΛ_{c}^{-})$ at a 90\% confidence level are reported at each energy point and for various $H_{c}$ mass hypotheses (4715, 4720, 4725, 4730, and 4735 MeV/$c^{2}$) and widths (5, 10, or 20 MeV), with the upper limits ranging from 1.1 pb to 6.4 pb.
Using $e^+e^-$ collision data at 19 center-of-mass energies ranging from $4.396$ to $4.951~\mathrm{GeV}$ corresponding to a total integrated luminosity of $8.86~{\rm fb}^{-1}$ collected by the BESIII detector, the process $e^+e^-\to K^{0}K^-π^+ J/ψ+c.c.$ is observed for the first time, with a statistical significance of $9.4σ$ summing up all the data samples. For this process, the cross section and the upper limit at the $90\%$ confidence level are reported at each of the 19 center-of-mass energies.~No statistically significant vector structures are observed in the cross section line shape, nor are any intermediate states of $Kπ$, $K\bar{K}$, $K\bar{K}π$, $KJ/ψ$, $πJ/ψ$, and $KπJ/ψ$ seen at individual energy points or in the combined data sample.
Using $(10087\pm44)\times10^{6}$$J/ψ$ events collected with the BESIII detector operating at the BEPCII storage ring in $2009$, $2012$, $2018$, and $2019$, we perform a search for the reaction $Ξ^0n\rightarrowΛΛX$, where $X$ denotes any additional final particles. Given the highly suppressed phase space for producing extra pions, the $X$ consists of either nothing or a photon, corresponding to the processes $Ξ^0 n \rightarrow ΛΛ$ and $Ξ^{0}n\rightarrowΛΣ^0\rightarrowΛΛγ$. The $Ξ^0$ comes from the decay of $J/ψ\rightarrowΞ^0\barΞ^0$, while the neutron originates from material of the beam pipe. A signal is observed for the first time with a statistical significance of 6.4$σ$. The cross section for the reaction $Ξ^0+{^9\rm{Be}}\rightarrowΛ+Λ+X$ is measured to be $(43.6\pm10.5_{\text{stat}}\pm11.1_{\text{syst}})$ mb at $P_{Ξ^0}\approx0.818$ GeV/$c$, where the first uncertainty is statistical and the second systematic. No significant $H$-dibaryon signal is observed in the $ΛΛ$ final state.
Utilizing data sample of electron-positron collisions recorded with the BESIII detector at the center of mass energy of 3.773 GeV, corresponding to an integrated luminosity of 20.28 fb$^{-1}$, we report the first search for the CP forbidden process $e^+e^- \to ψ(3773) \to D^0\bar{D}^0 \to (K^0_Sπ^0)(K^0_Sπ^0)$. No significant signal is observed. We set the upper limit on the observed cross section to be 7.37 fb, and the upper limit on the joint branching fraction of the C-odd correlated neutral $D$ pair $\mathcal{B}[(D^{0} \bar{D}^{0})_{\text{C-odd}} \to (K^{0}_{S} π^{0})(K^{0}_{S} π^{0})] < 2.04 \times 10^{-6}$ at the 90% confidence level.
This paper works on heuristic solver for joint assignment and routing optimization problem. Study on previous works shows that MIP based exact solvers can only provide efficient solutions for small to moderate size problems, due to exponentially growing computational complexity. This paper proposes to start with high quality initial guess through Hungarian algorithm based assignment and heuristic cycle merging algorithm. Subsequently, the solution is improved based on a proposed shaking algorithm to improve the assignment and routing sequence. In addition, the shaking approach also enables the Simulated Annealing algorithm to further improve the solution, which is very difficult if it is purely based on random sampling updates of item and placeholder sequences. Extensive experimental validation comparing with ground truth from the previously shared database shows that the introduced solver is much more efficient than the Gurobi solver especially for large size problems, with a 1000 node pair problem being solved within 1 min in Python implementation. The solution accuracy is within a percent in general as compared with ground truth in database. Although there are spaces for the pro
Using $(10.087\pm0.044)\times10^9$ $J/ψ$ events collected with the BESIII detector at the $e^+e^-$ BEPCII collider, we present the first amplitude analysis of $J/ψ\toγp\bar{p}$ with the $p\bar p$ invariant mass in the $η_c$ mass region $[2.70,3.05]$~GeV/$c^2$. The product branching fraction $\mathcal{B}(J/ψ\toγη_c)\times\mathcal{B}(η_c\to p\bar{p})$ is precisely determined to be $(2.11\pm0.02_{\rm stat}\pm0.07_{\rm syst})\times10^{-5}$. Combining with the product branching fractions $\mathcal{B}(η_c\to p\bar{p})\times\mathcal{B}(η_c\to γγ)$ and $\mathcal{B}(J/ψ\toγη_c)\times\mathcal{B}(η_c\to γγ)$, the branching fractions of $\mathcal{B}(J/ψ\toγη_c)$ and $\mathcal{B}(η_c\toγγ)$ are calculated to be $(2.29\pm0.01_{\rm stat}\pm0.04_{\rm syst}\pm0.18_{\rm opbf})\%$ and $(2.28\pm0.01_{\rm stat}\pm0.04_{\rm syst}\pm0.18_{\rm opbf})\times10^{-4}$, respectively, which are consistent with the latest lattice quantum chromodynamics calculations. Here, opbf is the uncertainty from the other product branching fractions used in the calculation.
Using an $e^+e^-$ sample of $20.3\,\rm fb^{-1}$ collected at the center-of-mass energy $\sqrt{s}=$ 3.773 GeV with the BESIII detector, we report measurements of several four-body hadronic decays of the $D$ mesons. The absolute branching fractions are determined to be ${\mathcal B}(D^0\to K^0_S K^+K^-π^0 )=( 18.4^{+2.6}_{-2.5}\pm 2.4)\times 10^{-5}$, ${\mathcal B}(D^0\to K^0_S K^0_S K^-π^+ )=( 12.9^{+1.7}_{-1.6}\pm 2.5)\times 10^{-5}$, ${\mathcal B}(D^0\to K^0_S K^0_S K^+π^-)=(5.7^{+1.2}_{-1.1}\pm 1.3)\times 10^{-5}$, ${\mathcal B}(D^0\to K^+K^-K^-π^+ )=(17.4^{+1.8}_{-1.7}\pm { 2.2})\times 10^{-5}$, and ${\mathcal B}(D^+\to K^0_S K^+K^-π^+)=(13.8^{+2.4}_{-2.2}\pm 2.5)\times 10^{-5}$. Furthermore, significant $φ$ signals are found in the decay channels involving $K^+K^-$ pair, and the corresponding branching fractions are measured as ${\mathcal B}(D^0\to φK^0_Sπ^0 )=( 22.7^{+5.4}_{-5.1}\pm 3.7)\times 10^{-5}$, ${\mathcal B}(D^0\to φK^-π^+ )=(25.2^{+3.5}_{-3.3}\pm 4.6)\times 10^{-5}$, ${\mathcal B}(D^+\to φK^0_Sπ^+)=(16.5 ^{+6.0}_{-5.3}\pm 2.6 )\times 10^{-5}$. The branching fractions of $D^0\to K^0_S K^+K^-π^0$, $D^0\to φK^0_Sπ^0$, and $D^+\to φK^0_S π^+$ are measured for the first t