No abstract uploaded!

No abstract uploaded!

Surface conformal maps between genus-0 surfaces play important roles in applied mathematics and engineering, with applications in medical image analysis and computer graphics. Previous work (Gu and Yau in Commun Inf Syst 2(2):121–146, 2002) introduces a variational approach, where global conformal parameterization of genus-0 surfaces was addressed through minimizing the harmonic energy, with two weaknesses: its gradient descent iteration is slow, and its solutions contain undesired parameterization foldings when the underlying surface has long sharp features. In this paper, we propose an algorithm that significantly accelerates the harmonic energy minimization and a method that iteratively removes foldings by taking advantages of the weighted Laplace–Beltrami eigen-projection. Experimental results show that the proposed approaches compute genus-0 surface harmonic maps much faster than the existing algorithm in Gu and Yau (Commun Inf Syst 2(2):121–146, 2002) and the new results contain no foldings.

In this thesis, we consider some aspects of$noncommutative classical invariant theory$, i.e., noncommutative invariants of$the classical group SL(2, k)$. We develop a$symbolic method$for invariants and covariants, and we use the method to compute some invariant algebras. The subspace$Ĩ$_{d}^{m}of the noncommutative invariant algebra$Ĩ$_{$d$}consisting of homogeneous elements of degree$m$has the structure of a module over the$symmetric group S$_{$m$}. We find the explicit decomposition into irreducible modules. As a consequence, we obtain the$Hilbert series$of the commutative classical invariant algebras. The$Cayley—Sylvester theorem$and the$Hermite reciprocity law$are studied in some detail. We consider a new power series H($Ĩ$_{d},$t$) whose coefficients are the number of irreducible$S$_{$m$}-modules in the decomposition of$Ĩ$_{d}^{m}, and show that it is rational. Finally, we develop some analogues of all this for covariants.

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.