Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

73
infinite and standard computation with unconventional and quantum methods using automata Dissertation Defense Konstantinos GIannakis [email protected] July, 14 2016 Department of Informatics, Ionian University Supervisor: Dr. Theodore Andronikos Advisory Committee: Dr. Spyros Sioutas and Dr. Michail Stefanidakis Department of Informatics, Ionian University 0

Transcript of Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

Page 1: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

infinite and standard computation withunconventional and quantum methods usingautomataDissertation Defense

Konstantinos [email protected]

July, 14 2016

Department of Informatics, Ionian University

Supervisor: Dr. Theodore AndronikosAdvisory Committee: Dr. Spyros Sioutas and Dr. Michail StefanidakisDepartment of Informatics, Ionian University

0

Page 2: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

the dissertation’s story

∙ At first we studied infinite computation with focus on automata.

∙ We then proceeded to the probabilistic versions of the abovemodels.

∙ Probabilistic computation led us to the search for alternativemodels.

∙ Unconventional means of computing, mainly quantum automata.

1

Page 3: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

motivation and contribution

∙ Moore’s law.

∙ The lack of quantum variants for specific classes of automata.(i.e. ω-automata)

∙ The power of specific quantum algorithms.∙ most notably the algorithms of Deutsch, Shor, and Grover.

∙ The traces of infinite behaviour in nature and data volumes.

2

Page 4: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

dissertation’s structure

⊙Standard (or Classical) and Probabilistic Computing

∙ Introductory points⊙Infinite Computation

∙ Associating automata variants to queries.⊙Membrane Computing

∙ Novel definitions of membrane automata.∙ Use of actual models to implement our methodology.⊙

Quantum Computing∙ Proposal of the periodic quantum automata.∙ Association of these automata with strategies over quantumgames.

3

Page 5: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

standard computation

Page 6: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

a little history

∙ Initiated before WWII, mainly in the ’30s.

∙ Alan Turing is regarded as the pioneering figure.

∙ Other great scientists of the same period: Kurt Gödel, AlonzoChurch, Stephen Kleene and many more.

∙ Automata and their theory were developed at the early ’40s and’50s.

5

Page 7: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

automata

∙ Branch of the Theory of Computation dealing with specialized,abstract computational models.

∙ Finite-state automata.∙ Finite memory.

∙ Basic properties: states, transitions, and the input/output.

6

Page 8: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

dfa και nfa

∙ For a given symbol there is only one state that can be visited.∙ (Q, Σ, δ : Q x Σ → Q, q0, F)

q0

1

1

00

q1

∙ For a given symbol there is none, one, or more states that can bevisited, even for the same symbol.

∙ (Q, Σ, δ : Q x Σ ∪ {ϵ} → P(Q), q0, F)

q0 q1 Άλλες ρυθμίσειςΆλλες ρυθμίσεις

1 1

q2

0,10,1

∙ For every NFA there is an equivalent DFA.∙ The translation of an NFA to a DFA can cause an exponential growth tothe number of states! 7

Page 9: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

probabilistic computation

Page 10: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

logic and probabilities

Γένεση 18:32

Καί είπεν ο Αβραάμ, Ας μή παροξυνθή ο Κύριός μου, εάν λαλήσω έτιάπαξ; εάν ευρεθώσιν εκεί δέκα; καί είπε, Δέν θέλω απολέσει αυτήνχάριν τών δέκα.

Genesis 18:32

Then he said, “Oh may the Lord not be angry, and I shall speak onlythis once; suppose ten are found there?” And He said, ”I will notdestroy it on account of the ten.”

Subjective vs Objective aspect of probability

9

Page 11: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

probabilistic computation

* Introducing probabilities attached to the system’s input.

* Result depends not only on the input, but also on coin flips.

P(w) :=

∑p∈Acc(w)

n∏i=1

(pi,wi,pi+1)

∑p∈Run(w)

n∏i=1

(pi,wi,pi+1)

. (1)

10

Page 12: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

pfa (probabilistic finite automata)

∙ Introduced by Rabin (1963)

∙ Similar to simple Markov chains

11

Page 13: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

infinite computation

Page 14: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

ω-computability receiving infinite inputs

∙ ω-automata.∙ Infinite input∙ Acceptance conditions

∙ E.g. Büchi automata.∙ Büchi acceptance condition.∙ They accept the runs ρ for which In(ρ) ∩ F = ∅ (F ⊆ Q).

∙ Extension of the simple automata with infinite inputs

13

Page 15: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

ω-computability

∙ An ω-automaton is a tuple (Q, Σ, δ, q0, Acc) where Q is a finiteset of states, Σ is the alphabet, δ : Q × Σ −→ P(Q) is thetransition function (P(Q) is the powerset of Q), q0 is the initialstate, and Acc determines the acceptance condition.

∙ The acceptance condition Acc declares how the infinite runs areaccepted by the automaton.

∙ The class of languages recognized from (almost) all the abovemachines are the ω-regular languages.

14

Page 16: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

automata and queries

∙ There are queries that cannot be expressed neither by standardSPARQL nor its expansion with regular path queries.

∙ These queries assume that the Web of Linked Data can beinfinite and therefore classic queries expressed in terms ofSPARQL need to be revisited.

∙ We propose a novel method associating ω-automata, to eachquery on this infinite structure.

∙ We call these queries ω-regular path queries.∙ They are of the form a|(ab)ω .

15

Page 17: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

infinite horizon

∙ Two SPARQL query semantics∙ Full-web semantics.

∙ the scope of each query is the full set of LD on the Web.

∙ Reachability-based semantics.∙ restricted scope of SPARQL queries to data reachable throughspecific links, using a given initial set of URIs.

16

Page 18: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

queries on infinite graphs of graphs

∙ We assume infinite web of LD.

∙ Reachability is guaranteed (remember, we refer to Linked Data).

∙ Acceptance is defined by a set of final states.

∙ Infinite data/queries -> infinite computation

17

Page 19: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

the process for the association

s1

s0s2

s3 s4o

w

o

uo

u

o

Figure: It accepts the ω-regular language described by the ω-regularexpression u(wou|(ou)?)∗(ou)ω .

Symbol Explanation

u Encoding of URI

o Symbol #, separator of URIs

w Symbol read when the query returns a result

18

Page 20: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

ω-regular path queries

Definitionω-regular path queries are particular path queries where the regularexpression is replaced by an ω-regular expression. These queries concerncases that include infiniteness in the expected results.

Mitochondrion2

Mitochondrion1

Mitochondrion3

Fusion Fission

isNeighbourperforms

performs

performs

performs

performs

performs

isNeighbour

produces

produces

Figure: A small subgraph of Linked Data containing an interlinking structureamong mitochondria and some basic predicates among them.

19

Page 21: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

ω-regular path queries (cont.)

∙ We assume that the life-cycle of a mitochondrial population undergoesinfinitely many fusion and fission processes.

∙ It fits to the notion of eventual computability.∙ The information from the previous Figure can be represented in thewell-known triple form of (subject, predicate, object) that follows:

(Mitochondrion1, performs, Fusion)(Mitochondrion1, performs, Fission)(Mitochondrion2, performs, Fusion)(Mitochondrion2, performs, Fission)(Mitochondrion3, performs, Fusion)(Mitochondrion3, performs, Fission)(Mitochondrion1, isNeighbour, Mitochondrion2)(Mitochondrion2, isNeighbour, Mitochondrion3)………

∙ A query could be asking for the mitochondria that perform infinitelyoften the fusion process.

20

Page 22: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

ω-regular path queries (cont.)

∙ Use of ω-regular expressions that correspond to the regularexpressions used in regular path queries.

∙ These expressions can be translated into equivalent Büchiautomata.

∙ E.g. the query asking for the mitochondria that performsinfinitely often the fusion process could have the following form:SELECT *WHERE{< mitochondrion > [(performs)|(isNeighbour∗/performs)]ω <mitochondrion >.}

21

Page 23: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

the corresponding automaton

s0 s1

a

b

a

b

Figure: A Büchi automaton A describing the ω-regular expressionunderneath the simplest example of mitochondrial fusion ([(a)|(b∗a)]ω).

Symbol Explanation

a performs

b isNeighbour

22

Page 24: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our proposed definition

DefinitionThe associated automaton is an ω-automaton under the Büchi acceptancecondition. It is a tuple (QS ∪ O, Σp, δ, q0, F, Acc), where:

1. QS ∪ O∈ {S ∪ O} is the finite set of states, where S is the set of subjectsand O the set of objects of the triples,

2. Σp is a finite set of input symbols (alphabet) where each symbol is apredicate from the Linked Data graph,

3. δ : QS ∪ O × Σp −→ QS ∪ O is the transition function,

4. q0 ∈ QS ∪ O is the initial state of the automaton,

5. F ⊆ QS ∪ O is the set of accepting states, and

6. Acc defines the acceptance condition, in the case of the associatedautomaton we propose it is the Büchi acceptance condition.

23

Page 25: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

another example query

∙ An example query of protein folding/misfolding whichrepresents the amyloid aggregation could have the followingform:

SELECT *WHERE{< protein >(folding|misfolding)∗|[translocates|mitochondrion]ω}

24

Page 26: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our contribution

∙ Combination of particular queries with automata on infiniteinputs.

∙ Proposal of a novel methodology regarding queries and theirassociation with ω-automata.

∙ We demonstrate some characteristic queries on simpleinstances.

∙ We proposed a methodology on how specific queries of regularpaths in SPARQL could be translated into inputs for ω-automata.

∙ Interpretation of the the eventual computability of thesequeries using the well-known Büchi acceptance condition.

25

Page 27: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

membrane computing

Page 28: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

membrane computing

∙ Known as P systems with several proposed variants.∙ Evolution depicted through rewriting rules on multisets of theform u→v

∙ imitating natural chemical reactions.∙ u, v are multisets of objects.

∙ The hierarchical status of membranes evolves by constantlycreating and destroying membranes, by membrane division etc.

∙ Types of communication rules:∙ symport rules (one-way passing through a membrane)∙ antiport rules (two-way passing through a membrane)

27

Page 29: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

examples

◦ Membranes create hierarchical structures.◦ Each membrane contains objects and rules.◦ Represented either by a Venn diagram or a tree.

(a) Hierarchical nestedmembranes

(b) With simple objects and rules

28

Page 30: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

p systems evolution and computation

∙ Via purely non deterministic, parallel rules.

∙ Characteristics of membrane systems: the membrane structure,multisets of objects, and rules.

∙ They can be represented by a string of labelled matchingparentheses.

∙ Use of rules =⇒ transitions among configurations.∙ A sequence of transitions is interpreted as computation.∙ Accepted computations are those which halt and a successfulcomputation is associated with a result.

29

Page 31: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

p automata

∙ Variants of P systems with automata-like behaviour.∙ Computation starts from an initial configuration.∙ Acceptance is defined by a set of final states.

∙ They define a computable set of configurations satisfying certainconditions.

∙ The set of accepted input sequences forms the acceptedlanguage.

∙ A configuration of a P automaton with n membranes is definedas a n-tuple of multisets of object in each membrane.

∙ A run of a P automaton is defined as a process of altering itsconfigurations in each step.

30

Page 32: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

rules used in membrane computing

...

...

b)

a)

c) exo

(a,in)aa(b,in)ba

(a,out)cab

c→abbbba

(a,out)caa

c→bbcca

=⇒

=⇒

=⇒

31

Page 33: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

a case study

∙ A biological model of mitochondrial fusion by Alexiou et al,expressed in BioAmbient calculus.

∙ Cell is divided into hierarchically nested ambients.∙ 3 proteins are required (Mfn1, Mfn2 and OPA1) for the successfulfusion.

∙ Fusion can occur:∙ by the merging of two membrane-bounded segments.∙ when segments may enter or exit one another.

∙ Synchronized capabilities that can alter ambients’ state are:entry, exit, or merge of other compartments.

32

Page 34: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our approach

∙ Every ambient ≡ membrane subsystem.∙ Hierarchical structure of ambients ≡ membrane-like segments.

∙ Biomolecular rules from Bioambient calculus to P automatarewriting rules.

∙ Actions altering ambients’ state (entry, exit, or merge).

Initial configuration:

[[[[[[]AO1 []K ]PM1M2 ]RM1M2 ]GM1M2 ]OMOM1M2 [[[[[]BO1 ]PO1 ]RO1 ]GO1 ]IMOM1M2 ]skin/cell

Final configuration:

[[]PM1M2 []RM1M2 []GM1M2 []OMOM1M2 []PO1 []RO1 []GO1 []IMOM1M2 []K []AO1 []BO1 ]skin/cell

33

Page 35: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

the production of the the protein mfn1-mfn2

Initial config. consecutive use of appropriate rule−−−−−−−−−−−−−−−−−−→ final config. and halt.

∙ Initial configuration: [[[[]PM1M2]RM1M2]GM1M2]OMOM1M2

∙ Final configuration: []PM1M2[]RM1M2[]GM1M2[]OMOM1M2

∙ Halting configuration through consecutive exo operations.

[[[[]PM1M2 ]RM1M2 ]GM1M2 ]OMOM1M2exo−−→ [[[]PM1M2 ]RM1M2 ]GM1M2 []OMOM1M2

exo−−→

[[]PM1M2 ]RM1M2 []GM1M2 []OMOM1M2exo−−→ []PM1M2 []RM1M2 []GM1M2 []OMOM1M2

∙ Similarly for the rest of the model.

34

Page 36: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

definition i

DefinitionA generic P system (of degree m, m ≥ 1) with the characteristics described above can be defined as a construct

Π=(V, T, C, H, µ, w1 , ..., wm, (R1 , ..., Rm), (H1 , ..., Hm) i0) ,

where

1. V is an alphabet and its elements are called objects.

2. T ⊆ V is the output alphabet.

3. C ⊆ V, C ∩ T = ⊘ are catalysts.

4. H is the set {pino, exo, mate, drip} of membrane handling rules.

5. µ is a membrane structure consisting of m membranes, with the membranes and the regions labeled in a one-to-one way withelements of a given set H.

6. wi , 1 ≤ i ≤ m, are strings representing multisets over V associated with the regions 1,2, ... ,m of µ.

7. Ri , 1 ≤ i ≤ m, are finite sets of evolution rules over the alphabet set V associated with the regions 1,2, ... , m of µ. These objectevolution rules have the form u → v.

8. Hi , 1 ≤ i ≤ m, are finite sets of membrane handling rules rules over the set H associated with the regions 1,2, ... , m of µ.

9. i0 is a number between 1 and m and defines the initial configuration of each region of the P system.

35

Page 37: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

definition ii

DefinitionFormally, a one-way P automaton with n membranes (n ≥ 1) and antiport rules is a construct

Π=(V, µ, P1 , ..., Pn, c0, F),

where:

1. V is a finite alphabet of objects,

2. µ is the underlying membrane structure of the automaton with n membranes,

3. Pi is a finite set of antiport rules for membrane i with 1≤i≤n without promoters/inhibitors, where each antiport rule is of theform (a, out; b, in) with a, b being multisets consisting of elements of the set V,

4. c0 is the initial configuration of Π , and

5. F is the set of accepting configurations of Π.

36

Page 38: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

schematic view

Figure: The step by step process through consecutive exo operations.

37

Page 39: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

schematic view

38

Page 40: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

overall

X Inherent compartmentalization, easy extensibility and directintuitive appearance for biologists.

X Suitable in cases when few number of objects are involved orslow reactions.

X Need for deeper understanding of mitochondrial fusion◦ Connections with neurodegenerative diseases and malfunctions.

X Probability theory and stochasticity (many biological functionsare of stochastic nature).

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis1

Drp1

Mff Fis139

Page 41: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our contribution

∙ We proposed a novel, original method to describe actualbiomolecular models using membrane automata.

∙ We proposed a novel variant of P automata,∙ Combination of membrane automata with process calculi.∙ We present the advantages and disadvantages of thismethodology,

∙ Both P systems and P automata are formal tools, with enhancedpower and efficiency =⇒ could shed light to the problem ofmodeling complex biological processes.

40

Page 42: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum computing

Page 43: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

moore’s law

∙ “The number of transistors incorporated in a chip willapproximately double every 24 months.”

∙ 8086 (1978) was 16-bit, had 29.000 transistors, and integrationtechnology of 3.2 μm.

∙ Intel(Haswell-E) had integration technology of 22nm andcontained 2.6 billion transistors.

∙ Skylake is constructed with integration technology of 14nm.

∙ Moore’s law is about to reach its physical limits.

42

Page 44: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

consequences of moore’s law

∙ Continuously decreasing size of the computing circuits.

∙ Technological and physical limitations (limits of lithography inchip design).

∙ New technologies to overcome these barriers, with QuantumComputation being a possible candidate.

∙ Ability of these systems to operate at a microscopic level.

∙ Redesign and revisit of well-studied models and structures fromclassical computation.

43

Page 45: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

basics of quantum computing

∙ QC considers the notion of computing as a natural, physicalprocess.

∙ It must obey to the postulates of quantum mechanics.

∙ Bit ⇒ Qubit.

∙ It was initially discussed in the works of Richard Feynman in theearly ’80s.

44

Page 46: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

dirac symbolism bra-ket notation

∙ Introduced by Paul Dirac.

∙ State 0 is represented as ket |0⟩ and state 1 as ket |1⟩.

∙ Every ket corresponds to a vector in a Hilbert space. Forexample:

|0⟩ =[10

], |1⟩ =

[01

]. (2)

45

Page 47: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

kets και bras

∙ A qubit is in state |ψ⟩ described by:

|ψ⟩ = c0 |0⟩+ c1 |1⟩ (3)

where c0 and c1 are called probability amplitudes∙ They are complex numbers for which |c0|2 + |c1|2 = 1.∙ For every ket |ψ⟩ there is a bra ⟨ψ| which is:

⟨ψ| = c∗0 ⟨0|+ c∗1 ⟨1| (4)

where c∗0 and c∗1 are the complex conjugates of c0 and c1.

46

Page 48: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

to quantum automata using dirac formalism

∙ Each state of the machine is a superposition of the basis states|ψi⟩.

∙ They have the form |ψ⟩=c1 |ψ1⟩+ c2 |ψ2⟩+ · · ·+ cn |ψn⟩,

∙ The probability of observing the state|ψ′⟩=c1 |ψ′

1⟩+ c2 |ψ′2⟩+ · · ·+ cn |ψ′

n⟩ is p, with p =∑ψ′∈F

|ci|2 (F is the

set of accepting states).∙ In a MO-automaton the projection matrix P is applied strictlyonce.

∙ In MM-automata, there are three disjoint sets of states: the Qa

(accepting states), the Qr (rejecting states) and the Qn of neutralstates.

∙ Measurement after reading each symbol.

47

Page 49: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum automata variations

∙ Measure-many approach

∙ Measure-once approach

∙ There are regular languages not recognized by a quantumautomaton.

∙ We have to blame the reversibility of the quantum system!

∙ But they are space-efficient.

∙ 2-way variants are more powerful.

48

Page 50: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

automata and computation (standard and quantum)

∙ Finite automata ⇒ simple models of computation.

∙ Finite quantum automata∙ A quantum system where each symbol represents the applicationof a unitary transformation.

∙ Proposed after the middle of the 1990s.∙ They can be seen as a generalization of probabilistic finiteautomata.

∙ Transitions are weighted with a probability amplitude ⇒ vectors ina Hilbert space.

∙ Probability semantics under which automata accept or reject.

49

Page 51: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

terminology needed for clarification

∙ Σ ⇒ the alphabet∙ Σ∗ ⇒ the set of all finite strings over Σ∙ If U is an n× n square matrix , U is its conjugate, and U† itstranspose and conjugate.

∙ Cn×n defines the set of all n× n complex matrices.∙ A unitary operator (or matrix) U is an orthogonal matrix withcomplex entries that preserves the norms of vectors.

∙ Equivalently, a matrix U is unitary if it has an inverse and if ∥Uψ∥= ∥ψ∥ for every vector ψ.

∙ Hn is an n-dimensional Hilbert space.

50

Page 52: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum computation states and formalism

∙ Two types of quantum states: pure and mixed states.∙ A pure state is a state represented by a single ket vector |ψ⟩ in aHilbert space over complex numbers.

∙ A mixed state is a statistical distribution of pure states (usuallydescribed with density matrices).

∙ The evolution of a quantum system is described by unitarytransformations.

∙ The states of an n-level quantum system are self-adjointpositive mappings of Hn with unit trace.

∙ An observable of a quantum system is a self-adjoint mappingHn → Hn.

∙ Each state qi ∈ Q with |Q| = n can be represented by a vectorei = (0, . . . , 1, . . . , 0).

51

Page 53: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum computation applying matrices, observables, and projection

∙ Each of the states is a superposition of the formn∑i=1

ciei.

∙ n is the number of states∙ ci ∈ C are the coefficients with |c1|2 + |c2|2 + · · ·+ |cn|2 = 1∙ ei denotes the (pure) basis state corresponding to i.

∙ Each symbol σi ∈ Σ a unitary matrix/operator Uσi and eachobservable O an Hermitian matrix O.

∙ The possible outcomes of a measurement are the eigenvaluesof the observable.

∙ Transition from one state to another is achieved through theapplication of a unitary operator Uσi .

∙ The probability of obtaining a result p is ∥πPi∥, where π is thecurrent state (or a superposition) and Pi is the projection matrixof the measured basis state.

∙ The state after the measurement collapses to the πPi/∥πPi∥.

52

Page 54: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

periodic quantum automata

Page 55: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

to quantum ω-automata definition

◦ A simple periodic, one-way quantum ω-automaton is a tuple (Q,Σ, Uδ , q0, π0, F, P, Acc) where:

1. Q is a finite set of states,2. Σ is the input alphabet,3. Ua is the n× n unitary matrix that describes the transitions among

the states for each symbol a ∈ Σ,4. q0 ∈ Q is the initial (pure) state,5. π0 is the initial vector,6. F ∈ Q is the set of final states,7. P is the set [P0, P1, . . . , Pn] of the projection matrices of states, and8. Acc is an acceptance condition.

54

Page 56: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

their functionality explanation

∙ It starts at its initial pure state q0, i.e. the state vector of thesystem is the π0.

∙ Transitions among the states are expressed with complexamplitude.

∙ Acc defines the acceptance condition.

Periodic quantum acceptance condition

It defines that infinitely often the measurement of the quantum systemfinds with some probability the automaton in one of the final states.

Almost-sure periodic quantum acceptance condition

It defines that infinitely often the measurement of the quantum systemfinds the automaton in one of the final states with probability 1.

55

Page 57: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

periodic quantum automaton

∙ A simple m-periodic, 1-way quantum ω-automaton with periodicmeasurements is a tuple (Q, Σ, Uδ , q0, m, π0, F, P, Acc) where:

1. Q is a finite set of states,2. Σ is the input alphabet,3. Uα : Q × Σ −→ C[0,1] is the n× n unitary matrix that describes the

transitions among the states for each symbol a ∈ Σ,4. q0 ∈ Q is the (pure) initial state,5. m ∈ N defines the measurement period,6. π0 is the vector of the initial pure state q0,7. F ∈ Q is the set of final states,8. P is the set [P0, P1, . . . , Pn] of the projection matrices of states, and9. Acc is the almost-sure periodic quantum acceptance condition.

56

Page 58: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

transitions on quantum periodic automata

∙ The transition matrix for every symbol has the form of: Uϕ = i(cos(ϕ) sin(ϕ)− sin(ϕ) cos(ϕ)

)∙ ϕ defines the period (if m is the period of the transition, thenϕ = π/m).

∙ Counter-clockwise rotation.∙ We can reverse the rotation by transposing the Uϕ.

∙ Then we have UTϕ = i

(cos(ϕ) − sin(ϕ)sin(ϕ) cos(ϕ)

).

∙ Both return the system to its initial state after the same period.

57

Page 59: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum periodic automata periodicity

∙ After m applications of the transition matrix U, the state of thesystem is Um |ψ⟩, where |ψ⟩ is the state of the system before them transitions.

∙ But Um=im(−1 00 −1

)since Um=im

(cos(mϕ) sin(mϕ)− sin(mϕ) cos(mϕ)

)and

ϕ = π/m.

∙ In 2m timesteps we obtain the U2m=(1 00 1

)∙ It is the same!∙ Their difference is a phase of π, since ϕ = 2mπ/m = 2π.

58

Page 60: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

transitions of the state vector

0

π/4

π/2

3π/4

π

5π/4 7π/4

3π/2

r = 1

ϕϕ

ϕ ϕ

Figure: The vector is in the initial state and for every phase transition withangle ϕ = π/4 it is rotated counter-clockwise. After m− 1 (=4) transitionsthe system is in the state that is symmetric to the initial.

59

Page 61: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

a quantum game - captain picard vs q

∙ The “PQ Penny Flip” game was described by David A. Meyer in1999.

∙ A game that showed the superiority of quantum strategies overthe classical ones.

∙ A player has a dominant strategy, no matter what the otherplayers chooses in every round.

60

Page 62: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

quantum games and automata

∙ Association of dominant strategies of repeated quantum gameswith quantum automata that recognize infinite periodic inputs.

∙ Shown in the PQ-PENNY quantum game where the quantumstrategy outplays the choice of a pure or mixed strategy withprobability 1.

∙ therefore the associated quantum automaton accepts withprobability 1.

∙ We proposed a novel game played on the evolution of anautomaton, where players’ actions and strategies are alsoassociated with periodic quantum automata.

61

Page 63: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our proposed game

∙ 2-player game over the evolution of a simple DFA.∙ A game played over a 2-state automaton with an alphabetconsisting of two symbols.

∙ q0 is the winning state for Player 1 and q1 the one for Player 2.

q0 q1

a

b

a

b

Figure: The automaton that corresponds to Player 1. In the case of Player 2,the accepting state is the state q1.

Table: Transition matrix of the automaton.

q0 q1

q0 a bq1 a b

62

Page 64: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

provider vs. measurer

∙ Player 1 chooses a symbol and runs it on the automaton untilPlayer 2 decides to stop the procedure.

∙ Player 2 has no knowledge about either the read symbols or thecurrent state.

∙ The payoff for each player depends on the current state and thenumber of bs.

Table: The game’s payoff matrix. The state in the columns denotes theautomaton’s state after reading the final symbol when Player 2 stops theprocedure.

|b| ≤ |a| |b| > |a|q0 (1,1) (2,0)q1 (0,2) (1,1)

63

Page 65: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

strategies on this game

∙ Player 1 chooses one of the two symbols not knowing whenPlayer 2 is about to stop the procedure

∙ Every reading of a b symbol gets his win in stake.∙ If he insists on reading only the symbol a, he guarantees a (1,1)result for himself.

∙ (1,1) is the Nash point for the deterministic version.∙ In the quantum version we observe a different behaviour.∙ Player 2 doesn’t actually stop the evolution but rather, hemeasures the current state (thus the name “measurer”).

∙ Player 1 still chooses the symbols in each timestep.

64

Page 66: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

the quantum version

∙ The automaton is on a superposition of states.∙ Player 1 associates a quantum operator, similar to those of periodicquantum automata, to the symbol a.

∙ He associates b with a specific matrix that actually does not alter thequantum state.

∙ E.g. he chooses the matrix U1 = i(

cos(ϕ) sin(ϕ)− sin(ϕ) cos(ϕ)

)with ϕ = π/m,

m = 2 for the a and the U2 = i(−1 00 −1

)with ϕ = π/m, m = 1 for the b.

∙ Player 1 chooses the for the first 2 inputs the symbol a and then heconsequently applies the matrix U2.

∙ This offers strategies that can be described as inputs in quantumperiodic automata

∙ E.g. for w = aabbbbbbbbbbbb . . .bbbb we have the payoff (2,0).

65

Page 67: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

overall

∙ Quantum automata with infinite computation are stillunexplored.

∙ Different variants of machines, distinguished either bymovement orientation or by the measurement mode.

∙ Need for models and verification processes for infinite QC.∙ Useful in the verification of quantum systems and the design ofquantum circuits.

∙ Space efficient for periodic ω-languages of the form (amb)ω .∙ Connection with game theory and groups.∙ Actions in such games form specific groups∙ Consistency with the underlying quantum physics.

66

Page 68: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

our contribution

∙ We proposed a novel definition regarding quantum computationwith infinite horizon.

∙ It is a one of the first attempts that combine quantumcomputation and infinite inputs.

∙ We exploit the wave-like nature of quantum computing bypresenting a computation scheme that accepts periodiclanguages of the form (amb)ω , where m is the periodicity.

∙ We illustrate this concept through examples and figures.∙ Association of the proposed quantum automata with quantumgames, their strategies, and group theory.

67

Page 69: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

inspired by our work

∙ The organization of a related workshop.∙ Natural, Unconventional, and Bio-inspired Algorithms andComputation Methods Workshop (NUBACoM 2016) in Sparta.

∙ The introduction of a new course in the curriculum of theDepartment of Informatics.

∙ “Introduction to Quantum and DNA Computing”

∙ Theses and PhD proposals.∙ Establishment of a new research group in our department.

∙ Quantum and UnconventIonal CompuTing group

∙ Collaboration with the Bioinformatics and HumanElectrophysiology Lab (BiHELab)

∙ The development of a novel quantum programming languagecalled Qumin (in beta) by A. Singh.

68

Page 70: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

potential applications

∙ Better and more efficient algorithms for querying Linked Data.

∙ Proper design and verification of unconventional means ofcomputing.

∙ Design of new, original quantum algorithms.

∙ Universal quantum programming language(s) and architectures.

∙ Study on bio-inspired methods of performing actualcomputations, e.g. DNA sequences, nano-scale biological partetc.

69

Page 71: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

further exploit of the results and our next steps

∙ Implementation of our theoretical results.

∙ Complexity issues and bounds.

∙ D-Wave

∙ IBM

∙ Use of quantum simulators.

∙ Further research based on our results.∙ Already submitted works in progress.

70

Page 72: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

publications

Giannakis, K., and Andronikos, T.

Membrane automata for modeling biomolecular processes.Natural Computing (2015), 1–13.

Giannakis, K., and Andronikos, T.

Mitochondrial fusion through membrane automata.In GeNeDis 2014. Springer, 2015, pp. 163–172.

Giannakis, K., and Andronikos, T.

Use of büchi automata and randomness for the description of biological processes.International Journal of Scientific World 3, 1 (2015), 113–123.

Giannakis, K., Papalitsas, C., and Andronikos, T.

Quantum automata for infinite periodic words.In Information, Intelligence, Systems and Applications, IISA 2015, The 6th International Conference on (2015), IEEE.

Giannakis, K., Papalitsas, C., Kastampolidou, K., Singh, A., and Andronikos, T.

Dominant strategies of quantum games on quantum periodic automata.Computation 3, 4 (2015), 586–599.

Giannakis, K., Theocharopoulou, G., Papalitsas, C., Andronikos, T., and Vlamos, P.

Associatingω-automata to path queries on webs of linked data.Engineering Applications of Artificial Intelligence 51 (2016), 115 – 123.Mining the Humanities: Technologies and Applications.

Theocharopoulou, G., and Giannakis, K.

Web mining to create semantic content: A case study for the environment.In Artificial Intelligence Applications and Innovations, L. Iliadis, I. Maglogiannis, H. Papadopoulos, K. Karatzas, and S. Sioutas, Eds., vol. 382 of IFIP Advances inInformation and Communication Technology. Springer Berlin Heidelberg, 2012, pp. 411–420.

Theocharopoulou, G., Giannakis, K., and Andronikos, T.

The mechanism of splitting mitochondria in terms of membrane automata.In Signal Processing and Information Technology (ISSPIT), 2015 IEEE International Symposium on (2015), IEEE.

71

Page 73: Infinite and Standard Computation with Unconventional and Quantum Methods Using Automata

Thank you for your attention

Any questions?

72