English
Related papers

Related papers: Boolean dimension and tree-width

200 papers

We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives…

Combinatorics · Mathematics 2015-09-28 Antoine Genitrini , Bernhard Gittenberger , Veronika Kraus , Cécile Mailler

Suppose $E \subseteq \mathbb{R}$ is nowhere dense. If $(\mathbb{R},<,+,(x \mapsto \lambda x)_{\lambda \in \mathbb{R} }, E)$ does not define every bounded Borel subset of every $\mathbb{R}^n$ then for every $s > 0$ we have $$ | \{ k \in…

Logic · Mathematics 2020-10-21 Erik Walsberg

We study the parameterized complexity of computing the tree-partition-width, a graph parameter equivalent to treewidth on graphs of bounded maximum degree. On one hand, we can obtain approximations of the tree-partition-width efficiently:…

Discrete Mathematics · Computer Science 2025-02-19 Hans L. Bodlaender , Carla Groenland , Hugo Jacob

Given an ordered partition $\Pi =\{P_1,P_2, ...,P_t\}$ of the vertex set $V$ of a connected graph $G=(V,E)$, the \emph{partition representation} of a vertex $v\in V$ with respect to the partition $\Pi$ is the vector…

Combinatorics · Mathematics 2014-02-10 Juan A. Rodriguez-Velazquez , Ismael G. Yero , Magdalena Lemanska

The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables…

Optimization and Control · Mathematics 2018-01-15 Prasad Raghavendra , Nick Ryder , Nikhil Srivastava , Benjamin Weitz

Given a point set $P$ in the Euclidean space, a geometric $t$-spanner $G$ is a graph on $P$ such that for every pair of points, the shortest path in $G$ between those points is at most a factor $t$ longer than the Euclidean distance between…

Computational Geometry · Computer Science 2024-12-10 Kevin Buchin , Carolin Rehs , Torben Scheele

We consider the problem of computing the measure of a regular set of infinite binary trees. While the general case remains unsolved, we show that the measure of a language can be computed when the set is given in one of the following three…

Formal Languages and Automata Theory · Computer Science 2020-02-03 Marcin Przybyłko , Michał Skrzypczak

The parity decision tree model extends the decision tree model by allowing the computation of a parity function in one step. We prove that the deterministic parity decision tree complexity of any Boolean function is polynomially related to…

Computational Complexity · Computer Science 2010-04-06 Zhiqiang Zhang , Yaoyun Shi

Asymptotic dimension and Assouad-Nagata dimension are measures of the large-scale shape of a class of graphs. Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott [J. Eur. Math. Society] showed that any proper minor-closed class has…

Combinatorics · Mathematics 2025-05-16 Marc Distel

The set of badly approximable $m \times n $ matrices is known to have Hausdorff dimension $mn $. Each such matrix comes with its own approximation constant $c$, and one can ask for the dimension of the set of badly approximable matrices…

Number Theory · Mathematics 2015-10-12 Ryan Broderick , Dmitry Kleinbock

Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper…

Combinatorics · Mathematics 2017-11-28 Grzegorz Guśpiel , Piotr Micek , Adam Polak

The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph…

Combinatorics · Mathematics 2023-09-06 Marco Caoduro , András Sebő

The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is…

Combinatorics · Mathematics 2021-01-18 David Lewis , Victor Souza

It is known a vector linear solution may exist if and only if the characteristic of the finite field belongs to a certain set of primes. But, can increasing the message dimension make a network vector linearly solvable over a larger set of…

Information Theory · Computer Science 2019-07-30 Niladri Das , Brijesh Kumar Rai

We consider the problem of computing the measure of a regular language of infinite binary trees. While the general case remains unsolved, we show that the measure of a language defined by a first-order formula with no descendant relation or…

Logic in Computer Science · Computer Science 2018-09-11 Marcin Przybyłko

Given a finite poset $\mathcal P$ and two distinct elements $x$ and $y$, we let $\operatorname{pr}_{\mathcal P}(x \prec y)$ denote the fraction of linear extensions of $\mathcal P$ in which $x$ precedes $y$. The balance constant…

Combinatorics · Mathematics 2023-10-03 Evan Chen

In this article, we develop a technique to "split" certain types of partially ordered sets into simpler ones and use that technique to give a partial answer to a conjecture by R. Wiegand and S. Wiegand on the structure of semi-local,…

Commutative Algebra · Mathematics 2018-01-10 Cory H. Colbert

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

Previously, Erd\H{o}s, Kierstead and Trotter investigated the dimension of random height~$2$ partially ordered sets. Their research was motivated primarily by two goals: (1)~analyzing the relative tightness of the F\"{u}redi-Kahn upper…

Combinatorics · Mathematics 2020-03-19 Csaba Biró , Peter Hamburger , H. A. Kierstead , Attila Pór , William T. Trotter , Ruidong Wang

Graphs on integer points of polytopes whose edges come from a set of allowed differences are studied. It is shown that any simple graph can be embedded in that way. The minimal dimension of such a representation is the fiber dimension of…

Combinatorics · Mathematics 2016-01-19 Tobias Windisch