bosonic-dla-finiteness/examples/example_input.yaml at main · FZJ-PGI-12/bosonic-dla-finiteness · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
# example_input.yaml
# Bosonic Lie algebra input file
#
# n_modes : number of bosonic modes
# omegas  : the set F of free Hamiltonians. Either a single vector of drift
#           frequencies [omega_0, ..., omega_{n-1}], or a list of such vectors
#           for several free Hamiltonians:
#             omegas:
#               - [1.0, 1.0, 1.0]
#               - [2.0, 1.0, 1.0]
#
# generators: list of g_+/g_- operators, specified in one of two ways:
#
#   Option A — explicit exponent vectors (length must equal n_modes):
#     kind  : "+" or "-"
#     alpha : creation exponents   [(a†_0)^alpha_0, ..., (a†_n)^alpha_n]
#     beta  : annihilation exponents [(a_0)^beta_0,  ..., (a_n)^beta_n]
#
#   Option B — compact iotas notation (recommended):
#     kind  : "+" or "-"
#     iotas :
#       alpha_indices    : mode indices with nonzero creation exponent
#       alpha_exponents  : exponents for each alpha index (default: 1)
#       beta_indices     : mode indices with nonzero annihilation exponent
#       beta_exponents   : exponents for each beta index (default: 1)
#
#   Both options accept:
#     label       : short name for the generator (required)
#     description : longer description (optional)

n_modes: 3
omegas: [1.0, 2.0, 3.0]

generators:

  # ── Option A: explicit alpha/beta vectors ────────────────────────────────

  - kind: "+"
    alpha: [1, 0, 0]
    beta:  [0, 1, 0]
    label: "G1"
    description: "g_+(a†_0 a_1)"

  - kind: "-"
    alpha: [1, 0, 0]
    beta:  [0, 1, 0]
    label: "G2"
    description: "g_-(a†_0 a_1)"

  # ── Option B: compact iotas notation ────────────────────────────────────

  - kind: "+"
    iotas:
      alpha_indices: [1]
      beta_indices:  [2]
    label: "G3"
    description: "g_+(a†_1 a_2)"

  - kind: "-"
    iotas:
      alpha_indices: [1]
      beta_indices:  [2]
    label: "G4"
    description: "g_-(a†_1 a_2)"

  - kind: "+"
    iotas:
      alpha_indices: [0]
      beta_indices:  [1, 2]
    label: "G5"
    description: "g_+(a†_0 a_1 a_2)"

  - kind: "-"
    iotas:
      alpha_indices:   [0]
      alpha_exponents: [2]
      beta_indices:    [1, 2]
    label: "G6"
    description: "g_-((a†_0)^2 a_1 a_2)"