English
Related papers

Related papers: Semiflows, Home Spaces, and Home States, Applicati…

200 papers

Normalizing Flows (NFs) are a class of generative models distinguished by a mathematically invertible architecture, where the forward pass transforms data into a latent space for density estimation, and the reverse pass generates new…

Computer Vision and Pattern Recognition · Computer Science 2025-12-05 Yang Chen , Xiaowei Xu , Shuai Wang , Chenhui Zhu , Ruxue Wen , Xubin Li , Tiezheng Ge , Limin Wang

By generalizing a class of models recently introduced to account for protracted transients in biological systems, we identify a novel mechanism for hyperuniformity. In this model, competition of particles over a shared resource guides the…

Statistical Mechanics · Physics 2025-12-11 Tal Agranov , Natan Wiegenfeld , Omer Karin , Benjamin D. Simons

Synthesis automatically generates a process model from a behavioural specification. When the target model is a Petri net, we address synthesis through region theory. Researchers have studied region-based synthesis extensively for…

Formal Languages and Automata Theory · Computer Science 2026-02-02 Robin Bergenthum , Jakub Kovář

The aim of this manuscript is to study some local properties of the topological entropy of a free semigroup action. In order to do that we focus on the set of entropy points of a free semigroup action, show that this set carries the full…

Dynamical Systems · Mathematics 2021-12-22 Fagner B. Rodrigues , Thomas Jacobus , Marcus V. Silva

The execution of different cases of a process is often restricted by inter-case dependencies through e.g., queueing or shared resources. Various high-level Petri net formalisms have been proposed that are able to model and analyze…

Formal Languages and Automata Theory · Computer Science 2023-04-12 Dominique Sommers , Natalia Sidorova , Boudewijn F. van Dongen

Synthesis for a type $\tau$ of Petri nets is the following search problem: For a transition system $A$, find a Petri net $N$ of type $\tau$ whose state graph is isomorphic to $A$, if there is one. To determine the computational complexity…

Logic in Computer Science · Computer Science 2019-04-03 Ronny Tredup

We conduct the multifractal analysis of the level sets of the asymptotic behavior of almost-additive continuous potentials $(\phi_n)_{n=1}^\infty$ on a topologically mixing subshift of finite type $X$ endowed itself with a metric associated…

Dynamical Systems · Mathematics 2010-02-16 Julien Barral , Yan-Hui Qu

Detectability describes the property of a system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we developed a novel approach to verifying strong detectability and…

Systems and Control · Computer Science 2019-03-25 Hao Lan , Yin Tong , Carla Seatzu , Jin Guo

We study the entanglement entropy of a random tensor network (RTN) using tools from free probability theory. Random tensor networks are simple toy models that help the understanding of the entanglement behavior of a boundary region in the…

Quantum Physics · Physics 2024-07-04 Khurshed Fitter , Faedi Loulidi , Ion Nechita

Whether it occurs in superconductors, helium-3 or inside a neutron star, fermionic superfluidity requires pairing of fermions, particles with half-integer spin. For an equal mixture of two states of fermions ("spin up" and "spin down"),…

Superconductivity · Physics 2007-05-23 Martin W. Zwierlein , André Schirotzek , Christian H. Schunck , Wolfgang Ketterle

We introduce the depth parameters of a finite semigroup, which measure how hard it is to produce an element in the minimum ideal when we consider generating sets satisfying some minimality conditions. We estimate such parameters for some…

Group Theory · Mathematics 2015-06-05 Nasim Karimi

Over an infinite field $K$, we investigate the minimal free resolution of some configurations of lines. We explicitly describe the minimal free resolution of "complete grids of lines" and obtain an analogous result about the so-called…

Commutative Algebra · Mathematics 2021-07-30 Francesca Cioffi , Margherita Guida , Luciana Ramella

A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Jan Martijn E. M. van der Werf , Andrey Rivkin , Marco Montali , Artem Polyvyanyy

In this paper, we propose new semiparametric procedures for making inference on linear functionals and their functions of two semicontinuous populations. The distribution of each population is usually characterized by a mixture of a…

Methodology · Statistics 2020-12-21 Meng Yuan , Chunlin Wang , Boxi Lin , Pengfei Li

Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we relax detectability to C-detectability that only requires a given…

Systems and Control · Electrical Eng. & Systems 2020-11-25 Hao Lan , Yin Tong , Jin Guo , Carla Seatzu

We characterize Markov lattice semigroups induced by measurable semiflows on probability spaces by properties of their generators. In addition we construct topological models on compact spaces for such semigroups.

Dynamical Systems · Mathematics 2020-10-15 Nikolai Edeko , Moritz Gerlach , Viktoria Kühner

This paper addresses structures of state space in quasiperiodically forced dynamical systems. We develop a theory of ergodic partition of state space in a class of measure-preserving and dissipative flows, which is a natural extension of…

Dynamical Systems · Mathematics 2020-10-01 Yoshihiko Susuki , Igor Mezić

In the paper we investigate the semigroup of monotone co-finite partial homeomorphisms of the space of the usual real line $\mathbb{R}$. We prove that the inverse semigroup $\mathscr{P\!\!H}^+_{\!\!\operatorname{\textsf{cf}}}\!(\mathbb{R})$…

Group Theory · Mathematics 2019-04-16 Oleg Gutik , Kateryna Melnyk

For every finite Petri net, we construct a commutative polynomial in two variables and with coefficients from the semiring of natural numbers. We also present an inverse construction and show that multiplication of polynomials…

Logic in Computer Science · Computer Science 2017-06-27 Andrey Grinblat , Viktor Lopatkin

We consider a cantilevered (clamped-free) beam in an axial potential flow. Certain flow velocities may bring about a bounded-response instability in the structure, termed {\em flutter}. As a preliminary analysis, we employ the theory of…

Analysis of PDEs · Mathematics 2017-07-25 Jason Howell , Daniel Toundykov , Justin T. Webster