-
Machine Learning Methods for Health-Index Prediction in Coating Chambers
Authors:
Clemens Heistracher,
Anahid Jalali,
Jürgen Schneeweiss,
Klaudia Kovacs,
Catherine Laflamme,
Bernhard Haslhofer
Abstract:
Coating chambers create thin layers that improve the mechanical and optical surface properties in jewelry production using physical vapor deposition. In such a process, evaporated material condensates on the walls of such chambers and, over time, causes mechanical defects and unstable processes. As a result, manufacturers perform extensive maintenance procedures to reduce production loss. Current…
▽ More
Coating chambers create thin layers that improve the mechanical and optical surface properties in jewelry production using physical vapor deposition. In such a process, evaporated material condensates on the walls of such chambers and, over time, causes mechanical defects and unstable processes. As a result, manufacturers perform extensive maintenance procedures to reduce production loss. Current rule-based maintenance strategies neglect the impact of specific recipes and the actual condition of the vacuum chamber. Our overall goal is to predict the future condition of the coating chamber to allow cost and quality optimized maintenance of the equipment. This paper describes the derivation of a novel health indicator that serves as a step toward condition-based maintenance for coating chambers. We indirectly use gas emissions of the chamber's contamination to evaluate the machine's condition. Our approach relies on process data and does not require additional hardware installation. Further, we evaluated multiple machine learning algorithms for a condition-based forecast of the health indicator that also reflects production planning. Our results show that models based on decision trees are the most effective and outperform all three benchmarks, improving at least $0.22$ in the mean average error. Our work paves the way for cost and quality optimized maintenance of coating applications.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
An example of Tateno disproving conjectures of Bonato-Tardif, Thomasse, and Tyomkyn
Authors:
Davoud Abdi,
Claude Laflamme,
Atsushi Tateno,
Robert Woodrow
Abstract:
In his 2008 thesis, Tateno claimed a counterexample to the Bonato-Tardif conjecture regarding the number of equimorphy classes of trees. In this paper we revisit Tateno's unpublished ideas to provide a rigorous exposition, constructing locally finite trees having an arbitrary finite number of equimorphy classes; an adaptation provides partial orders with a similar conclusion. At the same time thes…
▽ More
In his 2008 thesis, Tateno claimed a counterexample to the Bonato-Tardif conjecture regarding the number of equimorphy classes of trees. In this paper we revisit Tateno's unpublished ideas to provide a rigorous exposition, constructing locally finite trees having an arbitrary finite number of equimorphy classes; an adaptation provides partial orders with a similar conclusion. At the same time these examples also disprove conjectures by Thomasse and Tyomkyn.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
The poset of copies for automorphism groups of countable relational structures
Authors:
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer,
Robert Woodrow
Abstract:
Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under i…
▽ More
Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Driving Datasets Literature Review
Authors:
Charles-Éric Noël Laflamme,
François Pomerleau,
Philippe Giguère
Abstract:
This report is a survey of the different autonomous driving datasets which have been published up to date. The first section introduces the many sensor types used in autonomous driving datasets. The second section investigates the calibration and synchronization procedure required to generate accurate data. The third section describes the diverse driving tasks explored by the datasets. Finally, th…
▽ More
This report is a survey of the different autonomous driving datasets which have been published up to date. The first section introduces the many sensor types used in autonomous driving datasets. The second section investigates the calibration and synchronization procedure required to generate accurate data. The third section describes the diverse driving tasks explored by the datasets. Finally, the fourth section provides comprehensive lists of datasets, mainly in the form of tables.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Distinguishing number of Urysohn metric spaces
Authors:
Anthony Bonato,
Claude Laflamme,
Micheal Pawliuk,
Norbert Sauer
Abstract:
The distinguishing number of a structure is the smallest size of a partition of its elements so that only the trivial automorphism of the structure preserves each cell of the partition. We show that for any countable subset of the positive real numbers, the corresponding countable homogeneous Urysohn metric space, when it exists, has distinguishing number 2 or the distinguishing number is infinite…
▽ More
The distinguishing number of a structure is the smallest size of a partition of its elements so that only the trivial automorphism of the structure preserves each cell of the partition. We show that for any countable subset of the positive real numbers, the corresponding countable homogeneous Urysohn metric space, when it exists, has distinguishing number 2 or the distinguishing number is infinite.
While it is known that a sufficiently large finite primitive structure has distinguishing number 2, unless its automorphism group is the full symmetric group or alternating group, the infinite case is open and these countable Urysohn metric spaces provide further confirmation toward the conjecture that all primitive homogeneous countably infinite structures have distinguishing number 2 or else the distinguishing number is infinite.
△ Less
Submitted 25 January, 2021; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Siblings of an $\aleph_0$-categorical relational structure
Authors:
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer,
Robert Woodrow
Abstract:
A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism. Thomassé conjectured that for countable relational structures made of at most countably many relations, $sib(R)$ is either $1$, countably infinite, or the size of the…
▽ More
A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism. Thomassé conjectured that for countable relational structures made of at most countably many relations, $sib(R)$ is either $1$, countably infinite, or the size of the continuum; but even showing the special case $sib(R)=1$ or infinite is unsettled when $R$ is a countable tree. This is related to Bonato-Tardif conjecture asserting that for every tree $T$ the number of trees which are sibling of $T$ is either one or infinite.
We prove that if $R$ is countable and $\aleph_{0}$-categorical, then indeed $sib(R)$ is one or infinite. Furthermore, $sib(R)$ is one if and only if $R$ is finitely partitionable in the sense of Hodkinson and Macpherson. The key tools in our proof are the notion of monomorphic decomposition of a relational structure introduced in a paper by Pouzet and Thiéry 2013 and studied further by Oudrar and Pouzet 2015, and a result of Frasnay 1984.
△ Less
Submitted 27 May, 2019; v1 submitted 9 November, 2018;
originally announced November 2018.
-
Quantum Scanning Microscope for Cold Atoms
Authors:
Dayou Yang,
Denis V. Vasilyev,
Catherine Laflamme,
Mikhail A. Baranov,
Peter Zoller
Abstract:
We present a detailed theoretical description of an atomic scanning microscope in a cavity QED setup proposed in Phys. Rev. Lett. 120, 133601 (2018). The microscope continuously observes atomic densities with optical subwavelength resolution in a nondestructive way. The super-resolution is achieved by engineering an internal atomic dark state with a sharp spatial variation of population of a groun…
▽ More
We present a detailed theoretical description of an atomic scanning microscope in a cavity QED setup proposed in Phys. Rev. Lett. 120, 133601 (2018). The microscope continuously observes atomic densities with optical subwavelength resolution in a nondestructive way. The super-resolution is achieved by engineering an internal atomic dark state with a sharp spatial variation of population of a ground level dispersively coupled to the cavity field. Thus, the atomic position encoded in the internal state is revealed as a phase shift of the light reflected from the cavity in a homodyne experiment. Our theoretical description of the microscope operation is based on the stochastic master equation describing the conditional time evolution of the atomic system under continuous observation as a competition between dynamics induced by the Hamiltonian of the system, decoherence effects due to atomic spontaneous decay, and the measurement backaction. Within our approach we relate the observed homodyne current with a local atomic density, and discuss the emergence of a quantum nondemolition measurement regime allowing continuous observation of spatial densities of quantum motional eigenstates without measurement backaction in a single experimental run.
△ Less
Submitted 27 August, 2018; v1 submitted 23 May, 2018;
originally announced May 2018.
-
Theory of a Quantum Scanning Microscope for Cold Atoms
Authors:
Dayou Yang,
Catherine Laflamme,
Denis Vasilyev,
Mikhail Baranov,
Peter Zoller
Abstract:
We propose and analyze a scanning microscope to monitor `live' the quantum dynamics of cold atoms in a Cavity QED setup. The microscope measures the atomic density with subwavelength resolution via dispersive couplings to a cavity and homodyne detection within the framework of continuous measurement theory. We analyze two modes of operation. First, for a fixed focal point the microscope records th…
▽ More
We propose and analyze a scanning microscope to monitor `live' the quantum dynamics of cold atoms in a Cavity QED setup. The microscope measures the atomic density with subwavelength resolution via dispersive couplings to a cavity and homodyne detection within the framework of continuous measurement theory. We analyze two modes of operation. First, for a fixed focal point the microscope records the wave packet dynamics of atoms with time resolution set by the cavity lifetime. Second, a spatial scan of the microscope acts to map out the spatial density of stationary quantum states. Remarkably, in the latter case, for a good cavity limit, the microscope becomes an effective quantum non-demolition (QND) device, such that the spatial distribution of motional eigenstates can be measured back-action free in single scans, as an emergent QND measurement.
△ Less
Submitted 24 May, 2018; v1 submitted 5 September, 2017;
originally announced September 2017.
-
Continuous Measurement of an Atomic Current
Authors:
C. Laflamme,
D. Yang,
P. Zoller
Abstract:
We are interested in dynamics of quantum many-body systems under continuous observation, and its physical realizations involving cold atoms in lattices. In the present work we focus on continuous measurement of atomic currents in lattice models, including the Hubbard model. We describe a Cavity QED setup, where measurement of a homodyne current provides a faithful representation of the atomic curr…
▽ More
We are interested in dynamics of quantum many-body systems under continuous observation, and its physical realizations involving cold atoms in lattices. In the present work we focus on continuous measurement of atomic currents in lattice models, including the Hubbard model. We describe a Cavity QED setup, where measurement of a homodyne current provides a faithful representation of the atomic current as a function of time. We employ the quantum optical description in terms of a diffusive stochastic Schrödinger equation to follow the time evolution of the atomic system conditional to observing a given homodyne current trajectory, thus accounting for the competition between the Hamiltonian evolution and measurement back-action. As an illustration, we discuss minimal models of atomic dynamics and continuous current measurement on rings with synthetic gauge fields, involving both real space and synthetic dimension lattices (represented by internal atomic states). Finally, by `not reading' the current measurements the time evolution of the atomic system is governed by a master equation, where - depending on the microscopic details of our CQED setups - we effectively engineer a current coupling of our system to a quantum reservoir. This provides novel scenarios of dissipative dynamics generating `dark' pure quantum many-body states.
△ Less
Submitted 22 May, 2017; v1 submitted 14 February, 2017;
originally announced February 2017.
-
Balanced independent sets in graphs omitting large cliques
Authors:
Claude Laflamme,
Andres A. Lopez,
Daniel T. Soukup,
Robert Woodrow
Abstract:
Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such that for any balanced $r$-colouring of the vertices of $G$ one can find an independent set which meets at least $m$ colour classes in a set of size $|V|$. Answe…
▽ More
Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such that for any balanced $r$-colouring of the vertices of $G$ one can find an independent set which meets at least $m$ colour classes in a set of size $|V|$. Answering a conjecture of S. Thomassé, we express the exact value of $r(H_n,m)$ (using Ramsey-numbers for finite digraphs), where $H_n$ is Henson's countable universal homogeneous $K_n$-free graph. In turn, we deduce a new partition property of $H_n$ regarding balanced embeddings of bipartite graphs: for any finite bipartite $G$ with bipartition $A,B$, if the vertices of $H_n$ are partitioned into two infinite classes then there is an induced copy of $G$ in $H_n$ such that the images of $A$ and $B$ are contained in different classes.
△ Less
Submitted 1 June, 2017; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Non-equilibrium $8π$ Josephson Effect in Atomic Kitaev Wires
Authors:
C. Laflamme,
J. C. Budich,
P. Zoller,
M. Dalmonte
Abstract:
We theoretically study a Kitaev wire interrupted by an extra site which gives rise to super exchange coupling between two Majorana bound states. We show that this system hosts a tunable, non-equlibrium Josephson effect with a characteristic $8π$ periodicity of the Josephson current. We elucidate the physical mechanism deriving a minimal model for the junction and confirm its quantitative accuracy…
▽ More
We theoretically study a Kitaev wire interrupted by an extra site which gives rise to super exchange coupling between two Majorana bound states. We show that this system hosts a tunable, non-equlibrium Josephson effect with a characteristic $8π$ periodicity of the Josephson current. We elucidate the physical mechanism deriving a minimal model for the junction and confirm its quantitative accuracy by comparison to the numerical solution of the full model. The visibility of the $8π$ periodicity of the Josephson current is then studied using time-dependent simulations including the effects of dephasing and particle losses. Our findings provide a novel signature of Majorana quasi-particles which is qualitatively different form the behavior of a conventional superconductor, and can be experimentally verified in cold atom systems using alkaline-earth-like atoms.
△ Less
Submitted 18 February, 2016;
originally announced February 2016.
-
Proposal for the Quantum Simulation of the CP(2) Model on Optical Lattices
Authors:
Catherine Laflamme,
Wynne Evans,
Marcello Dalmonte,
Urs Gerber,
Héctor Mejía-Díaz,
Wolfgang Bietenholz,
Uwe-Jens Wiese,
Peter Zoller
Abstract:
The 2d CP(N-1) models share a number of features with QCD, like asymptotic freedom, a dynamically generated mass gap and topological sectors. They have been formulated and analysed successfully in the framework of the so-called D-theory, which provides a smooth access to the continuum limit. In that framework, we propose an experimental set-up for the quantum simulation of the CP(2) model. It is b…
▽ More
The 2d CP(N-1) models share a number of features with QCD, like asymptotic freedom, a dynamically generated mass gap and topological sectors. They have been formulated and analysed successfully in the framework of the so-called D-theory, which provides a smooth access to the continuum limit. In that framework, we propose an experimental set-up for the quantum simulation of the CP(2) model. It is based on ultra-cold Alkaline-Earth Atoms (AEAs) located on the sites of an optical lattice, where the nuclear spins represent the relevant degrees of freedom. We present numerical results for the correlation length and for the real time decay of a false vacuum, to be compared with such a future experiment. The latter could also enable the exploration of theta-vacua and of the phase diagram at finite chemical potentials, since it does not suffer from any sign problem.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
On homogeneous ultrametric spaces
Authors:
C. Delhomme,
C. Laflamme,
M. Pouzet,
N. Sauer
Abstract:
A metric space M is homogeneous if every isometry between finite subsets extends to a surjective isometry defined on the whole space. We show that if M is an ultrametric space, it suffices that isometries defined on singletons extend, i.e that the group of isometries of M acts transitively. We derive this fact from a result expressing that the arity of the group of isometries of an ultrametric spa…
▽ More
A metric space M is homogeneous if every isometry between finite subsets extends to a surjective isometry defined on the whole space. We show that if M is an ultrametric space, it suffices that isometries defined on singletons extend, i.e that the group of isometries of M acts transitively. We derive this fact from a result expressing that the arity of the group of isometries of an ultrametric space is at most 2. An illustration of this result with the notion of spectral homogeneity is given. With this, we show that the Cauchy completion of a homogeneous ultrametric space is homogeneous. We present several constructions of homogeneous ultrametric spaces, particularly the countable homogeneous ultrametric space, universal for rational distances, and its Cauchy completion. From a general embeddability result, we prove that every ultrametric space is embeddable into a homogeneous ultrametric space with the same set of distances values and we also derive three embeddability results due respectively to F. Delon, A. Lemin and V. Lemin, and V. Fevinberg. Looking at ultrametric spaces as 2-structures, we observe that the nerve of an ultrametric space is the tree of its robust modules.
△ Less
Submitted 28 November, 2016; v1 submitted 14 September, 2015;
originally announced September 2015.
-
Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif
Authors:
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer
Abstract:
A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding.
With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and T…
▽ More
A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding.
With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.
△ Less
Submitted 30 September, 2016; v1 submitted 5 August, 2015;
originally announced August 2015.
-
CP(N-1) Quantum Field Theories with Alkaline-Earth Atoms in Optical Lattices
Authors:
C. Laflamme,
W. Evans,
M. Dalmonte,
U. Gerber,
H. Mejía-Díaz,
W. Bietenholz,
U. -J. Wiese,
P. Zoller
Abstract:
We propose a cold atom implementation to attain the continuum limit of (1+1)-d CP(N-1) quantum field theories. These theories share important features with (3+1)-d QCD, such as asymptotic freedom and $θ$ vacua. Moreover, their continuum limit can be accessed via the mechanism of dimensional reduction. In our scheme, the CP(N-1) degrees of freedom emerge at low energies from a ladder system of SU(N…
▽ More
We propose a cold atom implementation to attain the continuum limit of (1+1)-d CP(N-1) quantum field theories. These theories share important features with (3+1)-d QCD, such as asymptotic freedom and $θ$ vacua. Moreover, their continuum limit can be accessed via the mechanism of dimensional reduction. In our scheme, the CP(N-1) degrees of freedom emerge at low energies from a ladder system of SU(N) quantum spins, where the N spin states are embodied by the nuclear Zeeman states of alkaline-earth atoms, trapped in an optical lattice. Based on Monte Carlo results, we establish that the continuum limit can be demonstrated by an atomic quantum simulation by employing the feature of asymptotic freedom. We discuss a protocol for the adiabatic state preparation of the ground state of the system, the real-time evolution of a false $θ$-vacuum state after a quench, and we propose experiments to unravel the phase diagram at non-zero density.
△ Less
Submitted 30 March, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Synthetic Helical Liquids with Ultracold Atoms in Optical Lattices
Authors:
J. C. Budich,
C. Laflamme,
F. Tschirsich,
S. Montangero,
P. Zoller
Abstract:
We discuss a platform for the synthetic realization of key physical properties of helical Tomonaga Luttinger liquids (HTLLs) with ultracold fermionic atoms in one-dimensional optical lattices. The HTLL is a strongly correlated metallic state where spin polarization and propagation direction of the itinerant particles are locked to each other. We propose an unconventional one-dimensional Fermi-Hubb…
▽ More
We discuss a platform for the synthetic realization of key physical properties of helical Tomonaga Luttinger liquids (HTLLs) with ultracold fermionic atoms in one-dimensional optical lattices. The HTLL is a strongly correlated metallic state where spin polarization and propagation direction of the itinerant particles are locked to each other. We propose an unconventional one-dimensional Fermi-Hubbard model which, at quarter filling, resembles the HTLL in the long wavelength limit, as we demonstrate with a combination of analytical (bosonization) and numerical (density matrix renormalization group) methods. An experimentally feasible scheme is provided for the realization of this model with ultracold fermionic atoms in optical lattices. Finally, we discuss how the robustness of the HTLL against back-scattering and imperfections, well known from its realization at the edge of two-dimensional topological insulators, is reflected in the synthetic one-dimensional scenario proposed here.
△ Less
Submitted 16 December, 2015; v1 submitted 11 May, 2015;
originally announced May 2015.
-
Rainbow Ramsey simple structures
Authors:
Natasha Dobrinen,
Claude Laflamme,
Norbert Sauer
Abstract:
A relational structure $\mathrm{R}$ is {\em rainbow Ramsey} if for every finite induced substructure $\mathrm{C}$ of $\mathrm{R}$ and every colouring of the copies of $\mathrm{C}$ with countably many colours, such that each colour is used at most $k$ times for a fixed $k$, there exists a copy $\mathrm{R}^\ast$ of $\mathrm{R}$ so that the copies of $\mathrm{C}$ in $\mathrm{R^\ast}$ use each colour…
▽ More
A relational structure $\mathrm{R}$ is {\em rainbow Ramsey} if for every finite induced substructure $\mathrm{C}$ of $\mathrm{R}$ and every colouring of the copies of $\mathrm{C}$ with countably many colours, such that each colour is used at most $k$ times for a fixed $k$, there exists a copy $\mathrm{R}^\ast$ of $\mathrm{R}$ so that the copies of $\mathrm{C}$ in $\mathrm{R^\ast}$ use each colour at most once.
We show that certain ultrahomogenous binary relational structures, for example the Rado graph, are rainbow Ramsey. Via compactness this then implies that for all finite graphs $\mathrm{B}$ and $\mathrm{C}$ and $k \in ω$, there exists a graph $\mathrm{A}$ so that for every colouring of the copies of $\mathrm{C}$ in $\mathrm{A}$ such that each colour is used at most $k$ times, there exists a copy $\mathrm{B}^\ast$ of $\mathrm{B}$ in $\mathrm{A}$ so that the copies of $\mathrm{C}$ in $\mathrm{B^\ast}$ use each colour at most once.
△ Less
Submitted 24 November, 2014;
originally announced November 2014.
-
Equimorphy -- The Case of Chains
Authors:
C. Laflamme,
M. Pouzet,
R. Woodrow
Abstract:
Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we provide structure results for chains having less than continuum any isomorphism classes of equimorphic chains. We deduce as a corollary that any chain has either a si…
▽ More
Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we provide structure results for chains having less than continuum any isomorphism classes of equimorphic chains. We deduce as a corollary that any chain has either a single isomorphism class of equimorphic chains or infinitely many.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Pairs of orthogonal countable ordinals
Authors:
Claude Laflamme,
Maurice Pouzet,
Nobert Sauer,
Imed Zaguia
Abstract:
We characterize pairs of orthogonal countable ordinals. Two ordinals $α$ and $β$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $α$ and $β$ respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if $α$ and $β$ are two countable ordinals, with $α\leq β$, then $α$ and $β$ are orthogonal if…
▽ More
We characterize pairs of orthogonal countable ordinals. Two ordinals $α$ and $β$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $α$ and $β$ respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if $α$ and $β$ are two countable ordinals, with $α\leq β$, then $α$ and $β$ are orthogonal if and only if either $ω+ 1\leq α$ or $α=ω$ and $β< ωβ$.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Hybrid Topological Quantum Computation with Majorana Fermions: A Cold Atom Setup
Authors:
C. Laflamme,
M. A. Baranov,
P. Zoller,
C. V. Kraus
Abstract:
In this paper we present a hybrid scheme for topological quantum computation in a system of cold atoms trapped in an atomic lattice. A topological qubit subspace is defined using Majorana fermions which emerge in a network of atomic Kitaev one-dimensional wires. We show how braiding can be efficiently implemented in this setup and propose a direct way to demonstrate the non-Abelian nature of Major…
▽ More
In this paper we present a hybrid scheme for topological quantum computation in a system of cold atoms trapped in an atomic lattice. A topological qubit subspace is defined using Majorana fermions which emerge in a network of atomic Kitaev one-dimensional wires. We show how braiding can be efficiently implemented in this setup and propose a direct way to demonstrate the non-Abelian nature of Majorana fermions via a single parity measurement. We then introduce a proposal for the efficient, robust and reversible map** of the topological qubits to a conventional qubit stored in a single atom. There, well-controlled standard techniques can be used to implement the missing gates required for universal computation. Our setup is complemented with an efficient non-destructive protocol to check for errors in the map**.
△ Less
Submitted 15 January, 2014; v1 submitted 23 December, 2013;
originally announced December 2013.
-
Ramsey precompact expansions of homogeneous directed graphs
Authors:
Jakub Jasiński,
Claude Laflamme,
Lionel Nguyen Van Thé,
Robert Woodrow
Abstract:
In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of ho…
▽ More
In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of homogeneous directed graphs.
In this paper, we show that the age of any homogeneous directed graph allows a Ramsey precompact expansion. Moreover, we verify the relative expansion properties and consequently describe the respective universal minimal flows.
△ Less
Submitted 23 July, 2014; v1 submitted 23 October, 2013;
originally announced October 2013.
-
Weak Qubit Measurement with a Nonlinear Cavity: Beyond Perturbation Theory
Authors:
Catherine Laflamme,
Aashish A. Clerk
Abstract:
We analyze the use of a driven nonlinear cavity to make a weak continuous measurement of a dispersively-coupled qubit. We calculate the backaction dephasing rate and measurement rate beyond leading-order perturbation theory using a phase-space approach which accounts for cavity noise squeezing. Surprisingly, we find that increasing the coupling strength beyond the regime describable by leading-ord…
▽ More
We analyze the use of a driven nonlinear cavity to make a weak continuous measurement of a dispersively-coupled qubit. We calculate the backaction dephasing rate and measurement rate beyond leading-order perturbation theory using a phase-space approach which accounts for cavity noise squeezing. Surprisingly, we find that increasing the coupling strength beyond the regime describable by leading-order perturbation theory (i.e. linear response) allows one to come significantly closer to the quantum limit on the measurement efficiency. We interpret this behaviour in terms of the non-Gaussian photon number fluctuations of the nonlinear cavity. Our results are relevant to recent experiments using superconducting microwave circuits to study quantum measurement.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
Overgroups of the Automorphism Group of the Rado Graph
Authors:
Peter Cameron,
Claude Laflamme,
Maurice Pouzet,
Sam Tarzi,
Robert Woodrow
Abstract:
We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.
We are interested in overgroups of the automorphism group of the Rado graph. One class of such overgroups is completely understood; this is the class of reducts. In this article we tie recent work on various other natural overgroups, in particular establishing group connections between them and the reducts.
△ Less
Submitted 16 May, 2012;
originally announced May 2012.
-
Convex Sublattices of a Lattice and a Fixed Point Property
Authors:
Dwight Duffus,
Claude Laflamme,
Maurice Pouzet,
Robert Woodrow
Abstract:
The collection CL(T) of nonempty convex sublattices of a lattice T ordered by bi-domination is a lattice. We say that T has the fixed point property for convex sublattices (CLFPP for short) if every order preserving map f from T to CL(T) has a fixed point, that is x > f(x) for some x > T. We examine which lattices may have CLFPP. We introduce the selection property for convex sublattices (CLSP); w…
▽ More
The collection CL(T) of nonempty convex sublattices of a lattice T ordered by bi-domination is a lattice. We say that T has the fixed point property for convex sublattices (CLFPP for short) if every order preserving map f from T to CL(T) has a fixed point, that is x > f(x) for some x > T. We examine which lattices may have CLFPP. We introduce the selection property for convex sublattices (CLSP); we observe that a complete lattice with CLSP must have CLFPP, and that this property implies that CL(T) is complete. We show that for a lattice T, the fact that CL(T) is complete is equivalent to the fact that T is complete and the lattice of all subsets of a countable set, ordered by containment, is not order embeddable into T. We show that for the lattice T = I(P) of initial segments of a poset P, the implications above are equivalences and that these properties are equivalent to the fact that P has no infinite antichain. A crucial part of this proof is a straightforward application of a wonderful Hausdorff? type result due to Abraham, Bonnet, Cummings, Dzamondja and Thompson [2010].
Key words and phrases. posets, lattices, convex sublattice, retracts, fixed point property
△ Less
Submitted 25 August, 2011;
originally announced August 2011.
-
Quantum limited amplification with a nonlinear cavity detector
Authors:
Catherine Laflamme,
Aashish A. Clerk
Abstract:
We consider the quantum measurement properties of a driven cavity with a Kerr-type nonlinearity which is used to amplify a dispersively coupled input signal. Focusing on an operating regime which is near a bifurcation point, we derive simple asymptotic expressions describing the cavity's noise and response. We show that the cavity's backaction and imprecision noise allow for quantum limited linear…
▽ More
We consider the quantum measurement properties of a driven cavity with a Kerr-type nonlinearity which is used to amplify a dispersively coupled input signal. Focusing on an operating regime which is near a bifurcation point, we derive simple asymptotic expressions describing the cavity's noise and response. We show that the cavity's backaction and imprecision noise allow for quantum limited linear amplification and position detection only if one is able to utilize the sizeable correlations between these quantities. This is possible when one amplifies a non-resonant signal, but is not possible in QND qubit detection. We also consider the possibility of using the nonlinear cavity's backaction for cooling a mechanical mode.
△ Less
Submitted 26 November, 2010;
originally announced November 2010.
-
Partitions and Indivisibility Properties of Countable Dimensional Vector Spaces
Authors:
C. Laflamme,
L. Nguyen Van The,
M. Pouzet,
N. Sauer
Abstract:
We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age indivisible relational structure which is not weakly indivisible.
We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age indivisible relational structure which is not weakly indivisible.
△ Less
Submitted 12 January, 2014; v1 submitted 21 July, 2009;
originally announced July 2009.
-
Distinguishing Number of Countable Homogeneous Relational Structures
Authors:
C. Laflamme,
L. Nguyen Van Thé,
N. W. Sauer
Abstract:
The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. Albertson and Collins computed the distinguishing number for various finite graphs, and Imrich, Klavžar and Trofimov computed the distinguishing number of some infinite graphs, sho…
▽ More
The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. Albertson and Collins computed the distinguishing number for various finite graphs, and Imrich, Klavžar and Trofimov computed the distinguishing number of some infinite graphs, showing in particular that the Random Graph has distinguishing number 2. We compute the distinguishing number of various other finite and countable homogeneous structures, including undirected and directed graphs, and posets. We show that this number is in most cases two or infinite, and besides a few exceptions conjecture that this is so for all primitive homogeneous countable structures.
△ Less
Submitted 24 April, 2008;
originally announced April 2008.
-
Partition properties of the dense local order and a colored version of Milliken's theorem
Authors:
C. Laflamme,
L. Nguyen Van Thé,
N. W. Sauer
Abstract:
We study the finite dimensional partition properties of the countable homogeneous dense local order. Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of Milliken's theorem on trees.
We study the finite dimensional partition properties of the countable homogeneous dense local order. Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of Milliken's theorem on trees.
△ Less
Submitted 29 August, 2008; v1 submitted 15 October, 2007;
originally announced October 2007.
-
Indivisible ultrametric spaces
Authors:
Christian Delhommé,
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer
Abstract:
A metric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces, we show that a countable ultrametric space embeds isometrically into an indivisible ultrametric metric space if and only if it does not contain a strictly increasing sequence of balls.
A metric space is indivisible if for any partition of it into finitely many pieces one piece contains an isometric copy of the whole space. Continuing our investigation of indivisible metric spaces, we show that a countable ultrametric space embeds isometrically into an indivisible ultrametric metric space if and only if it does not contain a strictly increasing sequence of balls.
△ Less
Submitted 15 February, 2007;
originally announced February 2007.
-
Retracts of Posets: The Chain_gap Property and the Selection Property are Independant
Authors:
Dwight Duffus,
Claude Laflamme,
Maurice Pouzet
Abstract:
Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property and not the chain-gap property are easy to find. To date, the Boolean lattice $\Power (ω_1)/Fin$ was the sole example of lattice without the selection proper…
▽ More
Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property and not the chain-gap property are easy to find. To date, the Boolean lattice $\Power (ω_1)/Fin$ was the sole example of lattice without the selection property \cite {R-W}. We prove that it does not have the chain-gap property. We provide an example of a lattice which has the chain-gap property but not the selection property. This answer questions raised in \cite {R-W}.
△ Less
Submitted 15 December, 2006;
originally announced December 2006.
-
Divisibility of countable metric spaces
Authors:
Christian Delhomme,
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer
Abstract:
Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disco…
▽ More
Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disconnected, which implies in particular that every Urysohn space U_V with V bounded or not but dense in some initial segment of R+, is divisible. On the other hand we also show that one can remove "large" pieces from a bounded Urysohn space with the remainder still inducing a copy of this space, providing a certain "measure" of the indivisibility. Associated with every totally Cantor disconnected space is an ultrametric space, and we go on to characterize the countable ultrametric spaces which are homogeneous and indivisible.
△ Less
Submitted 12 October, 2005;
originally announced October 2005.
-
Combinatorial aspects of F(sigma) filters with an application to N-sets
Authors:
Claude Laflamme
Abstract:
We discuss F(sigma) filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F(sigma) filter is the better known bounded evasion number e(ubd). An application to N-sets from trigonometric series is given by showing that if A is an N-set and B has size less e(ubd), then A+B is again an N-set.
We discuss F(sigma) filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F(sigma) filter is the better known bounded evasion number e(ubd). An application to N-sets from trigonometric series is given by showing that if A is an N-set and B has size less e(ubd), then A+B is again an N-set.
△ Less
Submitted 17 September, 1995;
originally announced September 1995.
-
Filter games and combinatorial properties of winning strategies
Authors:
Claude Laflamme
Abstract:
We characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorics or structural properties of the given filter. These generalize several ultrafilter games of Galvin.
We characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorics or structural properties of the given filter. These generalize several ultrafilter games of Galvin.
△ Less
Submitted 25 January, 1995;
originally announced January 1995.
-
A few special ordinal ultrafilters
Authors:
Claude Laflamme
Abstract:
We prove various results on the notion of ordinal ultrafiters introduced by J. Baumgartner. In particular, we show that this notion of ultrafilter complexity is independent of the more familiar Rudin-Keisler ordering.
We prove various results on the notion of ordinal ultrafiters introduced by J. Baumgartner. In particular, we show that this notion of ultrafilter complexity is independent of the more familiar Rudin-Keisler ordering.
△ Less
Submitted 25 January, 1995;
originally announced January 1995.
-
Strong meager properties for filters
Authors:
Claude Laflamme
Abstract:
We analyze several ``strong meager'' properties for filters on the natural numbers between the classical Baire property and a filter being $F_σ$. Two such properties have been studied by Talagrand and a few more combinatorial ones are investigated. In particular, we define the notion of a P$^+$-filter, a generalization of the traditional concept of P-filter, and prove the existence of a non-meag…
▽ More
We analyze several ``strong meager'' properties for filters on the natural numbers between the classical Baire property and a filter being $F_σ$. Two such properties have been studied by Talagrand and a few more combinatorial ones are investigated. In particular, we define the notion of a P$^+$-filter, a generalization of the traditional concept of P-filter, and prove the existence of a non-meager P$^+$-filter. Our motivation lies in understanding the structure of filters generated by complements of members of a maximal almost disjoint family.
△ Less
Submitted 13 December, 1993;
originally announced December 1993.
-
Models with second order properties, V: A General principle
Authors:
Bradd Hart,
Claude Laflamme,
Saharon Shelah
Abstract:
We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework…
▽ More
We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5.
△ Less
Submitted 14 November, 1993;
originally announced November 1993.
-
Bounding and dominating number of families of functions on N
Authors:
Claude Laflamme
Abstract:
We pursue the study of families of functions on the natural numbers, with emphasis here on the bounded families. The situation being more complicated than the unbounded case, we attack the problem by classifying the families according to their bounding and dominating numbers, the traditional scheme for gaps. Many open questions remain.
We pursue the study of families of functions on the natural numbers, with emphasis here on the bounded families. The situation being more complicated than the unbounded case, we attack the problem by classifying the families according to their bounding and dominating numbers, the traditional scheme for gaps. Many open questions remain.
△ Less
Submitted 25 April, 1993;
originally announced April 1993.