arXiv research

Spatial ABM predicts housing market trends in Sydney.

Urban transformations within large and growing metropolitan areas often generate critical dynamics affecting social interactions, transport connectivity and income flow distribution. We develop a statistical-mechanical model of urban transformations, exemplified for Greater Sydney, and derive a thermodynamic descriptio…

This is the Proceedings of the 2017 ICML Workshop on Human Interpretability in Machine Learning (WHI 2017), which was held in Sydney, Australia, August 10, 2017. Invited speakers were Tony Jebara, Pang Wei Koh, and David Sontag.

Model explains herding and volatility in urban housing prices.

The paper uses graph learning to detect valid instruments in high-dimensional data for house pricing.

The study focuses on estimating and predicting time-varying origin to destination (OD) trip tables for a dynamic traffic assignment (DTA) model. A bi-level optimisation problem is formulated and solved to estimate OD flows from pre-existent demand matrix and historical traffic flow counts. The estimated demand is then …

Survey of open problems linking integrable systems and Nijenhuis geometry.

Rapidly estimating the remaining wall thickness (RWT) is paramount for the non-destructive condition assessment evaluation of large critical metallic pipelines. A robotic vehicle with embedded magnetism-based sensors has been developed to traverse the inside of a pipeline and conduct inspections at the location of a br…

This paper focuses on energy management in buildings with phase change material (PCM), which is primarily used to improve thermal performance, but can also serve as an energy storage system. In this setting, optimal scheduling of an HVAC system is challenging because of the nonlinear and non-convex characteristics of t…

Congestion prediction represents a major priority for traffic management centres around the world to ensure timely incident response handling. The increasing amounts of generated traffic data have been used to train machine learning predictors for traffic, however this is a challenging task due to inter-dependencies of…

This paper presents a dynamic model to study the impact on the economic outcomes in different societies during the Malthusian Era of individualism (time spent working alone) and collectivism (complementary time spent working with others). The model is driven by opposing forces: a greater degree of collectivism provides…

Predicting traffic incident duration is a major challenge for many traffic centres around the world. Most research studies focus on predicting the incident duration on motorways rather than arterial roads, due to a high network complexity and lack of data. In this paper we propose a bi-level framework for predicting th…

We show that any totally geodesic submanifold of Teichmuller space of dimension greater than one covers a totally geodesic subvariety, and only finitely many totally geodesic subvarieties of dimension greater than one exist in each moduli space.

We prove that a H-surface M in H^2xR, |H| <= 1/2, inherits the symmetries of its boundary when the boundary is either a horizontal curve with curvature greater than one or two parallel horizontal curves with curvature greater than one, whose distance is greater or equal to πFurthermore we prove that the asymptotic boun…

We prove that every nearly Sasakian manifold of dimension greater than five is Sasakian. This provides a new criterion for an almost contact metric manifold to be Sasakian. Moreover, we classify nearly cosymplectic manifolds of dimension greater than five.

Deep learning model predicts wildfire spread in Australia.

For a membrane in the plane the multiplicity of the $k$-th eigenvalue is known to be not greater than $2k-1$. Here we prove that it is actually not greater than $2k-3$, for $k\ge 3$.

An example of a three dimensional flat paracontact metric manifold with respect to Levi-Civita connection is constructed. It is shown that no such manifold exists for odd dimensions greater than or equal to five.

We construct an infinite family of homologous, non-isotopic, symplectic surfaces of any genus greater than one in a certain class of closed, simply connected, symplectic four-manifolds. Our construction is the first example of this phenomenon for surfaces of genus greater than one.

We classify pseudo parallel proper CR-submanifolds in a non-flat complex space form with CR-dimension greater than one. With this result, the non-existence of recurrent as well as semi parallel proper CR-submanifolds in a non-flat complex space form with CR-dimension greater than one can also be obtained.

We prove that, in dimensions greater than 2, the generic metric is not a Hessian metric and find a curvature condition on Hessian metrics in dimensions greater than 3. In particular we prove that the forms used to define the Pontryagin classes in terms of the curvature vanish on a Hessian manifold. By contrast all anal…

We show that every volume preserving codimension one Anosov flow on a closed Riemannian manifold of dimension greater than three admits a global cross section and is therefore topologically conjugate to a suspension of a linear toral automorphism. This proves a conjecture of Verjovsky from the 1970's in the volume pres…

Proposes a multi-objective variational autoencoder for smart infrastructure damage detection.

We prove that a K-contact Lie group of dimension five or greater is the central extension of a symplectic Lie group by complexifying the Lie algebra and applying a result from complex contact geometry, namely, that, if the adjoint action of the complex Reeb vector field on a complex contact Lie algebra is diagonalizabl…

Machine learning models predict bluebottles' presence on beaches, addressing class imbalance and unreliable absence data.

In this paper, we show that a generalized Sasakian space form of dimension greater than three is either of constant sectional curvature; or a canal hypersurface in Euclidean or Minkowski spaces; or locally a certain type of twisted product of a real line and a flat almost Hermitian manifold; or locally a wapred product…

We study the Yamabe invariant of manifolds obtained as connected sums along submanifolds of codimension greater than 2. In particular, given a compact smooth manifold M which does not admit metrics of positive scalar curvature, we prove that the Yamabe invariant of M is an upper bound for the Yamabe invariant of any ma…

We prove that if $M$ is a three-manifold with scalar curvature greater than or equal to -2 and $Σ\subset M$ is a two-sided compact embedded Riemann surface of genus greater than 1 which is locally area-minimizing, then the area of $Σ$ is greater than or equal to $4π(g(Σ)-1)$, where $g(Σ)$ denotes the genus of $Σ$. In t…

Integro-difference equation (IDE) models describe the conditional dependence between the spatial process at a future time point and the process at the present time point through an integral operator. Nonlinearity or temporal dependence in the dynamics is often captured by allowing the operator parameters to vary tempor…

Classifies links with small Khovanov homology ranks.

We define an infinite series of translation coverings of Veech's double-n-gon for odd n greater or equal to 5 which share the same Veech group. Additionally we give an infinite series of translation coverings with constant Veech group of a regular n-gon for even n greater or equal to 8. These families give rise to expl…

We classify, up to orbit equivalence, all cohomogeneity one actions on the hyperbolic planes over the complex, quaternionic and Cayley numbers, and on the complex hyperbolic spaces of dimension greater than two. For the quaternionic hyperbolic spaces of dimension greater than two we reduce the classification problem to…

New findings on generating mapping class groups using pseudo-Anosov elements.

If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct product SL(2,R)^m x SL(2,C)^n$, with m + n > 1. (In geometric terms, this can be in…

New proof shows no equifocal submanifolds with non-flat sections in certain symmetric spaces.

This is a continuation of the joint paper with the same title by A.Belenkiy and Yu.Burago. It is proved here that two homeomorphic closed Alexandrov surfaces (of bounded integral curvature) are bi-Lipschitz with a constant depending only on upper bounds of their Euler number, diameters, negative integral curvatures, an…

Let $p$ be a real number greater number greater than one. Suppose that a graph $G$ of bounded degree is quasi-isometric with a Riemannian manifold $M$ with certain properties. Under these conditions we will show that the $p$-harmonic boundary of $G$ is homeomorphic to the $p$-harmonic boundary of $M$. We will also prov…

Classifies Lie symmetry algebras for 2D quasilinear equations, linking symmetry to linearity.

We construct sequences of `expander manifolds' and we use them to show that there is a complete connected 2-dimensional Riemannian manifold with discontinuous isoperimetric profile, answering a question of Nardulli and Pansu. Using expander manifolds in dimension 3 we show that for any $ε, M>0$ there is a Riemannian 3-…

We prove that a d-web near a point in n-space, where n is greater than 2 and d is greater than 2n-1, is equivalent to an algebraic web, if it has maximal rank or, more generally, if it has (2d - 3n + 1) abelian relations the 1-jets of which are linearly independent. In case n=3, this is a theorem of Bol. The general ca…

We describe a new public-domain open-source simulator of an electronic financial exchange, and of the traders that interact with the exchange, which is a truly distributed and cloud-native system that been designed to run on widely available commercial cloud-computing services, and in which various components can be pl…

Let n be greater than or equal to 3. We prove that the quaternion group of order 8 is realised as a subgroup of the sphere braid group B\_n(S^2) if and only if n is even. If n is divisible by 4 then the commutator subgroup of B\_n(S^2) contains such a subgroup. Further, for all n greater than or equal to 3, B\_n(S^2) c…

we show that the space of metrics of positive scalar curvature on a manifold is, when nonempty, homotopy equivalent to a space of metrics of positive scalar curvature that restrict to a fixed metric near a given submanifold of codimension greater or equal than 3. Our main tool is a parameterized version of the Gromov-L…

Solves the Wiegold problem by showing free products of left-orderable groups have normal rank > 1.

We describe the local structure of Riemannian manifolds with harmonic curvature which admit a maximum number, in a well-defined sense, of local warped-product decompositions, and at the same time their Ricci tensor has, at some point, only simple eigenvalues. We also prove that, in every given dimension greater than tw…

In this work we study the decomposability property of branched coverings of degree $d$ odd, over the projective plane, where the covering surface has Euler characteristic $\leq 0$. The latter condition is equivalent to say that the defect of the covering is greater than $d$. We show that, given a datum $\mathscr{D}=\{D…

Suppose M is a compact orientable irreducible 3-manifold with Heegaard splitting surfaces P and Q. Then either Q is isotopic to a possibly stabilized copy of P or the Hempel distance of the splitting P is no greater than twice the genus of Q. More generally, if P and Q are bicompressible but weakly incompressible conne…

We construct a family of non-collapsed, non-Kähler, non-Einstein steady Ricci solitons in even dimensions greater or equal to four. These solitons exist on complex line bundles over Kähler-Einstein manifolds of positive scalar curvature. They include a four-dimensional $U(2)$-invariant, non-collapsed Riemannian steady …