Publication

Slice-Less Optical Arbitrary Waveform Measurement (OAWM) in a Bandwidth of More Than 600 GHz

Tobias Kippenberg, Grigorii Likhachev
2022
Conference Papers

Abstract

We demonstrate an optical arbitrary waveform measurement (OAWM) technique that exploits optical frequency combs as multi-wavelength local oscillators (LO) and that does not require any optical slicing filters. In a proof-of-concept experiment, we achieve record-high bandwidths exceeding 600 GHz. (C) 2022 The Author(s)

Official source

Tobias Kippenberg, Grigorii Likhachev
2022
Conference Papers

Abstract

Official source

Related concepts (10)

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Computer-assisted proof

A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.

Proofs and Refutations

Proofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.

Related publications (4)

Slice-Less Optical Arbitrary Waveform Measurement (OAWM) in a Bandwidth of More Than 600 GHz

Graph Chatbot

Linear and nonlinear applications of miniaturized silicon nitride microresonators

Monolithic piezoelectric control of soliton microcombs

Microresonator-based solitons for massively parallel coherent optical communications