Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Funktionelle Analyse von Dystroglycan in der sich entwickelnden Hühnerretina durch in-ovo-Elektroporation

Alpha- und Beta-Dystroglycan, die zentralen Komponenten eines multimeren Dystrophin-assoziierten Proteinkomplexes wurden bislang im Wesentlichen in der Skelettmuskulatur charakterisiert. Dort stellt der DAG eine molekulare Verbindung zwischen dem Aktin-Zytoskelett der Muskelfaser und einer Basalmembran her, die die einzelne Muskelfaser umhüllt. Dystroglycan vermittelt auf diese Weise die mechanische Festigkeit der Muskelfasern während der Kontraktion. Außerdem dient der DAG als Gerüst für die Anlagerung von Proteinen. Mutationen in den strukturgebenden oder signaltransduzierenden Proteinen des DAG verursachen Muskeldystrophie. Besonders schwere Muskeldystrophien werden durch Mutationen hervorgerufen, die eine veränderte Glykosylierung von Dystroglycan und damit eine verminderte Bindung von alpha-Dystroglycan an Matrixproteine verursachen. Dies führt zu einer Beeinträchtigung der Basalmembranbiosynthese sowie sich daraus ergebende Störungen in der Migration, Schichtung und Differenzierung von Nervenzellen im ZNS. Welche Rolle Dystroglycan im sich entwickelnden ZNS spielt, sollte in dieser Arbeit an der Hühnerretina untersucht werden. Durch Anwendung der in ovo Elektroporation wurden zwei modifizierte Dystroglycankonstrukte in Neuroepithelzellen transfiziert. Die Überexpression eines verkürtzten Dystroglycanproteins, verursachte eine Abrundung der Neuroepithelzellen. Dies führte zur Hyperproliferation der Zellen deren Folge die Bildung von Verdickungen in der Retina war sowie eine verstärkte Bildung postmitotischer Neurone. Die Elektroporation eines nicht-spaltbaren Dystroglycans, führte im Gegensatz dazu zu einer Abnahme der Anzahl proliferierender und differenzierender Nervenzellen. Als Konsequenz veränderte sich die Orientierung der Axone von retinalen Ganglienzellen. Nach der Überexpression des verkürzten Dystroglycans verloren die Axone ihre zentripetale Orientierung auf den optischen Nerv, während die Elektroporation von Wt-Dystroglycan und nicht-spaltbarem Dystroglycan nur einen gelegentlichen Richtungswechsel der Axone verursachte. Die Daten zeigen, dass Dystroglycan einen entscheidenden Einfluss auf die Proliferation, Differenzierung und Polarität der Neuroepithelzellen ausübt. Dies geschieht vermutlich durch die Vermittlung der Adhäsion des Endfußes von Neuroepithelzellen an die Basalmembran. Die Veränderungen nach der Überexpression der modifizierten Dystroglycankonstrukte liefern möglicherweise eine Erklärung für den ZNS-Phänotyp der sich bei verschiedenen Formen von Muskeldystrophie zeigt.

Molecular interaction of the human metalloprotease meprin beta with the amyloid precursor protein, ADAM10, and ADAM17 based on proteomics

Die Zinkendopeptidasen Meprin α und β sind Schlüsselkomponenten in patho(physiologischen) Prozessen wie Entzündung, Kollagenassemblierung und Angiogenese. Nach ihrer Entdeckung in murinen Bürstensaummembranen und humanen Darmepithelien, wurden weitere Expressionsorte identifiziert, z.B. Leukozyten, Krebszellen und die humane Haut. Tiermodelle, Zellkulturen und biochemische Analysen weisen auf Funktionen der Meprine in der Epithelialdifferenzierung, Zellmigration, Matrixmodellierung, Angiogenese, Bindegewebsausbildung und immunologische Prozesse hin. Dennoch sind ihre physiologischen Substrate weitgehend noch unbekannt. Massenspektrometrisch basierte Proteomics-Analysen enthüllten eine einzigartige Spaltspezifität für saure Aminosäurereste in der P1´ Position und identifizierten neue biologische Substratkandidaten. Unter den 269 extrazellulären Proteinen, die in einem Substratscreen identifiziert wurden, stellten sich das amyloid precursor protein (APP) and ADAM10 (a disintegrin and metalloprotease 10) als sehr vielversprechende Kandidaten heraus. Mehrere Schnittstellen innerhalb des APP Proteins, hervorgerufen durch verschiedenen Proteasen, haben unterschiedlichen Auswirkungen zur Folge. Die β-Sekretase BACE (β-site APP cleaving enzyme) prozessiert APP an einer Schnittstelle, welche als initialer Schritt in der Entwicklung der Alzheimer Erkrankung gilt. Toxische Aβ (Amyloid β)-Peptide werden in den extrazellulären Raum freigesetzt und aggregieren dort zu senilen Plaques. Membran verankertes Meprin β hat eine β-Sekretase Aktivität, die in einem Zellkultur-basierten System bestätigt werden konnte. Die proteolytische Effizienz von Meprin β wurde in FRET (Fluorescence Resonance Energy Transfer)-Analysen bestimmt und war um den Faktor 104 höher als die von BACE1. Weiterhin konnte gezeigt werden, dass Meprin β die ersten zwei Aminosäuren prozessiert und somit aminoterminal einen Glutamatrest freisetzt, welcher nachfolgend durch die Glutaminylzyklase in ein Pyroglutamat zykliert werden kann. Trunkierte Aβ-Peptide werden nur in Alzheimer Patienten generiert. Aufgrund einer erhöhten Hydrophobie weisen diese Peptide eine höhere Tendenz zur Aggregation auf und somit eine erhöhte Toxizität. Bis heute wurde keine Protease identifiziert, welche diese Schnittstelle prozessiert. Die Bildung der Meprin vermittelten N-terminalen APP Fragmenten wurde in vitro und in vivo detektiert. Diese N-APP Peptide hatten keine cytotoxischen Auswirkungen auf murine und humane Gehirnzellen, obwohl zuvor N-APP als Ligand für den death receptor (DR) 6 identifiziert wurde, der für axonale Degenerationsprozesse verantwortlich ist. rnIm nicht-amyloidogenen Weg prozessiert ADAM10 APP und entlässt die Ektodomäne von der Zellmembran. Wir konnten das ADAM10 Propeptid als Substrat von Meprin β identifizieren und in FRET Analysen, in vitro und in vivo zeigen, dass die Meprin vermittelte Prozessierung zu einer erhöhten ADAM10 Aktivität führt. Darüber hinaus wurde ADAM10 als Sheddase für Meprin β identifiziert. Shedding konnte durch Phorbol 12-myristate 13-acetate (PMA) oder durch das Ionophor A23187 hervorgerufen werden, sowie durch ADAM10 Inhibitoren blockiert werden. rnDiese Arbeit konnte somit ein komplexes proteolytisches Netwerk innerhalb der Neurophysiologie aufdecken, welches für die Entwicklung der Alzheimer Demenz wichtig sein kann.rn

Canonical group quantization and boundary conditions

In the present thesis, we study quantization of classical systems with non-trivial phase spaces using the group-theoretical quantization technique proposed by Isham. Our main goal is a better understanding of global and topological aspects of quantum theory. In practice, the group-theoretical approach enables direct quantization of systems subject to constraints and boundary conditions in a natural and physically transparent manner -- cases for which the canonical quantization method of Dirac fails. First, we provide a clarification of the quantization formalism. In contrast to prior treatments, we introduce a sharp distinction between the two group structures that are involved and explain their physical meaning. The benefit is a consistent and conceptually much clearer construction of the Canonical Group. In particular, we shed light upon the 'pathological' case for which the Canonical Group must be defined via a central Lie algebra extension and emphasise the role of the central extension in general. In addition, we study direct quantization of a particle restricted to a half-line with 'hard wall' boundary condition. Despite the apparent simplicity of this example, we show that a naive quantization attempt based on the cotangent bundle over the half-line as classical phase space leads to an incomplete quantum theory; the reflection which is a characteristic aspect of the 'hard wall' is not reproduced. Instead, we propose a different phase space that realises the necessary boundary condition as a topological feature and demonstrate that quantization yields a suitable quantum theory for the half-line model. The insights gained in the present special case improve our understanding of the relation between classical and quantum theory and illustrate how contact interactions may be incorporated.

Non-parametric estimation of the diffusion coefficient of a branching diffusion with immigration

Wir betrachten Systeme von endlich vielen Partikeln, wobei die Partikel sich unabhängig voneinander gemäß eindimensionaler Diffusionen [dX_t = b(X_t),dt + sigma(X_t),dW_t] bewegen. Die Partikel sterben mit positionsabhängigen Raten und hinterlassen eine zufällige Anzahl an Nachkommen, die sich gemäß eines Übergangskerns im Raum verteilen. Zudem immigrieren neue Partikel mit einer konstanten Rate. Ein Prozess mit diesen Eigenschaften wird Verzweigungsprozess mit Immigration genannt. Beobachten wir einen solchen Prozess zu diskreten Zeitpunkten, so ist zunächst nicht offensichtlich, welche diskret beobachteten Punkte zu welchem Pfad gehören. Daher entwickeln wir einen Algorithmus, um den zugrundeliegenden Pfad zu rekonstruieren. Mit Hilfe dieses Algorithmus konstruieren wir einen nichtparametrischen Schätzer für den quadrierten Diffusionskoeffizienten $sigma^2(cdot),$ wobei die Konstruktion im Wesentlichen auf dem Auffüllen eines klassischen Regressionsschemas beruht. Wir beweisen Konsistenz und einen zentralen Grenzwertsatz.

Visuell-mediale Landschaftskonstruktionen als Bild-Raum-Diskurse

Durch die massenmediale Zunahme von statischen und bewegten Bilder im Laufe des letzten Jahrhunderts vollzieht sich unsere lebensweltliche Wirklichkeitskonstruktion zu Beginn des 21. Jahrhunderts zunehmend über Visualisierungen, die mit den neuen Formen der Digitalisierung noch an Dynamik zunehmen werden. Mit diesen omnipräsenten visuell-medialen Repräsentationen werden meist räumliche Vorstellungen transportiert, denn Räume werden vor allem über Bilder konstruiert. Diese Bildräume zirkulieren dabei nicht als singuläre Bedeutungszuschreibungen, sondern sind in sprachliche und bildliche Diskurse eingebettet. Visuell-mediale Bild-Raum-Diskurse besitzen zunehmend die Fähigkeit, unser Wissen über und unsere Wahrnehmung von Räumen zu kanalisieren und auf stereotype Raumstrukturen zu reduzieren. Dabei verfestigt sich eine normative Ordnung von bestimmten machtvollen Bildräumen, die nicht genügend kritisch hinterfragt werden. Deshalb ist es für die Geographie von entscheidender Wichtigkeit, mediale Raumkonstruktio- nen, ihre Einbettung in diskursive Bildarchive und ihre essentialistische und handlungspraktische gesellschaftliche Wirkung zu verstehen.rnLandschaften können vor diesem Hintergrund als visuell-medial transportierte Bild-Raum-Diskurse konzeptionalisiert werden, deren gesellschaftliche Wirkmächtigkeit mit Hilfe einer visuell ausgerichteten Diskursanalyse hinterfragt werden sollte. Auf Grundlage einer zeichentheoretischen Ikonologie wurde eine Methodik entwickelt, die visuell ausgerichtete Schrift-Bild-Räume angemessen analysieren kann. Am Beispiel der Inszenierung des Mittelrheintals, wurde, neben einer diachronischen Strukturanalyse der diskursrelevanten Medien (Belletristik, Malerei, Postkarten, Druckgrafiken und Fotografien), eine Feinanalyse der fotografischen „Rheinlandschaften“ von August Sander der 1930er Jahre durchgeführt. Als Ergebnis zeigte sich, dass der Landschaftsdiskurs über das Mittelrheintal immer noch durch die gegenseitige Durchdringung der romantischen Literatur und Malerei in der ersten Hälfte des 19. Jahrhunderts und die historischen Fotografien in den ersten Jahrzehnten des 20. Jahrhunderts bestimmt ist, nicht zuletzt forciert durch die Ernennung zum UNESCO-Welterbe 2002. Der stark visuell ausgerichtete Landschaftsdiskurs trägt somit zum einen positiv konnotierte, romantisch-pittoreske Züge, die die Einheit von Mensch und Natur symbolisieren, zum anderen historisch-konservatorische Züge, die eine Mythifizierung zu einer gewachsenen, authentischen Kulturlandschaft evozieren.