中文
相关论文

相关论文: A Root-Free Splitting-Lemma for Systems of Linear …

200 篇论文

We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal…

代数几何 · 数学 2024-02-16 Alexander E. Motzkin , Michael Temkin

Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…

符号计算 · 计算机科学 2007-06-13 Alexandre Sedoglavic

Once massless quadratically divergent tadpole diagrams are discarded, because they contain no intrinsic scale, it is possible to convert other divergences into logarithmic form, using partial fraction identities; this includes the case of…

高能物理 - 唯象学 · 物理学 2008-11-26 R. Delbourgo , M. D. Scadron

The Isolation Lemma of Mulmuley, Vazirani and Vazirani [Combinatorica'87] provides a self-reduction scheme that allows one to assume that a given instance of a problem has a unique solution, provided a solution exists at all. Since its…

计算复杂性 · 计算机科学 2021-05-05 Jesper Nederlof , Michał Pilipczuk , Céline M. F. Swennenhuis , Karol Węgrzycki

Supervised manifold learning methods learn data representations by preserving the geometric structure of data while enhancing the separation between data samples from different classes. In this work, we propose a theoretical study of…

机器学习 · 计算机科学 2018-01-08 Elif Vural , Christine Guillemot

We show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several…

量子物理 · 物理学 2007-05-23 D. Salgado , J. L. Sanchez-Gomez , M. Ferrero

In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…

计算机科学中的逻辑 · 计算机科学 2025-06-18 Esaïe Bauer , Alexis Saurin

The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…

数学物理 · 物理学 2017-12-05 Vaycheslav M. Boyko , Michael Kunzinger , Roman O. Popovych

Techniques are developed for decoupling dissipative differential equations. The approach considered is based upon obtaining a sufficient gap in the time dependent linear portion of the equation that corresponds to the linear variational…

数值分析 · 数学 2015-12-01 Yu-Min Chung , Andrew J. Steyer , Erik S. Van Vleck

In recent years, there is a growing need to train machine learning models on a huge volume of data. Designing efficient distributed optimization algorithms for empirical risk minimization (ERM) has therefore become an active and challenging…

最优化与控制 · 数学 2019-11-19 Ching-pei Lee , Kai-Wei Chang

The widely-adopted discretisation of the horizontal pressure gradient term formulated by Simmons and Burridge (1981) for atmospheric models on $\sigma$-$p$ hybrid vertical coordinate is found to incur spectral blocking for rotational wind…

大气与海洋物理 · 物理学 2019-09-02 Masashi Ujiie , Daisuke Hotta

In this paper, we give a detailed account of the algorithm outlined in [1] for Feynman integral reduction and $\varepsilon$-factorised differential equations. The algorithm consists of two steps. In the first step, we use a new geometric…

This article is devoted to the construction of new numerical methods for the semiclassical Schr\"odinger equation. A phase-amplitude reformulation of the equation is described where the Planck constant epsilon is not a singular parameter.…

偏微分方程分析 · 数学 2018-10-15 Philippe Chartier , Loïc Le Treust , Florian Méhats

We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…

逻辑 · 数学 2015-03-10 Tarek Sayed Ahmed

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…

计算机科学中的逻辑 · 计算机科学 2020-10-09 Ryu Hasegawa

This work introduces a reduced order modeling (ROM) framework for the solution of parameterized second-order linear elliptic partial differential equations formulated on unfitted geometries. The goal is to construct efficient…

数值分析 · 数学 2025-10-14 Margarita Chasapi , Pablo Antolin , Annalisa Buffa

In this set of papers we formulate a stand alone method to derive maximal number of linearizing transformations for nonlinear ordinary differential equations (ODEs) of any order including coupled ones from a knowledge of fewer number of…

可精确求解与可积系统 · 物理学 2012-01-26 V. K. Chandrasekar , M. Senthilvelan , M. Lakshmanan

An algorithmic method to exploit a general class of infinitesimal symmetries for reducing stochastic differential equations is presented and a natural definition of reconstruction, inspired by the classical reconstruction by quadratures, is…

概率论 · 数学 2020-08-04 Francesco C. De Vecchi , Paola Morando , Stefania Ugolini

The purpose of the paper is twofold. Firstly, we want to present a Meta Theorem to show the existence of a martingale solution for coupled systems of non-linear stochastic differential equations. The idea is first to split the system by…

概率论 · 数学 2024-02-01 Erika Hausenblas , Boris Jidjou Moghomye

In the present work, we investigate a cut finite element method for the parameterized system of second-order equations stemming from the splitting approach of a fourth order nonlinear geometrical PDE, namely the Cahn-Hilliard system. We…

数值分析 · 数学 2021-08-10 Efthymios N. Karatzas , Gianluigi Rozza