惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
P
Proofpoint News Feed
宝玉的分享
宝玉的分享
人人都是产品经理
人人都是产品经理
博客园_首页
爱范儿
爱范儿
博客园 - 叶小钗
aimingoo的专栏
aimingoo的专栏
S
SegmentFault 最新的问题
MyScale Blog
MyScale Blog
阮一峰的网络日志
阮一峰的网络日志
IT之家
IT之家
Microsoft Security Blog
Microsoft Security Blog
Blog — PlanetScale
Blog — PlanetScale
博客园 - 【当耐特】
Y
Y Combinator Blog
量子位
博客园 - 三生石上(FineUI控件)
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
T
The Blog of Author Tim Ferriss
月光博客
月光博客
有赞技术团队
有赞技术团队
Apple Machine Learning Research
Apple Machine Learning Research
A
About on SuperTechFans

math.CO updates on arXiv.org

Complement Submodular Information Measures for Balanced and Robust Data Selection A Proof of a Conjecture on Positive and Negative Square Energies of Unicyclic Graphs Laplacian Spectrum of the Weakly Zero-Divisor Graph of a Finite Commutative Ring An identity for second Eulerian numbers via lattice-point counting $t$-tone edge coloring of graphs Constructing Maximal Bumpless Pipedreams for Double Grothendieck Polynomials Mubayi's Polynomial-Ideal Conjecture and Cover-Ideal Turán Methods Implicit Binarization via Complex Phase Dynamics in Combinatorial Optimization The limits of Schur multipliers in Pólya conversion problems for the $q$-permanent function Universality theorems for generalized splines Framing Triangulations for Arbitrary Integer Flow Polytopes On the Common Generalization of Gentle Algebras and Framed Directed Acyclic Graphs The complexity of frugal digraph homomorphisms Chaotic and periodic behavior of jeu de taquin on infinite Young tableaux Enumerating Pattern Avoiding Parking Functions Incidence toric ideals and three-point functions Unique Winning Opening Move in Three-Row Chomp Strong majority colorings of graphs A Balancing Theorem for Spanning Trees of Rectangular Grid Graphs Spectral radius and edge-disjoint connected factors of graphs New invariants for rank metric codes, with applications to the classification of rank two semifields of order 256 Flexible DP-4-coloring of planar graphs without 4-cycles and intersecting triangles Balanced intersection size distributions in projective planes List Reconstruction Problem with List Size Two Is Dimensionality a Barrier for Retrieval Models? The INIEP: Irreducible and Positive Realizations The number of Pfaffian orientations on punctured polygonally cellulated surfaces Explicit Construction of Polytopes whose Ehrhart Polynomials Realize any Given Sign Pattern Finite-state enumeration of adjacency-constrained 132-avoiding permutations AMDS and quantum AMDS Constacyclic codes of length $4p^ς$ over $\mathbb{F}_{{p}^{m}}$
The pinning ideal of a multiloop
Christopher-Lloyd Simon, Ben Stucky · 2024-05-25 · via math.CO updates on arXiv.org

A multiloop $γ\colon \sqcup_1^s \mathbb{S}^1 \looparrowright \mathbb{F}$ is a generic immersion of a finite union of circles into an oriented surface, considered up to homeomorphisms. A pinning set is a set of points $P\subset \mathbb{F}\setminus \operatorname{im}(γ)$, such that in the punctured surface $\mathbb{F} \setminus P$, the immersion $γ$ has the minimal number of double points in its homotopy class. The collection of pinning sets of $γ$ forms a poset under inclusion called the pinning ideal $\mathcal{PI}(γ)$ which is endowed with the cardinal function whose minimum defines the pinning number $\varpi(γ)$. We show that the decision problem associated to computing the pinning number of a multiloop is \textsf{NP}-complete, even for loops in the sphere. We give two proofs that it is \textsf{NP}: First, we implement a polynomial algorithm to check if a point-set is pinning, adapting methods of Birman--Series and Cohen--Lustig for computing intersection numbers of curves in surfaces. Second, for loops in the sphere we reduce the problem in polynomial time to a variant of boolean satisfiability by applying a theorem of Hass--Scott characterizing taut loops, and adapting algorithms of Blank and Shor--Van Wyk which decide when a curve in the plane bounds an immersed disc. To show that it is \textsf{NP}-hard we reduce the vertex cover problem for graphs to the pinning problem for plane loops. We use our algorithms to compute the pinning ideals for $\approx 1000$ of the smallest multiloops in the sphere, available in the online catalog LooPindex.