SearcharxivSearch

arXiv subjects

Sergey Korotov

Publications and source records attributed to Sergey Korotov.

10 recordsLinked to original sources

Largest-dihedral-angle bisection algorithm does not preserve mesh regularity for tetrahedral partitions

We present a fixed nondegenerate tetrahedron with a nested largest-dihedral-anglebisection branch that collapses onto a unit edge. The selected dihedral angles to bisect are uniquely largest ones at every bisection step. Some face angles of the branch elements tend to zero, the corresponding diameter-to-inradius ratio diverges, and the diameters of the elements produced do not tend to zero, although every dihedral angle stays uniformly away from both 0 and π and all face and dihedral angles satisfy a uniform maximum-angle bound. The proof is based on an exact invariant-range argument. This example shows that the largest-dihedral-angle bisection algorithm can produce degenerating tetrahedral partitions.

math.NA

The longest-edge bisection algorithm may produce degenerating tetrahedra

An explicit sequence of tetrahedra generated by the longest-edge bisection algorithm is shown to degenerate. The example violates shape regularity and both the minimum- and maximum-angle conditions, demonstrating that arbitrary tie-breaking among longest edges does not guarantee nondegeneration.

math.NA

On Triangulations Generated by the Largest-Angle $n$-Section Algorithm

We define a mesh refinement algorithm based on the rule of dividing the largest angles of triangular elements of planar partitions in focus into $n$ equal parts, and analyse the (geometric) properties of triangulations generated by this technique. This largest-angle $n$-section rule is compared with the classical longest-edge $n$-section rule, where it is the longest edges which are split into $n$ equal parts. The longest-edge bisection and trisection are known to produce nondegenerate triangulations (possibly with hanging nodes), but the longest-edge $n$-sections with $n\geq 4$ always produce (infinite) sequences of triangles with minimum angles tending to zero (moreover, their relevant maximum angles tend to $π$), thus breaking the minimum and maximum angle conditions. We show that this degeneration effect is not a consequence of $n$-section itself. For every $n\geq 2$, the largest-angle $n$-sections produce partitions satisfying the minimum angle condition (and, therefore, the maximum angle condition). More precisely, if the initial triangle has its smallest angle $γ_0>0$, then all descendant triangles have angles bounded below by $m_n=\min\left\{γ_0,\fracπ{3n}\right\},$ and, correspondingly, bounded above by $π-2m_n<π$. We also show that the recursive largest-angle $n$-section algorithm always produces a family of triangular partitions, i.e. the maximum diameter of level-$k$ descendants tends to zero as $k \to \infty$.

cs.CG

Dynamics of the Longest-Edge Altitude Bisection Algorithm

We study a longest-edge based refinement scheme for triangulations, termed the longest-edge altitude bisection (LEAB), in which each triangle is subdivided by dropping the altitude from the vertex opposite to its longest edge. Using the normalized shape space of triangles introduced by Perdomo and Plaza in: Properties of triangulations obtained by the longest-edge bisection. \emph{Cent. Eur. J. Math.}, 12(12) (2014), 1796-1810, we show that LEAB admits a simple geometric description: the normalized left and right children of a triangle in focus are obtained by intersecting the geodesic of right triangles with rays issued from the endpoints of the longest edge and explicit formulas for the mappings are derived. This characterization implies an interesting observation that the associated refinement dynamics collapse the entire shape space onto the right-triangle geodesic in a single step and that every point on this geodesic is fixed. Two-sided bounds for the contraction of the mesh size (discretization parameter) are derived. Also, applications and limitations of the method are briefly discussed.

math.NA

Two-sided bounds for dihedral angle sums of path and 4-ball tetrahedra

A tetrahedron is called a path tetrahedron, if it has three mutually orthogonal edges that do not intersect at a single point. A tetrahedron is called a 4-ball tetrahedron, if there exists a sphere tangent to all its edges. We derive two-sided tight bounds for dihedral angle sums of such tetrahedra. In particular, we prove that this sum lies in the interval (2π, 2.5π) for path tetrahedra and in [6 arccos 1/3, 3π) for 4-ball tetrahedra. Also some of their useful properties are presented.

math.MG

On the Orbits of Similarity Classes of Tetrahedra Generated by the Longest-Edge Bisection Algorithm

In this work, we study the dynamics of similarity classes of tetrahedra generated by the longest-edge bisection (LEB) algorithm. Building on the normalization strategy introduced by Perdomo and Plaza for triangles, we construct a canonical representation of tetrahedra in a normalized space embedded in the product of the hyperbolic half-plane and the hyperbolic half-space model. This representation allows us to define the left and right refinement maps, $Φ_L$ and $Φ_R$, acting on the space of normalized tetrahedral shapes, and to study their iterative orbits as discrete dynamical systems. Using these maps, we show that the orbit of the space-filling Sommerville tetrahedron contains only 4 similarity classes, 3 of which form an attractive cycle corresponding to the orbit of the path tetrahedron. We also show that small perturbations of elements in those orbits still lead to finite orbits. In addition, we study small perturbations of the regular tetrahedron and show that their orbits are also finite. Extensive numerical exploration of orbits for the other types of tetrahedra suggests that the LEB algorithm does not produce degenerating tetrahedra. Our framework provides a geometric and dynamical foundation for analyzing the shape evolution of tetrahedral meshes and offers a possible route toward an analytic proof of the non-degeneracy property for the tetrahedral partitions generated by the LEB refinements. This property is highly desired in e.g. the finite element methods (FEMs).

math.NA

Explaining Deep Network Classification of Matrices: A Case Study on Monotonicity

This work demonstrates a methodology for using deep learning to discover simple, practical criteria for classifying matrices based on abstract algebraic properties. By combining a high-performance neural network with explainable AI (XAI) techniques, we can distill a model's learned strategy into human-interpretable rules. We apply this approach to the challenging case of monotone matrices, defined by the condition that their inverses are entrywise nonnegative. Despite their simple definition, an easy characterization in terms of the matrix elements or the derived parameters is not known. Here, we present, to the best of our knowledge, the first systematic machine-learning approach for deriving a practical criterion that distinguishes monotone from non-monotone matrices. After establishing a labelled dataset by randomly generated monotone and non-monotone matrices uniformly on $(-1,1)$, we employ deep neural network algorithms for classifying the matrices as monotone or non-monotone, using both their entries and a comprehensive set of matrix features. By saliency methods, such as integrated gradients, we identify among all features, two matrix parameters which alone provide sufficient information for the matrix classification, with $95\%$ accuracy, namely the absolute values of the two lowest-order coefficients, $c_0$ and $c_1$ of the matrix's characteristic polynomial. A data-driven study of 18,000 random $7\times7$ matrices shows that the monotone class obeys $\lvert c_{0}/c_{1}\rvert\le0.18$ with probability $>99.98\%$; because $\lvert c_{0}/c_{1}\rvert = 1/\mathrm{tr}(A^{-1})$ for monotone $A$, this is equivalent to the simple bound $\mathrm{tr}(A^{-1})\ge5.7$.

cs.LG

The minimum angle condition for $d$-simplices

In this note we present a natural generalization of the minimum angle condition, commonly used in the finite element analysis for planar triangulations, to the case of simplicial meshes in any space dimension. The equivalence of this condition with some other mesh regularity conditions is proved.

math.NA

On generalizations of the Synge-Křížek maximum angle condition for $d$-simplices

In this note we present a generalization of the maximum angle condition, proposed by J. L. Synge in 1957 and M. Křížek in 1992 for triangular and tetrahedral elements, respectively, for the case of higher-dimensional simplicial finite elements. Its relations to the other angle-type conditions commonly used in finite element methods are analysed.

math.NA

Discrete maximum principles for nonlinear elliptic finite element problems on Riemannian manifolds with boundary

The maximum principle forms an important qualitative property of second order elliptic equations, therefore its discrete analogues, the so-called discrete maximum principles (DMPs) have drawn much attention. In this paper DMPs are established for nonlinear surface finite element problems on Riemannian manifolds, corresponding to the classical pointwise maximum principles on surfaces in the spirit of Pucci et al. Various real-life examples illustrate the scope of the results.

math.NA