English
Related papers

Related papers: An algorithm to recognize regular singular Mahler …

200 papers

A number of machine learning models have been proposed with the goal of achieving systematic generalization: the ability to reason about new situations by combining aspects of previous experiences. These models leverage compositional…

Machine Learning · Computer Science 2024-09-24 Devon Jarvis , Richard Klein , Benjamin Rosman , Andrew M. Saxe

We define a new class of sets -- stable sets -- of primes in number fields. For example, Chebotarev sets $P_{M/K}(\sigma)$, with $M/K$ Galois and $\sigma \in \Gal(M/K)$, are very often stable. These sets have positive (but arbitrary small)…

Number Theory · Mathematics 2016-02-24 Alexander Ivanov

We generalize previous diameter estimates and local non-vanishing of volumes for Kaehler metrics to the case of big cohomology classes. In our proof, among other things, we will prove a uniform diameter estimate for a family of smooth…

Differential Geometry · Mathematics 2024-11-01 Duc-Bao Nguyen , Duc-Viet Vu

The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Pranshu Gaba , Arnab Sur

An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type definitions is presented. The algorithm can also be used to decide the equivalence of two regular type expressions and…

Logic in Computer Science · Computer Science 2007-05-23 Lunjin Lu , John G. Cleary

Metzler matrices play a crucial role in positive linear dynamical systems. Finding the closest stable Metzler matrix to an unstable one (and vice versa) is an important issue with many applications. The stability considered here is in the…

Optimization and Control · Mathematics 2020-05-20 Aleksandar Cvetković

This is the first part of our work which is devoted to the uniqueness sets for spaces of entire functions. In this part we consider a set $\Lambda$ with angular density with respect to the order $\rho>0,$ satisfying the Lindel\"of…

Complex Variables · Mathematics 2026-02-17 Anna Kononova

The density classification task is to determine which of the symbols appearing in an array has the majority. A cellular automaton solving this task is required to converge to a uniform configuration with the majority symbol at each site. It…

Probability · Mathematics 2015-03-30 Siamak Taati

We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…

Algebraic Geometry · Mathematics 2012-08-10 Rocío Blanco , Santiago Encinas

This article introduces a class of efficiently computable null patterns for tensor data. The class includes familiar patterns such as block-diagonal decompositions explored in statistics and signal processing, low-rank tensor…

Numerical Analysis · Mathematics 2026-01-27 Peter A. Brooksbank , Martin D. Kassabov , James B. Wilson

Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently,…

Symbolic Computation · Computer Science 2020-11-10 Frédéric Chyzak , Thomas Dreyfus , Philippe Dumas , Marc Mezzarobba

The discretization of the density matrix is proposed as a nonlinear positive map for systems with continuous variables. This procedure is used to calculate the entanglement between two modes through different criteria, such as Tsallis…

The Euler characteristic is an invariant of a topological space that in a precise sense captures its canonical notion of size, akin to the cardinality of a set. The Euler characteristic is closely related to the homology of a space, as it…

Algebraic Topology · Mathematics 2022-06-22 Nina Otter

We consider dynamical systems arising from substitutions over a finite alphabet. We prove that such a system is linearly repetitive if and only if it is minimal. Based on this characterization we extend various results from primitive…

Dynamical Systems · Mathematics 2015-02-24 D. Damanik , D. Lenz

We define generalised equations of Z-Mahler type, based on the Zeckendorf numeration system. We show that if a sequence over a commutative ring is Z-regular, then it is the sequence of coefficients of a series which is a solution of a…

Number Theory · Mathematics 2026-03-17 Olivier Carton , Reem Yassawi

We give a novel characterization of the centered model in regularity structures which persists for rough drivers even as a mollification fades away. We present our result for a class of quasilinear equations driven by noise, however we…

Probability · Mathematics 2025-06-10 Markus Tempelmayr

This paper formulates an elementary algorithm for resolution of singularities in a neighborhood of a singular point over a field of characteristic zero. The algorithm is composed of finite sequences of Newton polyhedra and monomial…

Algebraic Geometry · Mathematics 2014-04-29 Sheng-Ming Ma

To understand the formations of singularities of the Euler-Poisson system with vacuum, we revisit Makino's star model in this article. We first remedy, to some extent, the inconveniences of Makino's star model and remove its imposed…

Analysis of PDEs · Mathematics 2023-04-12 Chao Liu

Spectral singularities are among generic mathematical features of complex scattering potentials. Physically they correspond to scattering states that behave like zero-width resonances. For a simple optical system, we show that a spectral…

Optics · Physics 2011-10-18 Ali Mostafazadeh

In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner…

Symbolic Computation · Computer Science 2024-04-09 Thibaut Verron