-
Two-Year Optical Site Characterization for the Pacific Ocean Neutrino Experiment P-ONE in the Cascadia Basin
Authors:
Nicolai Bailly,
Jeannette Bedard,
Michael Böhmer,
Jeff Bosma,
Dirk Brussow,
Jonathan Cheng,
Ken Clark,
Beckey Croteau,
Matthias Danninger,
Fabio De Leo,
Nathan Deis,
Matthew Ens,
Rowan Fox,
Christian Fruck,
Andreas Gärtner,
Roman Gernhäuser,
Dilraj Ghuman,
Darren Grant,
Helen He,
Felix Henningsen,
Kilian Holzapfel,
Ryan Hotte,
Reyna Jenkyns,
Hamish Johnson,
Akanksha Katil
, et al. (32 additional authors not shown)
Abstract:
The STRings for Absorption length in Water (STRAW) are the first in a series of pathfinders for the Pacific Ocean Neutrino Experiment (P-ONE), a future large-scale neutrino telescope in the north-eastern Pacific Ocean. STRAW consists of two 150 m long mooring lines instrumented with optical emitters and detectors. The pathfinder is designed to measure the attenuation length of the water and perfor…
▽ More
The STRings for Absorption length in Water (STRAW) are the first in a series of pathfinders for the Pacific Ocean Neutrino Experiment (P-ONE), a future large-scale neutrino telescope in the north-eastern Pacific Ocean. STRAW consists of two 150 m long mooring lines instrumented with optical emitters and detectors. The pathfinder is designed to measure the attenuation length of the water and perform a long-term assessment of the optical background at the future P-ONE site. After two years of continuous operation, measurements from STRAW show an optical attenuation length of about 28 metres at 450 nm. Additionally, the data allow a study of the ambient undersea background. The overall optical environment reported here is comparable to other deep-water neutrino telescopes and qualifies the site for the deployment of P-ONE.
△ Less
Submitted 8 December, 2021; v1 submitted 10 August, 2021;
originally announced August 2021.
-
Optical observation of single spins in silicon
Authors:
A. T. K. Kurkjian,
D. B. Higginbottom,
C. Chartrand,
E. R. MacQuarrie,
J. R. Klein,
N. R. Lee-Hone,
J. Stacho,
C. Bowness,
L. Bergeron,
A. DeAbreu,
N. A. Brunelle,
S. R. Harrigan,
J. Kanaganayagam,
M. Kazemi,
D. W. Marsden,
T. S. Richards,
L. A. Stott,
S. Roorda,
K. J. Morse,
M. L. W. Thewalt,
S. Simmons
Abstract:
The global quantum internet will require long-lived, telecommunications band photon-matter interfaces manufactured at scale. Preliminary quantum networks based upon photon-matter interfaces which meet a subset of these demands are encouraging efforts to identify new high-performance alternatives. Silicon is an ideal host for commercial-scale solid-state quantum technologies. It is already an advan…
▽ More
The global quantum internet will require long-lived, telecommunications band photon-matter interfaces manufactured at scale. Preliminary quantum networks based upon photon-matter interfaces which meet a subset of these demands are encouraging efforts to identify new high-performance alternatives. Silicon is an ideal host for commercial-scale solid-state quantum technologies. It is already an advanced platform within the global integrated photonics and microelectronics industries, as well as host to record-setting long-lived spin qubits. Despite the overwhelming potential of the silicon quantum platform, the optical detection of individually addressable photon-spin interfaces in silicon has remained elusive. In this work we produce tens of thousands of individually addressable `$T$ centre' photon-spin qubits in integrated silicon photonic structures, and characterize their spin-dependent telecommunications-band optical transitions. These results unlock immediate opportunities to construct silicon-integrated, telecommunications-band quantum information networks.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Max Point-Tolerance Graphs
Authors:
Daniele Catanzaro,
Steven Chaplick,
Stefan Felsner,
Bjarni V. Halldórsson,
Magnús M. Halldórsson,
Thomas Hixon,
Juraj Stacho
Abstract:
A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems…
▽ More
A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.
△ Less
Submitted 16 August, 2015;
originally announced August 2015.
-
Minimal classes of graphs of unbounded clique-width defined by finitely many forbidden induced subgraphs
Authors:
A. Atminas,
R. Brignall,
V. Lozin,
J. Stacho
Abstract:
We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minim…
▽ More
We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minimal classes must be defined by infinitely many forbidden induced subgraphs.
In the same paper, Daligault, Rao and Thomasse make another conjecture that every hereditary class of unbounded clique-width must contain a labelled infinite antichain. We show that the two example classes we consider here satisfy this conjecture. Indeed, they each contain a canonical labelled infinite antichain, which leads us to propose a stronger conjecture: that every hereditary class of graphs that is minimal of unbounded clique-width contains a canonical labelled infinite antichain.
△ Less
Submitted 4 October, 2018; v1 submitted 5 March, 2015;
originally announced March 2015.
-
Forbidden structure characterization of circular-arc graphs and a certifying recognition algorithm
Authors:
Mathew Francis,
Pavol Hell,
Juraj Stacho
Abstract:
A circular-arc graph is the intersection graph of arcs of a circle. It is a well-studied graph model with numerous natural applications. A certifying algorithm is an algorithm that outputs a certificate, along with its answer (be it positive or negative), where the certificate can be used to easily justify the given answer. While the recognition of circular-arc graphs has been known to be polynomi…
▽ More
A circular-arc graph is the intersection graph of arcs of a circle. It is a well-studied graph model with numerous natural applications. A certifying algorithm is an algorithm that outputs a certificate, along with its answer (be it positive or negative), where the certificate can be used to easily justify the given answer. While the recognition of circular-arc graphs has been known to be polynomial since the 1980s, no polynomial-time certifying recognition algorithm is known to date, despite such algorithms being found for many subclasses of circular-arc graphs. This is largely due to the fact that a forbidden structure characterization of circular-arc graphs is not known, even though the problem has been intensely studied since the seminal work of Klee in the 1960s.
In this contribution, we settle this problem. We present the first forbidden structure characterization of circular-arc graphs. Our obstruction has the form of mutually avoiding walks in the graph. It naturally extends a similar obstruction that characterizes interval graphs. As a consequence, we give the first polynomial-time certifying algorithm for the recognition of circular-arc graphs.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
4-coloring $P_6$-free graphs with no induced 5-cycles
Authors:
Maria Chudnovsky,
Peter Maceli,
Juraj Stacho,
Mingxian Zhong
Abstract:
We show that the 4-coloring problem can be solved in polynomial time for graphs with no induced 5-cycle $C_5$ and no induced 6-vertex path $P_6$.
We show that the 4-coloring problem can be solved in polynomial time for graphs with no induced 5-cycle $C_5$ and no induced 6-vertex path $P_6$.
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Constraint Satisfaction with Counting Quantifiers 2
Authors:
Barnaby Martin,
Juraj Stacho
Abstract:
We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers $\exists^{\geq j}$, asserting the existence of $j$ distinct witnesses for the variable in question. As a continuation of our previous (CSR 2012) paper, we focus on the complexity of undirected graph templates. As our main contribution, we settle the two principal open questions proposed in (CSR 2012). Firstly,…
▽ More
We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers $\exists^{\geq j}$, asserting the existence of $j$ distinct witnesses for the variable in question. As a continuation of our previous (CSR 2012) paper, we focus on the complexity of undirected graph templates. As our main contribution, we settle the two principal open questions proposed in (CSR 2012). Firstly, we complete the classification of clique templates by proving a full trichotomy for all possible combinations of counting quantifiers and clique sizes, placing each case either in P, NP-complete or Pspace-complete. This involves resolution of the cases in which we have the single quantifier $\exists^{\geq j}$ on the clique $K_{2j}$. Secondly, we confirm a conjecture from (CSR 2012), which proposes a full dichotomy for $\exists$ and $\exists^{\geq 2}$ on all finite undirected graphs. The main thrust of this second result is the solution of the complexity for the infinite path which we prove is a polynomial-time solvable problem. By adapting the algorithm for the infinite path we are then able to solve the problem for finite paths, and then trees and forests. Thus as a corollary to this work, combining with the other cases from (CSR 2012), we obtain a full dichotomy for $\exists$ and $\exists^{\geq 2}$ quantifiers on finite graphs, each such problem being either in P or NP-hard. Finally, we persevere with the work of (CSR 2012) in exploring cases in which there is dichotomy between P and Pspace-complete, in contrast with situations in which the intermediate NP-completeness may appear.
△ Less
Submitted 29 December, 2013;
originally announced December 2013.
-
On edge-sets of bicliques in graphs
Authors:
Marina Groshaus,
Pavol Hell,
Juraj Stacho
Abstract:
A biclique is a maximal induced complete bipartite subgraph of a graph. We investigate the intersection structure of edge-sets of bicliques in a graph. Specifically, we study the associated edge-biclique hypergraph whose hyperedges are precisely the edge-sets of all bicliques. We characterize graphs whose edge-biclique hypergraph is conformal (i.e., it is the clique hypergraph of its 2-section) by…
▽ More
A biclique is a maximal induced complete bipartite subgraph of a graph. We investigate the intersection structure of edge-sets of bicliques in a graph. Specifically, we study the associated edge-biclique hypergraph whose hyperedges are precisely the edge-sets of all bicliques. We characterize graphs whose edge-biclique hypergraph is conformal (i.e., it is the clique hypergraph of its 2-section) by means of a single forbidden induced obstruction, the triangular prism. Using this result, we characterize graphs whose edge-biclique hypergraph is Helly and provide a polynomial time recognition algorithm. We further study a hereditary version of this property and show that it also admits polynomial time recognition, and, in fact, is characterized by a finite set of forbidden induced subgraphs. We conclude by describing some interesting properties of the 2-section graph of the edge-biclique hypergraph.
△ Less
Submitted 17 July, 2013;
originally announced July 2013.
-
Obstructions to chordal circular-arc graphs of small independence number
Authors:
Mathew Francis,
Pavol Hell,
Juraj Stacho
Abstract:
A blocking quadruple (BQ) is a quadruple of vertices of a graph such that any two vertices of the quadruple either miss (have no neighbours on) some path connecting the remaining two vertices of the quadruple, or are connected by some path missed by the remaining two vertices. This is akin to the notion of asteroidal triple used in the classical characterization of interval graphs by Lekkerkerker…
▽ More
A blocking quadruple (BQ) is a quadruple of vertices of a graph such that any two vertices of the quadruple either miss (have no neighbours on) some path connecting the remaining two vertices of the quadruple, or are connected by some path missed by the remaining two vertices. This is akin to the notion of asteroidal triple used in the classical characterization of interval graphs by Lekkerkerker and Boland. We show that a circular-arc graph cannot have a blocking quadruple. We also observe that the absence of blocking quadruples is not in general sufficient to guarantee that a graph is a circular-arc graph. Nonetheless, it can be shown to be sufficient for some special classes of graphs, such as those investigated by Bonomo et al. In this note, we focus on chordal graphs, and study the relationship between the structure of chordal graphs and the presence/absence of blocking quadruples. Our contribution is two-fold. Firstly, we provide a forbidden induced subgraph characterization of chordal graphs without blocking quadruples. In particular, we observe that all the forbidden subgraphs are variants of the subgraphs forbidden for interval graphs. Secondly, we show that the absence of blocking quadruples is sufficient to guarantee that a chordal graph with no independent set of size five is a circular-arc graph. In our proof we use a novel geometric approach, constructing a circular-arc representation by traversing around a carefully chosen clique tree.
△ Less
Submitted 21 October, 2012;
originally announced October 2012.
-
Constraint Satisfaction with Counting Quantifiers
Authors:
Florent Madelaine,
Barnaby Martin,
Juraj Stacho
Abstract:
We initiate the study of constraint satisfaction problems (CSPs) in the presence of counting quantifiers, which may be seen as variants of CSPs in the mould of quantified CSPs (QCSPs). We show that a single counting quantifier strictly between exists^1:=exists and exists^n:=forall (the domain being of size n) already affords the maximal possible complexity of QCSPs (which have both exists and fora…
▽ More
We initiate the study of constraint satisfaction problems (CSPs) in the presence of counting quantifiers, which may be seen as variants of CSPs in the mould of quantified CSPs (QCSPs). We show that a single counting quantifier strictly between exists^1:=exists and exists^n:=forall (the domain being of size n) already affords the maximal possible complexity of QCSPs (which have both exists and forall), being Pspace-complete for a suitably chosen template. Next, we focus on the complexity of subsets of counting quantifiers on clique and cycle templates. For cycles we give a full trichotomy -- all such problems are in L, NP-complete or Pspace-complete. For cliques we come close to a similar trichotomy, but one case remains outstanding. Afterwards, we consider the generalisation of CSPs in which we augment the extant quantifier exists^1:=exists with the quantifier exists^j (j not 1). Such a CSP is already NP-hard on non-bipartite graph templates. We explore the situation of this generalised CSP on bipartite templates, giving various conditions for both tractability and hardness -- culminating in a classification theorem for general graphs. Finally, we use counting quantifiers to solve the complexity of a concrete QCSP whose complexity was previously open.
△ Less
Submitted 13 December, 2011;
originally announced December 2011.
-
The vertex leafage of chordal graphs
Authors:
Steven Chaplick,
Juraj Stacho
Abstract:
Every chordal graph $G$ can be represented as the intersection graph of a collection of subtrees of a host tree, a so-called {\em tree model} of $G$. The leafage $\ell(G)$ of a connected chordal graph $G$ is the minimum number of leaves of the host tree of a tree model of $G$. The vertex leafage $\vl(G)$ is the smallest number $k$ such that there exists a tree model of $G$ in which every subtree h…
▽ More
Every chordal graph $G$ can be represented as the intersection graph of a collection of subtrees of a host tree, a so-called {\em tree model} of $G$. The leafage $\ell(G)$ of a connected chordal graph $G$ is the minimum number of leaves of the host tree of a tree model of $G$. The vertex leafage $\vl(G)$ is the smallest number $k$ such that there exists a tree model of $G$ in which every subtree has at most $k$ leaves. The leafage is a polynomially computable parameter by the result of \cite{esa}. In this contribution, we study the vertex leafage.
We prove for every fixed $k\geq 3$ that deciding whether the vertex leafage of a given chordal graph is at most $k$ is NP-complete by proving a stronger result, namely that the problem is NP-complete on split graphs with vertex leafage of at most $k+1$. On the other hand, for chordal graphs of leafage at most $\ell$, we show that the vertex leafage can be calculated in time $n^{O(\ell)}$. Finally, we prove that there exists a tree model that realizes both the leafage and the vertex leafage of $G$. Notably, for every path graph $G$, there exists a path model with $\ell(G)$ leaves in the host tree and it can be computed in $O(n^3)$ time.
△ Less
Submitted 10 March, 2012; v1 submitted 13 April, 2011;
originally announced April 2011.
-
Unique perfect phylogeny is NP-hard
Authors:
Michel Habib,
Juraj Stacho
Abstract:
We answer, in the affirmative, the following question proposed by Mike Steel as a $100 challenge: "Is the following problem NP-hard? Given a ternary phylogenetic X-tree T and a collection Q of quartet subtrees on X, is T the only tree that displays Q ?"
We answer, in the affirmative, the following question proposed by Mike Steel as a $100 challenge: "Is the following problem NP-hard? Given a ternary phylogenetic X-tree T and a collection Q of quartet subtrees on X, is T the only tree that displays Q ?"
△ Less
Submitted 26 November, 2010;
originally announced November 2010.
-
Dichotomy for tree-structured trigraph list homomorphism problems
Authors:
Tomás Feder,
Pavol Hell,
David G. Schell,
Juraj Stacho
Abstract:
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to be polynomial time solvable or NP-complete. Thus while digraph list homomorphism problems enjoy dichotomy (each problem is NP-complete or polynomial time solvable), such dichotomy is not necessarily expected for trigraph…
▽ More
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to be polynomial time solvable or NP-complete. Thus while digraph list homomorphism problems enjoy dichotomy (each problem is NP-complete or polynomial time solvable), such dichotomy is not necessarily expected for trigraph list homomorphism problems. However, in this paper, we identify a large class of trigraphs for which list homomorphism problems do exhibit a dichotomy. They consist of trigraphs with a tree-like structure, and, in particular, include all trigraphs whose underlying graphs are trees. In fact, we show that for these tree-like trigraphs, the trigraph list homomorphism problem is polynomially equivalent to a related digraph list homomorphism problem. We also describe a few examples illustrating that our conditions defining tree-like trigraphs are not unnatural, as relaxing them may lead to harder problems.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.