Source author record

Carla Groenland

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Computational Complexity cond-mat.mes-hall Data Structures and Algorithms Discrete Mathematics math.PR physics.atom-ph quant-ph

Catalog footprint

Research overview

9works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Graphs of low average degree without independent transversals

An independent transversal of a graph $G$ with a vertex partition $\mathcal P$ is an independent set of $G$ intersecting each block of $\mathcal P$ in a single vertex. Wanless and Wood proved that if each block of $\mathcal P$ has size at least $t$ and the average degree of vertices in each block is at most $t/4$ , then an independent transversal of $\mathcal P$ exists. We present a construction showing that this result is optimal: for any $\varepsilon > 0$ and sufficiently large $t$ , there is a family of forests with vertex partitions whose block size is at least $t$ , average degree of vertices in each block is at most $(\frac14+\varepsilon)t$ , and there is no independent transversal. This unexpectedly shows that methods related to entropy compression such as the Rosenfeld-Wanless-Wood scheme or the Local Cut Lemma are tight for this problem. Further constructions are given for variants of the problem, including the hypergraph version.

preprint2022arXiv

List Colouring Trees in Logarithmic Space

We show that List Colouring can be solved on $n$ -vertex trees by a deterministic Turing machine using $O(\log n)$ bits on the worktape. Given an $n$ -vertex graph $G=(V,E)$ and a list $L(v)\subseteq\{1,\dots,n\}$ of available colours for each $v\in V$ , a list colouring for $G$ is a proper colouring $c$ such that $c(v)\in L(v)$ for all $v$ .

preprint2022arXiv

Perfect shuffling with fewer lazy transpositions

A lazy transposition $(a,b,p)$ is the random permutation that equals the identity with probability $1-p$ and the transposition $(a,b)\in S_n$ with probability $p$ . How long must a sequence of independent lazy transpositions be if their composition is uniformly distributed? It is known that there are sequences of length $\binom{n}2$ , but are there shorter sequences? This was raised by Fitzsimons in 2011, and independently by Angel and Holroyd in 2018. We answer this question negatively by giving a construction of length $\frac23 \binom{n}2+O(n\log n)$ , and consider some related questions.

preprint2022arXiv

Reconstructing the degree sequence of a sparse graph from a partial deck

The deck of a graph $G$ is the multiset of cards $\{G-v:v\in V(G)\}$ . Myrvold (1992) showed that the degree sequence of a graph on $n\geq7$ vertices can be reconstructed from any deck missing one card. We prove that the degree sequence of a graph with average degree $d$ can reconstructed from any deck missing $O(n/d^3)$ cards. In particular, in the case of graphs that can be embedded on a fixed surface (e.g. planar graphs), the degree sequence can be reconstructed even when a linear number of the cards are missing.

preprint2022arXiv

The lengths for which bicrucial square-free permutations exist

A square is a factor $S = (S_1; S_2)$ where $S_1$ and $S_2$ have the same pattern, and a permutation is said to be square-free if it contains no non-trivial squares. The permutation is further said to be bicrucial if every extension to the left or right contains a square. We completely classify for which $n$ there exists a bicrucial square-free permutation of length $n$ .

preprint2022arXiv

XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure

In this paper, we showcase the class XNLP as a natural place for many hard problems parameterized by linear width measures. This strengthens existing $W[1]$ -hardness proofs for these problems, since XNLP-hardness implies $W[t]$ -hardness for all $t$ . It also indicates, via a conjecture by Pilipczuk and Wrochna [ToCT 2018], that any XP algorithm for such problems is likely to require XP space. In particular, we show XNLP-completeness for natural problems parameterized by pathwidth, linear clique-width, and linear mim-width. The problems we consider are Independent Set, Dominating Set, Odd Cycle Transversal, ( $q$ -)Coloring, Max Cut, Maximum Regular Induced Subgraph, Feedback Vertex Set, Capacitated (Red-Blue) Dominating Set, and Bipartite Bandwidth.

preprint2021arXiv

Cyclically covering subspaces in $\mathbb{F}_2^n$

A subspace of $\mathbb{F}_2^n$ is called cyclically covering if every vector in $\mathbb{F}_2^n$ has a cyclic shift which is inside the subspace. Let $h_2(n)$ denote the largest possible codimension of a cyclically covering subspace of $\mathbb{F}_2^n$ . We show that $h_2(p)= 2$ for every prime $p$ such that 2 is a primitive root modulo $p$ , which, assuming Artin's conjecture, answers a question of Peter Cameron from 1991. We also prove various bounds on $h_2(ab)$ depending on $h_2(a)$ and $h_2(b)$ and extend some of our results to a more general set-up proposed by Cameron, Ellis and Raynaud.

preprint2020arXiv

Size reconstructibility of graphs

The deck of a graph $G$ is given by the multiset of (unlabelled) subgraphs $\{G-v:v\in V(G)\}$ . The subgraphs $G-v$ are referred to as the cards of $G$ . Brown and Fenner recently showed that, for $n\geq29$ , the number of edges of a graph $G$ can be computed from any deck missing 2 cards. We show that, for sufficiently large $n$ , the number of edges can be computed from any deck missing at most $\frac1{20}\sqrt{n}$ cards.

preprint2020arXiv

Stimulated Raman adiabatic passage-like protocols for amplitude transfer generalize to many bipartite graphs

Adiabatic passage techniques, used to drive a system from one quantum state into another, find widespread application in physics and chemistry. We focus on techniques to spatially transport a quantum amplitude over a strongly coupled system, such as STImulated Raman Adiabatic Passage (STIRAP) and Coherent Tunnelling by Adiabatic Passage (CTAP). Previous results were shown to work on certain graphs, such as linear chains, square and triangular lattices, and branched chains. We prove that similar protocols work much more generally, in a large class of (semi-)bipartite graphs. In particular, under random couplings, adiabatic transfer is possible on graphs that admit a perfect matching both when the sender is removed and when the receiver is removed. Many of the favorable stability properties of STIRAP/CTAP are inherited, and our results readily apply to transfer between multiple potential senders and receivers. We numerically test transfer between the leaves of a tree, and find surprisingly accurate transfer, especially when straddling is used. Our results may find applications in short-distance communication between multiple quantum computers, and open up a new question in graph theory about the spectral gap around the value 0.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Carla Groenland

Research overview

Is this your work?

9 publications

Graphs of low average degree without independent transversals

List Colouring Trees in Logarithmic Space

Perfect shuffling with fewer lazy transpositions

Reconstructing the degree sequence of a sparse graph from a partial deck

The lengths for which bicrucial square-free permutations exist

XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure

Cyclically covering subspaces in $\mathbb{F}_2^n$

Size reconstructibility of graphs

Stimulated Raman adiabatic passage-like protocols for amplitude transfer generalize to many bipartite graphs

See the researcher in context

Building this map preview

Carla Groenland

Research overview

Is this your work?

9 publications

Graphs of low average degree without independent transversals

List Colouring Trees in Logarithmic Space

Perfect shuffling with fewer lazy transpositions

Reconstructing the degree sequence of a sparse graph from a partial deck

The lengths for which bicrucial square-free permutations exist

XNLP-completeness for Parameterized Problems on Graphs with a Linear Structure

Cyclically covering subspaces in F2n\mathbb{F}_2^nF2n​

Size reconstructibility of graphs

Stimulated Raman adiabatic passage-like protocols for amplitude transfer generalize to many bipartite graphs

See the researcher in context

Building this map preview

Cyclically covering subspaces in $\mathbb{F}_2^n$