共找到 20 条结果
We study how much injective morphisms can increase the repetitiveness of a given word. This question has a few possible variations depending on the meaning of ``repetitiveness''. We concentrate on fractional exponents of finite words and asymptotic critical exponents of infinite words. We characterize finite words that, when mapped by injective morphisms, can have arbitrarily high fractional exponent. For infinite words, alongside other results, we show that the asymptotic critical exponent grows at most by a constant factor (depending on the size of the alphabet) when mapped by an injective morphism. For both finite and infinite words, the binary case is better understood than the general case.
This paper addresses the challenge of proving the existence of solutions for nonlinear equations in Banach spaces, focusing on the Navier-Stokes equations and discretizations of thom. Traditional methods, such as monotonicity-based approaches and fixed-point theorems, often face limitations in handling general nonlinear operators or finite element discretizations. A novel concept, mapped coercivity, provides a unifying framework to analyze nonlinear operators through a continuous mapping. We apply these ideas to saddle-point problems in Banach spaces, emphasizing both infinite-dimensional formulations and finite element discretizations. Our analysis includes stabilization techniques to restore coercivity in finite-dimensional settings, ensuring stability and existence of solutions. For linear problems, we explore the relationship between the inf-sup condition and mapped coercivity, using the Stokes equation as a case study. For nonlinear saddle-point systems, we extend the framework to mapped coercivity via surjective mappings, enabling concise proofs of existence of solutions for various stabilized Navier-Stokes finite element methods. These include Brezzi-Pitkäranta, a simple var
A serious and ubiquitous issue in existing mapped WENO schemes is that most of them can hardly preserve high resolutions and in the meantime prevent spurious oscillations on solving hyperbolic conservation laws with long output times. Our goal in this article is to address this widely concerned problem [3, 4, 15, 29, 16, 18]. In our previous work [18], the order-preserving (OP) criterion was originally introduced and carefully used to devise a new mapped WENO scheme that performs satisfactorily in long-run simulations, and hence it was indicated that the OP criterion plays a critical role in the maintenance of low-dissipation and robustness for the mapped WENO schemes. Thus, in our present work, we firstly define the family of the mapped WENO schemes, whose mappings meet the OP criterion, as OP-Mapped WENO. Next, we attentively take a closer look at the mappings of various existing mapped WENO schemes and devise a general formula for them. It helps us to extend the OP criterion into the design of the improved mappings. Then, we propose the generalized implementation of obtaining a group of OP-Mapped WENO schemes, named MOP-WENO-X as they are developed from the existing mapped WENO-
The decisive factor for the calculation accuracy of the mapped weighted essentially non-oscillatory scheme is the width of the center region of the mapping function. Through analysis of the classical mapped WENO schemes, the results show the width of the central range of the mapping function determined by the local operator in its denominator. Substituting the local operator in WENO-AIM with a symmetric one and an asymmetric function, we get two new adaptive mapped WENO schemes, WENO-AIMS and WENO-AIMA. Similarly, we improve WENO-RM260 and WENO-PM6 by using these local operators, and composed adaptive WENO-RM260 and adaptive WENO-PM6. Theoretical and numerical results show the present adaptive mapped WENO schemes composed in this paper perform better than WENO-AIM, WENO-RM260, and WENO-PM6 for one- and two-dimensional problems.
Variably scaled kernels and mapped bases constructed via the so-called fake nodes approach are two different strategies to provide adaptive bases for function interpolation. In this paper, we focus on kernel-based interpolation and we present what we call mapped variably scaled kernels, which take advantage of both strategies. We present some theoretical analysis and then we show their efficacy via numerical experiments. Moreover, we test such a new basis for image reconstruction tasks in the framework of hard X-ray astronomical imaging.
For projection-based linear-subspace model order reduction (MOR), it is well known that the Kolmogorov n-width describes the best-possible error for a reduced order model (ROM) of size n. In this paper, we provide approximation bounds for ROMs on polynomially mapped manifolds. In particular, we show that the approximation bounds depend on the polynomial degree p of the mapping function as well as on the linear Kolmogorov n-width for the underlying problem. This results in a Kolmogorov (n, p)-width, which describes a lower bound for the best-possible error for a ROM on polynomially mapped manifolds of polynomial degree p and reduced size n.
For an $(m+1)$-dimensional space-time $(X^{m+1}, g),$ define a mapped null hypersurface to be a smooth map $ν:N^{m}\to X^{m+1}$ (that is not necessarily an immersion) such that there exists a smooth field of null lines along $ν$ that are both tangent and $g$-orthogonal to $ν.$ We study relations between mapped null hypersurfaces and Legendrian maps to the spherical cotangent bundle $ST^*M$ of an immersed spacelike hypersurface $μ:M^m\to X^{m+1}.$ We show that a Legendrian map $\wt λ: L^{m-1}\to (ST^*M)^{2m-1}$ defines a mapped null hypersurface in $X.$ On the other hand, the intersection of a mapped null hypersurface $ν:N^m\to X^{m+1}$ with an immersed spacelike hypersurface $μ':M'^m\to X^{m+1}$ defines a Legendrian map to the spherical cotangent bundle $ST^*M'.$ This map is a Legendrian immersion if $ν$ came from a Legendrian immersion to $ST^*M$ for some immersed spacelike hypersurface $μ:M^m\to X^{m+1}.$
High dynamic range (HDR) imaging has been attracting much attention as a technology that can provide immersive experience. Its ultimate goal is to provide better quality of experience (QoE) via enhanced contrast. In this paper, we analyze perceptual experience of tone-mapped HDR videos both explicitly by conducting a subjective questionnaire assessment and implicitly by using EEG and peripheral physiological signals. From the results of the subjective assessment, it is revealed that tone-mapped HDR videos are more interesting and more natural, and give better quality than low dynamic range (LDR) videos. Physiological signals were recorded during watching tone-mapped HDR and LDR videos, and classification systems are constructed to explore perceptual difference captured by the physiological signals. Significant difference in the physiological signals is observed between tone-mapped HDR and LDR videos in the classification under both a subject-dependent and a subject-independent scenarios. Also, significant difference in the signals between high versus low perceived contrast and overall quality is detected via classification under the subject-dependent scenario. Moreover, it is shown
Existing mapped WENO schemes can hardly prevent spurious oscillations while preserving high resolutions at long output times. We reveal in this paper the essential reason for such phenomena. It is actually caused by that the mapping function in these schemes can not preserve the order of the nonlinear weights of the stencils. The nonlinear weights may be increased for non-smooth stencils and be decreased for smooth stencils. It is then indicated to require the set of mapping functions to be Order-Preserving in mapped WENO schemes. Therefore, we propose a new mapped WENO scheme with a set of mapping functions to be order-preserving which exhibits a remarkable advantage over the mapped WENO schemes in references. For long output time simulations, the new scheme has the capacity to attain high resolutions and avoid spurious oscillations near discontinuities meanwhile.
In this paper, we collect the basic theory and the most important applications of a novel technique that has shown to be suitable for scattered data interpolation, quadrature, bio-imaging reconstruction. The method relies on polynomial mapped bases allowing, for instance, to incorporate data or function discontinuities in a suitable mapping function. The new technique substantially mitigates the Runge's and Gibbs effects.
The process of rendering high dynamic range (HDR) images to be viewed on conventional displays is called tone mapping. However, tone mapping introduces distortions in the final image which may lead to visual displeasure. To quantify these distortions, we introduce a novel no-reference quality assessment technique for these tone mapped images. This technique is composed of two stages. In the first stage, we employ a convolutional neural network (CNN) to generate quality aware maps (also known as distortion maps) from tone mapped images by training it with the ground truth distortion maps. In the second stage, we model the normalized image and distortion maps using an Asymmetric Generalized Gaussian Distribution (AGGD). The parameters of the AGGD model are then used to estimate the quality score using support vector regression (SVR). We show that the proposed technique delivers competitive performance relative to the state-of-the-art techniques. The novelty of this work is its ability to visualize various distortions as quality maps (distortion maps), especially in the no-reference setting, and to use these maps as features to estimate the quality score of tone mapped images.
Querying and interacting with models of massive material micro-structure requires localized on-demand generation of the micro-structure since the full-scale storing and retrieving is cost prohibitive. When the micro-structure is efficiently represented as the image of a canonical structure under a non-linear space deformation to allow it to conform to curved shape, the additional challenge is to relate the query of the mapped micro-structure back to its canonical structure. This paper presents an efficient algorithm to pull back a mapped micro-structure to a partition of the canonical domain structure into boxes and only activates boxes whose image is likely intersected by a plane. The active boxes are organized into a forest whose trees are traversed depth first to generate mapped micro-structure only of the active boxes. The traversal supports, for example, 3D print slice generation in additive manufacturing.
It is shown that the dynamics of the growth of a two dimensional surface in a Laplacian field can be mapped onto Hamiltonian dynamics. The mapping is carried out in two stages: first the surface is conformally mapped onto the unit circle, generating a set of singularities. Then the dynamics of these singularities are transformed to Hamiltonian action-angle variables. An explicit condition is given for the existence of the transformation. This formalism is illustrated by solving explicitly for a particular case where the result is a separable and integrable Hamiltonian.
We present a versatile formulation of the convolution operation that we term a "mapped convolution." The standard convolution operation implicitly samples the pixel grid and computes a weighted sum. Our mapped convolution decouples these two components, freeing the operation from the confines of the image grid and allowing the kernel to process any type of structured data. As a test case, we demonstrate its use by applying it to dense inference on spherical data. We perform an in-depth study of existing spherical image convolution methods and propose an improved sampling method for equirectangular images. Then, we discuss the impact of data discretization when deriving a sampling function, highlighting drawbacks of the cube map representation for spherical data. Finally, we illustrate how mapped convolutions enable us to convolve directly on a mesh by projecting the spherical image onto a geodesic grid and training on the textured mesh. This method exceeds the state of the art for spherical depth estimation by nearly 17%. Our findings suggest that mapped convolutions can be instrumental in expanding the application scope of convolutional neural networks.
An immutable multi-map is a many-to-many thread-friendly map data structure with expected fast insert and lookup operations. This data structure is used for applications processing graphs or many-to-many relations as applied in static analysis of object-oriented systems. When processing such big data sets the memory overhead of the data structure encoding itself is a memory usage bottleneck. Motivated by reuse and type-safety, libraries for Java, Scala and Clojure typically implement immutable multi-maps by nesting sets as the values with the keys of a trie map. Like this, based on our measurements the expected byte overhead for a sparse multi-map per stored entry adds up to around 65B, which renders it unfeasible to compute with effectively on the JVM. In this paper we propose a general framework for Hash-Array Mapped Tries on the JVM which can store type-heterogeneous keys and values: a Heterogeneous Hash-Array Mapped Trie (HHAMT). Among other applications, this allows for a highly efficient multi-map encoding by (a) not reserving space for empty value sets and (b) inlining the values of singleton sets while maintaining a (c) type-safe API. We detail the necessary encoding and op
We pointed out that a substantial number of CpG probes on the Illumina 450K array could be mapped to multiple loci across the human genome. These CpGs need to be considered when interpreting results using this platform.
Determining the occupancy status of locations in the environment is a fundamental task for safety-critical robotic applications. Traditional occupancy grid mapping methods subdivide the environment into a grid of voxels, each associated with one of three occupancy states: free, occupied, or unknown. These methods explicitly maintain all voxels within the mapped volume and determine the occupancy state of a location by directly querying the corresponding voxel that the location falls within. However, maintaining all grid voxels in high-resolution and large-scale scenarios requires substantial memory resources. In this paper, we introduce a novel representation that only maintains the boundary of the mapped volume. Specifically, we explicitly represent the boundary voxels, such as the occupied voxels and frontier voxels, while free and unknown voxels are automatically represented by volumes within or outside the boundary, respectively. As our representation maintains only a closed surface in two-dimensional (2D) space, instead of the entire volume in three-dimensional (3D) space, it significantly reduces memory consumption. Then, based on this 2D representation, we propose a method t
We characterize the words that can be mapped to arbitrarily high powers by injective morphisms. For all other words, we prove a linear upper bound for the highest power that they can be mapped to, and this bound is optimal up to a constant factor if there is no restriction on the size of the alphabet. We also prove that, for any integer $n \geq 2$, deciding whether a given word can be mapped to an $n$th power by a nonperiodic morphism is NP-hard and in PSPACE, and so is deciding whether a given word can be mapped to a nonprimitive word by a nonperiodic morphism.
Conformal mapping may be the best-known topic in complex analysis. Any simply connected nonempty domain $Ω$ in the complex plane ${\mathbb{C}}$ (assuming $Ω e {\mathbb{C}}$) can be mapped bijectively to the unit disk by an analytic function with nonvanishing derivative, as in Figure 1. If $Ω$ is doubly-connected, it can be mapped to a circular annulus $1<|z|<R$ for some $R$, called the conformal modulus, which is uniquely determined by $Ω$, as in Figure 2. If $Ω$ has connectivity higher than $2$, it can be mapped onto various canonical domains such as a disk with exclusions in the form of slits or smaller disks, as in Figure 3.
Waterways shape earth system processes and human societies, and a better understanding of their distribution can assist in a range of applications from earth system modeling to human development and disaster response. Most efforts to date to map the world's waterways have required extensive modeling and contextual expert input, and are costly to repeat. Many gaps remain, particularly in geographies with lower economic development. Here we present a computer vision model that can draw waterways based on 10m Sentinel-2 satellite imagery and the 30m GLO-30 Copernicus digital elevation model, trained using high fidelity waterways data from the United States. We couple this model with a vectorization process to map waterways worldwide. For widespread utility and downstream modelling efforts, we scaffold this new data on the backbone of existing mapped basins and waterways from another dataset, TDX-Hydro. In total, we add 124 million kilometers of waterways to the 54 million kilometers already in the TDX-Hydro dataset, more than tripling the extent of waterways mapped globally.