-
New orientable sequences
Authors:
Chris J Mitchell,
Peter R Wild
Abstract:
Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any particular subsequence of length n occurs at most once in a period in either direction. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of con…
▽ More
Orientable sequences of order n are infinite periodic sequences with symbols drawn from a finite alphabet of size k with the property that any particular subsequence of length n occurs at most once in a period in either direction. They were introduced in the early 1990s in the context of possible applications in position sensing. Bounds on the period of such sequences and a range of methods of construction have been devised, although apart from very small cases a significant gap remains between the largest known period for such a sequence and the best known upper bound. In this paper we first give improved upper bounds on the period of such sequences. We then give a new general method of construction for orientable sequences involving subgraphs of the de Bruijn graph with special properties, and describe two different approaches for generating such subgraphs. This enables us to construct orientable sequences with periods meeting the improved upper bounds when n is 2 or 3, as well as n=4 and k odd. For 4\leq n\leq 8, in some cases the sequences produced by the methods described have periods larger than for any previously known sequences.
△ Less
Submitted 3 July, 2025;
originally announced July 2025.
-
Special orientable sequences
Authors:
Chris J Mitchell,
Peter R Wild
Abstract:
Analogously to de Bruijn sequences, Orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., recursive methods of construction were described for orientable sequences over arbitrary finite alphabets, requiring 'starter sequences' with special properties. Some of th…
▽ More
Analogously to de Bruijn sequences, Orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., recursive methods of construction were described for orientable sequences over arbitrary finite alphabets, requiring 'starter sequences' with special properties. Some of these methods required as input special orientable sequences, i.e. orientable sequences which were simultaneously negative orientable. We exhibit methods for constructing special orientable sequences with properties appropriate for use in two of the recursive methods of Alhakim et al. As a result we are able to show how to construct special orientable sequences for arbitrary sizes of alphabet (larger than a small lower bound) and for all window sizes. These sequences have periods asymptotic to the optimal as the alphabet size increases.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Identity-Preserving Lax Extensions and Where to Find Them
Authors:
Sergey Goncharov,
Dirk Hofmaan,
Pedro Nora,
Lutz Schröder,
Paul Wild
Abstract:
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It is known that preservation of weak pullbacks is a sufficient condition for a functor to admit a normal lax extension (the Barr extension, which in fa…
▽ More
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It is known that preservation of weak pullbacks is a sufficient condition for a functor to admit a normal lax extension (the Barr extension, which in fact is then even strict); in the converse direction, nothing is currently known about necessary (weak) pullback preservation conditions for the existence of normal lax extensions. In the present work, we narrow this gap by showing on the one hand that functors admitting a normal lax extension preserve 1/4-iso pullbacks, i.e. pullbacks in which at least one of the projections is an isomorphism. On the other hand, we give sufficient conditions, showing that a functor admits a normal lax extension if it weakly preserves either 1/4-iso pullbacks and 4/4-epi pullbacks (i.e. pullbacks in which all morphisms are epic) or inverse images. We apply these criteria to concrete examples, in particular to functors modelling neighbourhood systems and weighted systems.
△ Less
Submitted 11 January, 2025; v1 submitted 18 October, 2024;
originally announced October 2024.
-
Orientable and negative orientable sequences
Authors:
Chris J Mitchell,
Peter R Wild
Abstract:
Analogously to de Bruijn sequences, orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., a range of methods of construction were described for orientable sequences over arbitrary finite alphabets; some of these methods involve using negative orientable sequence…
▽ More
Analogously to de Bruijn sequences, orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., a range of methods of construction were described for orientable sequences over arbitrary finite alphabets; some of these methods involve using negative orientable sequences as a building block. In this paper we describe three techniques for generating such negative orientable sequences, as well as upper bounds on their period. We then go on to show how these negative orientable sequences can be used to generate orientable sequences with period close to the maximum possible for every non-binary alphabet size and for every tuple length. In doing so we use two closely related approaches described by Alhakim et al.
△ Less
Submitted 14 February, 2025; v1 submitted 1 September, 2024;
originally announced September 2024.
-
Orientable sequences over non-binary alphabets
Authors:
Abbas Alhakim,
Chris J. Mitchell,
Janusz Szmidt,
Peter R. Wild
Abstract:
We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either direction. In particular we establish how two variants of a generalised Lempel homomorphism can be used to recursively construct such sequences, generalising previ…
▽ More
We describe new, simple, recursive methods of construction for orientable sequences over an arbitrary finite alphabet, i.e. periodic sequences in which any sub-sequence of n consecutive elements occurs at most once in a period in either direction. In particular we establish how two variants of a generalised Lempel homomorphism can be used to recursively construct such sequences, generalising previous work on the binary case. We also derive an upper bound on the period of an orientable sequence.
△ Less
Submitted 22 August, 2024; v1 submitted 20 July, 2024;
originally announced July 2024.
-
Triple O'Nan Configurations in Buekenhout-Metz Unitals of Odd Order
Authors:
Wen-Ai Jackson,
Peter Wild
Abstract:
An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in Buekenhout-Metz unitals, in particular, for odd order unitals. We extend their work by showing the existence of Triple O'Nan configurations (a configuration containing three distinc…
▽ More
An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in Buekenhout-Metz unitals, in particular, for odd order unitals. We extend their work by showing the existence of Triple O'Nan configurations (a configuration containing three distinct O'Nan configurations) in these odd order Buekenhout-Metz unitals.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
A Note on Fano Planes in Orthogonal Buekenhout-Metz Unitals of Even Order
Authors:
Wen-Ai Jackson,
Peter Wild
Abstract:
An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in orthogonal and Tits Buekenhout-Metz unitals. We extend their work by extending their construction to a Fano plane embedded in the orthogonal Buekenhout-Metz unital of even order. We…
▽ More
An O'Nan configuration in a unital is a set of four lines forming a quadrilateral, where the six intersections of pairs of lines are points of the unital. In 2019 Feng and Li elegantly construct O'Nan configurations in orthogonal and Tits Buekenhout-Metz unitals. We extend their work by extending their construction to a Fano plane embedded in the orthogonal Buekenhout-Metz unital of even order. We deduce that there exist O'Nan configurations in orthogonal Buekenhout-Metz unitals different to those of Feng and Li, and make a conjecture about Fano planes embedded in orthogonal Buekenhout-Metz unitals.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
The feet of orthogonal Buekenhout-Metz unitals
Authors:
S. G. Barwick,
W. -A. Jackson,
P. Wild
Abstract:
In this article we look at the geometric structure of the feet of an orthogonal Buekenhout-Metz unital U in PG(2,q^2). We show that the feet of each point form a set of type (0,1,2,4). Further, we discuss the structure of any 4-secants, and determine exactly when the feet form an arc.
In this article we look at the geometric structure of the feet of an orthogonal Buekenhout-Metz unital U in PG(2,q^2). We show that the feet of each point form a set of type (0,1,2,4). Further, we discuss the structure of any 4-secants, and determine exactly when the feet form an arc.
△ Less
Submitted 10 November, 2022; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Quantitative Hennessy-Milner Theorems via Notions of Density
Authors:
Jonas Forster,
Sergey Goncharov,
Dirk Hofmann,
Pedro Nora,
Lutz Schröder,
Paul Wild
Abstract:
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous variants of this theorem have since been established for a wide range of logics and system types, including quantitative versions where lower bounds on…
▽ More
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous variants of this theorem have since been established for a wide range of logics and system types, including quantitative versions where lower bounds on behavioural distance (e.g.~in weighted, metric, or probabilistic transition systems) are witnessed by quantitative modal formulas. Both the qualitative and the quantitative versions have been accommodated within the framework of coalgebraic logic, with distances taking values in quantales, subject to certain restrictions, such as being so-called value quantales. While previous quantitative coalgebraic Hennessy-Milner theorems apply only to liftings of set functors to (pseudo-)metric spaces, in the present work we provide a quantitative coalgebraic Hennessy-Milner theorem that applies more widely to functors native to metric spaces; notably, we thus cover, for the first time, the well-known Hennessy-Milner theorem for continuous probabilistic transition systems, where transitions are given by Borel measures on metric spaces, as an instance. In the process, we also relax the restrictions imposed on the quantale, and additionally parametrize the technical account over notions of closure and, hence, density, providing associated variants of the Stone-Weierstrass theorem; this allows us to cover, for instance, behavioural ultrametrics.
△ Less
Submitted 30 August, 2022; v1 submitted 19 July, 2022;
originally announced July 2022.
-
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Authors:
Sergey Goncharov,
Dirk Hofmann,
Pedro Nora,
Lutz Schröder,
Paul Wild
Abstract:
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variations in the system type (nondeterministic, probabilistic, game-based etc.), and the notion of quantale abstracts over the actual values distances take…
▽ More
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variations in the system type (nondeterministic, probabilistic, game-based etc.), and the notion of quantale abstracts over the actual values distances take, thus covering, e.g., two-valued equivalences, (pseudo-)metrics, and probabilistic (pseudo-)metrics. Coalgebraic behavioural distances have been based either on liftings of SET-functors to categories of metric spaces, or on lax extensions of SET-functors to categories of quantitative relations. Every lax extension induces a functor lifting but not every lifting comes from a lax extension. It was shown recently that every lax extension is Kantorovich, i.e. induced by a suitable choice of monotone predicate liftings, implying via a quantitative coalgebraic Hennessy-Milner theorem that behavioural distances induced by lax extensions can be characterized by quantitative modal logics. Here, we essentially show the same in the more general setting of behavioural distances induced by functor liftings. In particular, we show that every functor lifting, and indeed every functor on (quantale-valued) metric spaces, that preserves isometries is Kantorovich, so that the induced behavioural distance (on systems of suitably restricted branching degree) can be characterized by a quantitative modal logic.
△ Less
Submitted 2 May, 2023; v1 submitted 14 February, 2022;
originally announced February 2022.
-
A Point-free Perspective on Lax extensions and Predicate liftings
Authors:
Sergey Goncharov,
Dirk Hofmann,
Pedro Nora,
Lutz Schröder,
Paul Wild
Abstract:
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax extensions and predicate liftings from the point of view of quantale-enriched relations. Using this perspective, we show in particular that various fundame…
▽ More
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax extensions and predicate liftings from the point of view of quantale-enriched relations. Using this perspective, we show in particular that various fundamental concepts and results arise naturally and their proofs become very elementary. Ultimately, we prove that every lax extension is induced by a class of predicate liftings; we discuss several implications of this result.
△ Less
Submitted 7 December, 2023; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Constructing orientable sequences
Authors:
Chris J Mitchell,
Peter R Wild
Abstract:
This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n conse…
▽ More
This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n consecutive encoded bits to determine its location and orientation on the surface. The only previously described method of construction (due to Dai et al.) is somewhat complex, whereas the new techniques are simple to both describe and implement. The methods of construction cover both the standard `infinite periodic' case, and also the aperiodic, finite sequence, case. Both the new methods build on the Lempel homomorphism, first introduced as a means of recursively generating de Bruijn sequences.
△ Less
Submitted 7 January, 2022; v1 submitted 6 August, 2021;
originally announced August 2021.
-
A characterisation of F_q-conics of PG(2,q^3)
Authors:
S. G. Barwick,
Wen-Ai Jackson,
Peter Wild
Abstract:
This article considers an F_q-conic contained in an F_q-subplane of PG(2,q^3), and shows that it corresponds to a normal rational curve in the Bruck-Bose representation in PG(6,q). This article then characterises which normal rational curves of PG(6,q) correspond via the Bruck-Bose representation to F_q-conics of PG(2,q^3). The normal rational curves of interest are called 3-special, which relates…
▽ More
This article considers an F_q-conic contained in an F_q-subplane of PG(2,q^3), and shows that it corresponds to a normal rational curve in the Bruck-Bose representation in PG(6,q). This article then characterises which normal rational curves of PG(6,q) correspond via the Bruck-Bose representation to F_q-conics of PG(2,q^3). The normal rational curves of interest are called 3-special, which relates to how the extension of the normal rational curve meets the transversal lines of the regular 2-spread of the Bruck-Bose representation. This article uses geometric arguments that exploit the interaction between the Bruck-Bose representation of PG(2,q^3) in PG(6,q), and the Bose representation of PG(2,q^3) in PG(8,q).
△ Less
Submitted 29 November, 2022; v1 submitted 4 July, 2019;
originally announced July 2019.
-
The Bose representation of PG(2,q^3) in PG(8,q)
Authors:
S. G. Barwick,
Wen-Ai Jackson,
Peter Wild
Abstract:
This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-con…
▽ More
This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-conic of $PG(2,q^3)$ in the Bose representation in $PG(8,q)$.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Conics in Baer subplanes
Authors:
S. G. Barwick,
Wen-Ai Jackson,
Peter Wild
Abstract:
This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the…
▽ More
This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the regular spread. Conversely, every 3 and 4-dimensional normal rational curve in $PG(4,q)$ that meets the transversal lines of the regular spread corresponds to a conic in a tangent Baer subplane of $PG(2,q^2)$.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Specialness and the Bose representation
Authors:
S. G. Barwick,
Wen-Ai Jackson,
Peter Wild
Abstract:
This article looks at subconics of order $q$ of $PG(2,q^2)$ and characterizes them in the Bruck-Bose representation in $PG(4,q)$. In common with other objects in the Bruck-Bose representation, the characterisation uses the transversals of the regular line spread $S$ associated with the Bruck-Bose representation.By working in the Bose representation of $PG(2,q^2)$ in $PG(5,q)$, we give a geometric…
▽ More
This article looks at subconics of order $q$ of $PG(2,q^2)$ and characterizes them in the Bruck-Bose representation in $PG(4,q)$. In common with other objects in the Bruck-Bose representation, the characterisation uses the transversals of the regular line spread $S$ associated with the Bruck-Bose representation.By working in the Bose representation of $PG(2,q^2)$ in $PG(5,q)$, we give a geometric explanation as to why the transversals of the regular spread $S$ are intrinsic to the characterisation of varieties of $PG(2,q^2)$.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
A Characterization Theorem for a Modal Description Logic
Authors:
Paul Wild,
Lutz Schröder
Abstract:
Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change. This logic embeds into a corresponding modal first-order logic S5-FOL. We…
▽ More
Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents. E.g., the logic S5-ALC combines the standard description logic ALC with an S5-modality that can be understood as an epistemic operator or as representing (undirected) change. This logic embeds into a corresponding modal first-order logic S5-FOL. We prove a modal characterization theorem for this embedding, in analogy to results by van Benthem and Rosen relating ALC to standard first-order logic: We show that S5-ALC with only local roles is, both over finite and over unrestricted models, precisely the bisimulation invariant fragment of S5-FOL, thus giving an exact description of the expressive power of S5-ALC with only local roles.
△ Less
Submitted 23 May, 2017; v1 submitted 17 May, 2017;
originally announced May 2017.
