Search

The increasing deployment of robots has significantly enhanced the automation levels across a wide and diverse range of industries. This paper investigates the automation challenges of laser-based dermatology procedures in the beauty industry; This group of related manipulation tasks involves delivering energy from a cosmetic laser onto the skin with repetitive patterns. To automate this procedure, we propose to use a robotic manipulator and endow it with the dexterity of a skilled dermatology practitioner through a learning-from-demonstration framework. To ensure that the cosmetic laser can properly deliver the energy onto the skin surface of an individual, we develop a novel structured prediction-based imitation learning algorithm with the merit of handling geometric constraints. Notably, our proposed algorithm effectively tackles the imitation challenges associated with quasi-periodic motions, a common feature of many laser-based cosmetic tasks. The conducted real-world experiments illustrate the performance of our robotic beautician in mimicking realistic dermatological procedures; Our new method is shown to not only replicate the rhythmic movements from the provided demonstrations but also to adapt the acquired skills to previously unseen scenarios and subjects.

We introduce the 3-alterfold topological quantum field theory (TQFT) by extending the quantum invariant of 3-alterfolds. The bases of the TQFT are explicitly characterized and the Levin-Wen model is naturally interpreted in 3-alterfold TQFT bases. By naturally considering the RT TQFT and TV TQFT as sub-TQFTs within the 3-alterfold TQFT, we establish their equivalence. The 3-alterfold TQFT is unitary when the input fusion category is unitary. Additionally, we extend the 3-alterfold TQFT to the Morita context and demonstrate that Morita equivalent fusion categories yield equivalent TV TQFTs. We also provide a simple pictorial proof of complete positivity criteria for unitary categorization when the 3-alterfold TQFT is unitary. Expanding our scope to high-genus surfaces by replacing the torus, we introduce the high genus topological indicators and proving the equivariance under the mapping class group actions., Comment: 35 pages

Image style transfer is a challenging task in computational vision. Existing algorithms transfer the color and texture of style images by controlling the neural network's feature layers. However, they fail to control the strength of textures in different regions of the content image. To address this issue, we propose a training method that uses a loss function to constrain the style intensity in different regions. This method guides the transfer strength of style features in different regions based on the gradient relationship between style and content images. Additionally, we introduce a novel feature fusion method that linearly transforms content features to resemble style features while preserving their semantic relationships. Extensive experiments have demonstrated the effectiveness of our proposed approach.

In this paper, we introduce the concept of 3-alterfolds with embedded separating surfaces. When the separating surface is decorated by a spherical fusion category, we obtain quantum invariants of 3-alterfold, which is consistent with many topological moves. These moves provide evaluation algorithms for various presentations of 3-alterfold, e.g. Heegaard splittings, triangulations, link surgeries. In particular, we obtain quantum invariants of 3-manifolds containing surfaces, generalizing those of 3-manifolds containing framed links. Moreover, in this framework, we topologize fundamental algebraic concepts. For instance, we implement the Drinfeld center by tube diagrams as a blow up of framed links. The topologized center leads to a quick proof of the equality between the Reshetikhin-Turaev invariants and the Turaev-Viro invariants for spherical fusion categories. In addition, we topologize half-braiding, $S$-matrix and the generalized Frobenius-Schur indicators, etc. In particular, the latter leads to a quick topological proof of the equivariance of the generalized Frobenius-Schur indicators., Comment: 53 pages, 168 figures

We introduce $\mathfrak{F}$-positive elements in planar algebras. We establish the Perron-Frobenius theorem for $\mathfrak{F}$-positive elements. We study the existence and uniqueness of the Perron-Frobenius eigenspace. When it is not one-dimensional, we characterize its multiplicative structure. Moreover, we consider the Perron-Frobenius eigenspace as the space of logical qubits for mixed states in quantum information. We describe the relation between these mathematical results and quantum error correction, especially to the Knill-Laflamme theorem., Comment: Some revisions have been made to Section 4

In this paper, we investigate quantum Fourier analysis on subfactors and unitary fusion categories. We prove the complete positivity of the comultiplication for subfactors and derive a primary $n$-criterion of unitary categorifcation of multifusion rings. It is stronger than the Schur product criterion when $n\geq3$. The primary criterion could be transformed into various criteria which are easier to check in practice even for noncommutative, high-rank, high-multiplicity, multifusion rings. More importantly, the primary criterion could be localized on a sparse set, so that it works for multifusion rings with sparse known data. We give numerous examples to illustrate the efficiency and the power of these criteria., Comment: 34 pages

In this paper, we introduce Frobenius von Neumann algebras and study quantum convolution inequalities. In this framework, we unify quantum Young's inequality on quantum symmetries such as subfactors, and fusion bi-algebras studied in quantum Fourier analysis. Moreover, we prove quantum entropic convolution inequalities and characterize the extremizers in the subfactor case. We also prove quantum smooth entropic convolution inequalities. We obtain the positivity of comultiplications of subfactor planar algebras, which is stronger than the quantum Schur product theorem. All these inequalities provide analytic obstructions of unitary categorification of fusion rings stronger than Schur product criterion., Comment: 25 pages

In this article, we prove various smooth uncertainty principles on von Neumann bi-algebras, which unify numbers of uncertainty principles on quantum symmetries, such as subfactors, and fusion bi-algebras etc, studied in quantum Fourier analysis. We also obtain Widgerson-Wigderson type uncertainty principles for von Neumann bi-algebras. Moreover, we give a complete answer to a conjecture proposed by A. Wigderson and Y. Wigderson., Comment: 20pages, 1 figure

{\em Quantum Fourier analysis} is a new subject that combines an algebraic Fourier transform (pictorial in the case of subfactor theory) with analytic estimates. This provides interesting tools to investigate phenomena such as quantum symmetry. We establish bounds on the quantum Fourier transform $\FS$, as a map between suitably defined $L^{p}$ spaces, leading to a new uncertainty principle for relative entropy. We cite several applications of the quantum Fourier analysis in subfactor theory, in category theory, and in quantum information. We suggest a new topological inequality, and we outline several open problems.

In this paper, we propose intelligent reflecting surfaces (IRS) assisted secure wireless communications with multi-input and multi-output antennas (IRS-MIMOME). The considered scenario is an access point (AP) equipped with multiple antennas communicates with a multi-antenna enabled legitimate user in the downlink at the present of an eavesdropper configured with multiple antennas. Particularly, the joint optimization of the transmit covariance matrix at the AP and the reflecting coefficients at the IRS to maximize the secrecy rate for the IRS-MIMOME system is investigated, with two different assumptions on the phase shifting capabilities at the IRS, i.e., the IRS has the continuous reflecting coefficients and the IRS has the discrete reflecting coefficients. For the former case, due to the non-convexity of the formulated problem, an alternating optimization (AO)-based algorithm is proposed, i.e., for given the reflecting coefficients at the IRS, the successive convex approximation (SCA)-based algorithm is used to solve the transmit covariance matrix optimization, while given the transmit covariance matrix at the AP, alternative optimization is used again in individually optimizing of each reflecting coefficient at the IRS with other fixed reflecting coefficients. For the individual reflecting coefficient optimization, the close-form or an interval of the optimal solution is provided. Then, the proposed algorithm is extended to the discrete reflecting coefficient model at the IRS. Finally, some numerical simulations have been done to demonstrate that the proposed algorithm outperforms other benchmark schemes., Comment: 26 pages, 5 figures