Download - Onderwerpen Masterproef Opleiding Wiskunde Academiejaar ... masterproef wiskund… · techniek is algemeen en kan toegepast op andere varianten of andere modellen die arbitrage genereren

Onderwerpen Masterproef Opleiding Wiskunde Academiejaar 2016-2017 Vakgroep Toegepaste Wiskunde, Informatica en Statistiek

Titel: Veralgemeende Fourier transformaties: discreet versus continu Promotor: Hendrik De Bie ([email protected]) Joris Van der Jeugt ([email protected]) Doelgroep: Studenten uit de tweede master Wiskunde. Korte beschrijving: De klassieke Fourier transformatie (FT) kan men linken aan een realisatie in termen van differentiaaloperatoren van de Lie algebra sl_2. Deze herschrijving laat vervolgens toe om vergaande veralgemeningen van de FT te bekomen, door nieuwe differentiaaloperator realisaties van sl_2 (of zelfs ingewikkeldere Lie (super)algebra's ) te construeren. De laatste jaren vormt dit een actief domein van onderzoek, waar zowel continue als discrete transformaties ingevoerd werden. In veel gevallen is er bovendien een interessante kwantummechanische interpretatie. Doel van deze scriptie is om een aantal dergelijke transformaties in detail te bestuderen, en in het bijzonder een vergelijkende studie te maken van het discrete en continue geval.

Titel: “Constant term identities” Promotor: Joris Van der Jeugt ([email protected]) Doelgroep: Studenten uit de tweede master Wiskunde. Korte beschrijving: In de literatuur zijn er tal van intrigerende “constant term identities” te vinden, die dikwijls hun oorsprong vinden in algebra of combinatoriek. Het berekenen of bepalen van de constante term van een rationale functie (van een bepaalde klasse) is niet eenvoudig. Meestal moet men zich wenden tot technieken die dan kunnen geïmplementeerd worden in computeralgebrapakketten. Voor deze scriptie onderzoekt de student eerst een gebied waarin de berekening van constante termen van belang is, zoals de bepaling van Kronecker coëfficiënten voor symmetrische functies. Hiervoor is kennis van symmetrische functies en karakters van S_n een pluspunt. Vervolgens onderzoekt de student enkele methodes/algoritmes om constante term berekeningen te doen. Implementatie van zulke algoritmes in Maple (of Sage) maakt ook deel uit van het werk. Referentiewerken:

A. Garsia, N. Wallach, G. Xin and M. Zabrocki, Kronecker coefficients via symmetric functions and constant term identities. (zie o.a. arXiv:0810.0060 [math.CO]).

G. Xin, A fast algorithm for MacMahon’s partition analysis (arXiv:math/0408377 *math.CO+).

Titel: Lie-superalgebra’s: representaties en toepassingen. Promotor: Joris Van der Jeugt ([email protected]) Doelgroep: Studenten uit de tweede master Wiskunde.

Korte beschrijving: Lie-superalgebra’s zijn structuren die nauw verwant zijn met Lie-algebra’s. Zoals men Lie-algebra’s kan beschouwen als algebra’s waar het product met een commutator correspondeert, zo kan men Lie-superalgebra’s beschouwen als algebra’s waar het product een commutator of een anti-commutator kan zijn. Lie-superalgebra’s zijn structuren die hun oorsprong vinden in wiskundige natuurkunde (supersymmetrie), maar die ook door wiskundigen bestudeerd worden. Hun classificatie werd voltooid in 1977 door V.G. Kac. Inhoudelijk omvat deze masterproef: - een studie van de structuur van enkelvoudige Lie-superalgebra’s - begrippen van representaties van Lie-superalgebra’s, belangrijke klassen van representaties - verwerken van enkele toepassingen van Lie-superalgebra representaties, bijvoorbeeld in Wigner-kwantumsystemen. Afhankelijk van de interesse van de student kan de nadruk liggen op representatietheorie (met begrippen als “supersymmetrische Schur functies”, karakters,…) of op toepassingen. Referentiewerken:

M. Scheunert, The theory of Lie superalgebras. An introduction. Lecture Notes in Mathematics, 716. Springer, Berlin, 1979.

V.G. Kac, Lie superalgebras. Advances in Math. 26 (1977), no. 1, 8--96.

S. Lievens, N.I. Stoilova, J. Van der Jeugt, Harmonic oscillators coupled by springs: discrete solutions as a Wigner quantum system. J. Math. Phys. 47 (2006), no. 11, 113504, 23 pp.

Titel: Prijsbepaling en hedging van regenboogopties Promotor: David Vyncke Doelgroep: Toegepaste Wiskunde Korte beschrijving Een regenboogoptie is een financieel derivaat waarvan de pay-off afhangt van twee of meer onderliggende effecten. Magrabe (1978) beschrijft bijvoorbeeld een exchange optie die de belegger het recht geeft om een bepaald aandeel om te ruilen voor een ander aandeel. De beslissing om de optie al dan niet uit te oefenen hangt in dit geval af van de prijs van beide aandelen op de vervaldatum. De prijs van een dergelijke optie wordt bijgevolg bepaald door de individuele effecten maar ook door hun onderlinge afhankelijkheid. De bedoeling van deze masterproef is het bestuderen en implementeren van verschillende methoden om regenboogopties te prijzen en hedgen. Referenties: Chen C.-Y., Wang H.-C. & Wang J.-Y. (2015). The valuation of forward-start rainbow options. Review of Derivatives Research, 18, 145–188. Margrabe W. (1978). The value of an option to exchange one asset for another. The Journal of Finance, 23, 177-186. Ouwehand P., West G. (2006) Pricing rainbow options. Wilmott Magazine, 74-80.

Een ander onderwerp in de financiële wiskunde Promotor: David Vyncke Doelgroep: Toegepaste Wiskunde Korte beschrijving Bespreekbaar

Titel: Alles normal of niet ? Promotor: Christophe Ley ([email protected]) Doelgroep: studenten wiskunde met interesse in mathematische statistiek en kansrekening Korte beschrijving: De normale verdeling heeft een speciale plaats in kansrekening, statistiek en, algemeen, in wetenschappen. Dit heeft historische en wiskundige redenen. Er zijn heel wat verschillende stellingen die zeggen dat slechts de normale verdeling een speciale eigenschap bezit : maximale entropie, limiet van een som van toevalsvariablen, onafhankelijkheid tussen positie en dispersie schatters, etc. Het doel van deze masterproef is een studie van de verschillende stellingen die de normale verdeling karakteriseren, en een vooruitzicht op limitaties van de normale verdeling.

Titel : Information theory Promotor: Christophe Ley ([email protected]) Doelgroep: studenten wiskunde met interesse in mathematische statistiek en kansrekening Korte beschrijving: De historische werken van Claude Shannon over transport van informatie vormen de basis voor een hoog interessant onderzoeksdomein : information theory. Er zijn verschillende maten van informatie : entropie, wederzijds informatie, Kullback-Leibler divergence, etc. Deze maten zijn verbonden met codetheorie. In recente jaren hebben onderzoekers meer en meer links gevonden tussen information theory en statistiek. Het doel van deze masterproef is het bestuderen van deze links en dus van een gloednieuw domein. Referenties: Er zijn veel goede tekstboeken. Voorbeeld: Cover, T. and Thomas, J. (2006) : Elements of Information Theory. Wiley New York.

Titel: Risicominimalisatie onder partiële informatie Doelgroep: master wiskunde Promotor: prof. M. Vanmaele Korte beschrijving: Een verzekeringsmaatschappij kan op elk moment het aantal sterftegevallen voor een bepaalde portefeuille met individuele verzekeringscontracten waarnemen. Echter, de hazard rate van sterfte

mailto:[email protected]:[email protected]

kunnen ze niet waarnemen. Bij een hazard rate gaat het om een (voorwaardelijke) kans om van de ene toestand in de andere terecht te komen. Om een unit-linked levensverzekeringscontract te hedgen stelt zich dus het probleem van deze partiële informatie. Bij dergelijke contracten hangen de verzekeringsvoordelen immers af van de prijs van een specifiek aandeel en de uitvoering van betalingen hangt af van het al dan niet voorkomen van een gebeurtenis verbonden met het leven/de leeftijd van de polishouder. Er moet een model opgesteld worden dat de financiële en de verzekeringsmarkt combineert rekening houdend met de beperkingen op de beschikbare informatie over de verzekeringsmarkt. De hedging kan niet perfect gebeuren want er is geen complete markt. In het geval van kwadratische hedging maakt men gebruik van een risicominimalisatie in een martingaalsetting en van lokale risicominimalisatie in een semimartingaalsetting. Deze hedgingstrategieën zijn gebaseerd op de Galtchouck-Kunita-Watanabe-decompositie respectievelijk de Föllmer-Schweizer-decompositie. Daarom dat eerst deze decomposities dienen bestudeerd te worden in het geval van partiële informatie om daarna de kwadratische hedgingstrategieën onder beperkte informatie te bestuderen. Voor deze studie kan gesteund worden op de volgende artikels: Ceci C., Colaneri K., Cretarola A., Local risk-minimization under restricted information on asset prices.

prepint Ceci C., Colaneri K., Cretarola A., Hedging of unit-linked life insurance contracts with unobservable

mortality hazard rate via local risk-minimization. Insurance: Mathematics and Economics, Volume 60, pp. 47-60, 2015.

Ceci C., Cretarola A., Russo F., GKW representation theorem under restricted information. An application to risk-minimization. Stochastics and Dynamics, Volume 14, Issue 2, pp. 1350019 (23 pages), 2014.

Ceci C., Cretarola A., Russo F., BSDEs under partial information and financial applications. Stochastic Processes and their Applications, Volume 124, Issue 8, pp. 2628-2653, 2014.

Titel: Arbitragevrije volatiliteitsparametrisaties via stochastische collocatie Doelgroep: master wiskunde Promotor: prof. M. Vanmaele Korte beschrijving: Bij het hanteren van een groot aantal quotes van de marktvolatiliteit is het normaal om deze uit te drukken in termen van een parametrische vorm, zodat het hele scala van uitoefenprijzen kan worden verklaard door enkele parameters. Zodra de parametrische vergelijking wordt gegeven, kan men de volatiliteiten direct bekomen door het evalueren van de parametrische functie. Sedert enkele jaren is de Hagan-formule een marktstandaard voor volatiliteitsparametrisatie. Deze formule is afkomstig van een “heat kernel expansion” voor een korte looptijd. Alhoewel de dichtheid afkomstig van deze benadering zeer eenvoudig te implementeren is, is deze niet altijd vrij van arbitrage vooral niet voor zeer lage uitoefenprijzen (de dichtheid wordt negatief of integreert niet tot één). Het prijzen van specifieke financiële derivaten, zoals Constant Maturity Swaps (CMS), is gebaseerd op de integratie van de uitbetaling over de dichtheidsfunctie die afkomstig is van zo’n volatiliteitsparametrisatie. Voor deze CMS producten maakt de praktijk gebruik van marginale dichtheden die naar behoren moeten gedefinieerd en arbitrage-vrij zijn. Bijgevolg kunnen deze marginale dichtheden niet gebaseerd zijn op de Hagan-formule. Grezlak en Oosterlee (2016) stellen een methode voor om een arbitrage-vrije dichtheidsfunctie af te

leiden uit de Hagan-formule. De techniek is gebaseerd op de stochastische collocatiemethode (SCM). De voorgestelde methode is zeer snel en eenvoudig te implementeren omdat het alleen gaat om één-dimensionale Lagrange-interpolatie en de inversie van een lineair systeem van vergelijkingen. De techniek is algemeen en kan toegepast op andere varianten of andere modellen die arbitrage genereren zoals bijvoorbeeld de SVI parametrisatie. Voor deze studie kan gesteund worden op volgende artikels:

Grzelak, L.A., Oosterlee, C.W., From Arbitrage to Arbitrage-Free Implied Volatilities (March 07, 2016). Journal of Computational Finance, Forthcoming. Available at SSRN: http://ssrn.com/abstract=2529684 or http://dx.doi.org/10.2139/ssrn.2529684

Homescu, C., Implied Volatility Surface: Construction Methodologies and Characteristics, eprint arXiv:1107.1834v1, 2011

Kahale N., An arbitrage-free interpolation of volatilities, RISK MAY 2004

Le Floc'h, F., Arbitrages in the Volatility Surface Interpolation and Extrapolation (September 21, 2012). Available at SSRN: http://dx.doi.org/10.2139/ssrn.2175001

Titel: Affiene LIBOR-modellen met meerdere curven: theorie, voorbeelden en calibratie Doelgroep: master wiskunde Promotor: prof. M. Vanmaele Korte beschrijving: Dit onderwerp over interestvoetmodellen betreft de studie van een theoretisch kader met meerdere curven dat leidt tot semi-analytische formules voor het prijzen van renteproducten met positieve interestvoet en basis spreads. Het geval van negatieve interestvoeten en positieve spreads die momenteel waargenomen worden in de markt, past ook in deze theorie. De evolutie van OIS en LIBOR-tarieven wordt beschreven volgens de methodologie van affiene LIBOR-modellen en is aangedreven door de brede en flexibele klasse van affiene processen. De affiene eigenschap blijft behouden onder voorwaartse maten. Dit laat toe om caps, swaptions en basis swaptions te prijzen via Fouriertransformaties. Om op een efficiënte en nauwkeurige manier een stelsel van capletprijzen te caliberen wordt een model met afhankelijke LIBOR-tarieven gebruikt. Voor deze studie kan gesteund worden op het artikel en de daarin vermelde referenties:

Grbac, Z., Papapantoleon, A., Schoenmakers, J., Skovmand, D., Affine LIBOR Models with Multiple Curves: Theory, Examples and Calibration, SIAM Journal on Financial Mathematics 2015 6:1, 984-1025

Een ander onderwerp in het domein van de financiële wiskunde Promotor: Prof. dr. M. Vanmaele Doelgroep: studenten uit de tweede master Wiskunde Korte beschrijving: Bespreekbaar

http://dx.doi.org/10.2139/ssrn.2529684http://dx.doi.org/10.2139/ssrn.2175001

Targeted maximum likelihood estimation (TLME) voor het schatten van causale effecten in observationele studies Promotor: Prof. dr. S. Vansteelandt Doelgroep: studenten wiskunde met interesse in mathematische statistiek Korte beschrijving: In heel wat epidemiologische studies is men geïnteresseerd in het schatten van het causaal effect van een blootstelling op een bepaalde uitkomst; bijvoorbeeld, het causaal effect van roken op het risico op sterfte. Dit wordt vaak bemoeilijkt door confounding: de aanwezigheid van factoren die zowel de blootstelling als uitkomst beïnvloeden, waardoor de associatie tussen beiden niet langer een zuiver causaal effect weerspiegelt. Bijvoorbeeld, niet-rokers zijn doorgaans individuen met een gezondere levensstijl dan rokers. Het niet in rekening brengen van confounding leidt tot een vertekende inschatting van het effect van roken. Over de laatste jaren zijn er heel wat schattingstechnieken ontwikkeld om vertekening ten gevolge van confounding te elimineren. Hiervoor moeten statistische modellen worden gebouwd die de associatie van confounders met de uitkomst en/of blootstelling modelleren. Wanneer deze modellen echter niet correct gespecificeerd zijn, kunnen vertekende schattingen worden bekomen. Recent werd er in de literatuur een algemene schattingsmethode voorgesteld, targeted maximum likelihood estimation, die om die reden zuinig omspringt met statistische modellering en schatters met gunstige eigenschappen (bvb. kleine variantie) oplevert. Het doel van deze masterproef zal in eerste instantie zijn om inzicht te verwerven hoe deze schattingsmethode te werk gaat en vervolgens de performantie van TMLE door middel van een simulatiestudie te vergelijken met andere bestaande schattingsmethoden om een causaal effect van een blootstelling op een uitkomst te schatten. Uitgangspunt is het boek “Targeted Learning, causal inference for observational and experimental data” van Mark J. van der Laan en Sherri Rose, Springer Series in Statistics, hoofdstukken 1 tot 7.

Optimale inschatting van nuisance parameters in statistische analyses Promotor: Prof. dr. S. Vansteelandt Doelgroep: studenten wiskunde met interesse in ofwel theoretische, ofwel toegepaste statistiek. Korte beschrijving: Over de laatste jaren maken statistische analyses meer en meer gebruik van `invers wegen'. Dit is een techniek waarbij de metingen van elk individu op een specifieke manier gewogen worden, met als doel bepaalde vormen van vertekening (bijvoorbeeld, ten gevolge van confounding) te elimineren. Een nadeel van deze techniek is echter dat de gewichten, die op basis van de maximum kans methode bekomen worden, voor sommige individuen soms zeer hoog kunnen oplopen. Dat heeft tot gevolg dat deze individuen zeer invloedrijk worden in de analyse, en bijgevolg de analyse danig in de war kunnen sturen. In deze masterproef zult u betrokken worden in een lopend onderzoeksproject waarbij een algemene theorie werd ontwikkeld om deze gewichten op een veel betere manier in te schatten (niet via de maximum kans methode). Het doel zal er meer concreet in bestaan om, na een studie van deze theorie, ze toe te passen op een concrete probleemstelling die momenteel zeer veel aandacht krijgt in de literatuur. Met name zullen we de theorie toepassen om (via zogenaamde directe en indirecte effecten) inzicht te krijgen in het causale mechanisme waarbij een bepaalde blootstelling een bepaalde uitkomst

beïnvloedt. Deze toepassing is gemotiveerd door de concrete probleemstelling waarom bepaalde genen met longkanker geassocieerd zijn: omdat ze mensen ertoe aanzetten te roken, of omdat ze rechtstreeks het risico op longkanker beïnvloeden. De focus van deze masterproef kan, afhankelijk van de interesses van de student, van zeer theoretisch tot zeer toegepast variëren.

Een ander onderwerp in het domein van de mathematische statistiek en/of toegepaste data-analyse Promotor: Prof. dr. S. Vansteelandt Doelgroep: studenten uit de tweede master Wiskunde. Bespreekbaar

Bepalen van Ramsey getallen

Promotor: Jan Goedgebeur

Het Ramsey getal R(G,H) is het kleinste getal r zodat elke graaf met tenminste r toppen

de graaf G als deelgraaf bevat of zijn complement de graaf H als deelgraaf bevat. Voor

complete grafen kan het Ramsey getal R(Kk, Kl) kan gëınterpreteerd worden als een op-

lossing voor het feestprobleem: wat is het minimum aantal gasten dat uitgenodigd moet

worden op een feestje zodat tenminste k mensen kennissen zijn of tenminste l mensen

elkaar niet kennen?

Het berekenen van Ramsey getallen is een moeilijk computationeel probleem en daardoor

zijn er slechts weinig exacte resultaten gekend. Ramsey getallen R(G,H) kunnen com-

putationeel bepaald worden door Ramsey grafen te genereren. Dit zijn grafen die G niet

bevatten en wiens complement ook H niet bevat.

Onlangs [1, 2] werden de Ramsey getallen R(K3, G) van bijna alle 12 005 168 grafen

G met 10 toppen bepaald, behalve voor 7 grafen. De bedoeling van deze thesis is om

gespecialiseerde algoritmes te ontwerpen en te implementeren om de Ramsey getallen van

deze 7 resterende grafen te bepalen. De figuur hieronder toont de complementen van deze

7 grafen.

Door de snelle groei van Ramsey getallen is het heel waarschijnlijk dat de Ramsey getallen

R(K3, G) voor grafen met 10 toppen voor heel lange tijd de laatste volledige lijst van

Ramsey getallen zal zijn die mogelijks bepaald kan worden.

Meer uitleg kan bekomen worden via: [email protected].

Referenties:

[1] G. Brinkmann, J. Goedgebeur, and J.C. Schlage-Puchta. Ramsey Numbers R(K3, G)

for Graphs of Order 10. Electronic Journal of Combinatorics, 19(4), 2012.

[2] J. Goedgebeur and S.P. Radziszowski. The Ramsey Number R(3, K10 − e) and Com-putational Bounds for R(3, G). Electronic Journal of Combinatorics, 20(4), 2013.

mailto:[email protected]

De generatie van chemische grafen


Chemische grafen zijn vlakke grafen met maximale graad 4. Deze grafen zijn modelleringen

van molecules waarbij de toppen atomen voorstellen en de bogen bindingen tussen de

atomen. De figuur hieronder toont een voorstelling van benzeen (met chemische formule

C6H6).

C

C

C

C

C

C

H

H

H

H H

H

De bedoeling van deze thesis is om efficiënte algoritmes te ontwerpen en te implementeren

om alle isomorf-vrije chemische grafen met een gegeven aantal toppen te genereren. Dit

programma kan dan gebruikt worden door chemici die onder andere energieberekeningen

kunnen doen op de gegenereerde grafen om de meest stabiele molecules te bepalen.

Er bestaan reeds verschillende programma’s die bepaalde families van chemische grafen

kunnen genereren (zoals bijvoorbeeld nanotubes). Verschillende van die programma’s ma-

ken deel uit van de softwarepakket CaGe1 dat chemische grafen kan visualiseren. Er

bestaan echter nog geen efficiënte programma’s om alle chemische grafen te genereren.

Het is de bedoeling om het programma dat uit deze thesis resulteert ook toe te voegen aan

CaGe.


1Zie: http://caagt.ugent.be/CaGe/

mailto:[email protected]://caagt.ugent.be/CaGe/

Kritische grafen voor lijst-kleurbaarheid


Een geldige (toppen)kleuring van een graaf is een toekenning van kleuren aan de toppen

van de graaf zodat adjacente toppen een verschillende kleur krijgen. Typisch is het de

bedoeling om een gegeven graaf met zo weinig mogelijk kleuren te kleuren. Het kleuren

van grafen heeft verschillende toepassingen, bijvoorbeeld voor het plannen van taken.

De vraag of een graaf kleurbaar is met hoogstens k kleuren wordt ook het k-kleurbaarheids-

probleem genoemd. Er bestaan verschillende varianten en veralgemeningen van het klas-

sieke k-kleurbaarheidsprobleem, zoals het lijst k-kleurbaarheidsprobleem. Hier wordt aan

elke top een lijst van toegelaten kleuren toegekend die een deelverzameling zijn van {1, ..., k}.Een top kan enkel gekleurd worden met één van zijn toegelaten kleuren. (Dus het klassieke

k-kleurbaarheidsprobleem is een speciale versie van het lijst k-kleurbaarheidsprobleem waar

elke top {1, ..., k} als toegelaten kleuren heeft).

De bedoeling van deze thesis is om de grafen die niet lijst k-kleurbaar zijn te karakteriseren

door (alle) kritische grafen voor lijst k-kleurbaarheid te bepalen (voor een gegeven k). Een

graaf is kritisch voor (lijst) k-kleurbaarheid als de graaf niet kleurbaar is met k kleuren

en elke subgraaf van deze graaf wel kleurbaar is met k kleuren. Onlangs [1] werden de

kritische grafen voor bepaalde klassen grafen voor het k-kleurbaarheidsprobleem bepaald

en het is de bedoeling om dit nu ook te doen voor lijst k-kleurbaarheid.

De studie van deze kritische grafen is vooral belangrijk voor het ontwerp van certificerende

algoritmes. Zijn algoritmes die naast een antwoord ook een certificaat teruggeven dat

toelaat om in polynomiale tijd te verifiëren dat het gegeven antwoord inderdaad correct is.

De meeste kleuringsalgoritmes kunnen een ja-certificaat teruggeven (bijvoorbeeld een kleu-

ring van de graaf), maar geen nee-certificaat. De kritische grafen die in deze thesis bepaald

zullen worden, leveren een nee-certificaat op en zullen het ontwerp van volledig certifice-

rende algoritmes voor lijst k-kleurbaarheid toelaten.

Het is de bedoeling om in deze thesis volledige lijsten van kritische grafen te bepalen door

een algoritme te ontwerpen en ook te implementeren voor de generatie van alle kritische

grafen.


Referenties:

[1] M. Chudnovsky, J. Goedgebeur, O. Schaudt, and M. Zhong. Obstructions for three-

coloring graphs with one forbidden induced subgraph. In Proceedings of the Twenty-

Seventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2016), Ar-

lington, VA, USA, 2016, pages 1774–1783, 2016.

mailto:[email protected]

Printplaten testen

Promotoren: Jan Goedgebeur ([email protected]) enNico Van Cleemput ([email protected])

In zowat elk elektronisch toestel vind je vaak verschillende printplaten (PCB’s). Deze PCB’sworden gemaakt uit een sterk isolerende stof waarin verschillende geleidende sporen gelegd wor-den die verbindingen maken tussen verschillende contactpunten. Op deze contactpunten kunnendan elektronische componenten gesoldeerd worden. Die componenten zijn duur in vergelijkingmet de rest van het toestel, dus men wil zeker zijn dat er geen fouten zitten in de internebedrading van de PCB vooraleer de componenten er op gesoldeerd worden. Daarom wordeneerst de PCB’s volledig getest: voor elke twee contacten wordt er gecontroleerd of ze al dan nietverbonden zijn. Dit testen gebeurt met een “flying probe tester”. Dit wil zeggen dat één paarnaalden aan elke zijde de PCB overlopen en telkens testen of er een verbinding is tussen tweecontactpunten.

Het doel van deze thesis is om een algoritme te ontwikkelen en efficiënt te implementeren datbepaalt welke posities in welke volgorde getest moeten worden. Door gebruik te maken vande transitiviteit van de verbinding is het niet nodig om elk paar van contactpunten te testen.Anderzijds vraagt het verplaatsen van de naalden ook enige tijd, waardoor meer punten testenbeter kan zijn als hierdoor een kleinere afstand moet afgelegd worden. Ten slotte zijn er ook nogfysieke beperkingen op de onderlinge posities van de naalden. Dit alles maakt dat tegelijkertijdhet “set cover”-probleem (SCP) en het “travelling salesman”-probleem (TSP) moeten opgelostworden rekening houdende met bijkomende beperkingen.

Deze thesis gebeurt in samenwerking met Ucamco (http://www.ucamco.com). Zij producerendeze PCB’s en het uiteindelijke doel is om het ontwikkelde algoritme te gebruiken in hun pro-ductieproces. Er zijn reeds enkele mogelijke aanzetten tot het probleem, maar eigen ideeën zijnzoals bij elke thesis meer dan welkom.

http://www.ucamco.com

Hamiltoniaanse cykels in5-samenhangende triangulaties

Promotor: Nico Van Cleemput ([email protected])

Een hamiltoniaanse cykel in een graaf is een cykel die alle toppen van die graaf bevat. Eentriangulatie is een graaf die je in het vlak kan inbedden zonder kruisende bogen zodat allevlakken (inclusief het buitenvlak) driehoeken zijn. We noemen een triangulatie op meer dan ntoppen n-samenhangend als het geen cykel bevat van lengte kleiner dan n die geen vlak is. In1979 publiceerden Hakimi, Schmeichel en Thomassen een vermoeden dat een 4-samenhangendetriangulatie steeds minstens 2(n− 2)(n− 4) verschillende hamiltoniaanse cykels bevat. Tot opheden is dit vermoeden nog niet bewezen: de best gekende grens is momenteel lineair.

De grens van Hakimi, Schmeichel en Thomassen was gebaseerd op een familie van triangulatiesdie exact deze grens bereikt. Met behulp van een computer hebben we twee families van5-samenhangende triangulaties gevonden die voor elke orde het minst aantal hamiltoniaansecykels heeft. De ene familie heeft steeds een even aantal toppen, terwijl de andere steeds eenoneven aantal heeft.

Voor een even aantal toppen zie je hierboven het kleinste lid van de familie: de icosahedron.Je construeert de triangulaties in de familie door een antiprisma met minstens 10 toppen tenemen, en vervolgens het boven- en ondervlak op te delen met een extra top. Voor een onevenaantal toppen is de familie iets moeilijker te omschrijven.

Het doel van deze thesis is om een geslote formule op te stellen voor het aantal hamiltoniaansecykels in deze families. Deze formule zou dan een goede kandidaat zijn voor een ondergrensvoor het aantal hamiltoniaanse cykels in 5-samenhangende triangulaties.

Korte en lange randen

Promotor: Gunnar Brinkmann

Stel dat je één rubberen 4-hoek, één rubberen 5-hoek en zes rubberen 6-hoeken hebt.De bedoeling is nu om die zo in het vlak samen te voegen dat elke top in ten hoogste drievlakken ligt (het buitenvlak meegerekend) en alle toppen die niet aan de rand liggen inprecies 3 vlakken. Toont de tekening een manier om dat te doen waarbij de rand zo kortmogelijk is?

""""PPPPPP

��HHHH

""""

""""bbbb

bbbb

""""bbbb

��

bbbb""""

bbbb""""

""""

bbbb""""

BBBBB

!!!!

bbbb

Dit lijkt misschien een spelletje, maar het heeft wel een toepassing: stel dat de toppenkoolstofatomen zijn en de toppen met graad 2 nog met een waterstofatoom verbondenzijn. Bij planaire polycyclische koolwaterstoffen ga je er normaal vanuit dat de meestevlakken zeshoeken zijn, maar soms heb je ook andere groottes. Stel dus dat je één 4-hoeken één 5-hoek toelaat. Als je dan kan bepalen welke randlengten wel dan niet mogelijkzijn, kan je bepalen welke scheikundige formules CxHy mogelijk zijn.

De bedoeling is dus precies te bepalen welke randlengten voor een gegeven aantalvlakken (waarbij er wel voorwaarden zijn, die ik hier niet vermeld) mogelijk of niet mo-gelijk zijn.

Deze en andere thesissen met meer of minder algoritmische inslag kunnen aansluitendaan de les algoritmische grafentheorie gekozen worden. Andere thesissen hebben bv. metlabelling van bomen, met hamiltoniaanse cykels, etc. te maken.

Meer uitleg kan natuurlijk aan de promotor gevraagd worden.

Integer Programming algoritmen voor distributieproblemen

Promotor/begeleider: Veerle Fack ([email protected])

Doelgroep: Master Wiskundige Informatica / Master Wiskunde

Korte beschrijving

Figuur 1: Vehicle Routing Problem

Linear Programming (LP) is een techniek voorhet oplossen van optimalisatieproblemen waar-bij de doelfunctie en de randvoorwaarden alle li-neair zijn.

Een Mixed Integer Programming (MIP) pro-bleem heeft als extra vereiste dat sommige ofalle variabelen integer moeten zijn. Dergelijkeproblemen zijn onhandelbaar.

Exacte algoritmen voor MIP-problemen zijndoorgaans varianten van de branch-and-boundmethode, waarbij LP-relaxaties als snoeime-thode gebruikt worden. Daarnaast worden ui-teraard ook heuristische methodes (zoals localsearch, simulated annealing, e.d.) gebruikt voorhet oplossen van MIP-problemen.

Het is de bedoeling om Integer Programming algoritmen uit te werken voor enkele optimalisatiepro-blemen waarmee distributiebedrijven te maken krijgen.

Figuur 2: Facility Location Problem

In het Vehicle Routing Problem (VRP) beschou-wen we een pakjesdienst, die dagelijks goede-ren moet afleveren bij veel verschillende klanten.Hiervoor is een vloot van voertuigen beschik-baar, die opereert vanuit een centraal distributie-centrum. Het doel is een route voor elk voertuigte ontwerpen (vergelijkbaar met de route uit hethandelreizigersprobleem), zodanig dat alle klan-ten bediend worden door precies één voertuig endat de totale reiskost van de voertuigen minimaalis.

In het Facility Location Problem (FLP) beschou-wen we een distributiebedrijf, dat goederen inbulk opslaat in meerdere opslagruimtes, om zevan daaruit te verdelen naar meerdere klanten.

Het doel is om te bepalen welke opslagruimtes geschikt zijn voor welke goederen, zodanig dat dekost om de klanten te bedienen minimaal is. De moeilijkheid van dit probleem komt van het feit datelke opslagruimte een eigen kost en een eigen opslagcapaciteit heeft.

Een studie van de theorie en de implementatie van ConstantPertubation-methoden

Doelgroep: master wiskunde / master wiskundige informatica

promoter/begeleider : prof. M. Van Daele

BeschrijvingKlassieke methoden voor de numerieke integratie van gewone differentiaalvergelijkingen zijn vaak gebaseerdop veelterminterpolatie. Dit zorgt ervoor dat wanneer de oplossing van het probleem een veelterm is vanvoldoend lage graad, de exacte oplossing wordt teruggevonden, terwijl voor vele andere problemen eennumerieke oplossing gevonden kan worden die, binnen een bepaalde afgesproken toleratie, aanvaardbaaris. Er kunnen echter problemen rijzen wanneer de oplossing sterk oscillatorisch is. In dat geval dient menmet een klassieke methode zeer kleine stapjes te nemen om de oplossing accuraat te kunnen beschrijven.Dit resulteert in enorm veel rekenwerk, waardoor die klassieke methoden praktisch onbruikbaar zijn. Eenalternatief wordt geboden door de klasse van de CP-methoden, wat staat voor Constant Perturbationmethods.Als concrete toepassing beschouwen we het berekenen van de golffunctie y van een Schrödinger-probleem.Het Schrödingerprobleem bestaat uit een tweede orde gewone differentiaalvergelijking (ODE) van de vorm

y′′ = (V (x) − E)y, a < x < b, (1)

met randvoorwaarden in de eindpunten a en b. De Schrödingervergelijking vormt de fundamentele vergelij-king in de kwantummechanica. Een waarde voor de parameter E waarvoor een niet-nul oplossing bestaat,wordt een eigenwaarde genoemd. De eigenwaarden worden typisch geordend als E0 < E1 < E2 < . . . ende golffunctie of eigenfunctie yk(x), horende bij Ek, heeft dan exact k nulpunten in het interval (a, b).Dit betekent dat de “hogere” eigenfuncties sterk oscilleren.De eerste stap van een CP methode bestaat er in de functie V (x) stuksgewijs te benaderen door eenconstante, d.w.z. in het interval [xi, xi+1] wordt de vergelijking (1) gewijzigd in

y′′ = (V̄ − E)y, xi < x < xi+1, (1) ,

waarbij V̄ een geschikte constante is.Deze vergelijking, waarvan de coëfficiënten constanten zijn, kan analytisch exact opgelost worden. Aldusverkrijgen we de waarde van de golffunctie y en van de eerste orde afgeleide y′ in een aantal roosterpunten.Deze oplossing is uiteraard maar een benaderende oplossing, want V (x) werd vervangen door V̄ . Dezebenaderende oplossing, laat ze ons y(0) noemen, wordt vervolgens gecorrigeerd door het in acht nemenvan V (x) − V̄ . Via een perturbatieprocedure bekomt men uiteindelijk alsmaar betere benaderingen y(1),y(2), . . . die telkens analytisch kunnen worden bepaald.Het doel van de thesis is een studie van de theorie en de implementatie van deze CP-methoden, die debasis vormen van de succesvolle code MATSLISE, onwikkeld in de onderzoeksgroep Numerieke Wiskundevan de UGent.LiteratuurEnkele wetenschappelijke artikels:1. L. Gr. Ixaru, Numerical operations on oscillatory functions, Computers and Chemistry 25 (2001).2. L. Gr. Ixaru, CP methods for the Schrödinger equation, J. Comput. Appl. Math. 125 (2000).

Een link naar MATSLISE:3.

http://www.twist.ugent.be/index.php?page=onderzoek&ot=SLsoftware

1

Numerieke methoden voor tweede-orde differentiaalvergelijkin-gen

Doelgroep: master wiskunde/ master wiskundige informatica


BeschrijvingIn de cursussen Numerieke methoden voor Differentiaalvergelijkingen (opleiding wiskunde) en Weten-schappelijk rekenen (opleiding informatica) worden methoden besproken voor eerste orde differenti-aalvergelijkingen. In principe volstaan deze om tweede-orde differtiaalvergelijkingen y′′ = f(x, y) opte lossen, want elke tweede-orde vergelijking kan omgezet worden in een stelsel eerste-orde vergelijkingen.Hierdoor wordt echter y′ gëıntroduceerd in het probleem. Om dit te vermijden, zijn er ook methodenontwikkeld die rechtstreeks geschikt zijn voor tweede-orde (of algemeen gesproken hogere orde) differen-tiaalvergelijkingen. De meest bekende methode hiervoor is wellicht de Numerov methode.Het doel van deze thesis is na te gaan hoe deze methoden kunnen geconstrueerd worden. Wat is hunorde? Hoe zit de stabiliteitstheorie voor deze methoden in elkaar? . . .

Literatuur

o.a : E. Hairer, S.P. Norsett, G. Wanner, Solving Ordinary Differential Equations I, Springer-Verlag(1991)

Exponential fitting

Doelgroep: master wiskunde/ master wiskundige informatica


BeschrijvingHeel veel numerieke methoden (voor de benadering van afgeleiden, de berekening van integralen, hetoplossen van differentiaalvergelijken, . . . ) steunen op veelterminterpolatie. Voor sommige toepassingen(bvb. als geweten is dat het integrandum of de af te leiden functie periodiek is), zijn veeltermen niet zogeschikt, maar zijn trigonometrische of exponentiële functies eerder aangewezen. Daarom werden nieuwemethoden ontwikkeld die met dit oscillerend of exponentieel karakter rekening houden. Deze techniekheet exponential-fitting.Het doel van deze thesis is dieper in te gaan op de exponential-fitting techniek en zo’n methoden toe tepassen op een aantal typische problemen.Literatuuro.a. Liviu Gr. Ixaru and G. Vanden Berghe, Exponential Fitting, Kluwer, Boston - Dordrecht - London,2004.

2

Grafen en hun hamiltoniaanse eigenschappen

Promotoren: Carol T. Zamfirescu ([email protected]) enGunnar Brinkmann ([email protected])

Een graaf bestaat uit een verzameling toppen, waarvan sommige verbonden zijndoor bogen. Een cykel of pad in een graaf heet hamiltoniaans als hij alle toppen vande graaf precies één keer bezoekt. Het onderzoek van hamiltoniaanse eigenschap-pen van grafen heeft een lange geschiedenis met verbindingen met de beroemde4-kleuren-stelling, maar het is ook heel actueel: bijvoorbeeld om optimale routesvoor vrachtwagens te vinden (het handelsreizigersprobleem), voor communicatie-netwerken, of om scheikundige moleculen te bestuderen.

De bedoeling van jouw thesis zal zijn, interessante klassen van grafen te onder-zoeken door het prisma van hamiltoniaansheid. Concreet zal je efficiënte algoritmenontwerpen (gebaseerd op bekende oude theorie en jouw nieuwe resultaten) om zoklein mogelijke grafen uit verschillende klassen te vinden. Om een voorbeeld te ge-ven: een graaf G heet bijna hypohamiltoniaans, als G niet hamiltoniaans is, er ééntop w is zodat G − w (dat betekent dat we w uit G verwijderen) niet hamiltoni-aans is, maar voor alle toppen v 6= w, de graaf G − v toch hamiltoniaans is. Een4-samenhangende bijna hypohamiltoniaanse graaf zie je hieronder.

Hoewel we hier niet alle details kunnen geven, zijn alle klassen die je zal onder-zoeken variaties van hamiltoniaanse en traceerbare grafen (dat zijn grafen met eenhamiltoniaans pad). Om meer over deze families van grafen te leren, kan je naar [1]kijken. Je kan jouw thesis zeker ook als jacht naar kleinste voorbeelden zien: alsjouw theorie goed is en jouw algoritme snel, kan jij misschien een wereldrecordgraafvinden!

Referenties

[1] Carol T. Zamfirescu. On hypohamiltonian and almost hypohamiltonian graphs.J. Graph Theory 79, Iss. 1 (2015) 63–81.