An Enhanced Photonic Quantum Finite Automaton

In a recent paper we have described an optical implementation of a measure-once one-way quantum finite automaton recognizing a well-known family of unary periodic languages, accepting words not in the language with a given error probability. To process input words, the automaton exploits the degree of polarization of single photons and, to reduce the acceptance error probability, a technique of confidence amplification using the photon counts is implemented. In this paper, we show that the performance of this automaton may be further improved by using strategies that suitably consider both the orthogonal output polarizations of the photon. In our analysis, we also take into account how detector dark counts may affect the performance of the automaton.


I. INTRODUCTION
In the recent years, quantum computers have eventually leaped out of the laboratories [1] and become accessible to a still growing community interested in investigating their actual potentialities.Nevertheless, a full-featured quantum computer is still far from being built.However, it is reasonable to think of classical computers exploiting some quantum components.In this framework, quantum finite automata [2,3]-theoretical models for quantum machines with finite memory-may play a key role, since they model small-size quantum computational devices that can be embedded in classical ones.Among possible models, the so-called measure-once one-way quantum finite automaton [4,5] is the simplest and it has been shown to be the most promising for a physical realization [6].In fact, restricted models of computation, such as quantum versions of finite automata, have been theoretically studied [7][8][9] and, very recently, experimentally investigated [6,10].
In [6], a measure-once one-way quantum finite automaton recognizing a well-known family of unary periodic languages [4], namely languages L m , has been implemented using quantum optical technology [11,12].In our implementation, a given input word is accepted by the automaton, with a given error probability, whenever a single photon arrives at the output of the device with a specific polarization.In particular, the experimental realization, based on the manipulation of single-photon polarization and photodetection, have demonstrated the possibility of building small quantum computational component to be embedded in more sophisticated and precise quantum finite automata or also in other computational systems and approaches [13][14][15].Albeit the photonic automaton realized in [6] is fed with single photons, it works in a regime where polarized laser pulses (coherent states) are enough, up to detecting the intensity of the output signals instead of counting the number of photons successfully passing through the device with a given polarization (see [6] for details).
In this paper, we propose an enhanced version of our photonic automaton mentioned above, where, to further reduce the acceptance error probability, we consider not only the photons with the "correct" polarization, but also the other ones.To achieve this goal, the use of single-photon techniques turns out to be crucial, such as the detection of coincidence count to reduce the dark-count rate of the photodetectors [16].Analytical and numerical results, supported by simulated experiments, show that the enhanced version allows to reduce the error probability by orders of magnitude compared to the previous version, or, analogously, to drastically reduce the mean number of photons needed to achieve the same performance.
The paper is structured as follows.Since our work requires some previous knowledge from Theoretical Computer Science about formal languages and finite automata, section II is devoted to introduce the reader to these topics, providing the relevant motivations.In section III we briefly review basics of formal language theory and the definition of a measure-once one-way quantum finite automaton.Section IV describes the implementation of the measure-once one-way quantum finite automaton based on the polarization of single photons, linear optical elements and photodetectors.In section V we explain how to improve the confidence of the obtained measure-once one-way quantum finite automaton by processing the number of counts at the detectors.We also introduce new strategies that reduce the error probability, namely, the probability that a "wrong" word is accepted by the automaton or a "correct" word is rejected.The numerical results and the simulated experiments are reported in Section VI.We close the paper with some concluding remarks in section VII.

II. FORMAL LANGUAGES, FINITE AUTOMATA AND QUANTUM COMPUTING
In this section we would like to expand on motivations that have been driving our research covered by the present contribution and the previous one in [6].The aim of our work, that bridges between Theoretical Computer Science and Experimental Quantum Optics, has been and is to show that a quantum computing device with finite memory is physically realizable by means of photonics, using a very limited amount of "quantum hardware".To the best of our knowledge, our physical implementation, described here and in [6], of a quantum finite automaton for language acceptation is the first proposed in the literature.Thus, we have shown how the quantum behaviour of microscopic systems can actually represent a computational resource, as theoretically established within the discipline of Quantum Computing.From this perspective, the simple language L m , introduced in the next section and for which we build our photonic quantum finite automaton, is not really the point here.Instead, the point is the concrete creation of a programmable fully quantum computer with finite memory.
With this being said, we would also like to quickly comment on the language L m from a Theoretical Computer Science viewpoint.Notwithstanding its simplicity, the language L m plays a crucial role in Descriptional Complexity Theory (see, e.g., [17][18][19][20][21]), the area of Formal Language Theory in which the size of computational models is investigated.In particular, a well consolidated trend in Descriptional Complexity is devoted to study the size of several types of finite automata.The reader is referred to, e.g., [22] for extensive presentations of automata theory.Very roughly speaking, the hardware of a (one-way) finite automaton A features a read-only input tape consisting of a sequence of cells, each one being able to store an input symbol.The tape is scanned by an input head always moving one position right at each step.At each time during the computation of A, a finite state control is in a state from a finite set Q. Some of the states in Q are designated as accepting states, while a state q 0 ∈ Q is a designated initial state.The computation of A on a word (i.e, a finite sequence of symbols) ω from a given input alphabet begins by having (i) ω stored symbol by symbol, left to right, in the cells of the input tape, (ii) the input head scanning the leftmost tape cell, and (iii) the finite state control being in the state q 0 .In a move, A reads the symbol below the input head and, depending on such a symbol and the state of the finite state control, it switches to the next state according to a fixed transition function and moves the input head one position forward.We say that A accepts ω whenever it enters an accepting state after scanning the rightmost symbol of ω; otherwise, A rejects ω.The language accepted by A consists of all the input words accepted by A.
The one described so far is the original model of a finite automaton, called deterministic.Several variants of such an original model have been introduced and studied in the literature, sharing the same hardware but different dynamics.So, we have nondeterministic, probabilistic and, recently, quantum finite automata (see, e.g., [23][24][25]).Also, two-way automata are studied, where the input head can move back and forth on the input tape.
Finite automata represent a formidable theoretical model used in the design and analysis of several devices such as the control units for vending machines, elevators, traffic lights, combination locks, etc. Particularly important is the use of finite automata in very large scale integration (VLSI) design, namely, in the project of sequential networks which are the building blocks of modern computers and digital systems.Very roughly speaking, a sequential network is a boolean circuit equipped with memory.Engineering a sequential network typically requires modelling its behaviour with a finite automaton whose number of states directly influences the amount of hardware (i.e., the number of logic gates) employed in the electronic realization of the sequential network.From this point of view, having fewer states in the modelling finite automaton directly results in employing smaller hardware which, in turn, means having less energy absorption and fewer cooling problems.These "physical" considerations, of paramount importance given the current level of digital device miniaturization, have led to define the size of a finite automaton as the number of its states.In particular, reducing or increasing the number of states is studied, when using different computational paradigms (e.g., deterministic, nondeterministic, probabilistic, quantum, one-way, two-way) on a finite automaton to perform a given task.Here is where our simple language L m comes into play.In fact, this language is universally used as a benchmark to emphasize the succinctness of several types of automata.Several results in the literature shows that accepting L m on classical models of finite state automata is particularly size-consuming (i.e, it requires a great number of states), while only two basis states are enough on quantum finite automata, as we will see in the next section.Modular design frameworks have been theoretically proposed [7][8][9], where more reliable and sophisticated quantum automata can be built by suitably composing (see, e.g., [26]) easy-to-obtain variants of the quantum automaton for L m .Hence, our work provides crucial and concrete quantum components for such frameworks, and suggest investigating a physical implementation of some automata composition laws.More generally, the Krohn-Rhodes decomposition theorem [27] states that any classical finite automaton can be simulated by composing very "simple" finite automata: one of these simple automata is exactly the one for L m .From this perspective, our photonic quantum automaton could be hardwired into "hybrid" architectures joining classical and quantum components to build very succinct finite state devices operating in environments where dimension and energy absorption are particularly critical issues (e.g., drone or robot-based systems [28]).

III. MEASURE-ONCE ONE-WAY QUANTUM FINITE AUTOMATON
Here, we briefly overview main concepts on automata and formal language theory.We refer the interested reader to any of the standard books on these subjects (see, e.g., [22]), as well as to our contribution [6].
An alphabet is any finite set Σ of elements called symbols.A word on Σ is any sequence The set of all words on Σ is denoted by Σ * .A language L on Σ is any subset of Σ * , i.e., L ⊆ Σ * .If |Σ| = 1 we say that Σ is a unary alphabet, and languages on unary alphabets are called unary languages.In case of unary alphabets, we customarily let Σ = {a} so that a unary language is any set L ⊆ a * .We let a k be the unary word obtained by concatenating k times the symbol a.
In what follows, we will be interested in the unary language L m defined as This language is rather famous in the realm of automata theory, since it has proven particularly "size-consuming" to be accepted by several models of classical automata, since the number of needed states increases with m [6].The reader may find a deep investigation on this fact in the literature [22,[29][30][31].On the other hand, as presented in [6], very succinct measure-once oneway quantum finite automata (1qfa's, from now on) may be designed and physically realized for L m .Let us now sketch the main ingredients for a 1qfa accepting L m .
If we consider the two orthogonal states |H = (1, 0) and |V = (0, 1), the 1qfa is defined as (here we use the formalism based on the Dirac's notation; the analysis based on a more general formalism can be found in [6]) where |H represents the initial state, the unitary operation applied by the automaton upon processing any input symbol a is defined as with θ m = π/m and σ y the Pauli matrix, while P H = |H H| is the projector onto the mono-dimensional accepting subspace spanned by |H .The probability p A1 (a k ) that the 1qfa A 1 accepts the word a k writes as Therefore, the 1qfa A 1 perfectly recognizes the word a k ∈ L m , since we can set a cut point λ and an isolation ρ to the following values (see [6] for details on accepting languages with isolated cut point) However, A 1 may also recognize an input word not in L m with a non-null probability.In the following, we let a k1 with k 1 (mod m) = 1 any of the word with the highest probability of erroneously being accepted, i.e. cos 2 θ m , which tends to 1 as m gets large.This can be seen also by the fact that ρ → 0 as m increases.
As matter of fact, we can also introduce the following 1qft, where we still consider the initial state |H , but, at the output, we focus on the final projection involving the state |V , namely where In fact, the probability of accepting a word is now given by that is the same as in Eq. ( 6), as one may expect.Nevertheless, we show in the next section that the two are not equivalent in a photonic implementation for reasons that will be clear soon.

(accepted)
A < l a t e x i t s h a 1 _ b a s e 6 4 = " ( n u l l ) " > ( n u l l ) < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " ( n u l l ) " > ( n u l l ) < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " ( n u l l ) " > ( n u l l ) < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " ( n u l l ) " > ( n u l l ) < / l a t e x i t > polarizing beam splitter (PBS) single photon source

IV. PHOTONIC IMPLEMENTATION OF THE 1QFA
A photonic implementation of the 1qfa described in the previous section was proposed and demonstrated in [6]. Figure 1 depicts the main elements of the enhanced version of the automata we will describe in the following.
The state of the automaton is encoded in the polarization of single photons, and the Hilbert space is H = span{|H , |V }.A single photon source generates a horizontal-polarized state |H , which is sent to k rotators of polarization, a k being the input word to be processed.Each rotator corresponds to a unitary rotation of an amount θ m , which is thus language-dependent.After the rotators, the single photon state reads and it is sent to a polarizing beam splitter (PBS in Fig. 1) that reflects the vertical polarization component and transimits the horizontal one.Finally, two photo-detectors placed after the PBS realize the projective measure of P H and P V .As the reader can see, the scheme is almost the same of that proposed in [6], but here we will implement a new inference strategy exploiting the outcomes from both the detectors.As we observed in the previous section, the automata A 1 and A 2 accept with certainty a word a k that belongs to L m .However, there is a high probability that an incorrect word, such as a k1 with k 1 mod m = 0 can be accepted, as we can see from Eqs. ( 6) and ( 9).Hence, strategy based on a single-photon shot may not be the optimal way to recognize an arbitrary word a k .

V. CONFIDENCE AMPLIFICATION: AN ENHANCED STRATEGY
To reduce the probability of error, we can adopt a technique of confidence amplification as also proposed in [6], namely, we sent a mean number of photons N c and we count the number of click N x c (k) at the photodetector x = H, V , see Fig. 1.Therefore, the observed detection frequency at detector x = H, V for an input word a k will be Thereafter, we turn our problem into that of discriminating among the corresponding detection frequencies and, in particular, we can focus on those related to k = 0 (or, equivalently, k mod m = 0) and k = 1 (or, more in general, . To implement this strategy, we set a threshold frequency as where ) is the highest (lowest) frequency of erroneously accepted words a k1 , while f H 0 (f V 0 ) is the frequency corresponding to the correct word.In this formula we have distinguished the two different strategies: for the H detector, f H 0 = 1, since the corresponding photon will always be detected; instead, for the V detector, f V 0 = 0, since no photon is detected when the word belongs to L m .Hence, the strategy is to accept the word if . From now on, we will refer to these strategies as "H strategy" and "V strategy", respectively.
In an ideal scenario, namely, without fluctuations in the sent number of photons, it is clear that the two approaches are complementary and yield to the same conclusion, since the single detections in H and V are perfectly correlated.Moreover, given that only the words a k ∈ L m satisfy the condition f k > f th , with this strategy we have a zero error probability, provided that N c is large enough such that the integer part of )), i.e. we have the conditions In Fig. 2 (black lines and dots) we report the minimum values of N c such that the last two inequalities hold.In a realistic scenario, the photo-detection is influenced by two distinct noisy effects that can affect the error probability.The first is that the number of detected photons follows a Poisson distribution [32], that is we have that is the probability of detect n photons depends on the average number of detected photons µ.How this affects the error probability has been thoroughly addressed both theoretically and experimentally in [6].
The second effect that we should consider in order to apply our enhanced strategy is due to the dark counts, namely, the random counts registered by the detector without any incident light on it.Being still related to the detection process, also the dark counts follow a Poissonian distribution, whose mean N dc depend on the particular detector one choose to use.In a typical quantum optics experiments, the dark-count rate ranges from tens to hundreds of photons per second, but this number can be drastically reduced by using coincidence counting techniques [16], up to making this effect negligible.For instance, in the implementation in [6] the dark counts where only 0.001% of the effective coincidence counts.Since the dark counts occurs randomly, we cannot distinguish between a dark count and signal one.Therefore, the probability of detecting N photon in the H or V photodetector for a word a k is finally given by where η H = N c cos 2 (kθ m ) and η V = N c sin 2 (kθ m ), while we have defined the overall mean number of detected photons as As we noticed above, the dark count rate is usually very small with respect to the detected count rate of the signal.Therefore, for the H detector which detects the higher number of photons, see Eqs. (17), they are relevant only when N c ∼ N dc .On the contrary, for the V detector, detecting the lower number of photons, their role is fundamental in determining the performance of the photonic automaton, since µ V m = µ dc = N dc .This is the main difference between the two strategies: in the first, we need to distinguish between two finite mean numbers of photon µ H m = N c + N dc and µ H k1 , while in the second case we need to distinguish between the noise due to dark counts, being µ V m = N dc , and µ V k1 .However, to assess the performance of second strategy with respect the first one, we need to evaluate the probability of errors in the two cases.16) for the H detector (left plot) and the V detector (right plot) for Nc = 500, N dc = 100 and m = 11.The probability of error in Eq. ( 23) and ( 27) are respectively p V e = 0.034 (V detector) and p H e = 0.205 (H detector).The grey dashed line is the threshold values in Eq. (18).The values of the involved parameters have been chosen to better highlight the investigated effect.
Let us first find the threshold values in the two different strategy.We need to find the intersection between two Poissonian distributions for a word belong to L m and a word a k1 with highest probability of being erroneously being accepted, as show in Fig. 3.By imposing Poi(N x th ; µ x 1 ) = Poi(N x th ; µ x m ), where x = H, V , we find an exact solution for N x th given by (see the vertical dashed line in Fig. 3) To highlight the dark counts effects, we introduce the ratio η = N dc / N c , and we have In our framework, the accepting problem is introduced as binary discrimination between the correct word and the word with the highest probability of error.However, in the photonic realization of the automata [6], when the number of input photons is small and m is large, also word with larger k(mod m) may contribute to the error.For this reason, like in the ideal case, we establish the minimum number of input photon N c min which are necessary to faithfully consider the problem as binary discrimination.
To have faithfully binary discrimination the fluctuations due to the word with the second-largest probability of error, i.e. a word a k2 with k 2 (mod m) = 2, must be much larger than the fluctuations due to the correct word, where here for "large" we mean at least two standard deviations.In this way, the discrimination can be considered only between the words a m and a k1 .In the case of a Poissonian random variable, the standard deviation is the square root of the mean for Poissonian random variables.Hence, we have the two conditions respectively for the H and V detector In the first one we ask that the fluctuations due to the word with the second largest probability of error, i.e. a word k 2 with k 2 (mod m) = 2 are much larger than the fluctuations due to dark counts.In a similar way we define the threshold for the horizontal detector.These equations can be solved for N c and set a lower bounds for it such that the probability of error can be evaluated in term of a binary discrimination problem, as shown in Fig. 2 (red and blue lines and points) .Now we can now evaluate the probability of error for the two strategies.Indeed, this is equal to where we have denoted p x (a i → a j ) as the probability of detecting the word a i as a j by the detector x = H, V .Since we have no a priori knowledge on the input word we set the prior probabilities p(a k1 ) = p(a m ) = 1/2, and for the V detector we obtain where Γ(a, x) is the incomplete Gamma function Analogously, we may evaluate the probability of error for the detection of a horizontally polarized photon, i.e.
Eventually, we can introduce a third strategy that combines the two described so far: for each beam of photon, we propose to measure both the H and V polarization and to combine the results so obtained.From a theoretical point of view, this is equivalent to the automata presented before, since in the ideal case the two detectors perfectly agree, i.e. one sees the photon and the other one does not see it.However, in the non-ideal case, noisy fluctuations affect photodetection.Since the fluctuations in the H detector are independent from the one in the V detector, the probability of erroneously accepting it by looking at both H and V is given as where J here stands for joint.

VI. NUMERICAL RESULTS AND SIMULATIONS
The comparison of the three strategies is reported in Fig. 4. We see that the V strategy outperforms the H strategy for all the possible values of input photon, reaching almost a negligible error for approximately an order of magnitude less than the H strategy.The joint strategy realizes a further enhancement, even though the p J e approaches 0 with the same order of magnitude of N c as p V e .We have also reported the solution for the inequalities (21a) and (21b) as a point along the corresponding line: for smaller value, the probabilities of error are not reliable since the contribution of the words with larger k(mod m) is not negligible.In addition, increasing the average number of dark counts slightly increases the probability of error for all the strategies considered, even though no significant effects are detected for the considered range of values of N dc .
In Fig. 5 we show the number of counts at the H and V detectors from a simulated experiment.We can see a significant reduction of the fluctuations in the V detector, which is also marked by the significant difference in the probability of error p H e and p V e .The main reason is that the counts in the V detector are affected only by the randomness due to the dark counts (if present), while in the H detector the expected number of photons contributes to the randomness of the outcomes as well.We have also reported the results for words of length k(mod m) = 2, which are are significantly separated from N x c (m) and N x c (k 1 ) since the value of N c considered is much larger than the threshold given in (21a) and (21b).

VII. CONCLUSIONS
In this work we have presented an enhanced photonic implementation of 1qfa for the recognition of unary language that significantly improves the performance obtained by the one originally proposed in [6].The protocol uses the polarization degree of freedom of single photons, and exploits the possibility of detecting not only the horizontal polarization, as in [6], but also the th .We considered N dc = 100 and Nc = 500 (the same parameters of Fig. 3).The probabilities of error given in Eq. ( 23) and Eq. ( 27) are respectively p V e = 0.034 and p H e = 0.205.The minimum number of input Nc for the H detector, solution of (21a), is N H c min = 238, while for V , solution of (21b), is N V c min = 151.vertical one.The resulting scheme largely outperforms the original automaton for smaller values of the mean number of sent photon N c .In addition, we have extended the results previously found with a detailed analysis of the conditions for which such 1qfa can work with high reliability.We have evaluated the minimum number of photons that must be sent in order to solve faithfully the inherent binary discrimination problem.As one would expect, the minimum N c is smaller for the automaton that relies on the new strategy based on the V detector.
In our analysis we have discussed the presence of dark counts in the detection of both strategies, we have evaluated their effects both on the probability of error and on the minimum N c .Eventually, we have also examined a joint strategy in which we combine both the H and the V detection, which can indeed be used at no additional cost.We have therefore proved that when the number of sent photon is constrained to small values, the V detection version of the 1qfa should be preferred.
Our results pave the way to the effective implementation of 1qfa using quantum optical platform, thus opening the possibility of processing strings of input symbols using feasible devices and, in turn, to introduce quantum languages and compare the complexity of classes of languages in classical and quantum cases.More generally, since the assessment of the actual power of quantum computers is one of the most significant challenges of quantum technology, implementing quantum automata provides a relevant arena to better understand the computing capabilities offered by quantum devices.
r e F I W m y n A m c F b q p h o T y s Z 0 i B 1 L J c 0 S 2 d 0 z c m a V A Q l j Z Z 8 0 J F N / T 0 x p p P U k C m w y o m a k l 7 2 5 + J / X S U 1 4 3 Z t y m a Q G J V s s C l N B T E z m J Z A B V 8 i M m F h C m e L 2 V s J G V F F m b F U l 2 4 i 3 / P 9 V 0 r y o e W 7 N u 7 + s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E + M B j C M 7 z A q z N x 3 p x 3 5 2 M R L T j 5 z D H 8 g f P 5 A 2 W z k y I = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " r e F I W m y n A m c F b q p h o T y s Z 0 i B 1 L J c 0 S 2 d 0 z c m a V A Q l j Z Z 8 0 J F N / T 0 x p p P U k C m w y o m a k l 7 2 5 + J / X S U 1 4 3 Z t y m a Q G J V s s C l N B T E z m J Z A B V 8 i M m F h C m e L 2 V s J G V F F m b F U l 2 4 i 3 / P 9 V 0 r y o e W 7 N u 7 + s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E + M B j C M 7 z A q z N x 3 p x 3 5 2 M R L T j 5 z D H 8 g f P 5 A 2 W z k y I = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " r e F I W m y n A m c F b q p h o T y s Z 0 i B 1 L J c 0 S 2 d 0 z c m a V A Q l j Z Z 8 0 J F N / T 0 x p p P U k C m w y o m a k l 7 2 5 + J / X S U 1 4 3 Z t y m a Q G J V s s C l N B T E z m J Z A B V 8 i M m F h C m e L 2 V s J G V F F m b F U l 2 4 i 3 / P 9 V 0 r y o e W 7 N u 7 + s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E + M B j C M 7 z A q z N x 3 p x 3 5 2 M R L T j 5 z D H 8 g f P 5 A 2 W z k y I = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = "v r o + H C 5 X 3 u B m l Z X w Q n k u L g D c p M o = " > A A A B 9 3 i c b V A 9 S w N B F H w X v 2 L 8 i l r a L A b B I o Q 7 E d Q u Y G M Z 0 U s C S Q h 7 m 3 f J k r 2 9 Y 3 d P C C E / w V Z L O 7 H 1 5 1 j 5 V 9 x c r t D E g Y V h Z h 7 v 7 Q S J 4 N q 4 7 p d T W F v f 2 N w q b p d 2 d v f 2 D 8 q H R 0 0 d p 4 q h z 2 I R q 3 Z A N Q o u 0 T f c C G w n C m k U C G w F 4 9 u 5 3 3 p C p X k s H 8 0 k w V 5 E h 5 K H n F F j p Q e / H / X L F b f m Z i C r x M t J B X I 0 + u X v 7 i B m a Y T S M E G 1 7 o R c U l H 1 k q r h E er e F I W m y n A m c F b q p h o T y s Z 0 i B 1 L J c 0 S 2 d 0 z c m a V A Q l j Z Z 8 0 J F N / T 0 x p p P U k C m w y o m a k l 7 2 5 + J / X S U 1 4 3 Z t y m a Q G J V s s C l N B T E z m J Z A B V 8 i M m F h C m e L 2 V s J G V F F m b F U l 2 4 i 3 / P 9 V 0 r y o e W 7 N u 7 + s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E + M B j C M 7 z A q z N x 3 p x 3 5 2 M R L T j 5 z D H 8 g f P 5 A 2 W z k y I = < / l a t e x i t > ⇣ < l a t e x i t s h a 1 _ b a s e 6 4 = " z v I 4 X 6 8 r 0 N 9 S O U L 9 y U M y s V r v s d A = " > A 1 w h c y I i S X A F L e 3 U j Y C B c z Y s k q 2 E W / 5 / 6 u k e V H z 3 J p 3 f 1 m p 3 + T d F M k J O S X n x C N X p E 7 u S I P 4 h B F O n s k L e X W m z p v z 7 n w s o g U n n z k m f + B 8 / g A p L 5 Q l < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " z v I 4 X 6 8 r 0 N 9 S O U L 9 y U M y s V r v s d A = " > A 1 w h c y I i S X A F L e 3 U j Y C B c z Y s k q 2 E W / 5 / 6 u k e V H z 3 J p 3 f 1 m p 3 + T d F M k J O S X n x C N X p E 7 u S I P 4 h B F O n s k L e X W m z p v z 7 n w s o g U n n z k m f + B 8 / g A p L 5 Q l < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " z v I 4 X 6 8 r 0 N 9 S O U L 9 y U M y s V r v s d A = " > A 1 w h c y I i S X A F L e 3 U j Y C B c z Y s k q 2 E W / 5 / 6 u k e V H z 3 J p 3 f 1 m p 3 + T d F M k J O S X n x C N X p E 7 u S I P 4 h B F O n s k L e X W m z p v z 7 n w s o g U n n z k m f + B 8 / g A p L 5 Q l < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " z v I 4 X 6 8 r 0 N 9 S O U L 9 y U M y s V r v s d A = " > A 1 w h c y I i S X A F L e 3 U j Y C B c z Y s k q 2 E W / 5 / 6 u k e V H z 3 J p 3 f 1 m p 3 + T d F M k J O S X n x C N X p E 7 u S I P 4 h B F O n s k L e X W m z p v z 7 n w s o g U n n z k m f + B 8 / g A p L 5 Q l < / l a t e x i t > P < l a t e x i t s h a 1 _ b a s e 6 4 = " L d 3 A n r R z D a J S X q W 6 3 r W r q W p h 6 m E = " > AA A B 9 X i c b V C 7 S g N B F L 0 b X z G + o p Y 2 g 0 G w C G F X B L U L 2 F g m Y B 6 Q B J m d 3 E 2 G z M 4 u M 7 N K C P k C W y 3 t x N b v s f J X n N 1 s o Y k H B g 7 n n M u 9 c / x Y c G 1 c 9 8 s p r K 1 v b G 4 V t 0 s 7 u 3 v 7 B + X D o 7 a O E s W w x S I R q a 5 P N Q o u s W W 4 E d i N F d L Q F 9 j x J 7 e p 3 3 l E p X k k 7 8 0 0 x k F I R 5 I H n F F j p W b j o V x x a 2 4 G s k q 8 n F Q g h 8 1 / 9 4 c R S 0 K U h g m q d S / g k o q q F 1 c N D 1 E P Z i g 0 V Y Y z g f N S P 9 E Y U z a h I + x Z K m m W y K 6 e k z O r D E k Q K f u k I Z n 6 e 2 J G Q 6 2 n o W + T I T V j v e y l 4 n 9 e L z H B 9 W D G Z Z w Y l G y x K E g E M R F J K y B D r p A Z M b W E M s X t r Y S N q a L M 2 K J K t h F v + f + r p H 1 R8 9 y a 1 7 y s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E t Y I D w D C / w 6 j w 5 b 8 6 7 8 7 G I F p x 8 5 h j + w P n 8 A d N H k j 0 = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = "L d 3 A n r R z D a J S X q W 6 3 r W r q W p h 6 m E = " > A A A B 9 X i c b V C 7 S g N B F L 0 b X z G + o p Y 2 g 0 G w C G F X B L U L 2 F g m Y B 6 Q B J m d 3 E 2 G z M 4 u M 7 N K C P k C W y 3 t x N b v s f J X n N 1 s o Y k H B g 7 n n M u 9 c / x Y c G 1 c 9 8 s p r K 1 v b G 4 V t 0 s 7 u 3 v 7 B + X D o 7 a O E s W w x S I R q a 5 P N Q o u s W W 4 E d i N F d L Q F 9 j x J 7 e p 3 3 l E p X k k 7 8 0 0 x k F I R 5 I H n F F j p W b j o V x x a 2 4 G s k q 8 n F Q g h 8 1 / 9 4 c R S 0 K U h g m q d S / g k o q q F 1 c N D 1 E P Z i g 0 V Y Y z g f N S P 9 E Y U z a h I + x Z K m m W y K 6 e k z O r D E k Q K f u k I Z n 6 e 2 J G Q 6 2 n o W + T I T V j v e y l 4 n 9 e L z H B 9 W D G Z Z w Y l G y x K E g E M R F J K y B D r p A Z M b W E M s X t r Y S N q a L M 2 K J K t h F v + f + r p H 1 R8 9 y a 1 7 y s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E t Y I D w D C / w 6 j w 5 b 8 6 7 8 7 G I F p x 8 5 h j + w P n 8 A d N H k j 0 = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " L d 3A n r R z D a J S X q W 6 3 r W r q W p h 6 m E = " > A A A B 9 X i c b V C 7 S g N B F L 0 b X z G + o p Y 2 g 0 G w C G F X B L U L 2 F g m Y B 6 Q B J m d 3 E 2 G z M 4 u M 7 N K C P k C W y 3 t x N b v s f J X n N 1 s o Y k H B g 7 n n M u 9 c / x Y c G 1 c 9 8 s p r K 1 v b G 4 V t 0 s 7 u 3 v 7 B + X D o 7 a O E s W w x S I R q a 5 P N Q o u s W W 4 E d i N F d L Q F 9 j x J 7 e p 3 3 l E p X k k 7 8 0 0 x k F I R 5 I H n F F j p W b j o V x x a 2 4 G s k q 8 n F Q g h 8 1 / 9 4 c R S 0 K U h g m q d S / g k o q q F 1 c N D 1 E P Z i g 0 V Y Y z g f N S P 9 E Y U z a h I + x Z K m m W y K 6 e k z O r D E k Q K f u k I Z n 6 e 2 J G Q 6 2 n o W + T I T V j v e y l 4 n 9 e L z H B 9 W D G Z Z w Y l G y x K E g E M R F J K y B D r p A Z M b W E M s X t r Y S N q a L M 2 K J K t h F v + f + r p H 1 R8 9 y a 1 7 y s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E t Y I D w D C / w 6 j w 5 b 8 6 7 8 7 G I F p x 8 5 h j + w P n 8 A d N H k j 0 = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " L d 3 A n r R z D a J S X q W 6 3 r W r q W p h 6 m E = " > A A A B 9 X i c b V C 7 S g N B F L 0 b X z G + o p Y 2 g 0 G w C G F X B L U L 2 F g m Y B 6 Q B J m d 3 E 2 G z M 4 u M 7 N K C P k C W y 3 t x N b v s f J X n N 1 s o Y k H B g 7 n n M u 9 c / x Y c G 1 c 9 8 s p r K 1 v b G 4 V t 0 s 7 u 3 v 7 B + X D o 7 a O E s W w x S I R q a 5 P N Q o u s W W 4 E d i N F d L Q F 9 j x J 7 e p 3 3 l E p X k k 7 8 0 0 x k F I R 5 I H n F F j p W b j o V x x a 2 4 G s k q 8 n F Q g h 8 1 / 9 4 c R S 0 K U h g m q d S / g k o q q F 1 c N D 1 E P Z i g 0 V Y Y z g f N S P 9 E Y U z a h I + x Z K m m W y K 6 e k z O r D E k Q K f u k I Z n 6 e 2 J G Q 6 2 n o W + T I T V j v e y l 4 n 9 e L z H B 9 W D G Z Z w Y l G y x K E g E M R F J K y B D r p A Z M b W E M s X t r Y S N q a L M 2 K J K t h F v + f + r p H 1 R 8 9 y a 1 7 y s 1 G / y b o p w A q d w D h 5 c Q R 3 u o A E t Y I D w D C / w 6 j w 5 b 8 6 7 8 7 G I F p x 8 5 h j + w P n 8 A d N H k j 0 = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " 6 8 X 7 U 9 e A U 5 a P t t 0 3 J / H k Y 6 S 7 7 8 o = " > A A A C J H i c b V D J S g N B E O 2 J e 9 x G P X p p D

FIG. 1 .
FIG.1.Scheme of the photonic implementation of the 1qfa highlighting the main involved optical elements.See the text for details.

FIG. 2 .
FIG. 2. Black line and dots: minimum value Nc min such that Eq. (13a) (left plot) and Eq.(13b) (right plot) are satisfied as a function of m in the absence of dark counts (N dc = 0).Red line and dots (N dc = 50), blue line and dot (N dc = 100): minimum vale Nc min such that Eq. (21a) (left plot) and Eq.(21b) (right) plot are satisfied.Notice the different scaling for the y-axis.

FIG. 3 .
FIG.3.Probability density function of the Poissonian distribution in Eq. (16) for the H detector (left plot) and the V detector (right plot) for Nc = 500, N dc = 100 and m = 11.The probability of error in Eq. (23) and (27) are respectively p V e = 0.034 (V detector) and p H e = 0.205 (H detector).The grey dashed line is the threshold values in Eq.(18).The values of the involved parameters have been chosen to better highlight the investigated effect.

FIG. 4 .FIG. 5 .
FIG. 4. Probability of error for the different strategies as functions of the average number of input photon Nc in a semi-log plot.Red line: m = 5; blue line: m = 11; green line m = 23.Top panels: H (solid lines) and V (dashed lines) strategies in the absence of dark counts (left) and for N dc = 100 (right).Bottom panel: joint strategy in the case N dc = 100.The dots on the lines refer to the threshold values evaluated according to (21a) and (21b).See the text for details.