Hasil untuk "Unlocalized maps (Asian studies only)"

Filipe Fernandes, Cláudia Werner

Context: Quantum Software Engineering (QSE) has emerged as a promising discipline to support the development of quantum applications by integrating quantum computing principles with established software engineering practices. Problem: Despite recent growth, QSE still lacks standardized methodologies, tools, and guidelines. Moreover, countries like Brazil have had minimal representation in the development of this emerging field. Objective: This study aims to map the current state of QSE by identifying research trends, contributions, and gaps that can inform future investigations and strategic initiatives. Methodology: A systematic mapping study was conducted across major scientific databases, retrieving 3,219 studies. After applying inclusion and exclusion criteria, 3,052 studies were excluded, resulting in 167 selected for analysis. The publications were classified by study type, research type, and alignment with SWEBOK knowledge areas. Results: Most studies focused on Software Engineering Models and Methods, Software Architecture, and Software Testing. Conceptual and technical proposals were predominant, while empirical validations remained limited. Conclusions: QSE is still a maturing field. Advancing it requires standardization, more empirical research, and greater participation from developing countries. As its main contribution, this study proposes a Brazilian Research Agenda in QSE to guide national efforts and foster the development of a strong local scientific community.

Schinella D'Souza

In this paper, we introduce cosine Thurston maps. In particular, we construct postsingularly finite topological cosine maps and focus on such maps with strictly preperiodic critical points. We use the techniques of Hubbard, Schleicher, and Shishikura to prove that, subject to a condition on the critical points, a postsingularly finite topological cosine map with strictly preperiodic critical points is combinatorially equivalent to $C_λ(z) = λ\cos z$ for a unique $λ\in \mathbb{C}^*$ if only if it has no degenerate Levy cycle.

Anna Jenčová

We study higher order quantum maps in the context of a *-autonomous category of affine subspaces. We show that types of higher order maps can be identified with certain Boolean functions that we call type functions. By an extension of this identification, the algebraic structure of Boolean functions is inherited by some sets of quantum objects including higher order maps. Using the Möbius transform, we assign to each type function a poset whose elements are labelled by subsets of indices of the involved spaces. We then show that the type function corresponds to a comb type if and only if the poset is a chain. We also devise a procedure for decomposition of the poset to a set of basic chains from which the type function is constructed by taking maxima and minima of concatenations of the basic chains in different orders. On the level of higher order maps, maxima and minima correspond to affine mixtures and intersections, respectively.

Christopher Michael Schwanke

Given a finite subset $A$ of a distributive lattice, its total orderization $to(A)$ is a natural transformation of $A$ into a totally ordered set. Recently, the author showed that multivariate maps on distributive lattices which remain invariant under total orderizations generalize various maps on vector lattices, including bounded orthosymmetric multilinear maps and finite sums of bounded orthogonally additive polynomials. Therefore, a study of total orderization invariant maps on distributive lattices provides new perspectives for maps widely researched in vector lattice theory. However, the unwieldy notation of total orderizations can make calculations extremely long and difficult. In this paper we resolve this complication by providing considerably simpler characterizations of total orderization maps. Utilizing these easier representations, we then prove that a lattice multi-homomorphism on a distributive lattice is total orderization invariant if and only if it is symmetric, and we show that the diagonal of a symmetric lattice multi-homomorphism is a lattice homomorphism, extending known results for orthosymmetric vector lattice homomorphisms.

Lorenzo Dello Schiavo

A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of maps of bounded compression/deformation by means of the measure-algebra functor and corroborates the assertion that maps of bounded deformation are the natural class of morphisms for the category of complete and separable metric measure spaces.

Naoki Kitazawa

Special generic maps are generalizations of Morse functions with exactly two singular points on spheres and canonical projections of unit spheres. They restrict the manifolds of the domains strongly in considerable cases and are important in algebraic topology and differential topology of manifolds of specific classes and manifolds regarded as elementary in some senses admit such maps in considerable cases. We propose a class of generalized special generic maps in our present paper and extend a fundamental result on structures and some algebraic topological properties of special generic maps by the author. Our present study will be a pioneering study on nice classes of generalized special generic maps. Studies of algebraic topological properties and differential topological ones of special generic maps have developed due to their nice structures for example.

Naoki Kitazawa

Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are important classes of fold maps. {\it Special generic} maps are higher dimensional variants of Morse functions on homotopy spheres with exactly two {\it singular points}: canonical projections of unit spheres are special generic. Round fold maps are Morse functions obtained as doubles of Morse functions, or fold maps such that the set of all the singular points are embeddings and that the images are concentric. In the present paper, we discuss compositions of these maps with canonical projections. For example, we observe that these compositions for special generic maps of simple classes are regarded as round fold maps in considerable cases. We also present round fold maps we cannot represent in this way, seeming to be represented so. Note that such compositions are natural operations in related theory of differentiable maps.

Bernadette Lessel, Thomas Schick

A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a global definition of differentiability, i.e. without a prior notion of pointwise differentiability. With our definition, however, we recover the expected properties of a differential. Special focus is being put on differentiability properties of pushforward maps induced by smooth maps between the underlying manifolds, and on convex mixing of differentiable maps, with an explicit construction of the differential.

Yuta Kusakabe

We study when there exists a dense holomorphic curve in a space of holomorphic maps from a Stein space. We first show that for any bounded convex domain $Ω\Subset\mathbb{C}^n$ and any connected complex manifold $Y$, the space $\mathcal{O}(Ω,Y)$ contains a dense holomorphic disc. Our second result states that $Y$ is an Oka manifold if and only if for any Stein space $X$ there exists a dense entire curve in every path component of $\mathcal{O}(X,Y)$. In the second half of this paper, we apply the above results to the theory of universal functions. It is proved that for any bounded convex domain $Ω\Subset\mathbb{C}^n$, any fixed-point-free automorphism of $Ω$ and any connected complex manifold $Y$, there exists a universal map $Ω\to Y$. We also characterize Oka manifolds by the existence of universal maps.

Aparna Vegendla, Anh Nguyen Duc, Shang Gao et al.

Software ecosystems (SECOs) and open innovation processes have been claimed as a way forward for the software industry. A proper understanding of requirements is as important for these IT-systems as for more traditional ones. This paper presents a mapping study on the issues of requirements engineering and quality aspects in SECOs and analyzes emerging ideas. Our findings indicate that among the various phases or subtasks of requirements engineering, most of the SECO specific research has been accomplished on elicitation, analysis, and modeling. On the other hand, requirements selection, prioritization, verification, and traceability has attracted few published studies. Among the various quality attributes, most of the SECOs research has been performed on security, performance and testability. On the other hand, reliability, safety, maintainability, transparency, usability attracted few published studies. The paper provides a review of the academic literature about SECO-related requirements engineering activities, modeling approaches, and quality attributes, positions the source publications in a taxonomy of issues and identifies gaps where there has been little research.

A. Yu. Olshanskii, M. V. Sapir

We prove that for every $r>0$ if a non-positively curved $(p,q)$-map $M$ contains no flat submaps of radius $r$, then the area of $M$ does not exceed $Crn$ for some constant $C$. This strengthens a theorem of Ivanov and Schupp. We show that an infinite $(p,q)$-map which tessellates the plane is quasi-isometric to the Euclidean plane if and only if the map contains only finitely many non-flat vertices and faces. We also generalize Ivanov and Schupp's result to a much larger class of maps, namely to maps with angle functions.

Kanji Tanaka

In the classical context of robotic mapping and localization, map matching is typically defined as the task of finding a rigid transformation (i.e., 3DOF rotation/translation on the 2D moving plane) that aligns the query and reference maps built by mobile robots. This definition is valid in loop-rich trajectories that enable a mapper robot to close many loops, for which precise maps can be assumed. The same cannot be said about the newly emerging autonomous navigation and driving systems, which typically operate in loop-less trajectories that have no large loop (e.g., straight paths). In this paper, we propose a solution that overcomes this limitation by merging the two maps. Our study is motivated by the observation that even when there is no large loop in either the query or reference map, many loops can often be obtained in the merged map. We add two new aspects to map matching: (1) image retrieval with discriminative deep convolutional neural network (DCNN) features, which efficiently generates a small number of good initial alignment hypotheses; and (2) map merge, which jointly deforms the two maps to minimize differences in shape between them. To realize practical computation time, we also present a preemption scheme that avoids excessive evaluation of useless map-matching hypotheses. To verify our approach experimentally, we created a novel collection of uncertain loop-less maps by utilizing the recently published North Campus Long-Term (NCLT) dataset and its ground-truth GPS data. The results obtained using these map collections confirm that our approach improves on previous map-matching approaches.

Daniel Cariello

In this work, we adapt Sinkhorn-Knopp theorem for rectangular positive maps $(T:M_k\rightarrow M_m)$. We extend their concepts of support and total support to these maps. We show that a positive map $T:M_k\rightarrow M_m$ is equivalent to a doubly stochastic map if and only if $T:M_k\rightarrow M_m$ is equivalent to a positive map with total support. Moreover, if $k$ and $m$ are coprime then $T:M_k\rightarrow M_m$ is equivalent to a doubly stochastic map if and only if $T:M_k\rightarrow M_m$ has support. This result provides a necessary and sufficient condition for the filter normal form, which is commonly used in Quantum Information Theory in order to simplify the task of detecting entanglement. Let $A=\sum_{i=1}^nA_i\otimes B_i\in M_k\otimes M_m$ be a state and $G_A: M_k\rightarrow M_m$ be the positive map $G_A(X)=\sum_{i=1}^nB_itr(A_iX)$. We show that $A$ can be put in the filter normal form if and only if $G_A: M_k\rightarrow M_m$ is equivalent to a positive map with total support. We prove that any state $A\in M_k\otimes M_m\simeq M_{km}$ such that $\dim(\ker(A))<k-1$, if $k=m$, and $\dim(\ker(A))<\min\{k,m\}$, if $k\neq m$, can be put in the filter normal form. Recently, a connection between the capacity of a rectangular positive map $T:M_k\rightarrow M_m$ and the capacity of a certain square positive map $\widetilde{T}:M_{mk}\rightarrow M_{mk}$ was noticed. Here, we obtain a deeper connection between these maps. As a corollary of our main results, we prove that $T:M_k\rightarrow M_m$ is equivalent to a doubly stochastic map if and only if $\widetilde{T}:M_{mk}\rightarrow M_{mk}$ is equivalent to a doubly stochastic map.

Mário M. Graça

Two simple predicates are adopted and certain real-valued piecewise continuous functions are constructed from them. This type of maps will be called quasi-step maps and aim to separate the fixed points of an iteration map in an interval. The main properties of these maps are studied. Several worked examples are given where appropriate quasi-step maps for Newton and Halley iteration maps illustrate the main features of quasi-step maps as tools for global separation of roots.

Naoki Kitazawa

In this paper, we construct round fold maps or stable fold maps with concentric singular value sets introduced by the author on smooth bundles over spheres or bundles over more general manifolds. The class of round fold maps includes special generic maps on spheres and such maps have been constructed on smooth bundles over standard spheres of dimensions larger than 1 and connected sums of smooth bundles over standard spheres of dimensions larger than 1 whose fibers are standard spheres, for example, in previous studies by the author. In this paper, we obtain round fold maps and the diffeomorphism types of their source manifolds which do not appear in these studies in new manners.

Sukhpal Singh, Harinder Singh

This research paper designates the importance and usage of the case study approach effectively to educating and training software designers and software engineers both in academic and industry. Subsequently an account of the use of case studies based on software engineering in the education of professionals, there is a conversation of issues in training software designers and how a case teaching method can be used to state these issues. The paper describes a software project titled Online Tower Plotting System (OTPS) to develop a complete and comprehensive case study, along with supporting educational material. The case study is aimed to demonstrate a variety of software areas, modules and courses: from bachelor through masters, doctorates and even for ongoing professional development.

Naoki Kitazawa

{\it Fold maps} are fundamental tools in generalizing the theory of Morse functions and its application to studies of geometric properties of manifolds. One of the fundamental and important problems in the theory of fold maps is to construct explicit fold maps, which are often difficult. In this paper, we construct new examples of {\it round fold maps}, which are defined as {\it stable fold maps} with singular value sets of concentric spheres introduced by the author on manifolds having the structures of circle bundles. The class of round fold maps includes some {\it special generic} maps on homotopy spheres and such maps have been constructed on manifolds having the structures of smooth bundles over standard spheres and manifolds represented as connected sums of manifolds admitting bundle structures over a standard sphere with fibers diffeomorphic to a standard sphere, for example, in previous studies by the author in the 2010s. Furthermore, such maps on manifolds admitting the structures of smooth bundles over spheres or more general manifolds including families of circle bundles over given manifolds were constructed by applying operations derived from the theory of bundles ({\it P-operations}), and in this paper, we use the operations to obtain new round fold maps.

Ye-Lin Ou, Sheng Lu

Biharmonic maps between surfaces are studied in this paper. We compute the bitension field of a map between surfaces with conformal metrics in complex coordinates. As applications, we show that a linear map from Euclidean plane into $(\mathbb{R}^2, σ^2dwd\bar w)$ is always biharmonic if the conformal factor $σ$ is bi-analytic; we construct a family of such $ σ$, and we give a classification of linear biharmonic maps between $2$-spheres. We also study biharmonic maps between surfaces with warped product metrics. This includes a classification of linear biharmonic maps between hyperbolic planes and some constructions of many proper biharmonic maps into a circular cone or a helicoid.

Mario De Menech, Ulf Saalmann, Martin E. Garcia

We present a detailed theoretical study of scanning tunneling imaging and spectroscopy of \Csixty on silver and gold surfaces, motivated by the recent experiments and discussion by X. Lu et al. [PRL \textbf{90}, 096802 (2003) and PRB \textbf{70}, 115418 (2004)]. The surface/sample/tip system is described within a self--consistent DFT based tight--binding model. The topographic and conductance images are computed at constant current from a full self--consistent transport theory based on nonequilibrium Green's functions and compared with those simulated from the local density of states. The molecular orbitals of \Csixty are clearly identified in the energy resolved maps, in close correspondence with the experimental results. We show how the tip structure and orientation can affect the images. In particular, we consider the effects of truncated tips on the energy resolved maps.

Guido Boffetta, Diego del-Castillo-Negrete, Cristobal Lopez et al.

The study of diffusion in Hamiltonian systems has been a problem of interest for a number of years. In this paper we explore the influence of self-consistency on the diffusion properties of systems described by coupled symplectic maps. Self-consistency, i.e. the back-influence of the transported quantity on the velocity field of the driving flow, despite of its critical importance, is usually overlooked in the description of realistic systems, for example in plasma physics. We propose a class of self-consistent models consisting of an ensemble of maps globally coupled through a mean field. Depending on the kind of coupling, two different general types of self-consistent maps are considered: maps coupled to the field only through the phase, and fully coupled maps, i.e. through the phase and the amplitude of the external field. The analogies and differences of the diffusion properties of these two kinds of maps are discussed in detail.