共找到 20 条结果
A set $A \subseteq \mathbb{N}$ is a set of pointwise recurrence if for all minimal dynamical systems $(X, T)$, all $x \in X$, and all open neighborhoods $U \subseteq X$ of $x$, there exists a time $n \in A$ such that $T^n x \in U$. The set $A$ is dynamically thick if the same holds for all non-empty, open sets $U \subseteq X$. Our main results give combinatorial characterizations of sets of pointwise recurrence and dynamically thick sets that allow us to answer questions of Host, Kra, Maass and Glasner, Tsankov, Weiss, and Zucker. We also introduce and study a local version of dynamical thickness called dynamical piecewise syndeticity. We show that dynamically piecewise syndetic sets are piecewise syndetic, generalizing results of Dong, Glasner, Huang, Shao, Weiss, and Ye. The proofs involve the algebra of families of large sets, dynamics on the space of ultrafilters, and our recent characterization of dynamically syndetic sets.
Explicitly correlated methods such as MP2-F12 and CCSD(F12*) exhibit much faster basis set convergence (asymptotically $\propto L^{-7}$, with L the highest angular momentum) than orbital-only approaches. Yet it has been pointed out that cc-pVnZ-F12 basis sets themselves are substantially larger than the corresponding cc-pVnZ, and specifically that cc-pVDZ-F12 is the size of cc-pVTZ. One way to generate compact basis sets in an orbital-only context are Atomic Natural Orbital (ANO) basis sets [J. Almlöf and P. R. Taylor, JCP 86, 4070 (1987)]. However, obtaining the required first-order reduced density matrix while properly accounting for the F12 geminal is problematic. In this work, we show that an energy minimization-based contraction process under linear independence constraints yields `pseudo-ANO' (pANO) basis sets that are functionally equivalent in quality. Subsequently, we apply this recipe to obtain pANO-F12 basis sets from the same elements, then validate them for several thermochemical benchmarks and for the hypersensitive out-of-plane vibrations of benzene. We show that, unlike cc-pVnZ-F12, pANO-F12 exhibits the familiar shell structure seen in cc-pVnZ and ANO basis sets, a
In this paper, we present characterizations of totally bounded sets, relatively compact sets and compact sets in the fuzzy sets spaces $F_B(\mathbb{R}^m)$ and $F_B(\mathbb{R}^m)^p$ equipped with $L_p$ metric, where $F_B(\mathbb{R}^m)$ and $F_B(\mathbb{R}^m)^p$ are two kinds of general fuzzy sets on $\mathbb{R}^m$ which do not have any assumptions of convexity or star-shapedness. Subsets of $F_B(\mathbb{R}^m)^p$ include common fuzzy sets such as fuzzy numbers, fuzzy star-shaped numbers with respect to the origin, fuzzy star-shaped numbers, and the general fuzzy star-shaped numbers introduced by Qiu et al. The existed compactness criteria are stated for three kinds of fuzzy sets spaces endowed with $L_p$ metric whose universe sets are the former three kinds of common fuzzy sets respectively. Constructing completions of fuzzy sets spaces with respect to $L_p$ metric is a problem which is closely dependent on characterizing totally bounded sets. Based on preceding characterizations of totally boundedness and relatively compactness and some discussions on convexity and star-shapedness of fuzzy sets, we show that the completions of fuzzy sets spaces mentioned in this paper can be obtaine
Let $K\subset\mathbb R^d$ be a compact subset equipped with a $δ$-Ahlfors regular measure $μ$. For any $τ>1/d$ and any ``inhomogeneous'' vector $\boldsymbolθ\in\mathbb R^d$, let $W_d(ψ_τ,\boldsymbolθ)$ denote the set of $(ψ_τ,\boldsymbolθ)$-well approximable numbers, where $ψ_τ(q)=q^{-τ}$. Assuming a local estimate for the $μ$-measure of the intersections of $K$ with the neighborhoods of ``rational'' vectors $(\mathbf p+\boldsymbolθ)/q$, we establish a sharp upper bound for the Hausdorff dimension of $K\cap W_d(ψ_τ,\boldsymbolθ)$, together with some nontrivial lower bounds when $τ$ is below a certain threshold. One of the lower bounds becomes sharp in the one-dimensional homogeneous case ($d=1$, $θ=0$) for a class of sufficiently thick self-similar sets $K$, and moreover $K\cap W_1(ψ_τ,0)$ has full $(δ+\frac{2}{1+τ}-1)$-Hausdorff measure. These results have several applications: (1) the set of homogeneous very well approximable numbers has full Hausdorff dimension within strongly irreducible self-similar sets in $\mathbb R^d$, extending a recent result of Chen [arXiv:2510.17096]; (2) the set of inhomogeneous very well approximable numbers has full Hausdorff dimension within suff
We construct Kakeya sets in arbitrary dimension $d\geq 2$, generalizing the classical Perron tree construction beyond dimension $2$. The Kakeya sets we construct have $δ$-neighbourhood of volume at most $C|\logδ|^{-(d-1)}$, which improves on previously known constructions, and which is conjecturally optimal. We further derive consequences for the $L^p$-boundedness of radial Fourier multipliers in terms of Besov spaces with logarithmic smoothness.
A subset of the positive integers is dynamically central syndetic if it contains the times that a point returns to a neighborhood of itself in a minimal topological dynamical system. These sets are part of the highly-influential link between dynamics and combinatorics forged by Furstenberg and Weiss in the 1970's. Our main result is a characterization of dynamically central syndetic sets as precisely those sets that belong to syndetic, idempotent filters. This gives a "global" analogue to the well-known "local" characterization of Furstenberg's central sets as members of minimal, idempotent ultrafilters. Applying the main result, we answer two open questions posed by Host, Kra, and Maass concerning sets of pointwise topological recurrence.
A new family of Gaussian-type SIGMA basis sets, termed reduced SIGMA basis sets, is introduced and preliminarily tested. Sharing the same composition as Dunning basis sets, they enhance performance by reducing linear dependencies in large systems, thereby improving convergence and lowering computational costs for such systems.
Let $[0,1]_*$ be the unit interval $[0,1]$ equipped with a continuous t-norm $*$. It is shown that the category of $[0,1]_*$-sets is cartesian closed if, and only if, $*$ is the minimum t-norm on $[0,1]$.
In this paper we present an open source framework developed in Python and consisting of three distinct classes designed to manipulate in a simple and intuitive way both symbolic representations of neutrosophic sets over universes of various types as well as mappings between them. The capabilities offered by this framework extend and generalize previous attempts to provide software solutions to the manipulation of neutrosophic sets such as those proposed by Salama et al., Saranya et al., El-Ghareeb, Topal et al. and Sleem. The code is described in detail and many examples and use cases are also provided.
We consider weighted counting of independent sets using a rational weight x: Given a graph with n vertices, count its independent sets such that each set of size k contributes x^k. This is equivalent to computation of the partition function of the lattice gas with hard-core self-repulsion and hard-core pair interaction. We show the following conditional lower bounds: If counting the satisfying assignments of a 3-CNF formula in n variables (#3SAT) needs time 2^{Ω(n)} (i.e. there is a c>0 such that no algorithm can solve #3SAT in time 2^{cn}), counting the independent sets of size n/3 of an n-vertex graph needs time 2^{Ω(n)} and weighted counting of independent sets needs time 2^{Ω(n/log^3 n)} for all rational weights x eq 0. We have two technical ingredients: The first is a reduction from 3SAT to independent sets that preserves the number of solutions and increases the instance size only by a constant factor. Second, we devise a combination of vertex cloning and path addition. This graph transformation allows us to adapt a recent technique by Dell, Husfeldt, and Wahlen which enables interpolation by a family of reductions, each of which increases the instance size only polylogari
One of the weaknesses of classical (fuzzy) rough sets is their sensitivity to noise, which is particularly undesirable for machine learning applications. One approach to solve this issue is by making use of fuzzy quantifiers, as done by the vaguely quantified fuzzy rough set (VQFRS) model. While this idea is intuitive, the VQFRS model suffers from both theoretical flaws as well as from suboptimal performance in applications. In this paper, we improve on VQFRS by introducing fuzzy quantifier-based fuzzy rough sets (FQFRS), an intuitive generalization of fuzzy rough sets that makes use of general unary and binary quantification models. We show how several existing models fit in this generalization as well as how it inspires novel ones. Several binary quantification models are proposed to be used with FQFRS. We conduct a theoretical study of their properties, and investigate their potential by applying them to classification problems. In particular, we highlight Yager's Weighted Implication-based (YWI) binary quantification model, which induces a fuzzy rough set model that is both a significant improvement on VQFRS, as well as a worthy competitor to the popular ordered weighted averag
In this paper we study the action of semigroups with nonempty interior of noncompact connected semisimple Lie groups, with finite center, on their maximal compact connected subgroups. As main results we describe the set of transitivity of a control set as fixed points of regular elements in the semigroup, and determine the number of control sets.
Our main result marks progress on an old conjecture of Vitushkin. We show that a compact set in the plane with plenty of big projections (PBP) has positive analytic capacity, along with a quantitative lower bound. A higher dimensional counterpart is also proved for capacities related to the Riesz kernel, including the Lipschitz harmonic capacity. The proof uses a construction of a doubling Frostman measure on a lower content regular set, which may be of independent interest. Our second main result is the Analyst's Traveling Salesman Theorem for sets with plenty of big projections. As a corollary, we obtain a lower bound for the Hausdorff dimension of uniformly wiggly sets with PBP. The second corollary is an estimate for the capacities of subsets of sets with PBP, in the spirit of the quantitative solution to Denjoy's conjecture.
In this survey, we compile a list of publicly available infrared image and video sets for artificial intelligence and computer vision researchers. We mainly focus on IR image and video sets which are collected and labelled for computer vision applications such as object detection, object segmentation, classification, and motion detection. We categorize 92 different publicly available or private sets according to their sensor types, image resolution, and scale. We describe each and every set in detail regarding their collection purpose, operation environment, optical system properties, and area of application. We also cover a general overview of fundamental concepts that relate to IR imagery, such as IR radiation, IR detectors, IR optics and application fields. We analyse the statistical significance of the entire corpus from different perspectives. We believe that this survey will be a guideline for computer vision and artificial intelligence researchers that are interested in working with the spectra beyond the visible domain.
We report new examples of Sidon sets in abelian groups arising from generalized jacobians of curves, and discuss some of their properties with respect to size and structure.
The primary aim of this paper is to give topological obstructions to Cantor sets in $\mathbb{R}^3$ being Julia sets of uniformly quasiregular mappings. Our main tool is the genus of a Cantor set. We give a new construction of a genus $g$ Cantor set, the first for which the local genus is $g$ at every point, and then show that this Cantor set can be realized as the Julia set of a uniformly quasiregular mapping. These are the first such Cantor Julia sets constructed for $g\geq 3$. We then turn to our dynamical applications and show that every Cantor Julia set of a hyperbolic uniformly quasiregular map has a finite genus $g$; that a given local genus in a Cantor Julia set must occur on a dense subset of the Julia set; and that there do exist Cantor Julia sets where the local genus is non-constant.
This paper is devoted to the relationships and properties of the endograph metric and the $Γ$-convergence. The main contents can be divided into three closely related parts. Firstly, on the class of upper semi-continuous fuzzy sets with bounded $α$-cuts, we find that an endograph metric convergent sequence is exactly a $Γ$-convergent sequence satisfying the condition that the union of $α$-cuts of all its elements is a bounded set in $\mathbb{R}^m$ for each $α> 0$. Secondly, based on investigations of level characterizations of fuzzy sets themselves, we present level characterizations (level decomposition properties) of the endograph metric and the $Γ$-convergence. It is worth mentioning that, using the condition and the level characterizations given above, we discover the fact: the endograph metric and the $Γ$-convergence are compatible on a large class of general fuzzy sets which do not have any assumptions of normality, convexity or star-shapedness. Its subsets include common particular fuzzy sets such as fuzzy numbers (compact and noncompact), fuzzy star-shaped numbers (compact and noncompact), and general fuzzy star-shaped numbers (compact and noncompact). Thirdly, on the ba
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.
Maji et al. introduced in 2002 a method of parametric decision making using soft sets as tools and representing their tabular form as a binary matrix. In cases, however, where some or all of the parameters used for the characterization of the elements of the universal set are of fuzzy texture, their method does not give always the best decision making solution. In order to tackle this problem, we modified in earlier works the method of Maji et al. by replacing the binary elements in the tabular form of the corresponding soft set either by grey numbers or by triangular fuzzy numbers. In this work, in order to tackle more efficiently cases in which the decision maker has doubts about the correctness of the fuzzy/qualitative characterizations assigned to some or all of the elements of the universal set, we replace the binary elements of the tabular form by neutrosophic triplets. Our new, neutrosophic decision making method is illustrated by an application concerning the choice of a new player by a soccer club.
Many fundamental questions in additive number theory (such as Goldbach's conjecture, Fermat's last theorem, and the Twin Primes conjecture) can be expressed in the language of sum and difference sets. As a typical pair of elements contributes one sum and two differences, we expect that $|A-A| > |A+A|$ for a finite set $A$. However, in 2006 Martin and O'Bryant showed that a positive proportion of subsets of $\{0, \dots, n\}$ are sum-dominant, and Zhao later showed that this proportion converges to a positive limit as $n \to \infty$. Related problems, such as constructing explicit families of sum-dominant sets, computing the value of the limiting proportion, and investigating the behavior as the probability of including a given element in $A$ to go to zero, have been analyzed extensively. We consider many of these problems in a more general setting. Instead of just one set $A$, we study sums and differences of pairs of \emph{correlated} sets $(A,B)$. Specifically, we place each element $a \in \{0,\dots, n\}$ in $A$ with probability $p$, while $a$ goes in $B$ with probability $ρ_1$ if $a \in A$ and probability $ρ_2$ if $a ot \in A$. If $|A+B| > |(A-B) \cup (B-A)|$, we call the