Showing 1–50 of 56 results for author: Habib, G

Geometric singularities and Hodge theory

Authors: Lashi Bandara, Georges Habib

Abstract: We consider smooth vector bundles over smooth manifolds equipped with non-smooth geometric data. For nilpotent differential operators acting on these bundles, we show that the kernels of induced Hodge-Dirac-type operators remain isomorphic under uniform perturbations of the geometric data. We consider applications of this to the Hodge-Dirac operator on differential forms induced by so-called rough… ▽ More We consider smooth vector bundles over smooth manifolds equipped with non-smooth geometric data. For nilpotent differential operators acting on these bundles, we show that the kernels of induced Hodge-Dirac-type operators remain isomorphic under uniform perturbations of the geometric data. We consider applications of this to the Hodge-Dirac operator on differential forms induced by so-called rough Riemannian metrics, which can be of only measurable coefficient in regularity, on both compact and non-compact settings. As a consequence, we show that the kernel of the associated non-smooth Hodge-Dirac operator with respect to a rough Riemannian metric remains isomorphic to smooth and singular cohomology when the underlying manifold is compact. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: Primary: 47B02; 46C07; 58A14; 57R57; Secondary: 47A08; 58A10

EffoVPR: Effective Foundation Model Utilization for Visual Place Recognition

Authors: Issar Tzachor, Boaz Lerner, Matan Levy, Michael Green, Tal Berkovitz Shalev, Gavriel Habib, Dvir Samuel, Noam Korngut Zailer, Or Shimshi, Nir Darshan, Rami Ben-Ari

Abstract: The task of Visual Place Recognition (VPR) is to predict the location of a query image from a database of geo-tagged images. Recent studies in VPR have highlighted the significant advantage of employing pre-trained foundation models like DINOv2 for the VPR task. However, these models are often deemed inadequate for VPR without further fine-tuning on task-specific data. In this paper, we propose a… ▽ More The task of Visual Place Recognition (VPR) is to predict the location of a query image from a database of geo-tagged images. Recent studies in VPR have highlighted the significant advantage of employing pre-trained foundation models like DINOv2 for the VPR task. However, these models are often deemed inadequate for VPR without further fine-tuning on task-specific data. In this paper, we propose a simple yet powerful approach to better exploit the potential of a foundation model for VPR. We first demonstrate that features extracted from self-attention layers can serve as a powerful re-ranker for VPR. Utilizing these features in a zero-shot manner, our method surpasses previous zero-shot methods and achieves competitive results compared to supervised methods across multiple datasets. Subsequently, we demonstrate that a single-stage method leveraging internal ViT layers for pooling can generate global features that achieve state-of-the-art results, even when reduced to a dimensionality as low as 128D. Nevertheless, incorporating our local foundation features for re-ranking, expands this gap. Our approach further demonstrates remarkable robustness and generalization, achieving state-of-the-art results, with a significant gap, in challenging scenarios, involving occlusion, day-night variations, and seasonal changes. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Transverse geometric formality

Authors: Georges Habib, Ken Richardson, Robert Wolak

Abstract: A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation on a closed manifold, we say that a bundle-like metric is transversely geometrically formal if the interior product of any two basic harmonic forms is basic harm… ▽ More A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation on a closed manifold, we say that a bundle-like metric is transversely geometrically formal if the interior product of any two basic harmonic forms is basic harmonic. In this paper, we examine the geometric and topological consequences of this condition. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 30 pages

MSC Class: 53C12; 53C25; 58A14

Harnessing The Power of Attention For Patch-Based Biomedical Image Classification

Authors: Gousia Habib, Shaima Qureshi, Malik ishfaq

Abstract: Biomedical image analysis is of paramount importance for the advancement of healthcare and medical research. Although conventional convolutional neural networks (CNNs) are frequently employed in this domain, facing limitations in capturing intricate spatial and temporal relationships at the pixel level due to their reliance on fixed-sized windows and immutable filter weights post-training. These c… ▽ More Biomedical image analysis is of paramount importance for the advancement of healthcare and medical research. Although conventional convolutional neural networks (CNNs) are frequently employed in this domain, facing limitations in capturing intricate spatial and temporal relationships at the pixel level due to their reliance on fixed-sized windows and immutable filter weights post-training. These constraints impede their ability to adapt to input fluctuations and comprehend extensive long-range contextual information. To overcome these challenges, a novel architecture based on self-attention mechanisms as an alternative to conventional CNNs.The proposed model utilizes attention-based mechanisms to surpass the limitations of CNNs. The key component of our strategy is the combination of non-overlap** (vanilla patching) and novel overlapped Shifted Patching Techniques (S.P.T.s), which enhances the model's capacity to capture local context and improves generalization. Additionally, we introduce the Lancoz5 interpolation technique, which adapts variable image sizes to higher resolutions, facilitating better analysis of high-resolution biomedical images. Our methods address critical challenges faced by attention-based vision models, including inductive bias, weight sharing, receptive field limitations, and efficient data handling. Experimental evidence shows the effectiveness of proposed model in generalizing to various biomedical imaging tasks. The attention-based model, combined with advanced data augmentation methodologies, exhibits robust modeling capabilities and superior performance compared to existing approaches. The integration of S.P.T.s significantly enhances the model's ability to capture local context, while the Lancoz5 interpolation technique ensures efficient handling of high-resolution images. △ Less

Submitted 9 June, 2024; v1 submitted 1 April, 2024; originally announced April 2024.

Exploring the Efficacy of Group-Normalization in Deep Learning Models for Alzheimer's Disease Classification

Authors: Gousia Habib, Ishfaq Ahmed Malik, Jameel Ahmad, Imtiaz Ahmed, Shaima Qureshi

Abstract: Batch Normalization is an important approach to advancing deep learning since it allows multiple networks to train simultaneously. A problem arises when normalizing along the batch dimension because B.N.'s error increases significantly as batch size shrinks because batch statistics estimates are inaccurate. As a result, computer vision tasks like detection, segmentation, and video, which require t… ▽ More Batch Normalization is an important approach to advancing deep learning since it allows multiple networks to train simultaneously. A problem arises when normalizing along the batch dimension because B.N.'s error increases significantly as batch size shrinks because batch statistics estimates are inaccurate. As a result, computer vision tasks like detection, segmentation, and video, which require tiny batches based on memory consumption, aren't suitable for using Batch Normalization for larger model training and feature transfer. Here, we explore Group Normalization as an easy alternative to using Batch Normalization A Group Normalization is a channel normalization method in which each group is divided into different channels, and the corresponding mean and variance are calculated for each group. Group Normalization computations are accurate across a wide range of batch sizes and are independent of batch size. When trained using a large ImageNet database on ResNet-50, GN achieves a very low error rate of 10.6% compared to Batch Normalization. when a smaller batch size of only 2 is used. For usual batch sizes, the performance of G.N. is comparable to that of Batch Normalization, but at the same time, it outperforms other normalization techniques. Implementing Group Normalization as a direct alternative to B.N to combat the serious challenges faced by the Batch Normalization in deep learning models with comparable or improved classification accuracy. Additionally, Group Normalization can be naturally transferred from the pre-training to the fine-tuning phase. . △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 19 pages, 3 figures

A Comprehensive Review of Knowledge Distillation in Computer Vision

Authors: Sheikh Musa Kaleem, Tufail Rouf, Gousia Habib, Tausifa jan Saleem, Brejesh Lall

Abstract: Deep learning techniques have been demonstrated to surpass preceding cutting-edge machine learning techniques in recent years, with computer vision being one of the most prominent examples. However, deep learning models suffer from significant drawbacks when deployed in resource-constrained environments due to their large model size and high complexity. Knowledge Distillation is one of the promine… ▽ More Deep learning techniques have been demonstrated to surpass preceding cutting-edge machine learning techniques in recent years, with computer vision being one of the most prominent examples. However, deep learning models suffer from significant drawbacks when deployed in resource-constrained environments due to their large model size and high complexity. Knowledge Distillation is one of the prominent solutions to overcome this challenge. This review paper examines the current state of research on knowledge distillation, a technique for compressing complex models into smaller and simpler ones. The paper provides an overview of the major principles and techniques associated with knowledge distillation and reviews the applications of knowledge distillation in the domain of computer vision. The review focuses on the benefits of knowledge distillation, as well as the problems that must be overcome to improve its effectiveness. △ Less

Submitted 8 April, 2024; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: 36 pages ,10 figures

Forecasting Fold Bifurcations through Physics-Informed Convolutional Neural Networks

Authors: Giuseppe Habib, Ádám Horváth

Abstract: This study proposes a physics-informed convolutional neural network (CNN) for identifying dynamical systems' time series near a fold bifurcation. The peculiarity of this work is that the CNN is trained with a relatively small amount of data and on a single, very simple system. In contrast, the CNN is validated on much more complicated systems. A similar task requires significant extrapolation capa… ▽ More This study proposes a physics-informed convolutional neural network (CNN) for identifying dynamical systems' time series near a fold bifurcation. The peculiarity of this work is that the CNN is trained with a relatively small amount of data and on a single, very simple system. In contrast, the CNN is validated on much more complicated systems. A similar task requires significant extrapolation capabilities, which are obtained by exploiting physics-based information. Physics-based information is provided through a specific pre-processing of the input data, consisting mostly of a transformation into polar coordinates, normalization, transformation into the logarithmic scale, and filtering through a moving mean. The results illustrate that such data pre-processing enables the CNN to grasp the important features related to approaching a fold bifurcation, namely, the trend of the oscillation amplitude, and neglect other characteristics that are not particularly relevant, such as the vibration frequency. The developed CNN was able to correctly classify trajectories near a fold for a mass-on-moving-belt system, a van der Pol-Duffing oscillator with an attached tuned mass damper, and a pitch-and-plunge wing profile. The results obtained pave the way for the development of similar CNNs effective in real-life applications. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Distilling Inductive Bias: Knowledge Distillation Beyond Model Compression

Authors: Gousia Habib, Tausifa Jan Saleem, Brejesh Lall

Abstract: With the rapid development of computer vision, Vision Transformers (ViTs) offer the tantalizing prospect of unified information processing across visual and textual domains. But due to the lack of inherent inductive biases in ViTs, they require enormous amount of data for training. To make their applications practical, we introduce an innovative ensemble-based distillation approach distilling indu… ▽ More With the rapid development of computer vision, Vision Transformers (ViTs) offer the tantalizing prospect of unified information processing across visual and textual domains. But due to the lack of inherent inductive biases in ViTs, they require enormous amount of data for training. To make their applications practical, we introduce an innovative ensemble-based distillation approach distilling inductive bias from complementary lightweight teacher models. Prior systems relied solely on convolution-based teaching. However, this method incorporates an ensemble of light teachers with different architectural tendencies, such as convolution and involution, to instruct the student transformer jointly. Because of these unique inductive biases, instructors can accumulate a wide range of knowledge, even from readily identifiable stored datasets, which leads to enhanced student performance. Our proposed framework also involves precomputing and storing logits in advance, essentially the unnormalized predictions of the model. This optimization can accelerate the distillation process by eliminating the need for repeated forward passes during knowledge distillation, significantly reducing the computational burden and enhancing efficiency. △ Less

Submitted 10 October, 2023; v1 submitted 30 September, 2023; originally announced October 2023.

Watch Where You Head: A View-biased Domain Gap in Gait Recognition and Unsupervised Adaptation

Authors: Gavriel Habib, Noa Barzilay, Or Shimshi, Rami Ben-Ari, Nir Darshan

Abstract: Gait Recognition is a computer vision task aiming to identify people by their walking patterns. Although existing methods often show high performance on specific datasets, they lack the ability to generalize to unseen scenarios. Unsupervised Domain Adaptation (UDA) tries to adapt a model, pre-trained in a supervised manner on a source domain, to an unlabelled target domain. There are only a few wo… ▽ More Gait Recognition is a computer vision task aiming to identify people by their walking patterns. Although existing methods often show high performance on specific datasets, they lack the ability to generalize to unseen scenarios. Unsupervised Domain Adaptation (UDA) tries to adapt a model, pre-trained in a supervised manner on a source domain, to an unlabelled target domain. There are only a few works on UDA for gait recognition proposing solutions to limited scenarios. In this paper, we reveal a fundamental phenomenon in adaptation of gait recognition models, caused by the bias in the target domain to viewing angle or walking direction. We then suggest a remedy to reduce this bias with a novel triplet selection strategy combined with curriculum learning. To this end, we present Gait Orientation-based method for Unsupervised Domain Adaptation (GOUDA). We provide extensive experiments on four widely-used gait datasets, CASIA-B, OU-MVLP, GREW, and Gait3D, and on three backbones, GaitSet, GaitPart, and GaitGL, justifying the view bias and showing the superiority of our proposed method over prior UDA works. △ Less

Submitted 10 December, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: Accepted to WACV 2024

A Poincaré formula for differential forms and applications

Authors: Nicolas Ginoux, Georges Habib, Simon Raulot

Abstract: We prove a new general Poincaré-type inequality for differential forms on compact Riemannian manifolds with nonempty boundary. When the boundary is isometrically immersed in Euclidean space, we derive a new inequality involving mean and scalar curvatures of the boundary only and characterize its limiting case in codimension one. A new Ros-type inequality for differential forms is also derived assu… ▽ More We prove a new general Poincaré-type inequality for differential forms on compact Riemannian manifolds with nonempty boundary. When the boundary is isometrically immersed in Euclidean space, we derive a new inequality involving mean and scalar curvatures of the boundary only and characterize its limiting case in codimension one. A new Ros-type inequality for differential forms is also derived assuming the existence of a nonzero parallel form on the manifold. △ Less

Submitted 8 November, 2023; v1 submitted 7 July, 2023; originally announced July 2023.

MSC Class: 53C21; 53C24; 58J32; 58J50

Journal ref: SIGMA 19 (2023), 088, 17 pages

Dynamical integrity estimation in time delayed systems: a rapid iterative algorithm

Authors: Bence Szaksz, Gabor Stepan, Giuseppe Habib

Abstract: The robustness of dynamical systems against external perturbations is crucial in engineering; however, it is often overlooked for the lack of methods for rapidly computing it. This paper proposes a novel algorithm for estimating the robustness of systems subject to time delay. More precisely, the algorithm iteratively estimates the so-called local integrity measure (LIM), that is, the radius of th… ▽ More The robustness of dynamical systems against external perturbations is crucial in engineering; however, it is often overlooked for the lack of methods for rapidly computing it. This paper proposes a novel algorithm for estimating the robustness of systems subject to time delay. More precisely, the algorithm iteratively estimates the so-called local integrity measure (LIM), that is, the radius of the largest hypersphere centered at the fixed point and located within its basin of attraction. Since time-delayed systems are infinite dimensional, initial conditions are restricted to a constrained type of initial functions. The semi-discretization method is used for rapidly simulating the dynamics of the systems, while trajectories are classified as converging or diverging using a subdivision of the reduced phase space into cells. The algorithm was tested on four different mechanical systems, and in all cases it very quickly provided an accurate estimation of the LIM. Moreover, it enabled the study of LIM trends in a multi-dimensional parameter space, which would have been unfeasible with alternative methods. This breakthrough in computational efficiency has important implications for engineering design, allowing for careful consideration of dynamical integrity and enhancing the safety and reliability of engineered systems, especially in the presence of time delays. △ Less

Submitted 26 June, 2023; originally announced June 2023.

A generalised Ricci-Hessian equation on Riemannian manifolds

Authors: Nicolas Ginoux, Georges Habib

Abstract: In this paper, we prove new rigidity results related to some generalised Ricci-Hessian equation on Riemannian manifolds. In this paper, we prove new rigidity results related to some generalised Ricci-Hessian equation on Riemannian manifolds. △ Less

Submitted 18 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:1809.07546

A Pseudodifferential Analytic Perspective on Getzler's Rescaling

Authors: Georges Habib, Sylvie Paycha

Abstract: Inspired by Gilkey's invariance theory, Getzler's rescaling method and Scott's approach to the index via Wodzicki residues, we give a localisation formula for the $\mathbb Z_2$-graded Wodzicki residue of the logarithm of a class of differential operators acting on sections of a spinor bundle over an even-dimensional manifold. This formula is expressed in terms of another local density built from t… ▽ More Inspired by Gilkey's invariance theory, Getzler's rescaling method and Scott's approach to the index via Wodzicki residues, we give a localisation formula for the $\mathbb Z_2$-graded Wodzicki residue of the logarithm of a class of differential operators acting on sections of a spinor bundle over an even-dimensional manifold. This formula is expressed in terms of another local density built from the symbol of the logarithm of a limit of rescaled differential operators acting on differential forms. When applied to complex powers of the square of a Dirac operator, it amounts to expressing the index of a Dirac operator in terms of a local density involving the logarithm of the Getzler rescaled limit of its square. △ Less

Submitted 1 February, 2024; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: Symmetry, Integrability and Geometry : Methods and Applications, 2024

Knowledge Distillation in Vision Transformers: A Critical Review

Authors: Gousia Habib, Tausifa Jan Saleem, Brejesh Lall

Abstract: In Natural Language Processing (NLP), Transformers have already revolutionized the field by utilizing an attention-based encoder-decoder model. Recently, some pioneering works have employed Transformer-like architectures in Computer Vision (CV) and they have reported outstanding performance of these architectures in tasks such as image classification, object detection, and semantic segmentation. V… ▽ More In Natural Language Processing (NLP), Transformers have already revolutionized the field by utilizing an attention-based encoder-decoder model. Recently, some pioneering works have employed Transformer-like architectures in Computer Vision (CV) and they have reported outstanding performance of these architectures in tasks such as image classification, object detection, and semantic segmentation. Vision Transformers (ViTs) have demonstrated impressive performance improvements over Convolutional Neural Networks (CNNs) due to their competitive modelling capabilities. However, these architectures demand massive computational resources which makes these models difficult to be deployed in the resource-constrained applications. Many solutions have been developed to combat this issue, such as compressive transformers and compression functions such as dilated convolution, min-max pooling, 1D convolution, etc. Model compression has recently attracted considerable research attention as a potential remedy. A number of model compression methods have been proposed in the literature such as weight quantization, weight multiplexing, pruning and Knowledge Distillation (KD). However, techniques like weight quantization, pruning and weight multiplexing typically involve complex pipelines for performing the compression. KD has been found to be a simple and much effective model compression technique that allows a relatively simple model to perform tasks almost as accurately as a complex model. This paper discusses various approaches based upon KD for effective compression of ViT models. The paper elucidates the role played by KD in reducing the computational and memory requirements of these models. The paper also presents the various challenges faced by ViTs that are yet to be resolved. △ Less

Submitted 10 February, 2024; v1 submitted 4 February, 2023; originally announced February 2023.

Comments: 28pages, 16 figures

Eigenvalue estimates for the magnetic Hodge Laplacian on differential forms

Authors: Michela Egidi, Katie Gittins, Georges Habib, Norbert Peyerimhoff

Abstract: In this paper we introduce the magnetic Hodge Laplacian, which is a generalization of the magnetic Laplacian on functions to differential forms. We consider various spectral results, which are known for the magnetic Laplacian on functions or for the Hodge Laplacian on differential forms, and discuss similarities and differences of this new ``magnetic-type'' operator. In this paper we introduce the magnetic Hodge Laplacian, which is a generalization of the magnetic Laplacian on functions to differential forms. We consider various spectral results, which are known for the magnetic Laplacian on functions or for the Hodge Laplacian on differential forms, and discuss similarities and differences of this new ``magnetic-type'' operator. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Biharmonic Steklov operator on differential forms

Authors: Fida El Chami, Nicolas Ginoux, Georges Habib, Ola Makhoul

Abstract: We introduce the biharmonic Steklov problem on differential forms by considering suitable boundary conditions. We characterize its smallest eigenvalue and prove elementary properties of the spectrum. We obtain various estimates for the first eigenvalue, some of which involve eigenvalues of other problems such as the Dirichlet, Neumann, Robin and Steklov ones. Independently, new inequalities relati… ▽ More We introduce the biharmonic Steklov problem on differential forms by considering suitable boundary conditions. We characterize its smallest eigenvalue and prove elementary properties of the spectrum. We obtain various estimates for the first eigenvalue, some of which involve eigenvalues of other problems such as the Dirichlet, Neumann, Robin and Steklov ones. Independently, new inequalities relating the eigenvalues of the latter problems are proved. △ Less

Submitted 10 June, 2022; originally announced June 2022.

MSC Class: 53C21; 58J32; 58C40; 58J50

Eigenvalue estimates on weighted manifolds

Authors: Volker Branding, Georges Habib

Abstract: We derive various eigenvalue estimates for the Hodge Laplacian acting on differential forms on weighted Riemannian manifolds. Our estimates unify and extend various results from the literature and we provide a number of geometric applications. In particular, we derive an inequality which relates the eigenvalues of the Jacobi operator for (f)-minimal hypersurfaces and the spectrum of the Hodge Lapl… ▽ More We derive various eigenvalue estimates for the Hodge Laplacian acting on differential forms on weighted Riemannian manifolds. Our estimates unify and extend various results from the literature and we provide a number of geometric applications. In particular, we derive an inequality which relates the eigenvalues of the Jacobi operator for (f)-minimal hypersurfaces and the spectrum of the Hodge Laplacian. △ Less

Submitted 20 June, 2024; v1 submitted 17 January, 2022; originally announced January 2022.

Journal ref: Results Math. 79 (2024), no. 5, Paper No. 187

Automatic Breast Lesion Classification by Joint Neural Analysis of Mammography and Ultrasound

Authors: Gavriel Habib, Nahum Kiryati, Miri Sklair-Levy, Anat Shalmon, Osnat Halshtok Neiman, Renata Faermann Weidenfeld, Yael Yagil, Eli Konen, Arnaldo Mayer

Abstract: Mammography and ultrasound are extensively used by radiologists as complementary modalities to achieve better performance in breast cancer diagnosis. However, existing computer-aided diagnosis (CAD) systems for the breast are generally based on a single modality. In this work, we propose a deep-learning based method for classifying breast cancer lesions from their respective mammography and ultras… ▽ More Mammography and ultrasound are extensively used by radiologists as complementary modalities to achieve better performance in breast cancer diagnosis. However, existing computer-aided diagnosis (CAD) systems for the breast are generally based on a single modality. In this work, we propose a deep-learning based method for classifying breast cancer lesions from their respective mammography and ultrasound images. We present various approaches and show a consistent improvement in performance when utilizing both modalities. The proposed approach is based on a GoogleNet architecture, fine-tuned for our data in two training steps. First, a distinct neural network is trained separately for each modality, generating high-level features. Then, the aggregated features originating from each modality are used to train a multimodal network to provide the final classification. In quantitative experiments, the proposed approach achieves an AUC of 0.94, outperforming state-of-the-art models trained over a single modality. Moreover, it performs similarly to an average radiologist, surpassing two out of four radiologists participating in a reader study. The promising results suggest that the proposed method may become a valuable decision support tool for breast radiologists. △ Less

Submitted 23 September, 2020; originally announced September 2020.

Comments: 10 pages including references, 8 figures, 1 table. Accepted to MICCAI ML-CDS 2020 workshop (ML-CDS 2020/CLIP 2020, LNCS 12445 proceedings)

Skew Killing spinors in four dimensions

Authors: Nicolas Ginoux, Georges Habib, Ines Kath

Abstract: This paper is devoted to the classification of 4-dimensional Riemannian spin manifolds carrying skew Killing spinors. A skew Killing spinor $ψ$ is a spinor that satisfies the equation $\nabla$X$ψ$ = AX $\times$ $ψ$ with a skew-symmetric endomorphism A. We consider the degenerate case, where the rank of A is at most two everywhere and the non-degenerate case, where the rank of A is four everywhere.… ▽ More This paper is devoted to the classification of 4-dimensional Riemannian spin manifolds carrying skew Killing spinors. A skew Killing spinor $ψ$ is a spinor that satisfies the equation $\nabla$X$ψ$ = AX $\times$ $ψ$ with a skew-symmetric endomorphism A. We consider the degenerate case, where the rank of A is at most two everywhere and the non-degenerate case, where the rank of A is four everywhere. We prove that in the degenerate case the manifold is locally isometric to the Riemannian product R x N with N having a skew Killing spinor and we explain under which conditions on the spinor the special case of a local isometry to S 2 x R 2 occurs. In the non-degenerate case, the existence of skew Killing spinors is related to doubly warped products whose defining data we will describe. △ Less

Submitted 27 July, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

An Obata-type characterization of Calabi metrics on line bundles

Authors: Nicolas Ginoux, Georges Habib, Mihaela Pilca, Uwe Semmelmann

Abstract: We characterize those complete K{ä}hler manifolds supporting a nonconstant real-valued function with critical points whose Hessian is complex linear, has pointwise two eigenvalues and whose gradient is a Hessian-eigenvector. We characterize those complete K{ä}hler manifolds supporting a nonconstant real-valued function with critical points whose Hessian is complex linear, has pointwise two eigenvalues and whose gradient is a Hessian-eigenvector. △ Less

Submitted 20 February, 2020; originally announced February 2020.

An Obata-type characterization of doubly-warped product K\''ahler manifolds

Authors: Nicolas Ginoux, Georges Habib, Mihaela Pilca, Uwe Semmelmann

Abstract: We give a characterization {\sl à la Obata} for certain families of K\''ahler manifolds. These results are in the same line as other extensions of the well-known Obata's rigidity theorem from \cite{Obata62}, like for instance the generalizations in \cite{RanjSant97} and \cite{Santhanam07}. Moreover, we give a complete description of the so-called K\''ahler doubly-warped product structures whose un… ▽ More We give a characterization {\sl à la Obata} for certain families of K\''ahler manifolds. These results are in the same line as other extensions of the well-known Obata's rigidity theorem from \cite{Obata62}, like for instance the generalizations in \cite{RanjSant97} and \cite{Santhanam07}. Moreover, we give a complete description of the so-called K\''ahler doubly-warped product structures whose underlying metric is Einstein. △ Less

Submitted 20 February, 2020; originally announced February 2020.

New eigenvalue estimates involving Bessel functions

Authors: Fida El Chami, Nicolas Ginoux, Georges Habib

Abstract: Given a compact Riemannian manifold (M n , g) with boundary $\partial$M , we give an estimate for the quotient $\partial$M f d$μ$ g M f d$μ$ g , where f is a smooth positive function defined on M that satisfies some inequality involving the scalar Laplacian. By the mean value lemma established in [37], we provide a differential inequality for f which, under some curvature assumptions, can be inter… ▽ More Given a compact Riemannian manifold (M n , g) with boundary $\partial$M , we give an estimate for the quotient $\partial$M f d$μ$ g M f d$μ$ g , where f is a smooth positive function defined on M that satisfies some inequality involving the scalar Laplacian. By the mean value lemma established in [37], we provide a differential inequality for f which, under some curvature assumptions, can be interpreted in terms of Bessel functions. As an application of our main result, a direct proof is given of the Faber-Krahn inequalities for Dirichlet and Robin Laplacian. Also, a new estimate is established for the eigenvalues of the Dirac operator that involves a positive root of Bessel function besides the scalar curvature. Independently, we extend the Robin Laplacian on functions to differential forms. We prove that this natural extension defines a self-adjoint and elliptic operator whose spectrum is discrete and consists of positive real eigenvalues. In particular, we characterize its first eigenvalue and provide a lower bound of it in terms of Bessel functions. △ Less

Submitted 13 September, 2019; v1 submitted 7 August, 2019; originally announced August 2019.

New cohomological invariants of foliations

Authors: Georges Habib, Ken Richardson

Abstract: Given a smooth foliation on a closed manifold, basic forms are differential forms that can be expressed locally in terms of the transverse variables. The space of basic forms yields a differential complex, because the exterior derivative fixes this set. The basic cohomology is the cohomology of this complex, and this has been studied extensively. Given a Riemannian metric, the adjoint of the exter… ▽ More Given a smooth foliation on a closed manifold, basic forms are differential forms that can be expressed locally in terms of the transverse variables. The space of basic forms yields a differential complex, because the exterior derivative fixes this set. The basic cohomology is the cohomology of this complex, and this has been studied extensively. Given a Riemannian metric, the adjoint of the exterior derivative maps the orthogonal complement of the basic forms to itself, and we call the resulting cohomology the "antibasic cohomology". Although these groups are defined using the metric, the dimensions of the antibasic cohomology groups are invariant under diffeomorphism and metric changes. If the underlying foliation is Riemannian, the groups are foliated homotopy invariants that are independent of basic cohomology and ordinary cohomology of the manifold. For this class of foliations we use the codifferential on antibasic forms to obtain the corresponding Laplace operator, develop its analytic properties, and prove a Hodge theorem. We then find some topological and geometric properties that impose restrictions on the antibasic Betti numbers. △ Less

Submitted 21 May, 2024; v1 submitted 9 June, 2019; originally announced June 2019.

Comments: 29 pages, a few minor corrections were made

MSC Class: 57R30; 53C12; 58A14

The Tuned Bistable Nonlinear Energy Sink

Authors: Giuseppe Habib, Francesco Romeo

Abstract: A bistable nonlinear energy sink conceived to mitigate the vibrations of host structural systems is considered in this paper. The hosting structure consists of two coupled symmetric linear oscillators (LOs) and the nonlinear energy sink (NES) is connected to one of them. The peculiar nonlinear dynamics of the resulting three-degree-of-freedom system is analytically described by means of its slow i… ▽ More A bistable nonlinear energy sink conceived to mitigate the vibrations of host structural systems is considered in this paper. The hosting structure consists of two coupled symmetric linear oscillators (LOs) and the nonlinear energy sink (NES) is connected to one of them. The peculiar nonlinear dynamics of the resulting three-degree-of-freedom system is analytically described by means of its slow invariant manifold derived from a suitable rescaling, coupled with a harmonic balance procedure, applied to the governing equations transformed in modal coordinates. On the basis of the first-order reduced model, the absorber is tuned and optimized to mitigate both modes for a broad range of impulsive load magnitudes applied to the LOs. On the one hand, for low-amplitude, in-well, oscillations, the parameters governing the bistable NES are tuned in order to make it functioning as a linear tuned mass damper (TMD); on the other, for high-amplitude, cross-well, oscillations, the absorber is optimized on the basis of the invariant manifolds features. The analytically predicted performance of the resulting tuned bistable nonlinear energy sink (TBNES) are numerically validated in terms of dissipation time; the absorption capabilities are eventually compared with either a TMD and a purely cubic NES. It is shown that, for a wide range of impulse amplitudes, the TBNES allows the most efficient absorption even for the detuned mode, where a single TMD cannot be effective. △ Less

Submitted 15 January, 2019; originally announced January 2019.

Comments: Author post-print

Journal ref: Nonlinear dynamics, 89(1), 179-196, (2017)

Evaluating Text GANs as Language Models

Authors: Guy Tevet, Gavriel Habib, Vered Shwartz, Jonathan Berant

Abstract: Generative Adversarial Networks (GANs) are a promising approach for text generation that, unlike traditional language models (LM), does not suffer from the problem of ``exposure bias''. However, A major hurdle for understanding the potential of GANs for text generation is the lack of a clear evaluation metric. In this work, we propose to approximate the distribution of text generated by a GAN, whi… ▽ More Generative Adversarial Networks (GANs) are a promising approach for text generation that, unlike traditional language models (LM), does not suffer from the problem of ``exposure bias''. However, A major hurdle for understanding the potential of GANs for text generation is the lack of a clear evaluation metric. In this work, we propose to approximate the distribution of text generated by a GAN, which permits evaluating them with traditional probability-based LM metrics. We apply our approximation procedure on several GAN-based models and show that they currently perform substantially worse than state-of-the-art LMs. Our evaluation procedure promotes better understanding of the relation between GANs and LMs, and can accelerate progress in GAN-based text generation. △ Less

Submitted 24 March, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

A splitting theorem for Riemannian manifolds of generalised Ricci-Hessian type

Authors: Nicolas Ginoux, Georges Habib, Ines Kath

Abstract: In this paper, we study and partially classify those Riemannian man-ifolds carrying a non-identically vanishing function f whose Hessian is minus f times the Ricci-tensor of the manifold. In this paper, we study and partially classify those Riemannian man-ifolds carrying a non-identically vanishing function f whose Hessian is minus f times the Ricci-tensor of the manifold. △ Less

Submitted 20 September, 2018; originally announced September 2018.

The Bochner formula for Riemannian flows

Authors: Fida Chami, Georges Habib

Abstract: In this paper, we consider a Riemannian manifold (M, g) endowed with a Riemannian flow and we study the curvature term in the Bochner-Weitzenb{ö}ck formula of the basic Laplacian on M. We prove that this term splits into two parts. The first part depends mainly on the curvature operator of the underlying manifold M and the second part is expressed in terms of the O'Neill tensor of the flow. After… ▽ More In this paper, we consider a Riemannian manifold (M, g) endowed with a Riemannian flow and we study the curvature term in the Bochner-Weitzenb{ö}ck formula of the basic Laplacian on M. We prove that this term splits into two parts. The first part depends mainly on the curvature operator of the underlying manifold M and the second part is expressed in terms of the O'Neill tensor of the flow. After getting a lower bound for this term, depending on these two parts, we establish an eigenvalue estimate of the basic Laplacian on basic forms. We then discuss the limiting case of the estimate and prove that when equality occurs, the manifold M is a local product. This paper follows mainly the approach in [21]. △ Less

Submitted 13 August, 2018; originally announced August 2018.

Eigenvalue bounds of the Robin Laplacian with magnetic field

Authors: Georges Habib, Ayman Kachmar

Abstract: On a compact Riemannian manifold $M$ with boundary, we give an estimate for the eigenvalues $(λ\_k(τ,α))\_k$ of the magnetic Laplacian with the Robin boundary conditions. Here, $τ$ is a positive number that defines the Robin condition and $α$ is a real differential 1-form on $M$ that represents the magnetic field. We express these estimates in terms of the mean curvature of the boundary, the para… ▽ More On a compact Riemannian manifold $M$ with boundary, we give an estimate for the eigenvalues $(λ\_k(τ,α))\_k$ of the magnetic Laplacian with the Robin boundary conditions. Here, $τ$ is a positive number that defines the Robin condition and $α$ is a real differential 1-form on $M$ that represents the magnetic field. We express these estimates in terms of the mean curvature of the boundary, the parameter $τ$ and a lower bound of the Ricci curvature of $M$ (see Theorem \ref{estimate1} and Corollary \ref{corestimate}). The main technique is to use the Bochner formula established in \cite{ELMP} for the magnetic Laplacian and to integrate it over $M$ (see Theorem \ref{bochnermagnetic1}). In the last part, we compare the eigenvalues $λ\_k(τ,α)$ with the first eigenvalue $λ\_1(τ)=λ\_1(τ,0)$ (i.e. without magnetic field) and the Neumann eigenvalues $λ\_k(0,α)$ (see Theorem \ref{thm:comp}) using the min-max principle. △ Less

Submitted 11 January, 2018; v1 submitted 25 July, 2017; originally announced July 2017.

Isolated resonances and nonlinear dam**

Authors: Giuseppe Habib, Giuseppe Ilario Cirillo, Gaetan Kerschen

Abstract: We analyze isolated resonance curves (IRCs) in a single-degree-of-freedom system with nonlinear dam**. The adopted procedure exploits singularity theory in conjunction with the harmonic balance method. The analysis unveils a geometrical connection between the topology of the dam** force and IRCs. Specifically, we demonstrate that extremas and zeros of the dam** force correspond to the appear… ▽ More We analyze isolated resonance curves (IRCs) in a single-degree-of-freedom system with nonlinear dam**. The adopted procedure exploits singularity theory in conjunction with the harmonic balance method. The analysis unveils a geometrical connection between the topology of the dam** force and IRCs. Specifically, we demonstrate that extremas and zeros of the dam** force correspond to the appearance and merging of IRCs. △ Less

Submitted 19 September, 2017; v1 submitted 12 July, 2017; originally announced July 2017.

Comments: Author preprint version - manuscript under review

Homotopy invariance of cohomology and signature of a riemannian foliation

Authors: Georges Habib, Ken Richardson

Abstract: We prove that any smooth foliation that admits a Riemannian foliation structure has a well-defined basic signature, and this geometrically defined invariant is actually a foliated homotopy invariant. We also show that foliated homotopic maps between Riemannian foliations induce isomorphic maps on basic Lichnerowicz cohomology, and that the Alvarez class of a Riemannian foliation is invariant under… ▽ More We prove that any smooth foliation that admits a Riemannian foliation structure has a well-defined basic signature, and this geometrically defined invariant is actually a foliated homotopy invariant. We also show that foliated homotopic maps between Riemannian foliations induce isomorphic maps on basic Lichnerowicz cohomology, and that the Alvarez class of a Riemannian foliation is invariant under foliated homotopy equivalence. △ Less

Submitted 10 October, 2017; v1 submitted 30 March, 2017; originally announced March 2017.

Journal ref: Math. Z. 293 (2019), no. 1-2, 579-595

Riemannian flows and adiabatic limits

Authors: Georges Habib, Ken Richardson

Abstract: We show the convergence properties of the eigenvalues of the Dirac operator on a spin manifold with a Riemannian flow when the metric is collapsed along the flow. We show the convergence properties of the eigenvalues of the Dirac operator on a spin manifold with a Riemannian flow when the metric is collapsed along the flow. △ Less

Submitted 3 May, 2017; v1 submitted 30 March, 2017; originally announced March 2017.

Journal ref: Internat. J. Math. 29 (2018), no. 2, 1850011

Rigidity results for Riemannian spin^c manifolds with foliated boundary

Authors: Fida Chami, Nicolas Ginoux, Georges Habib, Roger Nakad

Abstract: Given a Riemannian spin^c manifold whose boundary is endowed with a Riemannian flow, we show that any solution of the basic Dirac equation satisfies an integral inequality depending on geometric quantities, such as the mean curvature and the O'Neill tensor. We then characterize the equality case of the inequality when the ambient manifold is a domain of a Kähler-Einstein manifold or a Riemannian p… ▽ More Given a Riemannian spin^c manifold whose boundary is endowed with a Riemannian flow, we show that any solution of the basic Dirac equation satisfies an integral inequality depending on geometric quantities, such as the mean curvature and the O'Neill tensor. We then characterize the equality case of the inequality when the ambient manifold is a domain of a Kähler-Einstein manifold or a Riemannian product of a Kähler-Einstein manifold with R (or with the circle S^1). △ Less

Submitted 12 December, 2016; originally announced December 2016.

Essential norms of Volterra and Cesàro operators on Müntz spaces

Authors: Ihab Al Alam, Georges Habib, Pascal Lefèvre, Fares Maalouf

Abstract: We study the properties of the Volterra and Cesàro operators viewed on the $L^1$-Müntz space $M_Λ^1$ with range in the space of continuous functions. These operators are neither compact nor weakly compact. We estimate how far from being (weakly) compact they are by computing their (generalized) essential norm. It turns out that this latter does not depend on $Λ$ and is equal to $1/2$. We study the properties of the Volterra and Cesàro operators viewed on the $L^1$-Müntz space $M_Λ^1$ with range in the space of continuous functions. These operators are neither compact nor weakly compact. We estimate how far from being (weakly) compact they are by computing their (generalized) essential norm. It turns out that this latter does not depend on $Λ$ and is equal to $1/2$. △ Less

Submitted 9 December, 2016; originally announced December 2016.

Comments: 15

MSC Class: 47B07; 47B38; 30H99

Analysis and design of nonlinear resonances via singularity theory

Authors: G. I. Cirillo, G. Habib, G. Kerschen, R. Sepulchre

Abstract: Bifurcation theory and continuation methods are well-established tools for the analysis of nonlinear mechanical systems subject to periodic forcing. We illustrate the added value and the complementary information provided by singularity theory with one distinguished parameter. While tracking bifurcations reveals the qualitative changes in the behaviour, tracking singularities reveals how structura… ▽ More Bifurcation theory and continuation methods are well-established tools for the analysis of nonlinear mechanical systems subject to periodic forcing. We illustrate the added value and the complementary information provided by singularity theory with one distinguished parameter. While tracking bifurcations reveals the qualitative changes in the behaviour, tracking singularities reveals how structural changes are themselves organised in parameter space. The complementarity of that information is demonstrated in the analysis of detached resonance curves in a two-degree-of-freedom system. △ Less

Submitted 3 January, 2017; v1 submitted 13 June, 2016; originally announced June 2016.

A principle of similarity for nonlinear vibration absorbers

Authors: Giuseppe Habib, Gaetan Kerschen

Abstract: This paper develops a principle of similarity for the design of a nonlinear absorber, the nonlinear tuned vibration absorber (NLTVA), attached to a nonlinear primary system. Specifically, for effective vibration mitigation, we show that the NLTVA should feature a nonlinearity possessing the same mathematical form as that of the primary system. A compact analytical formula for the nonlinear coeffic… ▽ More This paper develops a principle of similarity for the design of a nonlinear absorber, the nonlinear tuned vibration absorber (NLTVA), attached to a nonlinear primary system. Specifically, for effective vibration mitigation, we show that the NLTVA should feature a nonlinearity possessing the same mathematical form as that of the primary system. A compact analytical formula for the nonlinear coefficient of the absorber is then derived. The formula, valid for any polynomial nonlinearity in the primary system, is found to depend only on the mass ratio and on the nonlinear coefficient of the primary system. When the primary system comprises several polynomial nonlinearities, we demonstrate that the NLTVA obeys a principle of additivity, i.e., each nonlinear coefficient can be calculated independently of the other nonlinear coefficients using the proposed formula. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Performance, robustness and sensitivity analysis of the nonlinear tuned vibration absorber

Authors: Thibaut Detroux, Giuseppe Habib, Luc Masset, Gaetan Kerschen

Abstract: The nonlinear tuned vibration absorber (NLTVA) is a recently-developed nonlinear absorber which generalizes Den Hartog's equal peak method to nonlinear systems. If the purposeful introduction of nonlinearity can enhance system performance, it can also give rise to adverse dynamical phenomena, including detached resonance curves and quasiperiodic regimes of motion. Through the combination of numeri… ▽ More The nonlinear tuned vibration absorber (NLTVA) is a recently-developed nonlinear absorber which generalizes Den Hartog's equal peak method to nonlinear systems. If the purposeful introduction of nonlinearity can enhance system performance, it can also give rise to adverse dynamical phenomena, including detached resonance curves and quasiperiodic regimes of motion. Through the combination of numerical continuation of periodic solutions, bifurcation detection and tracking, and global analysis, the present study identifies boundaries in the NLTVA parameter space delimiting safe, unsafe and unacceptable operations. The sensitivity of these boundaries to uncertainty in the NLTVA parameters is also investigated. △ Less

Submitted 19 April, 2016; originally announced April 2016.

Comments: Journal paper

Journal ref: Mechanical Systems and Signal Processing, 60-61, 799-809, 2015

Suppression of Limit Cycle Oscillations using the Nonlinear Tuned Vibration Absorber

Authors: Giuseppe Habib, Gaetan Kerschen

Abstract: The objective of the present study is to mitigate, or even completely eliminate, the limit cycle oscillations in mechanical systems using a passive nonlinear absorber, termed the nonlinear tuned vibration absorber (NLTVA). An unconventional aspect of the NLTVA is that the mathematical form of its restoring force is not imposed a priori, as it is the case for most existing nonlinear absorbers. The… ▽ More The objective of the present study is to mitigate, or even completely eliminate, the limit cycle oscillations in mechanical systems using a passive nonlinear absorber, termed the nonlinear tuned vibration absorber (NLTVA). An unconventional aspect of the NLTVA is that the mathematical form of its restoring force is not imposed a priori, as it is the case for most existing nonlinear absorbers. The NLTVA parameters are determined analytically using stability and bifurcation analyses, and the resulting design is validated using numerical continuation. The proposed developments are illustrated using a Van der Pol-Duffing primary system. △ Less

Submitted 14 April, 2016; originally announced April 2016.

Journal ref: Proceedings of the Royal Society of London A (Vol. 471, No. 2176, p. 20140976)

Nonlinear Generalization of Den Hartog's Equal-Peak Method

Authors: Giuseppe Habib, Thibaut Detroux, Regis Viguié, Gaetan Kerschen

Abstract: This study addresses the mitigation of a nonlinear resonance of a mechanical system. In view of the narrow bandwidth of the classical linear tuned vibration absorber, a nonlinear absorber, termed the nonlinear tuned vibration absorber (NLTVA), is introduced in this paper. An unconventional aspect of the NLTVA is that the mathematical form of its restoring force is tailored according to the nonline… ▽ More This study addresses the mitigation of a nonlinear resonance of a mechanical system. In view of the narrow bandwidth of the classical linear tuned vibration absorber, a nonlinear absorber, termed the nonlinear tuned vibration absorber (NLTVA), is introduced in this paper. An unconventional aspect of the NLTVA is that the mathematical form of its restoring force is tailored according to the nonlinear restoring force of the primary system. The NLTVA parameters are then determined using a nonlinear generalization of Den Hartog's equal-peak method. The mitigation of the resonant vibrations of a Duffing oscillator is considered to illustrate the proposed developments. △ Less

Submitted 13 April, 2016; originally announced April 2016.

Journal ref: Mechanical Systems and Signal Processing, 52, 17-28 (2015)

Eigenvalue Estimate for the basic Laplacian on manifolds with foliated boundary, part II

Authors: Fida El Chami, George Habib, Ola Makhoul, Roger Nakad

Abstract: In [4], we gave a sharp lower bound for the first eigenvalue of the basic Laplacian acting on basic $1$-forms defined on a compact manifold whose boundary is endowed with a Riemannian flow. In this paper, we extend this result to the case of the first eigenvalue on basic $p$-forms for $p>1$. As in [4], the limiting case allows to characterize the manifold $\mathbb{R} \times B' / Γ$ for some group… ▽ More In [4], we gave a sharp lower bound for the first eigenvalue of the basic Laplacian acting on basic $1$-forms defined on a compact manifold whose boundary is endowed with a Riemannian flow. In this paper, we extend this result to the case of the first eigenvalue on basic $p$-forms for $p>1$. As in [4], the limiting case allows to characterize the manifold $\mathbb{R} \times B' / Γ$ for some group $Γ$, and where $B'$ denotes the unit closed ball. In particular, we describe the Riemannian product $\mathbb{S}^1\times \mathbb{S}^n$ as the boundary of a manifold. △ Less

Submitted 8 April, 2016; originally announced April 2016.

MSC Class: 53C12; 53C24; 58J50; 58J32

Eigenvalue Estimate for the basic Laplacian on manifolds with foliated boundary

Authors: Fida El Chami, Georges Habib, Ola Makhoul, Roger Nakad

Abstract: In this paper, we give a sharp lower bound for the first eigenvalue of the basic Laplacian acting on basic $1$-forms defined on a compact manifold whose boundary is endowed with a Riemannian flow. The limiting case gives rise to a particular geometry of the flow and the boundary. Namely, the flow is a local product and the boundary is $η$-umbilical. This allows to characterize the quotient of… ▽ More In this paper, we give a sharp lower bound for the first eigenvalue of the basic Laplacian acting on basic $1$-forms defined on a compact manifold whose boundary is endowed with a Riemannian flow. The limiting case gives rise to a particular geometry of the flow and the boundary. Namely, the flow is a local product and the boundary is $η$-umbilical. This allows to characterize the quotient of $\mathbb R\times B'$ by some group $Γ$ as being the limiting manifold. Here $B'$ denotes the unit closed ball. Finally, we deduce several rigidity results describing the product $\mathbb{S}^1\times \mathbb{S}^n$ as the boundary of a manifold. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 16 pages

MSC Class: 53C12; 53C24; 58J50; 58J32

Rigidity results for spin manifolds with foliated boundary

Authors: Fida El Chami, Nicolas Ginoux, Georges Habib, Roger Nakad

Abstract: In this paper, we consider a compact Riemannian manifold whose boundary is endowed with a Riemannian flow. Under a suitable curvature assumption depending on the O'Neill tensor of the flow, we prove that any solution of the basic Dirac equation is the restriction of a parallel spinor field defined on the whole manifold. As a consequence, we show that the flow is a local product. In particular, in… ▽ More In this paper, we consider a compact Riemannian manifold whose boundary is endowed with a Riemannian flow. Under a suitable curvature assumption depending on the O'Neill tensor of the flow, we prove that any solution of the basic Dirac equation is the restriction of a parallel spinor field defined on the whole manifold. As a consequence, we show that the flow is a local product. In particular, in the case where solutions of the basic Dirac equation are given by basic Killing spinors, we characterize the geometry of the manifold and the flow. △ Less

Submitted 8 July, 2015; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: 22 pages

A new upper bound for the Dirac operator on hypersurfaces

Authors: Nicolas Ginoux, Georges Habib, Simon Raulot

Abstract: We prove a new upper bound for the first eigenvalue of the Dirac operator of a compact hypersurface in any Riemannian spin manifold carrying a non-trivial twistor spinor without zeros on the hypersurface. The upper bound is expressed as the first eigenvalue of a drifting Schrödinger operator on the hypersurface. Moreover, using a recent approach developed by O. Hijazi and S. Montiel, we completely… ▽ More We prove a new upper bound for the first eigenvalue of the Dirac operator of a compact hypersurface in any Riemannian spin manifold carrying a non-trivial twistor spinor without zeros on the hypersurface. The upper bound is expressed as the first eigenvalue of a drifting Schrödinger operator on the hypersurface. Moreover, using a recent approach developed by O. Hijazi and S. Montiel, we completely characterize the equality case when the ambient manifold is the standard hyperbolic space. △ Less

Submitted 5 February, 2014; originally announced February 2014.

Journal ref: Pacific J. Math. 278 (2015) 79-101

Riemannian foliations with parallel or harmonic basic forms

Authors: Fida EL Chami, Georges Habib, Roger Nakad

Abstract: In this paper, we consider a Riemannian foliation whose normal bundle carries a parallel or harmonic basic form. We estimate the norm of the O'Neill tensor in terms of the curvature data of the whole manifold. Some examples are then given. In this paper, we consider a Riemannian foliation whose normal bundle carries a parallel or harmonic basic form. We estimate the norm of the O'Neill tensor in terms of the curvature data of the whole manifold. Some examples are then given. △ Less

Submitted 30 October, 2013; originally announced October 2013.

MSC Class: 53C12; 53C20; 53C24; 57R30

Some remarks on Calabi-Yau and hyper-Kähler foliations

Authors: Georges Habib, Luigi Vezzoni

Abstract: We study Riemannian foliations whose transverse Levi-Civita connection $\nabla$ has special holonomy. In particular, we focus on the case where $Hol(\nabla)$ is contained either in SU(n) or in Sp(n). We prove a Weitzenbock formula involving complex basic forms on Kähler foliations and we apply this formula for pointing out some properties of transverse Calabi-Yau structures. This allows us to prov… ▽ More We study Riemannian foliations whose transverse Levi-Civita connection $\nabla$ has special holonomy. In particular, we focus on the case where $Hol(\nabla)$ is contained either in SU(n) or in Sp(n). We prove a Weitzenbock formula involving complex basic forms on Kähler foliations and we apply this formula for pointing out some properties of transverse Calabi-Yau structures. This allows us to prove that links provide examples of compact simply-connected contact Calabi-Yau manifolds. Moreover, we show that a simply-connected compact manifold with a Kähler foliation admits a transverse hyper- Kähler structure if and only if it admits a compatible transverse hyper-Hermitian structure. This latter result is the "foliated version" of a theorem proved by Verbitsky. In the last part of the paper we adapt our results to the Sasakian case, showing in addition that a compact Sasakian manifold has trivial transverse holonomy if and only if it is a compact quotient of the Heisenberg Lie group. △ Less

Submitted 21 June, 2013; originally announced June 2013.

Comments: 19 pages. The paper includes, among some other original results, all the results contained in the e-print "On Sasakian manifolds with special transverse holonomy" arXiv:1204.2839

The twisted Spin$^c$ Dirac operator on Kähler submanifolds of the complex projective space

Authors: Georges Habib, Roger Nakad

Abstract: In this paper, we estimate the eigenvalues of the twisted Dirac operator on Kähler submanifolds of the complex projective space $CP^m$ and we discuss the sharpness of this estimate for the embedding $CP^d \hookrightarrow CP^m$. In this paper, we estimate the eigenvalues of the twisted Dirac operator on Kähler submanifolds of the complex projective space $CP^m$ and we discuss the sharpness of this estimate for the embedding $CP^d \hookrightarrow CP^m$. △ Less

Submitted 11 July, 2012; originally announced July 2012.

MSC Class: 53C15; 53C27; 53C40

The Energy-Momentum tensor on low dimensional $\Spinc$ manifolds

Authors: Georges Habib, Roger Nakad

Abstract: On a compact surface endowed with any $\Spinc$ structure, we give a formula involving the Energy-Momentum tensor in terms of geometric quantities. A new proof of a Bär-type inequality for the eigenvalues of the Dirac operator is given. The round sphere $\mathbb{S}^2$ with its canonical $\Spinc$ structure satisfies the limiting case. Finally, we give a spinorial characterization of immersed surface… ▽ More On a compact surface endowed with any $\Spinc$ structure, we give a formula involving the Energy-Momentum tensor in terms of geometric quantities. A new proof of a Bär-type inequality for the eigenvalues of the Dirac operator is given. The round sphere $\mathbb{S}^2$ with its canonical $\Spinc$ structure satisfies the limiting case. Finally, we give a spinorial characterization of immersed surfaces in $\mathbb{S}^2\times \mathbb{R}$ by solutions of the generalized Killing spinor equation associated with the induced $\Spinc$ structure on $\mathbb{S}^2\times \mathbb{R}$ △ Less

Submitted 2 April, 2012; originally announced April 2012.

Skew Killing spinors

Authors: Georges Habib, Julien Roth

Abstract: In this paper, we study the existence of a skew Killing spinor (see the definition below) on 2 and 3-dimensional Riemannian spin manifolds. We establish the integrability conditions and prove that these spinor fields correspond to twistor spinors in the two dimensional case while, up to a conformal change of the metric, they correspond to parallel spinors in the three dimensional case. In this paper, we study the existence of a skew Killing spinor (see the definition below) on 2 and 3-dimensional Riemannian spin manifolds. We establish the integrability conditions and prove that these spinor fields correspond to twistor spinors in the two dimensional case while, up to a conformal change of the metric, they correspond to parallel spinors in the three dimensional case. △ Less

Submitted 10 October, 2011; originally announced October 2011.

Journal ref: Central European Journal of Mathematics 10, 3 (2012) 844-856

The spectrum of the twisted Dirac operator on Kahler submanifolds of the comlex projective space

Authors: Nicolas Ginoux, Georges Habib

Abstract: We establish an upper estimate for the small eigenvalues of the twisted Dirac operator on Kahler submanifolds in Kahler manifolds carrying Kahlerian Killing spinors. We then compute the spectrum of the twisted Dirac operator of the canonical embedding \CP^d \rightarrow \CP^n in order to test the sharpness of the upper bounds We establish an upper estimate for the small eigenvalues of the twisted Dirac operator on Kahler submanifolds in Kahler manifolds carrying Kahlerian Killing spinors. We then compute the spectrum of the twisted Dirac operator of the canonical embedding \CP^d \rightarrow \CP^n in order to test the sharpness of the upper bounds △ Less

Submitted 25 January, 2011; originally announced January 2011.

A spectral estimate for the Dirac operator on Riemannian flows

Authors: Nicolas Ginoux, Georges Habib

Abstract: We give a new upper bound for the smallest eigenvalues of the Dirac operator on a Riemannian flow carrying transversal Killing spinors. We derive an estimate on Sasakian and on 3-dimensional manifolds and partially classify those satisfying the limiting case. Finally, we compare our estimate with a lower bound in terms of a natural tensor depending on the eigenspinor. We give a new upper bound for the smallest eigenvalues of the Dirac operator on a Riemannian flow carrying transversal Killing spinors. We derive an estimate on Sasakian and on 3-dimensional manifolds and partially classify those satisfying the limiting case. Finally, we compare our estimate with a lower bound in terms of a natural tensor depending on the eigenspinor. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Journal ref: Central European Journal of Mathematics 8 (2010) 950-965

Modified differentials and basic cohomology for Riemannian foliations

Authors: Georges Habib, Ken Richardson

Abstract: We define a new version of the exterior derivative on the basic forms of a Riemannian foliation to obtain a new form of basic cohomology that satisfies Poincaré duality in the transversally orientable case. We use this twisted basic cohomology to show relationships between curvature, tautness, and vanishing of the basic Euler characteristic and basic signature. We define a new version of the exterior derivative on the basic forms of a Riemannian foliation to obtain a new form of basic cohomology that satisfies Poincaré duality in the transversally orientable case. We use this twisted basic cohomology to show relationships between curvature, tautness, and vanishing of the basic Euler characteristic and basic signature. △ Less

Submitted 17 May, 2011; v1 submitted 17 July, 2010; originally announced July 2010.

Comments: 20 pages, references added, minor corrections made

MSC Class: 53C12 (Primary) 53C21; 58J50; 58J60 (Secondary)

Journal ref: J. Geom. Anal. 23(2013), no. 3, 1314-1342