Iterated club shooting and the stationary-logic constructible model

Dit artikel onderzoekt het itereren van de constructie van het innerlijke model C(aa)C(\mathtt{aa}) gebaseerd op stationaire logica, en toont aan dat men via forcing modellen kan verkrijgen waarin V=C(aa)V=C(\mathtt{aa}) geldt of waarin de rij van geïtereerde modellen willekeurig grote afnemende ordetypen heeft, door distributiviteit en behoud van stationaire verzamelingen te bewijzen voor iteraties van club-shooting forcing met behulp van wederzijds stationaire en wederzijds vette verzamelingen.

Ur Ya'ar2026-03-10🔢 math

Bilevel Optimization and Heuristic Algorithms for Integrating Latent Demand into the Design of Large-Scale Transit Systems

Dit artikel introduceert een generiek tweeledig optimalisatiemodel en vijf efficiënte heuristische algoritmen voor het ontwerpen van grootschalige transitsystemen die latent vraag meenemen, waarbij case-studies aantonen dat deze methoden snelle, hoogwaardige oplossingen bieden die de gewenste adoptie-eigenschappen van reizigers waarborgen.

Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck2026-03-10🔢 math

Erratum and original of Port-Hamiltonian structure of interacting particle systems and its mean-field limit

Dit artikel introduceert een minimale port-Hamiltoniaanse formulering voor interactieve deeltjessystemen die behouden blijft in de mean-field limiet, en corrigeert een eerdere fout door aan te tonen dat relatieve compactheid van trajecten een extra aantrekkingsvoorwaarde vereist, terwijl convergentie van de Hamiltoniaanse gradiënt via Barbalat's lemma wordt bewezen.

Jannik Daun, Daniel Jannik Happ, Birgit Jacob, Claudia Totzeck2026-03-10🔢 math