English
Related papers

Related papers: Cross-bifix-free sets in two dimensions

200 papers

A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Joey Becker , F. Blanchet-Sadri , Laure Flapan , Stephen Watkins

This paper classifies spherical objects in various geometric settings in dimensions two and three, including both minimal and partial crepant resolutions of Kleinian singularities, as well as arbitrary flopping 3-fold contractions with only…

Algebraic Geometry · Mathematics 2024-09-13 Wahei Hara , Michael Wemyss

Positive semidefinite Hermitian matrices that are not fully specified can be completed provided their underlying graph is chordal. If the matrix is positive definite the completion can be uniquely characterized as the matrix that maximizes…

Rings and Algebras · Mathematics 2021-12-08 Olaf Dreyer

Denote by $w(T)$ the numerical radius of a matrix $T$. An elementary proof is given to the fact that $w(AB) \leq w(A)w(B)$ for a pair of commuting matrices of order two, and characterization is given for the matrix pairs that attain the…

Functional Analysis · Mathematics 2019-03-01 Chi-Kwong Li , Yiu-Tung Poon

A Gray code is a listing structure for a set of combinatorial objects such that some consistent (usually minimal) change property is maintained throughout adjacent elements in the list. While Gray codes for m-ary strings have been…

Combinatorics · Mathematics 2014-03-10 Victoria Horan , Glenn Hurlbert

The avoidability of binary patterns by binary cube-free words is investigated and the exact bound between unavoidable and avoidable patterns is found. All avoidable patterns are shown to be D0L-avoidable. For avoidable patterns, the growth…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Robert Mercas , Pascal Ochem , Alexei V. Samsonov , Arseny M. Shur

We evidence a family $\mathcal{X}$ of square matrices over a field $\mathbb{K}$, whose elements will be called X-matrices. We show that this family is shape invariant under multiplication as well as transposition. We show that $\mathcal{X}$…

Rings and Algebras · Mathematics 2024-03-28 Emanuele Borgonovo , Marco Artusa , Elmar Plischke , Francesco Viganò

We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Daniel Gabric , Jeffrey Shallit

Symmetric fix-free codes are prefix condition codes in which each codeword is required to be a palindrome. Their study is motivated by the topic of joint source-channel coding. Although they have been considered by a few communities they…

Information Theory · Computer Science 2012-11-13 S. M. Hossein Tabatabaei Yazdi , Serap A. Savari

A transversal matroid whose dual is also transversal is called bi-transversal. Let $G$ be an undirected graph with vertex set $V$. In this paper, for every subset $W$ of $V$, we associate a bi-transversal matroid to the pair $(G,W)$. We…

Combinatorics · Mathematics 2024-03-01 Mahdi Ebrahimi

A new geometrically exact micro-structured model is constructed using a generalisation of the notion of Riemann-Cartan manifolds and fibre bundle theory of rank 3. This model is based around the concept of two different length scales: a…

Differential Geometry · Mathematics 2024-04-05 Mewen Crespo , Guy Casale , Loïc Le Marrec

We present a new recursive generation algorithm for prefix normal words. These are binary strings with the property that no substring has more 1s than the prefix of the same length. The new algorithm uses two operations on binary strings,…

Data Structures and Algorithms · Computer Science 2024-04-16 Ferdinando Cicalese , Zsuzsanna Lipták , Massimiliano Rossi

We propose geometrical methods for constructing square 01-matrices with the same number n of units in every row and column, and such that any two rows of the matrix contain at most one unit in common. These matrices are equivalent to…

Combinatorics · Mathematics 2009-10-01 Alexander A. Davydov , Massimo Giulietti , Stefano Marcugini , Fernanda Pambianco

A Heffter array is an m by n matrix with nonzero entries from Z_{2mn+1} such that i) every row and column sum to 0, and ii) no element from {x,-x} appears twice. We construct some Heffter arrays. These arrays are used to build current…

Combinatorics · Mathematics 2014-12-03 Dan Archdeacon

In this paper, we mainly study quaternary linear codes and their binary subfield codes. First we obtain a general explicit relationship between quaternary linear codes and their binary subfield codes in terms of generator matrices and…

Information Theory · Computer Science 2022-01-03 Yansheng Wu , Chengju Li , Fu Xiao

Superregular matrices are a class of lower triangular Toeplitz matrices that arise in the context of constructing convolutional codes having a maximum distance profile. These matrices are characterized by the property that no submatrix has…

Information Theory · Computer Science 2007-07-13 R. Hutchinson , R. Smarandache , J. Trumpf

In this paper, we study additively indecomposable quadratic forms over real biquadratic and simplest cubic fields. In particular, we show that over these fields, we can always find such a classical form in 2 variables, which differs from…

Number Theory · Mathematics 2026-02-10 Simona Fryšová , Magdaléna Tinková

In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…

Differential Geometry · Mathematics 2022-04-11 Peter Kristel , Matthias Ludewig , Konrad Waldorf

We prove that for any sequence of binary alphabets $\mathcal{A}_1,\mathcal{A}_2,\dots$, there exists a cube-free word $c_1c_2\dots$ so that $c_1\in\mathcal{A}_1,c_2\in\mathcal{A}_2,\dots$. In particular, for every $n$, there are at least…

Combinatorics · Mathematics 2025-12-04 Vuong Bui , Matthieu Rosenfeld

We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space $X$ has a non-empty intersection in the visual bordification $ \bar{X} = X \cup \partial X$. Using this fact, several results known for proper…

Group Theory · Mathematics 2014-05-16 Pierre-Emmanuel Caprace , Alexander Lytchak