Publications associées à A simple proof for a forbidden subposet problem

Additive and geometric transversality of fractal sets in the integers

By juxtaposing ideas from fractal geometry and dynamical systems, Furstenberg proposed a series of conjectures in the late 1960's that explore the relationship between digit expansions with respect to multiplicatively independent bases. In this work, we in ...

2024

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Gianluigi Rozza, Fabio Zoccolan

In this paper we will consider distributed Linear-Quadratic Optimal Control Problems dealing with Advection-Diffusion PDEs for high values of the Peclet number. In this situation, computational instabilities occur, both for steady and unsteady cases. A Str ...

Walter De Gruyter Gmbh2024

Measurement of the K+ → π+γγ decay

Alessandro Mapelli, Radoslav Marchevski, Alina Kleimenova

A sample of 3984 candidates of the K+ -> pi(+)gamma gamma decay, with an estimated background of 291 +/- 14 events, was collected by the NA62 experiment at CERN during 2017-2018. In order to describe the observed di-photon mass spectrum, the next-to-leadin ...

Elsevier2024

Pivot, process for manufacturing such a pivot, oscillator comprising such a pivot, watch movement and timepiece comprising such an oscillator

Simon Nessim Henein, Loïc Benoît Tissot-Daguette

The present invention concerns a pivot comprising two assemblies, namely a central assembly (401) and a peripheral assembly (400). These two assemblies are mobile in rotation relative to each other around an axis of rotation (A). The pivot is characterized ...

2024

Long live(d) CsPbBr3 superlattices: colloidal atomic layer deposition for structural stability

Raffaella Buonsanti, Alexander Nicolas Chen, Philippe Benjamin Green, Victoria Lapointe

Superlattice formation afforded by metal halide perovskite nanocrystals has been a phenomenon of interest due to the high structural order induced in these self-assemblies, an order that is influenced by the surface chemistry and particle morphology of the ...

Royal Soc Chemistry2024

Technosignatures Longevity and Lindy's Law

Claudio Grimaldi

The probability of detecting technosignatures (i.e., evidence of technological activity beyond Earth) increases with their longevity, or the time interval over which they manifest. Therefore, the assumed distribution of longevities has some bearing on the ...

Iop Publishing Ltd2024

Automated all-functionals infrared and Raman spectra

Nicola Marzari, Lorenzo Bastonero

Infrared and Raman spectroscopies are ubiquitous techniques employed in many experimental laboratories, thanks to their fast and non-destructive nature able to capture materials' features as spectroscopic fingerprints. Nevertheless, these measurements freq ...

Nature Portfolio2024

GLOBALLY plus -REGULAR VARIETIES AND THE MINIMAL MODEL PROGRAM FOR THREEFOLDS IN MIXED CHARACTERISTIC

Zsolt Patakfalvi, Joseph Allen Waldron

We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global F-regularity to mixed characteristic and identify certain stable sections of adjoint lin ...

SPRINGER HEIDELBERG2023

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

Measurement of the 171Tm beta spectrum

Alexey Boyarsky, Lesya Shchutska

The beta spectrum of the main transition of the 171Tm was measured using a double focalizing spectrometer. The instrument was lately improved in order to reduce its low energy threshold to 34 keV. We used the spectrometer to measure the energy end-point of ...

2023

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

Maple leaf antiferromagnet in a magnetic field

Frédéric Mila, Ronny Thomale, Pratyay Ghosh

We analyze the quantum antiferromagnet on the maple leaf lattice in the presence of a magnetic field. Starting from its exact dimer ground state and for a magnetic field strength of the order of the local dimer spin-exchange coupling, we perform a strong-c ...

Amer Physical Soc2023

Mean flow modeling in high-order nonlinear Schrodinger equations

Debbie Eeltink

The evaluation and consideration of the mean flow in wave evolution equations are necessary for the accurate prediction of fluid particle trajectories under wave groups, with relevant implications in several domains, from the transport of pollutants in the ...

2023

A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive Networks

Ehsan Mohammadpour

Time-sensitive networks provide worst-case guarantees for applications in domains such as the automobile, automation, avionics, and the space industries. A violation of these guarantees can cause considerable financial loss and serious damage to human live ...

EPFL2023

Chlorination of amides: Kinetics and mechanisms of formation of N-chloramides and their reactions with phenolic compounds

Urs von Gunten, Tianqi Zhang

Amides are common constituents in natural organic matter and synthetic chemicals. In this study, we investi-gated kinetics and mechanisms of the reactions of chlorine with seven amides, including acetamide, N-meth-ylformamide, N-methylacetamide, benzamide, ...

2023

Rank-Adaptive Time Integration Of Tree Tensor Networks

Gianluca Ceruti

A rank-adaptive integrator for the approximate solution of high-order tensor differential equations by tree tensor networks is proposed and analyzed. In a recursion from the leaves to the root, the integrator updates bases and then evolves connection tenso ...

SIAM PUBLICATIONS2023

Possible restoration of particle-hole symmetry in the 5/2-quantized Hall state at small magnetic field

Frédéric Mila, Loïc Jean Pierre Herviou

Motivated by the experimental observation of a quantized 5/2 thermal conductance at filling nu = 5/2, a result incompatible with both the Pfaffian and the anti-Pfaffian states, we have pushed the expansion of the effective Hamiltonian of the 5/2-quantized ...

AMER PHYSICAL SOC2023

ON THE INDEPENDENCE NUMBER OF INTERSECTION GRAPHS OF AXIS-PARALLEL SEGMENTS

Jana Tabea Cslovjecsek

We prove that for any triangle-free intersection graph of n axis-parallel line segments in the plane, the independence number alpha of this graph is at least alpha n/4+ohm(root n). We complement this with a construction of a graph in this class satisfying ...

Carleton Univ, Dept Mathematics & Statistics2023

Shafranov shift correction to the Furth-Yoshikawa scaling of tokamak adiabatic compression

Olivier Sauter

In 1970, Furth and Yoshikawa (1970 Phys. Fluids 13 2593-6) introduced the scalings of adiabatic plasma compression. Basically, if the shape of the external plasma boundary and the aspect ratio are preserved during the compression, then the density, kinetic ...

2023

The predictive capacity of in vitro preclinical models to evaluate drugs for the treatment of retinoblastoma

Paul Joseph Dyson, Irina Sinenko, Roland Christopher Turnell-Ritson

Retinoblastoma is a rare childhood cancer of the eye. Of the small number of drugs are used to treat retinoblastoma, all have been repurposed from drugs developed for other conditions. In order to find drugs or drug combinations better suited to the improv ...

ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD2023