-
Solving Poisson Equations using Neural Walk-on-Spheres
Authors:
Hong Chul Nam,
Julius Berner,
Anima Anandkumar
Abstract:
We propose Neural Walk-on-Spheres (NWoS), a novel neural PDE solver for the efficient solution of high-dimensional Poisson equations. Leveraging stochastic representations and Walk-on-Spheres methods, we develop novel losses for neural networks based on the recursive solution of Poisson equations on spheres inside the domain. The resulting method is highly parallelizable and does not require spati…
▽ More
We propose Neural Walk-on-Spheres (NWoS), a novel neural PDE solver for the efficient solution of high-dimensional Poisson equations. Leveraging stochastic representations and Walk-on-Spheres methods, we develop novel losses for neural networks based on the recursive solution of Poisson equations on spheres inside the domain. The resulting method is highly parallelizable and does not require spatial gradients for the loss. We provide a comprehensive comparison against competing methods based on PINNs, the Deep Ritz method, and (backward) stochastic differential equations. In several challenging, high-dimensional numerical examples, we demonstrate the superiority of NWoS in accuracy, speed, and computational costs. Compared to commonly used PINNs, our approach can reduce memory usage and errors by orders of magnitude. Furthermore, we apply NWoS to problems in PDE-constrained optimization and molecular dynamics to show its efficiency in practical applications.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
On integer partitions corresponding to numerical semigroups
Authors:
Hannah E. Burson,
Hayan Nam,
Simone Sisneros-Thiry
Abstract:
Numerical semigroups are cofinite additive submonoids of the natural numbers. In 2011, Keith and Nath illustrated an injection from numerical semigroups to integer partitions. We explore this connection between partitions and numerical semigroups with a focus on classifying the partitions that appear in the image of the injection from numerical semigroups. In particular, we count the number of par…
▽ More
Numerical semigroups are cofinite additive submonoids of the natural numbers. In 2011, Keith and Nath illustrated an injection from numerical semigroups to integer partitions. We explore this connection between partitions and numerical semigroups with a focus on classifying the partitions that appear in the image of the injection from numerical semigroups. In particular, we count the number of partitions that correspond to numerical semigroups in terms of genus, Frobenius number, and multiplicity, with some restrictions.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Combinatorics on bounded free Motzkin paths and its applications
Authors:
Hyunsoo Cho,
JiSun Huh,
Hayan Nam,
Jaebum Sohn
Abstract:
In this paper, we construct a bijection from a set of bounded free Motzkin paths to a set of bounded Motzkin prefixes that induces a bijection from a set of bounded free Dyck paths to a set of bounded Dyck prefixes. We also give bijections between a set of bounded cornerless Motzkin paths and a set of $t$-core partitions, and a set of bounded cornerless symmetric Motzkin paths and a set of self-co…
▽ More
In this paper, we construct a bijection from a set of bounded free Motzkin paths to a set of bounded Motzkin prefixes that induces a bijection from a set of bounded free Dyck paths to a set of bounded Dyck prefixes. We also give bijections between a set of bounded cornerless Motzkin paths and a set of $t$-core partitions, and a set of bounded cornerless symmetric Motzkin paths and a set of self-conjugate $t$-core partitions. As an application, we get explicit formulas for the number of ordinary and self-conjugate $t$-core partitions with a fixed number of corners.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Results on bar-core partitions, core shifted Young diagrams, and doubled distinct cores
Authors:
Hyunsoo Cho,
JiSun Huh,
Hayan Nam,
Jaebum Sohn
Abstract:
Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a character…
▽ More
Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a characterization of $\bar{s}$-core partitions to obtain characterizations of doubled distinct $s$-core partitions and $s$-CSYDs. By using them, we construct $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores. Also, we give free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Optimization in a non-linear Lanchester-type model involving supply units
Authors:
Nguyen Hong Nam,
Vu Anh My,
Ta Ngoc Anh,
Hy Duc Manh,
Do Anh Tuan
Abstract:
In this paper, a non-linear Lanchester-type model involving supply units is introduced. The model describes a battle where the Blue party consisting of one armed force $B$ is fighting against the Red party. The Red party consists of $n$ armed forces each of which is supplied by a supply unit. A new variable called "fire allocation" is associated to the Blue force, reflecting its strategy during th…
▽ More
In this paper, a non-linear Lanchester-type model involving supply units is introduced. The model describes a battle where the Blue party consisting of one armed force $B$ is fighting against the Red party. The Red party consists of $n$ armed forces each of which is supplied by a supply unit. A new variable called "fire allocation" is associated to the Blue force, reflecting its strategy during the battle. A problem of optimal fire allocation for Blue force is then studied. The optimal fire allocation of the Blue force allows that the number of Blue troops is always at its maximum. It is sought in the form of a piece-wise constant function of time with the help of "threatening rates" computed for each agent of the Red party. Numerical experiments are included to justify the theoretical results.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
Jordan--Landau theorem for matrices over finite fields
Authors:
Gilyoung Cheong,
Jungin Lee,
Hayan Nam,
Myungjun Yu
Abstract:
Given a positive integer $r$ and a prime power $q$, we estimate the probability that the characteristic polynomial $f_{A}(t)$ of a random matrix $A$ in $\mathrm{GL}_{n}(\mathbb{F}_{q})$ is square-free with $r$ (monic) irreducible factors when $n$ is large. We also estimate the analogous probability that $f_{A}(t)$ has $r$ irreducible factors counting with multiplicity. In either case, the main ter…
▽ More
Given a positive integer $r$ and a prime power $q$, we estimate the probability that the characteristic polynomial $f_{A}(t)$ of a random matrix $A$ in $\mathrm{GL}_{n}(\mathbb{F}_{q})$ is square-free with $r$ (monic) irreducible factors when $n$ is large. We also estimate the analogous probability that $f_{A}(t)$ has $r$ irreducible factors counting with multiplicity. In either case, the main term $(\log n)^{r-1}((r-1)!n)^{-1}$ and the error term $O((\log n)^{r-2}n^{-1})$, whose implied constant only depends on $r$ but not on $q$ nor $n$, coincide with the probability that a random permutation on $n$ letters is a product of $r$ disjoint cycles. The main ingredient of our proof is a recursion argument due to S. D. Cohen, which was previously used to estimate the probability that a random degree $n$ monic polynomial in $\mathbb{F}_{q}[t]$ is square-free with $r$ irreducible factors and the analogous probability that the polynomial has $r$ irreducible factors counting with multiplicity. We obtain our result by carefully modifying Cohen's recursion argument in the matrix setting, using Reiner's theorem that counts the number of $n \times n$ matrices with a fixed characteristic polynomial over $\mathbb{F}_{q}$.
△ Less
Submitted 8 September, 2022; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Enumerating Parking Completions Using Join and Split
Authors:
Ayomikun Adeniran,
Steve Butler,
Galen Dorpalen-Barry,
Pamela E. Harris,
Cyrus Hettle,
Qingzhong Liang,
Jeremy L. Martin,
Hayan Nam
Abstract:
Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of…
▽ More
Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of parking preferences where the $i$-th car attempts to park in the $c_i$-th spot and if not available then proceeds up the street to find the next available spot, if any. A parking completion corresponds to a set of preferences $\mathbf{c}$ where all cars park.
We relate parking completions to enumerating restricted lattice paths and give formulas for both the ordered and unordered variations of the problem by use of a pair of operations termed \textbf{Join} and \textbf{Split}. Our results give a new volume formula for most Pitman-Stanley polytopes, and enumerate the signature parking functions of Ceballos and González D'León.
△ Less
Submitted 27 October, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
On the genus of a quotient of a numerical semigroup
Authors:
Ayomikun Adeniran,
Steve Butler,
Colin Defant,
Yibo Gao,
Pamela E. Harris,
Cyrus Hettle,
Qingzhong Liang,
Hayan Nam,
Adam Volk
Abstract:
We find a relation between the genus of a quotient of a numerical semigroup $S$ and the genus of $S$ itself. We use this identity to compute the genus of a quotient of $S$ when $S$ has embedding dimension $2$. We also exhibit identities relating the Frobenius numbers and the genus of quotients of numerical semigroups that are generated by certain types of arithmetic progressions.
We find a relation between the genus of a quotient of a numerical semigroup $S$ and the genus of $S$ itself. We use this identity to compute the genus of a quotient of $S$ when $S$ has embedding dimension $2$. We also exhibit identities relating the Frobenius numbers and the genus of quotients of numerical semigroups that are generated by certain types of arithmetic progressions.
△ Less
Submitted 24 November, 2018; v1 submitted 25 September, 2018;
originally announced September 2018.
-
A tiling proof of Euler's pentagnal number theorem and generalizations
Authors:
Dennis Eichhorn,
Hayan Nam,
Jaebum Sohn
Abstract:
In two papers, Little and Sellers introduced an exciting new combinatorial method for proving partition identities which is not directly bijective. Instead, they consider various sets of weighted tilings of a $1 \times \infty$ board with squares and dominoes, and for each type of tiling they construct a generating function in two different ways, which generates a $q$-series identity. Using this me…
▽ More
In two papers, Little and Sellers introduced an exciting new combinatorial method for proving partition identities which is not directly bijective. Instead, they consider various sets of weighted tilings of a $1 \times \infty$ board with squares and dominoes, and for each type of tiling they construct a generating function in two different ways, which generates a $q$-series identity. Using this method, they recover quite a few classical $q$-series identities, but Euler's Pentagonal Number Theorem is not among them. In this paper, we introduce a key parameter when constructing the generating functions of various sets of tilings which allows us to recover Euler's Pentagonal Number Theorem along with an infinite family of generalizations.
△ Less
Submitted 24 July, 2018;
originally announced July 2018.
-
Johnson's bijections and their application to counting simultaneous core partitions
Authors:
**eon Baek,
Hayan Nam,
Myungjun Yu
Abstract:
Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at…
▽ More
Johnson recently proved Armstrong's conjecture which states that the average size of an $(a,b)$-core partition is $(a+b+1)(a-1)(b-1)/24$. He used various coordinate changes and one-to-one correspondences that are useful for counting problems about simultaneous core partitions. We give an expression for the number of $(b_1,b_2,\cdots, b_n)$-core partitions where $\{b_1,b_2,\cdots,b_n\}$ contains at least one pair of relatively prime numbers. We also evaluate the largest size of a self-conjugate $(s,s+1,s+2)$-core partition.
△ Less
Submitted 4 November, 2017;
originally announced November 2017.
-
A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts
Authors:
**eon Baek,
Hayan Nam,
Myungjun Yu
Abstract:
Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, ** and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establi…
▽ More
Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, ** and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.
△ Less
Submitted 9 May, 2017; v1 submitted 7 May, 2017;
originally announced May 2017.
-
On the length function of saturations of ideal powers
Authors:
Doan Trung Cuong,
Pham Hong Nam,
Pham Hung Quy
Abstract:
For an ideal $I$ in a local ring $(R, \fm)$, we prove that the integer-valued function $\ell_R(H^0_\fm(R/I^{n+1}))$ is a polynomial for $n$ big enough if either $I$ is a principle ideal or $I$ is generated by part of an almost p-standard system of parameters. Furthermore, we are able to compute the coefficients of this polynomial in terms of length of certain local cohomology modules and usual mul…
▽ More
For an ideal $I$ in a local ring $(R, \fm)$, we prove that the integer-valued function $\ell_R(H^0_\fm(R/I^{n+1}))$ is a polynomial for $n$ big enough if either $I$ is a principle ideal or $I$ is generated by part of an almost p-standard system of parameters. Furthermore, we are able to compute the coefficients of this polynomial in terms of length of certain local cohomology modules and usual multiplicity if either the ideal is principal or it is generated by part of a standard system of parameters in a generalized Cohen-Macaulay ring. We also give an example of an ideal generated by part of a (general) system of parameters such that the function $\ell_R(H^0_\fm(R/I^{n+1}))$ is not a polynomial for $n\gg 0$.
△ Less
Submitted 22 October, 2017; v1 submitted 22 December, 2016;
originally announced December 2016.
-
A class of nonparametric DSSY nonconforming quadrilateral elements
Authors:
Youngmok Jeon,
Hyun Nam,
Dongwoo Sheen,
Kwangshin Shim
Abstract:
A new class of nonparametric nonconforming quadrilateral finite elements is introduced which has the midpoint continuity and the mean value continuity at the interfaces of elements simultaneously as the rectangular DSSY element [J.Douglas, Jr., J. E. Santos, D. Sheen, and X. Ye. Nonconforming {G}alerkin methods based on quadrilateral elements for second order elliptic problems. ESAIM--Math. Model.…
▽ More
A new class of nonparametric nonconforming quadrilateral finite elements is introduced which has the midpoint continuity and the mean value continuity at the interfaces of elements simultaneously as the rectangular DSSY element [J.Douglas, Jr., J. E. Santos, D. Sheen, and X. Ye. Nonconforming {G}alerkin methods based on quadrilateral elements for second order elliptic problems. ESAIM--Math. Model. Numer. Anal., 33(4):747--770, 1999]. The parametric DSSY element for general quadrilaterals requires five degrees of freedom to have an optimal order of convergence [Z. Cai, J. Douglas, Jr., J. E. Santos, D. Sheen, and X. Ye. Nonconforming quadrilateral finite elements: A correction. Calcolo, 37(4):253--254, 2000], while the new nonparametric DSSY elements require only four degrees of freedom. The design of new elements is based on the decomposition of a bilinear transform into a simple bilinear map followed by a suitable affine map. Numerical results are presented to compare the new elements with the parametric DSSY element.
△ Less
Submitted 25 June, 2013; v1 submitted 7 January, 2013;
originally announced January 2013.