搜索结果：complete

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$.

We investigate the effects of aging in the noisy voter model considering that the probability to change states decays algebraically with age $τ$, defined as the time elapsed since adopting the current state. We study the complete aging scenario, which incorporates aging to both mechanisms of interaction: herding and idiosyncratic behavior, and compare it with the partial aging case, where aging affects only the herding mechanism. Analytical mean-field equations are derived, finding excellent agreement with agent-based simulations on a complete graph. We observe that complete aging enhances consensus formation, shifting the critical point to higher values compared to the partial aging case. However, when the aging probability decays asymptotically to zero for large $τ$, a steady state is not always attained for complete aging.

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.

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.

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)$.

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.

We give the diffeomorphism classification of complete intersections with S^1-symmetry in dimension less than or equal to 6. In particular, we show that a 6-dimensional complete intersection admits a smooth non-trivial S^1-action if and only if it is diffeomorphic to the complex projective space or the quadric. We also prove that in any odd complex dimension only finitely many complete intersections can carry a smooth effective action by a torus of rank $>1$.

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.

The MT2 or "s-transverse mass" statistic was developed to associate a parent mass scale to a missing transverse energy signature, given that escaping particles are generally expected in pairs, while collider experiments are sensitive to just a single transverse momentum vector sum. This document focuses on the generalized extension of that statistic to asymmetric one- and two-step decay chains, with arbitrary child particle masses and upstream missing transverse momentum. It provides a unified theoretical formulation, complete solution classification, taxonomy of critical points, and technical algorithmic prescription for treatment of the MT2 event scale. An implementation of the described algorithm is available for download, and is also a deployable component of the author's selection cut software package AEACuS (Algorithmic Event Arbiter and Cut Selector). Appendices address combinatoric event assembly, algorithm validation, and a complete pseudocode.

The Perseus molecular cloud complex is a ~30pc long chain of molecular clouds most well-known for the two star-forming clusters NGC1333 and IC348 and the well-studied outflow source in B5. However, when studied at mid- to far-infrared wavelengths the region is dominated by a ~10pc diameter shell of warm dust, likely generated by an HII region caused by the early B-star HD278942. Using a revised calibration technique the COMPLETE team has produced high-sensitivity temperature and column-density maps of the Perseus region from IRAS Sky Survey Atlas (ISSA) 60 and 100um data. In this paper, we combine the ISSA based dust-emission maps with other observations collected as part of the COMPLETE Survey, along with archival H-alpha and MSX observations. Molecular line observations from FCRAO and extinction maps constructed by applying the NICER method to the 2MASS catalog provide independent estimates of the ``true'' column-density of the shell. H-alpha emission in the region of the shell confirms that it is most likely an HII region located behind the cloud complex, and 8um data from MSX indicates that the shell may be interacting with the cloud. Finally, the two polarisation components pr

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 show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the complete graph on $n$ vertices can be decomposed into a perfect matching and $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is even, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\ldots+m_t=\binom n2-\frac n2$.

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.

We present an overview of data available for the Ophiuchus and Perseus molecular clouds from ``Phase I'' of the COMPLETE Survey of Star-Forming Regions. This survey provides a range of data complementary to the Spitzer Legacy Program ``From Molecular Cores to Planet Forming Disks.'' Phase I includes: Extinction maps derived from 2MASS near-infrared data using the NICER algorithm; extinction and temperature maps derived from IRAS 60 and 100um emission; HI maps of atomic gas; 12CO and 13CO maps of molecular gas; and submillimetre continuum images of emission from dust in dense cores. Not unexpectedly, the morphology of the regions appears quite different depending on the column-density tracer which is used, with IRAS tracing mainly warmer dust and CO being biased by chemical, excitation and optical depth effects. Histograms of column-density distribution are presented, showing that extinction as derived from 2MASS/NICER gives the closest match to a log-normal distribution as is predicted by numerical simulations. All the data presented in this paper, and links to more detailed publications on their implications are publically available at the COMPLETE website.

We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of the ideal. Furthermore, the monomial expression given by our method is an equisingularity invariant of the ideal. As an outcome, we provide a geometric method to compute the integral closure of a planar ideal and we apply our algorithm to some families of complete ideals.