arXiv subjects

Po-Chun Kuo

Publications and source records attributed to Po-Chun Kuo.

10 recordsLinked to original sources

arXiv2026

On the global asymptotic stability for the 3D Peskin Problem at critical regularity

We prove global well-posedness and asymptotic stability for the three-dimensional Peskin problem, which models a closed, elastic membrane immersed in an incompressible Stokes fluid. We work with initial data in the optimal regularity space $W^{1,\infty}(\mathbb{S}^2)$, which may contain infinitely many corners. These initial configurations are instantly desingularized by the flow's parabolic smoothing effect, becoming smooth for all $t > 0$. Then we establish that the solutions converge exponentially in the $C^1$ topology to a translated and dilated conformal sphere. The stability is achieved by combining our nonlinear estimates with an exact structural decoupling of the 10-dimensional manifold of conformal steady states, demonstrating that the infinite-dimensional dissipative perturbation is strictly controlled. The core of our analysis is a functional framework on the sphere $\mathbb{S}^2$ that uses spectral Littlewood-Paley projections to control the highly singular multilinear operators arising from the fluid nonlinearity

math.AP↗

arXiv2026

Stability and equilibria of a compressible elastic membrane in Stokes flow

We formulate a continuum model for a compressible lipid-bilayer membrane immersed in Stokes flow, replacing exact local area inextensibility by conservation of an areal phospholipid density. The membrane free energy combines Helfrich bending, spontaneous curvature, and a finite area-compression penalty, so that membrane tension becomes a constitutive response to lipid-density variation rather than a Lagrange multiplier enforcing local area conservation. The resulting interfacial stress includes normal elastic forces and tangential Marangoni stresses generated by lipid redistribution; these stresses arise from membrane compressibility and can produce an effective negative tension when the local lipid density exceeds its preferred value. We further derive the linear stability of circular membranes in two dimensions and spherical membranes in three dimensions under full Stokes hydrodynamic coupling. In both cases, bending stabilizes the base shape, while excess lipid density destabilizes it by favoring increased membrane area. The first instability occurs in the lowest nontrivial shape mode, m = 2 in two dimensions and j = 2 in three dimensions. Energy expansions near onset show that the two-dimensional instability is a pitchfork bifurcation, whereas the three-dimensional instability is generically transcritical because prolate and oblate perturbations are geometrically distinct. These results provide a controlled compressible extension of classical vesicle mechanics and directly connect lipid-density variation, membrane tension, hydrodynamic coupling, and shape instability.

cond-mat.soft↗

arXiv2024

The Immersed Inextensible Interface Problem in 2D Stokes Flow

We study the dynamics of an inextensible, closed interface subject to bending forces and immersed in a two-dimensional and incompressible Stokes fluid. We formulate the problem as a boundary integral equation in terms of the tangent angle and demonstrate the well-posedness in suitable time-weighted spaces of the resulting nonlinear and nonlocal system. The solution is furthermore shown to be smooth for positive times. Numerical computations are performed to initiate the study of the long-time behavior of the interface.

math.AP↗

arXiv2023

The Tension Determination Problem for an Inextensible Interface in 2D Stokes Flow

Consider an inextensible closed filament immersed in a 2D Stokes fluid. Given a force density $\mathbf{F}$ defined on this filament, we consider the problem of determining the tension $σ$ on this filament that ensures the filament is inextensible. This is a subproblem of dynamic inextensible vesicle and membrane problems, which appear in engineering and biological applications. We study the well-posedness and regularity properties of this problem in Hölder spaces. We find that the tension determination problem admits a unique solution if and only if the closed filament is {\em not} a circle. Furthermore, we show that the tension $σ$ gains one derivative with respect to the imposed line force density $\mathbf{F}$, and show that the tangential and normal components of $\mathbf{F}$ affect the regularity of $σ$ in different ways. We also study the near singularity of the tension determination problem as the interface approaches a circle, and verify our analytical results against numerical experiment.

math.AP↗

arXiv2023

Well-Posedness of the 3D Peskin Problem

This paper introduces the 3D Peskin problem: a two-dimensional elastic membrane immersed in a three-dimensional steady Stokes flow. We obtain the equations that model this free boundary problem and show that they admit a boundary integral reduction, providing an evolution equation for the elastic interface. We consider general nonlinear elastic laws, i.e., the fully nonlinear Peskin problem, and prove that the problem is well-posed in low-regularity Hölder spaces. Moreover, we prove that the elastic membrane becomes smooth instantly in time.

math.AP↗

arXiv2019

Fair Byzantine Agreements for Blockchains

Byzantine general problem is the core problem of the consensus algorithm, and many protocols are proposed recently to improve the decentralization level, the performance and the security of the blockchain. There are two challenging issues when the blockchain is operating in practice. First, the outcomes of the consensus algorithm are usually related to the incentive model, so whether each participant's value has an equal probability of being chosen becomes essential. However, the issues of fairness are not captured in the traditional security definition of Byzantine agreement. Second, the blockchain should be resistant to network failures, such as cloud services shut down or malicious attack, while remains the high performance most of the time. This paper has two main contributions. First, we propose a novel notion called fair validity for Byzantine agreement. Intuitively, fair validity lower-bounds the expected numbers that honest nodes' values being decided if the protocol is executed many times. However, we also show that any Byzantine agreement could not achieve fair validity in an asynchronous network, so we focus on synchronous protocols. This leads to our second contribution: we propose a fair, responsive and partition-resilient Byzantine agreement protocol tolerating up to 1/3 corruptions. Fairness means that our protocol achieves fair validity. Responsiveness means that the termination time only depends on the actual network delay instead of depending on any pre-determined time bound. Partition-resilience means that the safety still holds even if the network is partitioned, and the termination will hold if the partition is resolved.

cs.DC↗

arXiv2018

DEXON: A Highly Scalable, Decentralized DAG-Based Consensus Algorithm

A blockchain system is a replicated state machine that must be fault tolerant. When designing a blockchain system, there is usually a trade-off between decentralization, scalability, and security. In this paper, we propose a novel blockchain system, DEXON, which achieves high scalability while remaining decentralized and robust in the real-world environment. We have two main contributions. First, we present a highly scalable sharding framework for blockchain. This framework takes an arbitrary number of single chains and transforms them into the \textit{blocklattice} data structure, enabling \textit{high scalability} and \textit{low transaction confirmation latency} with asymptotically optimal communication overhead. Second, we propose a single-chain protocol based on our novel verifiable random function and a new Byzantine agreement that achieves high decentralization and low latency.

cs.CR↗

arXiv2018

Multiplying boolean Polynomials with Frobenius Partitions in Additive Fast Fourier Transform

We show a new algorithm and its implementation for multiplying bit-polynomials of large degrees. The algorithm is based on evaluating polynomials at a specific set comprising a natural set for evaluation with additive FFT and a high order element under Frobenius map of $\mathbb{F}_{2}$. With the high order element, we can derive more values of the polynomials under Frobenius map. Besides, we also adapt the additive FFT to efficiently evaluate polynomials at the set with an encoding process. For the implementation, we reorder the computations in the additive FFT for reducing the number of memory writes and hiding the latency for reads. The algebraic operations, including field multiplication, bit-matrix transpose, and bit-matrix multiplication, are implemented with efficient SIMD instructions. As a result, we effect a software of best known efficiency, shown in our experiments.

cs.SC↗

arXiv2018

Frobenius Additive Fast Fourier Transform

In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polynomial P in GF(q)[x] of degree <n at all n-th roots of unity in GF($q^d$) can essentially be computed d-time faster than evaluating Q in GF($q^d$)[x] at all these roots, assuming GF($q^d$) contains a primitive n-th root of unity. Termed the Frobenius FFT, this discovery has a profound impact on polynomial multiplication, especially for multiplying binary polynomials, which finds ample application in coding theory and cryptography. In this paper, we show that the theory of Frobenius FFT beautifully generalizes to a class of additive FFT developed by Cantor and Gao-Mateer. Furthermore, we demonstrate the power of Frobenius additive FFT for q=2: to multiply two binary polynomials whose product is of degree <256, the new technique requires only 29,005 bit operations, while the best result previously reported was 33,397. To the best of our knowledge, this is the first time that FFT-based multiplication outperforms Karatsuba and the like at such a low degree in terms of bit-operation count.

cs.SC↗

arXiv2018

Faster Multiplication for Long Binary Polynomials

We set new speed records for multiplying long polynomials over finite fields of characteristic two. Our multiplication algorithm is based on an additive FFT (Fast Fourier Transform) by Lin, Chung, and Huang in 2014 comparing to previously best results based on multiplicative FFTs. Both methods have similar complexity for arithmetic operations on underlying finite field; however, our implementation shows that the additive FFT has less overhead. For further optimization, we employ a tower field construction because the multipliers in the additive FFT naturally fall into small subfields, which leads to speed-ups using table-lookup instructions in modern CPUs. Benchmarks show that our method saves about $40 \%$ computing time when multiplying polynomials of $2^{28}$ and $2^{29}$ bits comparing to previous multiplicative FFT implementations.

cs.SC↗