搜索结果：complete

We generalize two classical formulas for complete intersection curves by introducing the the complete intersection discrepancy of a curve as a correction term. The first is a well-known multiplicity formula in singularity theory, due to Lê, Greuel and Teissier, which relates some of the basic invariants of a curve singularity. We apply this generalization elsewhere to the study of equisingularity of curves. The second is the genus--degree formula for projective curves. The main technical tool used to obtain these generalizations is an adjunction-type identity derived from Grothendieck duality theory.

We study $\mathrm{W}^*$-categories, and explain the ways in which complete $\mathrm{W}^*$-categories behave like categorified Hilbert spaces. Every $\mathrm{W}^*$-category $C$ admits a canonical categorified inner product $\langle\,\,,\,\rangle_{\mathrm{Hilb}}\,:\,\overline C\times C\,\to\, \mathrm{Hilb}$. Moreover, if $C$ and $D$ are complete $\mathrm{W}^*$-categories there is an antilinear equivalence $$\dagger:\mathrm{Func}(C,D) \leftrightarrow \mathrm{Func}(D,C)$$ characterised by $\langle c,F^\dagger(d)\rangle_{\mathrm{Hilb}} \simeq \langle F(c),d\rangle_{\mathrm{Hilb}}$, for $c\in C$ and $d \in D$.

The evolution of video generation from text, from animating MNIST to simulating the world with Sora, has progressed at a breakneck speed. Here, we systematically discuss how far text-to-video generation technology supports essential requirements in world modeling. We curate 250+ studies on text-based video synthesis and world modeling. We then observe that recent models increasingly support spatial, action, and strategic intelligences in world modeling through adherence to completeness, consistency, invention, as well as human interaction and control. We conclude that text-to-video generation is adept at world modeling, although homework in several aspects, such as the diversity-consistency trade-offs, remains to be addressed.

Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-called symbolic unfolding generalizes this notion. A complete finite prefix of a P/T Petri net's unfolding contains all information to verify, e.g., reachability of markings. We unite these two concepts and define complete finite prefixes of the symbolic unfolding of high-level Petri nets. For a class of safe high-level Petri nets, we generalize the well-known algorithm by Esparza et al. for constructing small such prefixes. We evaluate this extended algorithm through a prototype implementation on four novel benchmark families. Additionally, we identify a more general class of nets with infinitely many reachable markings, for which an approach with an adapted cut-off criterion extends the complete prefix methodology, in the sense that the original algorithm cannot be applied to the P/T net represented by a high-level net.

Let $G$ be a group. The subsets $A_1,\ldots,A_k$ of $G$ form a complete factorization of group $G$ if if they are pairwise disjoint and each element $g\in G$ is uniquely represented as $g=a_1\ldots a_k$, with $a_i\in A_i$. We prove the following theorem: Let $G$ be a finite nilpotent group. If $|G|=m_1\ldots m_k$ where $m_1,\ldots,m_k$ are integers greater $1$ and $k\geq3$, then there exist subsets $A_1,\ldots,A_k$ of $G$ which form a complete factorization of group $G$ and $|A_i|=m_i$ for all $i=1,2,\ldots,k$. In addition, we give several examples of building complete factorization for some groups and formulate one open question.

We confirm a conjecture by Lekili and Polishchuk that the geometric invariants which they construct for homologically smooth graded (not necessarily proper) gentle algebras form a complete derived invariant. Hence, we obtain a complete invariant of triangle equivalences for partially wrapped Fukaya categories of graded surfaces with stops. A key ingredient of the proof is the full description of homologically smooth graded gentle algebras whose perfect derived categories admit silting objects. We also apply this to classify which graded gentle algebras admit pre-silting objects that are not partial silting. In particular, this allows us to construct a family of counterexamples to the question whether any pre-silting object in the derived category of a finite-dimensional algebra is partial silting.

A vector subspace $\cls$ of $\IM_n(\IC)$ is called unital operator system if $x \in \cls$ if and only if $x^* \in \cls$ and the identity operator $I_n \in \cls$, where $n$ is any fixed positive integer. Let $C^*(\cls)$ be the $C^*$ sub-algebra of $\IM_n(\IC)$ generated by the operator system $\cls$. We prove that a unital complete order isomorphism $\cli:\cls \raro \cls'$ between two such operator systems $\cls$ and $\cls'$ of $\IM_n(\IC)$ has a unique extension to a $C^*$-isomorphism $\cli:C^*(\cls) \raro C^*(\cls')$ if and only if $\cls$ and $\cls'$ are having equal set of complete ranks. The operator system $\cls = \mbox{span}\{v_iv_j^*:1 \le i,j \le d \}$ is uniquely determined for a unital completely positive map $τ(x)=\sum_{1 \le k \le d} v_kxv_k^*$ of index $d \ge 1$. As an application of our main result, we explore this correspondence and characterize up to co-cycle conjugacy all extreme points in the convex set of unital completely positive maps on $\IM_n(\IC)$. Using the main result, we also characterize up to co-cycle conjugacy all extreme elements in the convex set of normalized trace preserving unital completely positive maps on $\IM_n(\IC)$.

We solve the spectral synthesis problem for exponential systems on an interval. Namely, we prove that any complete and minimal system of exponentials $\{e^{iλ_n t}\}$ in $L^2(-a,a)$ is hereditarily complete up to a one-dimensional defect. This means that there is at most one (up to a constant factor) function $f$ which is orthogonal to all the summands in its formal Fourier series $\sum_n (f,\tilde e_n) e^{iλ_n t}$, where $\{\tilde e_n\}$ is the system biorthogonal to $\{e^{iλ_n t}\}$. However, this one-dimensional defect is possible and, thus, there exist nonhereditarily complete exponential systems. Analogous results are obtained for systems of reproducing kernels in de Branges spaces. For a wide class of de Branges spaces we construct nonhereditarily complete systems of reproducing kernels, thus answering a question posed by N. Nikolski.

In recent papers by Grohe and Marx, the treewidth of the line graph of the complete graph is a critical example. We determine the exact treewidth of the line graph of the complete graph. By extending these techniques, we determine the exact treewidth of the line graph of a regular complete multipartite graph. For an arbitrary complete multipartite graph, we determine the treewidth of the line graph up to a lower order term.

Knowledge bases such as Wikidata, DBpedia, or YAGO contain millions of entities and facts. In some knowledge bases, the correctness of these facts has been evaluated. However, much less is known about their completeness, i.e., the proportion of real facts that the knowledge bases cover. In this work, we investigate different signals to identify the areas where a knowledge base is complete. We show that we can combine these signals in a rule mining approach, which allows us to predict where facts may be missing. We also show that completeness predictions can help other applications such as fact prediction.

We prove Sobolev embedding Theorems with weights for vector bundles in a complete riemannian manifold. We also get general Gaffney's inequality with weights. As a consequence, under a "weak bounded geometry" hypothesis, we improve classical Sobolev embedding Theorems for vector bundles in a complete riemannian manifold. We also improve known results on Gaffney's inequality in a complete riemannian manifold.

Mobile sensor networks are important for several strategic applications devoted to monitoring critical areas. In such hostile scenarios, sensors cannot be deployed manually and are either sent from a safe location or dropped from an aircraft. Mobile devices permit a dynamic deployment reconfiguration that improves the coverage in terms of completeness and uniformity. In this paper we propose a distributed algorithm for the autonomous deployment of mobile sensors called Push&Pull. According to our proposal, movement decisions are made by each sensor on the basis of locally available information and do not require any prior knowledge of the operating conditions or any manual tuning of key parameters. We formally prove that, when a sufficient number of sensors are available, our approach guarantees a complete and uniform coverage. Furthermore, we demonstrate that the algorithm execution always terminates preventing movement oscillations. Numerous simulations show that our algorithm reaches a complete coverage within reasonable time with moderate energy consumption, even when the target area has irregular shapes. Performance comparisons between Push&Pull and one of the most ack

In this work we use our previous results on the topological classification of generic singular foliation germs on $(\mathbb C^{2},0)$ to construct complete families: after fixing the semi-local topological invariants we prove the existence of a minimal family of foliation germs that contain all the topological classes and such that any equisingular global family with parameter space an arbitrary complex manifold factorizes through it.

We study entire solutions of the biharmonic heat equation on complete Riemannian manifolds without boundary. We provide exponential decay estimates for the biharmonic heat kernel under assumptions on the lower bound of Ricci curvature and noncollapsing of unit balls. And we prove a uniqueness criteria for the Cauchy problem. As corollaries we prove the conservation law for the biharmonic heat kernel and a uniform L-infinite estimate for entire solutions starting with bounded initial data.

For $m,n\in\mathbb{N}$, let $f_{m,n}(x)=\bigr[ψ^{(m)}(x)\bigl]^2+ψ^{(n)}(x)$ on $(0,\infty)$. In the present paper, we prove using two methods that, among all $f_{m,n}(x)$ for $m,n\in\mathbb{N}$, only $f_{1,2}(x)$ is nontrivially completely monotonic on $(0,\infty)$. Accurately, the functions $f_{1,2}(x)$ and $f_{m,2n-1}(x)$ are completely monotonic on $(0,\infty)$, but the functions $f_{m,2n}(x)$ for $(m,n) e(1,1)$ are not monotonic and does not keep the same sign on $(0,\infty)$.

We consider artinian algebras $A=\mathbb{C}[x_0,\ldots,x_m]/I$, with $I$ generated by a regular sequence of homogeneous forms of the same degree $d\geq 2$. We show that the multiplication by a general linear form from $A_{d-1}$ to $A_d$ is injective. We prove that the Weak Lefschetz Property holds for artinian complete intersection algebras as above, with $d=2$ and $m\leq 4$. Apparently, this was previously known only for $m\leq 3$. Although we are proposing only very limited progress towards the WLP conjecture for complete intersections, we hope that the methods of the present article can illustrate some geometrical aspects of the general problem.

We construct new explicit metrics on complete non-compact Riemannian 8-manifolds with holonomy Spin(7). One manifold, which we denote by A_8, is topologically R^8 and another, which we denote by B_8, is the bundle of chiral spinors over $S^4$. Unlike the previously-known complete non-compact metric of Spin(7) holonomy, which was also defined on the bundle of chiral spinors over S^4, our new metrics are asymptotically locally conical (ALC): near infinity they approach a circle bundle with fibres of constant length over a cone whose base is the squashed Einstein metric on CP^3. We construct the covariantly-constant spinor and calibrating 4-form. We also obtain an L^2-normalisable harmonic 4-form for the A_8 manifold, and two such 4-forms (of opposite dualities) for the B_8 manifold. We use the metrics to construct new supersymmetric brane solutions in M-theory and string theory. In particular, we construct resolved fractional M2-branes involving the use of the L^2 harmonic 4-forms, and show that for each manifold there is a supersymmetric example. An intriguing feature of the new A_8 and B_8 Spin(7) metrics is that they are actually the same local solution, with the two different com

We provide an explicit construction for a complete set of orthogonal primitive idempotents of finite group algebras over nilpotent groups. Furthermore, we give a complete set of matrix units in each simple epimorphic image of a finite group algebra of a nilpotent group.

We show the existence and orthogonality of wave operators naturally associated to a compatible Laplacian on a complete manifold with a corner of codimension 2. In fact, we prove asymptotic completeness i.e. that the image of these wave operators is equal to the space of absolutely continuous states of the compatible Laplacian. We achieve this last result using time dependent methods coming from many-body Schrödinger equations.