-
Ruled zero mean curvature surfaces in the three-dimensional light cone
Authors:
Joseph Cho,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We obtain a complete classification of ruled zero mean curvature surfaces in the three-dimensional light cone. En route, we examine geodesics and screw motions in the space form, allowing us to discover helicoids. We also consider their relationship to catenoids using Weierstrass representations of zero mean curvature surfaces in the three-dimensional light cone.
We obtain a complete classification of ruled zero mean curvature surfaces in the three-dimensional light cone. En route, we examine geodesics and screw motions in the space form, allowing us to discover helicoids. We also consider their relationship to catenoids using Weierstrass representations of zero mean curvature surfaces in the three-dimensional light cone.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Monodromy of Darboux transformations of polarised curves
Authors:
Joseph Cho,
Katrin Leschke,
Yuta Ogata
Abstract:
We show that every finite type polarised curve in the conformal $2$-sphere with a polynomial conserved quantity admits a resonance point, under a non-orthogonality assumption on the conserved quantity. Using this fact, we deduce that every finite type curve polarised by space form arc-length in the conformal $2$-sphere admits a resonance point, possibly on a multiple cover.
We show that every finite type polarised curve in the conformal $2$-sphere with a polynomial conserved quantity admits a resonance point, under a non-orthogonality assumption on the conserved quantity. Using this fact, we deduce that every finite type curve polarised by space form arc-length in the conformal $2$-sphere admits a resonance point, possibly on a multiple cover.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
A Fröberg type theorem for higher secant complexes
Authors:
Junho Choe,
Jaewoo Jung
Abstract:
We generalize the celebrated Fröberg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we investigate combinatorial phenomena parallel to geometric ones observed for higher secant varieties of minimal degree.
We generalize the celebrated Fröberg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we investigate combinatorial phenomena parallel to geometric ones observed for higher secant varieties of minimal degree.
△ Less
Submitted 16 May, 2025; v1 submitted 28 February, 2025;
originally announced February 2025.
-
Weierstrass representations of discrete constant mean curvature surfaces in isotropic space
Authors:
Joseph Cho,
Masaya Hara
Abstract:
In this paper, we obtain Weierstrass representations for discrete constant mean curvature surfaces in isotropic 3-space, and use this to construct examples with discrete closed-form parametrizations.
In this paper, we obtain Weierstrass representations for discrete constant mean curvature surfaces in isotropic 3-space, and use this to construct examples with discrete closed-form parametrizations.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Free boundary minimal surfaces and the reflection principle
Authors:
Jaigyoung Choe
Abstract:
We show that a minimal surface meeting a sphere at a 90-degree angle can be reflected across the sphere. Using this reflection, we prove the uniqueness that every embedded free boundary minimal annulus in a ball is necessarily the critical catenoid.
We show that a minimal surface meeting a sphere at a 90-degree angle can be reflected across the sphere. Using this reflection, we prove the uniqueness that every embedded free boundary minimal annulus in a ball is necessarily the critical catenoid.
△ Less
Submitted 5 January, 2025;
originally announced January 2025.
-
Crack opening calculation in phase-field modeling of fluid-filled fracture: A robust and efficient strain-based method
Authors:
Fan Fei,
Jinhyun Choo
Abstract:
The phase-field method has become popular for the numerical modeling of fluid-filled fractures, thanks to its ability to represent complex fracture geometry without algorithms. However, the algorithm-free representation of fracture geometry poses a significant challenge in calculating the crack opening (aperture) of phase-field fracture, which governs the fracture permeability and hence the overal…
▽ More
The phase-field method has become popular for the numerical modeling of fluid-filled fractures, thanks to its ability to represent complex fracture geometry without algorithms. However, the algorithm-free representation of fracture geometry poses a significant challenge in calculating the crack opening (aperture) of phase-field fracture, which governs the fracture permeability and hence the overall hydromechanical behavior. Although several approaches have been devised to compute the crack opening of phase-field fracture, they require a sophisticated algorithm for post-processing the phase-field values or an additional parameter sensitive to the element size and alignment. Here, we develop a novel method for calculating the crack opening of fluid-filled phase-field fracture, which enables one to obtain the crack opening without additional algorithms or parameters. We transform the displacement-jump-based kinematics of a fracture into a continuous strain-based version, insert it into a force balance equation on the fracture, and apply the phase-field approximation. Through this procedure, we obtain a simple equation for the crack opening which can be calculated with quantities at individual material points. We verify the proposed method with analytical and numerical solutions obtained based on discrete representations of fractures, demonstrating its capability to calculate the crack opening regardless of the element size or alignment.
△ Less
Submitted 16 November, 2024; v1 submitted 25 October, 2024;
originally announced October 2024.
-
Zero mean curvature surfaces in isotropic space with planar curvature lines
Authors:
Joseph Cho,
Masaya Hara
Abstract:
We give a comprehensive account of zero mean curvature surfaces in isotropic 3-space with planar curvature lines. After giving a complete classification all such surfaces, we show that they belong to a 1-parameter family of surfaces. We then investigate their relationship to Thomsen-type surfaces in isotropic 3-space, those zero mean curvature surfaces in isotropic 3-space that are also affine min…
▽ More
We give a comprehensive account of zero mean curvature surfaces in isotropic 3-space with planar curvature lines. After giving a complete classification all such surfaces, we show that they belong to a 1-parameter family of surfaces. We then investigate their relationship to Thomsen-type surfaces in isotropic 3-space, those zero mean curvature surfaces in isotropic 3-space that are also affine minimal.
△ Less
Submitted 24 October, 2024; v1 submitted 24 October, 2024;
originally announced October 2024.
-
Eco-driving Incentive Mechanisms for Mitigating Emissions in Urban Transportation
Authors:
M. Umar B. Niazi,
Jung-Hoon Cho,
Munther A. Dahleh,
Roy Dong,
Cathy Wu
Abstract:
This paper proposes incentive mechanisms that promote eco-driving in transportation networks with the over-arching objective of minimizing emissions. The transportation system operator provides the drivers with energy-efficient driving guidance throughout their trips, and their eco-driving levels are measured by how closely they follow this guidance via vehicle telematics. Drivers choose their eco…
▽ More
This paper proposes incentive mechanisms that promote eco-driving in transportation networks with the over-arching objective of minimizing emissions. The transportation system operator provides the drivers with energy-efficient driving guidance throughout their trips, and their eco-driving levels are measured by how closely they follow this guidance via vehicle telematics. Drivers choose their eco-driving levels to optimize a combination of their travel times and their emissions. To obtain optimal budget allocation and recommendations for the incentive mechanism, the system operator gathers drivers' preferences, or types, to assess each driver's trip urgency and natural willingness to eco-drive. In a setting where drivers truthfully report their types, we introduce the first-best incentive mechanism and show that the obedience condition holds (i.e., drivers find it optimal to comply with the system operator's recommendations) when the recommended eco-driving profile constitutes a Nash equilibrium. Moreover, in a setting where drivers can strategically report their types, we introduce the second-best incentive mechanism and show that the proposed mechanism is incentive-compatible (i.e., drivers find it optimal to be truthful). Under this mechanism, we also show that all equilibrium outcomes are at least as good as the recommended eco-driving profile in terms of the system operator's objective. Overall, this work offers a framework for designing eco-driving incentive mechanisms while considering both the strategic behavior of individual drivers and the network effects of collective decision-making.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
Graph products of residually finite monoids are residually finite
Authors:
Jung Won Cho,
Victoria Gould,
Nik Ruškuc,
Dandan Yang
Abstract:
We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.
We show that any graph product of residually finite monoids is residually finite. As a special case we obtain that any free product of residually finite monoids is residually finite. The corresponding results for graph products of semigroups follow.
△ Less
Submitted 27 August, 2024; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Combining Evidence Across Filtrations
Authors:
Yo Joong Choe,
Aaditya Ramdas
Abstract:
In sequential anytime-valid inference, any admissible procedure must be based on e-processes: generalizations of test martingales that quantify the accumulated evidence against a composite null hypothesis at any stopping time. This paper proposes a method for combining e-processes constructed in different filtrations but for the same null. Although e-processes in the same filtration can be combine…
▽ More
In sequential anytime-valid inference, any admissible procedure must be based on e-processes: generalizations of test martingales that quantify the accumulated evidence against a composite null hypothesis at any stopping time. This paper proposes a method for combining e-processes constructed in different filtrations but for the same null. Although e-processes in the same filtration can be combined effortlessly (by averaging), e-processes in different filtrations cannot because their validity in a coarser filtration does not translate to a finer filtration. This issue arises in sequential tests of randomness and independence, as well as in the evaluation of sequential forecasters. We establish that a class of functions called adjusters can lift arbitrary e-processes across filtrations. The result yields a generally applicable "adjust-then-combine" procedure, which we demonstrate on the problem of testing randomness in real-world financial data. Furthermore, we prove a characterization theorem for adjusters that formalizes a sense in which using adjusters is necessary. There are two major implications. First, if we have a powerful e-process in a coarsened filtration, then we readily have a powerful e-process in the original filtration. Second, when we coarsen the filtration to construct an e-process, there is a logarithmic cost to recovering validity in the original filtration.
△ Less
Submitted 15 February, 2025; v1 submitted 14 February, 2024;
originally announced February 2024.
-
Generators and presentations of inverse subsemigroups of the monogenic free inverse semigroup
Authors:
Jung Won Cho,
Nik Ruskuc
Abstract:
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and presentations for general (i.e. not necessarily finitely generated) inverse subsemigroups of $FI_1$. For an inverse semigroup $S$ and an inverse subsemigroup…
▽ More
It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and presentations for general (i.e. not necessarily finitely generated) inverse subsemigroups of $FI_1$. For an inverse semigroup $S$ and an inverse subsemigroup $T$ of $S$, we say $S$ is finitely generated modulo $T$ if there is a finite set $A$ such that $S = \langle T, A \rangle$. Likewise, we say that $S$ is finitely presented modulo $T $ if $S$ can be defined by a presentation of the form $\text{Inv}\langle X, Y \mid R, Q\rangle$, where $\text{Inv}\langle X\mid R\rangle$ is a presentation for $T$ and $Y$ and $Q$ are finite. We show that every inverse subsemigroup $S$ of $FI_1$ is finitely generated modulo its semilattice of idempotents $E(S)$. By way of contrast, we show that when $S\neq E(S)$, it can never be finitely presented modulo $E(S)$. However, in the process we establish some nice (albeit infinite) presentations for $S$ modulo $E(S)$.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Discrete constant mean curvature cylinders and isothermic tori
Authors:
Joseph Cho,
Katrin Leschke,
Yuta Ogata
Abstract:
We consider the monodromy problem of Darboux transforms of discrete isothermic surfaces using the integrable theory of discrete polarised curves. Then we provide, for the first time, closed-form discrete parametrisations of discrete isothermic cylinders, discrete constant mean curvature cylinders, and discrete isothermic tori.
We consider the monodromy problem of Darboux transforms of discrete isothermic surfaces using the integrable theory of discrete polarised curves. Then we provide, for the first time, closed-form discrete parametrisations of discrete isothermic cylinders, discrete constant mean curvature cylinders, and discrete isothermic tori.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
The average analytic rank of elliptic curves with prescribed level structure
Authors:
Peter J. Cho,
Keunyoung Jeong,
Junyeong Park
Abstract:
Assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis for the $L$-functions of the elliptic curve, we give an upper bound of the average analytic rank of elliptic curves over the number field with a level structure such that the corresponding compactified moduli stack is representable by the projective line.
Assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis for the $L$-functions of the elliptic curve, we give an upper bound of the average analytic rank of elliptic curves over the number field with a level structure such that the corresponding compactified moduli stack is representable by the projective line.
△ Less
Submitted 2 July, 2024; v1 submitted 10 December, 2023;
originally announced December 2023.
-
Seller-side Outcome Fairness in Online Marketplaces
Authors:
Zikun Ye,
Reza Yousefi Maragheh,
Lalitesh Morishetti,
Shanu Vashishtha,
Jason Cho,
Kaushiki Nag,
Sushant Kumar,
Kannan Achan
Abstract:
This paper aims to investigate and achieve seller-side fairness within online marketplaces, where many sellers and their items are not sufficiently exposed to customers in an e-commerce platform. This phenomenon raises concerns regarding the potential loss of revenue associated with less exposed items as well as less marketplace diversity. We introduce the notion of seller-side outcome fairness an…
▽ More
This paper aims to investigate and achieve seller-side fairness within online marketplaces, where many sellers and their items are not sufficiently exposed to customers in an e-commerce platform. This phenomenon raises concerns regarding the potential loss of revenue associated with less exposed items as well as less marketplace diversity. We introduce the notion of seller-side outcome fairness and build an optimization model to balance collected recommendation rewards and the fairness metric. We then propose a gradient-based data-driven algorithm based on the duality and bandit theory. Our numerical experiments on real e-commerce data sets show that our algorithm can lift seller fairness measures while not hurting metrics like collected Gross Merchandise Value (GMV) and total purchases.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Incentive Design for Eco-driving in Urban Transportation Networks
Authors:
M. Umar B. Niazi,
Jung-Hoon Cho,
Munther A. Dahleh,
Roy Dong,
Cathy Wu
Abstract:
Eco-driving emerges as a cost-effective and efficient strategy to mitigate greenhouse gas emissions in urban transportation networks. Acknowledging the persuasive influence of incentives in shaping driver behavior, this paper presents the `eco-planner,' a digital platform devised to promote eco-driving practices in urban transportation. At the outset of their trips, users provide the platform with…
▽ More
Eco-driving emerges as a cost-effective and efficient strategy to mitigate greenhouse gas emissions in urban transportation networks. Acknowledging the persuasive influence of incentives in shaping driver behavior, this paper presents the `eco-planner,' a digital platform devised to promote eco-driving practices in urban transportation. At the outset of their trips, users provide the platform with their trip details and travel time preferences, enabling the eco-planner to formulate personalized eco-driving recommendations and corresponding incentives, while adhering to its budgetary constraints. Upon trip completion, incentives are transferred to users who comply with the recommendations and effectively reduce their emissions. By comparing our proposed incentive mechanism with a baseline scheme that offers uniform incentives to all users, we demonstrate that our approach achieves superior emission reductions and increased user compliance with a smaller budget.
△ Less
Submitted 16 May, 2024; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Lie minimal Weingarten surfaces
Authors:
Joseph Cho,
Masaya Hara,
Denis Polly,
Tomohiro Tada
Abstract:
We consider Lie minimal surfaces, the critical points of the simplest Lie sphere invariant energy, in Riemannian space forms. These surfaces can be characterized via their Euler-Lagrange equations, which take the form of differential equations of the principal curvatures. Surfaces with constant mean curvature that satisfy these equations turn out to be rotational in their space form. We generalize…
▽ More
We consider Lie minimal surfaces, the critical points of the simplest Lie sphere invariant energy, in Riemannian space forms. These surfaces can be characterized via their Euler-Lagrange equations, which take the form of differential equations of the principal curvatures. Surfaces with constant mean curvature that satisfy these equations turn out to be rotational in their space form. We generalize in flat ambient space: here surfaces where the principal curvatures satisfy an affine relationship as well as elliptic linear Weingarten surfaces are rotational as well.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Complete minimal surfaces of finite topology in the doubled Schwarzschild 3-manifold
Authors:
Jaigyoung Choe,
Jaehoon Lee,
Eungbeom Yeon
Abstract:
We construct a complete embedded minimal surface with arbitrary genus in the doubled Schwarzschild 3-manifold. A classical desingularization method is used for the construction.
We construct a complete embedded minimal surface with arbitrary genus in the doubled Schwarzschild 3-manifold. A classical desingularization method is used for the construction.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Syzygies of secant varieties of smooth projective curves and gonality sequences
Authors:
Junho Choe,
Sijong Kwak,
Jinhyung Park
Abstract:
The purpose of this paper is to prove that one can read off the gonality sequence of a smooth projective curve from syzygies of secant varieties of the curve embedded by a line bundle of sufficiently large degree. More precisely, together with Ein-Niu-Park's theorem, our main result shows that the gonality sequence of a smooth projective curve completely determines the shape of the minimal free re…
▽ More
The purpose of this paper is to prove that one can read off the gonality sequence of a smooth projective curve from syzygies of secant varieties of the curve embedded by a line bundle of sufficiently large degree. More precisely, together with Ein-Niu-Park's theorem, our main result shows that the gonality sequence of a smooth projective curve completely determines the shape of the minimal free resolutions of secant varieties of the curve of sufficiently large degree. This is a natural generalization of the gonality conjecture on syzygies of smooth projective curves established by Ein-Lazarsfeld and Rathmann to the secant varieties.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Periodic discrete Darboux transforms
Authors:
Joseph Cho,
Katrin Leschke,
Yuta Ogata
Abstract:
We express Darboux transformations of discrete polarised curves as parallel sections of discrete connections in the quaternionic formalism. This immediately leads to the linearisation of the monodromy of the transformation. We also consider the integrable reduction to the case of discrete bicycle correspondence. Applying our method to the case of discrete circles, we obtain closed-form discrete pa…
▽ More
We express Darboux transformations of discrete polarised curves as parallel sections of discrete connections in the quaternionic formalism. This immediately leads to the linearisation of the monodromy of the transformation. We also consider the integrable reduction to the case of discrete bicycle correspondence. Applying our method to the case of discrete circles, we obtain closed-form discrete parametrisations of all (closed) Darboux transforms and (closed) bicycle correspondences.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Spinor representation in isotropic 3-space via Laguerre geometry
Authors:
Joseph Cho,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We give a detailed description of the geometry of isotropic space, in parallel to those of Euclidean space within the realm of Laguerre geometry. After developing basic surface theory in isotropic space, we define spin transformations, directly leading to the spinor representation of conformal surfaces in isotropic space. As an application, we obtain the Weierstrass-type representation for zero me…
▽ More
We give a detailed description of the geometry of isotropic space, in parallel to those of Euclidean space within the realm of Laguerre geometry. After developing basic surface theory in isotropic space, we define spin transformations, directly leading to the spinor representation of conformal surfaces in isotropic space. As an application, we obtain the Weierstrass-type representation for zero mean curvature surfaces, and the Kenmotsu-type representation for constant mean curvature surfaces, allowing us to construct many explicit examples.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Björling problem for zero mean curvature surfaces in the three-dimensional light cone
Authors:
Joseph Cho,
So Young Kim,
Dami Lee,
Wonjoo Lee,
Seong-Deog Yang
Abstract:
We solve the Björling problem for zero mean curvature surfaces in the three-dimensional light cone. As an application, we construct and classify all rotational zero mean curvature surfaces.
We solve the Björling problem for zero mean curvature surfaces in the three-dimensional light cone. As an application, we construct and classify all rotational zero mean curvature surfaces.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Determining Optimal Combination Regimens for Patients with Multiple Myeloma
Authors:
Mahya Aghaee,
Urszula Ledzewicz,
Michael Robbins,
Natalie Bezman,
Hearn Jay Cho,
Helen Moore
Abstract:
While many novel therapies have been approved in recent years for treating patients with multiple myeloma, there is still no established curative regimen, especially for patients with high risk disease. In this work, we use a mathematical modeling approach to determine combination therapy regimens that maximize healthy lifespan for patients with multiple myeloma. We start with a model of ordinary…
▽ More
While many novel therapies have been approved in recent years for treating patients with multiple myeloma, there is still no established curative regimen, especially for patients with high risk disease. In this work, we use a mathematical modeling approach to determine combination therapy regimens that maximize healthy lifespan for patients with multiple myeloma. We start with a model of ordinary differential equations for the underlying disease and immune dynamics, which was presented and analyzed previously. We add the effects of three therapies to the model: pomalidomide, dexamethasone, and elotuzumab. We consider multiple approaches to optimizing combinations of these therapies. We find that optimal control combined with approximation outperforms other methods, in that they can quickly produce a combination regimen that is clinically-feasible and near-optimal. Implications of this work can be used to optimize doses and advance the scheduling of drugs.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Generating Axially Symmetric Minimal Hyper-surfaces in R^{1,3}
Authors:
Jens Hoppe,
Jaigyoung Choe,
O. Teoman Turgut
Abstract:
It is shown that, somewhat similar to the case of classical Baecklund transformations for surfaces of constant negative curvature, infinitely many axially symmetric minimal hypersurfaces in 4-dimensional Minkowski-space can be obtained, in a non-trivial way, from any given one by combining the scaling symmetries of the equations in light cone coordinates with a non-obvious symmetry (the analogue o…
▽ More
It is shown that, somewhat similar to the case of classical Baecklund transformations for surfaces of constant negative curvature, infinitely many axially symmetric minimal hypersurfaces in 4-dimensional Minkowski-space can be obtained, in a non-trivial way, from any given one by combining the scaling symmetries of the equations in light cone coordinates with a non-obvious symmetry (the analogue of Bianchis original transformation) - which can be shown to be involutive/correspond to a space-reflection.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Circumventing volumetric locking in explicit material point methods: A simple, efficient, and general approach
Authors:
Yidong Zhao,
Chenfanfu Jiang,
Jinhyun Choo
Abstract:
The material point method (MPM) is frequently used to simulate large deformations of nearly incompressible materials such as water, rubber, and undrained porous media. However, MPM solutions to nearly incompressible materials are susceptible to volumetric locking, that is, overly stiff behavior with erroneous strain and stress fields. While several approaches have been devised to mitigate volumetr…
▽ More
The material point method (MPM) is frequently used to simulate large deformations of nearly incompressible materials such as water, rubber, and undrained porous media. However, MPM solutions to nearly incompressible materials are susceptible to volumetric locking, that is, overly stiff behavior with erroneous strain and stress fields. While several approaches have been devised to mitigate volumetric locking in the MPM, they require significant modifications of the existing MPM machinery, often tailored to certain basis functions or material types. In this work, we propose a locking-mitigation approach featuring an unprecedented combination of simplicity, efficacy, and generality for a family of explicit MPM formulations. The approach combines the assumed deformation gradient ($\bar{\boldsymbol{F}}$) method with a volume-averaging operation built on the standard particle-grid transfer scheme in the MPM. Upon explicit time integration, this combination yields a new and simple algorithm for updating the deformation gradient, preserving all other MPM procedures. The proposed approach is thus easy to implement, low-cost, and compatible with the existing machinery in the MPM. Through various types of nearly incompressible problems in solid and fluid mechanics, we verify that the proposed approach efficiently circumvents volumetric locking in the explicit MPM, regardless of the basis functions and material types.
△ Less
Submitted 18 August, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Determinantal characterization of higher secant varieties of minimal degree
Authors:
Junho Choe,
Sijong Kwak
Abstract:
A variety of minimal degree is one of the basic objects in projective algebraic geometry and has been classified and characterized in many aspects. On the other hand, there are also minimal objects in the category of higher secant varieties, and their algebraic and geometric structures seem to share many similarities with those of varieties of minimal degree.
We prove in this paper that higher s…
▽ More
A variety of minimal degree is one of the basic objects in projective algebraic geometry and has been classified and characterized in many aspects. On the other hand, there are also minimal objects in the category of higher secant varieties, and their algebraic and geometric structures seem to share many similarities with those of varieties of minimal degree.
We prove in this paper that higher secant varieties of minimal degree have determinantal presentation of two types, i.e. scroll type and Veronese type. Our result generalizes the del Pezzo-Bertini classification for varieties of minimal degree. Also, as a consequence, we show that for any smooth projective variety having higher secant variety of minimal degree, the embedding line bundle admits a special decomposition into two line bundles as so do those of the well-known examples: varieties of minimal degree, smooth del Pezzo varieties, Segre varieties and 2-Veronese varieties.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
A Twistor Construction of Hopf Real Hypersurfaces in Complex hyperbolic Space
Authors:
Jong Taek Cho,
Makoto Kimura,
Miguel Ortega
Abstract:
It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal su…
▽ More
It is very well known that Hopf real hypersurfaces in the complex projective space can be locally characterized as tubes over complex submanifolds. This also holds true for some, but not all, Hopf real hypersurfaces in the complex hyperbolic space. The main goal of this paper is to show, in a unified way, how to construct Hopf real hypersurfaces in the complex hyperbolic space from a horizontal submanifold in one of the three twistor spaces of the indefinite complex $2$-plane Grassmannian with respect to the natural para-quaternionic Kähler structure. We also identify these twistor spaces with the sets of circles in totally geodesic complex hyperbolic lines in the complex hyperbolic space. As an application, we describe all classical Hopf examples. We also solve the remarkable and long-standing problem of the existence of Hopf real hypersurfaces in the complex hyperbolic space, different from the horosphere, such that the associated principal curvature is $2$. We exhibit a method to obtain plenty of them.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Castelnuovo-Mumford regularity of unprojections and the Eisenbud-Goto regularity conjecture
Authors:
Junho Choe
Abstract:
McCullough and Peeva found sequences of counterexamples to the Eisenbud--Goto conjecture on the Castelnuovo--Mumford regularity by using Rees-like algebras, where entries of each sequence have increasing dimensions and codimensions. In this paper we suggest another method to construct counterexamples to the conjecture with any fixed dimension $n\geq3$ and any fixed codimension $e\geq2$. Our strate…
▽ More
McCullough and Peeva found sequences of counterexamples to the Eisenbud--Goto conjecture on the Castelnuovo--Mumford regularity by using Rees-like algebras, where entries of each sequence have increasing dimensions and codimensions. In this paper we suggest another method to construct counterexamples to the conjecture with any fixed dimension $n\geq3$ and any fixed codimension $e\geq2$. Our strategy is an unprojection process and utilizes the possible complexity of homogeneous ideals with three generators. Furthermore, our counterexamples exhibit how singularities affect the Castelnuovo--Mumford regularity.
△ Less
Submitted 16 August, 2024; v1 submitted 13 June, 2022;
originally announced June 2022.
-
New explicit CMC cylinders and same-lobed CMC multibubbletons
Authors:
Joseph Cho,
Katrin Leschke,
Yuta Ogata
Abstract:
We provide explicit parametrisations of all Darboux transforms of Delaunay surfaces. Using the Darboux transformation on a multiple cover, we obtain this way new closed CMC surfaces with dihedral symmetry. These can be used to construct closed same-lobed CMC multibubbletons by applying Bianchi permutability.
We provide explicit parametrisations of all Darboux transforms of Delaunay surfaces. Using the Darboux transformation on a multiple cover, we obtain this way new closed CMC surfaces with dihedral symmetry. These can be used to construct closed same-lobed CMC multibubbletons by applying Bianchi permutability.
△ Less
Submitted 29 May, 2022;
originally announced May 2022.
-
Comparing Sequential Forecasters
Authors:
Yo Joong Choe,
Aaditya Ramdas
Abstract:
Consider two forecasters, each making a single prediction for a sequence of events over time. We ask a relatively basic question: how might we compare these forecasters, either online or post-hoc, while avoiding unverifiable assumptions on how the forecasts and outcomes were generated? In this paper, we present a rigorous answer to this question by designing novel sequential inference procedures f…
▽ More
Consider two forecasters, each making a single prediction for a sequence of events over time. We ask a relatively basic question: how might we compare these forecasters, either online or post-hoc, while avoiding unverifiable assumptions on how the forecasts and outcomes were generated? In this paper, we present a rigorous answer to this question by designing novel sequential inference procedures for estimating the time-varying difference in forecast scores. To do this, we employ confidence sequences (CS), which are sequences of confidence intervals that can be continuously monitored and are valid at arbitrary data-dependent stopping times ("anytime-valid"). The widths of our CSs are adaptive to the underlying variance of the score differences. Underlying their construction is a game-theoretic statistical framework, in which we further identify e-processes and p-processes for sequentially testing a weak null hypothesis -- whether one forecaster outperforms another on average (rather than always). Our methods do not make distributional assumptions on the forecasts or outcomes; our main theorems apply to any bounded scores, and we later provide alternative methods for unbounded scores. We empirically validate our approaches by comparing real-world baseball and weather forecasters.
△ Less
Submitted 9 November, 2023; v1 submitted 30 September, 2021;
originally announced October 2021.
-
A barrier method for frictional contact on embedded interfaces
Authors:
Yidong Zhao,
Jinhyun Choo,
Yupeng Jiang,
Minchen Li,
Chenfanfu Jiang,
Kenichi Soga
Abstract:
We present a barrier method for treating frictional contact on interfaces embedded in finite elements. The barrier treatment has several attractive features, including: (i) it does not introduce any additional degrees of freedom or iterative steps, (ii) it is free of inter-penetration, (iii) it avoids an ill-conditioned matrix system, and (iv) it allows one to control the solution accuracy directl…
▽ More
We present a barrier method for treating frictional contact on interfaces embedded in finite elements. The barrier treatment has several attractive features, including: (i) it does not introduce any additional degrees of freedom or iterative steps, (ii) it is free of inter-penetration, (iii) it avoids an ill-conditioned matrix system, and (iv) it allows one to control the solution accuracy directly. We derive the contact pressure from a smooth barrier energy function that is designed to satisfy the non-penetration constraint. Likewise, we make use of a smoothed friction law in which the stick-slip transition is described by a continuous function of the slip displacement. We discretize the formulation using the extended finite element method to embed interfaces inside elements, and devise an averaged surface integration scheme that effectively provides stable solutions without traction oscillations. Subsequently, we develop a way to tailor the parameters of the barrier method to embedded interfaces, such that the method can be used without parameter tuning. We verify and investigate the proposed method through numerical examples with varied levels of complexity. The numerical results demonstrate that the proposed method is remarkably robust for challenging frictional contact problems, while requiring low cost comparable to that of the penalty method.
△ Less
Submitted 27 February, 2022; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Discrete minimal nets with symmetries
Authors:
Joseph Cho,
Wayne Rossman,
Seong-Deog Yang
Abstract:
In this paper, we extend the notion of Schwarz reflection principle for smooth minimal surfaces to the discrete analogues for minimal surfaces, and use it to create global examples of discrete minimal nets with high degree of symmetry.
In this paper, we extend the notion of Schwarz reflection principle for smooth minimal surfaces to the discrete analogues for minimal surfaces, and use it to create global examples of discrete minimal nets with high degree of symmetry.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Constrained elastic curves and surfaces with spherical curvature lines
Authors:
Joseph Cho,
Mason Pember,
Gudrun Szewieczek
Abstract:
In this paper we consider surfaces with one or two families of spherical curvature lines. We show that every surface with a family of spherical curvature lines can locally be generated by a pair of initial data: a suitable curve of Lie sphere transformations and a spherical Legendre curve. We then provide conditions on the initial data for which such a surface is Lie applicable, an integrable clas…
▽ More
In this paper we consider surfaces with one or two families of spherical curvature lines. We show that every surface with a family of spherical curvature lines can locally be generated by a pair of initial data: a suitable curve of Lie sphere transformations and a spherical Legendre curve. We then provide conditions on the initial data for which such a surface is Lie applicable, an integrable class of surfaces that includes cmc and pseudospherical surfaces. In particular we show that a Lie applicable surface with exactly one family of spherical curvature lines must be generated by the lift of a constrained elastic curve in some space form. In view of this goal, we give a Lie sphere geometric characterisation of constrained elastic curves via polynomial conserved quantities of a certain family of connections.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
The periodic Plateau problem and its application
Authors:
Jaigyoung Choe
Abstract:
Given a noncompact disconnected complete periodic curve $Γ$ with no self intersection in $\mathbb R^3$, it is proved that there exists a noncompact simply connected periodic minimal surface spanning $Γ$. As an application it is shown that for any tetrahedron $T$ with dihedral angles $\leq90^\circ$ there exist four embedded minimal annuli in $T$ which are perpendicular to $\partial T$ along their b…
▽ More
Given a noncompact disconnected complete periodic curve $Γ$ with no self intersection in $\mathbb R^3$, it is proved that there exists a noncompact simply connected periodic minimal surface spanning $Γ$. As an application it is shown that for any tetrahedron $T$ with dihedral angles $\leq90^\circ$ there exist four embedded minimal annuli in $T$ which are perpendicular to $\partial T$ along their boundary. It is also proved that every Platonic solid of $\mathbb R^3$ contains five types of free boundary embedded minimal surfaces of genus zero.
△ Less
Submitted 23 August, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
Generalised Bianchi permutability for isothermic surfaces
Authors:
Joseph Cho,
Katrin Leschke,
Yuta Ogata
Abstract:
Isothermic surfaces are surfaces which allow a conformal curvature line parametrisation. They form an integrable system, and Darboux transforms of isothermic surfaces obey Bianchi permutability: for two distinct spectral parameters the corresponding Darboux transforms have a common Darboux transform which can be computed algebraically. In this paper, we discuss two-step Darboux transforms with the…
▽ More
Isothermic surfaces are surfaces which allow a conformal curvature line parametrisation. They form an integrable system, and Darboux transforms of isothermic surfaces obey Bianchi permutability: for two distinct spectral parameters the corresponding Darboux transforms have a common Darboux transform which can be computed algebraically. In this paper, we discuss two-step Darboux transforms with the same spectral parameter and show that these are obtained by a Sym-type construction: All two-step Darboux transforms of an isothermic surface are given, without further integration, by parallel sections of the associated family of the isothermic surface, either algebraically or by differentiation against the spectral parameter.
△ Less
Submitted 29 May, 2022; v1 submitted 14 April, 2021;
originally announced April 2021.
-
A matryoshka structure of higher secant varieties and the generalized Bronowski's conjecture
Authors:
Junho Choe,
Sijong Kwak
Abstract:
In projective algebraic geometry, there are classical and fundamental results that describe the structure of geometry and syzygies, and many of them characterize varieties of minimal degree and del Pezzo varieties. In this paper, we consider analogous objects in the category of higher secant varieties. Our main theorems say that there is a matryoshka structure among those basic objects including a…
▽ More
In projective algebraic geometry, there are classical and fundamental results that describe the structure of geometry and syzygies, and many of them characterize varieties of minimal degree and del Pezzo varieties. In this paper, we consider analogous objects in the category of higher secant varieties. Our main theorems say that there is a matryoshka structure among those basic objects including a generalized $K_{p,1}$ theorem, syzygetic and geometric characterizations of higher secant varieties of minimal degree and del Pezzo higher secant varieties, defined in this paper. For our purpose, we prove a weak form of the generalized Bronowski's conjecture raised by C. Ciliberto and F. Russo that relates the identifiability for higher secant varieties to the geometry of tangential projections.
△ Less
Submitted 8 October, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Omega results for cubic field counts via lower-order terms in the one-level density
Authors:
Peter J. Cho,
Daniel Fiorilli,
Yoonbok Lee,
Anders Södergren
Abstract:
In this paper we obtain a precise formula for the $1$-level density of $L$-functions attached to non-Galois cubic Dedekind zeta functions. We find a secondary term which is unique to this context, in the sense that no lower-order term of this shape has appeared in previously studied families. The presence of this new term allows us to deduce an omega result for cubic field counting functions, unde…
▽ More
In this paper we obtain a precise formula for the $1$-level density of $L$-functions attached to non-Galois cubic Dedekind zeta functions. We find a secondary term which is unique to this context, in the sense that no lower-order term of this shape has appeared in previously studied families. The presence of this new term allows us to deduce an omega result for cubic field counting functions, under the assumption of the Generalized Riemann Hypothesis. We also investigate the associated $L$-functions Ratios Conjecture, and find that it does not predict this new lower-order term. Taking into account the secondary term in Roberts' Conjecture, we refine the Ratios Conjecture to one which captures this new term. Finally, we show that any improvement in the exponent of the error term of the recent Bhargava--Taniguchi--Thorne cubic field counting estimate would imply that the best possible error term in the refined Ratios Conjecture is $O_\varepsilon(X^{-\frac 13+\varepsilon})$. This is in opposition with all previously studied families, in which the expected error in the Ratios Conjecture prediction for the $1$-level density is $O_\varepsilon(X^{-\frac 12+\varepsilon})$.
△ Less
Submitted 7 March, 2022; v1 submitted 16 February, 2021;
originally announced February 2021.
-
Discrete mKdV equation via Darboux transformation
Authors:
Joseph Cho,
Wayne Rossman,
Tomoya Seno
Abstract:
We introduce an efficient route to obtaining the discrete potential mKdV equation emerging from a particular discrete motion of discrete planar curves.
We introduce an efficient route to obtaining the discrete potential mKdV equation emerging from a particular discrete motion of discrete planar curves.
△ Less
Submitted 5 March, 2022; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Infinitesimal Darboux transformation and semi-discrete mKdV equation
Authors:
Joseph Cho,
Wayne Rossman,
Tomoya Seno
Abstract:
We connect certain continuous motions of discrete planar curves resulting in semi-discrete potential Korteweg-de Vries (mKdV) equation with Darboux transformations of smooth planar curves. In doing so, we define infinitesimal Darboux transformations that include the aforementioned motions, and also give an alternate geometric interpretation for establishing the semi-discrete potential mKdV equatio…
▽ More
We connect certain continuous motions of discrete planar curves resulting in semi-discrete potential Korteweg-de Vries (mKdV) equation with Darboux transformations of smooth planar curves. In doing so, we define infinitesimal Darboux transformations that include the aforementioned motions, and also give an alternate geometric interpretation for establishing the semi-discrete potential mKdV equation.
△ Less
Submitted 29 May, 2022; v1 submitted 15 October, 2020;
originally announced October 2020.
-
A Locally Conservative Mixed Finite Element Framework for Coupled Hydro-Mechanical-Chemical Processes in Heterogeneous Porous Media
Authors:
T. Kadeethum,
S. Lee,
F. Ballarin,
J. Choo,
H. M. Nick
Abstract:
This paper presents a mixed finite element framework for coupled hydro-mechanical-chemical processes in heterogeneous porous media. The framework combines two types of locally conservative discretization schemes: (1) an enriched Galerkin method for reactive flow, and (2) a three-field mixed finite element method for coupled fluid flow and solid deformation. This combination ensures local mass cons…
▽ More
This paper presents a mixed finite element framework for coupled hydro-mechanical-chemical processes in heterogeneous porous media. The framework combines two types of locally conservative discretization schemes: (1) an enriched Galerkin method for reactive flow, and (2) a three-field mixed finite element method for coupled fluid flow and solid deformation. This combination ensures local mass conservation, which is critical to flow and transport in heterogeneous porous media, with a relatively affordable computational cost. A particular class of the framework is constructed for calcite precipitation/dissolution reactions, incorporating their nonlinear effects on the fluid viscosity and solid deformation. Linearization schemes and algorithms for solving the nonlinear algebraic system are also presented. Through numerical examples of various complexity, we demonstrate that the proposed framework is a robust and efficient computational method for simulation of reactive flow and transport in deformable porous media, even when the material properties are strongly heterogeneous and anisotropic.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
Discrete $Ω$-nets and Guichard nets via discrete Koenigs nets
Authors:
F. E. Burstall,
J. Cho,
U. Hertrich-Jeromin,
M. Pember,
W. Rossman
Abstract:
We provide a convincing discretisation of Demoulin's $Ω$-surfaces along with their specialisations to Guichard and isothermic surfaces with no loss of integrable structure.
We provide a convincing discretisation of Demoulin's $Ω$-surfaces along with their specialisations to Guichard and isothermic surfaces with no loss of integrable structure.
△ Less
Submitted 31 August, 2022; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Ancient solutions to the Ricci flow with isotropic curvature conditions
Authors:
Jae Ho Cho,
Yu Li
Abstract:
We show that every $n$-dimensional, $κ$-noncollapsed, noncompact, complete ancient solution to the Ricci flow with uniformly PIC for $n=4$ or $n\ge 12$ has weakly PIC$_2$ and bounded curvature. Combining this with earlier results, we prove that any such solution is isometric to either a family of shrinking cylinders (or a quotient thereof) or the Bryant soliton. Also, we classify all complex 2-dim…
▽ More
We show that every $n$-dimensional, $κ$-noncollapsed, noncompact, complete ancient solution to the Ricci flow with uniformly PIC for $n=4$ or $n\ge 12$ has weakly PIC$_2$ and bounded curvature. Combining this with earlier results, we prove that any such solution is isometric to either a family of shrinking cylinders (or a quotient thereof) or the Bryant soliton. Also, we classify all complex 2-dimensional, $κ$-noncollapsed, complete ancient solutions to the Kähler Ricci flow with weakly PIC.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
-
Analytic ranks of elliptic curves over number fields
Authors:
Peter J. Cho
Abstract:
Let $E$ be an elliptic curve over $\mathbb{Q}$. Then, we show that the average analytic rank of $E$ over cyclic extensions of degree $l$ over $\mathbb{Q}$ with $l$ a prime not equal to $2$, is at most $2+r_{\mathbb{Q}}(E)$, where $r_{\mathbb{Q}}(E)$ is the analytic rank of the elliptic curve $E$ over $\mathbb{Q}$. This bound is independent of the degree $l$ Also, we also obtain some average analyt…
▽ More
Let $E$ be an elliptic curve over $\mathbb{Q}$. Then, we show that the average analytic rank of $E$ over cyclic extensions of degree $l$ over $\mathbb{Q}$ with $l$ a prime not equal to $2$, is at most $2+r_{\mathbb{Q}}(E)$, where $r_{\mathbb{Q}}(E)$ is the analytic rank of the elliptic curve $E$ over $\mathbb{Q}$. This bound is independent of the degree $l$ Also, we also obtain some average analytic rank results over $S_d$-fields.
△ Less
Submitted 27 March, 2022; v1 submitted 16 May, 2020;
originally announced May 2020.
-
Average analytic rank of elliptic curves with prescribed torsion
Authors:
Peter J. Cho,
Keunyoung Jeong
Abstract:
We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.
We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.
△ Less
Submitted 26 July, 2021; v1 submitted 14 May, 2020;
originally announced May 2020.
-
On the distribution of analytic ranks of elliptic curves
Authors:
Peter J. Cho,
Keunyoung Jeong
Abstract:
In this paper, under GRH for elliptic $L$-functions, we give an upper bound for the probability for an elliptic curve with analytic rank $\leq a$ for $a \geq 11$, and also give an upper bound of $n$-th moments of analytic ranks of elliptic curves. These are applications of counting elliptic curves with local conditions, for example, having good reduction at $p$.
In this paper, under GRH for elliptic $L$-functions, we give an upper bound for the probability for an elliptic curve with analytic rank $\leq a$ for $a \geq 11$, and also give an upper bound of $n$-th moments of analytic ranks of elliptic curves. These are applications of counting elliptic curves with local conditions, for example, having good reduction at $p$.
△ Less
Submitted 9 April, 2020; v1 submitted 20 March, 2020;
originally announced March 2020.
-
A phase-field model of frictional shear fracture in geologic materials
Authors:
Fan Fei,
Jinhyun Choo
Abstract:
Geologic shear fractures such as faults and slip surfaces involve marked friction along the discontinuities as they are subjected to significant confining pressures. This friction plays a critical role in the growth of these shear fractures, as revealed by the fracture mechanics theory of Palmer and Rice decades ago. In this paper, we develop a novel phase-field model of shear fracture in pressure…
▽ More
Geologic shear fractures such as faults and slip surfaces involve marked friction along the discontinuities as they are subjected to significant confining pressures. This friction plays a critical role in the growth of these shear fractures, as revealed by the fracture mechanics theory of Palmer and Rice decades ago. In this paper, we develop a novel phase-field model of shear fracture in pressure-sensitive geomaterials, honoring the role of friction in the fracture propagation mechanism. Building on a recently proposed phase-field method for frictional interfaces, we formulate a set of governing equations for different contact conditions (or lack thereof) in which frictional energy dissipation emerges in the crack driving force during slip. We then derive the degradation function and the threshold fracture energy of the phase-field model such that the stress-strain behavior is insensitive to the length parameter for phase-field regularization. This derivation procedure extends a methodology used in recent phase-field models of cohesive tensile fracture to shear fracture in frictional materials in which peak and residual strengths coexist and evolve by confining pressure. The resulting phase-field formulation is demonstrably consistent with the theory of Palmer and Rice. Numerical examples showcase that the proposed phase-field model is a physically sound and numerically efficient method for simulating shear fracture processes in geologic materials, such as faulting and slip surface growth.
△ Less
Submitted 2 July, 2020; v1 submitted 10 March, 2020;
originally announced March 2020.
-
The Minimality of Determinantal Varieties
Authors:
Martin Bordemann,
Jaigyoung Choe,
Jens Hoppe
Abstract:
The determinantal variety $Σ_{pq}$ is defined to be the set of all $p\times q$ real matrices with $p\geq q$ whose ranks are strictly smaller than $q$. It is proved that $Σ_{pq}$ is a minimal cone in $\mathbb R^{pq}$ and all its strata are regular minimal submanifolds.
The determinantal variety $Σ_{pq}$ is defined to be the set of all $p\times q$ real matrices with $p\geq q$ whose ranks are strictly smaller than $q$. It is proved that $Σ_{pq}$ is a minimal cone in $\mathbb R^{pq}$ and all its strata are regular minimal submanifolds.
△ Less
Submitted 29 February, 2020;
originally announced March 2020.
-
Solving Some Affine Equations over Finite Fields
Authors:
Sihem Mesnager,
Kwang Ho Kim,
Jong Hyok Choe,
Dok Nam Lee
Abstract:
Let $l$ and $k$ be two integers such that $l|k$. Define $T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}}$ and $S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}$, where $p$ is any prime.
This paper gives explicit representations of all solutions in $\GF{p^n}$ to the affine equations $T_l^{k}(X)=a$ and $S_l^{k}(X)=a$, $a\in \GF{p^n}$. For the case $p=2$ that was solved very r…
▽ More
Let $l$ and $k$ be two integers such that $l|k$. Define $T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}}$ and $S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}$, where $p$ is any prime.
This paper gives explicit representations of all solutions in $\GF{p^n}$ to the affine equations $T_l^{k}(X)=a$ and $S_l^{k}(X)=a$, $a\in \GF{p^n}$. For the case $p=2$ that was solved very recently in \cite{MKCL2019}, the result of this paper reveals another solution.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Solutions of $x^{q^k}+\cdots+x^{q}+x=a$ in $GF{2^n}$
Authors:
Kwang Ho Kim,
Jong Hyok Choe,
Dok Nam Lee,
Dae Song Go,
Sihem Mesnager
Abstract:
Though it is well known that the roots of any affine polynomial over a finite field can be computed by a system of linear equations by using a normal base of the field, such solving approach appears to be difficult to apply when the field is fairly large. Thus, it may be of great interest to find an explicit representation of the solutions independently of the field base. This was previously done…
▽ More
Though it is well known that the roots of any affine polynomial over a finite field can be computed by a system of linear equations by using a normal base of the field, such solving approach appears to be difficult to apply when the field is fairly large. Thus, it may be of great interest to find an explicit representation of the solutions independently of the field base. This was previously done only for quadratic equations over a binary finite field. This paper gives an explicit representation of solutions for a much wider class of affine polynomials over a binary prime field.
△ Less
Submitted 25 May, 2019;
originally announced May 2019.
-
A phase-field method for modeling cracks with frictional contact
Authors:
Fan Fei,
Jinhyun Choo
Abstract:
We introduce a phase-field method for continuous modeling of cracks with frictional contacts. Compared with standard discrete methods for frictional contacts, the phase-field method has two attractive features: (1) it can represent arbitrary crack geometry without an explicit function or basis enrichment, and (2) it does not require an algorithm for imposing contact constraints. The first feature,…
▽ More
We introduce a phase-field method for continuous modeling of cracks with frictional contacts. Compared with standard discrete methods for frictional contacts, the phase-field method has two attractive features: (1) it can represent arbitrary crack geometry without an explicit function or basis enrichment, and (2) it does not require an algorithm for imposing contact constraints. The first feature, which is common in phase-field models of fracture, is attained by regularizing a sharp interface geometry using a surface density functional. The second feature, which is a unique advantage for contact problems, is achieved by a new approach that calculates the stress tensor in the regularized interface region depending on the contact condition of the interface. Particularly, under a slip condition, this approach updates stress components in the slip direction using a standard contact constitutive law, while making other stress components compatible with stress in the bulk region to ensure non-penetrating deformation in other directions. We verify the proposed phase-field method using stationary interface problems simulated by discrete methods in the literature. Subsequently, by allowing the phase field to evolve according to brittle fracture theory, we demonstrate the proposed method's capability for modeling crack growth with frictional contact.
△ Less
Submitted 17 September, 2019; v1 submitted 25 May, 2019;
originally announced May 2019.
-
Stabilized material point methods for coupled large deformation and fluid flow in porous materials
Authors:
Yidong Zhao,
Jinhyun Choo
Abstract:
The material point method (MPM) has been increasingly used for the simulation of large deformation processes in fluid-infiltrated porous materials. For undrained poromechanical problems, however, standard MPMs are numerically unstable because they use low-order interpolation functions that violate the inf-sup stability condition. In this work, we develop stabilized MPM formulations for dynamic and…
▽ More
The material point method (MPM) has been increasingly used for the simulation of large deformation processes in fluid-infiltrated porous materials. For undrained poromechanical problems, however, standard MPMs are numerically unstable because they use low-order interpolation functions that violate the inf-sup stability condition. In this work, we develop stabilized MPM formulations for dynamic and quasi-static poromechanics that permit the use of standard low-order interpolation functions notwithstanding the drainage condition. For the stabilization of both dynamic and quasi-static formulations, we utilize the polynomial pressure projection method whereby a stabilization term is augmented to the balance of mass. The stabilization term can be implemented with both the original and generalized interpolation material point (GIMP) methods, and it is compatible with existing time-integration methods. Here we use fully-implicit methods for both dynamic and quasi-static poromechanical problems, aided by a block-preconditioned Newton-Krylov solver. The stabilized MPMs are verified and investigated through several numerical examples under dynamic and quasi-static conditions. Results show that the proposed MPM formulations allow standard low-order interpolation functions to be used for both the solid displacement and pore pressure fields of poromechanical formulations, from undrained to drained conditions, and from dynamic to quasi-static conditions.
△ Less
Submitted 6 November, 2019; v1 submitted 2 May, 2019;
originally announced May 2019.
