Showing 1–20 of 20 results for author: Korner, J

WKB-based third order method for the highly oscillatory 1D stationary Schrödinger equation

Authors: Anton Arnold, Jannis Körner

Abstract: This paper introduces an efficient high-order numerical method for solving the 1D stationary Schrödinger equation in the highly oscillatory regime. Building upon the ideas from [Arnold, Ben Abdallah, Negulescu, SIAM J. Numer. Anal., 2011], we first analytically transform the given equation into a smoother (i.e. less oscillatory) equation. By developing sufficiently accurate quadratures for several… ▽ More This paper introduces an efficient high-order numerical method for solving the 1D stationary Schrödinger equation in the highly oscillatory regime. Building upon the ideas from [Arnold, Ben Abdallah, Negulescu, SIAM J. Numer. Anal., 2011], we first analytically transform the given equation into a smoother (i.e. less oscillatory) equation. By developing sufficiently accurate quadratures for several (iterated) oscillatory integrals occurring in the Picard approximation of the solution, we obtain a one-step method that is third order w.r.t. the step size. The accuracy and efficiency of the method are illustrated through several numerical examples. △ Less

Submitted 28 April, 2025; v1 submitted 28 February, 2024; originally announced February 2024.

Comments: 42 pages, 10 figures

MSC Class: 34E20; 81Q20; 65L11; 65M70

Optimally truncated WKB approximation for the 1D stationary Schrödinger equation in the highly oscillatory regime

Authors: Anton Arnold, Christian Klein, Jannis Körner, Jens Markus Melenk

Abstract: This paper is dedicated to the efficient numerical computation of solutions to the 1D stationary Schrödinger equation in the highly oscillatory regime. We compute an approximate solution based on the well-known WKB-ansatz, which relies on an asymptotic expansion w.r.t. the small parameter $\varepsilon$. Assuming that the coefficient in the equation is analytic, we derive an explicit error estimate… ▽ More This paper is dedicated to the efficient numerical computation of solutions to the 1D stationary Schrödinger equation in the highly oscillatory regime. We compute an approximate solution based on the well-known WKB-ansatz, which relies on an asymptotic expansion w.r.t. the small parameter $\varepsilon$. Assuming that the coefficient in the equation is analytic, we derive an explicit error estimate for the truncated WKB series, in terms of $\varepsilon$ and the truncation order $N$. For any fixed $\varepsilon$, this allows to determine the optimal truncation order $N_{opt}$ which turns out to be proportional to $\varepsilon^{-1}$. When chosen this way, the resulting error of the optimally truncated WKB series behaves like $\mathcal{O}(\exp(-r/\varepsilon))$, with some parameter $r>0$. The theoretical results established in this paper are confirmed by several numerical examples. △ Less

Submitted 26 August, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 39 pages, 11 figures

MSC Class: 34E20; 81Q20; 65L11; 65M70

High-order WKB-based Method For The 1D Stationary Schrödinger Equation In The Semi-classical Limit

Authors: Anton Arnold, Jannis Körner

Abstract: We consider initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We discuss their efficient numerical integration on coarse grids, but still yielding accurate solutions. The $\mathcal{O}(h^2)$ one-step method from [2] is based on an analytic WKB-preprocessing of the equation. Here we extend this method… ▽ More We consider initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We discuss their efficient numerical integration on coarse grids, but still yielding accurate solutions. The $\mathcal{O}(h^2)$ one-step method from [2] is based on an analytic WKB-preprocessing of the equation. Here we extend this method to $\mathcal{O}(h^3)$ accuracy. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 4 pages, 1 figure

Optimally truncated WKB approximation for the highly oscillatory stationary 1D Schrödinger equation

Authors: Jannis Körner, Anton Arnold, Christian Klein, Jens Markus Melenk

Abstract: We discuss the numerical solution of initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We analyze and implement an approximate solution based on the well-known WKB-ansatz. The resulting approximation error is of magnitude $\mathcal{O}(\varepsilon^{N})$ where $N$ refers to the truncation order of the… ▽ More We discuss the numerical solution of initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We analyze and implement an approximate solution based on the well-known WKB-ansatz. The resulting approximation error is of magnitude $\mathcal{O}(\varepsilon^{N})$ where $N$ refers to the truncation order of the underlying asymptotic series. When the optimal truncation order $N_{opt}$ is chosen, the error behaves like $\mathcal{O}(\varepsilon^{-2}\exp(-c\varepsilon^{-1}))$ with some $c>0$. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: 4 pages, 2 figures

Journal ref: J. Comput. Appl. Math. 457 (2025), article no 116240

Solving Abalone on Small Boards

Authors: Joseph Gutstadt, Kirsten Hogenson, John Koerner

Abstract: Abalone is a 2-player board game with perfect information. The game is played on a 5x5x5 hexagonal grid and ends when a player pushes 6 of their opponents' pieces off the board. Abalone is similar to games like chess and Go in that all three games have high branching factors, making it difficult for a computer to determine the outcome of a game. However, solving smaller, simplified versions of Aba… ▽ More Abalone is a 2-player board game with perfect information. The game is played on a 5x5x5 hexagonal grid and ends when a player pushes 6 of their opponents' pieces off the board. Abalone is similar to games like chess and Go in that all three games have high branching factors, making it difficult for a computer to determine the outcome of a game. However, solving smaller, simplified versions of Abalone can offer insight into how to play the full-size game optimally. In this paper, we strongly solve a variation of Abalone played on a 2x2x2 hexagonal board. We also weakly solve an Abalone variation on a 2x2x3 hexagonal board. △ Less

Submitted 6 August, 2023; originally announced August 2023.

Comments: 18 pages, 20 figures, submitted for publication in August 2023

MSC Class: 91A46

Structured Codes of Graphs

Authors: Noga Alon, Anna Gujgiczer, János Körner, Aleksa Milojević, Gábor Simonyi

Abstract: We investigate the maximum size of graph families on a common vertex set of cardinality $n$ such that the symmetric difference of the edge sets of any two members of the family satisfies some prescribed condition. We solve the problem completely for infinitely many values of $n$ when the prescribed condition is connectivity or $2$-connectivity, Hamiltonicity or the containment of a spanning star.… ▽ More We investigate the maximum size of graph families on a common vertex set of cardinality $n$ such that the symmetric difference of the edge sets of any two members of the family satisfies some prescribed condition. We solve the problem completely for infinitely many values of $n$ when the prescribed condition is connectivity or $2$-connectivity, Hamiltonicity or the containment of a spanning star. We also investigate local conditions that can be certified by looking at only a subset of the vertex set. In these cases a capacity-type asymptotic invariant is defined and when the condition is to contain a certain subgraph this invariant is shown to be a simple function of the chromatic number of this required subgraph. This is proven using classical results from extremal graph theory. Several variants are considered and the paper ends with a collection of open problems. △ Less

Submitted 1 April, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: The paper is significantly revised: there are more authors, more results, in particular, some of the open problems of the earlier version are solved, and even the title has been changed. 29 pages

MSC Class: 05C35; 05C51; 05C70; 94B25

Strong Lagrangian solutions of the (relativistic) Vlasov-Poisson system for non-smooth, spherically symmetric data

Authors: Jacob Körner, Gerhard Rein

Abstract: We prove a local existence and uniqueness result for the non-relativistic and relativistic Vlasov-Poisson system for data which need not even be continuous. The corresponding solutions preserve all the standard conserved quantities and are constant along their pointwise defined characteristic flow so that these solutions are suitable for the stability analysis of not necessarily smooth steady stat… ▽ More We prove a local existence and uniqueness result for the non-relativistic and relativistic Vlasov-Poisson system for data which need not even be continuous. The corresponding solutions preserve all the standard conserved quantities and are constant along their pointwise defined characteristic flow so that these solutions are suitable for the stability analysis of not necessarily smooth steady states. They satisfy the well-known continuation criterion and are global in the non-relativistic case. The only unwanted requirement on the data is that they be spherically symmetric. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 18 pages

MSC Class: 35Q70; 35Q83; 85A05

Journal ref: SIAM J. Math. Anal. Vol. 53, No. 4, 4985--4996, 2021

WKB-based scheme with adaptive step size control for the Schrödinger equation in the highly oscillatory regime

Authors: Jannis Körner, Anton Arnold, Kirian Döpfner

Abstract: This paper is concerned with an efficient numerical method for solving the 1D stationary Schrödinger equation in the highly oscillatory regime. Being a hybrid, analytical-numerical approach it does not have to resolve each oscillation, in contrast to standard schemes for ODEs. We build upon the WKB-based (named after the physicists Wentzel, Kramers, Brillouin) marching method from [2] and extend i… ▽ More This paper is concerned with an efficient numerical method for solving the 1D stationary Schrödinger equation in the highly oscillatory regime. Being a hybrid, analytical-numerical approach it does not have to resolve each oscillation, in contrast to standard schemes for ODEs. We build upon the WKB-based (named after the physicists Wentzel, Kramers, Brillouin) marching method from [2] and extend it in two ways: By comparing the $\mathcal{O}(h)$ and $\mathcal{O}(h^{2})$ methods from [2] we design an adaptive step size controller for the WKB method. While this WKB method is very efficient in the highly oscillatory regime, it cannot be used close to turning points. Hence, we introduce for such regions an automated methods switching, choosing between the WKB method for the oscillatory region and a standard Runge-Kutta-Fehlberg 4(5) method in smooth regions. A similar approach was proposed recently in [9, 4], however, only for an $\mathcal{O}(h)$-method. Hence, we compare our new strategy to their method on two examples (Airy function on the spatial interval $[0,\,10^{8}]$ with one turning point at $x=0$ and on a parabolic cylinder function having two turning points), and illustrate the advantages of the new approach w.r.t.\ accuracy and efficiency. △ Less

Submitted 5 August, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

Comments: 34 pages, 17 figures

Divergent permutations

Authors: Emanuela Fachini, János Körner

Abstract: Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs. Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs. △ Less

Submitted 10 April, 2019; originally announced April 2019.

Interlocked permutations

Authors: Gerard Cohen, Emanuela Fachini, Janos Korner

Abstract: The zero-error capacity of channels with a countably infinite input alphabet formally generalises Shannon's classical problem about the capacity of discrete memoryless channels. We solve the problem for three particular channels. Our results are purely combinatorial and in line with previous work of the third author about permutation capacity. The zero-error capacity of channels with a countably infinite input alphabet formally generalises Shannon's classical problem about the capacity of discrete memoryless channels. We solve the problem for three particular channels. Our results are purely combinatorial and in line with previous work of the third author about permutation capacity. △ Less

Submitted 14 July, 2018; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: 8 pages

MSC Class: 05D99; 05C35; 05C62; 94A24

Hamilton paths with lasting separation

Authors: Janos Korner, Emanuela Fachini

Abstract: We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained in only one of them and edge{disjoint from the other one. We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained in only one of them and edge{disjoint from the other one. △ Less

Submitted 18 July, 2017; v1 submitted 26 January, 2017; originally announced January 2017.

MSC Class: 05D99; 05C35; 05C62; 94A24

Path separation by short cycles

Authors: Gérard Cohen, Emanuela Fachini, János Körner

Abstract: Two Hamilton paths in $K_n$ are separated by a cycle of length $k$ if their union contains such a cycle. For small fixed values of $k$ we bound the asymptotics of the maximum cardinality of a family of Hamilton paths in $K_n$ such that any pair of paths in the family is separated by a cycle of length $k.$ Two Hamilton paths in $K_n$ are separated by a cycle of length $k$ if their union contains such a cycle. For small fixed values of $k$ we bound the asymptotics of the maximum cardinality of a family of Hamilton paths in $K_n$ such that any pair of paths in the family is separated by a cycle of length $k.$ △ Less

Submitted 4 May, 2016; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: final version with corrections

MSC Class: 05D99; 05C35; 05C62; 94A24

Families of locally separated Hamilton paths

Authors: Janos Korner, Angelo Monti

Abstract: We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor… ▽ More We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor. △ Less

Submitted 4 May, 2015; v1 submitted 14 November, 2014; originally announced November 2014.

Comments: In this version an error in the previous manuscript is corrected

MSC Class: 05D99; 05C35; 05C62; 94A24

Zero-error capacity of binary channels with memory

Authors: Gérard Cohen, Emanuela Fachini, János Körner

Abstract: We begin a systematic study of the problem of the zero--error capacity of noisy binary channels with memory and solve some of the non--trivial cases. We begin a systematic study of the problem of the zero--error capacity of noisy binary channels with memory and solve some of the non--trivial cases. △ Less

Submitted 14 April, 2015; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: 10 pages. This paper is the revised version of our previous paper having the same title, published on ArXiV on February 3, 2014. We complete Theorem 2 of the previous version by showing here that our previous construction is asymptotically optimal. This proves that the isometric triangles yield different capacities. The new manuscript differs from the old one by the addition of one more page

MSC Class: 05D05; 94A24

Degree-doubling graph families

Authors: János Körner, Irene Muzi

Abstract: Let G be a family of n-vertex graphs of uniform degree 2 with the property that the union of any two member graphs has degree four. We determine the leading term in the asymptotics of the largest cardinality of such a family. Several analogous problems are discussed. Let G be a family of n-vertex graphs of uniform degree 2 with the property that the union of any two member graphs has degree four. We determine the leading term in the asymptotics of the largest cardinality of such a family. Several analogous problems are discussed. △ Less

Submitted 9 August, 2012; originally announced August 2012.

Comments: 9 pages

MSC Class: 05D99; 05C35; 05C62; 94A24

Families of graph-different Hamilton paths

Authors: János Körner, Silvia Messuti, Gábor Simonyi

Abstract: Let D be an arbitrary subset of the natural numbers. For every n, let M(n;D) be the maximum of the cardinality of a set of Hamiltonian paths in the complete graph K_n such that the union of any two paths from the family contains a not necessarily induced cycle of some length from D. We determine or bound the asymptotics of M(n;D) in various special cases. This problem is closely related to that of… ▽ More Let D be an arbitrary subset of the natural numbers. For every n, let M(n;D) be the maximum of the cardinality of a set of Hamiltonian paths in the complete graph K_n such that the union of any two paths from the family contains a not necessarily induced cycle of some length from D. We determine or bound the asymptotics of M(n;D) in various special cases. This problem is closely related to that of the permutation capacity of graphs and constitutes a further extension of the problem area around Shannon capacity. We also discuss how to generalize our cycle-difference problems and present an example where cycles are replaced by 4-cliques. These problems are in a natural duality to those of graph intersection, initiated by Erdös, Simonovits and Sós. The lack of kernel structure as a natural candidate for optimum makes our problems quite challenging. △ Less

Submitted 19 June, 2011; originally announced June 2011.

Skewincidence

Authors: Gerard Cohen, Emanuela Fachini, Janos Korner

Abstract: We introduce a new class of problems lying halfway between questions about graph capacity and intersection. We say that two binary sequences x and y of the same length have a skewincidence if there is a coordinate i for which x_i=y_{i+1}=1 or vice versa. We give rather sharp bounds on the maximum number of binary sequences of length n any pair of which has a skewincidence. We introduce a new class of problems lying halfway between questions about graph capacity and intersection. We say that two binary sequences x and y of the same length have a skewincidence if there is a coordinate i for which x_i=y_{i+1}=1 or vice versa. We give rather sharp bounds on the maximum number of binary sequences of length n any pair of which has a skewincidence. △ Less

Submitted 21 March, 2010; originally announced March 2010.

MSC Class: 05D; 05C

On the permutation capacity of digraphs

Authors: Gerard Cohen, Emanuela Fachini, Janos Korner

Abstract: We extend several results of the third author and C. Malvenuto on graph-different permutations to the case of directed graphs and introduce new open problems. Permutation capacity is a natural extension of Sperner capacity from finite directed graphs to infinite digraphs. Our subject is combinatorial in nature, but can be equally regarded as zero-error information theory. We extend several results of the third author and C. Malvenuto on graph-different permutations to the case of directed graphs and introduce new open problems. Permutation capacity is a natural extension of Sperner capacity from finite directed graphs to infinite digraphs. Our subject is combinatorial in nature, but can be equally regarded as zero-error information theory. △ Less

Submitted 9 September, 2008; originally announced September 2008.

Comments: 11 pages, no figures

MSC Class: 05D05; 05C69: 05C69; 94A24

On types of growth for graph-different permutations

Authors: János Körner, Gábor Simonyi, Blerina Sinaimeri

Abstract: We consider an infinite graph G whose vertex set is the set of natural numbers and adjacency depends solely on the difference between vertices. We study the largest cardinality of a set of permutations of [n] any pair of which differ somewhere in a pair of adjacent vertices of G and determine it completely in an interesting special case. We give estimates for other cases and compare the results… ▽ More We consider an infinite graph G whose vertex set is the set of natural numbers and adjacency depends solely on the difference between vertices. We study the largest cardinality of a set of permutations of [n] any pair of which differ somewhere in a pair of adjacent vertices of G and determine it completely in an interesting special case. We give estimates for other cases and compare the results in case of complementary graphs. We also explore the close relationship between our problem and the concept of Shannon capacity "within a given type". △ Less

Submitted 10 December, 2007; originally announced December 2007.

Comments: 14 pages+title page

MSC Class: 05D05

Graph-different permutations

Authors: János Körner, Claudia Malvenuto, Gábor Simonyi

Abstract: We strengthen and put in a broader perspective previous results of the first two authors on colliding permutations. The key to the present approach is a new non-asymptotic invariant for graphs. We strengthen and put in a broader perspective previous results of the first two authors on colliding permutations. The key to the present approach is a new non-asymptotic invariant for graphs. △ Less

Submitted 27 September, 2007; originally announced September 2007.

Comments: 1+14 pages

MSC Class: 05D05; 05A15