相关论文: Criterions for Shellable Multicomplexes

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

Existing approaches for classifying dynamic graphs either lift graph kernels to the temporal domain, or use graph neural networks (GNNs). However, current baselines have scalability issues, cannot handle a changing node set, or do not take…

We provide a rigorous justification of the classical linearization approach in plasticity. By taking the small-deformations limit, we prove via \Gamma-convergence for rate-independent processes that energetic solutions of the quasi-static…

Let $\Gamma$ be a word hyperbolic group with a cyclic JSJ decomposition that has only rigid vertex groups, which are all fundamental groups of closed surface groups. We show that any group $H$ quasi-isometric to $\Gamma$ is abstractly…

We show the existence of an MA-complete homology problem for a certain subclass of simplicial complexes. The problem is defined through a new concept of orientability of simplicial complexes that we call a "uniform orientable filtration",…

In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed,…

We study a class of mechanisms known as Kokotsakis polyhedra with a quadrangular base. These are $3\times3$ quadrilateral meshes whose faces are rigid bodies and joined by hinges at the common edges. In contrast to existing work, the…

We present a hierarchical maximum-margin clustering method for unsupervised data analysis. Our method extends beyond flat maximum-margin clustering, and performs clustering recursively in a top-down manner. We propose an effective greedy…

We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure,…

We study mixtures of decomposable graphical models, focusing on their ideals and dimensions. For mixtures of clique stars, we characterize the ideals in terms of ideals of mixtures of independence models. We also give a recursive formula…

Separability criteria are typically of the necessary, but not sufficient, variety, in that satisfying some separability criterion, such as positivity of eigenvalues under partial transpose, does not strictly imply separability. Certifying…

Let $S$ be a finitely generated standard multigraded algebra over an Artinian local ring $A$; $M$ a finitely generated multigraded $S$-module. This paper answers to the question when mixed multiplicities of $M$ are positive and…

The detection of entanglement in a bipartite state is a crucial issue in quantum information science. Based on realignment of density matrices and the vectorization of the reduced density matrices, we introduce a new set of separability…

A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized…

We characterize the intra-regular $\Gamma$-semigroups and the left regular $\Gamma$-semigroups $M$ in which $x\Gamma M\subseteq M\Gamma x$ for every $x\in M$ in terms of filters and we prove, among others, that every intra-regular…

Anomalous radio flux ratios in four-image gravitational lens systems can be explained by adding a clumpy cold dark matter (CDM) component to the potential of the lens galaxy. Evans & Witt (2003) recently suggested that smooth multipole…

It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and…

We identify the $\Gamma$-limit of a nanoparticle-polymer model as the number of particles goes to infinity and as the size of the particles and the phase transition thickness of the polymer phases approach zero. The limiting energy consists…

We demonstrate the existence of four types of flexible prismatic polyhedra that can be derived or inferred from a consideration of Bricard octahedra and generalizations of Bricard octahedra. These flexible polyhedra are of genus 0 and 1,…