Source author record

Jianlong Chen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

25works
7topics
4close collaborators

Published work

25 publications

preprint2026arXiv

Flow Matching Transport for Quasi-Monte Carlo Integration

High-dimensional integration with respect to complex target measures remains a fundamental challenge in computational science. While Flow Matching (FM) offers a powerful paradigm for constructing continuous-time transport maps, its deployment in high-precision integration is severely limited by the discretization bias inherent to numerical ODE solvers and the lack of rigorous convergence guarantees when coupled with Quasi-Monte Carlo (QMC) methods. This paper addresses these critical gaps by proposing Flow Matching Importance Sampling Quasi-Monte Carlo (FM-ISQMC), a framework designed to transform biased generative flows into unbiased, high-order integration schemes. Methodologically, we construct a transport map by composing a logistic base transformation with an Euler-discretized neural ODE field and employ importance sampling to correct for residual transport errors. Our central contribution is twofold. First, we establish a general convergence analysis for QMC importance sampling with arbitrary transport maps, identifying sufficient growth conditions for the O(N−1+ε)\mathcal{O}(N^{-1+\varepsilon}) root-mean-square error rate. Second, we rigorously prove that the specific transport architecture of Flow Matching satisfies these conditions. Consequently, we establish a O(N−1+ε)\mathcal{O}(N^{-1+\varepsilon}) root-mean-square error for the unbiased FM-ISQMC estimator, extending classical QMC theory to the realm of generative models. Numerical experiments validate that FM-ISQMC consistently breaks through the error floor observed in direct transport methods, delivering superior precision. This work thus bridges the divide between deep generative modeling and numerical integration.

preprint2026arXiv

Milestones over Outcome: Unlocking Geometric Reasoning with Sub-Goal Verifiable Reward

Multimodal Large Language Models (MLLMs) struggle with complex geometric reasoning, largely because "black box" outcome-based supervision fails to distinguish between lucky guesses and rigorous deduction. To address this, we introduce a paradigm shift towards subgoal-level evaluation and learning. We first construct GeoGoal, a benchmark synthesized via a rigorous formal verification data engine, which converts abstract proofs into verifiable numeric subgoals. This structure reveals a critical divergence between reasoning quality and outcome accuracy. Leveraging this, we propose the Sub-Goal Verifiable Reward (SGVR) framework, which replaces sparse signals with dense rewards based on the Skeleton Rate. Experiments demonstrate that SGVR not only enhances geometric performance (+9.7%) but also exhibits strong generalization, transferring gains to general math (+8.0%) and other general reasoning tasks (+2.8%), demonstrating broad applicability across diverse domains.

preprint2025arXiv

GeoBench: Rethinking Multimodal Geometric Problem-Solving via Hierarchical Evaluation

Geometric problem solving constitutes a critical branch of mathematical reasoning, requiring precise analysis of shapes and spatial relationships. Current evaluations of geometric reasoning in vision-language models (VLMs) face limitations, including the risk of test data contamination from textbook-based benchmarks, overemphasis on final answers over reasoning processes, and insufficient diagnostic granularity. To address these issues, we present GeoBench, a hierarchical benchmark featuring four reasoning levels in geometric problem-solving: Visual Perception, Goal-Oriented Planning, Rigorous Theorem Application, and Self-Reflective Backtracking. Through six formally verified tasks generated via TrustGeoGen, we systematically assess capabilities ranging from attribute extraction to logical error correction. Experiments reveal that while reasoning models like OpenAI-o3 outperform general MLLMs, performance declines significantly with increasing task complexity. Key findings demonstrate that sub-goal decomposition and irrelevant premise filtering critically influence final problem-solving accuracy, whereas Chain-of-Thought prompting unexpectedly degrades performance in some tasks. These findings establish GeoBench as a comprehensive benchmark while offering actionable guidelines for developing geometric problem-solving systems.

preprint2016arXiv

Characterizations of core and dual core inverses in rings with involution

Let R be a unital ring with involution, we give the characterizations and representations of the core and dual core inverses of an element in R by Hermitian elements (or projections) and units. For example, let a in R and n is an integer greater than or equal to 1, then a is core invertible if and only if there exists a Hermitian element (or a projection) p such that pa=0, a^n+p is invertible. As a consequence, a is an EP element if and only if there exists a Hermitian element (or a projection) p such that pa=ap=0, a^n+p is invertible. We also get a new characterization for both core invertible and dual core invertible of a regular element by units, and their expressions are shown. In particular, we prove that for n is an integer greater than or equal to 2, a is both Moore-Penrose invertible and group invertible if and only if (a*)^n is invertible along a.

preprint2016arXiv

Core and Dual Core Inverses of a Sum of Morphisms

Let C\mathscr{C} be an additive category with an involution ∗\ast. Suppose that φ:X→Xφ: X \rightarrow X is a morphism of C\mathscr{C} with core inverse $φ^{\co} : X \rightarrow X$ and η:X→Xη: X \rightarrow X is a morphism of C\mathscr{C} such that $1_X+φ^{\co}η$ is invertible. Let $α=(1_X+φ^{\co}η)^{-1},$ $β=(1_X+ηφ^{\co})^{-1},$ $\varepsilon=(1_X-φφ^{\co})ηα(1_X-φ^{\co}φ),$ $γ=α(1_X-φ^{\co}φ)β^{-1}φφ^{\co}β,$ $σ=αφ^{\co}φα^{-1}(1_X-φφ^{\co})β,$ $δ=β^{\ast}(φ^{\co})^{\ast}η^{\ast}(1_X-φφ^{\co})β.$ Then f=φ+η−εf=φ+η-\varepsilon has a core inverse if and only if 1X−γ1_X-γ, 1X−σ1_X-σ and 1X−δ1_X-δ are invertible. Moreover, the expression of the core inverse of ff is presented. Let RR be a unital ∗\ast-ring and J(R)J(R) its Jacobson radical, if $a\in R^{\co}$ with core inverse $a^{\co}$ and j∈J(R)j\in J(R), then $a+j\in R^{\co}$ if and only if $(1-aa^{\co})j(1+a^{\co}j)^{-1}(1-a^{\co}a)=0$. We also give the similar results for the dual core inverse.

preprint2016arXiv

One-sided (b,c)(b, c)-inverses in rings

In this paper we introduce a new generalized inverse in a ring -- one-sided (b,c)(b, c)-inverse, derived as an extension of (b,c)(b, c)-inverse. This inverse also generalizes one-sided inverse along an element, which was recently introduced by H. H. Zhu et al. [H. H. Zhu, J. L. Chen, P. Patrício, Further results on the inverse along an element in semigroups and rings, Linear Multilinear Algebra, 64 (3) (2016) 393-403]. Also, here we present one-sided annihilator (b,c)(b, c)-inverse, which is an extension of the annihilator (b,c)(b, c)-inverse. Necessary and sufficient conditions for the existence of these new generalized inverses are obtained. Furthermore, we investigate conditions for the existence of one-sided (b,c)(b, c)-inverse of a product of three elements and we consider some properties of one-sided (b,c)(b, c)-inverses.

preprint2016arXiv

Reverse order law for the inverse along an element

In this paper, we introduce a new concept called left (right) g-MP inverse in a ∗*-monoid. The relations of this type of generalized inverse with left inverse along an element are investigated. Also, the reverse order law for the inverse along an element is studied. Then, the existence criteria and formulae of the inverse of the product of triple elements along an element are investigated in a monoid. Finally, we further study left and right g-MP inverses, the inverse along an element in the context of rings.

preprint2016arXiv

The reverse order law of the (b,c)(b, c)-inverse in rings

We present equivalent conditions of reverse order law for the (b,c)(b, c)-inverse (aw)(b,c)=w(b,s)a(t,c)(aw)^{(b,c)}=w^{(b,s)}a^{(t,c)} to hold in a ring. Also, we study various mixed-type reverse order laws for the (b,c)(b,c)-inverse. As a consequence, we get results related to the reverse order law for the inverse along an element. More general case of reverse order law (a1a2)(b3,c3)=a2(b2,c2)a1(b1,c1)(a_1a_2)^{(b_3, c_3)}=a_2^{(b_2, c_2)}a_1^{(b_1, c_1)} is considered too.

preprint2015arXiv

New characterizations for core inverses in rings with involution

The core inverse for a complex matrix was introduced by Baksalary and Trenkler. Rakić, Dinčić and Djordjević generalized the core inverse of a complex matrix to the case of an element in a ring. They also proved that the core inverse of an element in a ring can be characterized by five equations and every core invertible element is group invertible. It is natural to ask when a group invertible element is core invertible, in this paper, we will answer this question. We will use three equations to characterize the core inverse of an element. That is, let a,b∈Ra, b\in R, then a∈R#◯a\in R^{\tiny\textcircled{\tiny\#}} with a#◯=ba^{\tiny\textcircled{\tiny\#}}=b if and only if (ab)∗=ab(ab)^{\ast}=ab, ba2=aba^{2}=a and ab2=bab^{2}=b. Finally, we investigate the additive property of two core invertible elements. Moreover, the formulae of the sum of two core invertible elements are presented.

preprint2014arXiv

Relative Derived Category with respect to a Subcategory

The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the bounded below case, is obtained. Moreover, we interpret the relative derived functor ExtXA(−,−)\mathrm{Ext}_{\mathcal{X}\mathcal {A}}(-,-) as the morphisms in such derived category and give two applications.

preprint2013arXiv

Additive and product properties of Drazin inverses of elements in a ring

We study the Drazin inverses of the sum and product of two elements in a ring. For Drazin invertible elements aa and bb such that a2b=abaa^2b=aba and b2a=babb^2a=bab, it is shown that abab is Drazin invertible and that a+ba+b is Drazin invertible if and only if 1+aDb1+a^Db is Drazin invertible. Moreover, the formulae of (ab)D(ab)^D and (a+b)D(a+b)^D are presented. Thus, a generalization of the main result of Zhuang, Chen et al. (Linear Multilinear Algebra 60 (2012) 903-910) is given.

preprint2013arXiv

Additive Property of Drazin Invertibility of Elements

In this article, we investigate additive properties of the Drazin inverse of elements in rings and algebras over an arbitrary field. Under the weakly commutative condition of ab=λbaab = λba, we show that a−ba-b is Drazin invertible if and only if aaD(a−b)bbDaa^{D}(a-b)bb^{D} is Drazin invertible. Next, we give explicit representations of (a+b)D(a+b)^{D}, as a function of a,b,aDa, b, a^{D} and bDb^{D}, under the conditions a3b=baa^{3}b = ba and b3a=abb^{3}a = ab.

preprint2013arXiv

Additive property of pseudo Drazin inverse of elements in a Banach algebra

We study properties of pseudo Drazin inverse in a Banach algebra with unity 1. If ab=baab=ba and a,ba,b are pseudo Drazin invertible, we prove that a+ba+b is pseudo Drazin invertible if and only if 1+a‡b1+a^‡b is pseudo Drazin invertible. Moreover, the formula of (a+b)‡(a+b)^‡ is presented . When the commutative condition is weaken to ab=λba (λ≠0)ab=λba ~(λ\neq 0), we also show that a−ba-b is pseudo Drazin invertible if and only if aa‡(a−b)bb‡aa^‡(a-b)bb^‡ is pseudo Drazin invertible.

preprint2013arXiv

Moore-Penrose Invertibility of Differences and Products of Projections in Rings with Involution

This article concerns the MP inverse of the differences and the products of projections in a ring RR with involution. Some equivalent conditions are obtained. As applications, the MP invertibility of the commutator pq−qppq-qp and the anti-commutator pq+qppq+qp are characterized, where pp and qq are projections in RR. Some related known results in C∗C^*-algebra are generalized.

preprint2013arXiv

Projections and Idempotents in star-reducing Rings Involving the Moore-Penrose Inverse

In [Comput. Math. Appl. 59 (2010) 764-778], Baksalary and Trenkler characterized some complex idempotent matrices of the form (I−PQ)†P(I−Q)(I-PQ)^†P(I-Q), (I−QP)†(I−Q)(I-QP)^†(I-Q) and P(P+Q−QP)†P(P+Q-QP)^† in terms of the column spaces and null spaces of PP and QQ, where P,Q∈CnOP={L∈Cn,n ∣ L2=L=L∗}P, Q\in \mathbb{C}^{\textsf{OP}}_n = \{L\in \mathbb{C}_{n,n}\ |\ L^2 = L = L^*\}. We generalize these results from Cn,n\mathbb{C}_{n,n} to any *-reducing rings.

preprint2012arXiv

Stability of Gorenstein flat categories with respect to a semidualizing module

In this paper, we first introduce WF\mathcal {W}_F-Gorenstein modules to establish the following Foxby equivalence: $\xymatrix@C=80pt{\mathcal {G}(\mathcal {F})\cap \mathcal {A}_C(R) \ar@<0.5ex>[r]^{C\otimes_R-} & \mathcal {G}(\mathcal {W}_F) \ar@<0.5ex>[l]^{\textrm{Hom}_R(C,-)}} $ where G(F)\mathcal {G}(\mathcal {F}), AC(R)\mathcal {A}_C(R) and G(WF)\mathcal {G}(\mathcal {W}_F) denote the class of Gorenstein flat modules, the Auslander class and the class of WF\mathcal {W}_F-Gorenstein modules respectively. Then, we investigate two-degree WF\mathcal {W}_F-Gorenstein modules. An RR-module MM is said to be two-degree WF\mathcal {W}_F-Gorenstein if there exists an exact sequence $\mathbb{G}_\bullet=\indent ...\longrightarrow G_1\longrightarrow G_0\longrightarrow G^0\longrightarrow G^1\longrightarrow...$ in G(WF)\mathcal {G}(\mathcal {W}_F) such that M≅M \cong $\im(G_0\rightarrow G^0) $ and that G∙\mathbb{G}_\bullet is HomR(G(WF),−)_R(\mathcal {G}(\mathcal {W}_F),-) and G(WF)+⊗R−\mathcal {G}(\mathcal {W}_F)^+\otimes_R- exact. We show that two notions of the two-degree WF\mathcal {W}_F-Gorenstein and the WF\mathcal {W}_F-Gorenstein modules coincide when R is a commutative GF-closed ring.

preprint2011arXiv

Two questions of L. Vasˇ{\rm \check{\textbf{s}}} on *-clean rings

A ring RR with an involution * is called (strongly) *-clean if every element of RR is the sum of a unit and a projection (that commute). All *-clean rings are clean. Vasˇ{\rm \check{s}} [L. Vasˇ{\rm \check{s}}, *-Clean rings; some clean and almost clean Baer *-rings and von Neumann algebras, J. Algebra 324 (12) (2010) 3388-3400] asked whether there exists a *-ring that is clean but not *-clean and whether a unit regular and *-regular ring is strongly *-clean. In this paper, we answer both questions by several examples. Moreover, some characterizations of unit regular and *-regular rings are provided.

preprint2010arXiv

On countably ΣΣ-C2 rings

Let RR be a ring. RR is called a right countably ΣΣ-C2 ring if every countable direct sum copies of RRR_{R} is a C2 module. The following are equivalent for a ring RR: (1) RR is a right countably ΣΣ-C2 ring. (2) The column finite matrix ring CFMN(R)\mathbb{C}\mathbb{F}\mathbb{M}_{\mathbb{N}}(R) is a right C2 (or C3) ring. (3) Every countable direct sum copies of RRR_{R} is a C3 module. (4) Every projective right RR-module is a C2 (or C3) module. (5) RR is a right perfect ring and every finite direct sum copies of RRR_{R} is a C2 (or C3) module. This shows that right countably ΣΣ-C2 rings are just the rings whose right finitistic projective dimension rFPD(R)FPD(R)=sup\{PdR(M)∣Pd_{R}(M)| MM is a right RR-module with PdR(M)<∞Pd_{R}(M)<\infty\}=0, which were introduced by Hyman Bass in 1960.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.