-
Towards odd-sunflowers: temperate families and lightnings
Authors:
Jan Petr,
Pavel Turek
Abstract:
Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and P{á}lv{ö}lgyi, we initiate the study of temperate families: a family $\mathcal{F} \subseteq \mathcal{P}([n])$ is said to be \emph{temperate} if each $A \in \mathcal{F}$ contains at most $|A|$ elements of $\mathcal{F}$ as a proper subset.
We show that the maximum size of a temperate family is attained by the middle two layers o…
▽ More
Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and P{á}lv{ö}lgyi, we initiate the study of temperate families: a family $\mathcal{F} \subseteq \mathcal{P}([n])$ is said to be \emph{temperate} if each $A \in \mathcal{F}$ contains at most $|A|$ elements of $\mathcal{F}$ as a proper subset.
We show that the maximum size of a temperate family is attained by the middle two layers of the hypercube $\{0,1\}^n$. As a more general result, we obtain that the middle $t+1$ layers of the hypercube maximise the size of a family $\mathcal{F}$ such that each $A \in \mathcal{F}$ contains at most $\sum_{j=1}^t \binom{|A|}{j}$ elements of $\mathcal{F}$ as a proper subset. Moreover, we classify all such families consisting of the maximum number of sets.
In the case of intersecting temperate families, we find the maximum size and classify all intersecting temperate families consisting of the maximum number of sets for odd $n$. We also conjecture the maximum size for even $n$.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Reconstructing almost all of a point set in $\mathbb{R}^d$ from randomly revealed pairwise distances
Authors:
Douglas Barnes,
Jan Petr,
Julien Portier,
Benedict Randall Shaw,
Alan Sergeev
Abstract:
Let $V$ be a set of $n$ points in $\mathbb{R}^d$, and suppose that the distance between each pair of points is revealed independently with probability $p$. We study when this information is sufficient to reconstruct large subsets of $V$, up to isometry.
Strong results for $d=1$ have been obtained by Girão, Illingworth, Michel, Powierski, and Scott. In this paper, we investigate higher dimensions…
▽ More
Let $V$ be a set of $n$ points in $\mathbb{R}^d$, and suppose that the distance between each pair of points is revealed independently with probability $p$. We study when this information is sufficient to reconstruct large subsets of $V$, up to isometry.
Strong results for $d=1$ have been obtained by Girão, Illingworth, Michel, Powierski, and Scott. In this paper, we investigate higher dimensions, and show that if $p>n^{-2/(d+4)}$, then we can reconstruct almost all of $V$ up to isometry, with high probability. We do this by relating it to a polluted graph bootstrap percolation result, for which we adapt the methods of Balogh, Bollobás, and Morris.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
On Steiner Trees of the Regular Simplex
Authors:
Henry Fleischmann,
Guillermo A. Gamboa Q.,
Karthik C. S.,
Josef Matějka,
Jakub Petr
Abstract:
In the Euclidean Steiner Tree problem, we are given as input a set of points (called terminals) in the $\ell_2$-metric space and the goal is to find the minimum-cost tree connecting them. Additional points (called Steiner points) from the space can be introduced as nodes in the solution.
The seminal works of Arora [JACM'98] and Mitchell [SICOMP'99] provide a Polynomial Time Approximation Scheme…
▽ More
In the Euclidean Steiner Tree problem, we are given as input a set of points (called terminals) in the $\ell_2$-metric space and the goal is to find the minimum-cost tree connecting them. Additional points (called Steiner points) from the space can be introduced as nodes in the solution.
The seminal works of Arora [JACM'98] and Mitchell [SICOMP'99] provide a Polynomial Time Approximation Scheme (PTAS) for solving the Euclidean Steiner Tree problem in fixed dimensions. However, the problem remains poorly understood in higher dimensions (such as when the dimension is logarithmic in the number of terminals) and ruling out a PTAS for the problem in high dimensions is a notoriously long standing open problem (for example, see Trevisan [SICOMP'00]). Moreover, the explicit construction of optimal Steiner trees remains unknown for almost all well-studied high-dimensional point configurations. Furthermore, a vast majority the state-of-the-art structural results on (high-dimensional) Euclidean Steiner trees were established in the 1960s, with no noteworthy update in over half a century.
In this paper, we revisit high-dimensional Euclidean Steiner trees, proving new structural results. We also establish a link between the computational hardness of the Euclidean Steiner Tree problem and understanding the optimal Steiner trees of regular simplices (and simplicial complexes), proposing several conjectures and showing that some of them suffice to resolve the status of the inapproximability of the Euclidean Steiner Tree problem. Motivated by this connection, we investigate optimal Steiner trees of regular simplices, proving new structural properties of their optimal Steiner trees, revisiting an old conjecture of Smith [Algorithmica'92] about their optimal topology, and providing the first explicit, general construction of candidate optimal Steiner trees for that topology.
△ Less
Submitted 2 December, 2023;
originally announced December 2023.
-
The Past, Present, and Future of the Brain Imaging Data Structure (BIDS)
Authors:
Russell A. Poldrack,
Christopher J. Markiewicz,
Stefan Appelhoff,
Yoni K. Ashar,
Tibor Auer,
Sylvain Baillet,
Shashank Bansal,
Leandro Beltrachini,
Christian G. Benar,
Giacomo Bertazzoli,
Suyash Bhogawar,
Ross W. Blair,
Marta Bortoletto,
Mathieu Boudreau,
Teon L. Brooks,
Vince D. Calhoun,
Filippo Maria Castelli,
Patricia Clement,
Alexander L Cohen,
Julien Cohen-Adad,
Sasha D'Ambrosio,
Gilles de Hollander,
María de la iglesia-Vayá,
Alejandro de la Vega,
Arnaud Delorme
, et al. (89 additional authors not shown)
Abstract:
The Brain Imaging Data Structure (BIDS) is a community-driven standard for the organization of data and metadata from a growing range of neuroscience modalities. This paper is meant as a history of how the standard has developed and grown over time. We outline the principles behind the project, the mechanisms by which it has been extended, and some of the challenges being addressed as it evolves.…
▽ More
The Brain Imaging Data Structure (BIDS) is a community-driven standard for the organization of data and metadata from a growing range of neuroscience modalities. This paper is meant as a history of how the standard has developed and grown over time. We outline the principles behind the project, the mechanisms by which it has been extended, and some of the challenges being addressed as it evolves. We also discuss the lessons learned through the project, with the aim of enabling researchers in other domains to learn from the success of BIDS.
△ Less
Submitted 8 January, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
The complexity of decomposing a graph into a matching and a bounded linear forest
Authors:
Agnijo Banerjee,
João Pedro Marciano,
Adva Mond,
Jan Petr,
Julien Portier
Abstract:
Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{ö}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the first part of this paper, we close this gap by showing that this problem is in NP-complete for every $k \ge 3$. In the second part of the paper, we show that deci…
▽ More
Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{ö}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the first part of this paper, we close this gap by showing that this problem is in NP-complete for every $k \ge 3$. In the second part of the paper, we show that deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded star forest is polynomially solvable for any $k \in \mathbb{N} \cup \{ \infty \}$, answering another question by Campbell, H{ö}rsch and Moore from the same paper.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Bounds for the Competition-Independence game on trees
Authors:
Jan Petr,
Julien Portier
Abstract:
In this paper we prove that Sweller has a strategy so that the Sweller-Start Competition-Independence game lasts at least $(5n+3)/13$ moves for every tree. Moreover, we show that there exist arbitrarily large trees such that the Sweller-Start Competition-Independence game lasts at most $(5n+26)/12$ moves, disproving a conjecture by Henning.
In this paper we prove that Sweller has a strategy so that the Sweller-Start Competition-Independence game lasts at least $(5n+3)/13$ moves for every tree. Moreover, we show that there exist arbitrarily large trees such that the Sweller-Start Competition-Independence game lasts at most $(5n+26)/12$ moves, disproving a conjecture by Henning.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
On the number of minimum dominating sets and total dominating sets in forests
Authors:
Jan Petr,
Julien Portier,
Leo Versteegen
Abstract:
We show that the maximum number of minimum dominating sets of a forest with domination number $γ$ is at most $\sqrt{5}^γ$ and construct for each $γ$ a tree with domination number $γ$ that has more than $\frac{2}{5}\sqrt{5}^γ$ minimum dominating sets. Furthermore, we disprove a conjecture about the number of minimum total dominating sets in forests by Henning, Mohr and Rautenbach.
We show that the maximum number of minimum dominating sets of a forest with domination number $γ$ is at most $\sqrt{5}^γ$ and construct for each $γ$ a tree with domination number $γ$ that has more than $\frac{2}{5}\sqrt{5}^γ$ minimum dominating sets. Furthermore, we disprove a conjecture about the number of minimum total dominating sets in forests by Henning, Mohr and Rautenbach.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
A note on Cops and Robbers, independence number, domination number and diameter
Authors:
Jan Petr,
Julien Portier,
Leo Versteegen
Abstract:
We study relations between diameter $D(G)$, domination number $γ(G)$, independence number $α(G)$ and cop number $c(G)$ of a connected graph $G$, showing (i.) $c(G) \leq α(G)-\lfloor \frac{D(G)-3}{2} \rfloor$, and (ii.) $c(G) \leq γ(G) - \frac{D(G)}{3} + O (\sqrt{D(G)})$.
We study relations between diameter $D(G)$, domination number $γ(G)$, independence number $α(G)$ and cop number $c(G)$ of a connected graph $G$, showing (i.) $c(G) \leq α(G)-\lfloor \frac{D(G)-3}{2} \rfloor$, and (ii.) $c(G) \leq γ(G) - \frac{D(G)}{3} + O (\sqrt{D(G)})$.
△ Less
Submitted 31 March, 2022; v1 submitted 25 February, 2022;
originally announced February 2022.
-
The odd chromatic number of a planar graph is at most 8
Authors:
Jan Petr,
Julien Portier
Abstract:
Petruševski and Škrekovski \cite{odd9} recently introduced the notion of an odd colouring of a graph: a proper vertex colouring of a graph $G$ is said to be \emph{odd} if for each non-isolated vertex $x \in V(G)$ there exists a colour $c$ appearing an odd number of times in $N(x)$.
Petruševski and Škrekovski proved that for any planar graph $G$ there is an odd colouring using at most $9$ colours…
▽ More
Petruševski and Škrekovski \cite{odd9} recently introduced the notion of an odd colouring of a graph: a proper vertex colouring of a graph $G$ is said to be \emph{odd} if for each non-isolated vertex $x \in V(G)$ there exists a colour $c$ appearing an odd number of times in $N(x)$.
Petruševski and Škrekovski proved that for any planar graph $G$ there is an odd colouring using at most $9$ colours and, together with Caro \cite{oddremarks}, showed that $8$ colours are enough for a significant family of planar graphs. We show that $8$ colours suffice for all planar graphs.
△ Less
Submitted 7 February, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
A faster algorithm for Cops and Robbers
Authors:
Jan Petr,
Julien Portier,
Leo Versteegen
Abstract:
We present an algorithm of time complexity $O(kn^{k+2})$ deciding whether a graph $G$ on $n$ vertices is $k$-copwin. The fastest algorithm thus far had time complexity $O(n^{2k+2})$.
We present an algorithm of time complexity $O(kn^{k+2})$ deciding whether a graph $G$ on $n$ vertices is $k$-copwin. The fastest algorithm thus far had time complexity $O(n^{2k+2})$.
△ Less
Submitted 21 December, 2021; v1 submitted 14 December, 2021;
originally announced December 2021.
-
A new lower bound on the pebbling number of the grid
Authors:
Jan Petr,
Julien Portier,
Szymon Stolarczyk
Abstract:
A pebbling move on a graph consists of removing $2$ pebbles from a vertex and adding $1$ pebble to one of the neighbouring vertices. A vertex is called reachable if we can put $1$ pebble on it after a sequence of moves. The optimal pebbling number of a graph is the minimum number $m$ such that there exists a distribution of $m$ pebbles so that each vertex is reachable. For the case of a square gri…
▽ More
A pebbling move on a graph consists of removing $2$ pebbles from a vertex and adding $1$ pebble to one of the neighbouring vertices. A vertex is called reachable if we can put $1$ pebble on it after a sequence of moves. The optimal pebbling number of a graph is the minimum number $m$ such that there exists a distribution of $m$ pebbles so that each vertex is reachable. For the case of a square grid $n \times m$, Győri, Katona and Papp recently showed that its optimal pebbling number is at least $\frac{2}{13}nm \approx 0.1538nm$ and at most $\frac{2}{7}nm +O(n+m) \approx 0.2857nm$. We improve the lower bound to $\frac{5092}{28593}nm +O(m+n) \approx 0.1781nm$.
△ Less
Submitted 25 November, 2021;
originally announced November 2021.
-
Slowdown for the geodesic-biased random walk
Authors:
Mikhail Beliayeu,
Petr Chmel,
Bhargav Narayanan,
Jan Petr
Abstract:
Given a connected graph $G$ with some subset of its vertices excited and a fixed target vertex, in the geodesic-biased random walk on $G$, a random walker moves as follows: from an unexcited vertex, she moves to a uniformly random neighbour, whereas from an excited vertex, she takes one step along some fixed shortest path towards the target vertex. We show, perhaps counterintuitively, that the geo…
▽ More
Given a connected graph $G$ with some subset of its vertices excited and a fixed target vertex, in the geodesic-biased random walk on $G$, a random walker moves as follows: from an unexcited vertex, she moves to a uniformly random neighbour, whereas from an excited vertex, she takes one step along some fixed shortest path towards the target vertex. We show, perhaps counterintuitively, that the geodesic-bias can slow the random walker down exponentially: there exist connected, bounded-degree $n$-vertex graphs with excitations where the expected hitting time of a fixed target is at least $\exp (\sqrt[4]{n} / 100)$.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
On Reachability for Unidirectional Channel Systems Extended with Regular Tests
Authors:
Jancar Petr,
Prateek Karandikar,
Philippe Schnoebelen
Abstract:
"Unidirectional channel systems" (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is decidable for these systems, equip** them with the possibility of testing regular properties on the contents of channels makes it undecidable. Decidability is…
▽ More
"Unidirectional channel systems" (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is decidable for these systems, equip** them with the possibility of testing regular properties on the contents of channels makes it undecidable. Decidability is preserved when only emptiness and nonemptiness tests are considered: the proof relies on an elaborate reduction to a generalized version of Post's Embedding Problem.
△ Less
Submitted 16 April, 2015; v1 submitted 16 May, 2014;
originally announced June 2014.