Surface Metrology Principles for Snow and Ice Friction Studies

Recent advances in surface metrology science are applied to understanding friction with snow and ice. Conventional surface metrology’s measurement, analyses, and characterizations, have inherent limitations for elucidating tribological interactions. Strong functional correlations and confident discriminations with slider surface topographies, textures, or “roughness”, have largely eluded researchers using conventional methods. Building on 4 decades of research using multiscale geometric methods, two surface metrology axioms and corollaries are proposed with good potential to provide new technological insights.

ChartMaster: An End-to-End Method to Recognize, Redraw, and Redesign Chart

Chart is one kind of ubiquitous information, which is widely utilized and easy for people to understand. Due to there are so many different kinds and different styles of charts, it is not an easy task for a computer to recognize a chart, as well as to redraw the chart or redesign it. This study proposes a three-stage method to chart recognition: analyze the classification of charts, analyze the structure of charts, and analyze the content of charts. When classifying charts, we choose ResNet-50. When recognizing the structure and content of charts, we use different deep frameworks to extract key points based on different types of charts. Besides, we also introduce two datasets, UCCD and UCID, to train deep models to classify and recognize charts. Finally, we utilize some traditional geometric methods to obtain an original table of a chart, so we can redraw it.

Galois coverings of one-sided bimodule problems

Applying geometric methods of 2-dimensional cell complex theory, we construct a Galois covering of a bimodule problem satisfying some structure, triangularity and finiteness conditions in order to describe the objects of finite representation type. Each admitted bimodule problem A is endowed with a quasi multiplicative basis. The main result shows that for a problem from the considered class having some finiteness restrictions and the schurian universal covering A', either A is schurian, or its basic bigraph contains a dotted loop, or it has a standard minimal non-schurian bimodule subproblem.

Geometric Methods for Efficient Planar Swimming of Copepod Nauplii

Copepod nauplii are larval crustaceans with important ecological functions. Due to their small size, they experience an environment of low Reynolds number within their aquatic habitat. Here we provide a mathematical model of a swimming copepod nauplius with two legs moving in a plane. This model allows for both rotation and two-dimensional displacement by the periodic deformation of the swimmer’s body. The system is studied from the framework of optimal control theory, with a simple cost function designed to approximate the mechanical energy expended by the copepod. We find that this model is sufficiently realistic to recreate behavior similar to those of observed copepod nauplii, yet much of the mathematical analysis is tractable. In particular, we show that the system is controllable, but there exist singular configurations where the degree of non-holonomy is non-generic. We also partially characterize the abnormal extremals and provide explicit examples of families of abnormal curves. Finally, we numerically simulate normal extremals and observe some interesting and surprising phenomena.

The quasilocal degrees of freedom of Yang-Mills theory

Gauge theories possess nonlocal features that, in the presence of boundaries, inevitably lead to subtleties. We employ geometric methods rooted in the functional geometry of the phase space of Yang-Mills theories to: (1) characterize a basis for quasilocal degrees of freedom (dof) that is manifestly gauge-covariant also at the boundary; (2) tame the non-additivity of the regional symplectic forms upon the gluing of regions; and to (3) discuss gauge and global charges in both Abelian and non-Abelian theories from a geometric perspective. Naturally, our analysis leads to splitting the Yang-Mills dof into Coulombic and radiative. Coulombic dof enter the Gauss constraint and are dependent on extra boundary data (the electric flux); radiative dof are unconstrained and independent. The inevitable non-locality of this split is identified as the source of the symplectic non-additivity, i.e. of the appearance of new dof upon the gluing of regions. Remarkably, these new dof are fully determined by the regional radiative dof only. Finally, a direct link is drawn between this split and Dirac's dressed electron.

Geometrical Methods in Goursat Categories

The main aim of the paper is to show that the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3, hold in any regular Mal'tsev categories. We prove that Mal'tsev categories may be characterized through variations of the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3, that is classically expressed in terms of four congruences R, S1, S2 and T, and characterizes congruence modular varieties. The proof of this result in a varietal context may be obtained exclusively through the Little Desarguesian Theorem, the Escher Cube, Closure Lemma 1 and 3. This was shown by H.P. Gumm in Geometric Methods in Congruence Modular Algebras. We prove that for any 2n+1-permutable category $\mathcal{E}$, the category Equiv$(\mathcal{E})$ of equivalence relations in $\mathcal{E}$ is also a 2n+1-permutable category.