-
Can ChatGPT implement finite element models for geotechnical engineering applications?
Authors:
Taegu Kim,
Tae Sup Yun,
Hyoung Suk Suh
Abstract:
This study assesses the capability of ChatGPT to generate finite element code for geotechnical engineering applications from a set of prompts. We tested three different initial boundary value problems using a hydro-mechanically coupled formulation for unsaturated soils, including the dissipation of excess pore water pressure through fluid mass diffusion in one-dimensional space, time-dependent dif…
▽ More
This study assesses the capability of ChatGPT to generate finite element code for geotechnical engineering applications from a set of prompts. We tested three different initial boundary value problems using a hydro-mechanically coupled formulation for unsaturated soils, including the dissipation of excess pore water pressure through fluid mass diffusion in one-dimensional space, time-dependent differential settlement of a strip footing, and gravity-driven seepage. For each case, initial prompting involved providing ChatGPT with necessary information for finite element implementation, such as balance and constitutive equations, problem geometry, initial and boundary conditions, material properties, and spatiotemporal discretization and solution strategies. Any errors and unexpected results were further addressed through prompt augmentation processes until the ChatGPT-generated finite element code passed the verification/validation test. Our results demonstrate that ChatGPT required minimal code revisions when using the FEniCS finite element library, owing to its high-level interfaces that enable efficient programming. In contrast, the MATLAB code generated by ChatGPT necessitated extensive prompt augmentations and/or direct human intervention, as it involves a significant amount of low-level programming required for finite element analysis, such as constructing shape functions or assembling global matrices. Given that prompt engineering for this task requires an understanding of the mathematical formulation and numerical techniques, this study suggests that while a large language model may not yet replace human programmers, it can greatly assist in the implementation of numerical models.
△ Less
Submitted 4 January, 2025;
originally announced January 2025.
-
Crescent configurations
Authors:
David Burt,
Eli Goldstein,
Sarah Manski,
Steven J. Miller,
Eyvindur A. Palsson,
Hong Suh
Abstract:
In 1989, Erdős conjectured that for a sufficiently large $n$ it is impossible to place $n$ points in general position in a plane such that for every $1\le i \le n-1$ there is a distance that occurs exactly $i$ times. For small $n$ this is possible and in his paper he provided constructions for $n\leq 8$. The one for $n=5$ was due to Pomerance while Palásti came up with the constructions for…
▽ More
In 1989, Erdős conjectured that for a sufficiently large $n$ it is impossible to place $n$ points in general position in a plane such that for every $1\le i \le n-1$ there is a distance that occurs exactly $i$ times. For small $n$ this is possible and in his paper he provided constructions for $n\leq 8$. The one for $n=5$ was due to Pomerance while Palásti came up with the constructions for $n=7,8$. Constructions for $n=9$ and above remain undiscovered, and little headway has been made toward a proof that for sufficiently large $n$ no configuration exists. In this paper we consider a natural generalization to higher dimensions and provide a construction which shows that for any given $n$ there exists a sufficiently large dimension $d$ such that there is a configuration in $d$-dimensional space meeting Erdős' criteria.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Fringe pairs in generalized MSTD sets
Authors:
Megumi Asada,
Sarah Manski,
Steven J. Miller,
Hong Suh
Abstract:
A More Sums Than Differences (MSTD) set is a set $A$ for which $|A+A|>|A-A|$. Martin and O'Bryant proved that the proportion of MSTD sets in $\{0,1,\dots,n\}$ is bounded below by a positive number as $n$ goes to infinity. Iyer, Lazarev, Miller and Zhang introduced the notion of a generalized MSTD set, a set $A$ for which $|sA-dA|>|σA-δA|$ for a prescribed $s+d=σ+δ$. We offer efficient construction…
▽ More
A More Sums Than Differences (MSTD) set is a set $A$ for which $|A+A|>|A-A|$. Martin and O'Bryant proved that the proportion of MSTD sets in $\{0,1,\dots,n\}$ is bounded below by a positive number as $n$ goes to infinity. Iyer, Lazarev, Miller and Zhang introduced the notion of a generalized MSTD set, a set $A$ for which $|sA-dA|>|σA-δA|$ for a prescribed $s+d=σ+δ$. We offer efficient constructions of $k$-generational MSTD sets, sets $A$ where $A, A+A, \dots, kA$ are all MSTD. We also offer an alternative proof that the proportion of sets $A$ for which $|sA-dA|-|σA-δA|=x$ is positive, for any $x \in \mathbb{Z}$. We prove that for any $ε>0$, $\Pr(1-ε<\log |sA-dA|/\log|σA-δA|<1+ε)$ goes to $1$ as the size of $A$ goes to infinity and we give a set $A$ which has the current highest value of $\log |A+A|/\log |A-A|$. We also study decompositions of intervals $\{0,1,\dots,n\}$ into MSTD sets and prove that a positive proportion of decompositions into two sets have the property that both sets are MSTD.
△ Less
Submitted 10 January, 2017; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Minimal scalings and structural properties of scalable frames
Authors:
Alice Chan,
Rachel Domagalski,
Yeon Hyang Kim,
Sivaram K. Narayan,
Hong Suh,
Xingyu Zhang
Abstract:
For a unit-norm frame $F = \{f_i\}_{i=1}^k$ in $\R^n$, a scaling is a vector $c=(c(1),\dots,c(k))\in \R_{\geq 0}^k$ such that $\{\sqrt{c(i)}f_i\}_{i =1}^k$ is a Parseval frame in $\R^n$. If such a scaling exists, $F$ is said to be scalable. A scaling $c$ is a minimal scaling if $\{f_i : c(i)>0\}$ has no proper scalable subframe. It is known that the set of all scalings of $F$ is a convex polytope…
▽ More
For a unit-norm frame $F = \{f_i\}_{i=1}^k$ in $\R^n$, a scaling is a vector $c=(c(1),\dots,c(k))\in \R_{\geq 0}^k$ such that $\{\sqrt{c(i)}f_i\}_{i =1}^k$ is a Parseval frame in $\R^n$. If such a scaling exists, $F$ is said to be scalable. A scaling $c$ is a minimal scaling if $\{f_i : c(i)>0\}$ has no proper scalable subframe. It is known that the set of all scalings of $F$ is a convex polytope whose vertices correspond to minimal scalings. In this paper, we provide an estimation of the number of minimal scalings of a scalable frame and a characterization of when minimal scalings are affinely dependent. Using this characterization, we can conclude that all strict scalings $c=(c(1),\dots,c(k))\in \R_{> 0}^k$ of $F$ have the same structural property. We also present the uniqueness of orthogonal partitioning property of any set of minimal scalings, which provides all possible tight subframes of a given scaled frame.
△ Less
Submitted 11 October, 2016; v1 submitted 10 August, 2015;
originally announced August 2015.
-
Visual properties of generalized Kloosterman sums
Authors:
Paula Burkhardt,
Alice Zhuo-Yu Chan,
Gabriel Currier,
Stephan Ramon Garcia,
Florian Luca,
Hong Suh
Abstract:
For a positive integer $m$ and a subgroup $Λ$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$, the corresponding generalized Kloosterman sum is the function $K(a,b,m,Λ) = \sum_{u \in Λ}e(\frac{au + bu^{-1}}{m})$. Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane…
▽ More
For a positive integer $m$ and a subgroup $Λ$ of the unit group $(\mathbb{Z}/m\mathbb{Z})^\times$, the corresponding generalized Kloosterman sum is the function $K(a,b,m,Λ) = \sum_{u \in Λ}e(\frac{au + bu^{-1}}{m})$. Unlike classical Kloosterman sums, which are real valued, generalized Kloosterman sums display a surprising array of visual features when their values are plotted in the complex plane. In a variety of instances, we identify the precise number-theoretic conditions that give rise to particular phenomena.
△ Less
Submitted 30 April, 2015;
originally announced May 2015.
-
Supercharacters, exponential sums, and the uncertainty principle
Authors:
J. L. Brumbaugh,
Madeleine Bulkow,
Patrick S. Fleming,
Luis Alberto Garcia,
Stephan Ramon Garcia,
Gizem Karaali,
Matt Michal,
Hong Suh,
Andrew P. Turner
Abstract:
The theory of supercharacters, which generalizes classical character theory, was recently introduced by P. Diaconis and I.M. Isaacs, building upon earlier work of C. Andre. We study supercharacter theories on $(Z/nZ)^d$ induced by the actions of certain matrix groups, demonstrating that a variety of exponential sums of interest in number theory (e.g., Gauss, Ramanujan, Heilbronn, and Kloosterman s…
▽ More
The theory of supercharacters, which generalizes classical character theory, was recently introduced by P. Diaconis and I.M. Isaacs, building upon earlier work of C. Andre. We study supercharacter theories on $(Z/nZ)^d$ induced by the actions of certain matrix groups, demonstrating that a variety of exponential sums of interest in number theory (e.g., Gauss, Ramanujan, Heilbronn, and Kloosterman sums) arise in this manner. We develop a generalization of the discrete Fourier transform, in which supercharacters play the role of the Fourier exponential basis. We provide a corresponding uncertainty principle and compute the associated constants in several cases.
△ Less
Submitted 5 June, 2014; v1 submitted 26 August, 2012;
originally announced August 2012.
