English
Related papers

Related papers: Independence in generic incidence structures

200 papers

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

Logic · Mathematics 2012-10-30 Cameron Donnay Hill

The independence complex of a graph is a simplicial complex whose faces correspond to the independent sets of $G$. While independence complexes have been studied extensively for many graph classes, including square grid graphs, relatively…

Combinatorics · Mathematics 2025-12-25 Himanshu Chandrakar , Anurag Singh

A common model of robustness of a graph against random failures has all vertices operational, but the edges independently operational with probability $p$. One can ask for the probability that all vertices can communicate ({\em all-terminal…

Combinatorics · Mathematics 2023-06-07 Jason I. Brown , Isaac McMullin

Let $k\ge 2$ be an integer and $T_1,\ldots, T_k$ be spanning trees of a graph $G$. If for any pair of vertices $(u,v)$ of $V(G)$, the paths from $u$ to $v$ in each $T_i$, $1\le i\le k$, do not contain common edges and common vertices,…

Discrete Mathematics · Computer Science 2014-09-23 Benoit Darties , Nicolas Gastineau , Olivier Togni

Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d >…

Algebraic Geometry · Mathematics 2007-05-23 Thierry Mignon

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

Logic · Mathematics 2025-08-27 Benjamin Castle , Assaf Hasson , Will Johnson

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

Logic · Mathematics 2012-02-28 Saharon Shelah

The enumeration of independent sets of regular graphs is of interest in statistical mechanics, as it corresponds to the solution of hard-particle models. In 2004, it was conjectured by Fendleyet al. that for some rectangular grids, with…

Combinatorics · Mathematics 2008-10-31 Mireille Bousquet-Mélou , Svante Linusson , Eran Nevo

We study the k-wise independent relaxation of the usual model G(N,p) of random graphs where, as in this model, N labeled vertices are fixed and each edge is drawn with probability p, however, it is only required that the distribution of any…

Combinatorics · Mathematics 2008-04-09 Noga Alon , Asaf Nussboim

Let $G$ be a simple, connected and finite graph with order $n$. Denote the independence number, edge independence number and total independence number by $\alpha(G), \alpha'(G)$ and $\alpha"(G)$ respectively. This paper establishes a…

Combinatorics · Mathematics 2023-11-01 Lewis Stanton

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…

Logic · Mathematics 2015-06-11 Matthew Harrison-Trainor , Alexander Melnikov , Antonio Montalbán

We consider a family of distance graphs in $\mathbb{R}^n$ and find its independent numbers in some cases. Define graph $J_{\pm}(n,k,t)$ in the following way: the vertex set consists of all vectors from $\{-1,0,1\}^n$ with $k$ nonzero…

Combinatorics · Mathematics 2022-10-06 Danila Cherkashin , Sergei Kiselev

Let F_m=F_m(var(sl(2,K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl(2,K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication…

Rings and Algebras · Mathematics 2012-05-01 Vesselin Drensky , Sehmus Findik

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

Logic · Mathematics 2013-12-25 Saharon Shelah

Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and…

Logic · Mathematics 2024-07-30 Ehud Hrushovski

This work addresses testing the independence of two continuous and finite-dimensional random variables from the design of a data-driven partition. The empirical log-likelihood statistic is adopted to approximate the sufficient statistics of…

Machine Learning · Statistics 2022-01-19 Mauricio E. Gonzalez , Jorge F. Silva , Miguel Videla , Marcos E. Orchard

We study the generalized Ramsey--Tur\'an function $\mathrm{RT}(n,K_s,K_t,o(n))$, which is the maximum possible number of copies of $K_s$ in an $n$-vertex $K_t$-free graph with independence number $o(n)$. The case when $s=2$ was settled by…

Combinatorics · Mathematics 2024-03-20 Jun Gao , Suyun Jiang , Hong Liu , Maya Sankar

We prove an incidence theorem for points and curves in the complex plane. Given a set of $m$ points in ${\mathbb R}^2$ and a set of $n$ curves with $k$ degrees of freedom, Pach and Sharir proved that the number of point-curve incidences is…

Combinatorics · Mathematics 2018-07-18 Adam Sheffer , Endre Szabó , Joshua Zahl

The projective norm graphs $\text{NG}(q,t)$ provide tight constructions for the Tur\'an number of complete bipartite graphs $K_{t,s}$ with $s>(t-1)!$. In this paper we determine their automorphism group and explore their small subgraphs. To…

Combinatorics · Mathematics 2019-08-15 Tomas Bayer , Tamás Mészáros , Lajos Rónyai , Tibor Szabó

We show that for any finitely generated group of matrices that is not virtually solvable, there is an integer m such that, given an arbitrary finite generating set for the group, one may find two elements a and b that are both products of…

Group Theory · Mathematics 2007-05-23 E. Breuillard , T. Gelander