English
Related papers

Related papers: Additivity of the dp-rank

200 papers

If $T$ has dependent dividing, then the burden agrees with the dp-rank witnessed by NIP formulas. We use this observation to prove that if $T$ has dependent dividing, then the burden is sub-additive. We also state a connection between the…

Logic · Mathematics 2026-02-24 Yuki Takahashi

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

Logic · Mathematics 2015-09-24 Pierre Simon

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablility and show that this lies strictly between VC-minimality and dp-minimality. Next, we define the notion of weak…

Logic · Mathematics 2011-10-20 Vincent Guingona , Michael C. Laskowski

We derive that dpR(n) \leq dens(n) \leq dpR(n)+1, where dens(n) is the supremum of the VC density of all formulas in n parameters, and dpR(n) is the maximum depth of an ICT pattern in n variables. Consequently, strong dependence is…

Logic · Mathematics 2011-08-29 Hunter Johnson

In this paper, we study VC-density over indiscernible sequences (denoted VC_ind-density). We answer an open question in [1], showing that VC_ind-density is always integer valued. We also show that VC_ind-density and dp-rank coincide in the…

Logic · Mathematics 2013-07-26 Vincent Guingona , Cameron Donnay Hill

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and $P$-minimal theories.

Logic · Mathematics 2011-09-27 M. Aschenbrenner , A. Dolich , D. Haskell , D. Macpherson , S. Starchenko

The goal of this note is to show that the analysis of the minimum output p-Renyi entropy of a typical quantum channel essentially amounts to applying Milman's version of Dvoretzky's Theorem about almost Euclidean sections of…

Quantum Physics · Physics 2010-02-07 Guillaume Aubrun , Stanislaw Szarek , Elisabeth Werner

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

Logic · Mathematics 2009-11-12 Alfred Dolich , John Goodrick , David Lippel

Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for…

Computational Complexity · Computer Science 2014-07-17 Troy Lee , Zhaohui Wei , Ronald de Wolf

We compare several complexity measures for self-mappings of finite fields. In particular, we show that Carlitz rank and additive index cannot be small simultaneously up to trivial exceptions. That is, these two measures detect cryptographic…

Number Theory · Mathematics 2026-04-29 Pierre-Yves Bienvenu , Arne Winterhof

We prove that in NTP_2 theories if p is a dependent type with dp-rank >= \kappa, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any…

Logic · Mathematics 2016-02-10 Itay Kaplan , Pierre Simon

When factorizing binary matrices, we often have to make a choice between using expensive combinatorial methods that retain the discrete nature of the data and using continuous methods that can be more efficient but destroy the discrete…

Discrete Mathematics · Computer Science 2016-10-07 Stefan Neumann , Rainer Gemulla , Pauli Miettinen

In this paper, we build a dimension theory related to Shelah's 2-rank, dp-rank, and o-minimal dimension. We call this dimension op-dimension. We exhibit the notion of the n-multi-order property, generalizing the order property, and use this…

Logic · Mathematics 2013-07-26 Vincent Guingona , Cameron Donnay Hill

An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonenkis density. Furthermore, strong abelian groups are…

Logic · Mathematics 2019-09-18 Yatir Halevi , Daniel Palacín

In this note, we verify that several fundamental results from the theory of representations of reductive $p$-adic groups, extend to finite central extensions of these groups.

Representation Theory · Mathematics 2023-04-19 Eyal Kaplan , Dani Szpruch

For a countable, complete, first-order theory $T$, we study $At$, the class of atomic models of $T$. We develop an analogue of $U$-rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are $2^{\aleph_1}$…

Logic · Mathematics 2025-02-04 John T. Baldwin , Michael C. Laskowski , Saharon Shelah

A theoretical framework is presented for a (copula-based) notion of dissimilarity between continuous random vectors and its main properties are studied. The proposed dissimilarity assigns the smallest value to a pair of random vectors that…

Methodology · Statistics 2021-02-04 Sebastian Fuchs , F. Marta L. Di Lascio , Fabrizio Durante

Vector addition systems are an important model in theoretical computer science and have been used for the analysis of systems in a variety of areas. Termination is a crucial property of vector addition systems and has received considerable…

Logic in Computer Science · Computer Science 2017-10-31 Florian Zuleger

Complex systems are high-dimensional nonlinear dynamical systems with intricate interactions among their constituents. To make interpretable predictions about their large-scale behavior, it is typically assumed, without a clear statement,…

Adaptation and Self-Organizing Systems · Physics 2024-11-07 Vincent Thibeault , Antoine Allard , Patrick Desrosiers

We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of…

Commutative Algebra · Mathematics 2024-03-07 Amichai Lampert , Tamar Ziegler
‹ Prev 1 2 3 10 Next ›