Searcharxiv⌕ Search

arXiv subjects

Juyoung Jeong

Publications and source records attributed to Juyoung Jeong.

14 recordsLinked to original sources

On $e$-doubly stochastic matrices over hyperbolic (polynomial) systems

In the setting of a hyperbolic (polynomial) system $(\mathcal{V}, p, e)$ of degree $n$, an $n$-tuple $\mathbf{A} = \big[ a_1, a_2, \dots, a_n \big]$ is said to be an $e$-doubly stochastic $\mathcal{V}$-matrix if each $a_i$ belongs to the hyperbolicity cone, has trace $1$, and $a_1 + a_2 + \dots + a_n = e$. In this article, we characterize linear preservers of such $\mathcal{V}$-matrices, describe some connections between $e$-doubly stochasticity and majorization, and study extreme points of the set of all $e$-doubly stochastic $\mathcal{V}$-matrices. We show, for example, that $(i)$ when $n>1$, positive, unital, and trace-preserving transformations are (the only) linear transformations on $\mathcal{V}$ that preserve $e$-doubly stochasticity; $(ii)$ when $\mathbf{A}$ is $e$-doubly stochastic, the eigenvalue vector of the linear combination $\sum_{i=1}^{n} r_ia_i$ is majorized by the coefficient vector $(r_1, r_2, \dots, r_n)^{T} \in \mathbb{R}^n$; and $(iii)$ when $p$ is complete, $e$-doubly stochastic $\mathcal{V}$-matrices induced by (generalized) Jordan frames are extreme points of the compact convex set of all $e$-doubly stochastic $\mathcal{V}$-matrices.

math.FA↗

Generalized convexity of spectral functions on Euclidean Jordan algebras

This paper investigates transfer principles for generalized convexity of spectral functions on Euclidean Jordan algebras. A spectral function is induced by the eigenvalue map and an underlying symmetric function on a symmetric subset of $\mathbb{R}^n$. We establish transfer principles for several generalized convexity notions, such as (strict/semistrict) quasiconvexity and (strict) pseudoconvexity, together with their strong variants, by showing that these properties are preserved in both directions between a spectral function and its associated symmetric function. These results extend the transfer principles for (strict) convexity and provide a unified framework for generalized convexity in the setting of Euclidean Jordan algebras.

math.OC↗

Minimal polynomials, scaled Jordan frames, and Schur-type majorization in hyperbolic systems

Corresponding to a hyperbolic system $(V, p, e)$, where $V$ is a real finite-dimensional vector space and $p$ is a hyperbolic polynomial of degree $n$ in the direction $e$, we consider the eigenvalue map $λ: V \to R^n$ and the hyperbolicity cone $Λ_+$. In such a system, a scaled Jordan frame is defined as a finite set of rank-one elements whose sum lies in the interior of $Λ_+$. We show that when the system has a scaled Jordan frame and $n \geq 2$, $p$ and its derivative polynomial $p^\prime$ are minimal polynomials (generating their respective hyperbolicity cones), thereby extending a result of Ito and Louren{\c c}o proved in the setting of a rank-one generated (proper) hyperbolicity cone. When each element of a scaled Jordan frame has trace one and the total sum is $e$ (such a set is called a Jordan frame), we show that the frame is orthonormal relative to the semi-inner product induced by $λ$ with exactly $n$ elements, and $V$ contains a copy of $R^n$ (as a Euclidean Jordan algebra). We also present a Schur-type majorization result corresponding to a Jordan frame and an $e$-doubly stochastic $n$-tuple.

math.OC↗

ELAS3D-Xtal: An OpenMP-accelerated crystal elasticity solver with automated experiment-driven microstructure generation

This paper introduces ELAS3D-Xtal, a high-performance Fortran/OpenMP upgrade of the NIST ELAS3D voxel-based finite element solver for computing 3D elastic fields in polycrystals with defects. The code supports crystal anisotropy by precomputing rotated stiffness tensors from user-specified orientations and solves the equilibrium problem with a matrix-free, OpenMP-parallel preconditioned conjugate-gradient (PCG) method using a point-block Jacobi preconditioner. On a single shared-memory multicore PC, OpenMP threading accelerates the baseline CG solver by ~10X, while the block-preconditioned CG solver achieves 53-61X speedup relative to the serial CG baseline for meshes from 100^3 to 500^3 voxels (scaling to domains up to 800^3 voxels). Accuracy is validated against the analytical Eshelby inclusion solution. ELAS3D-Xtal also integrates microstructure construction, including statistically calibrated polycrystal generation via spatial filtering and parallel voxel-to-grain assignment, direct pore insertion from XCT centroid/radius data, and texture assignment. Full-field phase, orientation, and stress outputs are written in HDF5 to enable scalable post-processing and defect-mechanics workflows. Applications are demonstrated for (i) anisotropy-controlled defect-scale stress fields and (ii) LPBF SS316L microstructures with gas, lack-of-fusion, and keyhole pore morphologies.

cond-mat.mtrl-sci↗

Commutation principles for nonsmooth variational problems on Euclidean Jordan algebras

The commutation principle proved by Ramírez, Seeger, and Sossa (SIAM J Optim 23:687-694, 2013) in the setting of Euclidean Jordan algebras says that for a Fréchet differentiable function $Θ$ and a spectral function $F$, any local minimizer or maximizer $a$ of $Θ+F$ over a spectral set $\mathcal{E}$ operator commutes with the gradient of $Θ$ at $a$. In this paper, we improve this commutation principle by allowing $Θ$ to be nonsmooth with mild regularity assumptions over it. For example, for the case of local minimizer, we show that $a$ operator commutes with some element of the limiting (Mordukhovich) subdifferential of $Θ$ at $a$ provided that $Θ$ is subdifferentially regular at $a$ satisfying a qualification condition. For the case of local maximizer, we prove that $a$ operator commutes with each element of the (Fenchel) subdifferential of $Θ$ at $a$ whenever this subdifferential is nonempty. As an application, we characterize the local optimizers of shifted strictly convex spectral functions and norms over automorphism invariant sets.

math.OC↗

Geometric commutation principle for weakly spectral sets in Euclidean Jordan algebras

A geometric commutation principle in Euclidean Jordan algebra, recently proved by Gowda, says that, for any spectral set $E$ in a Euclidean Jordan algebra $V$ and $a \in E$, $a$ strongly operator commutes with every element in the normal cone $N_E(a)$. Further, it can be used to establish strong operator commutativity relations in certain optimization problems. Knowing that every spectral sets are special cases of broader class of weakly spectral sets, we prove an analog of a geometric commutation principle for weakly spectral sets and study its consequences and applications.

math.OC↗

Transfer principles, Fenchel conjugate and subdifferential formulas in Fan-Theobald-von Neumann systems

A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V\to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decomposition systems (Eaton triples). The present article is a continuation of an earlier paper, where the concepts of commutativity, automorphisms, majorization, and reduction were introduced and elaborated. Here, we describe some transfer principles and present Fenchel conjugate and subdifferential formulas.

math.FA↗

Commutativity, majorization, and reduction in Fan-Theobald-von Neumann systems

A Fan-Theobald-von Neumann system is a triple $(V,W,λ)$, where $V$ and $W$ are real inner product spaces and $λ:V \to W$ is a norm-preserving map satisfying a Fan-Theobald-von Neumann type inequality together with a condition for equality. Examples include Euclidean Jordan algebras, systems induced by certain hyperbolic polynomials, and normal decompositions systems (Eaton triples). In the previous paper (arXiv:1902.06640) we presented some basic properties of such systems and described results on optimization problems dealing with certain combinations of linear/distance and spectral functions. We also introduced the concept of commutativity via the equality in the Fan-Theobald-von Neumann type inequality. In the present paper, we elaborate on the concept of commutativity and introduce/study automorphisms, majorization, and reduction in Fan-Theobald-von Neumann systems.

math.FA↗

Some log and weak majorization inequalities in Euclidean Jordan algebras

Motivated by Horn's log-majorization (singular value) inequality $s(AB)\underset{log}{\prec} s(A)*s(B)$ and the related weak-majorization inequality $s(AB)\underset{w}{\prec} s(A)*s(B)$ for square complex matrices, we consider their Hermitian analogs $λ(\sqrt{A}B\sqrt{A}) \underset{log}{\prec} λ(A)*λ(B)$ for positive semidefinite matrices and $λ(|A\circ B|) \underset{w}{\prec} λ(|A|)*λ(|B|)$ for general (Hermitian) matrices, where $A\circ B$ denotes the Jordan product of $A$ and $B$ and $*$ denotes the componentwise product in $R^n$. In this paper, we extended these inequalities to the setting of Euclidean Jordan algebras in the form $λ\big (P_{\sqrt{a}}(b)\big )\underset{log}{\prec} λ(a)*λ(b)$ for $a,b\geq 0$ and $λ\big (|a\circ b|\big )\underset{w}{\prec} λ(|a|)*λ(|b|)$ for all $a$ and $b$, where $P_u$ and $λ(u)$ denote, respectively, the quadratic representation and the eigenvalue vector of an element $u$. We also describe inequalities of the form $λ(|A\bullet b|)\underset{w}{\prec} λ({\mathrm{diag}}(A))*λ(|b|)$, where $A$ is a real symmetric positive semidefinite matrix and $A\,\bullet\, b$ is the Schur product of $A$ and $b$. In the form of an application, we prove the generalized Hölder type inequality $||a\circ b||_p\leq ||a||_r\,||b||_s$, where $||x||_p:=||λ(x)||_p$ denotes the spectral $p$-norm of $x$ and $p,q,r\in [1,\infty]$ with $\frac{1}{p}=\frac{1}{r}+\frac{1}{s}$. We also give precise values of the norms of the Lyapunov transformation $L_a$ and $P_a$ relative to two spectral $p$-norms.

math.FA↗

On the connectedness of spectral sets and irreducibility of spectral cones in Euclidean Jordan algebras

Let V be a Euclidean Jordan algebra of rank n. The eigenvalue map from V to R^n takes any element x in V to the vector of eigenvalues of x written in the decreasing order. A spectral set in V is the inverse image of a permutation set in R^n under the eigenvalue map. If the permutation set is also a convex cone, the spectral set is said to be a spectral cone. This paper deals with connectedness and arcwise connectedness properties of spectral sets. By relying on the result that in a simple Euclidean Jordan algebra, every eigenvalue orbit is arcwise connected, we show that if a permutation invariant set is connected (arcwise connected), then the corresponding spectral set is connected (respectively, arcwise connected). A related result is that in a simple Euclidean Jordan algebra, every pointed spectral cone is irreducible.

math.FA↗

Permutation invariant proper polyhedral cones and their Lyapunov rank

The Lyapunov rank of a proper cone $K$ in a finite dimensional real Hilbert space is defined as the dimension of the space of all Lyapunov-like transformations on $K$, or equivalently, the dimension of the Lie algebra of the automorphism group of $K$. This (rank) measures the number of linearly independent bilinear relations needed to express a complementarity system on $K$ (that arises, for example, from a linear program or a complementarity problem on the cone). Motivated by the problem of describing spectral/proper cones where the complementarity system can be expressed as a square system (that is, where the Lyapunov rank is greater than equal to the dimension of the ambient space), we consider proper polyhedral cones in $\mathbb{R}^n$ that are permutation invariant. For such cones we show that the Lyapunov rank is either 1 (in which case, the cone is irreducible) or n (in which case, the cone is isomorphic to the nonnegative orthart in $\mathbb{R}^n$). In the latter case, we show that the corresponding spectral cone is isomorphic to a symmetric cone.

math.OC↗

Commutation principles in Euclidean Jordan algebras and normal decomposition systems

The commutation principle of Ramirez, Seeger, and Sossa \cite{ramirez-seeger-sossa} proved in the setting of Euclidean Jordan algebras says that when the sum of a Fréchet differentiable function $Θ(x)$ and a spectral function $F(x)$ is minimized over a spectral set $Ω$, any local minimizer $a$ operator commutes with the Fréchet derivative $Θ^{\prime}(a)$. In this paper, we extend this result to sets and functions which are (just) invariant under algebra automorphisms. We also consider a similar principle in the setting of normal decomposition systems.

math.RA↗

Construction of a $^3$He magnetic force microscope with a vector magnet

We constructed a $^3$He magnetic force microscope operating at the base temperature of 300 mK under a vector magnetic field of 2-2-9 T in the $x-y-z$ direction. Fiber optic interferometry as a detection scheme is employed in which two home-built fiber walkers are used for the alignment between the cantilever and the optical fiber. The noise level of the laser interferometer is close to its thermodynamic limit. The capabilities of the sub-Kelvin and vector field are demonstrated by imaging the coexistence of magnetism and superconductivity in a ferromagnetic superconductor (ErNi$_2$B$_2$C) at $T$=500 mK and by probing a dipole shape of a single Abrikosov vortex with an in-plane tip magnetization.

physics.ins-det↗

Magnetic domain tuning and the emergence of bubble domains in the bilayer manganite La$_{2-2x}$Sr$_{1+2x}$Mn$_2$O$_7$ (x=0.32)

We report a magnetic force microscopy study of the magnetic domain evolution in the layered manganite La$_{2-2x}$Sr$_{1+2x}$Mn$_2$O$_7$ (with $x=0.32$). This strongly correlated electron compound is known to exhibit a wide range of magnetic phases, including a recently uncovered biskyrmion phase. We observe a continuous transition from dendritic to stripe-like domains, followed by the formation of magnetic bubbles due to a field- and temperature dependent competition between in-plane and out-of-plane spin alignments. The magnetic bubble phase appears at comparable field- and temperature ranges as the biskyrmion phase, suggesting a close relation between both phases. Based on our real-space images we construct a temperature-field phase diagram for this composition.

cond-mat.str-el↗