-
Broadcast independence and packing in certain classes of trees
Authors:
Richard C. Brewster,
Kiara A. McDonald
Abstract:
Given a graph $G=(V,E)$ of diameter $d$, a broadcast is a function $f:V(G) \to \{ 0, 1, \dots, d \}$ where $f(v)$ is at most the eccentricity of $v$. A vertex $v$ is broadcasting if $f(v)>0$ and a vertex $u$ hears $v$ if $d(u,v) \leq f(v)$. A broadcast is independent if no broadcasting vertex hears another vertex and is a packing if no vertex hears more than one vertex. The weight of $f$ is…
▽ More
Given a graph $G=(V,E)$ of diameter $d$, a broadcast is a function $f:V(G) \to \{ 0, 1, \dots, d \}$ where $f(v)$ is at most the eccentricity of $v$. A vertex $v$ is broadcasting if $f(v)>0$ and a vertex $u$ hears $v$ if $d(u,v) \leq f(v)$. A broadcast is independent if no broadcasting vertex hears another vertex and is a packing if no vertex hears more than one vertex. The weight of $f$ is $\sum_{v \in V} f(v)$. We find the maximum weight independent and packing broadcasts for perfect $k$-ary trees, spiders, and double spiders as a partial answer to a question posed by Ahmane et al.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
List homomorphisms to separable signed graphs
Authors:
Jan Bok,
Richard Brewster,
Tomás Feder,
Pavol Hell,
Nikola Jedličková
Abstract:
The complexity of the list homomorphism problem for signed graphs appears difficult to classify. Existing results focus on special classes of signed graphs, such as trees and reflexive signed graphs. Irreflexive signed graphs are in a certain sense the heart of the problem, as noted by a recent paper of Kim and Siggers. We focus on a special class of irreflexive signed graphs, namely those in whic…
▽ More
The complexity of the list homomorphism problem for signed graphs appears difficult to classify. Existing results focus on special classes of signed graphs, such as trees and reflexive signed graphs. Irreflexive signed graphs are in a certain sense the heart of the problem, as noted by a recent paper of Kim and Siggers. We focus on a special class of irreflexive signed graphs, namely those in which the unicoloured edges form a spanning path or cycle, which we call separable signed graphs. We classify the complexity of list homomorphisms to these separable signed graphs; we believe that these signed graphs will play an important role for the general resolution of the irreflexive case. We also relate our results to a conjecture of Kim and Siggers concerning the special case of semi-balanced irreflexive signed graphs; we have proved the conjecture in another paper, and the present results add structural information to that topic.
△ Less
Submitted 19 April, 2024; v1 submitted 10 June, 2023;
originally announced June 2023.
-
A dichotomy theorem for $Γ$-switchable $H$-colouring on $m$-edge coloured graphs
Authors:
Richard Brewster,
Arnott Kidner,
Gary MacGillivray
Abstract:
Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $π$ of $Γ$ permutes the colours of the edges incident with $x$ according to $π$. We investigate the complexity of whether there exists a sequence of switches that transforms a given $m$-edge coloured…
▽ More
Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $π$ of $Γ$ permutes the colours of the edges incident with $x$ according to $π$. We investigate the complexity of whether there exists a sequence of switches that transforms a given $m$-edge coloured graph $G$ so that it has a colour-preserving homomorphism to a fixed $m$-edge coloured graph $H$ and give a dichotomy theorem in the case that $Γ$ acts transitively.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
The Realizability of Theta Graphs as Reconfiguration Graphs of Minimum Independent Dominating Sets
Authors:
Richard Brewster,
Kieka Mynhardt,
Laura Teshima
Abstract:
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$ is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Not all graphs are $i$-graph realizable, that is, given a target graph $H$, there…
▽ More
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$ is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H$ is the $i$-graph of $G$. We consider a class of graphs called "theta graphs": a theta graph is the union of three internally disjoint nontrivial paths with the same two distinct end vertices. We characterize theta graphs that are $i$-graph realizable, showing that there are only finitely many that are not. We also characterize those line graphs and claw-free graphs that are $i$-graphs, and show that all $3$-connected cubic bipartite planar graphs are $i$-graphs.
△ Less
Submitted 28 May, 2023;
originally announced May 2023.
-
The $i$-Graphs of Paths and Cycles
Authors:
R. C. Brewster,
C. M. Mynhardt,
L. E. Teshima
Abstract:
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathscr{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Although not all graphs are $i$-graph realizable, that…
▽ More
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathscr{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. Although not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H \cong \mathscr{I}(G)$, all graphs have $i$-graphs. We determine the $i$-graphs of paths and cycles and, in the case of cycles, discuss the Hamiltonicity of these $i$-graphs.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Reconfiguration of Minimum Independent Dominating Sets in Graphs
Authors:
R. C. Brewster,
C. M. Mynhardt,
L. E. Teshima
Abstract:
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathcal{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. We show that not all graphs are $i$-graph realizable,…
▽ More
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathcal{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. We show that not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H$ is isomorphic to $\mathcal{I}(G)$. Examples of such graphs include $K_{4}-e$ and $K_{2,3}$. We build a series of tools to show that known $i$-graphs can be used to construct new $i$-graphs and apply these results to build other classes of $i$-graphs, such as block graphs, hypercubes, forests, cacti, and unicyclic graphs.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Edge-coloured graph homomorphisms, paths, and duality
Authors:
Kyle Booker,
Richard C Brewster
Abstract:
We present a edge-coloured analogue of the duality theorem for transitive tournaments and directed paths. Given a edge-coloured path $P$ whose edges alternate blue and red, we construct a edge-coloured graph $D$ so that for any edge-coloured graph $G$ $$ P \to G \Leftrightarrow G \not\to D. $$ The duals are simple to construct, in particular $|V(D)|=|V(P)|-1$.
We present a edge-coloured analogue of the duality theorem for transitive tournaments and directed paths. Given a edge-coloured path $P$ whose edges alternate blue and red, we construct a edge-coloured graph $D$ so that for any edge-coloured graph $G$ $$ P \to G \Leftrightarrow G \not\to D. $$ The duals are simple to construct, in particular $|V(D)|=|V(P)|-1$.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
Min orderings and list homomorphism dichotomies for signed and unsigned graphs
Authors:
Jan Bok,
Richard Brewster,
Pavol Hell,
Nikola Jedličková,
Arash Rafiey
Abstract:
The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphi…
▽ More
The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphism problem asks whether an input signed graph $\widehat{G}$ with lists $L(v) \subseteq V(\widehat{H}), v \in V(\widehat{G}),$ admits a homomorphism $f$ to $\widehat{H}$ with all $f(v) \in L(v), v \in V(\widehat{G})$. Usually, a dichotomy classification is easier to obtain for list homomorphisms than for homomorphisms, but in the context of signed graphs a structural classification of the complexity of list homomorphism problems has not even been conjectured, even though the classification of the complexity of homomorphism problems is known. Kim and Siggers have conjectured a structural classification in the special case of ``weakly balanced" signed graphs. We confirm their conjecture for reflexive and irreflexive signed graphs; this generalizes previous results on weakly balanced signed trees, and weakly balanced separable signed graphs \cite{separable,trees}. In the reflexive case, the result was first presented in \cite{KS}, with the proof using some of our results included in this paper. In fact, here we present our full proof, as an alternative to the proof in \cite{KS}. In particular, we provide direct polynomial algorithms where previously algorithms relied on general dichotomy theorems. The irreflexive results are new, and their proof depends on first deriving a theorem on extensions of min orderings of (unsigned) bipartite graphs, which is interesting on its own. [shortened, full abstract in PDF]
△ Less
Submitted 2 March, 2023; v1 submitted 2 June, 2022;
originally announced June 2022.
-
The 2-colouring problem for $(m,n)$-mixed graphs with switching is polynomial
Authors:
Richard C Brewster,
Arnott Kidner,
Gary MacGillivray
Abstract:
A mixed graph is a set of vertices together with an edge set and an arc set. An $(m,n)$-mixed graph $G$ is a mixed graph whose edges are each assigned one of $m$ colours, and whose arcs are each assigned one of $n$ colours. A \emph{switch} at a vertex $v$ of $G$ permutes the edge colours, the arc colours, and the arc directions of edges and arcs incident with $v$. The group of all allowed switches…
▽ More
A mixed graph is a set of vertices together with an edge set and an arc set. An $(m,n)$-mixed graph $G$ is a mixed graph whose edges are each assigned one of $m$ colours, and whose arcs are each assigned one of $n$ colours. A \emph{switch} at a vertex $v$ of $G$ permutes the edge colours, the arc colours, and the arc directions of edges and arcs incident with $v$. The group of all allowed switches is $Γ$.
Let $k \geq 1$ be a fixed integer and $Γ$ a fixed permutation group. We consider the problem that takes as input an $(m,n)$-mixed graph $G$ and asks if there a sequence of switches at vertices of $G$ with respect to $Γ$ so that the resulting $(m,n)$-mixed graph admits a homomorphism to an $(m,n)$-mixed graph on $k$ vertices. Our main result establishes this problem can be solved in polynomial time for $k \leq 2$, and is NP-hard for $k \geq 3$. This provides a step towards a general dichotomy theorem for the $Γ$-switchable homomorphism decision problem.
△ Less
Submitted 24 October, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Characterizing Circular Colouring Mixing for $\frac{p}{q}<4$
Authors:
Richard C. Brewster,
Benjamin Moore
Abstract:
Given a graph $G$, the $k$-mixing problem asks: Can one obtain all $k$-colourings of $G$, starting from one $k$-colouring $f$, by changing the colour of only one vertex at a time, while at each step maintaining a $k$-colouring? More generally, for a graph $H$, the $H$-mixing problem asks: Can one obtain all homomorphisms $G \to H$, starting from one homomorphism $f$, by changing the image of only…
▽ More
Given a graph $G$, the $k$-mixing problem asks: Can one obtain all $k$-colourings of $G$, starting from one $k$-colouring $f$, by changing the colour of only one vertex at a time, while at each step maintaining a $k$-colouring? More generally, for a graph $H$, the $H$-mixing problem asks: Can one obtain all homomorphisms $G \to H$, starting from one homomorphism $f$, by changing the image of only one vertex at a time, while at each step maintaining a homomorphism $G \to H$?
This paper focuses on a generalization of $k$-colourings, namely $(p,q)$-circular colourings. We show that when $2 < \frac{p}{q} < 4$, a graph $G$ is $(p,q)$-mixing if and only if for any $(p,q)$-colouring $f$ of $G$, and any cycle $C$ of $G$, the wind of the cycle under the colouring equals a particular value (which intuitively corresponds to having no wind). As a consequence we show that $(p,q)$-mixing is closed under a restricted homomorphism called a fold. Using this, we deduce that $(2k+1,k)$-mixing is co-NP-complete for all $k \in \mathbb{N}$, and by similar ideas we show that if the circular chromatic number of a connected graph $G$ is $\frac{2k+1}{k}$, then $G$ folds to $C_{2k+1}$. We use the characterization to settle a conjecture of Brewster and Noel, specifically that the circular mixing number of bipartite graphs is $2$. Lastly, we give a polynomial time algorithm for $(p,q)$-mixing in planar graphs when $3 \leq \frac{p}{q} <4$.
△ Less
Submitted 20 May, 2022; v1 submitted 27 August, 2020;
originally announced August 2020.
-
List homomorphism problems for signed trees
Authors:
Jan Bok,
Richard Brewster,
Tomás Feder,
Pavol Hell,
Nikola Jedličková
Abstract:
We consider homomorphisms of signed graphs from a computational perspective. In particular, we study the list homomorphism problem seeking a homomorphism of an input signed graph $(G,σ)$, equipped with lists $L(v) \subseteq V(H), v \in V(G)$, of allowed images, to a fixed target signed graph $(H,π)$. The complexity of the similar homomorphism problem without lists (corresponding to all lists being…
▽ More
We consider homomorphisms of signed graphs from a computational perspective. In particular, we study the list homomorphism problem seeking a homomorphism of an input signed graph $(G,σ)$, equipped with lists $L(v) \subseteq V(H), v \in V(G)$, of allowed images, to a fixed target signed graph $(H,π)$. The complexity of the similar homomorphism problem without lists (corresponding to all lists being $L(v)=V(H)$) has been previously classified by Brewster and Siggers, but the list version remains open and appears difficult. We illustrate this difficulty by classifying the complexity of the problem when $H$ is a tree (with possible loops). The tools we develop will be useful for classifications of other classes of signed graphs, and in a future companion paper we will illustrate this by using them to classify the complexity for certain irreflexive signed graphs. The structure of the signed trees in the polynomial cases is interesting, suggesting that the class of general signed graphs for which the problems are polynomial may have nice structure, analogous to the so-called bi-arc graphs (which characterized the polynomial cases of list homomorphisms to unsigned graphs).
△ Less
Submitted 27 May, 2023; v1 submitted 12 May, 2020;
originally announced May 2020.
-
Compensation of polarization dependent loss using noiseless amplification and attenuation
Authors:
R. A. Brewster,
B. T. Kirby,
J. D. Franson,
M. Brodsky
Abstract:
Polarization dependent loss (PDL) is a serious problem that hinders the transfer of polarization qubits through quantum networks. Recently it has been shown that the detrimental effects of PDL on qubit fidelity can be compensated for with the introduction of an additional passive PDL element that rebalances the polarization modes of the transmitted qubit. This procedure works extremely well when t…
▽ More
Polarization dependent loss (PDL) is a serious problem that hinders the transfer of polarization qubits through quantum networks. Recently it has been shown that the detrimental effects of PDL on qubit fidelity can be compensated for with the introduction of an additional passive PDL element that rebalances the polarization modes of the transmitted qubit. This procedure works extremely well when the output of the system is postselected on photon detection. However, in cases where the qubit might be needed for further analysis this procedure introduces unwanted vacuum terms into the state. Here we present procedures for the compensation of the effects of PDL using noiseless amplification and attenuation. Each of these techniques introduces a heralding signal into the correction procedure that significantly reduces the vacuum terms in the final state. When detector inefficiency and dark counts are included in the analysis noiseless amplification remains superior, in terms of the fidelity of the final state, to both noiseless attenuation and passive PDL compensation for detector efficiencies greater than 40%.
△ Less
Submitted 17 May, 2019;
originally announced May 2019.
-
Optical attenuation without absorption
Authors:
I. C. Nodurft,
R. A. Brewster,
T. B. Pittman,
J. D. Franson
Abstract:
We consider a coherent state of light propagating through an ensemble of two-level atoms where all the atoms are initially in their ground state. In ordinary absorption, the transition of atoms to their excited state along with the absorption of a photon will remove energy from the beam and attenuate the signal. Here we show that post-selecting on those cases in which none of the atoms made a tran…
▽ More
We consider a coherent state of light propagating through an ensemble of two-level atoms where all the atoms are initially in their ground state. In ordinary absorption, the transition of atoms to their excited state along with the absorption of a photon will remove energy from the beam and attenuate the signal. Here we show that post-selecting on those cases in which none of the atoms made a transition to the excited state can give even more attenuation than would normally occur due to absorption. The same process can also produce amplification when there is a sufficiently strong interaction between the photons and the atoms.
△ Less
Submitted 26 July, 2019; v1 submitted 5 March, 2019;
originally announced March 2019.
-
Limitations on the use of the Heisenberg picture in quantum optics
Authors:
J. D. Franson,
R. A. Brewster
Abstract:
The Schrodinger and Heisenberg pictures are equivalent formulations of quantum mechanics. Here we use the Schrodinger picture to calculate the decoherence that occurs when an optical Schrodinger cat state is passed through a beam splitter. We find that an exponentially large amount of decoherence can occur even when there is a negligible change in the quadrature operator x(t) in the Heisenberg pic…
▽ More
The Schrodinger and Heisenberg pictures are equivalent formulations of quantum mechanics. Here we use the Schrodinger picture to calculate the decoherence that occurs when an optical Schrodinger cat state is passed through a beam splitter. We find that an exponentially large amount of decoherence can occur even when there is a negligible change in the quadrature operator x(t) in the Heisenberg picture. Similar results have been observed in the decoherence produced by an optical amplifier, and we suggest that the usual quadrature operators in the Heisenberg picture do not provide a complete description of the output of optical devices.
△ Less
Submitted 22 October, 2020; v1 submitted 15 November, 2018;
originally announced November 2018.
-
On the multipacking number of grid graphs
Authors:
Laurent Beaudou,
Richard C. Brewster
Abstract:
In 2001, Erwin introduced broadcast domination in graphs. It is a variant of classical domination where selected vertices may have different domination powers. The minimum cost of a dominating broadcast in a graph $G$ is denoted $γ_b(G)$. The dual of this problem is called multipacking: a multipacking is a set $M$ of vertices such that for any vertex $v$ and any positive integer $r$, the ball of r…
▽ More
In 2001, Erwin introduced broadcast domination in graphs. It is a variant of classical domination where selected vertices may have different domination powers. The minimum cost of a dominating broadcast in a graph $G$ is denoted $γ_b(G)$. The dual of this problem is called multipacking: a multipacking is a set $M$ of vertices such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $M$ . The maximum size of a multipacking in a graph $G$ is denoted mp(G). Naturally mp(G) $\leq γ_b(G)$. Earlier results by Farber and by Lubiw show that broadcast and multipacking numbers are equal for strongly chordal graphs. In this paper, we show that all large grids (height at least 4 and width at least 7), which are far from being chordal, have their broadcast and multipacking numbers equal.
△ Less
Submitted 17 June, 2019; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Broadcast domination and multipacking: bounds and the integrality gap
Authors:
Laurent Beaudou,
Richard C. Brewster,
Florent Foucaud
Abstract:
The dual concepts of coverings and packings are well studied in graph theory. Coverings of graphs with balls of radius one and packings of vertices with pairwise distances at least two are the well-known concepts of domination and independence, respectively. In 2001, Erwin introduced \emph{broadcast domination} in graphs, a covering problem using balls of various radii, where the cost of a ball is…
▽ More
The dual concepts of coverings and packings are well studied in graph theory. Coverings of graphs with balls of radius one and packings of vertices with pairwise distances at least two are the well-known concepts of domination and independence, respectively. In 2001, Erwin introduced \emph{broadcast domination} in graphs, a covering problem using balls of various radii, where the cost of a ball is its radius. The minimum cost of a dominating broadcast in a graph $G$ is denoted by $γ_b(G)$. The dual (in the sense of linear programming) of broadcast domination is \emph{multipacking}: a multipacking is a set $P \subseteq V(G)$ such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $P$. The maximum size of a multipacking in a graph $G$ is denoted by $mp(G)$. Naturally, $mp(G) \leq γ_b(G)$. Hartnell and Mynhardt proved that $γ_b(G) \leq 3 mp(G) - 2$ (whenever $mp(G)\geq 2$). In this paper, we show that $γ_b(G) \leq 2mp(G) + 3$. Moreover, we conjecture that this can be improved to $γ_b(G) \leq 2mp(G)$ (which would be sharp).
△ Less
Submitted 28 May, 2019; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Reduced decoherence using squeezing, amplification, and anti-squeezing
Authors:
R. A. Brewster,
T. B. Pittman,
J. D. Franson
Abstract:
Loss and decoherence are a major problem in the transmission of non-classical states of light over large distances. It was recently shown that the effects of decoherence can be reduced by applying a probabilistic noiseless attenuator before transmitting a quantum state through a lossy channel, followed by probabilistic noiseless amplification (M. Micuda et al, Phys. Rev. Lett. 109, 180503 (2012)).…
▽ More
Loss and decoherence are a major problem in the transmission of non-classical states of light over large distances. It was recently shown that the effects of decoherence can be reduced by applying a probabilistic noiseless attenuator before transmitting a quantum state through a lossy channel, followed by probabilistic noiseless amplification (M. Micuda et al, Phys. Rev. Lett. 109, 180503 (2012)). Here we show that similar results can be obtained for certain kinds of macroscopic quantum states by squeezing the signal before transmission, followed by deterministic amplification and anti-squeezing to restore the original amplitude of the state. This approach can greatly reduce the effects of decoherence in the transmission of non-Gaussian states, such Schrodinger cat states, without any reduction in the data transmission rate.
△ Less
Submitted 14 September, 2018; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Graph Homomorphism Reconfiguration and Frozen $H$-Colourings
Authors:
Richard C. Brewster,
Jae-Baek Lee,
Benjamin Moore,
Jonathan A. Noel,
Mark Siggers
Abstract:
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to a…
▽ More
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $\varphi$ into $ψ$ by changing the colour of one vertex at a time such that all intermediate mappings are $H$-colourings. In the affirmative, we say that $\varphi$ reconfigures to $ψ$. Currently, the complexity of deciding whether an $H$-colouring $\varphi$ reconfigures to an $H$-colouring $ψ$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel.
An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $\varphi$ such that $\varphi$ does not reconfigure to any $H$-colouring $ψ$ such that $ψ\neq \varphi$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
Noiseless attenuation using an optical parametric amplifier
Authors:
R. A. Brewster,
I. C. Nodurft,
T. B. Pittman,
J. D. Franson
Abstract:
The process of heralded noiseless amplification, and the inverse process of heralded noiseless attenuation, have potential applications in the context of quantum communications. Although several different physical implementations of heralded noiseless amplifiers have now been demonstrated, the research on heralded noiseless attenuators has been largely confined to a beam-splitter based approach. H…
▽ More
The process of heralded noiseless amplification, and the inverse process of heralded noiseless attenuation, have potential applications in the context of quantum communications. Although several different physical implementations of heralded noiseless amplifiers have now been demonstrated, the research on heralded noiseless attenuators has been largely confined to a beam-splitter based approach. Here we show that an optical parametric amplifier (OPA), combined with appropriate heralding, can also serve as a heralded noiseless attenuator. The counterintuitive use of an optical amplifier as an attenuator is only possible due to the probabilistic nature of the device.
△ Less
Submitted 9 October, 2017; v1 submitted 1 September, 2017;
originally announced September 2017.
-
Effects of entanglement in an ideal optical amplifier
Authors:
J. D. Franson,
R. A. Brewster
Abstract:
In an ideal linear amplifier, the output signal is linearly related to the input signal with an additive noise that is independent of the input. The decoherence of a quantum-mechanical state as a result of optical amplification is usually assumed to be due to the addition of quantum noise. Here we show that entanglement between the input signal and the amplifying medium can produce an exponentiall…
▽ More
In an ideal linear amplifier, the output signal is linearly related to the input signal with an additive noise that is independent of the input. The decoherence of a quantum-mechanical state as a result of optical amplification is usually assumed to be due to the addition of quantum noise. Here we show that entanglement between the input signal and the amplifying medium can produce an exponentially-large amount of decoherence in an ideal optical amplifier even when the gain is arbitrarily close to unity and the added noise is negligible. These effects occur for macroscopic superposition states, where even a small amount of gain can leave a significant amount of which-path information in the environment. Our results show that the usual input/output relation of a linear amplifier does not provide a complete description of the output state when post-selection is used.
△ Less
Submitted 16 February, 2018; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Generalized Delta Functions and Their Use in Quantum Optics
Authors:
R. A. Brewster,
J. D. Franson
Abstract:
The Dirac delta function is widely used in many areas of physics and mathematics. Here we consider the generalization of a Dirac delta function to allow the use of complex arguments. We show that the properties of a generalized delta function are very different from those of a Dirac delta function and that they behave more like a pole in the complex plane. We use the generalized delta function to…
▽ More
The Dirac delta function is widely used in many areas of physics and mathematics. Here we consider the generalization of a Dirac delta function to allow the use of complex arguments. We show that the properties of a generalized delta function are very different from those of a Dirac delta function and that they behave more like a pole in the complex plane. We use the generalized delta function to derive the Glauber-Sudarshan P-function for a Schrödinger cat state in a surprisingly simple form. Aside from their potential applications in classical electromagnetism and quantum optics, these results provide insight into the ability of the diagonal P-function to describe density operators with off-diagonal elements.
△ Less
Submitted 16 June, 2017; v1 submitted 13 May, 2016;
originally announced May 2016.
-
The complexity of signed graph and edge-coloured graph homomorphisms
Authors:
Richard C. Brewster,
Florent Foucaud,
Pavol Hell,
Reza Naserasr
Abstract:
We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,Σ)$ is a graph $G$ where each edge is given a sign, positive or negative; $Σ\subseteq E(G)$ denotes the set of negative edges. Thus, $(G, Σ)$ is a $2$-edge-coloured graph with the property that the edge-colours, $\{+, -\}$, form a group under multiplication. Central to the study of signed graphs…
▽ More
We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,Σ)$ is a graph $G$ where each edge is given a sign, positive or negative; $Σ\subseteq E(G)$ denotes the set of negative edges. Thus, $(G, Σ)$ is a $2$-edge-coloured graph with the property that the edge-colours, $\{+, -\}$, form a group under multiplication. Central to the study of signed graphs is the operation of switching at a vertex, that results in changing the sign of each incident edge. We study two types of homomorphisms of a signed graph $(G,Σ)$ to a signed graph $(H,Π)$: ec-homomorphisms and s-homomorphisms. Each is a standard graph homomorphism of $G$ to $H$ with some additional constraint. In the former, edge-signs are preserved. In the latter, edge-signs are preserved after the switching operation has been applied to a subset of vertices of $G$.
We prove a dichotomy theorem for s-homomorphism problems for a large class of (fixed) target signed graphs $(H,Π)$. Specifically, as long as $(H,Π)$ does not contain a negative (respectively a positive) loop, the problem is polynomial-time solvable if the core of $(H,Π)$ has at most two edges, and is NP-complete otherwise. (Note that this covers all simple signed graphs.) The same dichotomy holds if $(H,Π)$ has no negative digons, and we conjecture that it holds always. In our proofs, we reduce s-homomorphism problems to certain ec-homomorphism problems, for which we are able to show a dichotomy. In contrast, we prove that a dichotomy theorem for ec-homomorphism problems (even when restricted to bipartite target signed graphs) would settle the dichotomy conjecture of Feder and Vardi.
△ Less
Submitted 13 July, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
A Dichotomy Theorem for Circular Colouring Reconfiguration
Authors:
Richard C. Brewster,
Sean McGuinness,
Benjamin Moore,
Jonathan A. Noel
Abstract:
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes…
▽ More
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.
△ Less
Submitted 13 April, 2016; v1 submitted 23 August, 2015;
originally announced August 2015.
-
Mixing Homomorphisms, Recolourings, and Extending Circular Precolourings
Authors:
Richard C. Brewster,
Jonathan A. Noel
Abstract:
This work brings together ideas of mixing graph colourings, discrete homotopy, and precolouring extension. A particular focus is circular colourings. We prove that all the $(k,q)$-colourings of a graph $G$ can be obtained by successively recolouring a single vertex provided $k/q\geq 2col(G)$ along the lines of Cereceda, van den Heuvel and Johnson's result for $k$-colourings. We give various bounds…
▽ More
This work brings together ideas of mixing graph colourings, discrete homotopy, and precolouring extension. A particular focus is circular colourings. We prove that all the $(k,q)$-colourings of a graph $G$ can be obtained by successively recolouring a single vertex provided $k/q\geq 2col(G)$ along the lines of Cereceda, van den Heuvel and Johnson's result for $k$-colourings. We give various bounds for such mixing results and discuss their sharpness, including cases where the bounds for circular and classical colourings coincide. As a corollary, we obtain an Albertson-type extension theorem for $(k,q)$-precolourings of circular cliques. Such a result was first conjectured by Albertson and West. General results on homomorphism mixing are presented, including a characterization of graphs $G$ for which the endomorphism monoid can be generated through the mixing process. As in similar work of Brightwell and Winkler, the concept of dismantlability plays a key role.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
The SOFIA Observatory at the Start of Routine Science Operations : Mission capabilities and performance
Authors:
Pasquale Temi,
Pamela M. Marcum,
Erick Young,
Joseph D. Adams,
Sybil Adams,
B. -G. Andersson,
Eric E. Becklin,
Adwin Boogert,
Rick Brewster,
Eric Burgh,
Brent R. Cobleigh,
Steven Culp,
Jim De Buizer,
Edward W. Dunham,
Christian Engfer,
Geoffrey Ediss,
Maura Fujieh,
Randy Grashuis,
Michael Gross,
Edward Harmon,
Andrew Helton,
Douglas Hoffman,
Jeff Homan,
Michael Hutwohl,
Holger Jakob
, et al. (43 additional authors not shown)
Abstract:
The Stratospheric Observatory for Infrared Astronomy (SOFIA) has recently concluded a set of engineering flights for Observatory performance evaluation. These in-flight opportunities are viewed as a first comprehensive assessment of the Observatory's performance and are used to guide future development activities, as well as to identify additional Observatory upgrades. Pointing stability was evalu…
▽ More
The Stratospheric Observatory for Infrared Astronomy (SOFIA) has recently concluded a set of engineering flights for Observatory performance evaluation. These in-flight opportunities are viewed as a first comprehensive assessment of the Observatory's performance and are used to guide future development activities, as well as to identify additional Observatory upgrades. Pointing stability was evaluated, including the image motion due to rigid-body and flexible-body telescope modes as well as possible aero-optical image motion. We report on recent improvements in pointing stability by using an active mass damper system installed on the telescope. Measurements and characterization of the shear layer and cavity seeing, as well as image quality evaluation as a function of wavelength have also been performed. Additional tests targeted basic Observatory capabilities and requirements, including pointing accuracy, chopper evaluation and imager sensitivity. This paper reports on the data collected during these flights and presents current SOFIA Observatory performance and characterization.
△ Less
Submitted 28 May, 2014;
originally announced May 2014.
-
Rheology and Contact Lifetime Distribution in Dense Granular Flows
Authors:
Leonardo E. Silbert,
Gary S. Grest,
Robert Brewster,
Alex J. Levine
Abstract:
We study the rheology and distribution of interparticle contact lifetimes for gravity-driven, dense granular flows of non-cohesive particles down an inclined plane using large-scale, three dimensional, granular dynamics simulations. Rather than observing a large number of long-lived contacts as might be expected for dense flows, brief binary collisions predominate. In the hard particle limit, th…
▽ More
We study the rheology and distribution of interparticle contact lifetimes for gravity-driven, dense granular flows of non-cohesive particles down an inclined plane using large-scale, three dimensional, granular dynamics simulations. Rather than observing a large number of long-lived contacts as might be expected for dense flows, brief binary collisions predominate. In the hard particle limit, the rheology conforms to Bagnold scaling, where the shear stress is quadratic in the strain rate. As the particles are made softer, however, we find significant deviations from Bagnold rheology; the material flows more like a viscous fluid. We attribute this change in the collective rheology of the material to subtle changes in the contact lifetime distribution involving the increasing lifetime and number of the long-lived contacts in the softer particle systems.
△ Less
Submitted 9 March, 2007;
originally announced March 2007.
-
Plug flow and the breakdown of Bagnold scaling in cohesive granular flows
Authors:
Robert Brewster,
Gary S. Grest,
James W. Landry,
Alex J. Levine
Abstract:
Cohesive granular media flowing down an inclined plane are studied by discrete element simulations. Previous work on cohesionless granular media demonstrated that within the steady flow regime where gravitational energy is balanced by dissipation arising from intergrain forces, the velocity profile in the flow direction scales with depth in a manner consistent with the predictions of Bagnold. He…
▽ More
Cohesive granular media flowing down an inclined plane are studied by discrete element simulations. Previous work on cohesionless granular media demonstrated that within the steady flow regime where gravitational energy is balanced by dissipation arising from intergrain forces, the velocity profile in the flow direction scales with depth in a manner consistent with the predictions of Bagnold. Here we demonstrate that this Bagnold scaling does not hold for the analogous steady-flows in cohesive granular media. We develop a generalization of the Bagnold constitutive relation to account for our observation and speculate as to the underlying physical mechanisms responsible for the different constitutive laws for cohesive and noncohesive granular media.
△ Less
Submitted 5 September, 2005;
originally announced September 2005.
