Safety in s-t Paths, Trails and Walks

Given a directed graph G and a pair of nodes s and t, an s-tbridge of G is an edge whose removal breaks all s-t paths of G (and thus appears in all s-t paths). Computing all s-t bridges of G is a basic graph problem, solvable in linear time. In this paper, we consider a natural generalisation of this problem, with the notion of “safety” from bioinformatics. We say that a walk W is safe with respect to a set $${\mathcal {W}}$$ W of s-t walks, if W is a subwalk of all walks in $${\mathcal {W}}$$ W . We start by considering the maximal safe walks when $${\mathcal {W}}$$ W consists of: all s-t paths, all s-t trails, or all s-t walks of G. We show that the solutions for the first two problems immediately follow from finding all s-t bridges after incorporating simple characterisations. However, solving the third problem requires non-trivial techniques for incorporating its characterisation. In particular, we show that there exists a compact representation computable in linear time, that allows outputting all maximal safe walks in time linear in their length. Our solutions also directly extend to multigraphs, except for the second problem, which requires a more involved approach. We further generalise these problems, by assuming that safety is defined only with respect to a subset of visible edges. Here we prove a dichotomy between the s-t paths and s-t trails cases, and the s-t walks case: the former two are NP-hard, while the latter is solvable with the same complexity as when all edges are visible. We also show that the same complexity results hold for the analogous generalisations of s-tarticulation points (nodes appearing in all s-t paths). We thus obtain the best possible results for natural “safety”-generalisations of these two fundamental graph problems. Moreover, our algorithms are simple and do not employ any complex data structures, making them ideal for use in practice.

Super-Macdonald Polynomials: Orthogonality and Hilbert Space Interpretation

The super-Macdonald polynomials, introduced by Sergeev and Veselov (Commun Math Phys 288: 653–675, 2009), generalise the Macdonald polynomials to (arbitrary numbers of) two kinds of variables, and they are eigenfunctions of the deformed Macdonald–Ruijsenaars operators introduced by the same authors in Sergeev and Veselov (Commun Math Phys 245: 249–278, 2004). We introduce a Hermitian form on the algebra spanned by the super-Macdonald polynomials, prove their orthogonality, compute their (quadratic) norms explicitly, and establish a corresponding Hilbert space interpretation of the super-Macdonald polynomials and deformed Macdonald–Ruijsenaars operators. This allows for a quantum mechanical interpretation of the models defined by the deformed Macdonald–Ruijsenaars operators. Motivated by recent results in the nonrelativistic ($$q\rightarrow 1$$ q → 1 ) case, we propose that these models describe the particles and anti-particles of an underlying relativistic quantum field theory, thus providing a natural generalisation of the trigonometric Ruijsenaars model.

Nonlinear Young Differential Equations: A Review

Nonlinear Young integrals have been first introduced in Catellier and Gubinelli (Stoch Process Appl 126(8):2323–2366, 2016) and provide a natural generalisation of classical Young ones, but also a versatile tool in the pathwise study of regularisation by noise phenomena. We present here a self-contained account of the theory, focusing on wellposedness results for abstract nonlinear Young differential equations, together with some new extensions; convergence of numerical schemes and nonlinear Young PDEs are also treated. Most results are presented for general (possibly infinite dimensional) Banach spaces and without using compactness assumptions, unless explicitly stated.

E6(6) exceptional Drinfel’d algebras

The exceptional Drinfel’d algebra (EDA) is a Leibniz algebra introduced to provide an algebraic underpinning with which to explore generalised notions of U-duality in M-theory. In essence, it provides an M-theoretic analogue of the way a Drinfel’d double encodes generalised T-dualities of strings. In this note we detail the construction of the EDA in the case where the regular U-duality group is E6(6). We show how the EDA can be realised geometrically as a generalised Leibniz parallelisation of the exceptional generalised tangent bundle for a six-dimensional group manifold G, endowed with a Nambu-Lie structure. When the EDA is of coboundary type, we show how a natural generalisation of the classical Yang-Baxter equation arises. The construction is illustrated with a selection of examples including some which embed Drinfel’d doubles and others that are not of this type.

Multi-particle Spaces

The fundamental algebraic notions needed in many-particle physics are exposed. Spaces of free states containing an arbitrary number of particles of many types are introduced. The operator algebra generated by absorption and emission operators is studied as a natural generalisation of standard exterior algebra. The link between the discrete and the distributional formalisms is provided by the spaces of finite linear combinations of semi-densities of Dirac type.

On Higher Special Elements of p-adic Representations

As a natural generalisation of the notion of “higher rank Euler system”, we develop a theory of “higher special elements” in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairings on cohomology. As a first concrete application of the approach, we use it to refine, and extend, a variety of existing results and conjectures concerning the values of derivatives of Dirichlet $L$-series.

X-ray Fokker–Planck equation for paraxial imaging

The Fokker–Planck equation can be used in a partially-coherent imaging context to model the evolution of the intensity of a paraxial x-ray wave field with propagation. This forms a natural generalisation of the transport-of-intensity equation. The x-ray Fokker–Planck equation can simultaneously account for both propagation-based phase contrast, and the diffusive effects of sample-induced small-angle x-ray scattering, when forming an x-ray image of a thin sample. Two derivations are given for the Fokker–Planck equation associated with x-ray imaging, together with a Kramers–Moyal generalisation thereof. Both equations are underpinned by the concept of unresolved speckle due to unresolved sample micro-structure. These equations may be applied to the forward problem of modelling image formation in the presence of both coherent and diffusive energy transport. They may also be used to formulate associated inverse problems of retrieving the phase shifts due to a sample placed in an x-ray beam, together with the diffusive properties of the sample. The domain of applicability for the Fokker–Planck and Kramers–Moyal equations for paraxial imaging is at least as broad as that of the transport-of-intensity equation which they generalise, hence the technique is also expected to be useful for paraxial imaging using visible light, electrons and neutrons.

Dispersionless integrable hierarchies and GL(2, ℝ) geometry

Paraconformal or GL(2, ℝ) geometry on an n-dimensional manifold M is defined by a field of rational normal curves of degree n – 1 in the projectivised cotangent bundle ℙT*M. Such geometry is known to arise on solution spaces of ODEs with vanishing Wünschmann (Doubrov–Wilczynski) invariants. In this paper we discuss yet another natural source of GL(2, ℝ) structures, namely dispersionless integrable hierarchies of PDEs such as the dispersionless Kadomtsev–Petviashvili (dKP) hierarchy. In the latter context, GL(2, ℝ) structures coincide with the characteristic variety (principal symbol) of the hierarchy.Dispersionless hierarchies provide explicit examples of particularly interesting classes of involutive GL(2, ℝ) structures studied in the literature. Thus, we obtain torsion-free GL(2, ℝ) structures of Bryant [5] that appeared in the context of exotic holonomy in dimension four, as well as totally geodesic GL(2, ℝ) structures of Krynski [33]. The latter possess a compatible affine connection (with torsion) and a two-parameter family of totally geodesic α-manifolds (coming from the dispersionless Lax equations), which makes them a natural generalisation of the Einstein–Weyl geometry.Our main result states that involutive GL(2, ℝ) structures are governed by a dispersionless integrable system whose general local solution depends on 2n – 4 arbitrary functions of 3 variables. This establishes integrability of the system of Wünschmann conditions.

ON A GENERALISATION OF A RESTRICTED SUM FORMULA FOR MULTIPLE ZETA VALUES AND FINITE MULTIPLE ZETA VALUES

We prove a new linear relation for multiple zeta values. This is a natural generalisation of the restricted sum formula proved by Eie, Liaw and Ong. We also present an analogous result for finite multiple zeta values.