-
Asymptotics of Weighted Reflectable Walks in $A_2$
Authors:
Torin Greenwood,
Samuel Simon
Abstract:
Lattice walks are used to model various physical phenomena. In particular, walks within Weyl chambers connect directly to representation theory via the Littelmann path model. We derive asymptotics for centrally weighted lattice walks within the Weyl chamber corresponding to $A_2$ by using tools from analytic combinatorics in several variables (ACSV). We find universality classes depending on the w…
▽ More
Lattice walks are used to model various physical phenomena. In particular, walks within Weyl chambers connect directly to representation theory via the Littelmann path model. We derive asymptotics for centrally weighted lattice walks within the Weyl chamber corresponding to $A_2$ by using tools from analytic combinatorics in several variables (ACSV). We find universality classes depending on the weights of the walks, in line with prior results on the weighted Gouyou-Beauchamps model. Along the way, we identify a type of singularity within a multivariate rational generating function that is not yet covered by the theory of ACSV. We conjecture asymptotics for this type of singularity.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Analysis of Unregularized Optimal Control Problems Constrained by the Boussinesq System
Authors:
Nicolai Jork,
John Sebastian H. Simon
Abstract:
This paper investigates solution stability properties of unregularized tracking-type optimal control problems constrained by the Boussinesq system. In our model, the controls may appear linearly and distributed in both of the equations that constitute the Boussiniesq system and in the objective functional. We establish, not only the existence of weak solutions, but also unique existence of strong…
▽ More
This paper investigates solution stability properties of unregularized tracking-type optimal control problems constrained by the Boussinesq system. In our model, the controls may appear linearly and distributed in both of the equations that constitute the Boussiniesq system and in the objective functional. We establish, not only the existence of weak solutions, but also unique existence of strong solutions in $L^p$ sense for the Boussinesq system as well as its corresponding linearized and adjoint systems. The optimal control problem is then analyzed by providing the existence of an optimal control, and by establishing first-order necessary and second order sufficient conditions. Then, using assumptions on the joint growth of the first and second variations of the objective functional, we prove the strong metric Hölder subregularity of the optimality map**, which in turn allows the study of solution stability of the optimal control and states under various linear and nonlinear perturbations. Such perturbations may appear in the Boussinesq system and the objective functional. As an application, we provide a convergence rate for the optimal solutions of the Tikhonov regularized problem as the Tikhonov parameter tends to zero. Furthermore, the obtained stability of the optimal states provides, to the best knowledge of the authors, the first result on the stability of the second-order sufficient condition in affine PDE-constrained optimization under an assumption on the desired profile which is natural for tracking-type objective functionals.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Global solutions of Euler-Maxwell equations with dissipation
Authors:
Bernard Ducomet,
Šárka Nečasová,
John Sebastian H. Simon
Abstract:
We consider the Cauchy problem for a damped Euler-Maxwell system with no ionic background. For smooth enough data satisfying suitable so-called dispersive conditions, we establish the global in time existence and uniqueness of a strong solution that decays uniformly in time. Our method is inspired by the works of D. Serre and M. Grassin dedicated to the compressible Euler system.
We consider the Cauchy problem for a damped Euler-Maxwell system with no ionic background. For smooth enough data satisfying suitable so-called dispersive conditions, we establish the global in time existence and uniqueness of a strong solution that decays uniformly in time. Our method is inspired by the works of D. Serre and M. Grassin dedicated to the compressible Euler system.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Topological methods in zero-sum Ramsey theory
Authors:
Florian Frick,
Jacob Lehmann Duke,
Meenakshi McNamara,
Hannah Park-Kaufmann,
Steven Raanes,
Steven Simon,
Darrion Thornburgh,
Zoe Wellner
Abstract:
A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinato…
▽ More
A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
A Stochastic Game without Approximate Equilibria
Authors:
Robert Samuel Simon
Abstract:
A game has approximate equilibria if for every $ε>0$ there is an $ε$-equilibrium. We show that there is a stochastic game that lacks approximate equilibria. This game has finitely many players and actions, their payoffs are Borel measurable functions on the pathways of play, and
all players have perfect knowledge of the past histories and the present state.
A game has approximate equilibria if for every $ε>0$ there is an $ε$-equilibrium. We show that there is a stochastic game that lacks approximate equilibria. This game has finitely many players and actions, their payoffs are Borel measurable functions on the pathways of play, and
all players have perfect knowledge of the past histories and the present state.
△ Less
Submitted 20 October, 2023; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Formal first integrals and higher variational equations
Authors:
Sergi Simon
Abstract:
The question of how Algebra can be used to solve dynamical systems and characterize chaos was first posed in a fertile mathematical context by Ziglin, Morales, Ramis and Simó using differential Galois theory. Their study was aimed at first-order, later higher-order, variational equations of Hamiltonian systems. Recent work by this author formalized a compact yet comprehensive expression of higher-…
▽ More
The question of how Algebra can be used to solve dynamical systems and characterize chaos was first posed in a fertile mathematical context by Ziglin, Morales, Ramis and Simó using differential Galois theory. Their study was aimed at first-order, later higher-order, variational equations of Hamiltonian systems. Recent work by this author formalized a compact yet comprehensive expression of higher-order variationals as one infinite linear system, thereby simplifying the approach. More importantly, the dual of this linear system contains all information relevant to first integrals, regardless of whether the original system is Hamiltonian. This applicability to formal calculation of conserved quantities is the centerpiece of this paper, following an introduction to the requisite context. Three important examples, namely particular cases of Dixon's system, the SIR epidemiological model with vital dynamics and the Van der Pol oscillator, are tackled, and explicit convergent first integrals are provided for the first two.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Two-Scale Finite Element Approximation of a Homogenized Plate Model
Authors:
Martin Rumpf,
Stefan Simon,
Christoph Smoch
Abstract:
This paper studies the discretization of a homogenization and dimension reduction model for the elastic deformation of microstructured thin plates proposed by Hornung, Neukamm, and Velčić in 2014. Thereby, a nonlinear bending energy is based on a homogenized quadratic form which acts on the second fundamental form associated with the elastic deformation. Convergence is proven for a multi-affine fi…
▽ More
This paper studies the discretization of a homogenization and dimension reduction model for the elastic deformation of microstructured thin plates proposed by Hornung, Neukamm, and Velčić in 2014. Thereby, a nonlinear bending energy is based on a homogenized quadratic form which acts on the second fundamental form associated with the elastic deformation. Convergence is proven for a multi-affine finite element discretization of the involved three-dimensional microscopic cell problems and a discrete Kirchhoff triangle discretization of the two-dimensional isometry-constrained macroscopic problem. Finally, the convergence properties are numerically verified in selected test cases and qualitatively compared with deformation experiments for microstructured sheets of paper.
△ Less
Submitted 18 June, 2024; v1 submitted 28 August, 2023;
originally announced August 2023.
-
On a nonlocal two-phase flow with convective heat transfer
Authors:
Šárka Nečasová,
John Sebastian H. Simon
Abstract:
We study a system describing the dynamics of a two-phase flow of incompressible viscous fluids influenced by the convective heat transfer of Caginalp-type. The separation of the fluids is expressed by the order parameter which is of diffuse interface and is known as the Cahn-Hilliard model. We shall consider a nonlocal version of the Cahn-Hilliard model which replaces the gradient term in the free…
▽ More
We study a system describing the dynamics of a two-phase flow of incompressible viscous fluids influenced by the convective heat transfer of Caginalp-type. The separation of the fluids is expressed by the order parameter which is of diffuse interface and is known as the Cahn-Hilliard model. We shall consider a nonlocal version of the Cahn-Hilliard model which replaces the gradient term in the free energy functional into a spatial convolution operator acting on the order parameter and incorporate with it a potential that is assumed to satisfy an arbitrary polynomial growth. The order parameter is influenced by the fluid velocity by means of convection, the temperature affects the interface via a modification of the Landau-Ginzburg free energy. The fluid is governed by the Navier--Stokes equations which is affected by the order parameter and the temperature by virtue of the capillarity between the two fluids. The temperature on the other hand satisfies a parabolic equation that considers latent heat due to phase transition and is influenced by the fluid via convection. The goal of this paper is to prove the global existence of weak solutions and show that, for an appropriate choice of sequence of convolutional kernels, the solutions of the nonlocal system converges to its local version.
△ Less
Submitted 12 August, 2023; v1 submitted 10 August, 2023;
originally announced August 2023.
-
Stability analysis of the Navier-Stokes velocity tracking problem with bang-bang controls
Authors:
Alberto Domínguez Corella,
Nicolai Jork,
Šarká Nečasová,
John Sebastian H. Simon
Abstract:
This paper focuses on the stability of solutions for a velocity-tracking problem associated with the two-dimensional Navier-Stokes equations. The considered optimal control problem does not possess any regularizer in the cost, and hence bang-bang solutions can be expected. We investigate perturbations that account for uncertainty in the tracking data and the initial condition of the state, and ana…
▽ More
This paper focuses on the stability of solutions for a velocity-tracking problem associated with the two-dimensional Navier-Stokes equations. The considered optimal control problem does not possess any regularizer in the cost, and hence bang-bang solutions can be expected. We investigate perturbations that account for uncertainty in the tracking data and the initial condition of the state, and analyze the convergence rate of solutions when the original problem is regularized by the Tikhonov term. The stability analysis relies on the Hölder subregularity of the optimality map**, which stems from the necessary conditions of the problem.
△ Less
Submitted 19 February, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
The Generalized Makeev Problem Revisited
Authors:
Andres Mejia,
Steven Simon,
Jialin Zhang
Abstract:
Based on a result of Makeev, in 2012 Blagojević and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=Δ(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combin…
▽ More
Based on a result of Makeev, in 2012 Blagojević and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=Δ(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combinatorics which remains open except for few values of $m$ and $k$. For $\ell< k$ and arbitrary $m$, we establish new upper bounds on $Δ(m;\ell/k)$ when (1) $\ell=2$ and $k$ is arbitrary and (2) $\ell=3$ and $k=4$. When $\ell=k-1$ and $m+1$ is a power of two these bounds are nearly optimal and are exponentially smaller than the current best upper bounds when $\ell=k$. Similar remarks apply to our upper bounds when the hyperplanes are prescribed to be pairwise orthogonal. Lastly, we provide transversal extensions of our results along the lines recently established by Frick et al.: given $m$ families of compact convex sets in $\mathbb{R}^d$ such that no $2^\ell$ members of any family are pairwise disjoint, we show that every member of each family is pierced by the union of any $\ell$ of some collection of $k$ hyperplanes.
△ Less
Submitted 11 March, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Paradoxical decompositions and finitary colouring rules
Authors:
Robert Samuel Simon,
Grzegorz Tomkowicz
Abstract:
We define "paradoxical colouring rule", show its relation to measure theoretic paradoxes, and demonstrate that proper vertex colouring can be a paradoxical colouring rule.
We define "paradoxical colouring rule", show its relation to measure theoretic paradoxes, and demonstrate that proper vertex colouring can be a paradoxical colouring rule.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Transversal generalizations of hyperplane equipartitions
Authors:
Florian Frick,
Samuel Murray,
Steven Simon,
Laura Stemmler
Abstract:
The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact, convex sets in $\mathbb{R}^d$ admit a common hyperplane transversal. We extend Dolnikov's theorem by showing that families of compact convex sets satisfying more…
▽ More
The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact, convex sets in $\mathbb{R}^d$ admit a common hyperplane transversal. We extend Dolnikov's theorem by showing that families of compact convex sets satisfying more general non-disjointness conditions admit common transversals by multiple hyperplanes. In particular, these generalize all known optimal results to the long-standing Grünbaum--Hadwiger--Ramos measure equipartition problem in the case of two hyperplanes. Our proof proceeds by establishing topological Radon-type intersection theorems and then applying Gale duality in the linear setting. For a single hyperplane, this gives a new proof of Dolnikov's original result via Sarkaria's non-embedding criterion for simplicial complexes.
△ Less
Submitted 24 August, 2023; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Constructions and restrictions for balanced splittable Hadamard matrices
Authors:
Jonathan Jedwab,
Shuxing Li,
Samuel Simon
Abstract:
A Hadamard matrix is balanced splittable if some subset of its rows has the property that the dot product of every two distinct columns takes at most two values. This definition was introduced by Kharaghani and Suda in 2019, although equivalent formulations have been previously studied using different terminology. We collate previous results phrased in terms of balanced splittable Hadamard matrice…
▽ More
A Hadamard matrix is balanced splittable if some subset of its rows has the property that the dot product of every two distinct columns takes at most two values. This definition was introduced by Kharaghani and Suda in 2019, although equivalent formulations have been previously studied using different terminology. We collate previous results phrased in terms of balanced splittable Hadamard matrices, real flat equiangular tight frames, spherical two-distance sets, and two-distance tight frames. We use combinatorial analysis to restrict the parameters of a balanced splittable Hadamard matrix to lie in one of several classes, and obtain strong new constraints on their mutual relationships. An important consideration in determining these classes is whether the strongly regular graph associated with the balanced splittable Hadamard matrix is primitive or imprimitive. We construct new infinite families of balanced splittable Hadamard matrices in both the primitive and imprimitive cases. A rich source of examples is provided by packings of partial difference sets in elementary abelian 2-groups, from which we construct Hadamard matrices admitting a row decomposition so that the balanced splittable property holds simultaneously with respect to every union of the submatrices of the decomposition.
△ Less
Submitted 2 February, 2023; v1 submitted 7 July, 2022;
originally announced July 2022.
-
When is a Minkowski norm strictly sub-convex?
Authors:
Stéphane Simon,
Patrick Verovic
Abstract:
The aim of this paper is to give two complete and simple characterizations of Minkowski norms N on an arbitrary topological real vector space such that the sublevel sets of N are strictly convex. We first show that this property is equivalent to the continuity of N together with the fact that any open chord between two points of the boundary of the sublevel set N^{-1}([0, 1)) lies inside that set…
▽ More
The aim of this paper is to give two complete and simple characterizations of Minkowski norms N on an arbitrary topological real vector space such that the sublevel sets of N are strictly convex. We first show that this property is equivalent to the continuity of N together with the fact that any open chord between two points of the boundary of the sublevel set N^{-1}([0, 1)) lies inside that set (geometric characterization). On the other hand, we prove that this is also the same as saying that N is continuous and that for an arbitrary real number $α$ > 1 the function N^$α$ is strictly convex (analytic characterization).
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Two-scale elastic shape optimization for additive manufacturing
Authors:
Sergio Conti,
Martin Rumpf,
Stefan Simon
Abstract:
In this paper, a two-scale approach for elastic shape optimization of fine-scale structures in additive manufacturing is investigated. To this end, a free material optimization is performed on the macro-scale using elasticity tensors in a set of microscopically realizable tensors. A database of these realizable tensors and their cost values is obtained with a shape and topology optimization on mic…
▽ More
In this paper, a two-scale approach for elastic shape optimization of fine-scale structures in additive manufacturing is investigated. To this end, a free material optimization is performed on the macro-scale using elasticity tensors in a set of microscopically realizable tensors. A database of these realizable tensors and their cost values is obtained with a shape and topology optimization on microscopic cells, working within a fixed set of elasticity tensors samples. This microscopic optimization takes into account manufacturability constraints via predefined material bridges to neighbouring cells at the faces of the microscopic fundamental cell. For the actual additive manufacturing on a chosen fine-scale, a piece-wise constant elasticity tensor ansatz on grid cells of a macroscopic mesh is applied. The macroscopic optimization is performed in an efficient online phase, whereas the associated cell-wise optimal material patterns are retrieved from the database that was computed offline. For that, the set of admissible realizable elasticity tensors is parametrized using tensor product cubic B-splines over the unit square matching the precomputed samples. This representation is then efficiently used in an interior point method for the free material optimization on the macro-scale.
△ Less
Submitted 27 July, 2022; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Finite Element Approximation of Large-Scale Isometric Deformations of Parametrized Surfaces
Authors:
Martin Rumpf,
Stefan Simon,
Christoph Smoch
Abstract:
In this paper, the numerical approximation of isometric deformations of thin elastic shells is discussed. To this end, for a thin shell represented by a parametrized surface, it is shown how to transform the stored elastic energy for an isometric deformation such that the highest order term is quadratic. For this reformulated model, existence of optimal isometric deformations is shown. A finite el…
▽ More
In this paper, the numerical approximation of isometric deformations of thin elastic shells is discussed. To this end, for a thin shell represented by a parametrized surface, it is shown how to transform the stored elastic energy for an isometric deformation such that the highest order term is quadratic. For this reformulated model, existence of optimal isometric deformations is shown. A finite element approximation is obtained using the Discrete Kirchhoff Triangle (DKT) approach and the convergence of discrete minimizers to a continuous minimizer is demonstrated. In that respect, this paper generalizes the results by Bartels for the approximation of bending isometries of plates. A Newton scheme is derived to numerically simulate large bending isometries of shells. The proven convergence properties are experimentally verified and characteristics of isometric deformations are discussed.
△ Less
Submitted 30 June, 2022; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Inscribed Tverberg-Type Partitions for Orbit Polytopes
Authors:
Steven Simon,
Tobias Timofeyev
Abstract:
Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry condi…
▽ More
Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $ρ\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.
△ Less
Submitted 24 July, 2022; v1 submitted 18 October, 2021;
originally announced October 2021.
-
A Convective Boundary Condition for the Navier-Stokes Equations: Existence Analysis and Numerical Implementations
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
Due to computational complexity, fluid flow problems are mostly defined on a bounded domain. Hence, capturing fluid outflow calls for imposing an appropriate condition on the boundary where the said outflow is prescribed. Usually, the Neumann-type boundary condition called do-nothing condition is the go-to description for such outflow phenomenon However, such condition does not ensure an energy es…
▽ More
Due to computational complexity, fluid flow problems are mostly defined on a bounded domain. Hence, capturing fluid outflow calls for imposing an appropriate condition on the boundary where the said outflow is prescribed. Usually, the Neumann-type boundary condition called do-nothing condition is the go-to description for such outflow phenomenon However, such condition does not ensure an energy estimate for the Navier--Stokes equations - let alone establish the existence of solutions. In this paper, we analyze a convective boundary condition that will capture outflow and establish the existence of solutions to the governing equation. We shall show existence and uniqueness results for systems with mixed boundary conditions - Dirichlet condition and the convective boundary condition. The first system is a stationary equation where the Dirichlet condition is purely homogeneous, the other is where an input function is prescribed, and lastly a dynamic system with prescribed input function. We end by showing numerical examples to illustrate the difference between the current outflow condition and the usual do-nothing condition.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Long-Time Behaviour of Shape Design Solutions for the Navier--Stokes Equations
Authors:
John Sebastian H. Simon
Abstract:
We investigate the behavior of dynamic shape design problems for fluid flow at large time horizon. In particular, we shall compare the shape solutions of a dynamic shape optimization problem with that of a stationary problem and show that the solution of the former approaches a neighborhood of that of the latter. The convergence of domains is based on the $L^\infty$-topology of their corresponding…
▽ More
We investigate the behavior of dynamic shape design problems for fluid flow at large time horizon. In particular, we shall compare the shape solutions of a dynamic shape optimization problem with that of a stationary problem and show that the solution of the former approaches a neighborhood of that of the latter. The convergence of domains is based on the $L^\infty$-topology of their corresponding characteristic functions which is closed under the set of domains satisfying the cone property. As a consequence, we show that the asymptotic convergence of shape solutions for parabolic/elliptic problems is a particular case of our analysis. Lastly, a numerical example is provided to show the occurrence of the convergence of shape design solutions of time-dependent problems with different values of the terminal time T to a shape design solution of the stationary problem.
△ Less
Submitted 19 October, 2022; v1 submitted 19 September, 2021;
originally announced September 2021.
-
Embedding dimensions of simplicial complexes on few vertices
Authors:
Florian Frick,
Mirabel Hu,
Verity Scheel,
Steven Simon
Abstract:
We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting family. As immediate consequences, we recover the classical van Kampen--Flores theorem and provide a topological extension of the Erd\H os--Ko--Rado theorem. By…
▽ More
We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting family. As immediate consequences, we recover the classical van Kampen--Flores theorem and provide a topological extension of the Erd\H os--Ko--Rado theorem. By analogy with Fáry's theorem for planar graphs, we show in addition that such complexes satisfy the rigidity property that continuous and linear embeddability are equivalent.
△ Less
Submitted 14 March, 2023; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Maximizing Vortex for the Navier--Stokes Flow with a Convective Boundary Condition: A Shape Design Problem
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
In this study, a shape optimization problem for the two-dimensional stationary Navier--Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill-posedness caused by the usual do-nothing boundary condition. The goal of th…
▽ More
In this study, a shape optimization problem for the two-dimensional stationary Navier--Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill-posedness caused by the usual do-nothing boundary condition. The goal of the optimization problem is to maximize the vorticity of the said fluid by determining the shape of an obstacle inside the channel. Meanwhile, the shape variation is limited by a perimeter functional and a volume constraint. The perimeter functional was considered to act as a Tikhonov regularizer and the volume constraint is added to exempt us from topological changes in the domain. The shape derivative of the objective functional was formulated using the rearrangement method, and this derivative was later on used for gradient descent methods. Additionally, an augmented Lagrangian method and a class of solenoidal deformation fields were considered to take into account the goal of volume preservation. Lastly, numerical examples based on the gradient descent and the volume preservation methods are presented.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Optimisation and Paradoxical Decompositions
Authors:
Tugkan Batu,
Robert Samuel Simon,
Grzegorz Tomkowicz
Abstract:
We present an optimisation problem defined using a measure preserving action by a group G on a compact probability space X. We show that this problem cannot be solved in any way measurable with respect to a finitely additive measure that extends the original probability measure and such that the group G remains measure preserving. The proof involves a computer-performed analysis of a stochastic pr…
▽ More
We present an optimisation problem defined using a measure preserving action by a group G on a compact probability space X. We show that this problem cannot be solved in any way measurable with respect to a finitely additive measure that extends the original probability measure and such that the group G remains measure preserving. The proof involves a computer-performed analysis of a stochastic process. On the other hand, there are some non-measurable solutions that induce some paradoxical decompositions of the space X. Additionally, we show that, for some small positive epsilon, epsilon-stability also cannot be satisfied in such a measurable way. By epsilon-stability, we mean that the expected gains from local deviations considered independently cannot exceed epsilon.
△ Less
Submitted 28 May, 2021;
originally announced June 2021.
-
A Shape Optimization Problem Constrained with the Stokes Equations to Address Maximization of Vortices
Authors:
John Sebastian H. Simon,
Hirofumi Notsu
Abstract:
We study an optimization problem that aims to determine the shape of an obstacle that is submerged in a fluid governed by the Stokes equations. The mentioned flow takes place in a channel, which motivated the imposition of a Poiseuille-like input function on one end and a do-nothing boundary condition on the other. The maximization of the vorticity is addressed by the $L^2$-norm of the curl and th…
▽ More
We study an optimization problem that aims to determine the shape of an obstacle that is submerged in a fluid governed by the Stokes equations. The mentioned flow takes place in a channel, which motivated the imposition of a Poiseuille-like input function on one end and a do-nothing boundary condition on the other. The maximization of the vorticity is addressed by the $L^2$-norm of the curl and the {\it det-grad} measure of the fluid. We impose a Tikhonov regularization in the form of a perimeter functional and a volume constraint to address the possibility of topological change. Having been able to establish the existence of an optimal shape, the first order necessary condition was formulated by utilizing the so-called rearrangement method. Finally, numerical examples are presented by utilizing a finite element method on the governing states, and a gradient descent method for the deformation of the domain. On the said gradient descent method, we use two approaches to address the volume constraint: one is by utilizing the augmented Lagrangian method; and the other one is by utilizing a class of divergence-free deformation fields.
△ Less
Submitted 12 August, 2021; v1 submitted 19 April, 2021;
originally announced April 2021.
-
On Material Optimisation for Nonlinearly Elastic Plates and Shells
Authors:
Peter Hornung,
Martin Rumpf,
Stefan Simon
Abstract:
This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical s…
▽ More
This paper investigates the optimal distribution of hard and soft material on elastic plates. In the class of isometric deformations stationary points of a Kirchhoff plate functional with incorporated material hardness function are investigated and a compliance cost functional is taken into account. Under symmetry assumptions on the material distribution and the load it is shown that cylindrical solutions are stationary points. Furthermore, it is demonstrated that the optimal design of cylindrically deforming, clamped rectangular plates is non trivial, i.e. with a material distribution which is not just depending on one axial direction on the plate. Analytical results are complemented with numerical optimization results using a suitable finite element discretization and a phase field description of the material phases. Finally, using numerical methods an outlook on the optimal design of non isometrically deforming plates and shells is given.
△ Less
Submitted 3 March, 2020; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Regular Polygonal Partitions of a Tverberg Type
Authors:
Leah Leiner,
Steven Simon
Abstract:
A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in $\mathbb{R}^d$ cannot be so divided, and in these cases we ask if the set can nonetheless be $P(r,d)$--partitioned, i.e., split into $r$ subsets so that there exist…
▽ More
A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in $\mathbb{R}^d$ cannot be so divided, and in these cases we ask if the set can nonetheless be $P(r,d)$--partitioned, i.e., split into $r$ subsets so that there exist $r$ points, one from each resulting convex hull, which form the vertex set of a prescribed convex $d$--polytope $P(r,d)$. Our main theorem shows that this is the case for any generic $T(r,2)-2$ points in the plane and any $r\geq 3$ when $P(r,2)=P_r$ is a regular $r$--gon, and moreover that $T(r,2)-2$ is tight. For higher dimensional polytopes and $r=r_1\cdots r_k$, $r_i \geq 3$, this generalizes to $T(r,2k)-2k$ generic points in $\mathbb{R}^{2k}$ and orthogonal products $P(r,2k)=P_{r_1}\times \cdots \times P_{r_k}$ of regular polygons, and likewise to $T(2r,2k+1)-(2k+1)$ points in $\mathbb{R}^{2k+1}$ and the product polytopes $P(2r,2k+1)=P_{r_1}\times \cdots \times P_{r_k} \times P_2$. As with Tverberg's original theorem, our results admit topological generalizations when $r$ is a prime power, and, using the "constraint method" of Blagojević, Frick, and Ziegler, allow for dimensionally restricted versions of a van Kampen--Flores type and colored analogues in the fashion of Soberón.
△ Less
Submitted 25 February, 2021; v1 submitted 28 August, 2019;
originally announced August 2019.
-
The asymptotics of reflectable weighted walks in arbitrary dimension
Authors:
Marni Mishna,
Samuel Simon
Abstract:
Gessel and Zeilberger generalized the reflection principle to handle walks confined to Weyl chambers, under some restrictions on the allowable steps. For those models that are invariant under the Weyl group action, they express the counting function for the walks with fixed starting and endpoint as a constant term in the Taylor series expansion of a rational function. Here, we focus on the simples…
▽ More
Gessel and Zeilberger generalized the reflection principle to handle walks confined to Weyl chambers, under some restrictions on the allowable steps. For those models that are invariant under the Weyl group action, they express the counting function for the walks with fixed starting and endpoint as a constant term in the Taylor series expansion of a rational function. Here, we focus on the simplest case, the Weyl groups $A_1^d$, which correspond to walks in the first orthant $\mathbb{N}^d$ taking steps from a subset of $\{\pm1, 0\}^d$ which is invariant under reflection across any axis. The principle novelty here is the incorporation of weights on the steps and the main result is a very general theorem giving asymptotic enumeration formulas for walks that end anywhere in the orthant. The formulas are determined by singularity analysis of multivariable rational functions, an approach that has already been successfully applied in numerous related cases.
△ Less
Submitted 17 September, 2019; v1 submitted 23 July, 2019;
originally announced July 2019.
-
Which graphs occur as $γ$-graphs?
Authors:
Matt DeVos,
Adam Dyck,
Jonathan Jedwab,
Samuel Simon
Abstract:
The $γ$-graph of a graph $G$ is the graph whose vertices are labelled by the minimum dominating sets of $G$, in which two vertices are adjacent when their corresponding minimum dominating sets (each of size $γ(G)$) intersect in a set of size $γ(G)-1$. We extend the notion of a $γ$-graph from distance-1-domination to distance-$d$-domination, and ask which graphs $H$ occur as $γ$-graphs for a given…
▽ More
The $γ$-graph of a graph $G$ is the graph whose vertices are labelled by the minimum dominating sets of $G$, in which two vertices are adjacent when their corresponding minimum dominating sets (each of size $γ(G)$) intersect in a set of size $γ(G)-1$. We extend the notion of a $γ$-graph from distance-1-domination to distance-$d$-domination, and ask which graphs $H$ occur as $γ$-graphs for a given value of~$d \ge 1$. We show that, for all $d$, the answer depends only on whether the vertices of $H$ admit a labelling consistent with the adjacency condition for a conventional $γ$-graph. This result relies on an explicit construction for a graph having an arbitrary prescribed set of minimum distance-$d$-dominating sets. We then completely determine the graphs that admit such a labelling among the wheel graphs, the fan graphs, and the graphs on at most six vertices. We connect the question of whether a graph admits such a labelling with previous work on induced subgraphs of Johnson graphs.
△ Less
Submitted 3 April, 2020; v1 submitted 3 October, 2018;
originally announced October 2018.
-
Simultaneous elastic shape optimization for a domain splitting in bone tissue engineering
Authors:
Patrick Dondl,
Patrina S. P. Poh,
Martin Rumpf,
Stefan Simon
Abstract:
This paper deals with the simulateneous optimization of a subset $\mathcal{O}_0$ of some domain $Ω$ and its complement $\mathcal{O}_1 = Ω\setminus \overline{\mathcal{O}}_0$ both considered as separate elastic objects subject to a set of loading scenarios. If one asks for a configuration which minimizes the maximal elastic cost functional both phases compete for space since elastic shapes usually g…
▽ More
This paper deals with the simulateneous optimization of a subset $\mathcal{O}_0$ of some domain $Ω$ and its complement $\mathcal{O}_1 = Ω\setminus \overline{\mathcal{O}}_0$ both considered as separate elastic objects subject to a set of loading scenarios. If one asks for a configuration which minimizes the maximal elastic cost functional both phases compete for space since elastic shapes usually get mechanically more stable when being enlarged. Such a problem arises in biomechanics where a bioresorbable polymer scaffold is implanted in place of lost bone tissue and in a regeneration phase new bone tissue grows in the scaffold complement via osteogenesis. In fact, the polymer scaffold should be mechanically stable to bear loading in the early stage regeneration phase and at the same time the new bone tissue grown in the complement of this scaffold should as well bear the loading. Here, this optimal subdomain splitting problem with appropriate elastic cost functionals is introduced and existence of optimal two phase configurations is established for a regularized formulation. Furthermore, based on a phase field approximation a finite element discretization is derived. Numerical experiments are presented for the design of optimal periodic scaffold microstructure.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
Paradoxical decompositions and finitary rules
Authors:
Robert Samuel Simon,
Grzegorz Tomkowicz
Abstract:
We colour every point x of a probability space X according to the colours of a finite list x_1, ...., x_k of points such that each of the x_i, as a function of x, is a measure preserving transformation. We ask two questions about a colouring rule (1) does there exist a finitely additive extension of the probability measure for which the x_i remain measure preserving and also a colouring obeying th…
▽ More
We colour every point x of a probability space X according to the colours of a finite list x_1, ...., x_k of points such that each of the x_i, as a function of x, is a measure preserving transformation. We ask two questions about a colouring rule (1) does there exist a finitely additive extension of the probability measure for which the x_i remain measure preserving and also a colouring obeying the rule almost everywhere that is measurable with respect to this extension?, and (2) does there exist any colouring obeying the rule almost everywhere? if the answer to the first question is no and to the second question yes, we say that the colouring rule is paradoxical. A paradoxical colouring rule not only allows for a paradoxical partition of the space, it requires one. We pay special attention to generalizations of the Hausdorff paradox.
△ Less
Submitted 14 May, 2018;
originally announced May 2018.
-
An infinite class of unsaturated rooted trees corresponding to designable RNA secondary structures
Authors:
Jonathan Jedwab,
Tara Petrie,
Samuel Simon
Abstract:
An RNA secondary structure is designable if there is an RNA sequence which can attain its maximum number of base pairs only by adopting that structure. The combinatorial RNA design problem, introduced by Haleš et al. in 2016, is to determine whether or not a given RNA secondary structure is designable. Haleš et al. identified certain classes of designable and non-designable secondary structures by…
▽ More
An RNA secondary structure is designable if there is an RNA sequence which can attain its maximum number of base pairs only by adopting that structure. The combinatorial RNA design problem, introduced by Haleš et al. in 2016, is to determine whether or not a given RNA secondary structure is designable. Haleš et al. identified certain classes of designable and non-designable secondary structures by reference to their corresponding rooted trees. We introduce an infinite class of rooted trees containing unpaired nucleotides at the greatest depth, and prove constructively that their corresponding secondary structures are designable. This complements previous results for the combinatorial RNA design problem.
△ Less
Submitted 8 May, 2020; v1 submitted 23 September, 2017;
originally announced September 2017.
-
Linking systems of difference sets
Authors:
Jonathan Jedwab,
Shuxing Li,
Samuel Simon
Abstract:
A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are to determine which groups contain a linking system of difference sets, and how large such a system can be. All previous constructive results for linking systems…
▽ More
A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are to determine which groups contain a linking system of difference sets, and how large such a system can be. All previous constructive results for linking systems of difference sets are restricted to 2-groups. We use an elementary projection argument to show that neither the McFarland/Dillon nor the Spence construction of difference sets can give rise to a linking system of difference sets in non-2-groups. We make a connection to Kerdock and bent sets, which provides large linking systems of difference sets in elementary abelian 2-groups. We give a new construction for linking systems of difference sets in 2-groups, taking advantage of a previously unrecognized connection with group difference matrices. This construction simplifies and extends prior results, producing larger linking systems than before in certain 2-groups, new linking systems in other 2-groups for which no system was previously known, and the first known examples in nonabelian groups.
△ Less
Submitted 20 April, 2018; v1 submitted 15 August, 2017;
originally announced August 2017.
-
Hyperplane Equipartitions Plus Constraints
Authors:
Steven Simon
Abstract:
While equivariant methods have seen many fruitful applications in geometric combinatorics, their inability to answer the now settled Topological Tverberg Conjecture has made apparent the need to move beyond the use of Borsuk--Ulam type theorems alone. This impression holds as well for one of the most famous problems in the field, dating back to 1960, which seeks the minimum dimension $d:=Δ(m;k)$ s…
▽ More
While equivariant methods have seen many fruitful applications in geometric combinatorics, their inability to answer the now settled Topological Tverberg Conjecture has made apparent the need to move beyond the use of Borsuk--Ulam type theorems alone. This impression holds as well for one of the most famous problems in the field, dating back to 1960, which seeks the minimum dimension $d:=Δ(m;k)$ such that any $m$ mass distributions in $\mathbb{R}^d$ can be simultaneously equipartitioned by $k$ hyperplanes. Precise values of $Δ(m;k)$ have been obtained in few cases, and the best-known general upper bound $U(m;k)$ typically far exceeds the conjectured-tight lower bound arising from degrees of freedom. Following the "constraint method" of Blagojević, Frick, and Ziegler originally used for Tverberg-type results and recently to the present problem, we show how the imposition of further conditions -- on the hyperplane arrangements themselves (e.g., orthogonality, prescribed flat containment) and/or the equipartition of additional masses by successively fewer hyperplanes ("cascades") -- yields a variety of optimal results for constrained equipartitions of $m$ mass distributions in dimension $U(m;k)$, including in dimensions \textit{below} $Δ(m+1;k)$, which are still extractable via equivariance. Among these are families of exact values for full orthogonality as well as cascades which maximize the "fullness" of the equipartition at each stage, including some strengthened equipartitions in dimension $Δ(m;k)$ itself.
△ Less
Submitted 22 July, 2018; v1 submitted 1 August, 2017;
originally announced August 2017.
-
Computation of Optimal Transport on Discrete Metric Measure Spaces
Authors:
Matthias Erbar,
Martin Rumpf,
Bernhard Schmitzer,
Stefan Simon
Abstract:
In this paper we investigate the numerical approximation of an analogue of the Wasserstein distance for optimal transport on graphs that is defined via a discrete modification of the Benamou--Brenier formula. This approach involves the logarithmic mean of measure densities on adjacent nodes of the graph. For this model a variational time discretization of the probability densities on graph nodes a…
▽ More
In this paper we investigate the numerical approximation of an analogue of the Wasserstein distance for optimal transport on graphs that is defined via a discrete modification of the Benamou--Brenier formula. This approach involves the logarithmic mean of measure densities on adjacent nodes of the graph. For this model a variational time discretization of the probability densities on graph nodes and the momenta on graph edges is proposed. A robust descent algorithm for the action functional is derived, which in particular uses a proximal splitting with an edgewise nonlinear projection on the convex subgraph of the logarithmic mean. Thereby, suitable chosen slack variables avoid a global coupling of probability densities on all graph nodes in the projection step. For the time discrete action functional $Γ$--convergence to the time continuous action is established. Numerical results for a selection of test cases show qualitative and quantitative properties of the optimal transport on graphs. Finally, we use our algorithm to implement a JKO scheme for the gradient flow of the entropy in the discrete transportation distance, which is known to coincide with the underlying Markov semigroup, and test our results against a classical backward Euler discretization of this discrete heat flow.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
A Bayesian Game without epsilon equilibria
Authors:
Robert Samuel Simon,
Grzegorz Tomkowicz
Abstract:
We present a three player Bayesian game for which there is no epsilon equilibria in Borel measurable strategies for small enough epsilon, however there are non-measurable equilibria.
We present a three player Bayesian game for which there is no epsilon equilibria in Borel measurable strategies for small enough epsilon, however there are non-measurable equilibria.
△ Less
Submitted 27 January, 2017;
originally announced February 2017.
-
Generalized optimal transport with singular sources
Authors:
Jan Maas,
Martin Rumpf,
Stefan Simon
Abstract:
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local den…
▽ More
We present a generalized optimal transport model in which the mass-preserving constraint for the $L^2$-Wasserstein distance is relaxed by introducing a source term in the continuity equation. The source term is also incorporated in the path energy by means of its squared $L^2$-norm in time of a functional with linear growth in space. This extension of the original transport model enables local density modulation, which is a desirable feature in applications such as image war** and blending. A key advantage of the use of a functional with linear growth in space is that it allows for singular sources and sinks, which can be supported on points or lines. On a technical level, the $L^2$-norm in time ensures a disintegration of the source in time, which we use to obtain the well-posedness of the model and the existence of geodesic paths. Furthermore, a numerical scheme based on the proximal splitting approach (Papadakis et al., 2014) is presented. We compare our model with the corresponding model involving the $L^2(L^2)$-norm of the source, which merges the metamorphosis approach and the optimal transport approaches in imaging. Selected numerical test cases show strikingly different behaviour.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
Material Optimization for Nonlinearly Elastic Planar Beams
Authors:
Peter Hornung,
Martin Rumpf,
Stefan Simon
Abstract:
We consider the problem of an optimal distribution of soft and hard material for nonlinearly elastic planar beams. We prove that under gravitational force the optimal distribution involves no microstructure and is ordered, and we provide numerical simulations confirming and extending this observation.
We consider the problem of an optimal distribution of soft and hard material for nonlinearly elastic planar beams. We prove that under gravitational force the optimal distribution involves no microstructure and is ordered, and we provide numerical simulations confirming and extending this observation.
△ Less
Submitted 8 April, 2016;
originally announced April 2016.
-
Functions with strictly convex epigraph
Authors:
Stéphane Simon,
Patrick Verovic
Abstract:
The aim of this paper is to provide a complete and simple characterization of functions with domain in a topological real vector space whose epigraph is strictly convex.
The aim of this paper is to provide a complete and simple characterization of functions with domain in a topological real vector space whose epigraph is strictly convex.
△ Less
Submitted 31 March, 2016;
originally announced April 2016.
-
Context Directed Reversals and the Ciliate Decryptome
Authors:
C. L. Jansen,
M. Scheepers,
S. L. Simon,
E. Tatum
Abstract:
Prior studies of the efficiency of the block interchange (swap) and the reversal sorting operations on (signed) permutations identified specialized versions of the these operations. These specialized operations are here called context directed reversal, abbreviated cdr, and context directed swap, abbreviated cds. Prior works have also characterized which (signed) permutations are sortable by cdr o…
▽ More
Prior studies of the efficiency of the block interchange (swap) and the reversal sorting operations on (signed) permutations identified specialized versions of the these operations. These specialized operations are here called context directed reversal, abbreviated cdr, and context directed swap, abbreviated cds. Prior works have also characterized which (signed) permutations are sortable by cdr or by cds.
It is now known that when a permutation is cds sortable in n steps, then any application of n consecutive applicable cds operations will sort it. Examples show that this is not the case for cdr. This phenomenon is the focus of this paper. It is proven that if a signed permutation is cdr sortable, then any cdr fixed point of it is cds sortable (the cds Rescue Theorem). The cds Rescue Theorem is discussed in the context of a mathematical model for ciliate micronuclear decryption.
It is also proven that though for a given permutation the number of cdr operations leading to different cdr fixed points may be different from each other, the parity of these two numbers is the same (the cdr Parity Theorem). This result provides a solution to two previously formulated decision problems regarding certain combinatorial games.
△ Less
Submitted 18 April, 2016; v1 submitted 19 March, 2016;
originally announced March 2016.
-
Measure Partitions via Fourier Analysis II: Center Transversality in the $L^2$-norm for Complex Hyperplanes
Authors:
Steven Simon
Abstract:
Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms. Considering the circle group, we extend this approach to the compact Lie group setting, in which case the annihilation of transforms in the classical Fourier series…
▽ More
Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms. Considering the circle group, we extend this approach to the compact Lie group setting, in which case the annihilation of transforms in the classical Fourier series produces measure transversality similar in spirit to the classical centerpoint theorem of Rado: for any $q\geq 2$, the existence of a complex hyperplane whose surrounding regular $q$-fans are close -- in an $L^2$-sense -- to equipartitioning a given set of measures. The proofs of these results represent the first application of continuous as opposed to finite group actions in the usual equivariant topological reductions prevalent in combinatorial geometry.
△ Less
Submitted 13 September, 2015; v1 submitted 22 June, 2015;
originally announced June 2015.
-
A generalized model for optimal transport of images including dissipation and density modulation
Authors:
Jan Maas,
Martin Rumpf,
Carola Schönlieb,
Stefan Simon
Abstract:
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image c…
▽ More
In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image contrast and explicitly allows for sources and sinks in the transport equations which are incorporated in the metric related to the metamorphosis approach by Trouvé and Younes. In the non-viscous case with source term existence of geodesic paths is proven in the space of measures. The proposed model is explored on the range from merely optimal transport to strongly dissipative dynamics. For this model a robust and effective variational time discretization of geodesic paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals. These functionals are defined on corresponding pairs of intensity functions and on associated pairwise matching deformations. Existence of time discrete geodesics is demonstrated. Furthermore, a finite element implementation is proposed and applied to instructive test cases and to real images. In the non-viscous case this is compared to the algorithm proposed by Benamou and Brenier including a discretization of the source term. Finally, the model is generalized to define discrete weighted barycentres with applications to textures and objects.
△ Less
Submitted 8 April, 2015;
originally announced April 2015.
-
Bézier curves in the space of images
Authors:
Alexander Effland,
Martin Rumpf,
Stefan Simon,
Kirsten Stahn,
Benedikt Wirth
Abstract:
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then co…
▽ More
Bézier curves are a widespread tool for the design of curves in Euclidian space. This paper generalizes the notion of Bézier curves to the infinite-dimensional space of images. To this end the space of images is equipped with a Riemannian metric which measures the cost of image transport and intensity variation in the sense of the metamorphosis model by Miller and Younes. Bézier curves are then computed via the Riemannian version of de Casteljau's algorithm, which is based on a hierarchical scheme of convex combination along geodesic curves. Geodesics are approximated using a variational discretization of the Riemannian path energy. This leads to a generalized de Casteljau method to compute suitable discrete Bézier curves in image space. Selected test cases demonstrate qualitative properties of the approach. Furthermore, a Bézier approach for the modulation of face interpolation and shape animation via image sketches is presented.
△ Less
Submitted 9 March, 2015;
originally announced March 2015.
-
Average-Value Tverberg Partitions via Finite Fourier Analysis
Authors:
Steven Simon
Abstract:
The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an $N(q,d):=(q-1)(d+1)$-simplex to $d$-dimensional Euclidian space, the existence of $q$ pairwise disjoint subfaces whose images have non-empty $q$-fold intersection. The affine cases, true for all $q$, constitute Tverberg's famous 1966 generalization of the classical Radon's Theorem. Although es…
▽ More
The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an $N(q,d):=(q-1)(d+1)$-simplex to $d$-dimensional Euclidian space, the existence of $q$ pairwise disjoint subfaces whose images have non-empty $q$-fold intersection. The affine cases, true for all $q$, constitute Tverberg's famous 1966 generalization of the classical Radon's Theorem. Although established for all prime powers in 1987 by Özaydin, counterexamples to the conjecture, relying on 2014 work of Mabillard and Wagner, were first shown to exist for all non-prime-powers in 2015 by Frick. Starting with a reformulation of the topological Tverberg conjecture in terms of harmonic analysis on finite groups, we show that despite the failure of the conjecture, continuous maps \textit{below} the tight dimension $N(q,d)$ are nonetheless guaranteed $q$ pairwise disjoint subfaces -- including when $q$ is not a prime power -- which satisfy a variety of "average value" coincidences, the latter obtained as the vanishing of prescribed Fourier transforms.
△ Less
Submitted 25 July, 2016; v1 submitted 19 January, 2015;
originally announced January 2015.
-
On the Hamiltonicity of the $k$-regular graph game
Authors:
Jeremy Meza,
Samuel Simon
Abstract:
We consider a game played on an initially empty graph where two players alternate drawing an edge between vertices subject to the condition that no degree can exceed $k$. We show that for $k=3$, either player can avoid a Hamilton cycle, and for $k\geq4$, either player can force the resulting graph to be Hamiltonian.
We consider a game played on an initially empty graph where two players alternate drawing an edge between vertices subject to the condition that no degree can exceed $k$. We show that for $k=3$, either player can avoid a Hamilton cycle, and for $k\geq4$, either player can force the resulting graph to be Hamiltonian.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
Permutation sorting and a game on graphs
Authors:
C. L. Jansen,
M. Scheepers,
S. L. Simon,
E. Tatum
Abstract:
We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportion…
▽ More
We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy.
△ Less
Submitted 19 November, 2014;
originally announced November 2014.
-
Measure Equipartitions via Finite Fourier Analysis
Authors:
Steven Simon
Abstract:
Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime, equipartitions are by $k$-tuples of complex regular $p$-fans in $\mathbb{C}^d$, analogues of the famous Grünbaum problem on equipartitions in $\mathbb{R}^d$ by $k$-tu…
▽ More
Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime, equipartitions are by $k$-tuples of complex regular $p$-fans in $\mathbb{C}^d$, analogues of the famous Grünbaum problem on equipartitions in $\mathbb{R}^d$ by $k$-tuples of hyperplanes (i.e., regular 2-fans). Here the number of regions is a prime power, as usual in topological applications to combinatorial geometry. For general abelian groups, however, the Fourier perspective yields new classes of equipartitions by families of complex regular fans $F_{q_1},\ldots, F_{q_k}$ (such as those of a "Makeev-type"), including when the number of regions is not a prime power.
△ Less
Submitted 20 June, 2015; v1 submitted 27 March, 2014;
originally announced March 2014.
-
Conditions and evidence for non-integrability in the Friedmann-Robertson-Walker Hamiltonian
Authors:
Sergi Simon
Abstract:
This is an example of application of Ziglin-Morales-Ramis algebraic studies in Hamiltonian integrability, more specifically the result by Morales, Ramis and Simó on higher-order variational equations, to the well-known Friedmann-Robertson-Walker cosmological model. A previous paper by the author formalises said variational systems in such a way allowing the simple expression of notable elements of…
▽ More
This is an example of application of Ziglin-Morales-Ramis algebraic studies in Hamiltonian integrability, more specifically the result by Morales, Ramis and Simó on higher-order variational equations, to the well-known Friedmann-Robertson-Walker cosmological model. A previous paper by the author formalises said variational systems in such a way allowing the simple expression of notable elements of the differential Galois group needed to study integrability. Using this formalisation and an alternative method already used by other authors, we find sufficient conditions whose fulfillment would entail very simple proofs of non-integrability -- both for the complete Hamiltonian, a goal already achieved by other means by Coelho et al, and for a special open case attracting recent attention.
△ Less
Submitted 10 February, 2015; v1 submitted 11 September, 2013;
originally announced September 2013.
-
A zero-sum game between a singular stochastic controller and a discretionary stopper
Authors:
Daniel Hernandez-Hernandez,
Robert S. Simon,
Mihail Zervos
Abstract:
We consider a stochastic differential equation that is controlled by means of an additive finite-variation process. A singular stochastic controller, who is a minimizer, determines this finite-variation process, while a discretionary stopper, who is a maximizer, chooses a stop** time at which the game terminates. We consider two closely related games that are differentiated by whether the contro…
▽ More
We consider a stochastic differential equation that is controlled by means of an additive finite-variation process. A singular stochastic controller, who is a minimizer, determines this finite-variation process, while a discretionary stopper, who is a maximizer, chooses a stop** time at which the game terminates. We consider two closely related games that are differentiated by whether the controller or the stopper has a first-move advantage. The games' performance indices involve a running payoff as well as a terminal payoff and penalize control effort expenditure. We derive a set of variational inequalities that can fully characterize the games' value functions as well as yield Markovian optimal strategies. In particular, we derive the explicit solutions to two special cases and we show that, in general, the games' value functions fail to be $C^1$. The nonuniqueness of the optimal strategy is an interesting feature of the game in which the controller has the first-move advantage.
△ Less
Submitted 19 January, 2015; v1 submitted 10 December, 2012;
originally announced December 2012.
-
Locally Finite Knowledge Structures
Authors:
Robert Samuel Simon
Abstract:
In a game of incomplete information, an infinite state space can create problems. When the space is uncountably large, the strategy spaces of the players may be unwieldly, resulting in a lack of measurable equilibria. When the knowledge of a player allows for an infinite number of possibilities, without conditions on the behavior of the other players, that player may be unable to evaluate and comp…
▽ More
In a game of incomplete information, an infinite state space can create problems. When the space is uncountably large, the strategy spaces of the players may be unwieldly, resulting in a lack of measurable equilibria. When the knowledge of a player allows for an infinite number of possibilities, without conditions on the behavior of the other players, that player may be unable to evaluate and compare the payoff consequences of her actions. We argue that local finiteness is an important and desirable property, namely that at every point in the state space every player knows that only a finite number of points are possible. Local finiteness implies a kind of common knowledge of a countable number of points. Unfortunately its relationship to other forms of common knowledge is complex. In the context of the multi-agent propositional calculus, if the set of formulas held in common knowledge is generated by a finite set of formulas but a finite structure is not determined then there are uncountably many locally finite structures sharing this same set of formulas in common knowledge and likewise uncountably many with uncountable size. This differs radically from the infinite generation of formulas in common knowledge, and we show some examples of this. One corollary is that if there are infinitely many distinct points but a uniform bound on the number of points any player knows is possible then the set of formulas in common knowledge cannot be finitely generated.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
-
The Common Knowledge of Formula Exclusion
Authors:
Robert Samuel Simon
Abstract:
For every set of primitive propositions and agents there is a canonical Kripke structure and a canonical map from any Kripke structure (defined with the same primitive propositions and agents) to this canonical one. A cell of the canonical Kripke structure is a set C such that if any agent considers a point x in C to be possible then all the other points considered possible by this agent are also…
▽ More
For every set of primitive propositions and agents there is a canonical Kripke structure and a canonical map from any Kripke structure (defined with the same primitive propositions and agents) to this canonical one. A cell of the canonical Kripke structure is a set C such that if any agent considers a point x in C to be possible then all the other points considered possible by this agent are also in C. A cell C has finite fanout if at every point in C every agent considers possible only finitely many other points. We demonstrate a cell of this canonical Kripke structure such that every Kripke structure that maps to this cell does so surjectively, yet this cell does not have finite fanout.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
-
A Proof of the Vieille Result Using a Kind of Discount Factor
Authors:
Robert Samuel Simon
Abstract:
We give an alternative proof that every two-person non-zero-sum absorbing positive recursive stochastic game with finitely many states has approximate equilibria, a result proven by Nicolas Vieille. Our proof uses a state specific discount factor which is similar to the conventional discount factor only when there is only one non-absorbing state.
We give an alternative proof that every two-person non-zero-sum absorbing positive recursive stochastic game with finitely many states has approximate equilibria, a result proven by Nicolas Vieille. Our proof uses a state specific discount factor which is similar to the conventional discount factor only when there is only one non-absorbing state.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.