-
The effect of latency on optimal order execution policy
Authors:
Chutian Ma,
Giacinto Paolo Saggese,
Paul Smith
Abstract:
Market participants regularly send bid and ask quotes to exchange-operated limit order books. This creates an optimization challenge where their potential profit is determined by their quoted price and how often their orders are successfully executed. The expected profit from successful execution at a favorable limit price needs to be balanced against two key risks: (1) the possibility that orders…
▽ More
Market participants regularly send bid and ask quotes to exchange-operated limit order books. This creates an optimization challenge where their potential profit is determined by their quoted price and how often their orders are successfully executed. The expected profit from successful execution at a favorable limit price needs to be balanced against two key risks: (1) the possibility that orders will remain unfilled, which hinders the trading agenda and leads to greater price uncertainty, and (2) the danger that limit orders will be executed as market orders, particularly in the presence of order submission latency, which in turn results in higher transaction costs. In this paper, we consider a stochastic optimal control problem where a risk-averse trader attempts to maximize profit while balancing risk. The market is modeled using Brownian motion to represent the price uncertainty. We analyze the relationship between fill probability, limit price, and order submission latency. We derive closed-form approximations of these quantities that perform well in the practical regime of interest. Then, we utilize a mean-variance method where our total reward function features a risk-tolerance parameter to quantify the combined risk and profit.
△ Less
Submitted 15 April, 2025; v1 submitted 1 April, 2025;
originally announced April 2025.
-
On the Effect of Alpha Decay and Transaction Costs on the Multi-period Optimal Trading Strategy
Authors:
Chutian Ma,
Paul Smith
Abstract:
We consider the multi-period portfolio optimization problem with a single asset that can be held long or short. Due to the presence of transaction costs, maximizing the immediate reward at each period may prove detrimental, as frequent trading results in consistent negative cash outflows. To simulate alpha decay, we consider a case where not only the present value of a signal, but also past values…
▽ More
We consider the multi-period portfolio optimization problem with a single asset that can be held long or short. Due to the presence of transaction costs, maximizing the immediate reward at each period may prove detrimental, as frequent trading results in consistent negative cash outflows. To simulate alpha decay, we consider a case where not only the present value of a signal, but also past values, have predictive power. We formulate the problem as an infinite horizon Markov Decision Process and seek to characterize the optimal policy that realizes the maximum average expected reward. We propose a variant of the standard value iteration algorithm for computing the optimal policy. Establishing convergence in our setting is nontrivial, and we provide a rigorous proof. Addtionally, we compute a first-order approximation and asymptotics of the optimal policy with small transaction costs.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Optimal two-parameter portfolio management strategy with transaction costs
Authors:
Chutian Ma,
Paul Smith
Abstract:
We consider a simplified model for optimizing a single-asset portfolio in the presence of transaction costs given a signal with a certain autocorrelation and cross-correlation structure. In our setup, the portfolio manager is given two one-parameter controls to influence the construction of the portfolio. The first is a linear filtering parameter that may increase or decrease the level of autocorr…
▽ More
We consider a simplified model for optimizing a single-asset portfolio in the presence of transaction costs given a signal with a certain autocorrelation and cross-correlation structure. In our setup, the portfolio manager is given two one-parameter controls to influence the construction of the portfolio. The first is a linear filtering parameter that may increase or decrease the level of autocorrelation in the signal. The second is a numerical threshold that determines a symmetric "no-trade" zone. Portfolio positions are constrained to a single unit long or a single unit short. These constraints allow us to focus on the interplay between the signal filtering mechanism and the hysteresis introduced by the "no-trade" zone. We then formulate an optimization problem where we aim to minimize the frequency of trades subject to a fixed return level of the portfolio. We show that maintaining a no-trade zone while removing autocorrelation entirely from the signal yields a locally optimal solution. For any given "no-trade" zone threshold, this locally optimal solution also achieves the maximum attainable return level, and we derive a quantitative lower bound for the amount of improvement in terms of the given threshold and the amount of autocorrelation removed.
△ Less
Submitted 17 December, 2024; v1 submitted 12 November, 2024;
originally announced November 2024.
-
Coarsening and parallelism with reduction multigrids for hyperbolic Boltzmann transport
Authors:
S. Dargaville,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
Reduction multigrids have recently shown good performance in hyperbolic problems without the need for Gauss-Seidel smoothers. When applied to the hyperbolic limit of the Boltzmann Transport Equation (BTE), these methods result in very close to $\mathcal{O}(n)$ growth in work with problem size on unstructured grids. This scalability relies on the CF splitting producing an $A_\textrm{ff}$ block that…
▽ More
Reduction multigrids have recently shown good performance in hyperbolic problems without the need for Gauss-Seidel smoothers. When applied to the hyperbolic limit of the Boltzmann Transport Equation (BTE), these methods result in very close to $\mathcal{O}(n)$ growth in work with problem size on unstructured grids. This scalability relies on the CF splitting producing an $A_\textrm{ff}$ block that is easy to invert. We introduce a parallel two-pass CF splitting designed to give diagonally dominant $A_\textrm{ff}$. The first pass computes a maximal independent set in the symmetrized strong connections. The second pass converts F-points to C-points based on the row-wise diagonal dominance of $A_\textrm{ff}$. We find this two-pass CF splitting outperforms common CF splittings available in hypre.
Furthermore, parallelisation of reduction multigrids in hyperbolic problems is difficult as we require both long-range grid-transfer operators and slow coarsenings (with rates of $\sim$1/2 in both 2D and 3D). We find that good parallel performance in the setup and solve is dependent on several factors: repartitioning the coarse grids, reducing the number of active MPI ranks as we coarsen, truncating the multigrid hierarchy and applying a GMRES polynomial as a coarse-grid solver.
We compare the performance of two different reduction multigrids, AIRG (that we developed previously) and the hypre implementation of $\ell$AIR. In the streaming limit with AIRG, we demonstrate 81\% weak scaling efficiency in the solve from 2 to 64 nodes (256 to 8196 cores) with only 8.8k unknowns per core, with solve times up to 5.9$\times$ smaller than the $\ell$AIR implementation in hypre.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Gap between the number of facets of the two poset polytopes
Authors:
Binaya Bhandari,
Debra Cunningham,
Grace Morrell,
SuHo Oh,
Paxton Smith
Abstract:
We study the difference between the number of facets of the order polytope and the chain polytope of a poset. Hibi and Li classified posets where the gap is exactly zero. We describe the bounds on this gap using the new notion of crossing numbers, and then use this result to classify the posets where the gap is exactly one.
We study the difference between the number of facets of the order polytope and the chain polytope of a poset. Hibi and Li classified posets where the gap is exactly zero. We describe the bounds on this gap using the new notion of crossing numbers, and then use this result to classify the posets where the gap is exactly one.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
New 2-closed groups that are not automorphism groups of digraphs
Authors:
John Bamberg,
Michael Giudici,
Jacob Paul Smith
Abstract:
In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.
In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.
△ Less
Submitted 12 June, 2025; v1 submitted 3 December, 2023;
originally announced December 2023.
-
The symplectic leaves for the elliptic Poisson bracket on projective space defined by Feigin-Odesskii and Polishchuk
Authors:
Alexandru Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
This paper determines the symplectic leaves for a remarkable Poisson structure on $\mathbb{C}\mathbb{P}^{n-1}$ discovered by Feigin and Odesskii, and, independently, by Polishchuk. The Poisson bracket is determined by a holomorphic line bundle of degree $n \ge 3$ on a compact Riemann surface of genus one or, equivalently, by an elliptic normal curve $E\subseteq\mathbb{C}\mathbb{P}^{n-1}$. The symp…
▽ More
This paper determines the symplectic leaves for a remarkable Poisson structure on $\mathbb{C}\mathbb{P}^{n-1}$ discovered by Feigin and Odesskii, and, independently, by Polishchuk. The Poisson bracket is determined by a holomorphic line bundle of degree $n \ge 3$ on a compact Riemann surface of genus one or, equivalently, by an elliptic normal curve $E\subseteq\mathbb{C}\mathbb{P}^{n-1}$. The symplectic leaves are described in terms of higher secant varieties to $E$.
△ Less
Submitted 11 December, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
JAXFit: Trust Region Method for Nonlinear Least-Squares Curve Fitting on the GPU
Authors:
Lucas R. Hofer,
Milan Krstajić,
Robert P. Smith
Abstract:
We implement a trust region method on the GPU for nonlinear least squares curve fitting problems using a new deep learning Python library called JAX. Our open source package, JAXFit, works for both unconstrained and constrained curve fitting problems and allows the fit functions to be defined in Python alone -- without any specialized knowledge of either the GPU or CUDA programming. Since JAXFit r…
▽ More
We implement a trust region method on the GPU for nonlinear least squares curve fitting problems using a new deep learning Python library called JAX. Our open source package, JAXFit, works for both unconstrained and constrained curve fitting problems and allows the fit functions to be defined in Python alone -- without any specialized knowledge of either the GPU or CUDA programming. Since JAXFit runs on the GPU, it is much faster than CPU based libraries and even other GPU based libraries, despite being very easy to use. Additionally, due to JAX's deep learning foundations, the Jacobian in JAXFit's trust region algorithm is calculated with automatic differentiation, rather than than using derivative approximations or requiring the user to define the fit function's partial derivatives.
△ Less
Submitted 25 August, 2022;
originally announced August 2022.
-
On the homotopy type of multipath complexes
Authors:
Luigi Caputi,
Carlo Collari,
Sabino Di Trani,
Jason P. Smith
Abstract:
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the hom…
▽ More
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
The critical length for growing a droplet
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application i…
▽ More
In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application is an upper bound on the critical probability for percolation that is sharp up to a constant factor in the exponent. Our method also provides several crucial tools that we expect to have applications to other interacting particle systems, such as kinetically constrained spin models on $\mathbb{Z}^d$.
This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
△ Less
Submitted 18 August, 2023; v1 submitted 25 March, 2022;
originally announced March 2022.
-
Universality for monotone cellular automata
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that t…
▽ More
In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.
△ Less
Submitted 7 November, 2022; v1 submitted 25 March, 2022;
originally announced March 2022.
-
Subcritical monotone cellular automata
Authors:
Paul Balister,
Béla Bollobás,
Robert Morris,
Paul Smith
Abstract:
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
△ Less
Submitted 19 April, 2022; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Modular properties of elliptic algebras
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
Fix a pair of relatively prime integers $n>k\ge 1$, and a point $(η\,|\,τ)\in\mathbb{C}\times\mathbb{H}$, where $\mathbb{H}$ denotes the upper-half complex plane, and let ${{a\;\,b}\choose{c\,\;d}}\in\mathrm{SL}(2,\mathbb{Z})$. We show that Feigin and Odesskii's elliptic algebras $Q_{n,k}(η\,|\,τ)$ have the property…
▽ More
Fix a pair of relatively prime integers $n>k\ge 1$, and a point $(η\,|\,τ)\in\mathbb{C}\times\mathbb{H}$, where $\mathbb{H}$ denotes the upper-half complex plane, and let ${{a\;\,b}\choose{c\,\;d}}\in\mathrm{SL}(2,\mathbb{Z})$. We show that Feigin and Odesskii's elliptic algebras $Q_{n,k}(η\,|\,τ)$ have the property $Q_{n,k}\big(\fracη{cτ+d}\,\big\vert\,\frac{aτ+b}{cτ+d}\big)\cong Q_{n,k}(η\,|\,τ)$. As a consequence, given a pair $(E,ξ)$ consisting of a complex elliptic curve $E$ and a point $ξ\in E$, one may unambiguously define $Q_{n,k}(E,ξ):=Q_{n,k}(η\,|\,τ)$ where $τ\in\mathbb{H}$ is any point such that $\mathbb{C}/\mathbb{Z}+\mathbb{Z}τ\cong E$ and $η\in\mathbb{C}$ is any point whose image in $E$ is $ξ$. This justifies Feigin and Odesskii's notation $Q_{n,k}(E,ξ)$ for their algebras.
△ Less
Submitted 25 October, 2021; v1 submitted 20 August, 2021;
originally announced August 2021.
-
The Density Fingerprint of a Periodic Point Set
Authors:
Herbert Edelsbrunner,
Teresa Heiss,
Vitaliy Kurlin,
Philip Smith,
Mathijs Wintraecken
Abstract:
Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functions that facilitates the efficient search for new materials and material properties. We prove invariance under isometries, continuity, and completeness in the generic case, which are necessary features for the reliable comparison of crystals. The proof of continuity integrates methods from discrete geo…
▽ More
Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functions that facilitates the efficient search for new materials and material properties. We prove invariance under isometries, continuity, and completeness in the generic case, which are necessary features for the reliable comparison of crystals. The proof of continuity integrates methods from discrete geometry and lattice theory, while the proof of generic completeness combines techniques from geometry with analysis. The fingerprint has a fast algorithm based on Brillouin zones and related inclusion-exclusion formulae. We have implemented the algorithm and describe its application to crystal structure prediction.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
An application of neighbourhoods in digraphs to the classification of binary dynamics
Authors:
Pedro Conceição,
Dejan Govc,
Jānis Lazovskis,
Ran Levi,
Henri Riihimäki,
Jason P. Smith
Abstract:
A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on the encoding graph. Allowing time to vary and recording the spiking patterns of the neurons in the network produces an example of binary dynamics on the encodi…
▽ More
A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on the encoding graph. Allowing time to vary and recording the spiking patterns of the neurons in the network produces an example of binary dynamics on the encoding graph, namely a one-parameter family of binary states on it. The central object of study in this article is the closed neighbourhood of a vertex $v$ in a graph $\mathcal{G}$, namely the subgraph of $\mathcal{G}$ that is induced by $v$ and all its neighbours in $\mathcal{G}$. We present a topological/graph theoretic method for extracting information out of binary dynamics on a graph, based on a selection of a relatively small number of vertices and their neighbourhoods. As a test case we demonstrate an application of the method to binary dynamics that arises from sample activity on the Blue Brain Project reconstruction of cortical tissue of a rat.
△ Less
Submitted 2 November, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Asymptotic Behaviour of the Containment of Certain Mesh Patterns
Authors:
Dejan Govc,
Jason P. Smith
Abstract:
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequ…
▽ More
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequence of these results is to show that the proportion of permutations containing a mesh pattern can take a wide range of values between $0$ and $1$.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
An autoencoder-based reduced-order model for eigenvalue problems with application to neutron diffusion
Authors:
Toby Phillips,
Claire E. Heaney,
Paul N. Smith,
Christopher C. Pain
Abstract:
Using an autoencoder for dimensionality reduction, this paper presents a novel projection-based reduced-order model for eigenvalue problems. Reduced-order modelling relies on finding suitable basis functions which define a low-dimensional space in which a high-dimensional system is approximated. Proper orthogonal decomposition (POD) and singular value decomposition (SVD) are often used for this pu…
▽ More
Using an autoencoder for dimensionality reduction, this paper presents a novel projection-based reduced-order model for eigenvalue problems. Reduced-order modelling relies on finding suitable basis functions which define a low-dimensional space in which a high-dimensional system is approximated. Proper orthogonal decomposition (POD) and singular value decomposition (SVD) are often used for this purpose and yield an optimal linear subspace. Autoencoders provide a nonlinear alternative to POD/SVD, that may capture, more efficiently, features or patterns in the high-fidelity model results.
Reduced-order models based on an autoencoder and a novel hybrid SVD-autoencoder are developed. These methods are compared with the standard POD-Galerkin approach and are applied to two test cases taken from the field of nuclear reactor physics.
△ Less
Submitted 15 August, 2020;
originally announced August 2020.
-
Elliptic R-matrices and Feigin and Odesskii's elliptic algebras
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
The algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as generalizations of the 4-dimensional Sklyanin algebras form a family of quadratic algebras parametrized by coprime integers $n>k\ge 1$, a complex elliptic curve $E$, and a point $τ\in E$. The main result in this paper is that $Q_{n,k}(E,τ)$ has the same Hilbert series as the polynomial ring on $n$ variables when $τ$ is not a torsion…
▽ More
The algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as generalizations of the 4-dimensional Sklyanin algebras form a family of quadratic algebras parametrized by coprime integers $n>k\ge 1$, a complex elliptic curve $E$, and a point $τ\in E$. The main result in this paper is that $Q_{n,k}(E,τ)$ has the same Hilbert series as the polynomial ring on $n$ variables when $τ$ is not a torsion point. We also show that $Q_{n,k}(E,τ)$ is a Koszul algebra, hence of global dimension $n$ when $τ$ is not a torsion point, and, for all but countably many $τ$, it is Artin-Schelter regular. The proofs use the fact that the space of quadratic relations defining $Q_{n,k}(E,τ)$ is the image of an operator $R_τ(τ)$ that belongs to a family of operators $R_τ(z):\mathbb{C}^n\otimes\mathbb{C}^n\to\mathbb{C}^n\otimes\mathbb{C}^n$, $z\in\mathbb{C}$, that (we will show) satisfy the quantum Yang-Baxter equation with spectral parameter.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
A comparison of element agglomeration algorithms for unstructured geometric multigrid
Authors:
S. Dargaville,
A. G. Buchan,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
This paper compares the performance of seven different element agglomeration algorithms on unstructured triangular/tetrahedral meshes when used as part of a geometric multigrid. Five of these algorithms come from the literature on AMGe multigrid and mesh partitioning methods. The resulting multigrid schemes are tested matrix-free on two problems in 2D and 3D taken from radiation transport applicat…
▽ More
This paper compares the performance of seven different element agglomeration algorithms on unstructured triangular/tetrahedral meshes when used as part of a geometric multigrid. Five of these algorithms come from the literature on AMGe multigrid and mesh partitioning methods. The resulting multigrid schemes are tested matrix-free on two problems in 2D and 3D taken from radiation transport applications; one of which is in the diffusion limit. In two dimensions all coarsening algorithms result in multigrid methods which perform similarly, but in three dimensions aggressive element agglomeration performed by METIS produces the shortest runtimes and multigrid setup times.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Complexes of Tournaments, Directionality Filtrations and Persistent Homology
Authors:
Dejan Govc,
Ran Levi,
Jason P. Smith
Abstract:
Complete digraphs are referred to in the combinatorics literature as tournaments. We consider a family of semi-simplicial complexes, that we refer to as "tournaplexes", whose simplices are tournaments. In particular, given a digraph $\mathcal{G}$, we associate with it a "flag tournaplex" which is a tournaplex containing the directed flag complex of $\mathcal{G}$, but also the geometric realisation…
▽ More
Complete digraphs are referred to in the combinatorics literature as tournaments. We consider a family of semi-simplicial complexes, that we refer to as "tournaplexes", whose simplices are tournaments. In particular, given a digraph $\mathcal{G}$, we associate with it a "flag tournaplex" which is a tournaplex containing the directed flag complex of $\mathcal{G}$, but also the geometric realisation of cliques that are not directed. We define several types of filtrations on tournaplexes, and exploiting persistent homology, we observe that flag tournaplexes provide finer means of distinguishing graph dynamics than the directed flag complex. We then demonstrate the power of these ideas by applying them to graph data arising from the Blue Brain Project's digital reconstruction of a rat's neocortex.
△ Less
Submitted 5 January, 2021; v1 submitted 29 February, 2020;
originally announced March 2020.
-
Goal-based angular adaptivity for Boltzmann transport in the presence of ray-effects
Authors:
S. Dargaville,
R. P. Smedley-Stevenson,
P. N. Smith,
C. C. Pain
Abstract:
Boltzmann transport problems often involve heavy streaming, where particles propagate long distance due to the dominance of advection over particle interaction. If an insufficiently refined non-rotationally invariant angular discretisation is used, there are areas of the problem where no particles will propogate. These "ray-effects" are problematic for goal-based error metrics with angular adaptiv…
▽ More
Boltzmann transport problems often involve heavy streaming, where particles propagate long distance due to the dominance of advection over particle interaction. If an insufficiently refined non-rotationally invariant angular discretisation is used, there are areas of the problem where no particles will propogate. These "ray-effects" are problematic for goal-based error metrics with angular adaptivty, as the metrics in the pre-asymptotic region will be zero/incorrect and angular adaptivity will not occur. In this work we use low-order filtered spherical harmonics, which is rotationally invariant and hence not subject to ray-effects, to "bootstrap" our error metric and enable highly refined anisotropic angular adaptivity with a Haar wavelet angular discretisation. We test this on three simple problems with pure streaming where we know a priori where refinement should occur. We show our method is robust and produces adapted angular discretisations that match the results produced by fixed refinement with either reduced runtime or a constant additional cost with angular refinement.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Maps from Feigin and Odesskii's elliptic algebras to twisted homogeneous coordinate rings
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for…
▽ More
The elliptic algebras in the title are connected graded $\mathbb{C}$-algebras, denoted $Q_{n,k}(E,τ)$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,τ)$ to the twisted homogeneous coordinate ring $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,τ)$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$ we show the homomorphism $Q_{n,k}(E,τ) \to B(X_{n/k},σ',\mathcal{L}'_{n/k})$ is surjective, that the relations for $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ are generated in degrees $\le 3$, and the non-commutative scheme $\mathrm{Proj}_{nc}(Q_{n,k}(E,τ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$, respectively. When $X_{n/k}=E^g$ and $τ=0$, the results about $B(X_{n/k},σ',\mathcal{L}'_{n/k})$ show that the morphism $Φ_{|\mathcal{L}_{n/k}|}:E^g \to \mathbb{P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.
△ Less
Submitted 5 March, 2021; v1 submitted 18 August, 2019;
originally announced August 2019.
-
Finite quotients of powers of an elliptic curve
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simp…
▽ More
Let $E$ be an elliptic curve. When the symmetric group $Σ_{g+1}$ of order $(g+1)!$ acts on $E^{g+1}$ in the natural way, the subgroup $E_0^{g+1}$, consisting of those $(g+1)$-tuples whose coordinates sum to zero, is stable under the action of $Σ_{g+1}$. It is isomorphic to $E^g$. This paper concerns the structure of the quotient variety $E^g/Σ$ when $Σ$ is a subgroup of $Σ_{g+1}$ generated by simple transpositions. In an earlier paper we observed that $E^g/Σ$ is a bundle over a suitable power, $E^N$, with fibers that are products of projective spaces. This paper shows that $E^g/Σ$ has an étale cover by a product of copies of $E$ and projective spaces with an abelian Galois group.
△ Less
Submitted 22 June, 2020; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Statistical Meaning of Mean Functions
Authors:
Abram M. Kagan,
Paul J. Smith
Abstract:
The basic properties of the Fisher information allow to reveal the statistical meaning of classical inequalities between mean functions. The properties applied to scale mixtures of Gaussian distributions lead to a new mean function of purely statistical origin, unrelated to the classical arithmetic, geometric, and harmonic means. We call it the informational mean and show that when the arguments o…
▽ More
The basic properties of the Fisher information allow to reveal the statistical meaning of classical inequalities between mean functions. The properties applied to scale mixtures of Gaussian distributions lead to a new mean function of purely statistical origin, unrelated to the classical arithmetic, geometric, and harmonic means. We call it the informational mean and show that when the arguments of the mean functions are Hermitian positive definite matrices, not necessarily commuting, the informational mean lies between the arithmetic and harmonic means, playing, in a sense, the role of the geometric mean that cannot be correctly defined in case of non-commuting matrices.\\ Surprisingly the monotonicity and additivity properties of the Fisher information lead to a new generalization of the classical inequality between the arithmetic and harmonic means.
△ Less
Submitted 6 April, 2019;
originally announced April 2019.
-
The characteristic variety for Feigin and Odesskii's elliptic algebras
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii. The $Q_{n,k}(E,τ)$'s are a family of quadratic algebras depending on a pair of coprime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. It is already known that the structure and representation theory o…
▽ More
This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii. The $Q_{n,k}(E,τ)$'s are a family of quadratic algebras depending on a pair of coprime integers $n>k\ge 1$, an elliptic curve $E$, and a point $τ\in E$. It is already known that the structure and representation theory of $Q_{n,1}(E,τ)$ is controlled by the geometry associated to $E$ embedded as a degree $n$ normal curve in the projective space $\mathbb P^{n-1}$, and by the way in which the translation automorphism $z\mapsto z+τ$ interacts with that geometry. For $k\ge 2$ a similar phenomenon occurs: $(E,τ)$ is replaced by $(X_{n/k},σ)$ where $X_{n/k}\subseteq\mathbb P^{n-1}$ is the characteristic variety of the title and $σ$ is an automorphism of it that is determined by the negative continued fraction for $\frac{n}{k}$. There is a surjective morphism $Φ:E^g \to X_{n/k}$ where $g$ is the length of that continued fraction. The main result in this paper is that $X_{n/k}$ is a quotient of $E^g$ by the action of an explicit finite group. We also prove some assertions made by Feigin and Odesskii. The morphism $Φ$ is the natural one associated to a particular invertible sheaf $\mathcal L_{n/k}$ on $E^g$. The generalized Fourier-Mukai transform associated to $\mathcal L_{n/k}$ sends the set of isomorphism classes of degree-zero invertible $\mathcal O_E$-modules to the set of isomorphism classes of indecomposable locally free $\mathcal O_E$-modules of rank $k$ and degree $n$. Thus $X_{n/k}$ has an importance independent of the role it plays in relation to $Q_{n,k}(E,τ)$. The backward $σ$-orbit of each point on $X_{n/k}$ determines a point module for $Q_{n,k}(E,τ)$.
△ Less
Submitted 23 June, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Feigin and Odesskii's elliptic algebras
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
We study the elliptic algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as a generalization of Sklyanin algebras. They form a family of quadratic algebras parametrized by coprime integers $n>k\geq 1$, an elliptic curve $E$, and a point $τ\in E$. We consider and compare several different definitions of the algebras and provide proofs of various statements about them made by Feigin and Odess…
▽ More
We study the elliptic algebras $Q_{n,k}(E,τ)$ introduced by Feigin and Odesskii as a generalization of Sklyanin algebras. They form a family of quadratic algebras parametrized by coprime integers $n>k\geq 1$, an elliptic curve $E$, and a point $τ\in E$. We consider and compare several different definitions of the algebras and provide proofs of various statements about them made by Feigin and Odesskii. For example, we show that $Q_{n,k}(E,0)$, and $Q_{n,n-1}(E,τ)$ are polynomial rings on $n$ variables. We also show that $Q_{n,k}(E,τ+ζ)$ is a twist of $Q_{n,k}(E,τ)$ when $ζ$ is an $n$-torsion point. This paper is the first of several we are writing about the algebras $Q_{n,k}(E,τ)$.
△ Less
Submitted 22 June, 2020; v1 submitted 22 December, 2018;
originally announced December 2018.
-
Removability of a codimension four singular set for solutions of a yang mills higgs equation with small energy
Authors:
Penny Smith,
Karen Uhlenbeck
Abstract:
We develop a new method for proving regularity for small energy stationary solutions of coupled gauge field equations. Our results duplicate those of Tian--Tao [7] for the pure Yang Mills equations, but our proof is simpler, and obtains bounded curvature without the use of Coulomb gauges. It relies instead on the Weitzenblock formulae, and an improved Kato inequality.
We develop a new method for proving regularity for small energy stationary solutions of coupled gauge field equations. Our results duplicate those of Tian--Tao [7] for the pure Yang Mills equations, but our proof is simpler, and obtains bounded curvature without the use of Coulomb gauges. It relies instead on the Weitzenblock formulae, and an improved Kato inequality.
△ Less
Submitted 26 January, 2020; v1 submitted 7 November, 2018;
originally announced November 2018.
-
Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In…
▽ More
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
The Abelian sandpile model on Ferrers graphs -- A classification of recurrent configurations
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the de…
▽ More
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the decorated permutations and all recurrent configurations of the ASM. We also describe a bijection between the decorated permutations and the intransitive trees of Postnikov, the breadth-first search of which corresponds to a canonical toppling of the corresponding configurations.
△ Less
Submitted 26 June, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Removable point singularities for the Yang Mills Dirac equations in two dimensions
Authors:
Penny Smith
Abstract:
We prove a removable singularities theorem for point singularities of the coupled yang mills fermion equations, on a bundle over a two dimensional base space.
We prove a removable singularities theorem for point singularities of the coupled yang mills fermion equations, on a bundle over a two dimensional base space.
△ Less
Submitted 10 June, 2018;
originally announced June 2018.
-
The poset of graphs ordered by induced containment
Authors:
Jason P. Smith
Abstract:
We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and a…
▽ More
We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and another case where it equals the Fibonacci numbers, therefore showing that the Möbius function is unbounded. A classification of the disconnected intervals of $\mathcal{G}$ is presented, which gives a large class of non-shellable intervals. We also present several conjectures on the structure of $\mathcal{G}$.
△ Less
Submitted 15 June, 2018; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Modular Decomposition of Graphs and the Distance Preserving Property
Authors:
Emad Zahedi,
Jason P. Smith
Abstract:
Given a graph $G$, a subgraph $H$ is isometric if $d_H(u,v) = d_G(u,v)$ for every pair $u,v\in V(H)$, where $d$ is the distance function. A graph $G$ is distance preserving (dp) if it has an isometric subgraph of every possible order. A graph is sequentially distance preserving (sdp) if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all…
▽ More
Given a graph $G$, a subgraph $H$ is isometric if $d_H(u,v) = d_G(u,v)$ for every pair $u,v\in V(H)$, where $d$ is the distance function. A graph $G$ is distance preserving (dp) if it has an isometric subgraph of every possible order. A graph is sequentially distance preserving (sdp) if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We introduce a generalisation of the lexicographic product of graphs, which can be used to non-trivially describe graphs. This generalisation is the inverse of the modular decomposition of graphs, which divides the graph into disjoint clusters called modules. Using these operations, we give a necessary and sufficient condition for graphs to be dp. Finally, we show that the Cartesian product of a dp graph and an sdp graph is dp.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
The Poset of Mesh Patterns
Authors:
Jason P. Smith,
Henning Ulfarsson
Abstract:
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and…
▽ More
We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
Simple modules over the 4-dimensional Sklyanin Algebras at points of finite order
Authors:
S. Paul Smith
Abstract:
In 1982 E.K. Sklyanin defined a family of graded algebras $A(E,τ)$, depending on an elliptic curve $E$ and a point $τ\in E$ that is not 4-torsion. The present paper is concerned with the structure of $A$ when $τ$ is a point of finite order, $n$ say. It is proved that every simple $A$-module has dimension $\le n$ and that "almost all" have dimension precisely $n$. There are enough finite dimensiona…
▽ More
In 1982 E.K. Sklyanin defined a family of graded algebras $A(E,τ)$, depending on an elliptic curve $E$ and a point $τ\in E$ that is not 4-torsion. The present paper is concerned with the structure of $A$ when $τ$ is a point of finite order, $n$ say. It is proved that every simple $A$-module has dimension $\le n$ and that "almost all" have dimension precisely $n$. There are enough finite dimensional simple modules to separate elements of $A$; that is, if $0\ne a \in A$, then there exists a simple module $S$ such that $a.S \ne 0.$ Consequently $A$ satisfies a polynomial identity of degree $2n$ (and none of lower degree). Combined with results of Levasseur and Stafford it follows that $A$ is a finite module over its center. Therefore one may associate to $A$ a coherent sheaf, ${\mathcal A}$ say, of finite ${\mathcal O}_S$ algebras where $S$ is the projective 3-fold determined by the center of $A$. We determine where ${\mathcal A}$ is Azumaya, and prove that the division algebra ${\rm Fract}({\mathcal A})$ has rational center. Thus, for each $E$ and each $τ\in E$ of order $n \ne 0,2,4$ one obtains a division algebra of degree $s$ over the rational function field of ${\mathbb P}^3$, where $s=n$ if $n$ is odd, and $s={{1} \over {2}} n$ if $n$ is even.
The main technical tool in the paper is the notion of a "fat point" introduced by M. Artin. A key preliminary result is the classification of the fat points: these are parametrized by a rational 3-fold.
△ Less
Submitted 16 February, 2018;
originally announced February 2018.
-
Parameter and Uncertainty Estimation for Dynamical Systems Using Surrogate Stochastic Processes
Authors:
M. Chung,
M. Binois,
R. B. Gramacy,
D. J. Moquin,
A. P. Smith,
A. M. Smith
Abstract:
Inference on unknown quantities in dynamical systems via observational data is essential for providing meaningful insight, furnishing accurate predictions, enabling robust control, and establishing appropriate designs for future experiments. Merging mathematical theory with empirical measurements in a statistically coherent way is critical and challenges abound, e.g.,: ill-posedness of the paramet…
▽ More
Inference on unknown quantities in dynamical systems via observational data is essential for providing meaningful insight, furnishing accurate predictions, enabling robust control, and establishing appropriate designs for future experiments. Merging mathematical theory with empirical measurements in a statistically coherent way is critical and challenges abound, e.g.,: ill-posedness of the parameter estimation problem, proper regularization and incorporation of prior knowledge, and computational limitations on full uncertainty qualification. To address these issues, we propose a new method for learning parameterized dynamical systems from data. In many ways, our proposal turns the canonical framework on its head. We first fit a surrogate stochastic process to observational data, enforcing prior knowledge (e.g., smoothness), and coping with challenging data features like heteroskedasticity, heavy tails and censoring. Then, samples of the stochastic process are used as "surrogate data" and point estimates are computed via ordinary point estimation methods in a modular fashion. An attractive feature of this approach is that it is fully Bayesian and simultaneously parallelizable. We demonstrate the advantages of our new approach on a predator prey simulation study and on a real world application involving within-host influenza virus infection data paired with a viral kinetic model.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
A note on simple modules over quasi-local rings
Authors:
Paula A. A. B. Carvalho,
Christian Lomp,
Patrick F. Smith
Abstract:
Matlis showed that the injective hull of a simple module over a commutative Noetherian ring is Artinian. Many non-commutative Noetherian rings whose injective hulls of simple modules are locally Artinian have been extensively studied recently. This property had been denoted by property $(\diamond)$. In this paper we investigate, which non-Noetherian semiprimary commutative quasi-local rings…
▽ More
Matlis showed that the injective hull of a simple module over a commutative Noetherian ring is Artinian. Many non-commutative Noetherian rings whose injective hulls of simple modules are locally Artinian have been extensively studied recently. This property had been denoted by property $(\diamond)$. In this paper we investigate, which non-Noetherian semiprimary commutative quasi-local rings $(R, m)$ satisfy property $(\diamond)$. For quasi-local rings $(R,m)$ with $m^3=0$, we prove a characterisation of this property in terms of the dual space of $Soc(R)$. Furthermore, we show that $(R,m)$ satisfies $(\diamond)$ if and only if its associated graded ring $gr(R)$ does.
Given a field $F$ and vector spaces $V$ and $W$ and a symmetric bilinear map $β:V\times V\rightarrow W$ we consider commutative quasi-local rings of the form $F\times V \times W$, whose product is given by $(λ_1, v_1,w_1)(λ_2,v_2,w_2) = (λ_1λ_2, λ_1v_2+λ_2v_1, λ_1w_2+λ_2w_1+β(v_1,v_2))$ in order to build new examples and to illustrate our theory. In particular we prove that any quasi-local commutative ring with radical cube-zero does not satisfy $(\diamond)$ if and only if it has a factor, whose associated graded ring is of the form $F\times V \times F$ with $V$ infinite dimensional and $β$ non-degenerated.
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model
Authors:
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection…
▽ More
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau.
We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph.
Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.
△ Less
Submitted 11 May, 2018; v1 submitted 5 November, 2017;
originally announced November 2017.
-
Linear Differential Constraints for Photo-polarimetric Height Estimation
Authors:
Silvia Tozza,
William A. P. Smith,
Dizhong Zhu,
Ravi Ramamoorthi,
Edwin R. Hancock
Abstract:
In this paper we present a differential approach to photo-polarimetric shape estimation. We propose several alternative differential constraints based on polarisation and photometric shading information and show how to express them in a unified partial differential system. Our method uses the image ratios technique to combine shading and polarisation information in order to directly reconstruct su…
▽ More
In this paper we present a differential approach to photo-polarimetric shape estimation. We propose several alternative differential constraints based on polarisation and photometric shading information and show how to express them in a unified partial differential system. Our method uses the image ratios technique to combine shading and polarisation information in order to directly reconstruct surface height, without first computing surface normal vectors. Moreover, we are able to remove the non-linearities so that the problem reduces to solving a linear differential problem. We also introduce a new method for estimating a polarisation image from multichannel data and, finally, we show it is possible to estimate the illumination directions in a two source setup, extending the method into an uncalibrated scenario. From a numerical point of view, we use a least-squares formulation of the discrete version of the problem. To the best of our knowledge, this is the first work to consider a unified differential approach to solve photo-polarimetric shape estimation directly for height. Numerical results on synthetic and real-world data confirm the effectiveness of our proposed method.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
New Artin-Schelter regular and Calabi-Yau algebras via normal extensions
Authors:
Alex Chirvasitu,
Ryo Kanda,
S. Paul Smith
Abstract:
We introduce a new method to construct 4-dimensional Artin-Schelter regular algebras as normal extensions of (not necessarily noetherian) 3-dimensional ones. The method produces large classes of new 4-dimensional Artin-Schelter regular algebras. When applied to a 3-Calabi-Yau algebra our method produces a flat family of central extensions of it that are 4-Calabi-Yau, and all 4-Calabi-Yau central e…
▽ More
We introduce a new method to construct 4-dimensional Artin-Schelter regular algebras as normal extensions of (not necessarily noetherian) 3-dimensional ones. The method produces large classes of new 4-dimensional Artin-Schelter regular algebras. When applied to a 3-Calabi-Yau algebra our method produces a flat family of central extensions of it that are 4-Calabi-Yau, and all 4-Calabi-Yau central extensions having the same generating set as the original 3-Calabi-Yau algebra arise in this way. Each normal extension has the same generators as the original 3-dimensional algebra, and its relations consist of all but one of the relations for the original algebra and an equal number of new relations determined by "the missing one" and a tuple of scalars satisfying some numerical conditions. We determine the Nakayama automorphisms of the 4-dimensional algebras obtained by our method and as a consequence show that their homological determinant is 1. This supports the conjecture by Mori-Smith that the homological determinant of the Nakayama automorphism is 1 for all Artin-Schelter regular connected graded algebras. Reyes-Rogalski-Zhang proved this is true in the noetherian case.
△ Less
Submitted 22 June, 2020; v1 submitted 18 June, 2017;
originally announced June 2017.
-
Binary frames with prescribed dot products and frame operator
Authors:
Veronika Furst,
Eric P. Smith
Abstract:
This paper extends three results from classical finite frame theory over real or complex numbers to binary frames for the vector space ${\mathbb Z}_2^d$. Without the notion of inner products or order, we provide an analog of the "fundamental inequality" of tight frames. In addition, we prove the binary analog of the characterization of dual frames with given inner products and of general frames wi…
▽ More
This paper extends three results from classical finite frame theory over real or complex numbers to binary frames for the vector space ${\mathbb Z}_2^d$. Without the notion of inner products or order, we provide an analog of the "fundamental inequality" of tight frames. In addition, we prove the binary analog of the characterization of dual frames with given inner products and of general frames with prescribed norms and frame operator.
△ Less
Submitted 25 June, 2018; v1 submitted 27 May, 2017;
originally announced May 2017.
-
On the Möbius Function and Topology of General Pattern Posets
Authors:
Jason P. Smith
Abstract:
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius fun…
▽ More
We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Björner's results on subword order.
△ Less
Submitted 7 June, 2018; v1 submitted 24 May, 2017;
originally announced May 2017.
-
Some algebras having relations like those for the 4-dimensional Sklyanin algebras
Authors:
A. Chirvasitu,
S. Paul Smith
Abstract:
The 4-dimensional Sklyanin algebras are a well-studied 2-parameter family of non-commutative graded algebras, often denoted A(E,tau), that depend on a quartic elliptic curve E in P^3 and a translation automorphism tau of E. They are graded algebras generated by four degree-one elements subject to six quadratic relations and in many important ways they behave like the polynomial ring on four indete…
▽ More
The 4-dimensional Sklyanin algebras are a well-studied 2-parameter family of non-commutative graded algebras, often denoted A(E,tau), that depend on a quartic elliptic curve E in P^3 and a translation automorphism tau of E. They are graded algebras generated by four degree-one elements subject to six quadratic relations and in many important ways they behave like the polynomial ring on four indeterminates apart from the minor difference that they are not commutative. They are elliptic analogues of the enveloping algebra of sl(2,C) and the quantized enveloping algebras U_q(gl_2).
Recently, Cho, Hong, and Lau, conjectured that a certain 2-parameter family of algebras arising in their work on homological mirror symmetry consists of 4-dimensional Sklyanin algebras. This paper shows their conjecture is false in the generality they make it. On the positive side, we show their algebras exhibit features that are similar to, and differ from, analogous features of the 4-dimensional Sklyanin algebras in interesting ways. We show that most of the Cho-Hong-Lau algebras determine, and are determined by the graph of a bijection between two 20-point subsets of the projective space P^3.
The paper also examines a 3-parameter family of 4-generator 6-relator algebras admitting presentations analogous to those of the 4-dimensional Sklyanin algebras. This class includes the 4-dimensional Sklyanin algebras and most of the Cho-Hong-Lau algebras.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
On Distance Preserving and Sequentially Distance Preserving Graphs
Authors:
Jason P. Smith,
Emad Zahedi
Abstract:
A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance preserving} if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We give an equivalent co…
▽ More
A graph $H$ is an \emph{isometric} subgraph of $G$ if $d_H(u,v)= d_G(u,v)$, for every pair~$u,v\in V(H)$. A graph is \emph{distance preserving} if it has an isometric subgraph of every possible order. A graph is \emph{sequentially distance preserving} if its vertices can be ordered such that deleting the first $i$ vertices results in an isometric subgraph, for all $i\ge1$. We give an equivalent condition to sequentially distance preserving based upon simplicial orderings. Using this condition, we prove that if a graph does not contain any induced cycles of length~$5$ or greater, then it is sequentially distance preserving and thus distance preserving. Next we consider the distance preserving property on graphs with a cut vertex. Finally, we define a family of non-distance preserving graphs constructed from cycles.
△ Less
Submitted 13 February, 2025; v1 submitted 17 January, 2017;
originally announced January 2017.
-
Non-commutative Geometry of Homogenized Quantum $\mathfrak{sl}(2,\mathbb{C})$
Authors:
Alex Chirvasitu,
S. Paul Smith,
Liang Ze Wong
Abstract:
This paper examines the relationship between certain non-commutative analogues of projective 3-space, $\mathbb{P}^3$, and the quantized enveloping algebras $U_q(\mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras $S$, one for each $q \in \mathbb{C}^\times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 \cong U_q(\mathfrak{sl}_2)$. The non-com…
▽ More
This paper examines the relationship between certain non-commutative analogues of projective 3-space, $\mathbb{P}^3$, and the quantized enveloping algebras $U_q(\mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras $S$, one for each $q \in \mathbb{C}^\times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 \cong U_q(\mathfrak{sl}_2)$. The non-commutative analogues of $\mathbb{P}^3$ are the spaces $\operatorname{Proj}_{nc}(S)$. We show how the points, fat points, lines, and quadrics, in $\operatorname{Proj}_{nc}(S)$, and their incidence relations, correspond to finite dimensional irreducible representations of $U_q(\mathfrak{sl}_2)$, Verma modules, annihilators of Verma modules, and homomorphisms between them.
△ Less
Submitted 13 July, 2017; v1 submitted 2 July, 2016;
originally announced July 2016.
-
The sharp threshold for the Duarte model
Authors:
Béla Bollobás,
Hugo Duminil-Copin,
Robert Morris,
Paul Smith
Abstract:
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a…
▽ More
The class of critical bootstrap percolation models in two dimensions was recently introduced by Bollobás, Smith and Uzzell, and the critical threshold for percolation was determined up to a constant factor for all such models by the authors of this paper. Here we develop and refine the techniques introduced in that paper in order to determine a sharp threshold for the Duarte model. This resolves a question of Mountford from 1995, and is the first result of its type for a model with drift.
△ Less
Submitted 10 October, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
A geometric invariant of $6$-dimensional subspaces of $4\times 4$ matrices
Authors:
Alex Chirvasitu,
S. Paul Smith,
Michaela Vancliff
Abstract:
Let $k$ be an algebraically closed field and ${\sf G}(2,k^4)$ the Grassmannian of 2-planes in $k^4$. We associate to each 6-dimensional subspace $R$ of the space of 4x4 matrices over $k$ a closed subscheme ${\bf X}_R \subseteq {\sf G}(2,k^4)$. We show that each irreducible component of ${\bf X}_R$ has dimension at least one and when ${\rm dim}({\bf X}_R)=1$, then ${\rm deg}({\bf X}_R)=20$ where de…
▽ More
Let $k$ be an algebraically closed field and ${\sf G}(2,k^4)$ the Grassmannian of 2-planes in $k^4$. We associate to each 6-dimensional subspace $R$ of the space of 4x4 matrices over $k$ a closed subscheme ${\bf X}_R \subseteq {\sf G}(2,k^4)$. We show that each irreducible component of ${\bf X}_R$ has dimension at least one and when ${\rm dim}({\bf X}_R)=1$, then ${\rm deg}({\bf X}_R)=20$ where degree is computed with respect to the ambient ${\mathbb P}^5$ under the Plücker embedding ${\sf G}(2,k^4) \to {\mathbb P}^5$. We give two examples involving elliptic curves: in one case ${\bf X}_R$ is the secant variety for a quartic elliptic curve, so ${\rm dim}({\bf X}_R)=2$, in the other ${\bf X}_R$ is a curve having 7 irreducible components, three of which are elliptic curves, and four of which are smooth conics.
△ Less
Submitted 14 June, 2018; v1 submitted 12 December, 2015;
originally announced December 2015.
-
Exotic Elliptic Algebras of dimension 4 (with an Appendix by Derek Tomlin)
Authors:
Alex Chirvasitu,
S. Paul Smith
Abstract:
This is a continuation of our previous paper 1502.01744. We examine a class of non-commutative algebras A that depend on an elliptic curve and a translation automorphism of it. They may be defined in terms of the 4-dimensional Sklyanin algebra S that is associated to the same data. The algebra A has the same Hilbert series as the polynomial ring in 4 variables, and there is an associated non-commu…
▽ More
This is a continuation of our previous paper 1502.01744. We examine a class of non-commutative algebras A that depend on an elliptic curve and a translation automorphism of it. They may be defined in terms of the 4-dimensional Sklyanin algebra S that is associated to the same data. The algebra A has the same Hilbert series as the polynomial ring in 4 variables, and there is an associated non-commutative variety, Proj(A), that is a non-commutative analogue of P^3. The structure and representation theory of A, and the geometric properties of Proj(A) are closely related to the geometric properties of E sitting as a quartic curve in P^3. Our main results concern the classification of point modules, fat point modules, line modules, and the incidence relations between them. The line modules are parametrized by a degree 20 curve in the Grassmannian G(1,3) that is a union of 4 disjoint plane conics and 3 disjoint quartic elliptic curves that are isomorphic to E/(t) where t runs over the three 2-torsion points. A finite quantum group related to the Heisenberg group of size 4^3 acts as auto-equivalences of the category of graded A-modules and those quantum symmetries of A play a central role in our analysis.
△ Less
Submitted 21 September, 2016; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Nucleation and growth in two dimensions
Authors:
Béla Bollobás,
Simon Griffiths,
Robert Morris,
Leonardo Rolla,
Paul Smith
Abstract:
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of De…
▽ More
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of Dehghanpour and Schonmann. In particular, we determine the typical infection time up to a constant factor for almost all natural values of the parameters, and in a large range we obtain a stronger, sharp threshold.
△ Less
Submitted 17 May, 2018; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Corrigendum to "Maps between non-commutative spaces" [Trans. Amer. Math. Soc., 356(7) (2004) 2927-2944]
Authors:
S. Paul Smith
Abstract:
The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma 3.1 and Theorem 3.2. We also prove a new result. Let $k$ be a field, $A$ a left and right noetherian $\mathbb{N}$-graded $k$-algebra such that…
▽ More
The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma 3.1 and Theorem 3.2. We also prove a new result. Let $k$ be a field, $A$ a left and right noetherian $\mathbb{N}$-graded $k$-algebra such that ${\rm dim}_k(A_n)< \infty$ for all $n$, and $J$ a graded two-sided ideal of $A$. If the non-commutative scheme ${\sf Proj}_{nc}(A)$ is isomorphic to a projective scheme $X$, then there is a closed subscheme $Z \subseteq X$ such that ${\sf Proj}_{nc}(A/J)$ is isomorphic to $Z$. This result is a geometric translation of what we actually prove: if the category ${\sf QGr}(A)$ is equivalent to ${\sf Qcoh}(X)$, then ${\sf QGr}(A/J)$ is equivalent to ${\rm Qcoh}(Z)$ for some closed subscheme $Z \subseteq X$.
△ Less
Submitted 27 January, 2016; v1 submitted 9 July, 2015;
originally announced July 2015.
-
A Formula for the Möbius function of the Permutation Poset Based on a Topological Decomposition
Authors:
Jason P. Smith
Abstract:
We present a two term formula for the Möbius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the Möbius function of this and other po…
▽ More
We present a two term formula for the Möbius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the Möbius function of this and other posets, but simpler than most of them. The second term in the formula is complicated, but we conjecture that it equals zero for a significant proportion of intervals. We present some cases where the second term vanishes and others where it is nonzero. Computing the Möbius function recursively from its definition has exponential complexity, whereas the computation of the first term in our formula is polynomial and the exponential part is isolated to the second term, which seems to often vanish. We also present a result on the Möbius function of posets connected by a poset fibration.
△ Less
Submitted 22 May, 2017; v1 submitted 14 June, 2015;
originally announced June 2015.
