arXiv subjects
Publications and source records attributed to Emil Jacobsen.
We prove a motivic enhancement of the classical Picard--Lefschetz formula. Our proof is completely motivic, and yields a description of the motivic nearby cycles at a quasi-homogeneous singularity, as well as its monodromy, in terms of an embedding of projective hypersurfaces.
We show that two different possible theories of Nori motivic sheaves, introduced by Ivorra--Morel and by Ayoub, respectively, are canonically equivalent. The proof of this result, which exploits the six functor formalism systematically, is based on the Tannakian theory of motivic local systems. As a consequence, we obtain a system of realization functors of Voevodsky motivic sheaves into Nori motivic sheaves compatible with the six operations, previously constructed by Tubach using different methods.
We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori) motivic strengthening of Hain's theorem on Malcev completions of monodromy representations. Our methods are Tannakian, and rely on an abstract criterion for ``Malcev completeness'', which is proved in the first part of the paper. A couple of secondary applications of this criterion are given: an alternative proof of D'Addezio--Esnault's theorem, which says that local systems of Hodge origin are stable under extension in the category of all local systems; a generalisation of the theorem of Hain, mentioned above, which also affirms a conjecture of Arapura; and an alternative proof of a theorem of Lazda, which under suitable assumptions gives an isomorphism between the relative unipotent de Rham fundamental group and the unipotent de Rham fundamental group of the special fibre.
This paper considers the optimal design of input signals for the purpose of discriminating among a finite number of affine models with uncontrolled inputs and noise. Each affine model represents a different system operating mode, corresponding to unobserved intents of other drivers or robots, or to fault types or attack strategies, etc. The input design problem aims to find optimal separating/discriminating (controlled) inputs such that the output trajectories of all the affine models are guaranteed to be distinguishable from each other, despite uncertainty in the initial condition and uncontrolled inputs as well as the presence of process and measurement noise. We propose a novel formulation to solve this problem, with an emphasis on guarantees for model discrimination and optimality, in contrast to a previously proposed conservative formulation using robust optimization. This new formulation can be recast as a bilevel optimization problem and further reformulated as a mixed-integer linear program (MILP). Moreover, our fairly general problem setting allows the incorporation of objectives and/or responsibilities among rational agents. For instance, each driver has to obey traffic rules, while simultaneously optimizing for safety, comfort and energy efficiency. Finally, we demonstrate the effectiveness of our approach for identifying the intention of other vehicles in several driving scenarios.