-
A Bollobás-type problem: from root systems to Erdős-Ko-Rado
Authors:
Patrick J. Browne,
Qëndrim R. Gashi,
Padraig Ó Catháin
Abstract:
Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide u…
▽ More
Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide upper and lower bounds for this problem, relying on classical results of extremal combinatorics and an explicit construction using the incidence matrix of a finite projective plane.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Segre's theorem on ovals in Desarguesian projective planes
Authors:
Patrick J. Browne,
Steven T. Dougherty,
Padraig Ó Catháin
Abstract:
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desarg…
▽ More
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desargues' theorem are presented in full. While following the broad outline of Segre's proof, careful parameterisation of certain tangent lines results in shorter and simpler computations than the original.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Conservation with moving meshes over orography
Authors:
Hiroe Yamazaki,
Hilary Weller,
Colin J. Cotter,
Philip A. Browne
Abstract:
Adaptive meshes have the potential to improve the accuracy and efficiency of atmospheric modelling by increasing resolution where it is most needed. Mesh re-distribution, or r-adaptivity, adapts by moving the mesh without changing the connectivity. This avoids some of the challenges with h-adaptivity (adding and removing points): the solution does not need to be mapped between meshes, which can be…
▽ More
Adaptive meshes have the potential to improve the accuracy and efficiency of atmospheric modelling by increasing resolution where it is most needed. Mesh re-distribution, or r-adaptivity, adapts by moving the mesh without changing the connectivity. This avoids some of the challenges with h-adaptivity (adding and removing points): the solution does not need to be mapped between meshes, which can be expensive and introduces errors, and there are no load balancing problems on parallel computers. A long standing problem with both forms of adaptivity has been changes in volume of the domain as resolution changes at an uneven boundary. We propose a solution to exact local conservation and maintenance of uniform fields while the mesh changes volume as it moves over orography. This is solved by introducing a volume adjustment parameter which tracks the true cell volumes without using expensive conservative mapping.
A finite volume solution of the advection equation over orography on moving meshes is described and results are presented demonstrating improved accuracy for cost using moving meshes. Exact local conservation and maintenance of uniform fields is demonstrated and the corrected mesh volume is preserved.
We use optimal transport to generate meshes which are guaranteed not to tangle and are equidistributed with respect to a monitor function. This leads to a Monge-Ampère equation which is solved with a Newton solver. The superiority of the Newton solver over other techniques is demonstrated in the appendix. However the Newton solver is only efficient if it is applied to the left hand side of the Monge-Ampère equation with fixed point iterations for the right hand side.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
A Survey of the Hadamard Maximal Determinant Problem
Authors:
Patrick Browne,
Ronan Egan,
Fintan Hegarty,
Padraig O Cathain
Abstract:
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.…
▽ More
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.
This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time.
We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.
△ Less
Submitted 3 November, 2021; v1 submitted 14 April, 2021;
originally announced April 2021.
-
Model error moment estimation via data assimilation
Authors:
PA Browne
Abstract:
Using a dynamical model to make predictions about a system has many sources of error. These can include errors in how the model was initialised but also errors in the dynamics of the model itself. For many applications in data assimilation, probabilistic forecasting, or model improvement, these model errors need to be known over the timestep of the model, not over a time-averaged period. Using a f…
▽ More
Using a dynamical model to make predictions about a system has many sources of error. These can include errors in how the model was initialised but also errors in the dynamics of the model itself. For many applications in data assimilation, probabilistic forecasting, or model improvement, these model errors need to be known over the timestep of the model, not over a time-averaged period. Using a forecast from a state that combines observational information as well as prior information we can gain an approximation to the statistics of the model errors on the timescale of the model that is required. Here we give bounds on the errors in the estimation of the mean and covariance of the errors in the model equations in terms of the errors made in the state estimation. This is the first time that such a result has been derived. The result shows to what extent the state estimation must constrain the analysis in order to obtain a specified error on the mean or covariance of the model errors. This is particularly useful for experimental design as it indicates the necessary information content required in observations of the dynamical system.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Nonlinear solution techniques for solving a Monge-Ampère equation for redistribution of a mesh
Authors:
P. A. Browne,
J. Prettyman,
H. Weller,
T. Pryer,
J. Van lent
Abstract:
A Monge-Ampère (MA) equation arises when seeking an optimally transported mesh that equidistributes a given monitor function in Cartesian space. This MA equation is a fully nonlinear PDE, with a source term that is a function of the gradient of the solution. This nonlinear source term is an additional computational challenge that has received little attention from MA applications in other fields.…
▽ More
A Monge-Ampère (MA) equation arises when seeking an optimally transported mesh that equidistributes a given monitor function in Cartesian space. This MA equation is a fully nonlinear PDE, with a source term that is a function of the gradient of the solution. This nonlinear source term is an additional computational challenge that has received little attention from MA applications in other fields. There are two major components needed to find a solution to the MA equation: a spatial discretisation and an algorithm to find a solution of the resulting nonlinear algebraic equations. There have been a number of different approaches proposed in the literature to solve the MA equation but none of which perform consistent comparisons across both algorithmic and discretisation differences. In this study we explore different algorithmic methods for the MA equation all within the context of a finite volume spatial discretisation. We introduce a new linearisation of the MA equation that neglects the nonlinearities arising from the source term and show that it leads to a method that is fast, robust and free of tuning parameters. We present numerical experiments that show methods based on this linearisation of the MA equation are more computationally efficient than those that rely on other techniques such as a parabolic relaxation. Further, the equations resulting from a full linearisation of the MA equation, equivalent to using Newton's method, can be seen as analogous to an advection-diffusion equation. This allows many tools that exist for computational fluid dynamics to be re-factored easily to solve the MA equation. The robustness and efficiency of the newly introduced method gives hope that an adaptive solver for geophysical flows using mesh redistribution can be computationally feasible in the near future.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
Mesh Adaptation on the Sphere using Optimal Transport and the Numerical Solution of a Monge-Ampère type Equation
Authors:
Hilary Weller,
Philip Browne,
Chris Budd,
Mike Cullen
Abstract:
An equation of Monge-Ampère type has, for the first time, been solved numerically on the surface of the sphere in order to generate optimally transported (OT) meshes, equidistributed with respect to a monitor function. Optimal transport generates meshes that keep the same connectivity as the original mesh, making them suitable for r-adaptive simulations, in which the equations of motion can be sol…
▽ More
An equation of Monge-Ampère type has, for the first time, been solved numerically on the surface of the sphere in order to generate optimally transported (OT) meshes, equidistributed with respect to a monitor function. Optimal transport generates meshes that keep the same connectivity as the original mesh, making them suitable for r-adaptive simulations, in which the equations of motion can be solved in a moving frame of reference in order to avoid mapping the solution between old and new meshes and to avoid load balancing problems on parallel computers.
The semi-implicit solution of the Monge-Ampère type equation involves a new linearisation of the Hessian term, and exponential maps are used to map from old to new meshes on the sphere. The determinant of the Hessian is evaluated as the change in volume between old and new mesh cells, rather than using numerical approximations to the gradients.
OT meshes are generated to compare with centroidal Voronoi tesselations on the sphere and are found to have advantages and disadvantages; OT equidistribution is more accurate, the number of iterations to convergence is independent of the mesh size, face skewness is reduced and the connectivity does not change. However anisotropy is higher and the OT meshes are non-orthogonal.
It is shown that optimal transport on the sphere leads to meshes that do not tangle. However, tangling can be introduced by numerical errors in calculating the gradient of the mesh potential. Methods for alleviating this problem are explored.
Finally, OT meshes are generated using observed precipitation as a monitor function, in order to demonstrate the potential power of the technique.
△ Less
Submitted 9 December, 2015;
originally announced December 2015.
-
On nomenclature for, and the relative merits of, two formulations of skew distributions
Authors:
Adelchi Azzalini,
Ryan P. Browne,
Marc G. Genton,
Paul D. McNicholas
Abstract:
We examine some distributions used extensively within the model-based clustering literature in recent years, paying special attention to} claims that have been made about their relative efficacy. Theoretical arguments are provided as well as real data examples.
We examine some distributions used extensively within the model-based clustering literature in recent years, paying special attention to} claims that have been made about their relative efficacy. Theoretical arguments are provided as well as real data examples.
△ Less
Submitted 3 December, 2015; v1 submitted 21 February, 2014;
originally announced February 2014.
-
Constrained Optimization for a Subset of the Gaussian Parsimonious Clustering Models
Authors:
Ryan P. Browne,
Sanjeena Subedi,
Paul McNicholas
Abstract:
The expectation-maximization (EM) algorithm is an iterative method for finding maximum likelihood estimates when data are incomplete or are treated as being incomplete. The EM algorithm and its variants are commonly used for parameter estimation in applications of mixture models for clustering and classification. This despite the fact that even the Gaussian mixture model likelihood surface contain…
▽ More
The expectation-maximization (EM) algorithm is an iterative method for finding maximum likelihood estimates when data are incomplete or are treated as being incomplete. The EM algorithm and its variants are commonly used for parameter estimation in applications of mixture models for clustering and classification. This despite the fact that even the Gaussian mixture model likelihood surface contains many local maxima and is singularity riddled. Previous work has focused on circumventing this problem by constraining the smallest eigenvalue of the component covariance matrices. In this paper, we consider constraining the smallest eigenvalue, the largest eigenvalue, and both the smallest and largest within the family setting. Specifically, a subset of the GPCM family is considered for model-based clustering, where we use a re-parameterized version of the famous eigenvalue decomposition of the component covariance matrices. Our approach is illustrated using various experiments with simulated and real data.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
