English
Related papers

Related papers: Parameterized stratification and piece number of D…

200 papers

A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same…

Symbolic Computation · Computer Science 2025-03-18 Cordian. Riener , Robin Schabert , Thi Xuan Vu

Given a linear ordering of the vertices of a graph, the cutwidth of a vertex $v$ with respect to this ordering is the number of edges from any vertex before $v$ (including $v$) to any vertex after $v$ in this ordering. The cutwidth of an…

Optimization and Control · Mathematics 2024-12-05 Elisabeth Gaar , Diane Puges , Angelika Wiegele

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth…

Number Theory · Mathematics 2012-07-25 Adrian Vasiu

A metrized complex of algebraic curves is a finite metric graph together with a collection of marked complete nonsingular algebraic curves, one for each vertex, the marked points being in bijection with incident edges. We establish a…

Algebraic Geometry · Mathematics 2015-03-20 Omid Amini , Matthew Baker

DQ-algebroids locally defined on a symplectic manifold form a 2-gerbe. By adapting the method of P. Deligne to the setting of DQ-algebroids we show that this 2-gerbe admits a canonical global section, namely that every symplectic manifold…

Symplectic Geometry · Mathematics 2023-04-10 Paul Bressler , Juan Diego Rojas

Given any arbitrary semi-algebraic set $X$, any two points in $X$ may be joined by a piecewise $C^2$ path $\gamma$ of shortest length. Suppose $\mathcal{A}$ is a semi-algebraic stratification of $X$ such that each component of $\gamma \cap…

Algebraic Geometry · Mathematics 2021-02-19 Chengcheng Yang

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

Algebraic Geometry · Mathematics 2017-04-03 Bjorn Poonen

Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…

Symbolic Computation · Computer Science 2024-06-13 Cordian Riener , Robin Schabert , Thi Xuan Vu

Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study the problem of decomposing a given graph $G$ into node-disjoint subgraphs, where each subgraph has sufficiently large…

Data Structures and Algorithms · Computer Science 2013-04-08 Chandra Chekuri , Julia Chuzhoy

Several variants of the recently proposed Density Matrix Embedding Theory (DMET) [G. Knizia and G. K-L. Chan, Phys. Rev. Lett. 109, 186404 (2012)] are formulated and tested. We show that spin symmetry breaking of the lattice mean-field…

Strongly Correlated Electrons · Physics 2015-06-17 Ireneusz W. Bulik , Gustavo E. Scuseria , Jorge Dukelsky

It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural…

Combinatorics · Mathematics 2024-03-13 Jørgen Bang-Jensen , Yun Wang , Anders Yeo

We study the complex-analytic geometry of semi-positive holomorphic line bundles on compact K\"ahler manifolds. In one of our main results, for a $\mathbb{Q}$-effective line bundle satisfying a natural torsion-type assumption, we show the…

Complex Variables · Mathematics 2026-01-23 Takayuki Koike

Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is…

Algebraic Geometry · Mathematics 2022-04-05 Saugata Basu , Daniel Perrucci

The geometric quantization of a symplectic manifold endowed with a prequantum bundle and a metaplectic structure is defined by means of an integrable complex structure. We prove that its semi-classical limit does not depend on the choice of…

Symplectic Geometry · Mathematics 2009-11-11 L. Charles

A graph is geometric 1-planar if it admits a straight-line drawing where each edge is crossed at most once. We provide the first systematic study of the parameterized complexity of recognizing geometric 1-planar graphs. By substantially…

Computational Complexity · Computer Science 2026-02-11 Alexander Firbas

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann

This paper is devoted to constructing "new" admissible subcategories and semi-orthogonal decompositions of triangulated categories out of "old" ones. For two triangulated subcategories $T$ and $T'$ of a certain $D$ and a decomposition…

Algebraic Geometry · Mathematics 2023-11-28 Mikhail V. Bondarko

We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local…

Algebraic Geometry · Mathematics 2015-11-03 Daniel Erman , Melanie Matchett Wood

We present two results related to an edge-isoperimetric question for Cayley graphs on the integer lattice asked by Ben Barber and Joshua Erde [Isoperimetry of Integer Lattices, Discrete Analysis 7 (2018)]. For any (undirected) graph $G$,…

Combinatorics · Mathematics 2026-05-01 Cameron Strachan , Konrad Swanepoel

For $0<\alpha\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_\alpha$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^\alpha$. We investigate property $D_\alpha$ for arithmetic…

Group Theory · Mathematics 2021-01-14 Laurent Hayez , Tom Kaiser , Alain Valette