-
De Bruijn Tori Without Zeros: A Field-Theoretic Perspective
Authors:
Ming Hsuan Kang,
Yu Hsuan Hsieh
Abstract:
We present an algebraic construction of trace-based De Bruijn tori over finite fields, focusing on the nonzero variant that omits the all-zero pattern. The construction arranges nonzero field elements on a toroidal grid using two multiplicatively independent generators, with values obtained by applying a fixed linear map, typically the field trace.
We characterize sampling patterns as subsets wh…
▽ More
We present an algebraic construction of trace-based De Bruijn tori over finite fields, focusing on the nonzero variant that omits the all-zero pattern. The construction arranges nonzero field elements on a toroidal grid using two multiplicatively independent generators, with values obtained by applying a fixed linear map, typically the field trace.
We characterize sampling patterns as subsets whose associated field elements form an \( \mathbb{F}_p \)-basis, and show that column structures correspond to cyclic shifts of De Bruijn sequences determined by irreducible polynomials over subfields. Recursive update rules based on multiplicative translations enable efficient computation.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Tangential Wasserstein Projections
Authors:
Florian Gunsilius,
Meng Hsuan Hsieh,
Myung Jin Lee
Abstract:
We develop a notion of projections between sets of probability measures using the geometric properties of the 2-Wasserstein space. It is designed for general multivariate probability measures, is computationally efficient to implement, and provides a unique solution in regular settings. The idea is to work on regular tangent cones of the Wasserstein space using generalized geodesics. Its structure…
▽ More
We develop a notion of projections between sets of probability measures using the geometric properties of the 2-Wasserstein space. It is designed for general multivariate probability measures, is computationally efficient to implement, and provides a unique solution in regular settings. The idea is to work on regular tangent cones of the Wasserstein space using generalized geodesics. Its structure and computational properties make the method applicable in a variety of settings, from causal inference to the analysis of object data. An application to estimating causal effects yields a generalization of the notion of synthetic controls to multivariate data with individual-level heterogeneity, as well as a way to estimate optimal weights jointly over all time periods.
△ Less
Submitted 2 August, 2022; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Weight metamorphosis of varifolds and the LDDMM-Fisher-Rao metric
Authors:
Hsi-Wei Hsieh,
Nicolas Charon
Abstract:
This paper introduces and studies a metamorphosis framework for geometric measures known as varifolds, which extends the diffeomorphic registration model for objects such as curves, surfaces and measures by complementing diffeomorphic deformations with a transformation process on the varifold weights. We consider two classes of cost functionals to penalize those combined transformations, in partic…
▽ More
This paper introduces and studies a metamorphosis framework for geometric measures known as varifolds, which extends the diffeomorphic registration model for objects such as curves, surfaces and measures by complementing diffeomorphic deformations with a transformation process on the varifold weights. We consider two classes of cost functionals to penalize those combined transformations, in particular the LDDMM-Fisher-Rao energy which, as we show, leads to a well-defined Riemannian metric on the space of varifolds with existence of corresponding geodesics. We further introduce relaxed formulations of the respective optimal control problems, study their well-posedness and derive optimality conditions for the solutions. From these, we propose a numerical approach to compute optimal metamorphoses between discrete varifolds and illustrate the interest of this model in the situation of partially missing data.
△ Less
Submitted 8 December, 2021;
originally announced December 2021.
-
A numerical framework for elastic surface matching, comparison, and interpolation
Authors:
Martin Bauer,
Nicolas Charon,
Philipp Harms,
Hsi-Wei Hsieh
Abstract:
Surface comparison and matching is a challenging problem in computer vision. While reparametrization-invariant Sobolev metrics provide meaningful elastic distances and point correspondences via the geodesic boundary value problem, solving this problem numerically tends to be difficult. Square root normal fields (SRNF) considerably simplify the computation of certain elastic distances between param…
▽ More
Surface comparison and matching is a challenging problem in computer vision. While reparametrization-invariant Sobolev metrics provide meaningful elastic distances and point correspondences via the geodesic boundary value problem, solving this problem numerically tends to be difficult. Square root normal fields (SRNF) considerably simplify the computation of certain elastic distances between parametrized surfaces. Yet they leave open the issue of finding optimal reparametrizations, which induce elastic distances between unparametrized surfaces. This issue has concentrated much effort in recent years and led to the development of several numerical frameworks. In this paper, we take an alternative approach which bypasses the direct estimation of reparametrizations: we relax the geodesic boundary constraint using an auxiliary parametrization-blind varifold fidelity metric. This reformulation has several notable benefits. By avoiding altogether the need for reparametrizations, it provides the flexibility to deal with simplicial meshes of arbitrary topologies and sampling patterns. Moreover, the problem lends itself to a coarse-to-fine multi-resolution implementation, which makes the algorithm scalable to large meshes. Furthermore, this approach extends readily to higher-order feature maps such as square root curvature fields and is also able to include surface textures in the matching problem. We demonstrate these advantages on several examples, synthetic and real.
△ Less
Submitted 10 June, 2021; v1 submitted 20 June, 2020;
originally announced June 2020.
-
Metrics, quantization and registration in varifold spaces
Authors:
Hsi-Wei Hsieh,
Nicolas Charon
Abstract:
This paper is concerned with the theory and applications of varifolds to the representation, approximation and diffeomorphic registration of shapes. One of its purpose is to synthesize and extend several prior works which, so far, have made use of this framework mainly in the context of submanifold comparison and matching. In this work, we instead consider deformation models acting on general vari…
▽ More
This paper is concerned with the theory and applications of varifolds to the representation, approximation and diffeomorphic registration of shapes. One of its purpose is to synthesize and extend several prior works which, so far, have made use of this framework mainly in the context of submanifold comparison and matching. In this work, we instead consider deformation models acting on general varifold spaces, which allows to formulate and tackle diffeomorphic registration problems for a much wider class of geometric objects and lead to a more versatile algorithmic pipeline. We study in detail the construction of kernel metrics on varifold spaces and the resulting topological properties of those metrics, then propose a mathematical model for diffeomorphic registration of varifolds under a specific group action which we formulate in the framework of optimal control theory. A second important part of the paper focuses on the discrete aspects. Specifically, we address the problem of optimal finite approximations (quantization) for those metrics and show a $Γ$-convergence property for the corresponding registration functionals. Finally, we develop numerical pipelines for quantization and registration before showing a few preliminary results for one and two-dimensional varifolds.
△ Less
Submitted 12 November, 2020; v1 submitted 26 March, 2019;
originally announced March 2019.
-
Diffeomorphic registration of discrete geometric distributions
Authors:
Hsi-Wei Hsieh,
Nicolas Charon
Abstract:
This paper proposes a new framework and algorithms to address the problem of diffeomorphic registration on a general class of geometric objects that can be described as discrete distributions of local direction vectors. It builds on both the large deformation diffeomorphic metric mapping (LDDMM) model and the concept of oriented varifolds introduced in previous works like [Kaltenmark 2017]. Unlike…
▽ More
This paper proposes a new framework and algorithms to address the problem of diffeomorphic registration on a general class of geometric objects that can be described as discrete distributions of local direction vectors. It builds on both the large deformation diffeomorphic metric mapping (LDDMM) model and the concept of oriented varifolds introduced in previous works like [Kaltenmark 2017]. Unlike previous approaches in which varifold representations are only used as surrogates to define and evaluate fidelity terms, the specificity of this paper is to derive direct deformation models and corresponding matching algorithms for discrete varifolds. We show that it gives on the one hand an alternative numerical setting for curve and surface matching but that it can also handle efficiently more general shape structures, including multi-directional objects or multi-modal images represented as distributions of unit gradient vectors.
△ Less
Submitted 13 February, 2018; v1 submitted 29 January, 2018;
originally announced January 2018.
-
Disorder chaos in the spherical mean-field model
Authors:
Wei-Kuo Chen,
Hsi-Wei Hsieh,
Chii-Ruey Hwang,
Yuan-Chung Sheu
Abstract:
We consider the problem of disorder chaos in the spherical mean-field model. It is concerned about the behavior of the overlap between two independently sampled spin configurations from two Gibbs measures with the same external parameters. The prediction states that if the disorders in the Hamiltonians are slightly decoupled, then the overlap will be concentrated near a constant value. Following G…
▽ More
We consider the problem of disorder chaos in the spherical mean-field model. It is concerned about the behavior of the overlap between two independently sampled spin configurations from two Gibbs measures with the same external parameters. The prediction states that if the disorders in the Hamiltonians are slightly decoupled, then the overlap will be concentrated near a constant value. Following Guerra's replica symmetry breaking scheme, we establish this at the level of the free energy as well as the Gibbs measure irrespective the presence or absence of the external field.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
Singular Value Decompositions for Single-Curl Operators in Three-Dimensional Maxwell's Equations for Complex Media
Authors:
Ruey-Lin Chern,
Han-En Hsieh,
Tsung-Ming Huang,
Wen-Wei Lin,
Weichung Wang
Abstract:
This article focuses on solving the generalized eigenvalue problems (GEP) arising in the source-free Maxwell equation with magnetoelectric coupling effects that models three-dimensional complex media. The goal is to compute the smallest positive eigenvalues, and the main challenge is that the coefficient matrix in the discrete Maxwell equation is indefinite and degenerate. To overcome this difficu…
▽ More
This article focuses on solving the generalized eigenvalue problems (GEP) arising in the source-free Maxwell equation with magnetoelectric coupling effects that models three-dimensional complex media. The goal is to compute the smallest positive eigenvalues, and the main challenge is that the coefficient matrix in the discrete Maxwell equation is indefinite and degenerate. To overcome this difficulty, we derive a singular value decomposition (SVD) of the discrete single-curl operator and then explicitly express the basis of the invariant subspace corresponding to the nonzero eigenvalues of the GEP. Consequently, we reduce the GEP to a null space free standard eigenvalue problem (NFSEP) that contains only the nonzero (complex) eigenvalues of the GEP and can be solved by the shift-and-invert Arnoldi method without being disturbed by the null space. Furthermore, the basis of the eigendecomposition is chosen carefully so that we can apply fast Fourier transformation (FFT)-based matrix vector multiplication to solve the embedded linear systems efficiently by an iterative method. For chiral and pseudochiral complex media, which are of great interest in magnetoelectric applications, the NFSEP can be further transformed to a null space free generalized eigenvalue problem whose coefficient matrices are Hermitian and Hermitian positive definite (HHPD-NFGEP). This HHPD-NFGEP can be solved by using the invert Lanczos method without shifting. Furthermore, the embedded linear system can be solved efficiently by using the conjugate gradient method without preconditioning and the FFT-based matrix vector multiplications. Numerical results are presented to demonstrate the efficiency of the proposed methods.
△ Less
Submitted 25 February, 2014;
originally announced February 2014.