共找到 20 条结果
We investigate the relationship between uniform polyconvexity of anisotropic geometric integrands and Almgren's uniform ellipticity. We first establish the converse implication for uniform ellipticity with respect to polyhedral test pairs, thereby strengthening earlier results. Our main theorem shows that uniform polyconvexity is equivalent to Almgren's uniform ellipticity with respect to Lipschitz $Q$-graph test pairs, building on techniques developed by De Rosa, Lei, and Young. As a consequence, we show that for a classical integrand, uniform polyconvexity is equivalent to uniform quasiconvexity of the associated $Q$-integrand for every~$Q \in atp$.
This is the second of two papers on the uniform asymptotics for real double Hurwitz numbers with triple ramification. Using the modified tropical correspondence theorem established in the first paper of this series, we introduce a combinatorial invariant that serves as a lower bound for real double Hurwitz numbers with triple ramification. We derive a uniform lower bound for the large-degree and large-genus logarithmic asymptotics of these combinatorial invariants. This uniform lower bound yields the following results: (1) We establish a uniform lower bound for the large-degree and large-genus logarithmic asymptotics of real double Hurwitz numbers with triple ramification and their complex analogues. In particular, we provide a partial answer to an open question proposed by Dubrovin, Yang and Zagier on the uniform bound for simple Hurwitz numbers. (2) We prove logarithmic equivalence between real double Hurwitz numbers with triple ramification and their complex analogues as the degree tends to infinity and only simple branch points are added. (3) As the genus tends to infinity and only simple branch points are added, we show that the logarithms of real double Hurwitz numbers with t
The main ingredient of this paper is an edge-local variable-degree projection on a triangle that is uniformly stable in both L2 and H1. We use this two-dimensional operator in two tetrahedral constructions. First, on a reference tetrahedron, we build an H1-stable projection from a high order polynomial space onto a variable-degree space whose degrees are prescribed independently on edges, faces, and in the volume. Since the tetrahedral projection is local and trace-compatible, it also gives an h- and p-uniform stable decomposition, in the weighted energy norm, for conforming hp spaces, and hence a uniform additive Schwarz preconditioner for the conforming Laplace operator. Second, on a uniformly regular mapped tetrahedral mesh with elementwise variable polynomial degrees, the same triangular projection gives the finite-layer edge truncation needed in a p-uniform stable DG-to-CG decomposition for the symmetric IPDG norm. The DG-to-CG decomposition, combined with the conforming splitting, gives the IPDG preconditioner. The constants depend only on reference shapes, the local degree-spread bound within each tetrahedron, the neighbor-degree bound across mesh faces, uniform map-regulari
In ``Rips complexes and covers in the uniform category'' the authors define, following James, covering maps of uniform spaces and introduce the concept of generalized uniform covering maps. Conditions for the existence of universal uniform covering maps and generalized uniform covering maps are given. This paper notes that the universal generalized uniform covering map is uniformly equivalent to the inverse limit of uniform covering maps and is therefore approximated by uniform covering maps. A characterization of generalized uniform covering maps that are approximated by uniform covering maps is provided as well as a characterization of generalized uniform covering maps that are uniformly equivalent to the inverse limit of uniform covering maps. Inverse limits of group actions that induce generalized uniform covering maps are also treated.
This survey provides a comprehensive overview of the recent advancements in the theory of ``uniformly $S$''-algebraic structures in commutative ring theory. Originating from the classical concepts of Noetherian, coherent, von Neumann regular, and semisimple rings, the introduction of a multiplicative subset $S$ has led to the development of $S$-Noetherian, $S$-coherent, and other $S$-analogues. However, the element $s \in S$ in the original definitions often depends on the ideal or module under consideration. To overcome this limitation and enable deeper module-theoretic characterizations, the notion of "uniformly $S$" (abbreviated as $u$-$S$) was introduced. This survey systematically presents the definitions, characterizations, and properties of $u$-$S$-torsion modules, $u$-$S$-exact sequences, and the subsequent uniform analogues of fundamental module classes: $u$-$S$-finitely presented, $u$-$S$-Noetherian, $u$-$S$-coherent, $u$-$S$-flat, $u$-$S$-projective, $u$-$S$-injective, and $u$-$S$-absolutely pure modules. We then explore the associated uniform homological dimensions, including the $u$-$S$-weak global dimension, the $u$-$S$-global dimension, and their interplay with polyn
The article explores the asymptotic behavior of the expected number of drawings in the Coupon Collector's Problem with group-drawing under the uniform distribution. In this variant, each draw consists of a package of $s$ distinct coupons selected uniformly at random from a set of $n$ coupons. We focus on three regimes of the package size $s$: (i) constant $s$, (ii) $s$ proportional to $n$, and (iii) $s$ "very close" to $n$. For each case, we provide precise asymptotic expressions for the expected collection time. Keywords: Coupon Collector's Problem, Group Drawings, Uniform Distribution, Asymptotic Analysis, Expected Collection Time
We study continuous-time quantum walks on cycles. We prove two complementary results. Firstly, the cycle $C_9$ does not admit uniform mixing at any time. Using the similar idea and Dickson polynomials, we prove that $C_{15}$ does not admit uniform mixing at any time neither. Secondly, for every prime $p$, we show that the cycle $C_{p^2}$ admits $ε$-uniform mixing.
We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference remains uniformly representable in an extension of HA. Under these conditions, any putative Uniform Class Separation principle becomes a distinguished instance of a fixed point construction. The resulting limitation is stricter in scope than classical separation barriers (Baker; Rudich; Aaronson et al.) insofar as it constrains the logical form of uniform separation within HA, rather than limiting particular relativizing, naturalizing, or algebrizing techniques.
We address a conjecture of Schilling concerning the optimality of the uniform distribution in the generalized Coupon Collector's Problem (CCP) where, in each round, a subset (package) of $s$ coupons is drawn from a total of $n$ distinct coupons. While the classical CCP (with single-coupon draws) is well understood, the group-draw variant, where packages of size $s$ are drawn, presents new challenges and has applications in areas such as biological network models. Consider the set of all distributions over the collection of $\binom{n}{s}$ packages of size $s$. Schilling showed that, for $s=n-1$, the uniform distribution yields the minimal expected time for collecting all coupons. She further conjectured that, for $2\le s\le n-2$, the uniform distribution does not yield the minimum. We prove Schilling's conjecture in full by presenting "natural" non-uniform distributions yielding strictly lower expected collection times. Explicit formulas are provided for the expected number of rounds under these and related distributions Keywords: Coupon Collector's Problem, Group Drawings, Uniform Distribution, Expected Collection Time, Schilling's Conjecture, Optimal Distribution.
With the rise of diffusion models, audio-video generation has been revolutionized. However, most existing methods rely on separate modules for each modality, with limited exploration of unified generative architectures. In addition, many are confined to a single task and small-scale datasets. To overcome these limitations, we introduce UniForm, a unified multi-task diffusion transformer that generates both audio and visual modalities in a shared latent space. By using a unified denoising network, UniForm captures the inherent correlations between sound and vision. Additionally, we propose task-specific noise schemes and task tokens, enabling the model to support multiple tasks with a single set of parameters, including video-to-audio, audio-to-video and text-to-audio-video generation. Furthermore, by leveraging large language models and a large-scale text-audio-video combined dataset, UniForm achieves greater generative diversity than prior approaches. Experiments show that UniForm achieves performance close to the state-of-the-art single-task models across three generation tasks, with generated content that is not only highly aligned with real-world data distributions but also ena
Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results include: 1) If f: A -> Y is a uniformly continuous map, where X and Y are metric spaces and A is a closed subset of X, we show that the adjunction space X\cup_f Y with the quotient uniformity (hence also with the topology thereof) is metrizable, by an explicit metric. This yields natural constructions of cone, join and mapping cylinder in the category of metrizable uniform spaces, which we show to coincide with those based on subspace (of a normed linear space); on product (with a cone); and on the isotropy of the l_2 metric. 2) We revisit Isbell's theory of uniform ANRs, as refined by Garg and Nhu in the metrizable case. The iterated loop spaces Ω^n P of a pointed compact polyhedron P are shown to be uniform ANRs. Four characterizations of uniform ANRs among metrizable uniform spaces X are given: (i) the completion of X is a uniform ANR, and the remainder is uniformly a Z-set in the completion; (ii) X is uniformly locally contractible and satisfie
The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions to a given uniform algebra has been used to solve many problems within uniform algebra theory. However, there are numerous other examples in the theory of uniform algebras that can be realised as extensions of a uniform algebra, and these more general extensions have received little attention in the literature. In this paper, we investigate more general classes of uniform algebra extensions. We introduce a new class of extensions of uniform algebras, and show that several important properties of the original uniform algebra are preserved in these extensions. We also show that several well-known examples from the theory of uniform algebras belong to these more general classes of uniform algebra extensions.
Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic propositional logic. We outline how this theorem may be proved semantically via the definability of bisimulation quantifiers, and how it generalizes to an open mapping theorem between Esakia spaces. We also discuss connections between uniform interpolation and research in categorical logic, algebra, and model theory.
We study the uniform-in-time weak propagation of chaos for the consensus-based optimization (CBO) method on a bounded searching domain. We apply the methodology for studying long-time behaviors of interacting particle systems developed in the work of Delarue and Tse (ArXiv:2104.14973). Our work shows that the weak error has order $O(N^{-1})$ uniformly in time, where $N$ denotes the number of particles. The main strategy behind the proofs are the decomposition of the weak errors using the linearized Fokker-Planck equations and the exponential decay of their Sobolev norms. Consequently, our result leads to the joint convergence of the empirical distribution of the CBO particle system to the Dirac-delta distribution at the global minimizer in population size and running time in Wasserstein-type metrics.
We investigate the algorithmic problem of uniformly dispersing a swarm of robots in an unknown, gridlike environment. In this setting, our goal is to study the relationships between performance metrics and robot capabilities. We introduce a formal model comparing dispersion algorithms based on makespan, traveled distance, energy consumption, sensing, communication, and memory. Using this framework, we classify uniform dispersion algorithms according to their capability requirements and performance. We prove that while makespan and travel can be minimized in all environments, energy cannot, if the swarm's sensing range is bounded. In contrast, we show that energy can be minimized by ``ant-like'' robots in synchronous settings and asymptotically minimized in asynchronous settings, provided the environment is topologically simply connected, by using our ``Find-Corner Depth-First Search'' (FCDFS) algorithm. Our theoretical and experimental results show that FCDFS significantly outperforms known algorithms. Our findings reveal key limitations in designing swarm robotics systems for unknown environments, emphasizing the role of topology in energy-efficient dispersion.
We prove that for every Hausdorff space X and any uniform quadra space (Y,U) the topology on C(X,Y) induced by the uniformity U| of uniform convergence on the saturation family L coincides with the set-open topology on C(X,Y). In particular, for every pseudocompact space X and any metrizable topological vector space Y with uniform U the topology on C(X,Y) induced by the uniformity U| of uniform convergence coincides with the C-compact-open topology on C(X,Y), and depends only on the topology induced on Y by the uniformity U. It is also shown that in the class closed-homogeneous complete uniform spaces Y necessary condition for coincidence of topologies is Y-compactness of elements of family L.
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. A categorical equivalence between classical homotopy categories of cubical sets and spaces lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associated uniform homotopy category of uniform spaces. Bounded cubical cohomology generalizes to a representable theory on the Lipschitz homotopy category. Bounded singular cohomology on path-connected spaces generalizes to a representable theory on the uniform homotopy category. Along the way, this paper develops a cubical analogue of Kan's Ex^infinity functor and proves a cubical approximation theorem for uniform maps.
In this paper, uniform versions of index for uniform spaces equipped with free involutions are introduced. They are mainly based on B-index defined and studied by C.-T. Yang in 1955, index studied by Conner and Floyd in 1960 and further development well collected by Matou$\check{s}$ek in his book on using the Borsuk-Ulam theorem in 2003. Examples of uniform spaces with finite B-index but infinite uniform version of index are given. It is also seen that for a uniform space $X$ with a free involution $T$, a dense $T$-invariant subspace is capable of determining the uniform version of index of $(X,T)$. In the end, the concept of coloring is carried over to uniform set up and, to a certain extent, connection between uniform versions of coloring and uniform versions of index is also established.
We study the properties of harmonic measure in semi-uniform domains. Aikawa and Hirata showed in \cite{AH08} that, for John domains satisfying the capacity density condition (CDC), the doubling property for harmonic measure is equivalent to the domain being semi-uniform. Our first result removes the John condition by showing that any domain satisfying the CDC whose harmonic measure is doubling is semi-uniform. Next, we develop a substitute for some classical estimates on harmonic measure in nontangentially accessible domains that works in semi-uniform domains. We also show that semi-uniform domains with uniformly rectifiable boundary have big pieces of chord-arc subdomains. We cannot hope for big pieces of Lipschitz subdomains (as was shown for chord-arc domains by David and Jerison \cite{DJ90}) due to an example of Hrycak, which we review in the appendix. Finally, we combine these tools to study the $A_{\infty}$-property of harmonic measure. For a domain with Ahlfors-David regular boundary, it was shown by Hofmann and Martell that the $A_{\infty}$ property of harmonic measure implies uniform rectifiability of the boundary \cite{HM15,HLMN17} . Since $A_{\infty}$-weights are doublin
The uniform norm on a uniform normed Q-algebra is the only uniform Q-algebra norm on it. The uniform norm on a regular uniform normed Q-algebra with unit is the only uniform norm on it. Let A be a uniform topological algebra whose spectrum M (A) is equicontinuous, then A is a uniform normed algebra. Let A be a regular semisimple commutative Banach algebra, then every algebra norm on A is a Q-algebra norm on A.