Analog information decoding of bosonic quantum LDPC codes

Quantum error correction is crucial for scalable quantum information processing applications. Traditional discrete-variable quantum codes that use multiple two-level systems to encode logical information can be hardware-intensive. An alternative approach is provided by bosonic codes, which use the infinite-dimensional Hilbert space of harmonic oscillators to encode quantum information. Two promising features of bosonic codes are that syndrome measurements are natively analog and that they can be concatenated with discrete-variable codes. In this work, we propose novel decoding methods that explicitly exploit the analog syndrome information obtained from the bosonic qubit readout in a concatenated architecture. Our methods are versatile and can be generally applied to any bosonic code concatenated with a quantum low-density parity-check (QLDPC) code. Furthermore, we introduce the concept of quasi-single-shot protocols as a novel approach that significantly reduces the number of repeated syndrome measurements required when decoding under phenomenological noise. To realize the protocol, we present a first implementation of time-domain decoding with the overlapping window method for general QLDPC codes, and a novel analog single-shot decoding method. Our results lay the foundation for general decoding algorithms using analog information and demonstrate promising results in the direction of fault-tolerant quantum computation with concatenated bosonic-QLDPC codes.Comment: 30 pages, 15 figure

Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes

Quantum error correction is crucial for scalable quantum information-processing applications. Traditional discrete-variable quantum codes that use multiple two-level systems to encode logical information can be hardware intensive. An alternative approach is provided by bosonic codes, which use the infinite-dimensional Hilbert space of harmonic oscillators to encode quantum information. Two promising features of bosonic codes are that syndrome measurements are natively analog and that they can be concatenated with discrete-variable codes. In this work, we propose novel decoding methods that explicitly exploit the analog syndrome information obtained from the bosonic qubit readout in a concatenated architecture. Our methods are versatile and can be generally applied to any bosonic code concatenated with a quantum low-density parity-check (QLDPC) code. Furthermore, we introduce the concept of quasi-single shot protocols as a novel approach that significantly reduces the number of repeated syndrome measurements required when decoding under phenomenological noise. To realize the protocol, we present the first implementation of time-domain decoding with the overlapping window method for general QLDPC codes and a novel analog single-shot decoding method. Our results lay the foundation for general decoding algorithms using analog information and demonstrate promising results in the direction of fault-tolerant quantum computation with concatenated bosonic-QLDPC codes

"Malignant" mitral stenosis

Symptomatic mitral stenosis caused by a left atrial mass as the first sign of metastasis of a malignant tumor is extremely rare and frequently associated with poor prognosis. We report a case of a 59-year-old man with a history of grade 3 malignant fibrous histiocytoma on his left tigh treated by limb-sparing surgery 17 months earlier, who was admitted with 10-days of worsening dyspnea. Imaging revealed a left atrial mass protruding through the mitral valve that resulted in severe mitral stenosis. Biopsy confirmed metastasis of malignant fibrous histiocytoma

Heat Shock Protein-Derived T-Cell Epitopes Contribute to Autoimmune Inflammation in Pediatric Crohn's Disease

Pediatric Crohn's disease is a chronic auto inflammatory bowel disorder affecting children under the age of 17 years. A putative etiopathogenesis of Crohn's disease (CD) is associated with disregulation of immune response to antigens commonly present in the gut microenvironment. Heat shock proteins (HSP) have been identified as ubiquitous antigens with the ability to modulate inflammatory responses associated with several autoimmune diseases. The present study tested the contribution of immune responses to HSP in the amplification of autoimmune inflammation in chronically inflamed mucosa of pediatric CD patients. Colonic biopsies obtained from normal and CD mucosa were stimulated with pairs of Pan HLA-DR binder HSP60-derived peptides (human/bacterial homologues). The modulation of RNA and protein levels of induced proinflammatory cytokines were measured. We identified two epitopes capable of sustaining proinflammatory responses, specifically TNF〈 and IFN© induction, in the inflamed intestinal mucosa in CD patients. The responses correlated positively with clinical and histological measurements of disease activity, thus suggesting a contribution of immune responses to HSP in pediatric CD site-specific mucosal inflammation

Archiwum Akt Dawnych Diecezji Toruńskiej (2001-2016)

Archiwa diecezjalne w dzisiejszym znaczeniu są efektem wprowadzonych Kodeksem Prawa Kanonicznego z 1917 roku postanowień o zakładaniu w diecezjach archiwów historycznych. W Polsce powołano w 1925 roku Archiwum Archidiecezjalne w Poznaniu, które jest najstarszym działającym archiwum szczebla diecezjalnego w naszym kraju. Archiwa te odpowiadają za gromadzenie archiwaliów z instytucji centralnych w diecezji, agend diecezjalnych oraz dekanatów i parafii istniejących na podległych im terenach. Celem publikacji jest przybliżenie wiedzy o archiwach kościelnych, a zwłaszcza Archiwum Akt Dawnych Diecezji Toruńskiej, które w 2016 roku obchodziło 15-lecie swojej działalności. Pierwsze trzy teksty traktują o archiwach diecezjalnych. Wiesława Kwiatkowska przedstawiła metodykę opracowania archiwaliów kościelnych nakreśloną w literaturze naukowej. Jest to synteza zawierająca gotowe przykłady praktyk możliwych do zastosowania w archiwach kościelnych. Ks. Robert R. Kufel przedstawił dzieje, zasób i organizację Archiwum Diecezjalnego w Zielonej Górze, zaś dla toruńskiego archiwum uczynił to Mateusz Zmudziński. Kolejne trzy rozdziały odnoszą się do prac konserwatorskich i badań mikrobiologicznych prowadzonych w toruńskim archiwum diecezjalnym. R. Białkowski, M. Borycka i M. Pronobis-Gajdzis w bardzo ciekawej części charakteryzują prace wykonane podczas audytu konserwatorskiego w Archiwum Akt Dawnych Diecezji Toruńskiej. Na uwagę zasługują propozycje zmian i modyfikacji. J. Karbowska-Berent, D. Jezierska i T. Sawoszczuk przedstawili wyniki badań mikrobiologicznych prowadzonych w archiwum i na obiektach w nim przechowywanych. A. Zięba i E. Jabłońska omówiły efekty konserwacji zachowawczej przeprowadzonej na części zasobu przez studentów Uniwersytetu Mikołaja Kopernika w Toruniu. Ostatnie trzy części traktują o toruńskich archiwaliach. Kinga Michalak scharakteryzowała księgi metrykalne parafii farnej w Lidzbarku k. Działdowa, Marta Ruczyńska przedstawiła marginalia z metrykaliów parafii w Radomnie, zaś P. Czekaj i M. Zmudziński opublikowali spis akt z parafii farnej w Wąbrzeźnie

Warunkowe zawieszenie wykonania kary w założeniach nowej polityki karnej

Opracowanie stanowi interdyscyplinarne studium badań nad instytucją warunkowego zawieszenia wykonania kary z perspektywy analizy dogmatycznej w płaszczyźnie prawa karnego materialnego i wynikających z niego implikacji w sferze proceduralnej oraz szeroko pojętej praktyki stosowania prawa karnego: sędziowskiej, prokuratorskiej i adwokacko-radcowskiej. Wiele miejsca poświęcono zagadnieniom z zakresu teorii i filozofii prawa karnego, umiejętnie eksponując przy tym ich wymiar praktyczny. Omówiono m.in. ustawowe przesłanki stosowania warunkowego zawieszenia, jego wady i zalety, obowiązki probacyjne związane z poddaniem sprawcy próbie

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

Boolean Satisfiability (SAT) techniques are well-established in classical computing where they are used to solve a broad variety of problems, e.g., in the design of classical circuits and systems. Analogous to the classical realm, quantum algorithms are usually modelled as circuits and similar design tasks need to be tackled. Thus, it is natural to pose the question whether these design tasks in the quantum realm can also be approached using SAT techniques. To the best of our knowledge, no SAT formulation for arbitrary quantum circuits exists and it is unknown whether such an approach is feasible at all. In this work, we define a propositional SAT encoding that, in principle, can be applied to arbitrary quantum circuits. However, we show that, due to the inherent complexity of representing quantum states, constructing such an encoding is not feasible in general. Therefore, we establish general criteria for determining the feasibility of the proposed encoding and identify classes of quantum circuits fulfilling these criteria. We explicitly demonstrate how the proposed encoding can be applied to the class of Clifford circuits as a representative. Finally, we empirically demonstrate the applicability and efficiency of the proposed encoding for Clifford circuits. With these results, we lay the foundation for continuing the ongoing success of SAT in classical circuit and systems design for quantum circuits