English
Related papers

Related papers: Monotonic Simplification and Recognizing Exchange …

200 papers

This paper explores the problem of unknotting closed braids and classical knots in mathematical knot theory. We apply evolutionary computation methods to learn sequences of moves that simplify knot diagrams, and show that this can be…

Geometric Topology · Mathematics 2013-02-05 Nicholas Jackson , Colin G. Johnson

We deduce stability and pathwise uniqueness for a McKean-Vlasov equation with random coefficients and a multidimensional Brownian motion as driver. Our analysis focuses on a non-Lipschitz drift coefficient and includes moment estimates for…

Probability · Mathematics 2024-08-21 Alexander Kalinin , Thilo Meyer-Brandis , Frank Proske

Learning how to effectively control unknown dynamical systems is crucial for intelligent autonomous systems. This task becomes a significant challenge when the underlying dynamics are changing with time. Motivated by this challenge, this…

Machine Learning · Computer Science 2025-10-21 Yahya Sattar , Zhe Du , Davoud Ataee Tarzanagh , Laura Balzano , Necmiye Ozay , Samet Oymak

We consider two core algorithmic problems for probabilistic verification: the maximal end-component decomposition and the almost-sure reachability set computation for Markov decision processes (MDPs). For MDPs with treewidth $k$, we present…

Data Structures and Algorithms · Computer Science 2016-08-11 Krishnendu Chatterjee , Jakub Łącki

We prove that under fairly general conditions an iterated exchange move gives infinitely many non-conjugate braids. As a consequence, every knot has infinitely many conjugacy classes of n-braid representations if and only if it has one…

Geometric Topology · Mathematics 2011-03-15 Reiko Shinjo , Alexander Stoimenow

The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the…

Logic in Computer Science · Computer Science 2018-05-01 Christel Baier , Nathalie Bertrand , Clemens Dubslaff , Daniel Gburek , Ocan Sankur

In this paper, we study weakly dynamic undirected graphs, that can be used to represent some logistic networks. The goal is to deliver all the delivery points in the network. The network exists in a mostly stable environment, except for a…

Data Structures and Algorithms · Computer Science 2019-04-11 Moustafa Nakechbandi , Jean-Yves Colin , Hervé Mathieu

We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular…

Spectral Theory · Mathematics 2023-04-20 Graham Cox , Mitchell Curran , Yuri Latushkin , Robert Marangell

Despite substantial progress in non-equilibrium physics, steady-state (s.s.) probabilities remain intractable to analysis. For a Markov process, s.s. probabilities can be expressed in terms of transition rates using the Matrix-Tree theorem…

Statistical Mechanics · Physics 2021-09-07 Ugur Cetiner , Jeremy Gunawardena

In this paper, we present a new method for the solution of those linear transport processes that may be described by a Master Equation, such as electron, neutron and photon transport, and more exotic variants thereof. We base our algorithm…

Statistical Mechanics · Physics 2007-05-23 Jelle Ritzerveld , Vincent Icke

The method of fundamental solutions (MFS) is known to be effective for solving 3D Laplace and Stokes Dirichlet boundary value problems in the exterior of a large collection of simple smooth objects. Here we present new scalable MFS…

Numerical Analysis · Mathematics 2025-08-22 Anna Broms , Alex H. Barnett , Anna-Karin Tornberg

We deal with the shape reconstruction of inclusions in elastic bodies. For solving this inverse problem in practice, data fitting functionals are used. Those work better than the rigorous monotonicity methods from [5], but have no…

Numerical Analysis · Mathematics 2022-12-13 Sarah Eberle , Bastian Harrach

In this work, we propose a nonlinear stabilization technique for scalar conservation laws with implicit time stepping. The method relies on an artificial diffusion method, based on a graph-Laplacian operator. It is nonlinear, since it…

Numerical Analysis · Computer Science 2016-12-23 Santiago Badia , Jesús Bonilla

Multi-task learning (MTL) algorithms typically rely on schemes that combine different task losses or their gradients through weighted averaging. These methods aim to find Pareto stationary points by using heuristics that require access to…

Machine Learning · Computer Science 2026-02-03 Surya Murthy , Kushagra Gupta , Mustafa O. Karabag , David Fridovich-Keil , Ufuk Topcu

Recent studies has revealed that Microtubules (MTs) exhibit three transition states of growth, shrinkage and pause. In this paper, we first introduce a three states random evolution model as a framework for studying MTs dynamics in three…

Subcellular Processes · Quantitative Biology 2015-10-27 Shantia Yarahmadian , Vineetha Menon , Majid Mahrooghy , Vahid A. Rezania

The regularized Maxwell theory is a recently discovered theory of non-linear electrodynamics that admits many important gravitating solutions within the Einstein theory. Namely, it was originally derived as the unique non-linear…

General Relativity and Quantum Cosmology · Physics 2023-08-01 Tomas Hale , David Kubiznak , Ota Svitek , Tayebeh Tahamtan

A stable numerical solution of the steady Stokes problem requires compatibility between the choice of velocity and pressure approximation that has traditionally proven problematic for meshless methods. In this work, we present a…

Numerical Analysis · Mathematics 2016-11-15 Nathaniel Trask , Martin Maxey , Xiaozhe Hu

Knotted molecules occur naturally and are designed by scientists to gain special biological and material properties. Understanding and utilizing knotting require efficient methods to recognize and generate knotted structures, which are…

Computational Physics · Physics 2025-01-23 Zhiyu Zhang , Yongjian Zhu , Liang Dai

A transverse knot is a knot that is transverse to the planes of the standard contact structure on real 3-space. In this paper we prove the Markov Theorem for transverse braids, which states that two transverse closed braids that are…

Geometric Topology · Mathematics 2007-05-23 Nancy C. Wrinkle

Alexander's and Markov's theorems state that any link type in $R^3$ is represented by a closed braid and that such representations are related by some elementary operations called Markov moves. We generalize the notion of a braid to that in…

Geometric Topology · Mathematics 2016-09-06 Seiichi Kamada