Publications associées à Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Publications associées (34)

Quench Detection and Temperature Measurement With Fiber Optic Sensors

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

Generalization of Scaled Deep ResNets in the Mean-Field Regime

Volkan Cevher, Grigorios Chrysos, Fanghui Liu

Despite the widespread empirical success of ResNet, the generalization properties of deep ResNet are rarely explored beyond the lazy training regime. In this work, we investigate scaled ResNet in the limit of infinitely deep and wide neural networks, of wh ...

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, Maxim Karpov

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

Haoye Qin, 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, Alessandro Tomasino, Yazan Lampert Almahmoud, Shima Rajabali

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

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

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, Johann Emmeram Riemensberger, 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, Jiangtao Zhou

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

Adaptive Symplectic Model Order Reduction Of Parametric Particle-Based Vlasov-Poisson Equation

Jan Sickmann Hesthaven, Cecilia Pagliantini, Nicolò Ripamonti

. High-resolution simulations of particle-based kinetic plasma models typically require a high number of particles and thus often become computationally intractable. This is exacerbated in multi-query simulations, where the problem depends on a set of para ...

AMER MATHEMATICAL SOC2023