OPUS 4 | Mathematik

The Stochastic Guaranteed Service Model with Recourse for Multi-Echelon Warehouse Management (2012)

Jörg Rambau Konrad Schade

The Guaranteed Service Model (GSM) computes optimal order-points in multi-echelon inventory control under the assumptions that delivery times can be guaranteed and the demand is bounded. Our new Stochastic Guaranteed Service Model (SGSM) with Recourse covers also scenarios that violate these assumptions. Simulation experiments on real-world data of a large German car manufacturer show that policies based on the SGSM dominate GSM-policies.

A survey of the higher Stasheff-Tamari orders (2012)

Jörg Rambau Victor Reiner

The Tamari lattice, thought as a poset on the set of triangulations of a convex polygon with n vertices, generalizes to the higher Stasheff-Tamari orders on the set of triangulations of a cyclic d-dimensional polytope having n vertices. This survey discusses what is known about these orders, and what one would like to know about them.

Das Optimierungslabor – ein Erfahrungsbericht (2012)

Miriam Kießling Tobias Kreisel Sascha Kurz Jörg Rambau Konrad Schade Cornelius Schwarz

Seit mehreren Jahren besuchen uns Schülerinnen und Schüler an der Universität zu Anlässen wie dem Tag der Mathematik, dem Girls’ Day, der MINT-Universität oder einfach auf Initiative ihrer Klassenleitungen. Sie möchten einen Einblick in die Welt der Mathematik über die Schulmathematik hinaus bekommen. Doch wie lässt sich die Brücke vom Schulstoff zu den Inhalten der Universitätsmathematik schlagen? Und: findet man einen Themenschwerpunkt, bei dem ein aktives Mitmachen trotz fehlender Vorkenntnisse in Anbetracht begrenzter Zeit möglich wird? In der diskreten Optimierung lassen sich Problem-Modellierung und Problem-Lösung sehr gut trennen. Selbst forschungsnahe Modelle der ganzzahligen linearen Optimierung (MILP-Modelle) basieren auf sehr elementaren Überlegungen, wie die Entscheidungsmöglichkeiten, Ziele und Restriktionen eines Alltagsproblems in Variablen, Bewertungsfunktionen, Gleichungen und Ungleichungen ausgedrückt werden können. Wie dann optimale Lösungen gefunden werden, erfordert zwar tiefergehende Mathematik, es gibt aber Software dafür, in der das Wissen aus Teilen des Mathematik-Studiums und der mathematischen Forschung kondensiert vorliegt. Unser Vermittlungsziel: Schülerinnen und Schüler wissen nach dem Besuch, dass man verschiedenste Probleme angreifen kann, indem man sie in die Sprache der Mathematik übersetzt, denn in Software gegossenes mathematisches Know-How kann dann diese Probleme lösen, ohne etwas über die Probleme selbst zu wissen. Unsere Idee für eine Maßnahme: Ein Optimierungslabor. Die Schülerinnen und Schüler isolieren in Teamarbeit die wesentlichen logischen Merkmale von Sudokulösen, Rucksackpacken, Routenplanung u.v.a.m. Dann übersetzen sie die Problemstellungen in die Sprache der Mathematik (hier: MILP-Modelle) und lassen sie (unterstützt durch unser Team) von Computerprogrammen lösen (MILP-Löser), die nichts anderes als diese Sprache verstehen. Schließlich übersetzen sie die mathematischen Lösungen wieder in die Sprache der Problemstellung. Erfahrungen mit der Modellierung auf Basis linearer Gleichungssysteme können dabei aus dem Schulunterricht eingebracht werden. In diesem Bericht wollen wir unsere Erfahrungen mit konkreten Details der Umsetzung schildern.

The Integrated Size and Price Optimization problem (2012)

Miriam Kießling Sascha Kurz Jörg Rambau

We present the Integrated Size and Price Optimization Problem (ISPO) for a fashion discounter with many branches. Based on a two-stage stochastic programming model with recourse, we develop an exact algorithm and a production-compliant heuristic that produces small optimality gaps. In a field study we show that a distribution of supply over branches and sizes based on ISPO solutions is significantly better than a one-stage optimization of the distribution ignoring the possibility of optimal pricing.

Primitive central idempotents of finite group rings of symmetric and alternating groups in characteristic 2 (2009)

Harald Meyer

The paper contains computational results, the primitive central idempotents of group rings of symmetric and alternating groups of degree smaller or equal 54 in characteristic 2

Primitive central idempotents of finite group rings of symmetric and alternating groups in characteristic 3 (2009)

Harald Meyer

The paper contains computational results, the primitive central idempotents of group rings of symmetric and alternating groups of degree smaller or equal 31 in characteristic 3

THE INDEX THEOREM FOR QUASI-TORI (2013)

Tsz On Mario Chan

The Index theorem for holomorphic line bundles on complex tori asserts that some cohomology groups of a line bundle vanish according to the numbers of negative and positive eigenvalues of the associated hermitian form. In this thesis, this theorem is generalized to quasi-tori, i.e. connected complex abelian Lie groups which are not necessarily compact. In view of the Remmert–Morimoto decomposition of quasi-tori as well as the Künneth formula, it suffices to consider only Cousin-quasi-tori, i.e. quasi-tori which have no non-constant holomorphic functions. The Index theorem is generalized to holomorphic line bundles, both linearizable and non-linearizable, on Cousin-quasi-tori using L2-methods coupled with the Kazama–Dolbeault isomorphism and Bochner–Kodaira formulas.

An exact column-generation approach for the lot-type design problem (2012)

Sascha Kurz Miriam Kießling Jörg Rambau

We consider a fashion discounter distributing its many branches with integral multiples from a set of available lot-types. For the problem of approximating the branch and size dependent demand using those lots we propose a tailored exact column generation approach assisted by fast algorithms for intrinsic subproblems, which turns out to be very efficient on our real-world instances.

Integrated size and price optimization for a fashion retailer (2013)

Miriam Kießling

This thesis is the result of a collaboration with a German fashion retailer which lasted for several years. The aim was the development of a decision-support system for the supply of the about 1300 branches in Germany. There are some specialties about the situation at our industrial partner: The branches are supplied by prepackaged size-assortments of a product which we call lot-types. With the objective to economize handling cost, these lot-types are already composed at the respective low-wage country where the article is also produced. The expense at the German central warehouse is further reduced by allowing only four or five different lot-types for the delivery of one product. Moreover, each branch is supplied by a certain quantity of a single lot-type. For the most fashion articles replenishment is not possible. The sales success of a product is a priori unknown. Historical sales data can only be used on a higher aggregation level, e.g., the average historical demand on the commodity group level. Demand estimation is therefore very vague. Under- and oversupplies are unavoidable. Influence over the sales process is possible by marking down prices. To compensate for an oversupply of a product, weekly the price can be reduced to predefined price steps which depend on the starting price of the product. Mark-downs for an article are performed simultaneously for all branches and sizes. Within the cooperation mathematical problem formulations with the aim to minimize measures for the deviation of supply from estimated demand had been developed. In these measures the selling process is not or only very vaguely regarded. Now we include the possibility of marking down prices during the selling time already when deciding on the supply. The result is the two-stage stochastic program ISPO: The so-called first stage decision is the determination of a supply policy. The second stage decision, or recourse, is the decision on mark-downs during the selling time. ISPO yields an expected revenue maximizing supply strategy and corresponding optimal mark-down strategies for the considered scenarios. ISPO it too complex to solve it via standard approaches. Customized methods had to be devised to solve ISPO. On the one side we present an exact solver for benchmarking. On the other side a fast heuristic was developed for practical use at our partner. The basic idea of our exact solver is to enumerate all possible mark-down strategies. With this it is possible to reduce ISPO to a former formulation for the optimization of supply, which can be solved via standard approaches. In practice enumeration of all valid mark-down strategies for the purpose of solving ISPO is for reasons of time impossible. Therefore the idea is extended to a customized Branch&Bound approach. In this context we derived dual bounds for general two-stage stochastic programs which are based on the so-called wait-and-see solution from stochastic programming. We show that in general our bounds are tighter. The heuristic, beginning with a valid second stage decision, determines an optimal first stage decision and alternates between solving the first stage and the second stage until convergence is reached. The optimality gap is small enough to justify a practical use at the industrial partner. In practice the by ISPO proposed mark-down strategies are not applied; instead latest sales figures are exploited. According to these and an updated demand estimation weekly a new optimal mark-down strategy for the remaining selling time of the product is determined. For this purpose we propose an algorithm which relies on dynamic programming and tries to exclude non-optimal solutions a priori by dominance checks. ISPO, more precisely our heuristic approach, together with the weekly adaption of the mark-down strategy forms our decision support system for integrated size and price optimization DISPO. We tested DISPO in a five-month field study, performed as a statistical experiment, at our partner where pairs of similar branches were compared. At one branch of each pair, the test branch, supply and mark-down decisions came from ISPO. With respect to latest sales figures the mark-down decisions were weekly updated via our dynamic programming approach. At the other branch, the control branch, these decisions were not integrated: Supply was determined according to a strategy resulting from a former model that disregarded the selling process and mark-downs were handled manually by our partner. For the branches at which the decisions of ISPO were implemented an average raise of 1.5 percentage points of relative revenue was observed.

Über eine Erweiterung der Methode von Soshnikov zur Untersuchung des größten Eigenwerts auf unsymmetrische Verteilungen (2013)

Felix Grimme

Seit der Entdeckung des Halbkreisgesetzes durch Wigner werden reell-symmetrische Zufallsmatrix-Ensembles untersucht. Soshnikov hat in einer bahnbrechenden Arbeit gezeigt, dass für Wigner-Ensembles $A_n=(\xi_\ij)_{1\le i\le j\le n}$ mit symmetrisch verteilten Einträgen die Verteilung des größten Eigenwerts in einer geeigneten Skalierung für $n\to\infty$ universelles Verhalten zeigt und schwach gegen die Tracy-Widom-Verteilung, die Verteilung des Gauß'schen orthogonalen Ensembles, konvergiert. Für den Beweis nutzt Soshnikov die Momentenmethode. Hierbei wird die Analyse der Verteilungsfunktion des größten Eigenwerts auf die Analyse von Erwartungswerten von Spuren hoher Matrixpotenzen zurückgeführt (die Exponenten wachsen mit $n^{2/3}$). Die Spuren werden via $\tr A_n^{p_n}=\sum_{(i_0,\ldots,i_{p-1})\in[n]^p}\xi_{i_0,i_1}\xi_{i_1,i_2}\ldots\xi_{i_{p-1},i_0}$ als Summe über geschlossene Pfade kombinatorisch interpretiert. In der Analyse gilt es herauszufinden, welche Klassen von Pfaden (die mit den Momenten der Matrixeinträge in Verbindung stehen) die Spuren in der Asymptotik $n\to\infty$ dominieren. Es stellt sich heraus das dies Pfade sind, die jede ihrer Kanten genau zweimal durchlaufen. Das bedeutet, dass die Spuren asymptotisch nur von den für alle Matrixeinträge gleichen zweiten Momenten abhängen, sie sind also asymptotisch für alle betrachteten Ensembles universell. Diese Methode wird in der vorliegenden Arbeit auf Wigner-Ensembles mit nicht notwendig symmetrischen Verteilungen der Einträge erweitert. Die Kombinatorik ist in diesem Fall komplexer. Resultat der Arbeit ist, dass die Methode von Soshnikov funktioniert, wenn folgende Bedingungen erfüllt sind: die ersten und dritten Momente der Einträge sind~0 für die 97.\ Momente existiert eine in~$n$ gleichmäßige Schranke.

Mathematik

Refine

Author

Year of publication

Document Type

Language

Keywords

Institute

70 search hits