Searcharxiv⌕ Search

arXiv subjects

Zhengyi Zhou

Publications and source records attributed to Zhengyi Zhou.

At least 37 records · Page 2Linked to original sources

Kähler compactification of $\mathbb{C}^n$ and Reeb dynamics

Let $X$ be a smooth complex manifold. Assume that $Y\subset X$ is a Kähler submanifold such that $X\setminus Y$ is biholomorphic to $\mathbb{C}^n$. We prove that $(X, Y)$ is biholomorphic to the standard example $(\mathbb{P}^n, \mathbb{P}^{n-1})$. We then study certain Kähler orbifold compactifications of $\mathbb{C}^n$ and, as an application, prove that on $\mathbb{C}^3$ the flat metric is the only asymptotically conical Ricci-flat Kähler metric whose metric cone at infinity has a smooth link. As a key technical ingredient, we derive a new characterization of minimal discrepancy of isolated Fano cone singularities by using $S^1$-equivariant positive symplectic homology.

math.DG↗

Unknottedness of symplectic submanifold fillings

We show that any symplectic filling of the standard contact submanifold $(\mathbb{S}^{2n-1},ξ_{\mathrm{std}})$ of $(\mathbb{S}^{2n+1},ξ_{\mathrm{std}})$ in $(\mathbb{D}^{n+1},ω_{\mathrm{std}})$ is smoothly unknotted if $n\ge 2$. We also give a self-contained proof of the Siefring intersection formula between punctured holomorphic curves and holomorphic hypersurfaces used in the proof using the $L$-simple setup of Bao-Honda.

math.SG↗

Shapley-Guided Utility Learning for Effective Graph Inference Data Valuation

Graph Neural Networks (GNNs) have demonstrated remarkable performance in various graph-based machine learning tasks, yet evaluating the importance of neighbors of testing nodes remains largely unexplored due to the challenge of assessing data importance without test labels. To address this gap, we propose Shapley-Guided Utility Learning (SGUL), a novel framework for graph inference data valuation. SGUL innovatively combines transferable data-specific and modelspecific features to approximate test accuracy without relying on ground truth labels. By incorporating Shapley values as a preprocessing step and using feature Shapley values as input, our method enables direct optimization of Shapley value prediction while reducing computational demands. SGUL overcomes key limitations of existing methods, including poor generalization to unseen test-time structures and indirect optimization. Experiments on diverse graph datasets demonstrate that SGUL consistently outperforms existing baselines in both inductive and transductive settings. SGUL offers an effective, efficient, and interpretable approach for quantifying the value of test-time neighbors.

cs.LG↗

Minimal log discrepancy and orbifold curves

We show that the minimal log discrepancy of any isolated Fano cone singularity is at most the dimension of the variety. This is based on its relation with dimensions of moduli spaces of orbifold rational curves. We also propose a conjectural characterization of weighted projective spaces as Fano orbifolds in terms of orbifold rational curves, which would imply the equality holds only for smooth points.

math.AG↗

A landscape of contact manifolds via rational SFT

We define a hierarchy functor from the exact symplectic cobordism category to a totally ordered set from a $BL_\infty$ (Bi-Lie) formalism of the rational symplectic field theory (RSFT). The hierarchy functor consists of three levels of structures, namely algebraic planar torsion, order of semi-dilation and planarity, all taking values in $\mathbb{N}\cup \{\infty\}$, where algebraic planar torsion can be understood as the analogue of Latschev-Wendl's algebraic torsion in the context of RSFT. The hierarchy functor is well-defined through a partial construction of RSFT and is within the scope of established virtual techniques. We develop computation tools for those functors and prove all three of them are surjective. In particular, the planarity functor is surjective in all dimension $\ge 3$. Then we use the hierarchy functor to study the existence of exact cobordisms. We discuss examples including iterated planar open books, spinal open books, affine varieties with uniruled compactification and links of singularities.

math.SG↗

Algebraically overtwisted tight $3$-manifolds from $+1$ surgeries

We execute Avdek's algorithm to find many algebraically overtwisted and tight $3$-manifolds by contact $+1$ surgeries. In particular, we show that a contact $1/k$ surgery on the standard contact $3$-sphere along any positive torus knot with the maximum Thurston-Bennequin invariant yields an algebraically overtwisted and tight $3$-manifold, where $k$ is a positive integer.

math.SG↗

SkinMamba: A Precision Skin Lesion Segmentation Architecture with Cross-Scale Global State Modeling and Frequency Boundary Guidance

Skin lesion segmentation is a crucial method for identifying early skin cancer. In recent years, both convolutional neural network (CNN) and Transformer-based methods have been widely applied. Moreover, combining CNN and Transformer effectively integrates global and local relationships, but remains limited by the quadratic complexity of Transformer. To address this, we propose a hybrid architecture based on Mamba and CNN, called SkinMamba. It maintains linear complexity while offering powerful long-range dependency modeling and local feature extraction capabilities. Specifically, we introduce the Scale Residual State Space Block (SRSSB), which captures global contextual relationships and cross-scale information exchange at a macro level, enabling expert communication in a global state. This effectively addresses challenges in skin lesion segmentation related to varying lesion sizes and inconspicuous target areas. Additionally, to mitigate boundary blurring and information loss during model downsampling, we introduce the Frequency Boundary Guided Module (FBGM), providing sufficient boundary priors to guide precise boundary segmentation, while also using the retained information to assist the decoder in the decoding process. Finally, we conducted comparative and ablation experiments on two public lesion segmentation datasets (ISIC2017 and ISIC2018), and the results demonstrate the strong competitiveness of SkinMamba in skin lesion segmentation tasks. The code is available at https://github.com/zs1314/SkinMamba.

eess.IV↗

Bounding smooth Levi-flat hypersurfaces in a Stein manifold

This paper is concerned with the problem of constructing a smooth Levi-flat hypersurface locally or globally attached to a real codimension two submanifold in $\mathbb C^{n+1}$, or more generally in a Stein manifold, with elliptic CR singularities, a research direction originated from a fundamental and classical paper of E. Bishop. Earlier works along these lines include those by many prominent mathematicians working both on complex analysis and geometry. We prove that a compact smooth (or, real analytic) real codimension two submanifold $M$, that is contained in the boundary of a smoothly bounded strongly pseudoconvex domain, with a natural and necessary condition called CR non-minimal condition at CR points and with two elliptic CR singular points bounds a smooth-up-to-boundary (real analytic-up-to-boundary, respectively) Levi-flat hypersurface $\widehat{M}$. This answers a well-known question left open from the work of Dolbeault-Tomassini-Zaitsev, or a generalized version of a problem already asked by Bishop in 1965. Our study here reveals an intricate interaction of several complex analysis with other fields such as symplectic geometry and foliation theory.

math.CV↗

CAT: Interpretable Concept-based Taylor Additive Models

As an emerging interpretable technique, Generalized Additive Models (GAMs) adopt neural networks to individually learn non-linear functions for each feature, which are then combined through a linear model for final predictions. Although GAMs can explain deep neural networks (DNNs) at the feature level, they require large numbers of model parameters and are prone to overfitting, making them hard to train and scale. Additionally, in real-world datasets with many features, the interpretability of feature-based explanations diminishes for humans. To tackle these issues, recent research has shifted towards concept-based interpretable methods. These approaches try to integrate concept learning as an intermediate step before making predictions, explaining the predictions in terms of human-understandable concepts. However, these methods require domain experts to extensively label concepts with relevant names and their ground-truth values. In response, we propose CAT, a novel interpretable Concept-bAsed Taylor additive model to simply this process. CAT does not have to require domain experts to annotate concepts and their ground-truth values. Instead, it only requires users to simply categorize input features into broad groups, which can be easily accomplished through a quick metadata review. Specifically, CAT first embeds each group of input features into one-dimensional high-level concept representation, and then feeds the concept representations into a new white-box Taylor Neural Network (TaylorNet). The TaylorNet aims to learn the non-linear relationship between the inputs and outputs using polynomials. Evaluation results across multiple benchmarks demonstrate that CAT can outperform or compete with the baselines while reducing the need of extensive model parameters. Importantly, it can explain model predictions through high-level concepts that human can understand.

cs.LG↗

On the intersection form of fillings

We prove, by an ad hoc method, that exact fillings with vanishing rational first Chern class of flexibly fillable contact manifolds have unique integral intersection forms. We appeal to the special Reeb dynamics (stronger than ADC à la Lazarev) on the contact boundary, while a more systematic approach working for general ADC manifolds is developed independently by Eliashberg, Ganatra and Lazarev. We also discuss cases where the vanishing rational first Chern class assumption can be removed. We derive the uniqueness of diffeomorphism types of exact fillings of certain flexibly fillable contact manifolds and obstructions to contact embeddings, which are not necessarily exact.

math.SG↗

Bourgeois' contact manifolds are tight

We prove that Bourgeois' contact structures on $M \times \mathbb{T}^{2}$ determined by the supporting open books of a contact manifold $(M, ξ)$ are always tight. The proof is based on a contact homology computation leveraging holomorphic foliations and Kuranishi structures.

math.SG↗

On fillings of contact links of quotient singularities

We study several aspects of fillings for links of general quotient singularities using Floer theory, including co-fillings, Weinstein fillings, strong fillings, exact fillings and exact orbifold fillings, focusing on non-existence of exact fillings of contact links of isolated terminal quotient singularities. We provide an extensive list of isolated terminal quotient singularities whose contact links are not exactly fillable, including $\mathbb{C}^n/(\mathbb{Z}/2)$ for $n\ge 3$, which settles a conjecture of Eliashberg, quotient singularities from general cyclic group actions and finite subgroups of $SU(2)$, and all terminal quotient singularities in complex dimension $3$. We also obtain uniqueness of the orbifold diffeomorphism type of exact orbifold fillings of contact links of some isolated terminal quotient singularities.

math.SG↗

General-Purpose Multi-Modal OOD Detection Framework

Out-of-distribution (OOD) detection identifies test samples that differ from the training data, which is critical to ensuring the safety and reliability of machine learning (ML) systems. While a plethora of methods have been developed to detect uni-modal OOD samples, only a few have focused on multi-modal OOD detection. Current contrastive learning-based methods primarily study multi-modal OOD detection in a scenario where both a given image and its corresponding textual description come from a new domain. However, real-world deployments of ML systems may face more anomaly scenarios caused by multiple factors like sensor faults, bad weather, and environmental changes. Hence, the goal of this work is to simultaneously detect from multiple different OOD scenarios in a fine-grained manner. To reach this goal, we propose a general-purpose weakly-supervised OOD detection framework, called WOOD, that combines a binary classifier and a contrastive learning component to reap the benefits of both. In order to better distinguish the latent representations of in-distribution (ID) and OOD samples, we adopt the Hinge loss to constrain their similarity. Furthermore, we develop a new scoring metric to integrate the prediction results from both the binary classifier and contrastive learning for identifying OOD samples. We evaluate the proposed WOOD model on multiple real-world datasets, and the experimental results demonstrate that the WOOD model outperforms the state-of-the-art methods for multi-modal OOD detection. Importantly, our approach is able to achieve high accuracy in OOD detection in three different OOD scenarios simultaneously. The source code will be made publicly available upon publication.

cs.CV↗

A note on contact manifolds with infinite fillings

We use spinal open books to construct contact manifolds with infinitely many different Weinstein fillings in any odd dimension $> 1$, which were previously unknown for dimensions equal to $4n+1$. The argument does not involve understanding factorizations in the symplectic mapping class group.

math.SG↗

Towards Algorithmic Fairness in Space-Time: Filling in Black Holes

New technologies and the availability of geospatial data have drawn attention to spatio-temporal biases present in society. For example: the COVID-19 pandemic highlighted disparities in the availability of broadband service and its role in the digital divide; the environmental justice movement in the United States has raised awareness to health implications for minority populations stemming from historical redlining practices; and studies have found varying quality and coverage in the collection and sharing of open-source geospatial data. Despite the extensive literature on machine learning (ML) fairness, few algorithmic strategies have been proposed to mitigate such biases. In this paper we highlight the unique challenges for quantifying and addressing spatio-temporal biases, through the lens of use cases presented in the scientific literature and media. We envision a roadmap of ML strategies that need to be developed or adapted to quantify and overcome these challenges -- including transfer learning, active learning, and reinforcement learning techniques. Further, we discuss the potential role of ML in providing guidance to policy makers on issues related to spatial fairness.

stat.AP↗

Morse-Bott cohomology from homological perturbation theory

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between different constructions of Morse-Bott theories. In particular, we explain how homological perturbation theory is used in Morse-Bott theories, and both our construction and the cascades construction can be interpreted as applications of homological perturbations. In the presence of group actions, we construct cochain complexes for the equivariant theory. Expected properties like the independence of approximations of classifying spaces and the existence of the action spectral sequence are proven. We carry out our construction for Morse-Bott functions on closed manifolds and prove it recovers the regular cohomology. We outline the project of combining our construction with the polyfold theory.

math.SG↗

On the minimal symplectic area of Lagrangians

We show that the minimal symplectic area of Lagrangian submanifolds are universally bounded in symplectically aspherical domains with vanishing symplectic cohomology. If an exact domain admits a $k$-semi-dilation, then the minimal symplectic area is universally bounded for $K(π,1)$-Lagrangians. As a corollary, we show that Arnol'd chord conjecture holds for the following four cases: (1) $Y$ admits an exact filling with $SH^*(W)=0$ (for some ring coefficient); (2) $Y$ admits a symplectically aspherical filling with $SH^*(W)=0$ and simply connected Legendrians; (3) $Y$ admits an exact filling with a $k$-semi-dilation and the Legendrian is a $K(π,1)$ space; (4) $Y$ is the cosphere bundle $S^*Q$ with $π_2(Q)\to H_2(Q)$ nontrivial and the Legendrian has trivial $π_2$. In addition, we obtain the existence of homoclinic orbits in case (1). We also provide many more examples with $k$-semi-dilations in all dimensions $\ge 4$.

math.SG↗

Infinite not contact isotopic embeddings in $(S^{2n-1},ξ_{\mathrm{std}})$ for $n\ge 4$

For $n\ge 4$, we show that there are infinitely many formally contact isotopic embeddings of $(ST^*S^{n-1},ξ_{\mathrm{std}})$ to $(S^{2n-1},ξ_{\mathrm{std}})$ that are not contact isotopic. This resolves a conjecture of Casals and Etnyre except for the $n=3$ case. The argument does not appeal to the surgery formula of critical handle attachment for Floer theory/SFT.

math.SG↗