No description available.

The local structures of the iron atoms for a series of strongly coupled Fe 2 (TIED)L 4 complexes (TIED = tetraiminethylenedimacrocycle, L = axail ligand) have been investigated by K-edge X-ray Absorption Spectroscopy (XAS). These complexes include not only the well characterized iso-valence CH 3 CN complex, mixed-valence CH 3 CN and Cl − complexes, and previously reported iso-valence CO complex but also the new isolated solids of iso-valence Fe 2 TIED complexes with Cl − , Br − , imidazole, pyridine, histidine, N,N-dimethyformamide (DMF), SCN − , and CN − as axial ligands and mixed-valence complexes with Br − and imidazole as axial ligands. The average Fe-N distances for the first coordination sphere of the iron atom obtained by EXAFS analysis are 1.94, 1.94, 1.95, 1.96, 1.94, 1.93, 1.96, 1.96, 1.96, and 1.96 Å for the iso- and mixed-valence CH 3 CN and imidazole complexes and iso-valence complexes with SCN − , CN − , CO, pyridine, histidine, and DMF as axial ligands, respectively. Two-shell fitting analyses of the complexes gave average iron to the four planar coordinated nitrogen distance of 1.90, 1.91, 1.91, 1.92, and 1.92 Å for the Fe 2 (TIED)L 4 with L = DMF, pyridine, Cl − , Br − , imidazole, and histidine complexes, respectively. The average distances from the center iron to: N(DMF), 2.05; N(pyridine), 2.05; Cl − , 2.33; Br − , 2.45; N(imidazole), 2.08; and N(histidine), 2.07 Å. They are all comparable to related bond distances in the literature. The above data indicate that there is no significant difference in the average Fe-N distances between each of the iso- and mixed-valence pairs. Also different axial ligands do not cause significant impact on the average Fe-N distances from the iron atom to the four coordinated N in the TIED ligand. The threshold edge positions shift about +1 eV from the iso-valence CH 3 CN, Cl − , and Br − complexes to their corresponding mixed-valence complexes. The relatively small shift compared with the normal +2 [special characters omitted] +3 eV edge shift from Fe 2+ to Fe 3+ reflects the oxidation state change of iron from Fe 2+ to Fe 2.5+ . The edge energy of the isovalence diiron complexes with different axial ligands increases in the order of the spectrochemical series of the axial Iigands from strong to weak field Iigands as follows [58, 59]: [special characters omitted] All the complexes studied here have a weak dipole-forbidden 1s → 3d pre-edge transition. The low intensity indicates only a small distortion of the octahedral coordination geometry of the central iron atom.

No description available.

No description available.

No description available.

No description available.

Analogue quantum simulators have proven to be an extremely versatile tool for the study of strongly-correlated condensed matter systems both near and far from equilibrium. An enticing prospect is the quantum simulation of non- Fermi liquids which lack a quasiparticle description and feature prominently in the study of strange metals, fast scrambling of quantum information, as well as holographic quantum matter. Yet, large-scale laboratory realisations of such systems remain outstanding. In this thesis, we present a proposal for the analogue quantum simulation of one such system, the Sachdev–Ye–Kitaev (SYK) model, using cavity quantum electrodynamics (cQED). We discuss recent experimental advances in this pursuit, and perform analysis of this and related models. Through a combination of analytic calculations and numeric simulations, we show how driving a cloud of fermionic atoms trapped in a multi- mode optical cavity, and subjecting it to a spatially disordered AC-Stark shift, can realise an effective model which retrieves the physics of the SYK model, with random all-to-all interactions and fast scrambling. Working towards the SYK model, we present results from a recent proof-of-principle cQED experiment which implemented the disordered light-shift technique to quantum simulate all- to-all interacting spin models with quenched disorder. In this context, we show analytically how disorder-driven localisation can be extracted from spectroscopic probes employed in cQED experiments, despite their lack of spatially resolved information. Further, we numerically investigate the post-quench dynamics of the SYK model, finding a universal, super-exponential equilibration in the disorder-averaged far-from-equilibrium dynamics. These are reproduced analytically through an effective master equation. Our work demonstrates the increasing capabilities of cQED quantum simulators, highlighting how these may be used to study the fascinating physics of holographic quantum matter and other disorder models in the lab.

Dans cette étude nous nous intéressons aux contrôleurs utilisés dans des systèmes autotestables, pour le test des sorties, combinatoires ou séquentielles, du bloc fonctionnel. Deux classes de contrôleurs sont abordées: les "Strongly Code Disjoint" (SCD) qui vérifient une propriété combinatoire, et les "Strongly Language Disjoint" (SLD), où la propriété vérifiée est séquentielle. Pour la première, nous examinons la conception des contrôleurs NMOS à partir de l'assemblage des cellules, des règles de conception pour celles-ci, et des hypothèses de pannes pouvant survenir dans les systèmes aussi bien que dans quelques structures spécifiques de contrôleurs. Les contróleurs "Strongly Language Disjoint" définis ici component la plus large classe qui, associèe à des circuits "sequentially self-checking", permet au système d'atteindre le "TSC goal" sous certaines hypothèses de pannes. Its conservent la propriété "language-disjoint" même en présence de fautes. Des propositions pour la conception de ces contrôleurs sont également données -nous vérifions la possibilité de les construire à partir de blocs combinatoires. Toutes les considárations pratiques sont basáes sur des hypothèses de pannes analytiques.

Dans cette étude nous nous intéressons aux contrôleurs utilisés dans des systèmes autotestables, pour le test des sorties, combinatoires ou séquentielles, du bloc fonctionnel. Deux classes de contrôleurs sont abordées: les "Strongly Code Disjoint" (SCD) qui vérifient une propriété combinatoire, et les "Strongly Language Disjoint" (SLD), où la propriété vérifiée est séquentielle. Pour la première, nous examinons la conception des contrôleurs NMOS à partir de l'assemblage des cellules, des règles de conception pour celles-ci, et des hypothèses de pannes pouvant survenir dans les systèmes aussi bien que dans quelques structures spécifiques de contrôleurs. Les contróleurs "Strongly Language Disjoint" définis ici component la plus large classe qui, associèe à des circuits "sequentially self-checking", permet au système d'atteindre le "TSC goal" sous certaines hypothèses de pannes. Its conservent la propriété "language-disjoint" même en présence de fautes. Des propositions pour la conception de ces contrôleurs sont également données -nous vérifions la possibilité de les construire à partir de blocs combinatoires. Toutes les considárations pratiques sont basáes sur des hypothèses de pannes analytiques.

Dans cette étude nous nous intéressons aux contrôleurs utilisés dans des systèmes autotestables, pour le test des sorties, combinatoires ou séquentielles, du bloc fonctionnel. Deux classes de contrôleurs sont abordées: les "Strongly Code Disjoint" (SCD) qui vérifient une propriété combinatoire, et les "Strongly Language Disjoint" (SLD), où la propriété vérifiée est séquentielle. Pour la première, nous examinons la conception des contrôleurs NMOS à partir de l'assemblage des cellules, des règles de conception pour celles-ci, et des hypothèses de pannes pouvant survenir dans les systèmes aussi bien que dans quelques structures spécifiques de contrôleurs. Les contróleurs "Strongly Language Disjoint" définis ici component la plus large classe qui, associèe à des circuits "sequentially self-checking", permet au système d'atteindre le "TSC goal" sous certaines hypothèses de pannes. Its conservent la propriété "language-disjoint" même en présence de fautes. Des propositions pour la conception de ces contrôleurs sont également données -nous vérifions la possibilité de les construire à partir de blocs combinatoires. Toutes les considárations pratiques sont basáes sur des hypothèses de pannes analytiques.