scholarly journals Characterization of Rectifying Curves by Their Involutes and Evolutes

Mathematics ◽  
2021 ◽  
Vol 9 (23) ◽  
pp. 3077
Author(s):  
Marilena Jianu ◽  
Sever Achimescu ◽  
Leonard Dăuş ◽  
Adela Mihai ◽  
Olimpia-Alice Roman ◽  
...  
Keyword(s):  
Sufficient Conditions ◽  
Position Vector ◽  
Arc Length ◽  
Remarkable Property ◽  
Spherical Curve ◽  
Pass Through ◽  
Cartesian Coordinate ◽  
Necessary And Sufficient ◽  
Rectifying Curve

A rectifying curve is a twisted curve with the property that all of its rectifying planes pass through a fixed point. If this point is the origin of the Cartesian coordinate system, then the position vector of the rectifying curve always lies in the rectifying plane. A remarkable property of these curves is that the ratio between torsion and curvature is a nonconstant linear function of the arc-length parameter. In this paper, we give a new characterization of rectifying curves, namely, we prove that a curve is a rectifying curve if and only if it has a spherical involute. Consequently, rectifying curves can be constructed as evolutes of spherical twisted curves; we present an illustrative example of a rectifying curve obtained as the evolute of a spherical helix. We also express the curvature and the torsion of a rectifying spherical curve and give necessary and sufficient conditions for a curve and its involute to be both rectifying curves.

scholarly journals On cryptographic properties of (n + 1)-bit S-boxes constructed by known n-bit S-boxes

2020 ◽  
Vol 15 (1) ◽  
pp. 258-265
Author(s):  
Yu Zhou ◽  
Daoguang Mu ◽  
Xinfeng Dong
Keyword(s):  
Sufficient Conditions ◽  
Sum Of Squares ◽  
Basic Component ◽  
Necessary And Sufficient Conditions ◽  
Autocorrelation Functions ◽  
Walsh Spectrum ◽  
Cryptographic Algorithms ◽  
Necessary And Sufficient ◽  
Relationship Of

AbstractS-box is the basic component of symmetric cryptographic algorithms, and its cryptographic properties play a key role in security of the algorithms. In this paper we give the distributions of Walsh spectrum and the distributions of autocorrelation functions for (n + 1)-bit S-boxes in [12]. We obtain the nonlinearity of (n + 1)-bit S-boxes, and one necessary and sufficient conditions of (n + 1)-bit S-boxes satisfying m-order resilient. Meanwhile, we also give one characterization of (n + 1)-bit S-boxes satisfying t-order propagation criterion. Finally, we give one relationship of the sum-of-squares indicators between an n-bit S-box S0 and the (n + 1)-bit S-box S (which is constructed by S0).

Separability criteria based on the Bloch representation of density matrices

2007 ◽  
Vol 7 (7) ◽  
pp. 624-638
Author(s):  
J. de Vicente
Keyword(s):  
Sufficient Conditions ◽  
Quantum Systems ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Pure Product ◽  
Separability Problem ◽  
Arbitrary Dimensions ◽  
Necessary And Sufficient ◽  
Bloch Representation

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

scholarly journals An Application of Spherical Geometry to Hyperkähler Slices

2020 ◽  
pp. 1-30
Author(s):  
Peter Crooks ◽  
Maarten van Pruijssen
Keyword(s):  
Sufficient Conditions ◽  
Compact Subgroup ◽  
Spherical Geometry ◽  
Spherical Subgroup ◽  
Cotangent Bundles ◽  
Complex Semisimple ◽  
Reductive Subgroup ◽  
Necessary And Sufficient

Abstract This work is concerned with Bielawski’s hyperkähler slices in the cotangent bundles of homogeneous affine varieties. One can associate such a slice with the data of a complex semisimple Lie group  $G$ , a reductive subgroup $H\subseteq G$ , and a Slodowy slice $S\subseteq \mathfrak{g}:=\text{Lie}(G)$ , defining it to be the hyperkähler quotient of $T^{\ast }(G/H)\times (G\times S)$ by a maximal compact subgroup of  $G$ . This hyperkähler slice is empty in some of the most elementary cases (e.g., when $S$ is regular and $(G,H)=(\text{SL}_{n+1},\text{GL}_{n})$ , $n\geqslant 3$ ), prompting us to seek necessary and sufficient conditions for non-emptiness. We give a spherical-geometric characterization of the non-empty hyperkähler slices that arise when $S=S_{\text{reg}}$ is a regular Slodowy slice, proving that non-emptiness is equivalent to the so-called $\mathfrak{a}$ -regularity of $(G,H)$ . This $\mathfrak{a}$ -regularity condition is formulated in several equivalent ways, one being a concrete condition on the rank and complexity of $G/H$ . We also provide a classification of the $\mathfrak{a}$ -regular pairs $(G,H)$ in which $H$ is a reductive spherical subgroup. Our arguments make essential use of Knop’s results on moment map images and Losev’s algorithm for computing Cartan spaces.

Characterization of Low-pass Filters on Local Fields of Positive Characteristic

2016 ◽  
Vol 59 (3) ◽  
pp. 528-541 ◽  
Author(s):  
Qaiser Jahan
Keyword(s):  
Positive Characteristic ◽  
Sufficient Conditions ◽  
Local Fields ◽  
Pass Filter ◽  
Low Pass Filter ◽  
Low Pass ◽  
Necessary And Sufficient ◽  
Low Pass Filters ◽  
The Scaling Function

AbstractIn this article, we give necessary and sufficient conditions on a function to be a low-pass filter on a local field K of positive characteristic associated with the scaling function for multiresolution analysis of L2(K). We use probability and martingale methods to provide such a characterization.

scholarly journals An inverse problem for the non-self-adjoint matrix Sturm-Liouville operator

2018 ◽  
Vol 50 (1) ◽  
pp. 71-102 ◽  
Author(s):  
Natalia Pavlovna Bondarenko
Keyword(s):  
Inverse Problem ◽  
Liouville Operator ◽  
Finite Interval ◽  
Spectral Characteristics ◽  
Sufficient Conditions ◽  
Adjoint Matrix ◽  
Method Of Spectral Mappings ◽  
Sturm Liouville ◽  
Necessary And Sufficient

The inverse problem of spectral analysis for the non-self-adjoint matrix Sturm-Liouville operator on a finite interval is investigated. We study properties of the spectral characteristics for the considered operator, and provide necessary and sufficient conditions for the solvability of the inverse problem. Our approach is based on the constructive solution of the inverse problem by the method of spectral mappings. The characterization of the spectral data in the self-adjoint case is given as a corollary of the main result.

scholarly journals Two Explicit Characterizations of the General Nonnegative-Definite Covariance Matrix Structure for Equality of BLUEs, WLSEs, and LSEs

2020 ◽  
Vol 9 (6) ◽  
pp. 108
Author(s):  
Phil D. Young ◽  
Joshua D. Patrick ◽  
Dean M. Young
Keyword(s):  
Least Squares ◽  
Weighted Least Squares ◽  
Sufficient Conditions ◽  
Covariance Structure ◽  
Least Squares Estimator ◽  
Weighted Least Squares Estimator ◽  
Best Linear Unbiased ◽  
Necessary And Sufficient ◽  
Nonnegative Definite

We provide a new, concise derivation of necessary and sufficient conditions for the explicit characterization of the general nonnegative-definite covariance structure V of a general Gauss-Markov model with E(y) and Var(y) such that the best linear unbiased estimator, the weighted least squares estimator, and the least squares estimator of Xβ are identical. In addition, we derive a representation of the general nonnegative-definite covariance structure V defined above in terms of its Moore-Penrose pseudo-inverse.

scholarly journals Multigenerator Gabor Frames on Local Fields

2018 ◽  
Vol 33 (2) ◽  
pp. 307
Author(s):  
Owais Ahmad ◽  
Neyaz Ahmad Sheikh
Keyword(s):  
Sufficient Conditions ◽  
Complete Characterization ◽  
Necessary And Sufficient Conditions ◽  
Local Fields ◽  
Gabor Frames ◽  
Gabor System ◽  
Necessary And Sufficient

The main objective of this paper is to provide complete characterization of multigenerator Gabor frames on a periodic set $\Omega$ in $K$. In particular, we provide some necessary and sufficient conditions for the multigenerator Gabor system to be a frame for $L^2(\Omega)$. Furthermore, we establish the complete characterizations of multigenerator Parseval Gabor frames.

WEAK SELF-SIMILAR SETS IN SEPARABLE COMPLETE METRIC SPACES

Fractals ◽  
2017 ◽  
Vol 25 (02) ◽  
pp. 1750021
Author(s):  
R. K. ASWATHY ◽  
SUNIL MATHEW
Keyword(s):  
Metric Spaces ◽  
Complete Metric Space ◽  
Sufficient Conditions ◽  
Finite Union ◽  
Self Similarity ◽  
Complete Metric Spaces ◽  
Self Similar ◽  
Necessary And Sufficient ◽  
Physical Phenomena

Self-similarity is a common tendency in nature and physics. It is wide spread in geo-physical phenomena like diffusion and iteration. Physically, an object is self-similar if it is invariant under a set of scaling transformation. This paper gives a brief outline of the analytical and set theoretical properties of different types of weak self-similar sets. It is proved that weak sub self-similar sets are closed under finite union. Weak sub self-similar property of the topological boundary of a weak self-similar set is also discussed. The denseness of non-weak super self-similar sets in the set of all non-empty compact subsets of a separable complete metric space is established. It is proved that the power of weak self-similar sets are weak super self-similar in the product metric and weak self-similarity is preserved under isometry. A characterization of weak super self-similar sets using weak sub contractions is also presented. Exact weak sub and super self-similar sets are introduced in this paper and some necessary and sufficient conditions in terms of weak condensation IFS are presented. A condition for a set to be both exact weak super and sub self-similar is obtained and the denseness of exact weak super self similar sets in the set of all weak self-similar sets is discussed.

Equivalent norms on Banach Jordan algebras

1979 ◽  
Vol 86 (2) ◽  
pp. 261-270 ◽  
Author(s):  
M. A. Youngson
Keyword(s):  
Jordan Algebra ◽  
Sufficient Conditions ◽  
Equivalent Norm ◽  
Jordan Algebras ◽  
The Self ◽  
Equivalent Norms ◽  
Positive Elements ◽  
Definition Of ◽  
Necessary And Sufficient

1. Introduction. Recently Kaplansky suggested the definition of a suitable Jordan analogue of B*-algebras, which we call J B*-algebras (see (10) and (11)). In this article, we give a characterization of those complex unital Banach Jordan algebras which are J B*-algebras in an equivalent norm. This is done by generalizing results of Bonsall ((3) and (4)) to give necessary and sufficient conditions on a real unital Banach Jordan algebra under which it is the self-adjoint part of a J B*-algebra in an equivalent norm. As a corollary we also obtain a characterization of the cones in a Banach Jordan algebra which are the set of positive elements of a J B*-algebra.

scholarly journals Complex extreme measurable selections

1995 ◽  
Vol 58 (2) ◽  
pp. 222-231
Author(s):  
Douglas Mupasiri
Keyword(s):  
Banach Space ◽  
Unit Ball ◽  
Extreme Point ◽  
Measure Space ◽  
Sufficient Conditions ◽  
Complex Banach Space ◽  
Closed Unit Ball ◽  
Measurable Selections ◽  
Necessary And Sufficient

AbstractWe give a characterization of complex extreme measurable selections for a suitable set-valued map. We use this result to obtain necessary and sufficient conditions for a function to be a complex extreme point of the closed unit ball of Lp (ω, Σ, ν X), where (ω, σ, ν) is any positive, complete measure space, X is a separable complex Banach space, and 0 < p < ∞.

Sign in / Sign up

Export Citation Format

Share Document