Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- ale...Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- alence relation and all ψn, n ∈ N, are Borel, we show a trichotomy that either IRN/e1≤B E, E1≤B E, or E≤B E0. We also prove that, for a rather general case, E((Xn, ψn)n∈N) is an equivalence relation iff it is an ep-like equivalence relation.展开更多
In this paper, we show that, for each p 〉 1, there are continuum many Borel equivalence relations between Rω/l1 and Rω/p ordered by ≤B which are pairwise Borel incomparable.
The gravitational constant G is a basic quantity in physics, and, despite its relative imprecision, appears in many formulas, for example, also in the formulas of the Planck units. The “relative inaccuracy” lies in ...The gravitational constant G is a basic quantity in physics, and, despite its relative imprecision, appears in many formulas, for example, also in the formulas of the Planck units. The “relative inaccuracy” lies in the fact that each measurement gives different values, depending on where and with which device the measurement is taken. Ultimately, the mean value was formed and agreed upon as the official value that is used in all calculations. In an effort to explore the reason for the inaccuracy of this quantity, some formulas were configured using G, so that the respective quantity assumed the value = 1. The gravitational constant thus modified was also used in the other Planck equations instead of the conventional G. It turned out that the new values were all equivalent to each other. It was also shown that the new values were all represented by powers of the speed of light. The G was therefore no longer needed. Just like the famous mass/energy equivalence E = m * c2, similar formulas emerged, e.g. mass/momentum = m * c, mass/velocity = m * c2 and so on. This article takes up the idea that emerges in the article by Weber [1], who describes the gravitational constant as a variable (Gvar) and gives some reasons for this. Further reasons are given in the present paper and are computed. For example, the Planck units are set iteratively with the help of the variable Gvar, so that the value of one unit equals 1 in each case. In this article, eleven Planck units are set iteratively using the variable Gvar, so that the value of one unit equals 1 in each case. If all other units are based on the Gvar determined in this way, a matrix of values is created that can be regarded both as conversion factors and as equivalence relationships. It is astonishing, but not surprising that the equivalence relation E = m * c2 is one of these results. All formulas for these equivalence relationships work with the vacuum speed of light c and a new constant K. G, both as a variable and as a constant, no longer appears in these formulae. The new thing about this theory is that the gravitational constant is no longer needed. And if it no longer exists, it can no longer cause any difficulties. The example of the Planck units shows this fact very clearly. This is a radical break with current views. It is also interesting to note that the “magic” number 137 can be calculated from the distances between the values of the matrix. In addition, a similar number can be calculated from the distances between the Planck units. This number is 131 and differs from 137 with 4.14 percent. This difference has certainly often led to confusion, for example, when measuring the Fine Structure Constant.展开更多
This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>&...This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>×<em>n</em> matrix, <em>A</em>. This method has important applications in nonnegative matrix factorizations, in matrix completion problems, and in tensor approximations. The second method is called Orthogonal Iterations. Other names of this method are Subspace Iterations, Simultaneous Iterations, and block-Power method. Given a real symmetric matrix, <em>G</em>, this method computes<em> k</em> dominant eigenvectors of <em>G</em>. To see the relation between these methods we assume that <em>G </em>=<em> A</em><sup>T</sup> <em>A</em>. It is shown that in this case the two methods generate the same sequence of subspaces, and the same sequence of low-rank approximations. This equivalence provides new insight into the convergence properties of both methods.展开更多
Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pytha...Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pythagoras and the larger than life man of theoretical physics Einstein, we utilize some deep mathematical connections between equivalence classes of equivalence relations and E-infinity theory quotient space. We started from the basic principles of self similarity which came to prominence in science with the advent of the modern theory of nonlinear dynamical systems, deterministic chaos and fractals. This fundamental logico-mathematical thread related to partially ordered sets is then applied to show how the classical Newton’s kinetic energy E = 1/2mv<sup>2</sup> leads to Einstein’s celebrated maximal energy equation E = mc<sup>2</sup> and how in turn this can be dissected into the ordinary energy density E(O) = mc<sup>2</sup>/22 and the dark energy density E(D) = mc<sup>2</sup>(21/22) of the cosmos where m is the mass;v is the velocity and c is the speed of light. The important role of the exceptional Lie symmetry groups and ‘tHooft-Veltman-Wilson dimensional regularization in fractal spacetime played in the above is also highlighted. The author hopes that the unusual character of the analysis and presentation of the present work may be taken in a positive vein as seriously attempting to propose a different and new way of doing theoretical physics by treating number theory, set theory, group theory, experimental physics as well as conventional theoretical physics on the same footing and letting all these diverse tools lead us to the answer of fundamental questions without fear of being labelled in one way or another.展开更多
A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Second...A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Secondly, the fuzzy compatibility relation matrix of the model is converted into fuzzy equivalence relation matrix. Finally, the diagram of clustering genealogy is generated according to the fuzzy equivalence relation matrix, which enables the dynamic selection of different thresholds to effectively solve the problem of cluster analysis of the samples with multi-dimensional attributes.展开更多
Accuracy and roughness, proposed by Pawlak(1982), might draw a conclusion inconsistent with our intuition in some cases. This letter analyzes the limitations in these measures and proposes improved accuracy and roughn...Accuracy and roughness, proposed by Pawlak(1982), might draw a conclusion inconsistent with our intuition in some cases. This letter analyzes the limitations in these measures and proposes improved accuracy and roughness measures based on information theory.展开更多
Christopoulou Demetra(In his work, Hermann Weyl (1926) addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This pa...Christopoulou Demetra(In his work, Hermann Weyl (1926) addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This paper aims to show off the way Weyl's account of abstraction could offer a reply to Benacerraf's (1973) challenge to realism. Benacerraf argued that mathematical realism is not associated with a plausible epistemology about human access to abstract objects. Weyl deals with the method of abstraction by investigating certain cases of Fregean abstraction principles. He thinks that we can introduce shapes of geometrical images, integers mod m, circles, directions of lines etc. by means of certain creative acts of consciousness, especially intentionality towards proper relations between the elements of an initial domain. Weyl puts emphasis on intentions towards certain invariant characteristics of items that are involved in equivalence relations. Further, he claims that those invariants are transformed into ideal objects through a finite process that is involved in intuition. This paper, in the first place, attempts to make explicit Weyl's phenomenological leanings. Secondly, it argues that Weyl's explanation of how ideal mathematical objects become present to mind can address the epistemic issue concerning mathematical knowledge and can also be associated with a particular view which is implicit in his philosophy and retains realistic elements. Hence, it can address Benacerraf's problem.展开更多
Let A be a normal class of algebras. In the present paper, we characterize the following four problems for A: for which radical class R, there holds that(1) R(i1∧i2) = R(i1)∧R(i2);(2) R(i1∨i2) = R(i1)∨R(i2);(3) (i...Let A be a normal class of algebras. In the present paper, we characterize the following four problems for A: for which radical class R, there holds that(1) R(i1∧i2) = R(i1)∧R(i2);(2) R(i1∨i2) = R(i1)∨R(i2);(3) (i1∧i2) =i1∧i2;(4) (i1∨i2) = i1∨i2, for arbitrary algebra a∈A and any i1,i2∈La,where j denotes the ideal of a uniquely determined by R(a/j) = j/j?展开更多
Let G be an infinite countable group and A be a finite set.IfΣ?A~G is a strongly irreducible subshift of finite type,we endow a locally compact and Hausdorff topology on the homoclinic equivalence relation■onΣand s...Let G be an infinite countable group and A be a finite set.IfΣ?A~G is a strongly irreducible subshift of finite type,we endow a locally compact and Hausdorff topology on the homoclinic equivalence relation■onΣand show that the reduced C^(*)-algebra C_(r)^(*)(■)of■is a unital simple approximately finite(AF)-dimensional C^(*)-algebra.The shift action G of onΣinduces a canonical automorphism action of G on the C^(*)-algebra C_(r)^(*)(■).We give the notion of noncommutative dynamical entropy invariants for amenable group actions on C^(*)-algebras,and show that,if G is an amenable group,then the noncommutative topological entropy of the canonical automorphism action of G on C_(r)^(*)(■)is equal to the topology entropy of the shift action of G onΣ.We also establish the variational principle with respect to the noncommutative measure entropy and the topological entropy for the C^(*)-dynamical system(C_(r)^(*)(■),G).展开更多
Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect ...Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect to F-acyclic complexes.In this paper,the homological properties of relative derived categories are discussed,and the relation with derived categories is given.For Artin algebras,using relative derived categories,we give a relative version on derived equivalences induced by F-tilting complexes.We discuss the relationships between relative homological dimensions and relative derived equivalences.展开更多
The concept of deep learning has been applied to many domains, but the definition of a suitable problem depth has not been sufficiently explored. In this study, we propose a new Hierarchical Covering Algorithm (HCA)...The concept of deep learning has been applied to many domains, but the definition of a suitable problem depth has not been sufficiently explored. In this study, we propose a new Hierarchical Covering Algorithm (HCA) method to determine the levels of a hierarchical structure based on the Covering Algorithm (CA). The CA constructs neural networks based on samples' own characteristics, and can effectively handle multi-category classification and large-scale data. Further, we abstract characters based on the CA to automatically embody the feature of a deep structure. We apply CA to construct hidden nodes at the lower level, and define a fuzzy equivalence relation R on upper spaces to form a hierarchical architecture based on fuzzy quotient space theory. The covering tree naturally becomes from R. HCA experiments performed on MNIST dataset show that the covering tree embodies the deep architecture of the problem, and the effects of a deep structure are shown to be better than having a single level.展开更多
基金supported by National Natural Science Foundation of China (Grant No.11071129)the Program for New Century Excellent Talents in University (Grant No.09-0477)
文摘Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- alence relation and all ψn, n ∈ N, are Borel, we show a trichotomy that either IRN/e1≤B E, E1≤B E, or E≤B E0. We also prove that, for a rather general case, E((Xn, ψn)n∈N) is an equivalence relation iff it is an ep-like equivalence relation.
基金supported by National Natural Science Foundation of China(Grant No.11071129)Program for New Century Excellent Talents in University(Grant No.09-0477)
文摘In this paper, we show that, for each p 〉 1, there are continuum many Borel equivalence relations between Rω/l1 and Rω/p ordered by ≤B which are pairwise Borel incomparable.
文摘The gravitational constant G is a basic quantity in physics, and, despite its relative imprecision, appears in many formulas, for example, also in the formulas of the Planck units. The “relative inaccuracy” lies in the fact that each measurement gives different values, depending on where and with which device the measurement is taken. Ultimately, the mean value was formed and agreed upon as the official value that is used in all calculations. In an effort to explore the reason for the inaccuracy of this quantity, some formulas were configured using G, so that the respective quantity assumed the value = 1. The gravitational constant thus modified was also used in the other Planck equations instead of the conventional G. It turned out that the new values were all equivalent to each other. It was also shown that the new values were all represented by powers of the speed of light. The G was therefore no longer needed. Just like the famous mass/energy equivalence E = m * c2, similar formulas emerged, e.g. mass/momentum = m * c, mass/velocity = m * c2 and so on. This article takes up the idea that emerges in the article by Weber [1], who describes the gravitational constant as a variable (Gvar) and gives some reasons for this. Further reasons are given in the present paper and are computed. For example, the Planck units are set iteratively with the help of the variable Gvar, so that the value of one unit equals 1 in each case. In this article, eleven Planck units are set iteratively using the variable Gvar, so that the value of one unit equals 1 in each case. If all other units are based on the Gvar determined in this way, a matrix of values is created that can be regarded both as conversion factors and as equivalence relationships. It is astonishing, but not surprising that the equivalence relation E = m * c2 is one of these results. All formulas for these equivalence relationships work with the vacuum speed of light c and a new constant K. G, both as a variable and as a constant, no longer appears in these formulae. The new thing about this theory is that the gravitational constant is no longer needed. And if it no longer exists, it can no longer cause any difficulties. The example of the Planck units shows this fact very clearly. This is a radical break with current views. It is also interesting to note that the “magic” number 137 can be calculated from the distances between the values of the matrix. In addition, a similar number can be calculated from the distances between the Planck units. This number is 131 and differs from 137 with 4.14 percent. This difference has certainly often led to confusion, for example, when measuring the Fine Structure Constant.
文摘This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>×<em>n</em> matrix, <em>A</em>. This method has important applications in nonnegative matrix factorizations, in matrix completion problems, and in tensor approximations. The second method is called Orthogonal Iterations. Other names of this method are Subspace Iterations, Simultaneous Iterations, and block-Power method. Given a real symmetric matrix, <em>G</em>, this method computes<em> k</em> dominant eigenvectors of <em>G</em>. To see the relation between these methods we assume that <em>G </em>=<em> A</em><sup>T</sup> <em>A</em>. It is shown that in this case the two methods generate the same sequence of subspaces, and the same sequence of low-rank approximations. This equivalence provides new insight into the convergence properties of both methods.
文摘Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pythagoras and the larger than life man of theoretical physics Einstein, we utilize some deep mathematical connections between equivalence classes of equivalence relations and E-infinity theory quotient space. We started from the basic principles of self similarity which came to prominence in science with the advent of the modern theory of nonlinear dynamical systems, deterministic chaos and fractals. This fundamental logico-mathematical thread related to partially ordered sets is then applied to show how the classical Newton’s kinetic energy E = 1/2mv<sup>2</sup> leads to Einstein’s celebrated maximal energy equation E = mc<sup>2</sup> and how in turn this can be dissected into the ordinary energy density E(O) = mc<sup>2</sup>/22 and the dark energy density E(D) = mc<sup>2</sup>(21/22) of the cosmos where m is the mass;v is the velocity and c is the speed of light. The important role of the exceptional Lie symmetry groups and ‘tHooft-Veltman-Wilson dimensional regularization in fractal spacetime played in the above is also highlighted. The author hopes that the unusual character of the analysis and presentation of the present work may be taken in a positive vein as seriously attempting to propose a different and new way of doing theoretical physics by treating number theory, set theory, group theory, experimental physics as well as conventional theoretical physics on the same footing and letting all these diverse tools lead us to the answer of fundamental questions without fear of being labelled in one way or another.
文摘A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Secondly, the fuzzy compatibility relation matrix of the model is converted into fuzzy equivalence relation matrix. Finally, the diagram of clustering genealogy is generated according to the fuzzy equivalence relation matrix, which enables the dynamic selection of different thresholds to effectively solve the problem of cluster analysis of the samples with multi-dimensional attributes.
基金National Natural Science Foundation of China(60073012)Natural Sceience Foundation of Jiangsu, China(BK2001004)Visiting Scholar Foundation of Key Lab in Wuhan University
文摘Accuracy and roughness, proposed by Pawlak(1982), might draw a conclusion inconsistent with our intuition in some cases. This letter analyzes the limitations in these measures and proposes improved accuracy and roughness measures based on information theory.
文摘Christopoulou Demetra(In his work, Hermann Weyl (1926) addresses the issue of abstraction principles, an issue that has been broadly discussed during the last decades with regard to the Neo-Fregean program. This paper aims to show off the way Weyl's account of abstraction could offer a reply to Benacerraf's (1973) challenge to realism. Benacerraf argued that mathematical realism is not associated with a plausible epistemology about human access to abstract objects. Weyl deals with the method of abstraction by investigating certain cases of Fregean abstraction principles. He thinks that we can introduce shapes of geometrical images, integers mod m, circles, directions of lines etc. by means of certain creative acts of consciousness, especially intentionality towards proper relations between the elements of an initial domain. Weyl puts emphasis on intentions towards certain invariant characteristics of items that are involved in equivalence relations. Further, he claims that those invariants are transformed into ideal objects through a finite process that is involved in intuition. This paper, in the first place, attempts to make explicit Weyl's phenomenological leanings. Secondly, it argues that Weyl's explanation of how ideal mathematical objects become present to mind can address the epistemic issue concerning mathematical knowledge and can also be associated with a particular view which is implicit in his philosophy and retains realistic elements. Hence, it can address Benacerraf's problem.
基金The NSF (2024201051) of Liaoning Education Department.
文摘Let A be a normal class of algebras. In the present paper, we characterize the following four problems for A: for which radical class R, there holds that(1) R(i1∧i2) = R(i1)∧R(i2);(2) R(i1∨i2) = R(i1)∨R(i2);(3) (i1∧i2) =i1∧i2;(4) (i1∨i2) = i1∨i2, for arbitrary algebra a∈A and any i1,i2∈La,where j denotes the ideal of a uniquely determined by R(a/j) = j/j?
基金supported by National Natural Science Foundation of China(Grant Nos.11771379,11271224 and 11371290)。
文摘Let G be an infinite countable group and A be a finite set.IfΣ?A~G is a strongly irreducible subshift of finite type,we endow a locally compact and Hausdorff topology on the homoclinic equivalence relation■onΣand show that the reduced C^(*)-algebra C_(r)^(*)(■)of■is a unital simple approximately finite(AF)-dimensional C^(*)-algebra.The shift action G of onΣinduces a canonical automorphism action of G on the C^(*)-algebra C_(r)^(*)(■).We give the notion of noncommutative dynamical entropy invariants for amenable group actions on C^(*)-algebras,and show that,if G is an amenable group,then the noncommutative topological entropy of the canonical automorphism action of G on C_(r)^(*)(■)is equal to the topology entropy of the shift action of G onΣ.We also establish the variational principle with respect to the noncommutative measure entropy and the topological entropy for the C^(*)-dynamical system(C_(r)^(*)(■),G).
基金Supported by National Natural Science Foundation of China(Grant No.11201022)the Fundamental Research Funds for the Central Universities(Grant No.2015JBM101)
文摘Let A be a small abelian category.For a closed subbifunctor F of Ext_A^1(-,-),Buan has generalized the construction of Verdier’s quotient category to get a relative derived category,where he localized with respect to F-acyclic complexes.In this paper,the homological properties of relative derived categories are discussed,and the relation with derived categories is given.For Artin algebras,using relative derived categories,we give a relative version on derived equivalences induced by F-tilting complexes.We discuss the relationships between relative homological dimensions and relative derived equivalences.
基金supported by the National Key Basic Research and Development(973)Program of China(No.2007CB311003)the National Natural Science Foundation of China(Nos.61073117 and 61175046)+1 种基金the Young Science Foundation of Anhui University(No.KJQN1118)the Outstanding Young Talents Higher Education Institutions of Anhui Province(No.2011SQRL129ZD)
文摘The concept of deep learning has been applied to many domains, but the definition of a suitable problem depth has not been sufficiently explored. In this study, we propose a new Hierarchical Covering Algorithm (HCA) method to determine the levels of a hierarchical structure based on the Covering Algorithm (CA). The CA constructs neural networks based on samples' own characteristics, and can effectively handle multi-category classification and large-scale data. Further, we abstract characters based on the CA to automatically embody the feature of a deep structure. We apply CA to construct hidden nodes at the lower level, and define a fuzzy equivalence relation R on upper spaces to form a hierarchical architecture based on fuzzy quotient space theory. The covering tree naturally becomes from R. HCA experiments performed on MNIST dataset show that the covering tree embodies the deep architecture of the problem, and the effects of a deep structure are shown to be better than having a single level.