Nothing Special   »   [go: up one dir, main page]

You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (108)

Search Parameters:
Keywords = tensor algebra

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
23 pages, 686 KiB  
Article
A System of Tensor Equations over the Dual Split Quaternion Algebra with an Application
by Liuqing Yang, Qing-Wen Wang and Zuliang Kou
Mathematics 2024, 12(22), 3571; https://doi.org/10.3390/math12223571 - 15 Nov 2024
Viewed by 270
Abstract
In this paper, we propose a definition of block tensors and the real representation of tensors. Equipped with the simplification method, i.e., the real representation along with the M-P inverse, we demonstrate the conditions that are necessary and sufficient for the system of [...] Read more.
In this paper, we propose a definition of block tensors and the real representation of tensors. Equipped with the simplification method, i.e., the real representation along with the M-P inverse, we demonstrate the conditions that are necessary and sufficient for the system of dual split quaternion tensor equations (ANX,XSC)=(B,D), when its solution exists. Furthermore, the general expression of the solution is also provided when the solution of the system exists, and we use a numerical example to validate it in the last section. To the best of our knowledge, this is the first time that the aforementioned tensor system has been examined on dual split quaternion algebra. Additionally, we provide its equivalent conditions when its Hermitian solution X=X and η-Hermitian solutions X=Xη exist. Subsequently, we discuss two special dual split quaternion tensor equations. Last but not least, we propose an application for encrypting and decrypting two color videos, and we validate this algorithm through a specific example. Full article
(This article belongs to the Special Issue Advances of Linear and Multilinear Algebra)
Show Figures

Figure 1

Figure 1
<p>The model for encrypting two videos.</p>
Full article ">Figure 2
<p>The original, encrypted, and decrypted images of randomly selected slices from color videos <math display="inline"><semantics> <msub> <mi mathvariant="script">X</mi> <mn>0</mn> </msub> </semantics></math> and <math display="inline"><semantics> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> </semantics></math>.</p>
Full article ">
65 pages, 2635 KiB  
Tutorial
Understanding the Flows of Signals and Gradients: A Tutorial on Algorithms Needed to Implement a Deep Neural Network from Scratch
by Przemysław Klęsk
Appl. Sci. 2024, 14(21), 9972; https://doi.org/10.3390/app14219972 - 31 Oct 2024
Viewed by 364
Abstract
Theano, TensorFlow, Keras, Torch, PyTorch, and other software frameworks have remarkably stimulated the popularity of deep learning (DL). Apart from all the good they achieve, the danger of such frameworks is that they unintentionally spur a black-box attitude. Some practitioners play around with [...] Read more.
Theano, TensorFlow, Keras, Torch, PyTorch, and other software frameworks have remarkably stimulated the popularity of deep learning (DL). Apart from all the good they achieve, the danger of such frameworks is that they unintentionally spur a black-box attitude. Some practitioners play around with building blocks offered by frameworks and rely on them, having a superficial understanding of the internal mechanics. This paper constitutes a concise tutorial that elucidates the flows of signals and gradients in deep neural networks, enabling readers to successfully implement a deep network from scratch. By “from scratch”, we mean with access to a programming language and numerical libraries but without any components that hide DL computations underneath. To achieve this goal, the following five topics need to be well understood: (1) automatic differentiation, (2) the initialization of weights, (3) learning algorithms, (4) regularization, and (5) the organization of computations. We cover all of these topics in the paper. From a tutorial perspective, the key contributions include the following: (a) proposition of R and S operators for tensors—rashape and stack, respectively—that facilitate algebraic notation of computations involved in convolutional, pooling, and flattening layers; (b) a Python project named hmdl (“home-made deep learning”); and (c) consistent notation across all mathematical contexts involved. The hmdl project serves as a practical example of implementation and a reference. It was built using NumPy and Numba modules with JIT and CUDA amenities applied. In the experimental section, we compare hmdl implementation to Keras (backed with TensorFlow). Finally, we point out the consistency of the two in terms of convergence and accuracy, and we observe the superiority of the latter in terms of efficiency. Full article
(This article belongs to the Special Issue Advanced Digital Signal Processing and Its Applications)
Show Figures

Figure 1

Figure 1
<p>Milestones in the history of neural networks and deep learning [<a href="#B3-applsci-14-09972" class="html-bibr">3</a>,<a href="#B4-applsci-14-09972" class="html-bibr">4</a>,<a href="#B5-applsci-14-09972" class="html-bibr">5</a>,<a href="#B6-applsci-14-09972" class="html-bibr">6</a>,<a href="#B7-applsci-14-09972" class="html-bibr">7</a>,<a href="#B8-applsci-14-09972" class="html-bibr">8</a>,<a href="#B9-applsci-14-09972" class="html-bibr">9</a>,<a href="#B10-applsci-14-09972" class="html-bibr">10</a>,<a href="#B11-applsci-14-09972" class="html-bibr">11</a>,<a href="#B12-applsci-14-09972" class="html-bibr">12</a>,<a href="#B13-applsci-14-09972" class="html-bibr">13</a>,<a href="#B14-applsci-14-09972" class="html-bibr">14</a>,<a href="#B15-applsci-14-09972" class="html-bibr">15</a>,<a href="#B16-applsci-14-09972" class="html-bibr">16</a>,<a href="#B17-applsci-14-09972" class="html-bibr">17</a>,<a href="#B18-applsci-14-09972" class="html-bibr">18</a>,<a href="#B19-applsci-14-09972" class="html-bibr">19</a>,<a href="#B20-applsci-14-09972" class="html-bibr">20</a>,<a href="#B21-applsci-14-09972" class="html-bibr">21</a>,<a href="#B22-applsci-14-09972" class="html-bibr">22</a>,<a href="#B23-applsci-14-09972" class="html-bibr">23</a>,<a href="#B24-applsci-14-09972" class="html-bibr">24</a>,<a href="#B25-applsci-14-09972" class="html-bibr">25</a>,<a href="#B26-applsci-14-09972" class="html-bibr">26</a>,<a href="#B27-applsci-14-09972" class="html-bibr">27</a>,<a href="#B28-applsci-14-09972" class="html-bibr">28</a>,<a href="#B29-applsci-14-09972" class="html-bibr">29</a>,<a href="#B30-applsci-14-09972" class="html-bibr">30</a>,<a href="#B31-applsci-14-09972" class="html-bibr">31</a>,<a href="#B32-applsci-14-09972" class="html-bibr">32</a>,<a href="#B33-applsci-14-09972" class="html-bibr">33</a>,<a href="#B34-applsci-14-09972" class="html-bibr">34</a>,<a href="#B35-applsci-14-09972" class="html-bibr">35</a>].</p>
Full article ">Figure 2
<p>Example medium-sized deep network built with popular layer types: convolutional, max pooling, dropout, flattening, and dense (prepared for the CIFAR-10 data set; see experiment with ID 3392187021 in <a href="#sec8-applsci-14-09972" class="html-sec">Section 8</a>).</p>
Full article ">Figure 3
<p>Example of a simple neural network for 10-class classification.</p>
Full article ">Figure 4
<p>Illustration of forward and backward computations at the junction of two convolutional layers <math display="inline"><semantics> <mi>α</mi> </semantics></math> and <math display="inline"><semantics> <mi>β</mi> </semantics></math> for the network structure from <a href="#applsci-14-09972-f003" class="html-fig">Figure 3</a>.</p>
Full article ">Figure 5
<p>Forward computations of max and average pooling for <math display="inline"><semantics> <mrow> <mi>S</mi> <mo>=</mo> <mn>4</mn> </mrow> </semantics></math>.</p>
Full article ">Figure 6
<p>Illustration of backward computations for flattening and dropout layers. High dropout rate <math display="inline"><semantics> <mrow> <msup> <mi>r</mi> <mo>*</mo> </msup> <mo>=</mo> <mn>0.875</mn> </mrow> </semantics></math> chosen for readability of surviving connections.</p>
Full article ">Figure 7
<p>Illustration of two stages of backward computations for a dense layer using a softmax activation function.</p>
Full article ">Figure 8
<p>Forward pass leading to exploding signals: a fake network consisting of 100 dense layers with 512 neurons each (no activations) and intial weights drawn from a standard normal distribution.</p>
Full article ">Figure 9
<p>Fake forward pass leading to vanishing signals due to intial weights drawn from a normal distribution with standard deviation scaled by <math display="inline"><semantics> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>2</mn> </mrow> </msup> </semantics></math>, regardless of <span class="html-italic">N</span>.</p>
Full article ">Figure 10
<p>Fake forward pass leading to a stable numerical behavior due to initial weights drawn from a properly scaled normal distribution with standard deviation <math display="inline"><semantics> <mrow> <mn>1</mn> <mo>/</mo> <msqrt> <mi>N</mi> </msqrt> </mrow> </semantics></math>.</p>
Full article ">Figure 11
<p>Training costs (losses) of Adam and other SGD algorithms on MNIST (<b>a</b>) and CIFAR-10 (<b>b</b>) data sets. Source: (Kingma and Ba, 2014) [<a href="#B25-applsci-14-09972" class="html-bibr">25</a>].</p>
Full article ">Figure 12
<p>UML class diagram of <span class="html-italic">hdml</span> project (<a href="https://github.com/pklesk/hmdl/blob/main/uml/classes.pdf" target="_blank">https://github.com/pklesk/hmdl/blob/main/uml/classes.pdf</a>) (accessed on 17 October 2024).</p>
Full article ">Figure 13
<p>Functions executing forward and backward computations from the abstract class <tt>Layer</tt>.</p>
Full article ">Figure 14
<p>The core of the <tt>fit</tt> function of <tt>SequentialClassifier</tt>. The main training loop (over epochs and batches) executes forward and backward computations through layers for each batch.</p>
Full article ">Figure 15
<p>Forward and backward passes for <tt>SequentialClassifier</tt>.</p>
Full article ">Figure 16
<p>Automatic differentiation for class <tt>Flatten</tt>.</p>
Full article ">Figure 17
<p>Automatic differentiation for class <tt>Dropout</tt>.</p>
Full article ">Figure 18
<p>Automatic differentiation for class <tt>Dense</tt>.</p>
Full article ">Figure 19
<p>Forward computations for class <tt>MaxPool2D</tt>: the simplest <tt>numpy</tt>-based variant.</p>
Full article ">Figure 20
<p>Backward computations for class <tt>MaxPool2D</tt>: the simplest <tt>numpy</tt>-based variant.</p>
Full article ">Figure 21
<p>Backward computations of gradient for class <tt>Conv2D</tt>: the simplest <tt>numpy</tt>-based variant (GEMM).</p>
Full article ">Figure 22
<p>Backward computations of error propagation for class <tt>Conv2D</tt>: the simplest <tt>numpy</tt>-based variant (GEMM).</p>
Full article ">Figure 23
<p>Execution times of convolutional layers (64 input and 64 output channels; batch size: 32) for different implementation variants, filter sizes, and image sizes. For details of the hardware and software environment see page 42.</p>
Full article ">Figure 24
<p>Functions for Glorot initalization of weights in the hmdl project.</p>
Full article ">Figure 25
<p>Functions for He initalization of weights in the hmdl project.</p>
Full article ">Figure 26
<p>Implementation of Adam (coupled with regularization) in the hmdl project.</p>
Full article ">Figure 27
<p>Sample images from data sets applied in experiments.</p>
Full article ">Figure 28
<p>Main settings for an experiment in script <tt>experimenter.py</tt>.</p>
Full article ">Figure 29
<p>Description of a network structure in the hmdl project, declared in <tt>experimenter.py</tt>.</p>
Full article ">Figure 30
<p>Choice of data set, randomization seed, and other settings in the script <tt>experimenter.py</tt>.</p>
Full article ">Figure A1
<p>Forward computations for class <tt>MaxPool2D</tt>: variant based on <tt>numba</tt>’s just-in-time compilation.</p>
Full article ">Figure A2
<p>Backward computations for class <tt>MaxPool2D</tt>: variant based on <tt>numba</tt>’s just-in-time compilation.</p>
Full article ">Figure A3
<p>Forward computations for class <tt>MaxPool2D</tt>: variant implemented for GPU computations using <tt>numba.cuda</tt> module.</p>
Full article ">Figure A4
<p>CUDA kernel function <tt>do_forward_numba_cuda_direct_job</tt> for forward max pooling computations invoked via function <tt>do_forward_numba_cuda_direct</tt>.</p>
Full article ">Figure A5
<p>Backward computations for class <tt>MaxPool2D</tt>: variant implemented for GPU computations using <tt>numba.cuda</tt> module.</p>
Full article ">Figure A6
<p>CUDA kernel function <tt>do_backward_numba_cuda_direct_job</tt> for backward max pooling computations invoked via function <tt>do_backward_numba_cuda_direct</tt>.</p>
Full article ">Figure A7
<p>Backward computations of gradient for class <tt>Conv2D</tt>: variant based on <tt>numba</tt>’s just-in-time compilation.</p>
Full article ">Figure A8
<p>Backward computations of gradient for class <tt>Conv2D</tt>: variant based directly on definition, using GPU computations and <tt>numba.cuda</tt>.</p>
Full article ">Figure A9
<p>CUDA kernel function <tt>do_backward_numba_cuda_direct_job</tt> for backward convolutional computations invoked via function <tt>do_backward_numba_cuda_direct</tt>.</p>
Full article ">Figure A10
<p>Backward computations of gradient for class <tt>Conv2D</tt>: variant based on tiles, using GPU and <tt>numba.cuda</tt>.</p>
Full article ">Figure A11
<p>CUDA kernel function <tt>do_backward_numba_cuda_tiles_job</tt> for backward convolutional computations invoked via function <tt>do_backward_numba_cuda_tiles</tt>.</p>
Full article ">
21 pages, 1612 KiB  
Article
Effects of Anisotropy, Convection, and Relaxation on Nonlinear Reaction-Diffusion Systems
by Juan I. Ramos
Computation 2024, 12(11), 214; https://doi.org/10.3390/computation12110214 - 25 Oct 2024
Viewed by 337
Abstract
The effects of relaxation, convection, and anisotropy on a two-dimensional, two-equation system of nonlinearly coupled, second-order hyperbolic, advection–reaction–diffusion equations are studied numerically by means of a three-time-level linearized finite difference method. The formulation utilizes a frame-indifferent constitutive equation for the heat and mass [...] Read more.
The effects of relaxation, convection, and anisotropy on a two-dimensional, two-equation system of nonlinearly coupled, second-order hyperbolic, advection–reaction–diffusion equations are studied numerically by means of a three-time-level linearized finite difference method. The formulation utilizes a frame-indifferent constitutive equation for the heat and mass diffusion fluxes, taking into account the tensorial character of the thermal diffusivity of heat and mass diffusion. This approach results in a large system of linear algebraic equations at each time level. It is shown that the effects of relaxation are small although they may be noticeable initially if the relaxation times are smaller than the characteristic residence, diffusion, and reaction times. It is also shown that the anisotropy associated with one of the dependent variables does not have an important role in the reaction wave dynamics, whereas the anisotropy of the other dependent variable results in transitions from spiral waves to either large or small curvature reaction fronts. Convection is found to play an important role in the reaction front dynamics depending on the vortex circulation and radius and the anisotropy of the two dependent variables. For clockwise-rotating vortices of large diameter, patterns similar to those observed in planar mixing layers have been found for anisotropic diffusion tensors. Full article
Show Figures

Figure 1

Figure 1
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1001.</p>
Full article ">Figure 2
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1001.</p>
Full article ">Figure 3
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1002.</p>
Full article ">Figure 4
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1002.</p>
Full article ">Figure 5
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>left</b>) and <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>right</b>) at <math display="inline"><semantics> <mrow> <mrow> <mo>(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> <mo>=</mo> <mfenced separators="" open="(" close=")"> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </mrow> </semantics></math> (continuous line, red), <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo>)</mo> </mrow> </semantics></math> (dashed line, green) and <math display="inline"><semantics> <mfenced separators="" open="(" close=")"> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </semantics></math> (dashed-dotted line, blue) for parameter set 1000 (first row), 1001 (second row), 1002 (third row), and 1003 (third row).</p>
Full article ">Figure 6
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>left</b>) and <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>right</b>) at <math display="inline"><semantics> <mrow> <mrow> <mo>(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> <mo>=</mo> <mfenced separators="" open="(" close=")"> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </mrow> </semantics></math> (continuous line, red), <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo>)</mo> </mrow> </semantics></math> (dashed line, green) and <math display="inline"><semantics> <mfenced separators="" open="(" close=")"> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </semantics></math> (dashed-dotted line, blue) for parameter set 1011 (first row), 2008 (second row), 2009 (third row) and 2010 (third row).</p>
Full article ">Figure 7
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>left</b>) and <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>right</b>) at <math display="inline"><semantics> <mrow> <mrow> <mo>(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> <mo>=</mo> <mfenced separators="" open="(" close=")"> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </mrow> </semantics></math> (continuous line, red), <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo>)</mo> </mrow> </semantics></math> (dashed line, green) and <math display="inline"><semantics> <mfenced separators="" open="(" close=")"> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </semantics></math> (dashed-dotted line, blue) for parameter set 1023 (first row), 2020 (second row), 2021 (third row) and 2022 (third row).</p>
Full article ">Figure 8
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>u</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>left</b>) and <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> (<b>right</b>) at <math display="inline"><semantics> <mrow> <mrow> <mo>(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> <mo>=</mo> <mfenced separators="" open="(" close=")"> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mo>−</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </mrow> </semantics></math> (continuous line, red), <math display="inline"><semantics> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo>)</mo> </mrow> </semantics></math> (dashed line, green) and <math display="inline"><semantics> <mfenced separators="" open="(" close=")"> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> <mo>,</mo> <mstyle scriptlevel="0" displaystyle="true"> <mfrac> <mi>L</mi> <mn>2</mn> </mfrac> </mstyle> </mfenced> </semantics></math> (dashed-dotted line, blue) for parameter set 2009 (first row), 2013 (second row), 2021 (third row), and 2025 (third row).</p>
Full article ">Figure 9
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1024.</p>
Full article ">Figure 10
<p>(Color online) <math display="inline"><semantics> <mrow> <mi>v</mi> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>)</mo> </mrow> </semantics></math> at (from <b>left</b> to <b>right</b> and <b>top</b> to <b>bottom</b>) <math display="inline"><semantics> <mrow> <mi>t</mi> <mo>=</mo> <mn>50</mn> </mrow> </semantics></math>, 55, 60, 65, 70, 75, 80, 85, and 90 for parameter set 1025.</p>
Full article ">
24 pages, 6178 KiB  
Article
An Exploratory Study of a Choreographic Approach to Golf Swing Dynamics: Bridging Biomechanics and Laban Movement Analysis
by Wangdo Kim, Albert H. Vette, Wanda Ottes and Colleen Wahl
Sensors 2024, 24(21), 6845; https://doi.org/10.3390/s24216845 - 24 Oct 2024
Viewed by 1065
Abstract
This study introduces an innovative integration of Laban Movement Analysis (LMA) with biomechanical principles to examine the golf swing dynamics from an ecological perspective. Traditionally, LMA focuses on the qualitative aspects of movement, often isolated from external influences. This research bridges that gap [...] Read more.
This study introduces an innovative integration of Laban Movement Analysis (LMA) with biomechanical principles to examine the golf swing dynamics from an ecological perspective. Traditionally, LMA focuses on the qualitative aspects of movement, often isolated from external influences. This research bridges that gap by investigating how golfers manage and adapt to the inertial forces of the club throughout the swing. Using motion tracking sensors and screw theory, we analyzed the spatial movement pattern in the Kinesphere (mapped as an icosahedron) and related it to force dynamics in the Effort Cube through the inertia tensor. The results showed significant differences between skilled and novice golfers in terms of how efficiently they align their movements with the club’s inertia. Skilled golfers demonstrated smoother Instantaneous Screw Axes (ISAs) and better synchronization with inertia forces, while novice golfers exhibited more abrupt deviations. These findings suggest that integrating qualitative movement descriptors with biomechanical models provides deeper insights into swing efficiency, performance improvement, and injury prevention. This combined framework offers a novel method to enhance both qualitative and quantitative analysis of golf swings. Full article
(This article belongs to the Section Biomedical Sensors)
Show Figures

Figure 1

Figure 1
<p>(<b>a</b>) Laban’s Effort Graph. This Effort graph, created by Rudolf Laban, illustrates the organization of inner intent or motivation behind a movement. The graph delineates the polarities of the four Effort qualities: Weight, Time, Space, and Flow. Each Effort quality has two opposing characteristics: Weight Effort ranges from light to strong, indicating the force exerted in a movement. Time Effort ranges from sustained to quick, reflecting the speed and acceleration of a movement. Space Effort ranges from direct to indirect, representing the focus and clarity of the movement’s path. Flow Effort ranges from free to bound, describing the continuity and control of the movement. The bottom-left panels show true 3D directions, illustrating the spatial orientation of movements, while the bottom-right panel shows the “Effort cube”, representing the combination of Effort elements in a three-dimensional framework. Effort quality in the context of the swing also directly impacts efficiency and timing. For instance, a ‘free flow’ in the effort action ‘press’—strong, direct, and sustained—can be seen in the even application of force through the impact with the ball, maximizing transfer of energy without unnecessary resistance. The implementation of LMA in this context serves as an innovative method to convey the complex biomechanical and qualitative nuances of the golf swing. The inclusion of these Effort Actions within training regimens may enhance a golfer’s understanding of the physical and psychological elements at play, potentially leading to improved performance and a deeper appreciation for the subtleties of the sport. (<b>b</b>) The ‘A’ scale inclinations illustrate the specific body alignments and movements associated with various phases of the golf swing. These inclinations represent the movements across the three spatial planes—horizontal, vertical, and sagittal. The scale integrates these planes through a series of 12 transversal units, comprising six on the right and six on the left, capturing a range of motions from flat and steep to flowing. This structure effectively links the angular dimensions of the three planes to the dynamic movements of the golfer.</p>
Full article ">Figure 1 Cont.
<p>(<b>a</b>) Laban’s Effort Graph. This Effort graph, created by Rudolf Laban, illustrates the organization of inner intent or motivation behind a movement. The graph delineates the polarities of the four Effort qualities: Weight, Time, Space, and Flow. Each Effort quality has two opposing characteristics: Weight Effort ranges from light to strong, indicating the force exerted in a movement. Time Effort ranges from sustained to quick, reflecting the speed and acceleration of a movement. Space Effort ranges from direct to indirect, representing the focus and clarity of the movement’s path. Flow Effort ranges from free to bound, describing the continuity and control of the movement. The bottom-left panels show true 3D directions, illustrating the spatial orientation of movements, while the bottom-right panel shows the “Effort cube”, representing the combination of Effort elements in a three-dimensional framework. Effort quality in the context of the swing also directly impacts efficiency and timing. For instance, a ‘free flow’ in the effort action ‘press’—strong, direct, and sustained—can be seen in the even application of force through the impact with the ball, maximizing transfer of energy without unnecessary resistance. The implementation of LMA in this context serves as an innovative method to convey the complex biomechanical and qualitative nuances of the golf swing. The inclusion of these Effort Actions within training regimens may enhance a golfer’s understanding of the physical and psychological elements at play, potentially leading to improved performance and a deeper appreciation for the subtleties of the sport. (<b>b</b>) The ‘A’ scale inclinations illustrate the specific body alignments and movements associated with various phases of the golf swing. These inclinations represent the movements across the three spatial planes—horizontal, vertical, and sagittal. The scale integrates these planes through a series of 12 transversal units, comprising six on the right and six on the left, capturing a range of motions from flat and steep to flowing. This structure effectively links the angular dimensions of the three planes to the dynamic movements of the golfer.</p>
Full article ">Figure 2
<p>Displayed here are the positions of reflective markers on a golfer at the moment the club addresses the ball. This setup was used to capture the biomechanical data originally recorded, detailing the anatomical landmarks critical for analyzing movement dynamics. The separate panel shows detailed placements on the hand, essential for understanding the grip dynamics and the resultant force transmission through the golfer’s body during the swing. The origin of the global frame coincides with the first COP location of the left foot.</p>
Full article ">Figure 3
<p>X-Scale positions in a golf swing. This figure illustrates the X-Scale positions specific to a golf swing, mapping key phases of the swing to spatial orientations and movements. Top Diagram: X1 to X11: Symbols representing key positions in the golf swing, indicating directional movements and spatial orientation in three planes (vertical, horizontal, and sagittal). Bottom Diagram: Golfer’s Swing Path: Arrows show the path of the golf club throughout the swing, from the start position to the follow-through, illustrating the continuous motion and flow. X1: Start position, club down in front of the golfer. X2: Right sideward middle (door plane, vertical). X3: Right backward high (table plane, horizontal). X4: Top of backswing, backward high (wheel plane, sagittal). X5: Right backward high (table plane, horizontal). X6: Right sideward middle (door plane, vertical). X7: Forward low (wheel plane, sagittal). X8: Left backward low (table plane, horizontal). X9: Left middle (door plane, vertical). X10: Left backward high (table plane, horizontal). X11: Follow-through, backward high (wheel plane, sagittal).</p>
Full article ">Figure 4
<p>Comparison of Effort Cube panels. The figure demonstrates the integration of a, b, and c planes with arrows indicating the correct spatial orientations. The human figures expressing the three planes are labeled with the same a, b, and c labels for clarity. The red, blue, and green colors represent a two-dimensional projection of the Effort Cube, visualizing the “three unequal spatial pulls.” It is important to focus on the arrows to correctly interpret the spatial relationships depicted in the figure. This figure illustrates Laban’s Effort Graph diagram, which integrates three key dimensions of movement: (<b>a</b>) high/deep or the Weight plane, representing vertical movements and the distribution of weight; (<b>b</b>) side-to-side or the Space plane, depicting lateral movements and spatial orientation; (<b>c</b>) forward/backward or the Time plane, indicating movements related to timing and progression. (<b>d</b>) Shows a two-dimensional projection of the Effort Cube, simplifying the analysis by focusing on movement within a single plane. (<b>e</b>) Presents an X-marked schematic within the bounds of the Effort Cube, highlighting specific movement patterns and the intersections of the three dimensions. This figure is crucial for understanding how the dynamic qualities of movement are analyzed and interpreted using Laban’s framework.</p>
Full article ">Figure 5
<p>This figure illustrates the grip reference frame attached at the center of the end of the club shaft. The spatial inertia tensor, computed with reference to the origin of the grip coordinate system, is depicted showing its principal axes and moments of inertia. This representation highlights how the inertia tensor transforms at any point along the wrist joint axis ‘A’, emphasizing the consistent eigenvalues irrespective of the positioning. The spatial arrangement allows us to explore how the inertia impacts the golfer’s control over the club during dynamic movements.</p>
Full article ">Figure 6
<p>This figure illustrates the Instantaneous Screw Axis (ISA) represented for the golf club (solid lines depicted in blue) and the principal axes of inertia (e3 dashed lines depicted in red) during a novice golfer’s swing. The paths projected onto the medial and superior sides illustrate the motion dynamics, showing the lack of alignment between perceived inertia and actual movement paths, indicative of the novice’s struggle with effective force management and synchronization. The arrow indicates where the subsequent axes have migrated at every 0.0333 s of time step (units in cm). Adapted from [<a href="#B14-sensors-24-06845" class="html-bibr">14</a>], “Haptic Perception-Action Coupling Manifold of Effective Golf Swing”, International Journal of Golf Science, 2(1), 10–32. The axes reference their initial description and orientation as detailed in <a href="#sensors-24-06845-f002" class="html-fig">Figure 2</a>.</p>
Full article ">Figure 7
<p>Showcased here is the proficient golfer’s ability to synchronize her swing dynamics effectively, as evidenced by the figure that illustrates alignment between the Instantaneous Screw Axis (ISA) represented for the golf club. and the e3 (dashed lines depicted in red). This alignment demonstrates her adept perception-action coupling, allowing her to voluntarily harness the club’s inertia to optimize swing mechanics and energy flow, contrasted with the novice’s disjointed motion paths. Adapted from [<a href="#B14-sensors-24-06845" class="html-bibr">14</a>] “Haptic Perception-Action Coupling Manifold of Effective Golf Swing”, International Journal of Golf Science, 2(1), 10–32.</p>
Full article ">Figure 8
<p>This image embodies the application of the LMA framework, illustrating how the golfer’s body dynamically adapts to the contour of the club’s inertia envelope during the downswing. <a href="#sensors-24-06845-f008" class="html-fig">Figure 8</a> is a projection of <a href="#sensors-24-06845-f007" class="html-fig">Figure 7</a> in the XZ plane, providing a detailed view of the spatial relationships and orientations of the vectors involved. The red dashed contour marks the principal axis of inertia of the club, serving as a guide that the golfer’s movements mold around. The e3 eigenvector, known as the principal axis of inertia, represents the largest principal moment of inertia and the mass distribution along the grey lines indeed represent the longitudinal axis of the golf club, aligned perpendicular to this axis and passing through the mass center of the golf club. The axes are defined as follows, consistent with <a href="#sensors-24-06845-f002" class="html-fig">Figure 2</a>: X-axis is horizontal, Z-axis is vertical, and Y-axis is perpendicular to both the X and Z axes. This adaptive process, akin to a sculptor intuitively shaping clay, highlights the profound integration of body form with the evolving physical forces of the club, showcasing a sophisticated synchronization of movement and inertia for optimal swing efficiency.</p>
Full article ">Figure 9
<p>Illustration of the hands holding the drive and making a swing, along with additional information about the torso movements with the Effort elements. This figure uses Motif Writing to provide a simplified representation of key movement elements, rather than a complete notation of the entire swing. As a result, the weight shift is not visually represented in this figure. The central vertical line represents the body’s midline, with symbols on the left denoting body part positions and movements. The large curved arrow on the right depicts the swing arc. At the bottom center, a small circle with an “x” marks the golf ball’s position. Upward and downward arrows indicate the backswing and downswing movements. The sign at the bottom left represents the left hand and the right hand together in one symbol, indicating the coordinated use of both hands during the swing. Curved lines at the top and bottom frame the movement sequence. The legend distinguishes between the ball (open circle) and the touched ball (filled circle). This notation system translates the complex, three-dimensional golf swing into a detailed two-dimensional representation, encompassing spatial pathways, body engagement, and movement flow. The motif provides insights into the golfer’s technique, potentially revealing differences between novice (<b>b</b>) and proficient players (<b>a</b>) in terms of movement fluidity, body alignment, swing path consistency, weight shift, stability, and overall swing efficiency. This method, originating with Rudolf Laban, can become highly detailed. The accompanying sketches and notes provide context and clarity for those unfamiliar with the notation (<a href="#app1-sensors-24-06845" class="html-app">Supplementary Materials</a>).</p>
Full article ">Figure 10
<p>Ground Reaction Force (GRF) of the left foot during a golf swing for novice and proficient golfers. Top Panel: Vertical GRF for novice (blue) and proficient (green) golfers. The proficient golfer demonstrates higher and sharper peaks in the vertical GRF, indicating efficient force application during the downswing and impact phases. The novice golfer shows more variable and lower peak forces, reflecting less distinct timing and less efficient force application. Bottom Panel: Horizontal GRF for novice (red) and proficient (orange) golfers. The proficient golfer displays a smoother and more consistent force application with less noise, whereas the novice golfer exhibits more variability and less consistent force patterns, highlighting the differences in balance and coordination between the two skill levels. The normalized time axis represents the progression of the golf swing from start to finish, capturing the critical phases of the swing and their corresponding GRF profiles.</p>
Full article ">
21 pages, 1166 KiB  
Article
Incorporating Boundary Nonlinearity into Structural Vibration Problems
by Alex J. Elliott and Andrea Cammarano
Vibration 2024, 7(4), 949-969; https://doi.org/10.3390/vibration7040050 - 18 Oct 2024
Viewed by 512
Abstract
This paper presents a methodology for accurately incorporating the nonlinearity of boundary conditions (BCs) into the mode shapes, natural frequencies, and dynamic behaviour of analytical beam models. Such models have received renewed interest in recent years as a result of their successful implementation [...] Read more.
This paper presents a methodology for accurately incorporating the nonlinearity of boundary conditions (BCs) into the mode shapes, natural frequencies, and dynamic behaviour of analytical beam models. Such models have received renewed interest in recent years as a result of their successful implementation in state-of-the-art multiphysics problems. To address the need for this boundary nonlinearity to be more completely captured in the equations of motion, a nonlinear algebra expansion of the classical linear approach for developing solvability conditions for natural frequencies and mode shapes is presented. The method is applicable to any BC that can be accurately represented in polynomial form, either explicitly or through the application of a Taylor expansion; this is the only assumption made in removing the need for the use of analytical approximations of the dynamics themselves. By reducing the BCs of the beam to a system of polynomials, it is possible to utilise the tensor resultant to develop these solvability conditions analogous to the conditions placed on the matrix determinant in linear, classical cases. The approach is first derived for a general set of nonlinear BCs before being applied to two example systems to investigate the importance of including nonlinear tip behaviour in the BCs to accurately predict the system response. In the first, a theoretical, symmetric system, in which a beam is supported by nonlinear springs, is used to explore both the applicability of the methodology and the improvements it can make to the accuracy of the model. Then, the more practical example of a cantilever beam with repulsive magnetic interaction at the tip is used to more explicitly assess the importance of properly incorporating boundary nonlinearity into multiphysics problems. Full article
Show Figures

Figure 1

Figure 1
<p>Schematic of a beam supported by nonlinear springs at both ends.</p>
Full article ">Figure 2
<p>Normalised mode shapes of the first mode of the nonlinear spring-supported beam for <math display="inline"><semantics> <mrow> <mi>γ</mi> <mo>∈</mo> </mrow> </semantics></math><math display="inline"><semantics> <mrow> <mo>[</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>9</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>6</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>3</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>]</mo> </mrow> </semantics></math>.</p>
Full article ">Figure 3
<p>Normalised mode shapes of the second mode of the nonlinear spring-supported beam for <math display="inline"><semantics> <mrow> <mi>γ</mi> <mo>∈</mo> </mrow> </semantics></math><math display="inline"><semantics> <mrow> <mo>[</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>9</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>6</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>3</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>]</mo> </mrow> </semantics></math>.</p>
Full article ">Figure 4
<p>Normalised mode shapes of the third mode of the nonlinear spring-supported beam for <math display="inline"><semantics> <mrow> <mi>γ</mi> <mo>∈</mo> </mrow> </semantics></math><math display="inline"><semantics> <mrow> <mo>[</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>9</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>6</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>3</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>]</mo> </mrow> </semantics></math>.</p>
Full article ">Figure 5
<p>Backbone curves for the spring-supported beams with <math display="inline"><semantics> <mrow> <mi>γ</mi> <mo>∈</mo> </mrow> </semantics></math><math display="inline"><semantics> <mrow> <mo>[</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>9</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>6</mn> </mrow> </msup> <mo>,</mo> <mn>1</mn> <mo>×</mo> <msup> <mn>10</mn> <mrow> <mo>−</mo> <mn>3</mn> </mrow> </msup> <mo>]</mo> </mrow> </semantics></math>.</p>
Full article ">Figure 6
<p>Schematic for a cantilever beam with tip magnet.</p>
Full article ">Figure 7
<p>Normalised mode shapes for the first mode of the clamped-free, clamped-pinned, and clamped-spring supported beams.</p>
Full article ">Figure 8
<p>Validation of the cubic-order cantilever beam model, with the true solution (created via Ansys) in black and the predicted solution in red.</p>
Full article ">Figure 9
<p>Backbone curves for the beam model with various BCs at the tip.</p>
Full article ">
21 pages, 324 KiB  
Article
(Almost) Ricci Solitons in Lorentzian–Sasakian Hom-Lie Groups
by Esmaeil Peyghan, Leila Nourmohammadifar, Akram Ali and Ion Mihai
Axioms 2024, 13(10), 693; https://doi.org/10.3390/axioms13100693 - 4 Oct 2024
Viewed by 396
Abstract
We study Lorentzian contact and Lorentzian–Sasakian structures in Hom-Lie algebras. We find that the three-dimensional sl(2,R) and Heisenberg Lie algebras provide examples of such structures, respectively. Curvature tensor properties in Lorentzian–Sasakian Hom-Lie algebras are investigated. If v is [...] Read more.
We study Lorentzian contact and Lorentzian–Sasakian structures in Hom-Lie algebras. We find that the three-dimensional sl(2,R) and Heisenberg Lie algebras provide examples of such structures, respectively. Curvature tensor properties in Lorentzian–Sasakian Hom-Lie algebras are investigated. If v is a contact 1-form, conditions under which the Ricci curvature tensor is v-parallel are given. Ricci solitons for Lorentzian–Sasakian Hom-Lie algebras are also studied. It is shown that a Ricci soliton vector field ζ is conformal whenever the Lorentzian–Sasakian Hom-Lie algebra is Ricci semisymmetric. To illustrate the use of the theory, a two-parameter family of three-dimensional Lorentzian–Sasakian Hom-Lie algebras which are not Lie algebras is given and their Ricci solitons are computed. Full article
(This article belongs to the Special Issue Differential Geometry and Its Application, 3rd Edition)
16 pages, 279 KiB  
Article
Solving the QLY Least Squares Problem of Dual Quaternion Matrix Equation Based on STP of Dual Quaternion Matrices
by Ruyu Tao, Ying Li, Mingcui Zhang, Xiaochen Liu and Musheng Wei
Symmetry 2024, 16(9), 1117; https://doi.org/10.3390/sym16091117 - 28 Aug 2024
Viewed by 750
Abstract
Dual algebra plays an important role in kinematic synthesis and dynamic analysis, but there are still few studies on dual quaternion matrix theory. This paper provides an efficient method for solving the QLY least squares problem of the dual quaternion matrix equation [...] Read more.
Dual algebra plays an important role in kinematic synthesis and dynamic analysis, but there are still few studies on dual quaternion matrix theory. This paper provides an efficient method for solving the QLY least squares problem of the dual quaternion matrix equation AXB+CYDE, where X, Y are unknown dual quaternion matrices with special structures. First, we define a semi-tensor product of dual quaternion matrices and study its properties, which can be used to achieve the equivalent form of the dual quaternion matrix equation. Then, by using the dual representation of dual quaternion and the GH-representation of special dual quaternion matrices, we study the expression of QLY least squares Hermitian solution of the dual quaternion matrix equation AXB+CYDE. The algorithm is given and the numerical examples are provided to illustrate the efficiency of the method. Full article
(This article belongs to the Special Issue Exploring Symmetry in Dual Quaternion Matrices and Matrix Equations)
12 pages, 3079 KiB  
Article
Michelson Interferometric Methods for Full Optical Complex Convolution
by Haoyan Kang, Hao Wang, Jiachi Ye, Zibo Hu, Jonathan K. George, Volker J. Sorger, Maria Solyanik-Gorgone and Behrouz Movahhed Nouri
Nanomaterials 2024, 14(15), 1262; https://doi.org/10.3390/nano14151262 - 28 Jul 2024
Cited by 2 | Viewed by 1028
Abstract
Optical real-time data processing is advancing fields like tensor algebra acceleration, cryptography, and digital holography. This technology offers advantages such as reduced complexity through optical fast Fourier transform and passive dot-product multiplication. In this study, the proposed Reconfigurable Complex Convolution Module (RCCM) is [...] Read more.
Optical real-time data processing is advancing fields like tensor algebra acceleration, cryptography, and digital holography. This technology offers advantages such as reduced complexity through optical fast Fourier transform and passive dot-product multiplication. In this study, the proposed Reconfigurable Complex Convolution Module (RCCM) is capable of independently modulating both phase and amplitude over two million pixels. This research is relevant for applications in optical computing, hardware acceleration, encryption, and machine learning, where precise signal modulation is crucial. We demonstrate simultaneous amplitude and phase modulation of an optical two-dimensional signal in a thin lens’s Fourier plane. Utilizing two spatial light modulators (SLMs) in a Michelson interferometer placed in the focal plane of two Fourier lenses, our system enables full modulation in a 4F system’s Fourier domain. This setup addresses challenges like SLMs’ non-linear inter-pixel crosstalk and variable modulation efficiency. The integration of these technologies in the RCCM contributes to the advancement of optical computing and related fields. Full article
Show Figures

Figure 1

Figure 1
<p>Schematic and working principle of a complex optical 4F convolution module. (<b>a</b>) A detailed schematic representation illustrating the complex convolution process based on Euler’s formula, emphasizing the mathematical underpinnings and optical path integration. (<b>b</b>) An expanded diagram of the experimental setup for executing full optical convolution. SLM1 modulated the illuminating beam’s amplitude, and SLM2 and 3, as a whole, sitting in the Fourier domain, modulated the beam with phase and amplitude controlled simultaneously; see Equation (1).</p>
Full article ">Figure 2
<p>Simulated results demonstrating the impact of phase factors in the modulation device. (<b>a</b>) Simulated convolution incorporating both phase and amplitude factors, showcasing the comprehensive modulation capabilities and their combined effects on the resulting optical pattern. (<b>b</b>) Simulated convolution featuring only amplitude factors on the spatial light modulator (SLM), illustrating the distinct optical outcomes when phase factors are absent, thereby emphasizing the unique role of amplitude modulation in the convolution process. This comparison shows the necessity of simultaneously controlling both the phase and amplitude for the featured optical convolution module.</p>
Full article ">Figure 3
<p>Experimental setup and basic performance metrics of a complex optical 4F convolution module. (<b>a</b>) A detailed photograph of the experimental setup, highlighting the zoomed-in area showcasing the fabricated amplitude mask and its precise installation within the system. This component is critical for modulating the light patterns as part of the convolution process. (<b>b</b>) A plot of the normalized intensity measurements acquired at the camera, juxtaposed with corresponding simulation data that include a confidence interval. This graph illustrates the convolution of the incoming sequence huyun11111] with the mask huyun10001], with the anticipated nine-digit result huyun111121111]. An inset image displays the actual output captured by the camera, providing a visual confirmation of the simulation accuracy and the experimental effectiveness. The theoretical shade represents the waveform of the classical convolution results of the sequence, and the math line represents the expected results of huyun111121111]. This figure shows evidence of the feasibility and accuracy of the RCCM in an experimental manner of a specific sequence.</p>
Full article ">Figure 4
<p>Optical convolution dynamics in a reconfigurable complex convolution module (RCCM) (<b>a</b>) Full experimental results of the RCCM: Convolution of the sequence 11111 with the kernel 10001 displayed on the spatial light modulator (SLM). This panel illustrates the primary convolution process, showcasing the direct optical output. (<b>b</b>) Adjustments with polarization-angle tuning: This modification highlights the effects of polarization-angle adjustments on the convolution output, demonstrating the influence of optical properties on the result. (<b>c</b>) Convolution result of sequence 10111 with kernel 10001: A comparison showing how minor variations in the input sequence affect the convolution outcome, providing insights into the system’s sensitivity and response. (<b>d</b>) Convolution of sequence 10011 with kernel 10001: This panel displays another variant, emphasizing how changes in the initial sequence modify the resulting convolution patterns, illustrating the dynamic capabilities of the convolution system.</p>
Full article ">Figure 5
<p>Detailed comparison of modulation techniques in CIFAR-10 neural network performance. (<b>a</b>) Complex modulation (RCCM) performance: Achieved a top accuracy of 51.98%, highlighting the effectiveness of combining amplitude and phase modulations in neural network applications. Color intensity indicates prediction frequency, with darker blue representing higher frequency and lighter shades lower frequency. (<b>b</b>) Amplitude modulation performance: Reached an accuracy of 50.83%, demonstrating its capability, though slightly less effective than complex modulation. (<b>c</b>) Phase modulation performance: Yielded the lowest accuracy of 47.87%, indicating its impact and limitations when used independently in neural networks. (<b>d</b>) Neural network architecture: Depicts the detailed architecture of the simulated neural network, providing insights into the structural elements that contribute to the performance differences observed in the modulation techniques.</p>
Full article ">Figure 6
<p>Concept of optical hashing algorithm and the scheme of the proposed full optical setup using RCCM for optical Fourier full convolution accelerator. An example of a 1-D compressed sequence read of the simulated camera reading that corresponds to MNIST input ”5”, ”0”, and ”4”; The scheme of the proposed optical setup, where the source can be a single-mode fiber array collimated into free space or coupled in a photonic chip; diffusion can be achieved by an optical amplitude-only modulation by an SLM; convolution must be performed with complex amplitude-and-phase convolution in the Fourier domain; the optional final step of image classification with a heterogeneous convolutional 4F classifier can be alternatively replaced by a CMOS diode array (DA). All inserted figures along the axis show what pattern is presenting on the SLMs or the current status of the modulated signal carried by the beam.</p>
Full article ">
13 pages, 323 KiB  
Article
One-Bit Function Perturbation Impact on Robust Set Stability of Boolean Networks with Disturbances
by Lei Deng, Xiujun Cao and Jianli Zhao
Mathematics 2024, 12(14), 2258; https://doi.org/10.3390/math12142258 - 19 Jul 2024
Viewed by 621
Abstract
This paper investigates the one-bit function perturbation (OBFP) impact on the robust set stability of Boolean networks with disturbances (DBNs). Firstly, the dynamics of these networks are converted into the algebraic forms utilizing the semi-tensor product (STP) method. Secondly, OBFP’s impact on the [...] Read more.
This paper investigates the one-bit function perturbation (OBFP) impact on the robust set stability of Boolean networks with disturbances (DBNs). Firstly, the dynamics of these networks are converted into the algebraic forms utilizing the semi-tensor product (STP) method. Secondly, OBFP’s impact on the robust set stability of DBNs is divided into two situations. Then, by constructing a state set and defining an index vector, several necessary and sufficient conditions to guarantee that a DBN under OBFP can stay robust set stable unchanged are provided. Finally, a biological example is proposed to demonstrate the effectiveness of the obtained theoretical results. Full article
Show Figures

Figure 1

Figure 1
<p>The state trajectory of DBN (25) before function perturbation.</p>
Full article ">Figure 2
<p>State trajectory graph of dynamics after function perturbation in Case 1.</p>
Full article ">Figure 3
<p>State trajectory graph of dynamics after function perturbation in Case 2.</p>
Full article ">
17 pages, 271 KiB  
Article
Characterization of Isoclinic, Transversally Geodesic and Grassmannizable Webs
by Jihad Saab and Rafik Absi
Axioms 2024, 13(6), 386; https://doi.org/10.3390/axioms13060386 - 6 Jun 2024
Viewed by 698
Abstract
One of the most relevant topics in web theory is linearization. A particular class of linearizable webs is the Grassmannizable web. Akivis gave a characterization of such a web, showing that Grassmannizable webs are equivalent to isoclinic and transversally geodesic webs. The obstructions [...] Read more.
One of the most relevant topics in web theory is linearization. A particular class of linearizable webs is the Grassmannizable web. Akivis gave a characterization of such a web, showing that Grassmannizable webs are equivalent to isoclinic and transversally geodesic webs. The obstructions given by Akivis that characterize isoclinic and transversally geodesic webs are computed locally, and it is difficult to give them an interpretation in relation to torsion or curvature of the unique Chern connection associated with a web. In this paper, using Nagy’s web formalism, Frölisher—Nejenhuis theory for derivation associated with vector differential forms, and Grifone’s connection theory for tensorial algebra on the tangent bundle, we find invariants associated with almost-Grassmann structures expressed in terms of torsion, curvature, and Nagy’s tensors, and we provide an interpretation in terms of these invariants for the isoclinic, transversally geodesic, Grassmannizable, and parallelizable webs. Full article
(This article belongs to the Special Issue Advances in Differential Geometry and Singularity Theory)
10 pages, 242 KiB  
Communication
Towards a Generalized Cayley–Dickson Construction through Involutive Dimagmas
by Nelson Martins-Ferreira and Rui A. P. Perdigão
Mathematics 2024, 12(7), 996; https://doi.org/10.3390/math12070996 - 27 Mar 2024
Viewed by 817
Abstract
A generalized construction procedure for algebraic number systems is hereby presented. This procedure offers an efficient representation and computation method for complex numbers, quaternions, and other algebraic structures. The construction method is then illustrated across a range of examples. In particular, the novel [...] Read more.
A generalized construction procedure for algebraic number systems is hereby presented. This procedure offers an efficient representation and computation method for complex numbers, quaternions, and other algebraic structures. The construction method is then illustrated across a range of examples. In particular, the novel developments reported herein provide a generalized form of the Cayley–Dickson construction through involutive dimagmas, thereby allowing for the treatment of more general spaces other than vector spaces, which underlie the associated algebra structure. Full article
14 pages, 1392 KiB  
Article
Restricted Singular Value Decomposition for a Tensor Triplet under T-Product and Its Applications
by Chong-Quan Zhang, Qing-Wen Wang, Xiang-Xiang Wang and Zhuo-Heng He
Mathematics 2024, 12(7), 982; https://doi.org/10.3390/math12070982 - 26 Mar 2024
Viewed by 824
Abstract
We investigate and discuss in detail the structure of the restricted singular value decomposition for a tensor triplet under t-product (T-RSVD). The algorithm is provided with a numerical example illustrating the main result. For applications, we consider color image watermarking processing with T-RSVD. [...] Read more.
We investigate and discuss in detail the structure of the restricted singular value decomposition for a tensor triplet under t-product (T-RSVD). The algorithm is provided with a numerical example illustrating the main result. For applications, we consider color image watermarking processing with T-RSVD. Full article
Show Figures

Figure 1

Figure 1
<p>Schematic diagram for watermark embedding.</p>
Full article ">Figure 2
<p>Schematic diagram for watermark extraction.</p>
Full article ">Figure 3
<p>The results of embedding and extracting watermarks with Gaussian noise attack. (<b>a1</b>) original host image; (<b>b1</b>,<b>c1</b>,<b>d1</b>) original watermarks; (<b>a2</b>) watermarked image by T-RSVD with Order 1; (<b>b2</b>,<b>c2</b>,<b>d2</b>) extracted watermarks from (<b>a2</b>) degraded by Gaussian noise with variance <math display="inline"><semantics> <mrow> <mn>0.001</mn> </mrow> </semantics></math>; (<b>a3</b>–<b>a5</b>) watermarked images by T-SVD with Order 1–3; (<b>b3</b>–<b>b5</b>,<b>c3</b>–<b>c5</b>,<b>d3</b>–<b>d5</b>) extracted watermarks from (<b>a3</b>–<b>a5</b>) degraded by Gaussian noise with variance <math display="inline"><semantics> <mrow> <mn>0.00001</mn> </mrow> </semantics></math>.</p>
Full article ">
11 pages, 280 KiB  
Article
Product States of Infinite Tensor Product of JC-algebras
by Fatmah B. Jamjoom and Fadwa M. Algamdei
Axioms 2024, 13(3), 205; https://doi.org/10.3390/axioms13030205 - 18 Mar 2024
Viewed by 1065
Abstract
The objective of our study is to generalize the results on product states of the tensor product of two JC-algebras to infinite tensor product JC-algebras. Also, we characterize the tracial product state of the tensor product of two JC-algebras, and the tracial product [...] Read more.
The objective of our study is to generalize the results on product states of the tensor product of two JC-algebras to infinite tensor product JC-algebras. Also, we characterize the tracial product state of the tensor product of two JC-algebras, and the tracial product state of infinite tensor products of JC-algebras. Full article
65 pages, 781 KiB  
Article
Gauge-Invariant Lagrangian Formulations for Mixed-Symmetry Higher-Spin Bosonic Fields in AdS Spaces
by Alexander Alexandrovich Reshetnyak and Pavel Yurievich Moshin
Universe 2023, 9(12), 495; https://doi.org/10.3390/universe9120495 - 27 Nov 2023
Cited by 4 | Viewed by 1371
Abstract
We deduce a non-linear commutator higher-spin (HS) symmetry algebra which encodes unitary irreducible representations of the AdS group—subject to a Young tableaux Y(s1,,sk) with k2 rows—in a d-dimensional anti-de Sitter space. [...] Read more.
We deduce a non-linear commutator higher-spin (HS) symmetry algebra which encodes unitary irreducible representations of the AdS group—subject to a Young tableaux Y(s1,,sk) with k2 rows—in a d-dimensional anti-de Sitter space. Auxiliary representations for a deformed non-linear HS symmetry algebra in terms of a generalized Verma module, as applied to additively convert a subsystem of second-class constraints in the HS symmetry algebra into one with first-class constraints, are found explicitly in the case of a k=2 Young tableaux. An oscillator realization over the Heisenberg algebra for the Verma module is constructed. The results generalize the method of constructing auxiliary representations for the symplectic sp(2k) algebra used for mixed-symmetry HS fields in flat spaces [Buchbinder, I.L.; et al. Nucl. Phys. B 2012, 862, 270–326]. Polynomial deformations of the su(1,1) algebra related to the Bethe ansatz are studied as a byproduct. A nilpotent BRST operator for a non-linear HS symmetry algebra of the converted constraints for Y(s1,s2) is found, with non-vanishing terms (resolving the Jacobi identities) of the third order in powers of ghost coordinates. A gauge-invariant unconstrained reducible Lagrangian formulation for a free bosonic HS field of generalized spin (s1,s2) is deduced. Following the results of [Buchbinder, I.L.; et al. Phys. Lett. B 2021, 820, 136470.; Buchbinder, I.L.; et al. arXiv 2022, arXiv:2212.07097], we develop a BRST approach to constructing general off-shell local cubic interaction vertices for irreducible massive higher-spin fields (being candidates for massive particles in the Dark Matter problem). A new reducible gauge-invariant Lagrangian formulation for an antisymmetric massive tensor field of spin (1,1) is obtained. Full article
(This article belongs to the Section Field Theory)
Show Figures

Figure 1

Figure 1
<p>The interaction vertex <inline-formula><mml:math id="mm1407"><mml:semantics><mml:mrow><mml:mrow><mml:mo>|</mml:mo><mml:mi>V</mml:mi></mml:mrow><mml:msup><mml:mrow/><mml:mrow><mml:mo>(</mml:mo><mml:mn>3</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:msubsup><mml:mrow><mml:mo>〉</mml:mo></mml:mrow><mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mover accent="true"><mml:mi>s</mml:mi><mml:mo>→</mml:mo></mml:mover><mml:mo>)</mml:mo></mml:mrow><mml:mn>2</mml:mn><mml:mn>3</mml:mn></mml:msubsup><mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>m</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mn>3</mml:mn></mml:msub></mml:msubsup></mml:mrow></mml:semantics></mml:math></inline-formula> for massive fields <inline-formula><mml:math id="mm1408"><mml:semantics><mml:msubsup><mml:mo>Φ</mml:mo><mml:mrow><mml:msup><mml:mi>μ</mml:mi><mml:mn>1</mml:mn></mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msubsup><mml:mi>s</mml:mi><mml:mn>1</mml:mn><mml:mi>i</mml:mi></mml:msubsup><mml:mo>)</mml:mo></mml:mrow><mml:msup><mml:mi>μ</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msubsup><mml:mi>s</mml:mi><mml:mn>2</mml:mn><mml:mi>i</mml:mi></mml:msubsup><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>i</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:semantics></mml:math></inline-formula> of masses <inline-formula><mml:math id="mm1409"><mml:semantics><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:semantics></mml:math></inline-formula> and generalized spins <inline-formula><mml:math id="mm1410"><mml:semantics><mml:mrow><mml:mover accent="true"><mml:mi>s</mml:mi><mml:mo>→</mml:mo></mml:mover><mml:msubsup><mml:mrow/><mml:mn>2</mml:mn><mml:mi>i</mml:mi></mml:msubsup></mml:mrow></mml:semantics></mml:math></inline-formula> for <inline-formula><mml:math id="mm1411"><mml:semantics><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:semantics></mml:math></inline-formula>. The terms in “…” correspond to the auxiliary fields of <inline-formula><mml:math id="mm1412"><mml:semantics><mml:mrow><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:msup><mml:mo>Φ</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mi>i</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mo>〉</mml:mo></mml:mrow><mml:mrow><mml:mover accent="true"><mml:mi>s</mml:mi><mml:mo>→</mml:mo></mml:mover><mml:msubsup><mml:mrow/><mml:mn>2</mml:mn><mml:mi>i</mml:mi></mml:msubsup></mml:mrow></mml:msub></mml:mrow></mml:semantics></mml:math></inline-formula>.</p>
Full article ">
16 pages, 326 KiB  
Article
Linearization of Second-Order Non-Linear Ordinary Differential Equations: A Geometric Approach
by Michael Tsamparlis
Symmetry 2023, 15(11), 2082; https://doi.org/10.3390/sym15112082 - 18 Nov 2023
Cited by 2 | Viewed by 1234
Abstract
Using the coefficients of a system semilinear cubic in the first derivative second order differential equations one defines a connection in the space of the independent and dependent variables, which is specified modulo two free parameters. In this way, to any such equation [...] Read more.
Using the coefficients of a system semilinear cubic in the first derivative second order differential equations one defines a connection in the space of the independent and dependent variables, which is specified modulo two free parameters. In this way, to any such equation one associates an affine space which is not necessarily Riemannian, that is, a metric is not required. If such a metric exists, then under the Cartan parametrization the geodesic equations of the metric coincide with the system of the considered semilinear equations. In the present work, we consider semilinear cubic in the first derivative second order differential equations whose Lie symmetry algebra is the sl(3,R). The covariant condition for these equations is the vanishing of the curvature tensor. We demonstrate the method in the solution of the Painlevé-Ince equation and in a system of two equations. Because the approach is geometric, the number of equations in the system is not important besides the complication in the calculations. It is shown that it is possible to linearize an equation in this form using a different covariant condition, for example, assuming the space to be of constant non-vanishing curvature. Finally, it is shown that one computes the associated metric to a semilinear cubic in the first derivatives differential equation using the inverse transformation derived from the transformation of the connection. Full article
(This article belongs to the Special Issue Symmetry in Mathematical Physics: History, Advances and Applications)
Back to TopTop