English
Related papers

Related papers: Dimension in team semantics

200 papers

In this paper, we mainly elucidate a close relationship between the topological entropy and mean dimension theory for actions of polynomial growth groups. We show that metric mean dimension and mean Hausdorff dimension of subshifts with…

Dynamical Systems · Mathematics 2021-03-30 Yunping Wang , Ercai Chen , Xiaoyao Zhou

Intuitively, the filter dimension of an algebra or a module measures how `close' standard filtrations of the algebra or the module are. In particular, for a simple algebra it also measures the growth of how `fast' one can prove that the…

Rings and Algebras · Mathematics 2007-05-23 V. Bavula

In the absence of governing equations, dimensional analysis is a robust technique for extracting insights and finding symmetries in physical systems. Given measurement variables and parameters, the Buckingham Pi theorem provides a procedure…

Machine Learning · Computer Science 2022-02-11 Joseph Bakarji , Jared Callaham , Steven L. Brunton , J. Nathan Kutz

In this paper, we study Hausdorff and Fourier dimension from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity. Working in the hyperspace $\mathbf{K}(X)$ of compact subsets of $X$, with $X=[0,1]^d$ or…

Logic · Mathematics 2023-01-04 Alberto Marcone , Manlio Valenti

All complex Hadamard matrices in dimensions two to five are known. We use this fact to derive all inequivalent sets of mutually unbiased (MU) bases in low dimensions. We find a three-parameter family of triples of MU bases in dimension four…

Mathematical Physics · Physics 2010-08-09 Stephen Brierley , Stefan Weigert , Ingemar Bengtsson

In this paper we consider two types of dimension that can be defined for products of one-dimensional topologically totally transcendental (t.t.t) structures. The first is topological and considers the interior of projections of the set onto…

Logic · Mathematics 2012-10-30 Daniel Lowengrub

We study the relations between several notions of dimension for an additive set, some of which are well-known and some of which are more recent, appearing for instance in work of Schoen and Shkredov. We obtain bounds for the ratios between…

Combinatorics · Mathematics 2014-07-28 P. Candela , H. A. Helfgott

In a large, possibly infinite population, each subject is colored red with probability $p$, independently of the others. Then, a finite sub-population is selected, possibly as a function of the coloring. The imbalance in the sub-population…

Probability · Mathematics 2016-12-28 Erel Segal-Halevi , Avinatan Hassidim

In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analogue of one of the most studied problems in parameterized complexity, the notion of weighted…

Logic in Computer Science · Computer Science 2023-02-02 Juha Kontinen , Yasir Mahmood , Arne Meier , Heribert Vollmer

Dimension profiles were introduced by Falconer and Howroyd to provide formulae for the box-counting and packing dimensions of the orthogonal projections of a set E or a measure on Euclidean space onto almost all m-dimensional subspaces. The…

Metric Geometry · Mathematics 2018-11-22 K. J. Falconer

One of the founding paradigms of machine learning is that a small number of variables is often sufficient to describe high-dimensional data. The minimum number of variables required is called the intrinsic dimension (ID) of the data.…

Machine Learning · Statistics 2020-07-14 Michele Allegra , Elena Facco , Francesco Denti , Alessandro Laio , Antonietta Mira

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…

Classical Analysis and ODEs · Mathematics 2019-12-17 Tamás Keleti , Pablo Shmerkin

In this paper, we study arbitrary infinite binary information systems each of which consists of an infinite set called universe and an infinite set of two-valued functions (attributes) defined on the universe. We consider the notion of a…

Computational Complexity · Computer Science 2022-01-05 Mikhail Moshkov

Topological terms in the O(3) nonlinear sigma model in (1+1) and (2+1) dimensions are re-examined based on the description of the SU(2)-valued field $g$. We first show that the topological soliton term in (1+1) dimensions arises from the…

High Energy Physics - Theory · Physics 2009-10-31 Toyohiro Tsurumaru , Izumi Tsutsui

The nature of concept learning is a core question in cognitive science. Theories must account for the relative difficulty of acquiring different concepts by supervised learners. For a canonical set of six category types, two distinct…

Information Theory · Computer Science 2015-03-03 Andreas D. Pape , Kenneth J. Kurtz , Hiroki Sayama

We initiate the study of structured Stackelberg games, a novel form of strategic interaction between a leader and a follower where contextual information can be predictive of the follower's (unknown) type. Motivated by applications such as…

Computer Science and Game Theory · Computer Science 2026-05-18 Maria-Florina Balcan , Kiriaki Fragkia , Keegan Harris

We define a variant of team semantics called multiteam semantics based on multisets and study the properties of various logics in this framework. In particular, we define natural probabilistic versions of inclusion and independence atoms…

Logic in Computer Science · Computer Science 2015-12-22 Arnaud Durand , Miika Hannula , Juha Kontinen , Arne Meier , Jonni Virtema

A decision tree recursively splits a feature space $\mathbb{R}^{d}$ and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work treats…

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and…

Category Theory · Mathematics 2024-10-07 David Ellerman

A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$…

Combinatorics · Mathematics 2022-03-15 Samuel Coskey , Bryce Frederickson , Samuel Mathers , Hao-Tong Yan