10,742,125 research outputs found

    On Parameterizations of plane rational curves and their syzygies

    Full text link
    Let CC be a plane rational curve of degree dd and p:C~β†’Cp:\tilde C \rightarrow C its normalization. We are interested in the splitting type (a,b)(a,b) of CC, where OP1(βˆ’aβˆ’d)βŠ•OP1(βˆ’bβˆ’d)\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d) gives the syzigies of the ideal (f0,f1,f2)βŠ‚K[s,t](f_0,f_1,f_2)\subset K[s,t], and (f0,f1,f2)(f_0,f_1,f_2) is a parameterization of CC. We want to describe in which cases (a,b)=(k,dβˆ’k)(a,b)=(k,d-k) (2k≀d)2k\leq d), via a geometric description; namely we show that (a,b)=(k,dβˆ’k)(a,b)=(k,d-k) if and only if CC is the projection of a rational curve on a rational normal surface in Pk+1\mathbb{P}^{k+1}.Comment: 12 Page

    Exploiting c\mathbf{c}-Closure in Kernelization Algorithms for Graph Problems

    Full text link
    A graph is c-closed if every pair of vertices with at least c common neighbors is adjacent. The c-closure of a graph G is the smallest number such that G is c-closed. Fox et al. [ICALP '18] defined c-closure and investigated it in the context of clique enumeration. We show that c-closure can be applied in kernelization algorithms for several classic graph problems. We show that Dominating Set admits a kernel of size k^O(c), that Induced Matching admits a kernel with O(c^7*k^8) vertices, and that Irredundant Set admits a kernel with O(c^(5/2)*k^3) vertices. Our kernelization exploits the fact that c-closed graphs have polynomially-bounded Ramsey numbers, as we show

    The support theorem for the complex Radon transform of distributions

    Full text link
    The complex Radon transform F^\hat F of a rapidly decreasing distribution F∈OCβ€²(Cn)F\in\mathscr{O}_C^{\prime}(\mathbb{C}^n) is considered. A compact set KβŠ‚CnK\subset\mathbb{C}^n is called linearly convex if the set Cnβˆ–K \mathbb{C}^n \setminus K is a union of complex hyperplanes. Let K^\hat K denote the set of complex hyperplanes which meet KK. The main result of the paper establishes the conditions on a linearly convex compact KK under which the support theorem for the complex Radon transform is true: from the relation supp(F^)βŠ‚K^\hbox{supp}(\hat F)\subset\hat K it follows that F∈OCβ€²(Cn)F\in\mathscr{O}^{\prime}_C(\mathbb{C}^n) is compactly supported and supp(F)βŠ‚K\hbox{supp}(F)\subset K.Comment: 8 page
    • …
    corecore