@article{21900, abstract = {Individually silencing 125 fruit fly genes reveals opposing fitness effects of mutations between females and males, as well as between germline and somatic tissues.}, author = {Ruzicka, Filip}, issn = {2397-334X}, journal = {Nature Ecology & Evolution}, pages = {1035--1036}, publisher = {Springer Nature}, title = {{Reverse genetics of sexual antagonism}}, doi = {10.1038/s41559-026-03036-y}, volume = {10}, year = {2026}, } @phdthesis{21957, abstract = {This thesis investigates algorithmic certification and approximation methods for degenerate semidefinite programs (SDPs) and the singular roots of polynomial systems. In the first part, we present a hybrid symbolic-numeric algorithm for certifying the feasibility of weakly feasible, degenerate SDPs. By reformulating linear matrix inequalities (LMIs) into a structured polynomial system via facial reduction and incidence varieties, we guarantee the existence of an isolated exact solution. This algebraic reduction enables the certification of maximum-rank numerical approximations using methods from algebraic geometry. In the second part, we address the severe ill-conditioning and loss of quadratic convergence that plague standard path-tracking methods near isolated singular roots. To overcome this, we propose tracking algorithms that achieve superlinear convergence without the computational bloat characteristic of classical deflation techniques. By modeling the solution path as a generalized fractional Puiseux series, our approach combines an explicitly derived algebraic predictor with a localized hyperplane desingularization phase during the corrector step. Furthermore, we introduce a continuous path-limit method and an extension of the geometric sequence rule to directly extract exact fractional exponents. This bypasses traditional heuristic trial-and-error methods and explicitly accommodates sparse series expansions. Numerical experiments confirm that our method significantly reduces the cumulative number of matrix inversions while achieving high-accuracy root approximations, even for heavily degenerate systems exhibiting higher coranks.}, author = {Zapata, Jeferson}, isbn = {978-3-99078-079-4}, issn = {2663-337X}, pages = {89}, publisher = {Institute of Science and Technology Austria}, title = {{Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames}}, doi = {10.15479/AT-ISTA-21957}, year = {2026}, } @phdthesis{21360, author = {Riegler, Stefan}, issn = {2663-337X}, pages = {185}, publisher = {Institute of Science and Technology Austria}, title = {{Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea species}}, doi = {10.15479/AT-ISTA-21360}, year = {2026}, } @misc{21363, abstract = {The data contains information on coffee differential gene expression as well as co-expression and trait correlations in two separate experiments. First, contrasting nitrogen supply, second, intra- and interspecific grafting.}, author = {Riegler, Stefan}, publisher = {Institute of Science and Technology Austria}, title = {{Thesis Data for Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis thaliana and Coffea species}}, doi = {10.15479/AT-ISTA-21363}, year = {2026}, } @article{21164, abstract = {Global emission inventories often fail to capture the complexities of vehicular pollution in regions with unique fuel mixes, such as Brazil’s extensive biofuel use, leading to significant uncertainties in atmospheric modeling. This study presents a century-long (1960–2100) bottom-up vehicular emission inventory for Brazil, leveraging locally derived emission factors. Our estimates reveal substantial discrepancies in magnitude, timing, and speciation of non-CO2 pollutants (CO, NMHC, PM2.5) compared to leading global inventories (EDGAR, CEDS, CAMS), highlighting critical inaccuracies in widely used data sets. More critically, future projections under Shared Socioeconomic Pathways (SSPs) uncover a novel positive feedback mechanism: rising temperatures significantly enhance vehicular evaporative nonmethane hydrocarbon (NMHC) emissions. This temperature-dependent increase and subsequent NMHC oxidation to CO2 suggest an overlooked pathway that could amplify climate warming and air pollution globally, particularly after a breakpoint around 2050 (p < 0.05). While historical emissions peaked in the 1990s–2000s, nonexhaust PM becomes increasingly important. Air quality simulations using our inventory in the MUSICA model show good regional PM2.5 agreement but highlight challenges in resolving local primary pollutant peaks. This comprehensive inventory provides crucial data for Brazil and uncovers globally relevant climate–chemistry interactions, urging a re-evaluation of regional specificities in global emission assessments.}, author = {Ibarra-Espinosa, Sergio and Dias de Freitas, Edmilson and Gaubert, Benjamin and Lichtig, Pablo and Ropkins, Karl and da Silva, Iara and Martins Pereira, Guilherme and Schuch, Daniel and Nascimento, Janaina and Hoinaski, Leonardo and Martins, Leila Droprinchinski and Gavidia-Calderón, Mario and Vara-Vela, Angel and Toledo de Almeida Albuquerque, Taciana and Ynoue, Rita Yuri and Diez, Sebastian and Mera, Zamir and Casallas Garcia, Alejandro and Vallejo, Fidel and Diaz, Valeria and Pedruzzi, Rizzieri and Abrutzky, Rosana and Franco, Marco A. and Huneeus, Nicolas and Jorquera, Hector and Belalcázar-Cerón, Luis Carlos and Rojas, Néstor Y. and de Fatima Andrade, Maria and Emmons, Louisa and Brasseur, Guy}, issn = {1520-5851}, journal = {Environmental Science & Technology}, number = {6}, publisher = {American Chemical Society}, title = {{A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality}}, doi = {10.1021/acs.est.5c08400}, volume = {60}, year = {2026}, } @article{20971, abstract = {Mountain glaciers are among the natural systems most vulnerable to climate change. However, their interactions with the atmosphere are complex and not fully understood. These interactions can trigger rapid adjustments and climate feedbacks that either amplify or attenuate atmospheric signals, influencing both glacier response and large-scale atmospheric circulation. Observing this functional coupling in nature is challenging because the key processes occur over a wide range of spatial and temporal scales. However, recent advances in observational techniques and modeling have provided new insights into these interactions. In this review, we summarize the current state of knowledge on glacier-atmosphere interactions in high-mountain regions at different scales, and highlight recent advances in observational and numerical modeling. We also highlight important knowledge gaps and outline future research directions to improve the prediction of glacier change in a warming world.}, author = {Sauter, T. and Brock, B. W. and Collier, E. and Goger, B. and Groos, A. R. and Haualand, K. F. and Mott, R. and Nicholson, L. and Prinz, R. and Shaw, Thomas and Stiperski, I. and Georgi, A. and Haugeneder, M. and Mandal, A. and Reynolds, D. and Saigger, M. and Sicart, J. E. and Voordendag, A.}, issn = {1944-9208}, journal = {Reviews of Geophysics}, number = {1}, publisher = {Wiley}, title = {{Glacier-atmosphere interactions and feedbacks in high-mountain regions - A review}}, doi = {10.1029/2024RG000869}, volume = {64}, year = {2026}, } @article{20935, abstract = {In situ cryo-electron tomography (cryo-ET) has emerged as the method of choice to investigate the structures of biomolecules in their native context. However, challenges remain for the efficient production and sharing of large-scale cryo-ET datasets. Here, we combined cryogenic plasma-based focused ion beam (cryo-PFIB) milling with recent advances in cryo-ET acquisition and processing to generate a dataset of 1,829 annotated tomograms of the green alga Chlamydomonas reinhardtii, which we provide as a community resource to drive method development and inspire biological discovery. To assay data quality, we performed subtomogram averaging of both soluble and membrane-bound complexes ranging in size from >3 MDa to ∼200 kDa, including 80S ribosomes, Rubisco, nucleosomes, microtubules, clathrin, photosystem II, and mitochondrial ATP synthase. The majority of these density maps reached sub-nanometer resolution, demonstrating the potential of this C. reinhardtii dataset as well as the promise of modern cryo-ET workflows and open data sharing to empower visual proteomics.}, author = {Kelley, Ron and Khavnekar, Sagar and Righetto, Ricardo D. and Heebner, Jessica and Obr, Martin and Zhang, Xianjun and Chakraborty, Saikat and Tagiltsev, Grigory and Michael, Alicia and Van Dorst, Sofie and Waltz, Florent and Mccafferty, Caitlyn L. and Lamm, Lorenz and Zufferey, Simon and Van Der Stappen, Philippe and Van Den Hoek, Hugo and Wietrzynski, Wojciech and Harar, Pavol and Wan, William and Briggs, John A.G. and Plitzko, Jürgen M. and Engel, Benjamin D. and Kotecha, Abhay}, issn = {1097-4164}, journal = {Molecular Cell}, number = {1}, pages = {213--230.e7}, publisher = {Elsevier}, title = {{Toward community-driven visual proteomics with large-scale cryo-electron tomography of Chlamydomonas reinhardtii}}, doi = {10.1016/j.molcel.2025.11.029}, volume = {86}, year = {2026}, } @article{20858, abstract = {Targeted antigen delivery to immune cells, particularly dendritic cells, has emerged as a promising strategy to enhance therapeutic efficacy of vaccines, while minimizing adverse effects associated with conventional immunization. In this study, we use our previously described small glycomimetic molecule that is selectively recognized by the Langerhans cell (LC)-specific surface receptor Langerin and demonstrate specific delivery of protein antigens to these specialized dendritic cells. Our results show that Langerin-mediated antigen delivery significantly enhances the immune response in vivo, resulting in increased expansion and activation of antigen-specific T cells, compared to immunization with unmodified antigen. We demonstrate the feasibility of our LC-targeted platform for immune cell-specific immunization with protein antigen and underscore the potential of LCs as an access point for next-generation vaccines and immunotherapies.}, author = {Rica, Ramona and Klein, Klara and Johnson, Litty and Carta, Gabriele and Sarcevic, Mirza and Langer, Freyja and Rademacher, Christoph and Wawrzinek, Robert and Quattrone, Federica and Sparber, Florian}, issn = {1525-0024}, journal = {Molecular Therapy}, number = {1}, pages = {397--406}, publisher = {Elsevier}, title = {{Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response}}, doi = {10.1016/j.ymthe.2025.10.008}, volume = {34}, year = {2026}, } @article{20537, abstract = {In this personal account, I describe the work performed in my research group on the development of methods that harness heterogeneous photocatalysts for light-mediated nickel-catalyzed cross-couplings. This includes catalytic systems using carbon nitride materials, dye-sensitized TiO₂, covalent organic frameworks (COFs), and conjugated polymers. The rationale behind the selection of materials and how their use led to the identification of catalyst deactivation, structure–activity relationships, and future opportunities is discussed.}, author = {Pieber, Bartholomäus}, issn = {1437-2096}, journal = {Synlett}, number = {1}, pages = {43--54}, publisher = {Georg Thieme Verlag}, title = {{Photochemical cross-couplings using semiconducting materials}}, doi = {10.1055/a-2690-9269}, volume = {37}, year = {2026}, } @phdthesis{22258, abstract = {Uncovering the genetic architecture of complex traits and pinpointing causal molecular drivers require the ability to distinguish true signals from noise within massive, high-dimensional omics datasets. To extract meaningful biological insights from these datasets, such as identifying causal genetic variants and proteins, scalable and accurate inference methods are essential. To this end, this thesis develops novel Bayesian inference frameworks based on Vector Approximate Message Passing and demonstrates their effectiveness in the modeling of disease onset times and quantitative physical and clinical measures. First, we introduce gVAMP, a Bayesian framework tailored for Genome-Wide Association Studies that enables the joint modeling of quantitative complex traits across millions of genetic variants. gVAMP demonstrates superior accuracy in variable selection and out-of-sample polygenic risk prediction compared to state-of-the-art approaches. We model human height using 17 million whole-genome sequence variants from the UK Biobank, incorporating a vast number of rare variants and revealing novel associations. gVAMP achieves a prediction accuracy of approximately 46% for human height, representing the highest reported performance for this trait to date. Second, we present vampW, a Bayesian framework for survival analysis applied to proteomic data. By effectively handling right-censoring and complex protein dependencies within the UK Biobank Pharma Proteomics Project dataset, vampW identifies 219 protein associations across 24 disease outcomes, the majority of which are not among the top marginal discoveries. We further adjust protein levels for exponential age effects, yielding 1,308 associations and highlighting the sensitivity of the analysis to the chosen age-correction methodology. Finally, vampW improves upon the variable selection capabilities of the commonly used (penalized) variants of the Cox proportional hazards model and delivers state-of-the-art out-of-sample prediction of disease onset times. Collectively, these methods provide powerful tools for dissecting the genetic architecture of complex traits and the proteomic drivers of disease onset. Furthermore, by delivering accurate polygenic risk scores and precise predictions of onset times, this work advances the capabilities of personalized medicine and clinical risk stratification.}, author = {Depope, Al}, issn = {2663-337X}, keywords = {Approximate Message Passing, GWAS, Genomics, Proteomics, Survival modeling}, pages = {169}, publisher = {Institute of Science and Technology Austria}, title = {{From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics}}, doi = {10.15479/AT-ISTA-22258}, year = {2026}, } @article{21488, abstract = {Human height is a model for the genetic analysis of complex traits, and recent studies suggest the presence of thousands of common genetic variant associations and hundreds of low-frequency/rare variants. Here, we develop a new algorithmic paradigm based on approximate message passing (genomic vector approximate message passing [gVAMP]) for identifying DNA sequence variants associated with complex traits and common diseases in large-scale whole-genome sequencing (WGS) data. We show that gVAMP accurately localizes associations to variants with the correct frequency and position in the DNA, outperforming existing fine-mapping methods in selecting the appropriate genetic variants within WGS data. We then apply gVAMP to jointly model the relationship of tens of millions of WGS variants with human height in hundreds of thousands of UK Biobank individuals. We identify 59 rare variants and gene burden scores alongside many hundreds of DNA regions containing common variant associations and show that understanding the genetic basis of complex traits will require the joint analysis of hundreds of millions of variables measured on millions of people. The polygenic risk scores obtained from gVAMP have high accuracy (including a prediction accuracy of ∼46% for human height) and outperform current methods for downstream tasks such as mixed linear model association testing across 13 UK Biobank traits. In conclusion, gVAMP offers a scalable foundation for a wider range of analyses in WGS data.}, author = {Depope, Al and Bajzik, Jakub and Mondelli, Marco and Robinson, Matthew Richard}, issn = {2666-979X}, journal = {Cell Genomics}, number = {5}, publisher = {Elsevier}, title = {{Joint modeling of whole-genome sequencing data for human height via approximate message passing}}, doi = {10.1016/j.xgen.2026.101162}, volume = {6}, year = {2026}, } @article{22267, abstract = {Thermal pollution, whether local or driven by global warming, threatens biodiversity in part through its detrimental effects on reproduction. Non-coding small RNAs (sRNAs) are crucial for maintaining germline developmental robustness under heat stress. Remarkably, we uncovered that neuronal sRNAs regulate germ cells’ thermotolerance, affecting both spermatogenic and oogenic germlines in a cell-non-autonomous manner. Furthermore, we demonstrate that, in RNAi mutants, an oxygen-sensing neural circuit, modulated by neuropeptide signaling, antagonizes germline maintenance, likely reflecting the nematode’s innate association of reduced oxygen levels with food availability and reproductive permissive environments. Finally, we provide evidence that laboratory-domesticated alleles of oxygen-response genes encoding neuropeptide receptor NPR-1 and hexacoordinated globin GLB-5 compromise germline thermotolerance. Hence, our findings raise the possibility that sensory perception, independent of direct environmental change, modulates germline integrity, highlighting a novel mechanism by which neural circuits integrate environmental information to safeguard reproductive fitness in fluctuating environments.}, author = {Ewe, Chee Kiang and Achache, Hanna and Schön, Hanna and Kontorovich, Leonid and Teichman, Guy and Weiss, Shir and Mogilevskaya, Anna and Valenski, Myriam and Anava, Sarit and Bardapurkar, Rutwik and Gingold, Hila and Posner, Rachel and Antonova, Olga and De Bono, Mario and Tzur, Yonatan B. and Rechavi, Oded}, issn = {1879-0445}, journal = {Current Biology}, number = {14}, pages = {3566--3579.e5}, publisher = {Elsevier}, title = {{Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress}}, doi = {10.1016/j.cub.2026.06.016}, volume = {36}, year = {2026}, } @article{21980, abstract = {Despite significant progress in the field of molecular electronics over the last two decades, the quantitative prediction of metal-molecule-metal junction conductance remains a challenge. The standard computational framework combines density functional theory (DFT) with nonequilibrium Green’s functions (NEGF) using low-rung exchange-correlation functionals such as PBE, which overestimate the conductances. More advanced correction methods exist but require complex workflows and high computational cost, limiting their accessibility. Here, we introduce a physically motivated approach that approximates results obtained with high-rung functionals. Our method fits the PBE-calculated transmission to a Breit-Wigner form and subsequently refines the fit parameters using molecular orbital energies and metal densities of states computed for the isolated subsystems with high-rung functionals. This approach is applicable to a broad range of molecular junctions yielding conductance values in quantitative agreement with experiments. Our approach is simple, low-cost, and accurate, making it well-suited for routine and large-scale prediction of single-molecule junction conductance.}, author = {Gulyaev, Artem and Hazarika, Jyotisman and Liu, Zhen-Fei and Venkataraman, Latha}, issn = {1530-6992}, journal = {Nano Letters}, number = {22}, pages = {7429–7434}, publisher = {American Chemical Society}, title = {{A computationally efficient and accurate method for predicting conductance of single-molecule junctions}}, doi = {10.1021/acs.nanolett.6c01462}, volume = {26}, year = {2026}, } @phdthesis{22017, author = {Kleinhanns, Tobias}, isbn = {978-3-99078-081-7}, issn = {2663-337X}, pages = {59}, publisher = {Institute of Science and Technology Austria}, title = {{Unraveling the origin and evolution of defects to enable advanced thermoelectric performance}}, doi = {10.15479/AT-ISTA-22017}, year = {2026}, } @article{21009, abstract = {We demonstrate that periodically driven quantum rotors provide a promising and broadly applicable platform to implement multigap topological phases, where groups of bands can acquire topological invariants due to non-Abelian braiding of band degeneracies. By adiabatically varying the periodic kicks to the rotor we find nodal-line braiding, which causes sign flips of topological charges of band nodes and can prevent them from annihilating, indicated by nonzero values of the patch Euler class. In particular, we report on the emergence of an anomalous Dirac string phase arising in the strongly driven regime, a truly out-of-equilibrium phase of the quantum rotor. This phase emanates from braiding processes involving all (quasienergy) gaps and manifests itself with edge states at zero angular momentum. Our results reveal direct applications in state-of-the-art experiments of quantum rotors, such as linear molecules driven by periodic far-off-resonant laser pulses or artificial quantum rotors in optical lattices, whose extensive versatility offers precise modification and observation of novel non-Abelian topological properties.}, author = {Karle, Volker and Lemeshko, Mikhail and Bouhon, Adrien and Slager, Robert-Jan and Ünal, F. Nur}, issn = {2469-9934}, journal = {Physical Review A}, number = {1}, publisher = {American Physical Society}, title = {{Anomalous multigap topological phases in periodically driven quantum rotors}}, doi = {10.1103/db9d-9bns}, volume = {113}, year = {2026}, } @article{21406, abstract = {This preliminary study investigates the trace-element composition of ostracod shells (Ostracoda: Crustacea) as biogenic calcium carbonates in their role as environmental sentinels of pollution. Using high-resolution in-situ analysis, we compared two contrasting coastal systems: the highly urbanized seascape of metropolitan megacity Hong Kong (HKSAR) and the agriculturally dominated waters of rural retreat Jeju Island, Republic of Korea (ROK). The goal was to assess whether anthropogenic stress gradients affect trace element-to‑calcium ratios (E/Ca) in the carapaces of shallow-marine Neonesidea Maddocks, 1969 species. Hereby, the focus is laid on potential differences in the effects of extreme urbanization and extreme agriculturalization. We analyzed 12 trace elements commonly incorporated into ostracod shells using Inductively Coupled Plasma–Mass Spectrometry (ICP-MS). Only Mn/Ca, Mg/Ca, and Ni/Ca ratios showed strong correlations with specific seawater physicochemical parameters. Notably, Mn/Ca differed significantly between the two sites, seemingly driven mainly by variations in nitrite nitrogen levels. This suggests that Mn incorporation is sensitive to pollution source, urban versus agricultural, though species-specific uptake effects cannot be excluded. No significant differences in elemental uptake were found between adult and A-1 juvenile stages of Neonesidea mutsuensis Ishizaki, 1961 or Neonesidea elegans (Brady, 1969), supporting the use of both age groups in environmental reconstructions and increasing potential sample yields. While remaining empirical and exploratory, our tentative findings suggest that ostracod geochemistry holds promise for marine pollution monitoring and cautiously supports the application of ostracod Mn/Ca ratios to reconstruct anthropogenic, particularly nitrogen-related, impacts in nearshore environments using sediment core records.}, author = {Jöst, Anna B. and Rodriguez Moreno, Maximiliano J and Kim, Taihun and Baker, David M. and Yasuhara, Moriaki and Not, Christelle A. and Karanovic, Ivana}, issn = {1879-3363}, journal = {Marine Pollution Bulletin}, number = {6}, publisher = {Elsevier}, title = {{Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis}}, doi = {10.1016/j.marpolbul.2026.119493}, volume = {227}, year = {2026}, } @article{22608, abstract = {For tissues to spread, they must deform while staying intact. How spreading tissues balance flexibility with integrity is not yet well understood. Here, we show that keratin intermediate filaments adapt tissue mechanical resilience to the stresses arising in epithelial tissues during spreading. By analyzing the expansion of the enveloping cell layer (EVL) over the yolk cell in zebrafish embryos in vivo, we find that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, to prevent tissue rupture. Further, keratins are required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the forces pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production and EVL mechanical resilience, ensuring uniform and robust tissue spreading.}, author = {Naik, Suyash and Keta, Yann-Edwin and Pranjic-Ferscha, Kornelija and Hannezo, Edouard B and Henkes, Silke and Heisenberg, Carl-Philipp J}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties}}, doi = {10.1038/s41467-026-72366-z}, volume = {17}, year = {2026}, } @article{22601, abstract = {Kontaktelektrifizierung tritt allgegenwärtig in der Natur auf, doch die Identität der Ladungsträger bleibt in den meisten Fällen unklar, mit Elektronen, Ionen oder nanoskopischen Materialfragmenten als mögliche Kandidaten. Ein Material, bei dem die übertragene Spezies mehr gewiss erscheint, sind Ionomere, d. h. Polymere mit mobilen Ionen, deren Ladung durch fest gebundene Gegenladungen ausgeglichen wird. Wenn Ionomere mit einer neutralen Oberfläche in Kontakt kommen, lädt sich diese mit dem Vorzeichen der mobilen Ionen auf, was stark auf Ionentransfer hindeutet. Der zugrundeliegende Mechanismus sowie die bestimmenden Einflussfaktoren dieses Transfers sind jedoch bislang nur unzureichend verstanden. In der vorliegenden Arbeit zeigen wir, dass die Bindungsaffinität zwischen den mobilen Ionen und dem Ionomer den Ladungstransfer maßgeblich bestimmt. Wir untersuchen Ionomere mit gebundenen Anionen und Kationen und erzeugen mittels Ionenaustausch Proben mit einer Reihe unterschiedlicher übertragbarer Ionen. Für das anionische Ionomer beobachten wir eine starke Abhängigkeit von der Bindungsaffinität, wobei mobile Kationen mit der höchsten Affinität am wenigsten Ladung übertragen. Eine schwächere, aber trotzdem klare Abhängigkeit wurde für das kationische Ionomer gemessen, welches der freien Hydratationsenergie der mobilen Anionen folgt. Mithilfe von optischer Emissionsspektroskopie mit induktiv gekoppeltem Plasma (ICP‐OES) bestätigen wir den Transfer von mobilen Ionen auf die Oberfläche der Gegenprobe. Unsere Ergebnisse bestätigen die Ladungsträgeridentität und den Mechanismus des Ladungstransfers bei ionomerischen Materialien, was auch für das allgemeine Verständnis von Kontaktelektrifizierung von Bedeutung sein könnte.}, author = {Hoffman Jr, John R and Freunberger, Stefan Alexander and Waitukaitis, Scott R}, issn = {1521-3757}, journal = {Angewandte Chemie}, publisher = {Wiley}, title = {{Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung}}, doi = {10.1002/ange.5487708}, year = {2026}, } @article{22404, abstract = {We consider a class of two-dimensional tight binding models displaying conical intersections of the Bloch bands at the Fermi level. The setting includes the case of generic transitions between quantum Hall phases. We consider the longitudinal conductivity, as given by Kubo formula, describing the variation of the current after introducing a space-homogeneous electric field, in an adiabatic way. We obtain an explicit expression for the longitudinal conductivity, completely determined by the number of conical intersections and by the shape of the cones. In particular, the formula reproduces the known quantized values found for graphene and for the critical Haldane model. Furthermore, we discuss the validity of Kubo formula in presence of conical intersections in the spectrum, starting from the time-dependent Schrödinger equation. For electric fields which are weak and slowly varying in space and in time, we prove the validity of linear response from quantum dynamics.}, author = {Marcelli, Giovanna and Pigozzi, Lorenzo and Porta, Marcello}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, number = {4}, publisher = {Springer Nature}, title = {{Longitudinal conductivity at integer quantum Hall transitions}}, doi = {10.1007/s11005-026-02087-3}, volume = {116}, year = {2026}, } @article{22607, abstract = {Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take "infinite values". Code: https://github.com/madvorak/duality/tree/v3.2.0}, author = {Dvorak, Martin and Kolmogorov, Vladimir}, issn = {3117-4604}, journal = {Annals of Formalized Mathematics}, keywords = {Farkas lemma, linear programming, extended reals, calculus of inductive constructions}, publisher = {EPI Sciences}, title = {{Duality theory in linear optimization and its extensions -- formally verified}}, doi = {10.46298/afm.14253}, volume = {2}, year = {2026}, }