Publication

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Publications associées (31)

Impact of beam-coupling impedance on the Schottky spectrum of bunched beam

Tatiana Pieloni, Nicolas Frank Mounet, Christophe Emmanuel R. Lannoy

The Schottky monitors of the Large Hadron Collider (LHC) can be used for non-invasive beam diagnostics to estimate various bunch characteristics, such as tune, chromaticity, bunch profile or synchrotron frequency distribution. However, collective effects, ...

Iop Publishing Ltd2024

Verification of the Fourier-enhanced 3D finite element Poisson solver of the gyrokinetic full-f code PICLS

Laurent Villard, Stephan Brunner, Moahan Murugappan, Alberto Bottino

We introduce and derive the Fourier -enhanced 3D electrostatic field solver of the gyrokinetic full -f PIC code PICLS. The solver makes use of a Fourier representation in one periodic direction of the domain to make the solving of the system easily paralle ...

Elsevier2024

Stability of the Faber-Krahn inequality for the short-time Fourier transform

Joao Pedro Gonçalves Ramos

We prove a sharp quantitative version of the Faber–Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit which measures by how much the STFT of a function fails to be optimally concentrated on an arbitrary set of pos ...

Springer Heidelberg2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Springer International Publishing Ag2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

Johanna Kristin Maria Becker

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

EPFL2024

Discrete choice modeling in the era of big data

Nicola Marco Ortelli

The technological advancements of the past decades have allowed transforming an increasing part of our daily actions and decisions into storable data, leading to a radical change in the scale and scope of available data in relation to virtually any object ...

EPFL2024

Adding Color to Mass Spectra of Biopolymers: Charge Determination Analysis (CHARDA) Assigns Charge State to Every Ion Peak

Yury Tsybin, Natalia Gasilova, Laure Menin, Anton Kozhinov, Konstantin Nagornov

Traditionally, mass spectrometry (MS) output is the ion abundance plotted versus the ionic mass-to-charge ratio m/z. While employing only commercially available equipment, Charge Determination Analysis (CHARDA) adds a third dimension to MS, estimating for ...

Amer Chemical Soc2024

Frustrated magnets in the limit of infinite dimensions: Dynamics and disorder-free glass transition

Achille Mauri

We study the statistical mechanics and the equilibrium dynamics of a system of classical Heisenberg spins with frustrated interactions on a d -dimensional simple hypercubic lattice, in the limit of infinite dimensionality d -> infinity . In the analysis we ...

Amer Physical Soc2024

Null energy constraints on two-dimensional RG flows

Grégoire Olivier Mathys

We study applications of spectral positivity and the averaged null energy condition (ANEC) to renormalization group (RG) flows in two-dimensional quantum field theory. We find a succinct new proof of the Zamolodchikov c-theorem, and derive further independ ...

Springer Nature2024