BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jianlong Chen

Jianlong Chen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RAmath.CTComputer VisionMachine Learningmath.KTmath.NANumerical Analysis

Catalog footprint

What is connected

25works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

25 published item(s)

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 $\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 $\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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Core and Dual Core Inverses of a Sum of Morphisms

Let $\mathscr{C}$ be an additive category with an involution $\ast$. Suppose that $φ: X \rightarrow X$ is a morphism of $\mathscr{C}$ with core inverse $φ^{\co} : X \rightarrow X$ and $η: X \rightarrow X$ is a morphism of $\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=φ+η-\varepsilon$ has a core inverse if and only if $1_X-γ$, $1_X-σ$ and $1_X-δ$ are invertible. Moreover, the expression of the core inverse of $f$ is presented. Let $R$ be a unital $\ast$-ring and $J(R)$ its Jacobson radical, if $a\in R^{\co}$ with core inverse $a^{\co}$ and $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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

In this paper we introduce a new generalized inverse in a ring -- one-sided $(b, c)$-inverse, derived as an extension of $(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)$-inverse, which is an extension of the annihilator $(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)$-inverse of a product of three elements and we consider some properties of one-sided $(b, c)$-inverses.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

We present equivalent conditions of reverse order law for the $(b, c)$-inverse $(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)$-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 $(a_1a_2)^{(b_3, c_3)}=a_2^{(b_2, c_2)}a_1^{(b_1, c_1)}$ is considered too.

0 citations0 reviewsNo code linkedOpen access
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\in R$, then $a\in R^{\tiny\textcircled{\tiny\#}}$ with $a^{\tiny\textcircled{\tiny\#}}=b$ if and only if $(ab)^{\ast}=ab$, $ba^{2}=a$ and $ab^{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.

0 citations0 reviewsNo code linkedOpen access
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 $\mathrm{Ext}_{\mathcal{X}\mathcal {A}}(-,-)$ as the morphisms in such derived category and give two applications.

0 citations0 reviewsNo code linkedOpen access
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 $a$ and $b$ such that $a^2b=aba$ and $b^2a=bab$, it is shown that $ab$ is Drazin invertible and that $a+b$ is Drazin invertible if and only if $1+a^Db$ is Drazin invertible. Moreover, the formulae of $(ab)^D$ and $(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.

0 citations0 reviewsNo code linkedOpen access
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 = λba$, we show that $a-b$ is Drazin invertible if and only if $aa^{D}(a-b)bb^{D}$ is Drazin invertible. Next, we give explicit representations of $(a+b)^{D}$, as a function of $a, b, a^{D}$ and $b^{D}$, under the conditions $a^{3}b = ba$ and $b^{3}a = ab$.

0 citations0 reviewsNo code linkedOpen access
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=ba$ and $a,b$ are pseudo Drazin invertible, we prove that $a+b$ is pseudo Drazin invertible if and only if $1+a^‡b$ is pseudo Drazin invertible. Moreover, the formula of $(a+b)^‡$ is presented . When the commutative condition is weaken to $ab=λba ~(λ\neq 0)$, we also show that $a-b$ is pseudo Drazin invertible if and only if $aa^‡(a-b)bb^‡$ is pseudo Drazin invertible.

0 citations0 reviewsNo code linkedOpen access
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 $R$ with involution. Some equivalent conditions are obtained. As applications, the MP invertibility of the commutator $pq-qp$ and the anti-commutator $pq+qp$ are characterized, where $p$ and $q$ are projections in $R$. Some related known results in $C^*$-algebra are generalized.

0 citations0 reviewsNo code linkedOpen access
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-QP)^†(I-Q)$ and $P(P+Q-QP)^†$ in terms of the column spaces and null spaces of $P$ and $Q$, where $P, Q\in \mathbb{C}^{\textsf{OP}}_n = \{L\in \mathbb{C}_{n,n}\ |\ L^2 = L = L^*\}$. We generalize these results from $\mathbb{C}_{n,n}$ to any *-reducing rings.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Stability of Gorenstein flat categories with respect to a semidualizing module

In this paper, we first introduce $\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 $\mathcal {G}(\mathcal {F})$, $\mathcal {A}_C(R) $ and $\mathcal {G}(\mathcal {W}_F)$ denote the class of Gorenstein flat modules, the Auslander class and the class of $\mathcal {W}_F$-Gorenstein modules respectively. Then, we investigate two-degree $\mathcal {W}_F$-Gorenstein modules. An $R$-module $M$ is said to be two-degree $\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 $\mathcal {G}(\mathcal {W}_F)$ such that $M \cong$ $\im(G_0\rightarrow G^0) $ and that $\mathbb{G}_\bullet$ is Hom$_R(\mathcal {G}(\mathcal {W}_F),-)$ and $\mathcal {G}(\mathcal {W}_F)^+\otimes_R-$ exact. We show that two notions of the two-degree $\mathcal {W}_F$-Gorenstein and the $\mathcal {W}_F$-Gorenstein modules coincide when R is a commutative GF-closed ring.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

A ring $R$ with an involution * is called (strongly) *-clean if every element of $R$ is the sum of a unit and a projection (that commute). All *-clean rings are clean. Va${\rm \check{s}}$ [L. Va${\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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On countably $Σ$-C2 rings

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

0 citations0 reviewsNo code linkedOpen access