because of using principles such as principality, unity, gradation of existence and concomitance between existence and unity, along with an exhaustive understanding of ibn sina's philosophical principle about our knowledge of unity and multiplicity, mulla sadra believed new philosophical-aesthetical principles such as principality, unity and gradation of beauty, though he didn't use t...

unity is one of the most important social issues in the holy religion of islam. unity makes possible entanglement from dependencies, success in settling social issues, and firmness in confronting conspiracies and invasions. since islam is a religion of kindness and brotherhood, it invites its followers to engage in being united, which will, however, never be achieved without resolving conflicts...

in this paper, we try to determine the status of the relation between dahr world and matrial world. the conclusion shows the subjective duality and objective unity of dahr and material entities. two interpretations of this duality can be suggested. in the first interpretation, this unity, and the duality supposed, are explained on the basis of different intellectual cognition of immaterial and ...

A k-element subset D of a finite multiplicative group G of order v is called a (v, k, λ, μ)partial difference set in G (PDS) provided that the multiset of ‘differences’ {d1d −1 2 | d1, d2 ∈ D, d1 6= d2} contains each nonidentity element of D exactly λ times and each nonidentity element in G\D exactly μ times. See [11] for background on partial difference sets. We will limit our attention to abe...

A classical result of MacMahon gives a simple product formula for the generating function of major index over the symmetric group. A similar factorial-type product formula for the generating function of major index together with sign was given by Gessel and Simion. Several extensions are given in this paper, including a recurrence formula, a specialization at roots of unity and type B analogues.

The difference between EVALP(C,D) and EVAL(C,D) is that EVALP(C,D) fixes the value of a vertex w by i. We want to prove EVALP(C,D) ≡ EVAL(C,D). It is easy to see that EVAL(C,D) ≤ EVALP(C,D). Thus, we only need to prove the other direction. First, we define the notion of a discrete unitary matrix. Definition 1. Let F ∈ C be a matrix. We say F is M-discrete unitary for some positive integer M if ...

In this correspondence we give several new families of binary sequences of period with optimal three-level autocorrelation, where 2(mod 4). These sequences are either balanced or almost balanced. Our construction is based on cyclotomy.

We study quadratic forms that can occur as trace forms qL/K of Galois field extensions L/K, under the assumption that K contains a primitive 4th root of unity. M. Epkenhans conjectured that qL/K is always a scaled Pfister form. We prove this conjecture and classify the finite groups G which admit a G-Galois extension L/K with a nonhyperbolic trace form. We also give several applications of thes...

7 Periodic Series and Functions 128 7.1 Basic Trigonometric Identities . . . . . . . . . . . . . . . . . . 128 7.2 Basic Trigonometric Integrals . . . . . . . . . . . . . . . . . . 130 7.3 Basic Properties of Complex Numbers . . . . . . . . . . . . . 131 7.4 Complex Numbers and Trigonometrical Identities . . . . . . . 133 7.5 The Exponential of a Complex Number . . . . . . . . . . . . . 133 7.6...

A reflective subuniverse in homotopy type theory is an internal version of the notion a localization topology or ∞-categories. Working theory, we give new characterizations following conditions on L: (1) associated L′ L-separated types modality; (2) L (3) lex and (4) cotopological modality. In each case, several necessary sufficient conditions. Our involve various families maps to L, such as L-...