Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Selected work
Representative Papers
Monotone Allocations without Single-Crossing: When to Bunch and When to Jump
本文研究了在不满足单交叉条件下，如何通过跳跃或集中处理具有最小有效规模技术的代理问题，并找到全局最优解。
0 citationsRead paper
The Specification Paradox: Rethinking Requirements Engineering in the Age of AI
This study addresses the issue of AI-assisted coding shifting software complexity to the requirements level by proposing a specification-driven development paradigm and unveiling the "Specification Paradox": as AI capabilities advance, reliance on high-quality human specifications intensifies. Through automated assessment methods for bias and specification debt, this research reestablishes the centrality of requirements engineering in the AI era. Results indicate that the crux of future software engineering has shifted from code generation to human capabilities in correct specification and evaluation. By elucidating the challenges of requirements engineering within emerging human-AI collaboration paradigms, this work provides both theoretical foundations and practical pathways for managing software development complexity in the age of artificial intelligence.
0 citationsRead paper
Selection of Efficient Monetary Equilibria Through Aggregate Real Savings-Based Taylor Rule
This study addresses the long-standing challenge posed by Hahn (1965) concerning the realization of efficient monetary equilibria in purely non-stationary general equilibrium settings. Within an overlapping generations framework featuring heterogeneous households, the paper introduces a generalized Cass criterion to characterize how saving propensities influence monetary equilibria. It further proposes a novel monetary policy rule that incorporates both an inflation ceiling and a floor on relative aggregate real savings—extending the conventional Taylor rule by explicitly accounting for this savings threshold for the first time. Theoretical analysis demonstrates that this rule fully characterizes and successfully guides the economy toward an efficient monetary equilibrium, whereas traditional inflation-targeting rules typically lead to inefficient outcomes, thereby transcending prevailing monetary policy paradigms.
0 citationsRead paper
Deep Projections and the Local Nature of the Cass Criterion
This study investigates the necessary and sufficient conditions for dynamic efficiency, as characterized by the Cass criterion, in an overlapping generations model with consumption and borrowing where both population and per capita endowments grow without bound. Employing methods from differential geometry, the paper projects indifference hypersurfaces and aggregate supply hypersurfaces onto the trading hyperplane to quantify the curvature required for their tangency. By integrating Walrasian demand normalization with indirect utility analysis, the work reveals the local geometric nature of the Cass criterion. The main contribution is a general efficiency test: the economy is dynamically efficient if and only if the series ∑₁^∞ 1/(‖pₜ‖∑_{h∈Gₜ}‖cₜʰ‖) diverges, a condition that applies broadly to unbounded dynamic settings.
0 citationsRead paper
Recent publications
Latest Papers
Fixed-mesh based approach for modeling of superconducting magnetic bearings
本文提出了一种基于固定网格的方法来模拟超导磁轴承中的运动效应，通过在移动区域间的空气区域应用坐标变换，解决了相对运动带来的几何与网格更新问题。
0 citationsRead paper
Monotone Allocations without Single-Crossing: When to Bunch and When to Jump
本文研究了在不满足单交叉条件下，如何通过跳跃或集中处理具有最小有效规模技术的代理问题，并找到全局最优解。
0 citationsRead paper
The Specification Paradox: Rethinking Requirements Engineering in the Age of AI
This study addresses the issue of AI-assisted coding shifting software complexity to the requirements level by proposing a specification-driven development paradigm and unveiling the "Specification Paradox": as AI capabilities advance, reliance on high-quality human specifications intensifies. Through automated assessment methods for bias and specification debt, this research reestablishes the centrality of requirements engineering in the AI era. Results indicate that the crux of future software engineering has shifted from code generation to human capabilities in correct specification and evaluation. By elucidating the challenges of requirements engineering within emerging human-AI collaboration paradigms, this work provides both theoretical foundations and practical pathways for managing software development complexity in the age of artificial intelligence.
0 citationsRead paper
Selection of Efficient Monetary Equilibria Through Aggregate Real Savings-Based Taylor Rule
This study addresses the long-standing challenge posed by Hahn (1965) concerning the realization of efficient monetary equilibria in purely non-stationary general equilibrium settings. Within an overlapping generations framework featuring heterogeneous households, the paper introduces a generalized Cass criterion to characterize how saving propensities influence monetary equilibria. It further proposes a novel monetary policy rule that incorporates both an inflation ceiling and a floor on relative aggregate real savings—extending the conventional Taylor rule by explicitly accounting for this savings threshold for the first time. Theoretical analysis demonstrates that this rule fully characterizes and successfully guides the economy toward an efficient monetary equilibrium, whereas traditional inflation-targeting rules typically lead to inefficient outcomes, thereby transcending prevailing monetary policy paradigms.
0 citationsRead paper
Deep Projections and the Local Nature of the Cass Criterion
This study investigates the necessary and sufficient conditions for dynamic efficiency, as characterized by the Cass criterion, in an overlapping generations model with consumption and borrowing where both population and per capita endowments grow without bound. Employing methods from differential geometry, the paper projects indifference hypersurfaces and aggregate supply hypersurfaces onto the trading hyperplane to quantify the curvature required for their tangency. By integrating Walrasian demand normalization with indirect utility analysis, the work reveals the local geometric nature of the Cass criterion. The main contribution is a general efficiency test: the economy is dynamically efficient if and only if the series ∑₁^∞ 1/(‖pₜ‖∑_{h∈Gₜ}‖cₜʰ‖) diverges, a condition that applies broadly to unbounded dynamic settings.
0 citationsRead paper