-
Efficient detection of multidimensional single-photon time-bin superpositions
Authors:
Adam Widomski,
Maciej Ogrodnik,
Michał Karpiński
Abstract:
The ability to detect quantum superpositions lies at the heart of fundamental and applied aspects of quantum mechanics. The time-frequency degree of freedom of light enables encoding and transmitting quantum information in a multi-dimensional fashion compatible with fiber and integrated platforms. However, the ability to efficiently detect time-frequency superpositions is not yet available. Here w…
▽ More
The ability to detect quantum superpositions lies at the heart of fundamental and applied aspects of quantum mechanics. The time-frequency degree of freedom of light enables encoding and transmitting quantum information in a multi-dimensional fashion compatible with fiber and integrated platforms. However, the ability to efficiently detect time-frequency superpositions is not yet available. Here we show, that multidimensional time-bin superpositions can be detected using a single time-resolved photon detector. Our approach uses off-the shelf components and is based on the temporal Talbot effect -- a time-frequency counterpart of the well-know near field diffraction effect. We provide experimental results and discuss the possible applications in quantum communication, quantum information processing, and time-frequency quantum state tomography.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Temporal cavities as temporal mode filters for frequency combs
Authors:
B Dioum,
S Srivastava,
M Karpiński,
G Patera
Abstract:
Broadband temporal modes of pulsed optical fields have been recently recognized as very promising for photonic quantum information processing and time-frequency metrology. Exploiting their full potential demands efficient and flexible tools for their manipulation. Among the tools demonstrated surprisingly the most basic, a single-mode temporal filter, is missing. In this work, we propose an experi…
▽ More
Broadband temporal modes of pulsed optical fields have been recently recognized as very promising for photonic quantum information processing and time-frequency metrology. Exploiting their full potential demands efficient and flexible tools for their manipulation. Among the tools demonstrated surprisingly the most basic, a single-mode temporal filter, is missing. In this work, we propose an experimentally feasible approach to realize a genuine single-mode temporal filter that is based on the concept of temporal cavity, a device with temporal mode-dependent resonances in the basis of frequency comb modes. This functionality is achieved as temporal-domain analogy of spatial-mode cleaner cavities. This device will enable robust temporal mode filtering and detection, opening new prospects in time-frequency metrology and multidimensional quantum information processing.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Interfacing picosecond and nanosecond quantum light pulses
Authors:
Filip Sośnicki,
Michał Mikołajczyk,
Ali Golestani,
Michał Karpiński
Abstract:
Light is a key information carrier, enabling worldwide high-speed data transmission through a telecommunication fibre network. This information-carrying capacity can be extended to transmitting quantum information (QI) by encoding it in single photons -- flying qubits. However, various QI-processing platforms operate at vastly different timescales. QI-processing units in atomic media, operating wi…
▽ More
Light is a key information carrier, enabling worldwide high-speed data transmission through a telecommunication fibre network. This information-carrying capacity can be extended to transmitting quantum information (QI) by encoding it in single photons -- flying qubits. However, various QI-processing platforms operate at vastly different timescales. QI-processing units in atomic media, operating within nanosecond to microsecond timescales, and high-speed quantum communication, at picosecond timescales, cannot be efficiently linked due to orders of magnitude mismatch in the timescales or, correspondingly, spectral linewidths. In this work, we develop a large-aperture time lens using complex high-bandwidth electro-optic phase modulation to bridge this gap. We demonstrate coherent, deterministic spectral bandwidth compression of quantum light pulses by more than two orders of magnitude with high efficiency. It will facilitate large-scale hybrid QI-processing by linking the ultrafast and quasi-continuous-wave experimental platforms, which until now, to a large extent, have been develo** independently.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Aberration-corrected time aperture of an electro-optic time lens
Authors:
Sanjay Kapoor,
Filip Sośnicki,
Michał Karpiński
Abstract:
Recently, there has been renewed interest in electro-optic time lenses due to their favorable properties for quantum photonic applications. Here, we propose a new analytical approach to estimate the chirp rate of a time lens implemented using an electro-optic phase modulator driven with a single-tone radio frequency voltage. Our approach is based on a user-defined time aperture for the time lens.…
▽ More
Recently, there has been renewed interest in electro-optic time lenses due to their favorable properties for quantum photonic applications. Here, we propose a new analytical approach to estimate the chirp rate of a time lens implemented using an electro-optic phase modulator driven with a single-tone radio frequency voltage. Our approach is based on a user-defined time aperture for the time lens. We observe that the temporal aberrations depend on the amplitude of the phase modulation and the effective time aperture of the time lens. We derive an analytical expression for the maximum phase error that will allow the user to choose the maximal aberration-limited time aperture of the time lens. We apply our formalism to a Fourier-time lens system for the spectral compression of Gaussian pulses and find the optimal parameters of the setup. Our approach will provide a handy tool for efficient temporal system design based on electro-optical time lenses.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Electro-optic Fourier transform chronometry of pulsed quantum light
Authors:
Ali Golestani,
Alex O. C. Davis,
Filip Sośnicki,
Michał Mikołajczyk,
Nicolas Treps,
Michał Karpiński
Abstract:
The power spectrum of an optical field can be acquired without a spectrally resolving detector by means of Fourier-transform spectrometry, based on measuring the temporal autocorrelation of the optical field. Analogously, we here perform temporal envelope measurements of ultrashort optical pulses without time resolved detection. We introduce the technique of Fourier transform chronometry, where th…
▽ More
The power spectrum of an optical field can be acquired without a spectrally resolving detector by means of Fourier-transform spectrometry, based on measuring the temporal autocorrelation of the optical field. Analogously, we here perform temporal envelope measurements of ultrashort optical pulses without time resolved detection. We introduce the technique of Fourier transform chronometry, where the temporal envelope is acquired by measuring the frequency autocorrelation of the optical field in a linear interferometer. We apply our technique, which is the time-frequency conjugate measurement to Fourier-transform spectrometry, to experimentally measure the pulse envelope of classical and single photon light pulses.
△ Less
Submitted 25 May, 2022; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Reusing Comparator Networks in Pseudo-Boolean Encodings
Authors:
Michał Karpiński,
Marek Piotrów
Abstract:
A Pseudo-Boolean (PB) constraint is a linear inequality constraint over Boolean literals. One of the popular, efficient ideas used to solve PB-problems (a set of PB-constraints) is to translate them to SAT instances (encodings) via, for example, sorting networks, then to process those instances using state-of-the-art SAT-solvers. In this paper we show an improvement of such technique. By using a v…
▽ More
A Pseudo-Boolean (PB) constraint is a linear inequality constraint over Boolean literals. One of the popular, efficient ideas used to solve PB-problems (a set of PB-constraints) is to translate them to SAT instances (encodings) via, for example, sorting networks, then to process those instances using state-of-the-art SAT-solvers. In this paper we show an improvement of such technique. By using a variation of a greedy set cover algorithm, when adding constraints to our encoding, we reuse parts of the already encoded PB-instance in order to decrease the size (the number of variables and clauses) of the resulting SAT instance. The experimental evaluation shows that the proposed method increases the number of solved instances.
△ Less
Submitted 8 May, 2023; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Linear-time algorithm for vertex 2-coloring without monochromatic triangles on planar graphs
Authors:
Michał Karpiński,
Krzysztof Piecuch
Abstract:
In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring wit…
▽ More
In the problem of 2-coloring without monochromatic triangles (or triangle-tree 2-coloring), vertices of the simple, connected, undirected graph are colored with either 'black' or 'white' such that there are no 3 mutually adjacent vertices of the same color. In this paper we are positively answering the question posed in our previous work, namely, if there exists an algorithm solving 2-coloring without monochromatic triangles on planar graphs with linear-time complexity.
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
Noisy polynomial interpolation modulo prime powers
Authors:
Marek Karpinski,
Igor Shparlinski
Abstract:
We consider the {\it noisy polynomial interpolation problem\/} of recovering an unknown $s$-sparse polynomial $f(X)$ over the ring $\mathbb Z_{p^k}$ of residues modulo $p^k$, where $p$ is a small prime and $k$ is a large integer parameter, from approximate values of the residues of $f(t) \in \mathbb Z_{p^k}$. Similar results are known for residues modulo a large prime $p$, however the case of prim…
▽ More
We consider the {\it noisy polynomial interpolation problem\/} of recovering an unknown $s$-sparse polynomial $f(X)$ over the ring $\mathbb Z_{p^k}$ of residues modulo $p^k$, where $p$ is a small prime and $k$ is a large integer parameter, from approximate values of the residues of $f(t) \in \mathbb Z_{p^k}$. Similar results are known for residues modulo a large prime $p$, however the case of prime power modulus $p^k$, with small $p$ and large $k$, is new and requires different techniques. We give a deterministic polynomial time algorithm, which for almost given more than a half bits of $f(t)$ for sufficiently many randomly chosen points $t \in \mathbb Z_{p^k}^*$, recovers $f(X)$.
△ Less
Submitted 29 October, 2020; v1 submitted 10 June, 2020;
originally announced June 2020.
-
Dense Steiner problems: Approximation algorithms and inapproximability
Authors:
Marek Karpinski,
Mateusz Lewandowski,
Syed Mohammad Meesum,
Matthias Mnich
Abstract:
The Steiner Tree problem is a classical problem in combinatorial optimization: the goal is to connect a set $T$ of terminals in a graph $G$ by a tree of minimum size. Karpinski and Zelikovsky (1996) studied the $δ$-dense version of {\sc Steiner Tree}, where each terminal has at least $δ|V(G)\setminus T|$ neighbours outside $T$, for a fixed $δ> 0$. They gave a PTAS for this problem.
We study a ge…
▽ More
The Steiner Tree problem is a classical problem in combinatorial optimization: the goal is to connect a set $T$ of terminals in a graph $G$ by a tree of minimum size. Karpinski and Zelikovsky (1996) studied the $δ$-dense version of {\sc Steiner Tree}, where each terminal has at least $δ|V(G)\setminus T|$ neighbours outside $T$, for a fixed $δ> 0$. They gave a PTAS for this problem.
We study a generalization of pairwise $δ$-dense {\sc Steiner Forest}, which asks for a minimum-size forest in $G$ in which the nodes in each terminal set $T_1,\dots,T_k$ are connected, and every terminal in $T_i$ has at least $δ|T_j|$ neighbours in $T_j$, and at least $δ|S|$ nodes in $S = V(G)\setminus (T_1\cup\dots\cup T_k)$, for each $i, j$ in $\{1,\dots, k\}$ with $i\neq j$. Our first result is a polynomial-time approximation scheme for all $δ> 1/2$. Then, we show a $(\frac{13}{12}+\varepsilon)$-approximation algorithm for $δ= 1/2$ and any $\varepsilon > 0$. We also consider the $δ$-dense Group Steiner Tree problem as defined by Hauptmann and show that the problem is $\mathsf{APX}$-hard.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Aperiodic electro-optic time lens for spectral manipulation of single-photon pulses
Authors:
Filip Sośnicki,
Michał Mikołajczyk,
Ali Golestani,
Michał Karpiński
Abstract:
Electro-optic time lenses are promising experimental components for photonic spectral-temporal processing of quantum information. We report a stable method to realize an electro-optic time lens, which relies on the amplification of an electronic response of a fast photodiode. The method does not require a repetitive clock and may be applied to aperiodic optical signals. We experimentally demonstra…
▽ More
Electro-optic time lenses are promising experimental components for photonic spectral-temporal processing of quantum information. We report a stable method to realize an electro-optic time lens, which relies on the amplification of an electronic response of a fast photodiode. The method does not require a repetitive clock and may be applied to aperiodic optical signals. We experimentally demonstrate the approach using single-photon pulses and directly verify its aperiodicity. The approach will enable construction of complex electro-optic temporal optical systems.
△ Less
Submitted 23 June, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
CNF Encodings of Cardinality Constraints Based on Comparator Networks
Authors:
Michał Karpiński
Abstract:
Boolean Satisfiability Problem (SAT) is one of the core problems in computer science. As one of the fundamental NP-complete problems, it can be used - by known reductions - to represent instances of variety of hard decision problems. Additionally, those representations can be passed to a program for finding satisfying assignments to Boolean formulas, for example, to a program called MiniSat. Those…
▽ More
Boolean Satisfiability Problem (SAT) is one of the core problems in computer science. As one of the fundamental NP-complete problems, it can be used - by known reductions - to represent instances of variety of hard decision problems. Additionally, those representations can be passed to a program for finding satisfying assignments to Boolean formulas, for example, to a program called MiniSat. Those programs (called SAT-solvers) have been intensively developed for many years and - despite their worst-case exponential time complexity - are able to solve a multitude of hard practical instances. A drawback of this approach is that clauses are neither expressive, nor compact, and using them to describe decision problems can pose a big challenge on its own.
We can improve this by using high-level constraints as a bridge between a problem at hand and SAT. Such constraints are then automatically translated to eqisatisfiable Boolean formulas. The main theme of this thesis revolves around one type of such constraints, namely Boolean Cardinality Constraints (or simply cardinality constraints). Cardinality constraints state that at most (at least, or exactly) k out of n propositional literals can be true. Such cardinality constraints appear naturally in formulations of different real-world problems including cumulative scheduling, timetabling or formal hardware verification.
The goal of this thesis is to propose and analyze new and efficient methods to encode (translate) cardinality constraints into equisatisfiable proposition formulas in CNF, such that the resulting SAT instances are small and that the SAT-solver runtime is as short as possible.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
Pure Single Photons from Scalable Frequency Multiplexing
Authors:
T. Hiemstra,
T. F. Parker,
P. C. Humphreys,
J. Tiedau,
M. Beck,
M. Karpiński,
B. J. Smith,
A. Eckstein,
W. S. Kolthammer,
I. A. Walmsley
Abstract:
We demonstrate multiphoton interference using a resource-efficient frequency multiplexing scheme, suitable for quantum information applications that demand multiple indistinguishable and pure single photons. In our source, frequency-correlated photon pairs are generated over a wide range of frequencies by pulsed parametric down conversion. Indistinguishable single photons of a predetermined freque…
▽ More
We demonstrate multiphoton interference using a resource-efficient frequency multiplexing scheme, suitable for quantum information applications that demand multiple indistinguishable and pure single photons. In our source, frequency-correlated photon pairs are generated over a wide range of frequencies by pulsed parametric down conversion. Indistinguishable single photons of a predetermined frequency are prepared using frequency-resolved detection of one photon to control an electro-optic frequency shift applied to its partner. Measured photon statistics show multiplexing increases the probability of delivering a single photon, without a corresponding increase to multiphoton events. Interference of consecutive outputs is used to bound the single-photon purity and demonstrate the non-classical nature of the emitted light.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
Large-scale spectral bandwidth compression by complex electro-optic temporal phase modulation
Authors:
Filip Sosnicki,
Michal Karpinski
Abstract:
Spectral-temporal sha** of quantum light has important applications in quantum communications and photonic quantum information processing. Electro-optic temporal lenses have recently been recognized as a tool for noise-free, efficient spectral bandwidth manipulation of single-photon wavepackets. However, standard electro-optic time lenses based on single-tone modulation exhibit limited bandwidth…
▽ More
Spectral-temporal sha** of quantum light has important applications in quantum communications and photonic quantum information processing. Electro-optic temporal lenses have recently been recognized as a tool for noise-free, efficient spectral bandwidth manipulation of single-photon wavepackets. However, standard electro-optic time lenses based on single-tone modulation exhibit limited bandwidth manipulation due to material limitations on phase modulation amplitude. Here we numerically investigate the use of complex electro-optic temporal phase modulation patterns for bandwidth compression of light over multiple orders of magnitude and show the feasibility of their use in photonic interfaces for quantum network applications.
△ Less
Submitted 8 January, 2019; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Experimental single-photon pulse characterization by electro-optic shearing interferometry
Authors:
Alex O. C Davis,
Valérian Thiel,
Michał Karpiński,
Brian J. Smith
Abstract:
The ability to characterize the complete quantum state of light is essential for both fundamental and applied science. For single photons the quantum state is provided by the mode that it occupies. The spectral temporal mode structure of light has recently emerged as an essential means for quantum information science. Here we experimentally demonstrate a self-referencing technique to completely de…
▽ More
The ability to characterize the complete quantum state of light is essential for both fundamental and applied science. For single photons the quantum state is provided by the mode that it occupies. The spectral temporal mode structure of light has recently emerged as an essential means for quantum information science. Here we experimentally demonstrate a self-referencing technique to completely determine the pulse-mode structure of single photons by means of spectral shearing interferometry. We detail the calibration and resolution of the measurement and discuss challenges and critical requirements for future advances of this method.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Entanglement Swap** for Generation of Heralded Time-Frequency-Entangled Photon Pairs
Authors:
Dashiell L. P. Vitullo,
M. G. Raymer,
B. J. Smith,
Michał Karpiński,
L. Mejling,
K. Rottwitt
Abstract:
Photonic time-frequency entanglement is a promising resource for quantum information processing technologies. We investigate swap** of continuous-variable entanglement in the time-frequency degree of freedom using three-wave mixing in the low-gain regime with the aim of producing heralded biphoton states with high purity and low multi-pair probability. Heralding is achieved by combining one phot…
▽ More
Photonic time-frequency entanglement is a promising resource for quantum information processing technologies. We investigate swap** of continuous-variable entanglement in the time-frequency degree of freedom using three-wave mixing in the low-gain regime with the aim of producing heralded biphoton states with high purity and low multi-pair probability. Heralding is achieved by combining one photon from each of two biphoton sources via sum-frequency generation to create a herald photon. We present a realistic model with pulsed pumps, investigate the effects of resolving the frequency of the herald photon, and find that frequency-resolving measurement of the herald photon is necessary to produce high-purity biphotons. We also find a trade-off between the rate of successful entanglement swap** and both the purity and quantified entanglement resource (negativity) of the heralded biphoton state.
△ Less
Submitted 21 August, 2018; v1 submitted 31 January, 2018;
originally announced February 2018.
-
On vertex coloring without monochromatic triangles
Authors:
Michał Karpiński,
Krzysztof Piecuch
Abstract:
We study a certain relaxation of the classic vertex coloring problem, namely, a coloring of vertices of undirected, simple graphs, such that there are no monochromatic triangles. We give the first classification of the problem in terms of classic and parametrized algorithms. Several computational complexity results are also presented, which improve on the previous results found in the literature.…
▽ More
We study a certain relaxation of the classic vertex coloring problem, namely, a coloring of vertices of undirected, simple graphs, such that there are no monochromatic triangles. We give the first classification of the problem in terms of classic and parametrized algorithms. Several computational complexity results are also presented, which improve on the previous results found in the literature. We propose the new structural parameter for undirected, simple graphs -- the triangle-free chromatic number $χ_3$. We bound $χ_3$ by other known structural parameters. We also present two classes of graphs with interesting coloring properties, that play pivotal role in proving useful observation about our problem. We give/ask several conjectures/questions throughout this paper to encourage new research in the area of graph coloring.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Measuring the single-photon temporal-spectral wave function
Authors:
Alex O. C. Davis,
Valérian Thiel,
Michał Karpiński,
Brian J. Smith
Abstract:
Temporal-spectral modes of light provide a fundamental window into the nature of atomic and molecular systems and offer robust means for information encoding. Methods to precisely characterize the temporal-spectral state of light at the single-photon level thus play a central role in understanding quantum emitters and are a key requirement for quantum technologies that harness single-photon states…
▽ More
Temporal-spectral modes of light provide a fundamental window into the nature of atomic and molecular systems and offer robust means for information encoding. Methods to precisely characterize the temporal-spectral state of light at the single-photon level thus play a central role in understanding quantum emitters and are a key requirement for quantum technologies that harness single-photon states. Here we demonstrate an optical reference-free method, which melds techniques from ultrafast metrology and single-photon spectral detection, to characterize the temporal-spectral state of single photons. This provides a robust, wavelength-tunable approach for rapid characterization of pulsed single-photon states that underpins emerging optical quantum technologies based upon the temporal-spectral mode structure of quantum light.
△ Less
Submitted 20 February, 2018; v1 submitted 15 September, 2017;
originally announced September 2017.
-
Optimal interfacing a GHz-bandwidth heralded single photon source with on-demand, broadband quantum memories
Authors:
Patrick Steffen Michelberger,
Michal Karpinski,
Ian Alexander Walmsley,
Joshua Nunn
Abstract:
Photonics offers a route to fast and distributed quantum computing in ambient conditions, provided that photon sources and logic gates can be operated deterministically. Quantum memories, capable of storing and re-emitting photons on demand, enable quasi-deterministic operations by synchronising stochastic events. We recently interfaced a Raman-type quantum memory with a travelling-wave heralded p…
▽ More
Photonics offers a route to fast and distributed quantum computing in ambient conditions, provided that photon sources and logic gates can be operated deterministically. Quantum memories, capable of storing and re-emitting photons on demand, enable quasi-deterministic operations by synchronising stochastic events. We recently interfaced a Raman-type quantum memory with a travelling-wave heralded photon source. Here we discuss the trade-space for the spectral characteristics of such sources, and we present measurements of our source, which represents a practical compromise enabling passive stability, high brightness in a single-pass configuration, high purity and good matching to our Cs vapour memory.
△ Less
Submitted 10 September, 2017;
originally announced September 2017.
-
Identity Testing and Interpolation from High Powers of Polynomials of Large Degree over Finite Fields
Authors:
Marek Karpinski,
Laszlo Mérai,
Igor E. Shparlinski
Abstract:
We consider the problem of identity testing and recovering (that is, interpolating) of a "hidden" monic polynomials $f$, given an oracle access to $f(x)^e$ for $x\in\mathbb F_q$, where $\mathbb F_q$ is the finite field of $q$ elements and an extension fields access is not permitted.
The naive interpolation algorithm needs $de+1$ queries, where $d =\max\{{\rm deg}\ f, {\rm deg }\ g\}$ and thus re…
▽ More
We consider the problem of identity testing and recovering (that is, interpolating) of a "hidden" monic polynomials $f$, given an oracle access to $f(x)^e$ for $x\in\mathbb F_q$, where $\mathbb F_q$ is the finite field of $q$ elements and an extension fields access is not permitted.
The naive interpolation algorithm needs $de+1$ queries, where $d =\max\{{\rm deg}\ f, {\rm deg }\ g\}$ and thus requires $ de<q$. For a prime $q = p$, we design an algorithm that is asymptotically better in certain cases, especially when $d$ is large. The algorithm is based on a result of independent interest in spirit of additive combinatorics. It gives an upper bound on the number of values of a rational function of large degree, evaluated on a short sequence of consecutive integers, that belong to a small subgroup of $\mathbb F_p^*$.
△ Less
Submitted 1 March, 2018; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Measurement of radio-frequency temporal phase modulation using spectral interferometry
Authors:
Michał Jachura,
Jan Szczepanek,
Wojciech Wasilewski,
Michal Karpinski
Abstract:
We present an optical method to measure radio-frequency electro-optic phase modulation profiles by employing spectrum-to-time map** realized by highly chirped optical pulses. We directly characterize temporal phase modulation profiles of up to 12.5 GHz bandwidth, with temporal resolution comparable to high-end electronic oscilloscopes. The presented optical setup is a valuable tool for direct ch…
▽ More
We present an optical method to measure radio-frequency electro-optic phase modulation profiles by employing spectrum-to-time map** realized by highly chirped optical pulses. We directly characterize temporal phase modulation profiles of up to 12.5 GHz bandwidth, with temporal resolution comparable to high-end electronic oscilloscopes. The presented optical setup is a valuable tool for direct characterization of complex temporal electro-optic phase modulation profiles, which is indispensable for practical realization of deterministic spectral-temporal resha** of quantum light pulses.
△ Less
Submitted 22 November, 2017; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Encoding Cardinality Constraints using Generalized Selection Networks
Authors:
Michał Karpiński,
Marek Piotrów
Abstract:
Boolean cardinality constraints state that at most (at least, or exactly) $k$ out of $n$ propositional literals can be true. We propose a new class of selection networks that can be used for an efficient encoding of them. Several comparator networks have been proposed recently for encoding cardinality constraints and experiments have proved their efficiency. Those were based mainly on the odd-even…
▽ More
Boolean cardinality constraints state that at most (at least, or exactly) $k$ out of $n$ propositional literals can be true. We propose a new class of selection networks that can be used for an efficient encoding of them. Several comparator networks have been proposed recently for encoding cardinality constraints and experiments have proved their efficiency. Those were based mainly on the odd-even or pairwise comparator networks. We use similar ideas, but we extend the model of comparator networks so that the basic components are not only comparators (2-sorters) but more general $m$-sorters, for $m \geq 2$. The inputs are organized into $m$ columns, in which elements are recursively selected and, after that, columns are merged using an idea of multi-way merging. We present two algorithms parametrized by $m \geq 2$. We call those networks $m$-Wise Selection Network and $m$-Odd-Even Selection Network. We give detailed construction of the mergers when $m=4$. The construction can be directly applied to any values of $k$ and $n$. The proposed encoding of sorters is standard, therefore the arc-consistency is preserved. We prove correctness of the constructions and present the theoretical and experimental evaluation, which show that the new encodings are competitive to the other state-of-art encodings.
△ Less
Submitted 14 April, 2017;
originally announced April 2017.
-
Generation and characterization of discrete spatial entanglement in multimode nonlinear waveguides
Authors:
Michał Jachura,
Michał Karpiński,
Konrad Banaszek,
Divya Bharadwaj,
Jasleen Lugani,
K. Thyagarajan
Abstract:
We analyze theoretically spontaneous parametric down-conversion in a multimode nonlinear waveguide as a source of entangled pairs of spatial qubits, realized as superpositions of a photon in two orthogonal transverse modes of the waveguide. It is shown that by exploiting intermodal dispersion, down-conversion into the relevant pairs of spatial modes can be selected by spectral filtering, which als…
▽ More
We analyze theoretically spontaneous parametric down-conversion in a multimode nonlinear waveguide as a source of entangled pairs of spatial qubits, realized as superpositions of a photon in two orthogonal transverse modes of the waveguide. It is shown that by exploiting intermodal dispersion, down-conversion into the relevant pairs of spatial modes can be selected by spectral filtering, which also provides means to fine-tune the properties of the generated entangled state. We also discuss an inverting interferometer detecting the spatial parity of the input beam as a versatile tool to characterize properties of the generated state. A single-photon Wigner function obtained by a scan of the displaced parity can be used to identify the basis modes of spatial qubit, whereas correlations between displaced parity measurements on two photons can directly verify quantum entanglement through a violation of Bell's inequalities.
△ Less
Submitted 20 January, 2017;
originally announced January 2017.
-
Pulsed single-photon spectrometer by frequency-to-time map** using chirped fiber Bragg gratings
Authors:
Alex O. C. Davis,
Paul M. Saulnier,
Michal Karpinski,
Brian J. Smith
Abstract:
A fiber-integrated spectrometer for single-photon pulses outside the telecommunications wavelength range based upon frequency-to-time map**, implemented by chromatic group delay dispersion (GDD), and precise temporally-resolved single-photon counting, is presented. A chirped fiber Bragg grating provides low-loss GDD, map** the frequency distribution of an input pulse onto the temporal envelope…
▽ More
A fiber-integrated spectrometer for single-photon pulses outside the telecommunications wavelength range based upon frequency-to-time map**, implemented by chromatic group delay dispersion (GDD), and precise temporally-resolved single-photon counting, is presented. A chirped fiber Bragg grating provides low-loss GDD, map** the frequency distribution of an input pulse onto the temporal envelope of the output pulse. Time-resolved detection with fast single-photon-counting modules enables monitoring of a wavelength range from 825 nm to 835 nm with nearly uniform efficiency at 55 pm resolution (24 GHz at 830 nm). To demonstrate the versatility of this technique, spectral interference of heralded single photons and the joint spectral intensity distribution of a photon-pair source are measured. This approach to single-photon-level spectral measurements provides a route to realize applications of time-frequency quantum optics at visible and near-infrared wavelengths, where multiple spectral channels must be simultaneously monitored.
△ Less
Submitted 29 July, 2017; v1 submitted 10 October, 2016;
originally announced October 2016.
-
Spectral shearing of quantum light pulses by electro-optic phase modulation
Authors:
Laura J. Wright,
Michal Karpinski,
Christoph Soeller,
Brian J. Smith
Abstract:
Frequency conversion of non-classical light enables robust encoding of quantum information based upon spectral multiplexing that is particularly well-suited to integrated-optics platforms. Here we present an intrinsically deterministic linear-optics approach to spectral shearing of quantum light pulses and show it preserves the wave-packet coherence and quantum nature of light. The technique is ba…
▽ More
Frequency conversion of non-classical light enables robust encoding of quantum information based upon spectral multiplexing that is particularly well-suited to integrated-optics platforms. Here we present an intrinsically deterministic linear-optics approach to spectral shearing of quantum light pulses and show it preserves the wave-packet coherence and quantum nature of light. The technique is based upon an electro-optic Doppler shift to implement frequency shear of heralded single-photon wave packets by $\pm 200$ GHz, which can be scaled to an arbitrary shift. These results demonstrate a reconfigurable, unitary method to controlling the spectral-temporal mode structure of quantum light.
△ Less
Submitted 10 January, 2017; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Bandwidth manipulation of quantum light by an electro-optic time lens
Authors:
Michal Karpinski,
Michal Jachura,
Laura J. Wright,
Brian J. Smith
Abstract:
The ability to manipulate the spectral-temporal waveform of optical pulses has enabled a wide range of applications from ultrafast spectroscopy to high-speed communications. Extending these concepts to quantum light has the potential to enable breakthroughs in optical quantum science and technology. However, filtering and amplifying often employed in classical pulse sha** techniques are incompat…
▽ More
The ability to manipulate the spectral-temporal waveform of optical pulses has enabled a wide range of applications from ultrafast spectroscopy to high-speed communications. Extending these concepts to quantum light has the potential to enable breakthroughs in optical quantum science and technology. However, filtering and amplifying often employed in classical pulse sha** techniques are incompatible with non-classical light. Controlling the pulsed mode structure of quantum light requires efficient means to achieve deterministic, unitary manipulation that preserves fragile quantum coherences. Here we demonstrate an electro-optic method for modifying the spectrum of non-classical light by employing a time lens. In particular we show highly-efficient wavelength-preserving six-fold compression of single-photon spectral intensity bandwidth, enabling over a two-fold increase of single-photon flux into a spectrally narrowband absorber. These results pave the way towards spectral-temporal photonic quantum information processing and facilitate interfacing of different physical platforms where quantum information can be stored or manipulated.
△ Less
Submitted 29 July, 2017; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Approximation Complexity of Max-Cut on Power Law Graphs
Authors:
Mikael Gast,
Mathias Hauptmann,
Marek Karpinski
Abstract:
In this paper we study the MAX-CUT problem on power law graphs (PLGs) with power law exponent $β$. We prove some new approximability results on that problem. In particular we show that there exist polynomial time approximation schemes (PTAS) for MAX-CUT on PLGs for the power law exponent $β$ in the interval $(0,2)$. For $β>2$ we show that for some $ε>0$, MAX-CUT is NP-hard to approximate within ap…
▽ More
In this paper we study the MAX-CUT problem on power law graphs (PLGs) with power law exponent $β$. We prove some new approximability results on that problem. In particular we show that there exist polynomial time approximation schemes (PTAS) for MAX-CUT on PLGs for the power law exponent $β$ in the interval $(0,2)$. For $β>2$ we show that for some $ε>0$, MAX-CUT is NP-hard to approximate within approximation ratio $1+ε$, ruling out the existence of a PTAS in this case. Moreover we give an approximation algorithm with improved constant approximation ratio for the case of $β>2$.
△ Less
Submitted 26 February, 2016;
originally announced February 2016.
-
Effect of Gromov-hyperbolicity Parameter on Cuts and Expansions in Graphs and Some Algorithmic Implications
Authors:
Bhaskar DasGupta,
Marek Karpinski,
Nasim Mobasheri,
Farzaneh Yahyanejad
Abstract:
$δ$-hyperbolic graphs, originally conceived by Gromov in 1987, occur often in many network applications; for fixed $δ$, such graphs are simply called hyperbolic graphs and include non-trivial interesting classes of "non-expander" graphs. The main motivation of this paper is to investigate the effect of the hyperbolicity measure $δ$ on expansion and cut-size bounds on graphs (here $δ…
▽ More
$δ$-hyperbolic graphs, originally conceived by Gromov in 1987, occur often in many network applications; for fixed $δ$, such graphs are simply called hyperbolic graphs and include non-trivial interesting classes of "non-expander" graphs. The main motivation of this paper is to investigate the effect of the hyperbolicity measure $δ$ on expansion and cut-size bounds on graphs (here $δ$ need not be a constant), and the asymptotic ranges of $δ$ for which these results may provide improved approximation algorithms for related combinatorial problems. To this effect, we provide constructive bounds on node expansions for $δ$-hyperbolic graphs as a function of $δ$, and show that many witnesses (subsets of nodes) for such expansions can be computed efficiently even if the witnesses are required to be nested or sufficiently distinct from each other. To the best of our knowledge, these are the first such constructive bounds proven. We also show how to find a large family of s-t cuts with relatively small number of cut-edges when s and t are sufficiently far apart. We then provide algorithmic consequences of these bounds and their related proof techniques for two problems for $δ$-hyperbolic graphs (where $δ$ is a function $f$ of the number of nodes, the exact nature of growth of $f$ being dependent on the particular problem considered).
△ Less
Submitted 7 February, 2017; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Scheme for on-chip verification of transverse mode entanglement using the electro-optic effect
Authors:
Divya Bharadwaj,
K. Thyagarajan,
Michał Jachura,
Michał Karpiński,
Konrad Banaszek
Abstract:
A key ingredient in emerging quantum-enhanced technologies is the ability to coherently manipulate and detect superpositions of basis states. In integrated optics implementations, transverse spatial modes supported by multimode structures offer an attractive carrier of quantum superpositions. Here we propose an integrated dynamic mode converter based on the electro-optic effect in nonlinear channe…
▽ More
A key ingredient in emerging quantum-enhanced technologies is the ability to coherently manipulate and detect superpositions of basis states. In integrated optics implementations, transverse spatial modes supported by multimode structures offer an attractive carrier of quantum superpositions. Here we propose an integrated dynamic mode converter based on the electro-optic effect in nonlinear channel waveguides for deterministic transformations between mutually non-orthogonal bases of spatial modes. We theoretically show its capability to demonstrate a violation of a Bell-type Clauser-Horne-Shimony-Holt inequality by measuring spatially mode-entangled photon pairs generated by an integrated photon pair source. The proposed configuration, numerically studied for the potassium titanyl phosphate (KTP) material, can be easily implemented using standard integrated optical fabrication technology.
△ Less
Submitted 16 December, 2015; v1 submitted 14 October, 2015;
originally announced October 2015.
-
Approximability of TSP on Power Law Graphs
Authors:
Mikael Gast,
Mathias Hauptmann,
Marek Karpinski
Abstract:
In this paper we study the special case of Graphic TSP where the underlying graph is a power law graph (PLG). We give a refined analysis of some of the current best approximation algorithms and show that an improved approximation ratio can be achieved for certain ranges of the power law exponent $β$. For the value of power law exponent $β=1.5$ we obtain an approximation ratio of $1.34$ for Graphic…
▽ More
In this paper we study the special case of Graphic TSP where the underlying graph is a power law graph (PLG). We give a refined analysis of some of the current best approximation algorithms and show that an improved approximation ratio can be achieved for certain ranges of the power law exponent $β$. For the value of power law exponent $β=1.5$ we obtain an approximation ratio of $1.34$ for Graphic TSP. Moreover we study the $(1,2)$-TSP with the underlying graph of $1$-edges being a PLG. We show improved approximation ratios in the case of underlying deterministic PLGs for $β$ greater than $1.666$. For underlying random PLGs we further improve the analysis and show even better expected approximation ratio for the range of $β$ between $1$ and $3.5$. On the other hand we prove the first explicit inapproximability bounds for $(1,2)$-TSP for an underlying power law graph.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
Explicit Bounds for Nondeterministically Testable Hypergraph Parameters
Authors:
Marek Karpinski,
Roland Markó
Abstract:
In this note we give a new effective proof method for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of any nondeterministically testable $r$-uniform hypergraph parameter as a function of the sample complexity of its witness parameter for arbitrary $r$. The depende…
▽ More
In this note we give a new effective proof method for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of any nondeterministically testable $r$-uniform hypergraph parameter as a function of the sample complexity of its witness parameter for arbitrary $r$. The dependence is of the form of an exponential tower function with the height linear in $r$. Our argument depends crucially on the new upper bounds for the $r$-cut norm of sampled $r$-uniform hypergraphs. We employ also our approach for some other restricted classes of hypergraph parameters, and present some applications.
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
On the Complexity of Nondeterministically Testable Hypergraph Parameters
Authors:
Marek Karpinski,
Roland Markó
Abstract:
The paper proves the equivalence of the notions of nondeterministic and deterministic parameter testing for uniform dense hypergraphs of arbitrary order. It generalizes the result previously known only for the case of simple graphs. By a similar method we establish also the equivalence between nondeterministic and deterministic hypergraph property testing, answering the open problem in the area. W…
▽ More
The paper proves the equivalence of the notions of nondeterministic and deterministic parameter testing for uniform dense hypergraphs of arbitrary order. It generalizes the result previously known only for the case of simple graphs. By a similar method we establish also the equivalence between nondeterministic and deterministic hypergraph property testing, answering the open problem in the area. We introduce a new notion of a cut norm for hypergraphs of higher order, and employ regularity techniques combined with the ultralimit method.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
Geneartion of higher dimensional modal entanglement using a three waveguide directional coupler
Authors:
Divya Bharadwaj,
K. Thyagarajan,
Michal Karpinski,
Konrad Banaszek
Abstract:
In this paper, we propose a method for the generation of higher dimensional modal entanglement through type II spontaneous parametric down conversion process using a three waveguide directional coupler in a periodically poled lithium niobate substrate. We show that by a proper design, it is possible to achieve an output state of two photons occupying three different spatial modes. The advantage of…
▽ More
In this paper, we propose a method for the generation of higher dimensional modal entanglement through type II spontaneous parametric down conversion process using a three waveguide directional coupler in a periodically poled lithium niobate substrate. We show that by a proper design, it is possible to achieve an output state of two photons occupying three different spatial modes. The advantage of using such waveguide structure is its flexibility and the design space availability to achieve desired characteristics of the photon pairs generated in the down conversion process
△ Less
Submitted 19 March, 2015;
originally announced March 2015.
-
On the Approximability of Independent Set Problem on Power Law Graphs
Authors:
Mathias Hauptmann,
Marek Karpinski
Abstract:
We give the first nonconstant lower bounds for the approximability of the Independent Set Problem on the Power Law Graphs. These bounds are of the form $n^ε$ in the case when the power law exponent satisfies $β<1$. In the case when $β=1$, the lower bound is of the form $\log (n)^ε$. The embedding technique used in the proof could also be of independent interest.
We give the first nonconstant lower bounds for the approximability of the Independent Set Problem on the Power Law Graphs. These bounds are of the form $n^ε$ in the case when the power law exponent satisfies $β<1$. In the case when $β=1$, the lower bound is of the form $\log (n)^ε$. The embedding technique used in the proof could also be of independent interest.
△ Less
Submitted 10 March, 2015;
originally announced March 2015.
-
Tropical Dominating Sets in Vertex-Coloured Graphs
Authors:
J. -A. Angles d'Auriac,
Cs. Bujtas,
A. El Maftouhi,
M. Karpinski,
Y. Manoussakis,
L. Montero,
N. Narayanan,
L. Rosaz,
J. Thapper,
Zs. Tuza
Abstract:
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that the tropical dominating set problem is NP-complete even when restricted to a simple path. Then, we establish upper bounds related to various paramete…
▽ More
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that the tropical dominating set problem is NP-complete even when restricted to a simple path. Then, we establish upper bounds related to various parameters of the graph such as minimum degree and number of edges. We also give upper bounds for random graphs. Last, we give approximability and inapproximability results for general and restricted classes of graphs, and establish a FPT algorithm for interval graphs.
△ Less
Submitted 18 January, 2016; v1 submitted 3 March, 2015;
originally announced March 2015.
-
Polynomial Interpolation and Identity Testing from High Powers over Finite Fields
Authors:
Gabor Ivanyos,
Marek Karpinski,
Miklos Santha,
Nitin Saxena,
Igor Shparlinski
Abstract:
We consider the problem of recovering (that is, interpolating) and identity testing of a "hidden" monic polynomial $f$, given an oracle access to $f(x)^e$ for $x\in{\mathbb F_q}$ (extension fields access is not permitted). The naive interpolation algorithm needs $O(e\, \mathrm{deg}\, f)$ queries and thus requires $e\, \mathrm{deg}\, f<q$. We design algorithms that are asymptotically better in cert…
▽ More
We consider the problem of recovering (that is, interpolating) and identity testing of a "hidden" monic polynomial $f$, given an oracle access to $f(x)^e$ for $x\in{\mathbb F_q}$ (extension fields access is not permitted). The naive interpolation algorithm needs $O(e\, \mathrm{deg}\, f)$ queries and thus requires $e\, \mathrm{deg}\, f<q$. We design algorithms that are asymptotically better in certain cases; requiring only $e^{o(1)}$ queries to the oracle. In the randomized (and quantum) setting, we give a substantially better interpolation algorithm, that requires only $O(\mathrm{deg}\, f \log q)$ queries. Such results have been known before only for the special case of a linear $f$, called the hidden shifted power problem.
We use techniques from algebra, such as effective versions of Hilbert's Nullstellensatz, and analytic number theory, such as results on the distribution of rational functions in subgroups and character sum estimates.
△ Less
Submitted 23 February, 2015;
originally announced February 2015.
-
Smaller Selection Networks for Cardinality Constraints Encoding
Authors:
Michał Karpiński,
Marek Piotrów
Abstract:
Selection comparator networks have been studied for many years. Recently, they have been successfully applied to encode cardinality constraints for SAT-solvers. To decrease the size of generated formula there is a need for constructions of selection networks that can be efficiently generated and produce networks of small sizes for the practical range of their two parameters: n - the number of inpu…
▽ More
Selection comparator networks have been studied for many years. Recently, they have been successfully applied to encode cardinality constraints for SAT-solvers. To decrease the size of generated formula there is a need for constructions of selection networks that can be efficiently generated and produce networks of small sizes for the practical range of their two parameters: n - the number of inputs (boolean variables) and k - the number of selected items (a cardinality bound). In this paper we give and analyze a new construction of smaller selection networks that are based on the pairwise selection networks introduced by Codish and Zanon-Ivry. We prove also that standard encodings of cardinality constraints with selection networks preserve arc-consistency.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
A QPTAS for the Base of the Number of Triangulations of a Planar Point Set
Authors:
Marek Karpinski,
Andrzej Lingas,
Dzmitry Sledneu
Abstract:
The number of triangulations of a planar n point set is known to be $c^n$, where the base $c$ lies between $2.43$ and $30.$ The fastest known algorithm for counting triangulations of a planar n point set runs in $O^*(2^n)$ time. The fastest known arbitrarily close approximation algorithm for the base of the number of triangulations of a planar n point set runs in time subexponential in $n.$ We pre…
▽ More
The number of triangulations of a planar n point set is known to be $c^n$, where the base $c$ lies between $2.43$ and $30.$ The fastest known algorithm for counting triangulations of a planar n point set runs in $O^*(2^n)$ time. The fastest known arbitrarily close approximation algorithm for the base of the number of triangulations of a planar n point set runs in time subexponential in $n.$ We present the first quasi-polynomial approximation scheme for the base of the number of triangulations of a planar point set.
△ Less
Submitted 20 November, 2014; v1 submitted 3 November, 2014;
originally announced November 2014.
-
Characterization of conditional state-engineering quantum processes by coherent state quantum process tomography
Authors:
Merlin Cooper,
Eirion Slade,
Michal Karpinski,
Brian J. Smith
Abstract:
Conditional quantum optical processes enable a wide range of technologies from generation of highly non-classical states to implementation of quantum logic operations. The process fidelity that can be achieved in a realistic implementation depends on a number of system parameters. Here we experimentally examine Fock-state filtration, a canonical example of a broad class of conditional quantum oper…
▽ More
Conditional quantum optical processes enable a wide range of technologies from generation of highly non-classical states to implementation of quantum logic operations. The process fidelity that can be achieved in a realistic implementation depends on a number of system parameters. Here we experimentally examine Fock-state filtration, a canonical example of a broad class of conditional quantum operations acting on a single optical field mode. This operation is based upon interference of the mode to be manipulated with an auxiliary single-photon state at a beam splitter, resulting in the entanglement of the two output modes. A conditional projective measurement onto a single photon at one output mode heralds the success of the process. This operation, which implements a measurement-induced nonlinearity, is capable of suppressing particular photon-number probability amplitudes of an arbitrary quantum state. We employ coherent-state process tomography to determine the precise operation realized in our experiment. To identify the key sources of experimental imperfection, we develop a model of the process and identify three main contributions that significantly hamper its efficacy. The reconstructed tensor is compared with a model of the process taking into account sources of experimental imperfection with fidelity better than 0.95. This enables us to identify three key challenges to overcome in realizing a filter with high fidelity - namely the single-photon nature of the auxiliary state, high-mode overlap, and the need for number resolving detection when heralding. The results show that the filter does indeed exhibit a nonlinear response as a function of input photon number and preserves the phase relation between Fock layers of the output state, providing promise for future applications.
△ Less
Submitted 25 October, 2014;
originally announced October 2014.
-
Complexity of Nondeterministic Graph Parameter Testing
Authors:
Marek Karpinski,
Roland Markó
Abstract:
We study the sample complexity of nondeterministically testable graph parameters and improve existing bounds on it by several orders of magnitude. The technique used would be also of independent interest. We also discuss the special case of weak nondeterministic testing for uniform hypergraphs of arbitrary order.
We study the sample complexity of nondeterministically testable graph parameters and improve existing bounds on it by several orders of magnitude. The technique used would be also of independent interest. We also discuss the special case of weak nondeterministic testing for uniform hypergraphs of arbitrary order.
△ Less
Submitted 4 August, 2016; v1 submitted 15 August, 2014;
originally announced August 2014.
-
Vertex 2-coloring without monochromatic cycles
Authors:
Michał Karpiński
Abstract:
In this paper we study a problem of vertex two-coloring of undirected graph such that there is no monochromatic cycle of given length. We show that this problem is hard to solve. We give a proof by presenting a reduction from variation of satisfiability (SAT) problem. We show nice properties of coloring cliques with two colors which plays pivotal role in the reduction construction.
In this paper we study a problem of vertex two-coloring of undirected graph such that there is no monochromatic cycle of given length. We show that this problem is hard to solve. We give a proof by presenting a reduction from variation of satisfiability (SAT) problem. We show nice properties of coloring cliques with two colors which plays pivotal role in the reduction construction.
△ Less
Submitted 28 July, 2014;
originally announced July 2014.
-
Limits of CSP Problems and Efficient Parameter Testing
Authors:
Marek Karpinski,
Roland Markó
Abstract:
We present a unified framework on the limits of constraint satisfaction problems (CSPs) and efficient parameter testing which depends only on array exchangeability and the method of cut decomposition without recourse to the weakly regular partitions. In particular, we formulate and prove a representation theorem for compact colored $r$-uniform directed hypergraph ($r$-graph) limits, and apply this…
▽ More
We present a unified framework on the limits of constraint satisfaction problems (CSPs) and efficient parameter testing which depends only on array exchangeability and the method of cut decomposition without recourse to the weakly regular partitions. In particular, we formulate and prove a representation theorem for compact colored $r$-uniform directed hypergraph ($r$-graph) limits, and apply this to $r$CSP limits. We investigate the sample complexity of testable $r$-graph parameters, we discuss the generalized ground state energies and demonstrate that they are efficiently testable.
△ Less
Submitted 4 August, 2016; v1 submitted 13 June, 2014;
originally announced June 2014.
-
Approximate Counting of Matchings in $(3,3)$-Hypergraphs
Authors:
Andrzej Dudek,
Marek Karpinski,
Andrzej Ruciński,
Edyta Szymańska
Abstract:
We design a fully polynomial time approximation scheme (FPTAS) for counting the number of matchings (packings) in arbitrary 3-uniform hypergraphs of maximum degree three, referred to as $(3,3)$-hypergraphs. It is the first polynomial time approximation scheme for that problem, which includes also, as a special case, the 3D Matching counting problem for 3-partite $(3,3)$-hypergraphs. The proof tech…
▽ More
We design a fully polynomial time approximation scheme (FPTAS) for counting the number of matchings (packings) in arbitrary 3-uniform hypergraphs of maximum degree three, referred to as $(3,3)$-hypergraphs. It is the first polynomial time approximation scheme for that problem, which includes also, as a special case, the 3D Matching counting problem for 3-partite $(3,3)$-hypergraphs. The proof technique of this paper uses the general correlation decay technique and a new combinatorial analysis of the underlying structures of the intersection graphs. The proof method could be also of independent interest.
△ Less
Submitted 25 October, 2017; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem
Authors:
Michał Karpiński,
Maciej Pacut
Abstract:
The goal of this paper is to propose and test a new memetic algorithm for the capacitated vehicle routing problem in parallel computing environment. In this paper we consider simple variation of vehicle routing problem in which the only parameter is the capacity of the vehicle and each client only needs one package. We present simple reduction to prove the existence of polynomial-time algorithm fo…
▽ More
The goal of this paper is to propose and test a new memetic algorithm for the capacitated vehicle routing problem in parallel computing environment. In this paper we consider simple variation of vehicle routing problem in which the only parameter is the capacity of the vehicle and each client only needs one package. We present simple reduction to prove the existence of polynomial-time algorithm for capacity 2. We analyze the efficiency of the algorithm using hierarchical Parallel Random Access Machine (PRAM) model and run experiments with code written in CUDA (for capacities larger than 2).
△ Less
Submitted 6 March, 2017; v1 submitted 21 January, 2014;
originally announced January 2014.
-
High-visibility nonclassical interference of photon pairs generated in a multimode nonlinear waveguide
Authors:
Michał Jachura,
Michał Karpiński,
Czesław Radzewicz,
Konrad Banaszek
Abstract:
We report measurements of two-photon interference using a cw-pumped type-II spontaneous parametric down-conversion source based on a multimode perodically poled potassium titanyl phosphate waveguide. We have used the recently demonstrated technique of controlling the spatial characteristics of the down-conversion process via intermodal dispersion to generate photon pairs in fundamental transverse…
▽ More
We report measurements of two-photon interference using a cw-pumped type-II spontaneous parametric down-conversion source based on a multimode perodically poled potassium titanyl phosphate waveguide. We have used the recently demonstrated technique of controlling the spatial characteristics of the down-conversion process via intermodal dispersion to generate photon pairs in fundamental transverse modes, thus ensuring their spatial indistinguishability. Good spatial overlap of photon modes within pairs has been verified using the Hong-Ou-Mandel interferometer and the preparation of polarization entanglement in the Shih-Alley configuration, yielding visibilities consistently above 90%.
△ Less
Submitted 26 May, 2014; v1 submitted 20 January, 2014;
originally announced January 2014.
-
Algorithmic Perspectives of Network Transitive Reduction Problems and their Applications to Synthesis and Analysis of Biological Networks
Authors:
Satabdi Aditya,
Bhaskar DasGupta,
Marek Karpinski
Abstract:
In this survey paper, we will present a number of core algorithmic questions concerning several transitive reduction problems on network that have applications in network synthesis and analysis involving cellular processes. Our starting point will be the so-called minimum equivalent digraph problem, a classic computational problem in combinatorial algorithms. We will subsequently consider a few no…
▽ More
In this survey paper, we will present a number of core algorithmic questions concerning several transitive reduction problems on network that have applications in network synthesis and analysis involving cellular processes. Our starting point will be the so-called minimum equivalent digraph problem, a classic computational problem in combinatorial algorithms. We will subsequently consider a few non-trivial extensions or generalizations of this problem motivated by applications in systems biology. We will then discuss the applications of these algorithmic methodologies in the context of three major biological research questions: synthesizing and simplifying signal transduction networks, analyzing disease networks, and measuring redundancy of biological networks.
△ Less
Submitted 27 December, 2013;
originally announced December 2013.
-
Quantum mechanical which-way experiment with an internal degree of freedom
Authors:
Konrad Banaszek,
Pawel Horodecki,
Michal Karpinski,
Czeslaw Radzewicz
Abstract:
For a particle travelling through an interferometer, the trade-off between the available which-way information and the interference visibility provides a lucid manifestation of the quantum mechanical wave-particle duality. Here we analyze this relation for a particle possessing an internal degree of freedom such as spin. We quantify the trade-off with a general inequality that paints an unexpected…
▽ More
For a particle travelling through an interferometer, the trade-off between the available which-way information and the interference visibility provides a lucid manifestation of the quantum mechanical wave-particle duality. Here we analyze this relation for a particle possessing an internal degree of freedom such as spin. We quantify the trade-off with a general inequality that paints an unexpectedly intricate picture of wave-particle duality when internal states are involved. Strikingly, in some instances which-way information becomes erased by introducing classical uncertainty in the internal degree of freedom. Furthermore, even imperfect interference visibility measured for a suitable set of spin preparations can be sufficient to infer absence of which-way information. General results are illustrated with a proof-of-principle single photon experiment.
△ Less
Submitted 31 October, 2013;
originally announced November 2013.
-
Generalized Wong sequences and their applications to Edmonds' problems
Authors:
Gábor Ivanyos,
Marek Karpinski,
Youming Qiao,
Miklos Santha
Abstract:
We design two deterministic polynomial time algorithms for variants of a problem introduced by Edmonds in 1967: determine the rank of a matrix M whose entries are homogeneous linear polynomials over the integers. Given a linear subspace B of the n by n matrices over some field F, we consider the following problems: symbolic matrix rank (SMR) is the problem to determine the maximum rank among matri…
▽ More
We design two deterministic polynomial time algorithms for variants of a problem introduced by Edmonds in 1967: determine the rank of a matrix M whose entries are homogeneous linear polynomials over the integers. Given a linear subspace B of the n by n matrices over some field F, we consider the following problems: symbolic matrix rank (SMR) is the problem to determine the maximum rank among matrices in B, symbolic determinant identity testing (SDIT) is the question to decide whether there exists a nonsingular matrix in B. The constructive versions of these problems are asking to find a matrix of maximum rank, respectively a nonsingular matrix, if there exists one.
Our first algorithm solves the constructive SMR when B is spanned by unknown rank one matrices, answering an open question of Gurvits. Our second algorithm solves the constructive SDIT when B is spanned by triangularizable matrices, but the triangularization is not given explicitly. Both algorithms work over finite fields of size at least n+1 and over the rational numbers, and the first algorithm actually solves (the non-constructive) SMR independently from the field size. Our main tool to obtain these results is to generalize Wong sequences, a classical method to deal with pairs of matrices, to the case of pairs of matrix spaces.
△ Less
Submitted 26 June, 2014; v1 submitted 24 July, 2013;
originally announced July 2013.
-
Quantum state estimation with unknown measurements
Authors:
Merlin Cooper,
Michal Karpinski,
Brian J. Smith
Abstract:
Improved measurement techniques are central to technological development and foundational scientific exploration. Quantum optics relies upon detectors sensitive to non-classical features of light, enabling precise tests of physical laws and quantum-enhanced technologies such as precision measurement and secure communications. Accurate detector response calibration for quantum-scale inputs is key t…
▽ More
Improved measurement techniques are central to technological development and foundational scientific exploration. Quantum optics relies upon detectors sensitive to non-classical features of light, enabling precise tests of physical laws and quantum-enhanced technologies such as precision measurement and secure communications. Accurate detector response calibration for quantum-scale inputs is key to future research and development in these cognate areas. To address this requirement quantum detector tomography (QDT) has been recently introduced. However, the QDT approach becomes increasingly challenging as the complexity of the detector response and input space grows. Here we present the first experimental implementation of a versatile alternative characterization technique to address many-outcome quantum detectors by limiting the input calibration region. To demonstrate the applicability of this approach the calibrated detector is subsequently used to estimate non-classical photon number states.
△ Less
Submitted 3 March, 2014; v1 submitted 27 June, 2013;
originally announced June 2013.
-
Approximation Hardness of Graphic TSP on Cubic Graphs
Authors:
Marek Karpinski,
Richard Schmied
Abstract:
We prove explicit approximation hardness results for the Graphic TSP on cubic and subcubic graphs as well as the new inapproximability bounds for the corresponding instances of the (1,2)-TSP. The proof technique uses new modular constructions of simulating gadgets for the restricted cubic and subcubic instances. The modular constructions used in the paper could be also of independent interest.
We prove explicit approximation hardness results for the Graphic TSP on cubic and subcubic graphs as well as the new inapproximability bounds for the corresponding instances of the (1,2)-TSP. The proof technique uses new modular constructions of simulating gadgets for the restricted cubic and subcubic instances. The modular constructions used in the paper could be also of independent interest.
△ Less
Submitted 14 May, 2013; v1 submitted 25 April, 2013;
originally announced April 2013.
-
New Inapproximability Bounds for TSP
Authors:
Marek Karpinski,
Michael Lampis,
Richard Schmied
Abstract:
In this paper, we study the approximability of the metric Traveling Salesman Problem (TSP) and prove new explicit inapproximability bounds for that problem. The best up to now known hardness of approximation bounds were 185/184 for the symmetric case (due to Lampis) and 117/116 for the asymmetric case (due to Papadimitriou and Vempala). We construct here two new bounded occurrence CSP reductions w…
▽ More
In this paper, we study the approximability of the metric Traveling Salesman Problem (TSP) and prove new explicit inapproximability bounds for that problem. The best up to now known hardness of approximation bounds were 185/184 for the symmetric case (due to Lampis) and 117/116 for the asymmetric case (due to Papadimitriou and Vempala). We construct here two new bounded occurrence CSP reductions which improve these bounds to 123/122 and 75/74, respectively. The latter bound is the first improvement in more than a decade for the case of the asymmetric TSP. One of our main tools, which may be of independent interest, is a new construction of a bounded degree wheel amplifier used in the proof of our results.
△ Less
Submitted 10 June, 2013; v1 submitted 26 March, 2013;
originally announced March 2013.