English
Related papers

Related papers: Closures and generating sets related to combinatio…

200 papers

Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…

Artificial Intelligence · Computer Science 2011-07-05 Adrian Silvescu , Vasant Honavar

Consider finitely many nets of multivariate c\`adl\`ag stochastic processes. We show that the vectors consisting of the respective minimizing points converge in distribution to a random closed set. This set is given as a cartesian product…

Probability · Mathematics 2025-12-09 Dietmar Ferger , Niklas Rosar

We take the first step toward a structure theory that includes both operations of a ring $\mathcal{R}$. More precisely, we prove a series of inverse results for the structure of sets $A\subseteq \mathbf{F}_p$ such that, under certain…

Combinatorics · Mathematics 2026-01-21 Aliaksei Semchankau , Ilya Shkredov

Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of limiting density. The typical finitely generated group is known to share some important properties with the…

Logic · Mathematics 2022-09-12 Johanna N. Y. Franklin , Meng-Che "Turbo" Ho , Julia Knight

The theory of recursive functions is related in a well-known way to the notion of *least fixed points*, by endowing a set of partial functions with an ordering in terms of their domain of definition. When terms in the pure lambda-calculus…

Logic · Mathematics 2025-04-29 Joseph Helfer

We show that an analogue of the Hilbert's Thirteenth Problem fails in the real subanalytic setting.Namely we prove that, for any integer $n$, the o-minimal structure generated by restricted analytic functions in $n$ variables is strictly…

Logic · Mathematics 2013-03-20 Serge Randriambololona

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Logic · Mathematics 2021-11-09 Pablo Andújar Guerrero

We provide several perturbation theorems regarding closable operators on a real or complex Hilbert space. In particular we extend some classical results due to Hess--Kato, Kato--Rellich and W\"ust. Our approach involves ranges of matrix…

Functional Analysis · Mathematics 2014-09-22 Dan Popovici , Zoltán Sebestyén , Zsigmond Tarcsay

We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.

Logic · Mathematics 2021-10-01 Bektur Baizhanov , Tatyana Zambarnaya

In this paper, we present intriguing findings that characterize both the closed (unbounded) and bounded EP operators on Hilbert spaces. Additionally, we demonstrate the result $\gamma(T) \leq r(T)$, where $T$ is a bounded EP operator, and…

Functional Analysis · Mathematics 2024-12-10 Arup Majumdar , P. Sam Johnson

In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…

Combinatorics · Mathematics 2014-02-26 Saugata Basu

We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two…

Differential Geometry · Mathematics 2016-11-24 William H. Meeks , Joaquin Perez , Antonio Ros

We provide a complete classification, in the language of weak-combinatorics, of minimal plus-one generated line arrangements in the complex projective plane with double and triple intersection points.

Algebraic Geometry · Mathematics 2025-09-11 Artur Bromboszcz

A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Roberto Bruni , Hernan Melgratti , Ugo Montanari , Pawel Sobocinski

We construct an uncountable family of well-quasi-ordered permutation classes, each with a distinct enumeration sequence. This disproves a conjecture that all well-quasi-ordered permutation classes have algebraic generating functions, and in…

Combinatorics · Mathematics 2026-04-23 Robert Brignall , Vincent Vatter

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…

Group Theory · Mathematics 2017-02-21 Benoit Loisel

We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the…

Combinatorics · Mathematics 2007-05-23 S. Corteel , C. D. Savage

In order to better understand the structure of closed collections of reversible gates, we investigate the lattice of closed sets and the maximal members of this lattice. In this note, we find the maximal closed sets over a finite alphabet.…

Group Theory · Mathematics 2020-02-10 Tim Boykett

We show some basic facts about dp-minimal ordered structures. The main results are : dp-minimal groups are abelian-by-finite-exponent, in a divisible ordered dp-minimal group, any infinite set has non-empty interior, and any theory of pure…

Logic · Mathematics 2009-09-24 P. Simon

For a weakly mixing bounded rank-one construction the disjointness of its powers is proved. For non-rigid constructions we get minimal self-joinings. Examples of non-mixing rank one actions with explicit weak closure are proposed.

Dynamical Systems · Mathematics 2012-12-13 V. V. Ryzhikov