Publication

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Publications associées (32)

Quench Detection and Temperature Measurement With Fiber Optic Sensors

Davide Uglietti, Kamil Sedlák, Christoph Müller

For the EU DEMO conductor testing, a temperature sensor based on Fiber Bragg Grating (FBG) optical fiber is studied at the EPFL Swiss Plasma Center. The SULTAN test facility has been upgraded to use fiber optic sensor for temperature monitoring and quench ...

IEEE Institute of Electrical and Electronics Engineers2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Mario Paolone, Willem Lambrichts

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

2024

Critical degeneracy in a nonlinear hyperbolic equation can produce atypical instability

Charles Stuart

This paper deals with the initial value problem for a semilinear wave equation on a bounded domain and solutions are required to vanish on the boundary of this domain. The essential feature of the situation considered here is that the ellipticity of the sp ...

2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Space-time wave packets with reduced divergence and tunable group velocity generated in free space after multi-mode fiber propagation

Tobias Kippenberg, Hao Song, Maxim Karpov, Xinzhou Su

Previously, space-time wave packets (STWPs) have been gen-erated in free space with reduced diffraction and a tunable group velocity by combining multiple frequency comb lines each carrying a single Bessel mode with a unique wave num-ber. It might be poten ...

Optica Publishing Group2023

Spatiotemporal dissipative soliton resonances in multimode fiber lasers

Bo Fu, Haoye Qin, Xuchen Wang, Hao Ouyang, Gang Wang

Spatiotemporal mode-locking in multimode fiber lasers is intriguing for the complex nonlinear dynamics and the increase of theoretical energy limit. In this paper, we enrich spatiotemporal mode-locking with dissipative soliton resonances, a kind of soliton ...

PERGAMON-ELSEVIER SCIENCE LTD2023

Tunable pump compression and fast modulation for pulsed THz generation

Ileana-Cristina Benea-Chelmus, Shima Rajabali, Yazan Lampert Almahmoud, Alessandro Tomasino

We demonstrate tunable dispersion compensation of femtosecond pulses at telecom wavelengths for broadband Terahertz generation in 7.5-meter fiber link using a Silicon prism pair. The prism pair enhances the amplitude of the THz E-field in InGaAs photocondu ...

IEEE2023

Humidity-insensitive optical fibers for distributed sensing applications

Luc Thévenaz, Tiago Filipe Pimentel Das Neves

Humidity is a critical environmental factor in various applications, and its temperature dependence must be considered when developing thermo-hygrometer fiber sensors. The optical fibers that constitute the sensor must have a temperature reference, which s ...

2023

Hybrid lithium niobate-on-silicon nitride platform for mid-IR supercontinuum generation

Tobias Kippenberg, Mikhail Churaev

Integrated optics has shown itself very convenient for exploiting nonlinear processes as it results in high confinement factor, freedom of dispersion engineering and compactness. However, the choice of materials is crucial for the development of nonlinear ...

SPIE-INT SOC OPTICAL ENGINEERING2023

Process development of pre-impregnated hybrid thin-ply composites

Alexios Argyropoulos

Thin-ply composites, obtained with recently developed fiber spreading techniques, rapidly gained industrial interest because they offer a large composite design freedom, and lead to a composite tensile strength that is close to that of the individual fiber ...

EPFL2023

Computer-assisted proof of kernel inequalities

Maryna Viazovska, Abhinav Kumar

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

EPFL Infoscience2023

Study on the possibility of Φ-OTDR sensing in hollow-core fibres

Luc Thévenaz, Malak Mohamed Hossameldeen Omar Mohamed Galal, Yuting Yang

The backscattering process in hollow core fibres shows a large similarity with Rayleigh scattering, offering the potential to be exploited for distributed sensing. A classical Φ-OTDR implementation is used to observe the backscattering signal from the surf ...

SPIE2023

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

Resonators with tailored optical path by cascaded-mode conversions

Ileana-Cristina Benea-Chelmus, Marco Piccardo

Optical resonators enable the generation, manipulation, and storage of electromagnetic waves. The physics underlying their operation is determined by the interference of electromagnetic waves, giving rise to the resonance spectrum. This mechanism causes th ...

Nature Portfolio2023

Chaotic microcomb-based parallel ranging

Tobias Kippenberg, Junqiu Liu, Anton Lukashchuk, Aleksandr Tusnin

The intrinsic random amplitude and phase modulation of 40 distinct lines of a microresonator frequency comb operated in the modulation instability regime are used to realize massively parallel random-modulation continuous-wave light detection and ranging, ...

Nature Publishing Group2023

3D printed fiber-optic nanomechanical bioprobe

Sandor Kasas, Yuguang Chen, Jiangtao Zhou, Yiping Wang

Ultrasensitive nanomechanical instruments, e.g. atomic force microscopy (AFM), can be used to perform delicate biomechanical measurements and reveal the complex mechanical environment of biological processes. However, these instruments are limited because ...

IOP Publishing Ltd2023

Domain Imaging and Switching Dynamics in BaTiO3-Based Photonic Integrated Devices

Jacqueline Geler Kremer

Keeping up with our constantly connected lifestyle of instant messages and video streaming has its repercussions. Data centers have been gobbling up resources becoming a significant share of the energy used worldwide. To keep up with demand and curb the en ...

EPFL2023

Effective Inhibition of TDP-43 Aggregation by Native State Stabilization

Hilal Lashuel, Lixin Yang, Yllza Jasiqi

Preventing the misfolding or aggregation of transactive response DNA binding protein with 43 kDa (TDP-43) is the most actively pursued disease-modifying strategy to treat amyotrophic lateral sclerosis and other neurodegenerative diseases. In this work, we ...

Wiley-VCH Verlag GmbH2024