Search

Advances in computer vision as well as increasingly widespread video-based behavioral monitoring have great potential for transforming how we study animal cognition and behavior. However, there is still a fairly large gap between the exciting prospects and what can actually be achieved in practice today, especially in videos from the wild. With this perspective paper, we want to contribute towards closing this gap, by guiding behavioral scientists in what can be expected from current methods and steering computer vision researchers towards problems that are relevant to advance research in animal behavior. We start with a survey of the state-of-the-art methods for computer vision problems that are directly relevant to the video-based study of animal behavior, including object detection, multi-individual tracking, individual identification, and (inter)action recognition. We then review methods for effort-efficient learning, which is one of the biggest challenges from a practical perspective. Finally, we close with an outlook into the future of the emerging field of computer vision for animal behavior, where we argue that the field should develop approaches to unify detection, tracking, identification and (inter)action recognition in a single, video-based framework.

We prove that the nonlinear Fourier transform of the Benjamin-Ono equation on $\mathbb{T}$, also referred to as Birkhoff map, is a real analytic diffeomorphism from the scale of Sobolev spaces $H^{s}_{0}(\mathbb{T},\mathbb{R})$, $s > -1/2$, to the scale of weighted $\ell^2-$sequence spaces, $\mathfrak{h}^{s +1/2}_{r,0}(\mathbb{N},\mathbb{C})$, $s >-1/2$. As an application we show that for any $-1/2

Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the Benjamin-Ono equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudo-differential operator of order 0 with principal part given by a modified Fourier transform (modification by a phase factor) and (2) the pullback of the Hamiltonian of the Benjamin-Ono is in normal form up to order three and the corresponding Hamiltonian vector field admits an expansion in terms of para-differential operators. Such coordinates are a key ingredient for studying the stability of finite gap solutions of the Benjamin-Ono equation under small, quasi-linear perturbations., Comment: arXiv admin note: substantial text overlap with arXiv:1812.05391

We prove smoothing properties of the solutions of the Benjamin-Ono equation in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s\ge 0$. To this end we show that Tao's gauge transform is a high frequency approximation of the nonlinear Fourier transform $\Phi$ for the Benjamin-Ono equation, constructed in our previous work. The results of this paper are manifestations of the quasi-linear character of the Benjamin-Ono equation.

The Thinking Wave is an ongoing development of visualization concepts showing the real-time effort and confidence of semi-autonomous vehicle (AV) systems. Offering drivers access to this information can inform their decision making, and enable them to handle the situation accordingly and takeover when necessary. Two different visualizations have been designed, Concept one, Tidal, demonstrates the AV systems effort through intensified activity of a simple graphic which fluctuates in speed and frequency. Concept two, Tandem, displays the effort of the AV system as well as the handling dynamic and shared responsibility between the driver and the vehicle system. Working collaboratively with mobility research teams at the University of Tokyo, we are prototyping and refining the Thinking Wave and its embodiments as we work towards building a testable version integrated into a driving simulator. The development of the thinking wave aims to calibrate trust by increasing the drivers knowledge and understanding of vehicle handling capacity. By enabling transparent communication of the AV systems capacity, we hope to empower AV-skeptic drivers and keep over-trusting drivers on alert in the case of an emergency takeover situation, in order to create a safer autonomous driving experience., Comment: 8 pages, 11 figures, 2021 IEEE Intelligent Vehicles Symposium (IV21)

In this paper, we survey our recent results on the Benjamin-Ono equation on the torus. As an application of the methods developed we construct large families of periodic or quasiperiodic solutions, which are not $C^\infty$-smooth.

In this paper we prove that the Benjamin-Ono equation admits an analytic Birkhoff normal form in an open neighborhood of zero in $H^{s}_{0}(\T, \R)$ for any $s>-1/2$ where $H^{s}_{0}(\T, \R)$ denotes the subspace of the Sobolev space $H^{s}(\T, \R)$ of elements with mean $0$. As an application we show that for any $-1/2

In this paper we obtain the following stability result for periodic multi-solitons of the KdV equation: We prove that under any given semilinear Hamiltonian perturbation of small size $\varepsilon > 0$, a large class of periodic multi-solitons of the KdV equation, including ones of large amplitude, are orbitally stable for a time interval of length at least $O(\varepsilon^{-2})$. To the best of our knowledge, this is the first stability result of such type for periodic multi-solitons of large size of an integrable PDE., Comment: The title has been changed. Other minor changes in the text

Two-sided bounds for the efficiency of the torsion function are obtained in terms of the square of the distance to the boundary function under the hypothesis that the Dirichlet Laplacian satisfies a strong Hardy inequality. Localisation properties of the torsion function are obtained under that hypothesis. An example is analysed in detail., Comment: 20 pages, 4 figures

We investigate the spectrum of the Lax operator $L_u$ of the Benjamin-Ono equation on the torus for complex valued potentials $u$ in the Sobolev space $H^{-s}(\mathbb{T},\mathbb{C})$, $0 \le s < 1/2$, with small imaginary part and prove analytic properties of the moment map, defined in terms of spectral data of $L_u$., Comment: In this revised version, we have corrected various misprints, updated and added some references, slightly simplified the exposition in Section 6, and made minor corrections to the estimate (50), the proof of Proposition 6, and the statement and proof of Lemma 18

We consider the torsion function for the Dirichlet Laplacian $-\Delta$, and for the Schr\"odinger operator $- \Delta + V$ on an open set $\Omega\subset \R^m$ of finite Lebesgue measure $0<|\Omega|<\infty$ with a real-valued, non-negative, measurable potential $V.$ We investigate the efficiency and the phenomenon of localisation for the torsion function, and their interplay with the geometry of the first Dirichlet eigenfunction., Comment: 33 pages. The published version in Potential Analysis (2022) 57, 571--600 has some typos: Theorem 3(i): the first exponent should read $(m-2)/m$; Example 2 Line 2: .... $B(p_{n+1};cn^{-\beta})$.....; Formula (109): $\kappa^{-1}$ missing after the second inequality

We prove that the Benjamin--Ono equation on the torus is globally in time well-posed in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s > - 1/2$ and ill-posed for $s \le - 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin-Ono equation on the torus are orbitally stable in $H^{s}(\mathbb{T},\mathbb{R})$ for any $ s > - 1/2$. Novel conservation laws and a nonlinear Fourier transform on $H^{s}(\mathbb{T},\mathbb{R})$ with $s > - 1/2$ are key ingredients into the proofs of these results., Comment: The paper is a greatly extended version of arXiv:1909.07314. In particular, we have included the result on ill-posedness of the Benjamin-Ono equation in $H^{-1/2}$ and added an appendix on the restriction of the Birkhoff map to the scale of Sobolev space $H^s$, $s>0$, and another one on a sharper form of ill-posedness of the Benjamin-Ono equation in $H^{s}_{r}$ with $s<-1/2$

The spectral curve associated with the sinh-Gordon equation on the torus is defined interms of the spectrum of the Lax operator appearing in the Lax pair formulation of the equation. If thespectrum is simple, it is an open Riemann surface of infinite genus. In this paper we construct normalizeddifferentials and derive estimates for the location of their zeroes., Comment: 58 pages, 7 figures

We prove an infinite dimensional version of the Arnold-Liouville theorem for integrable non-linear PDEs: In a case study we consider the {\em focusing} NLS equation with periodic boundary conditions.

We prove that for any $0 < s < 1/2$, the Benjamin--Ono equation on the torus is globally in time $C^0-$well-posed on the Sobolev space $H^{-s}(\T, \R)$,in the sense that the solution map, which is known to be defined for smooth data, continuously extends to $H^{-s}(\T,\R)$. The solution map does not extend continuously to $H^{-s}(\T, \R)$ with $s > 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin--Ono equation on the torus are orbitally stable in $H^{-s}(\T,\R)$ for any $0\le s<1/2$., Comment: This is an extended version of the paper submitted on September 16, 2019. It contains additional new results

In this paper we prove the persistence of space periodic multi-solitons of arbitrary size under any quasi-linear Hamiltonian perturbation, which is smooth and sufficiently small. This answers positively a longstanding question whether KAM techniques can be further developed to prove the existence of quasi-periodic solutions of arbitrary size of strongly nonlinear perturbations of integrable PDEs., Comment: The new version contains a revised introduction

Image captioning models typically follow an encoder-decoder architecture which uses abstract image feature vectors as input to the encoder. One of the most successful algorithms uses feature vectors extracted from the region proposals obtained from an object detector. In this work we introduce the Object Relation Transformer, that builds upon this approach by explicitly incorporating information about the spatial relationship between input detected objects through geometric attention. Quantitative and qualitative results demonstrate the importance of such geometric attention for image captioning, leading to improvements on all common captioning metrics on the MS-COCO dataset., Comment: 10 pages

In this paper we prove that the Benjamin-Ono equation, when considered on the torus, is an integrable (pseudo)differential equation in the strongest possible sense: it admits global Birkhoff coordinates on the space $L^2(\T)$. These are coordinates which allow to integrate it by quadrature and hence are also referred to as nonlinear Fourier coefficients. As a consequence, all the $L^2(\T)$ solutions of the Benjamin--Ono equation are almost periodic functions of the time variable. The construction of such coordinates relies on the spectral study of the Lax operator in the Lax pair formulation of the Benjamin--Ono equation and on the use of a generating functional, which encodes the entire Benjamin--Ono hierarchy., Comment: 59 pages This new version corrected some typos and updated the references

Near an arbitrary finite gap potential we construct real analytic, canonical coordinates for the KdV equation on the torus having the following two main properties: (1) up to a remainder term, which is smoothing to any given order, the coordinate transformation is a pseudodifferential operator of order 0 with principal part given by the Fourier transform and (2) the pullback of the KdV Hamiltonian is in normal form up to order three and the corresponding Hamiltonian vector field admits an expansion in terms of a paradifferential operator. Such coordinates are a key ingredient for studying the stability of finite gap solutions of the KdV equation under small, quasi-linear perturbations.

We prove that there exist potentials so that near them the focusing non-linear Schr\"odinger equation does not admit local Birkhoff coordinates. The proof is based on the construction of a local normal form of the linearization of the equation at such potentials.

This preprint has been reviewed and recommended by Peer Community In Ecology (https://dx.doi.org/10.24072/pci.ecology.100001). In a recent article, Bicca-Marques and Calegaro-Marques [2016] discussed the putative assumptions related to an interpretation we provided regarding an observed positive relationship between weekly averaged parasite richness of a group of mandrills (Mandrillus sphinx) and their daily path lengths (DPL), published earlier in the same journal (Brockmeyer et al., 2015). In our article, we proposed, inter alia, that "the daily travels of mandrills could be seen as a way to escape contaminated habitats on a local scale". In their article, Bicca-Marques and Calegaro-Marques [2016] proposed an alternative mechanism that they considered to be more parsimonious. In their view, increased DPL also increases exposure to novel parasites from the environment. In other words, while we proposed that elevated DPL may be a consequence of elevated parasite richness, they viewed it as a cause. We are happy to see that our study attracted so much interest that it evoked a public comment. We are also grateful to Bicca-Marques and Calegaro-Marques [2016] for pointing out an obvious alternative scenario that we failed to discuss and for laying out several key factors and assumptions that should be addressed by future studies examining the links between parasite risk and group ranging. We use this opportunity to advance this discourse by responding to some of the criticisms raised in their discussion of our article. In this reply, we briefly contextualize the main object of criticism. We then discuss the putative parsimony of the two competing scenarios., Comment: 9 pages, no figure, no table

Bounds are obtained for the $L^p$ norm of the torsion function $v_{\Omega}$, i.e. the solution of $-\Delta v=1,\, v\in H_0^1(\Omega),$ in terms of the Lebesgue measure of $\Omega$ and the principal eigenvalue $\lambda_1(\Omega)$ of the Dirichlet Laplacian acting in $L^2(\Omega)$. We show that these bounds are sharp for $1\le p\le 2$., Comment: 14 pages