sequence
6966 papers tagged with this keyword
Reachability of turn sequences
A turn sequence of left and right turns is realized as a simple rectilinear chain of integral segments whose turns at its bends are the same as the turn sequence. The chain starts from the origin and ends at some point which we call a reachable point of the turn sequence. We investigate the combinatorial and geometric properties of the set of reachable points of a given turn sequence such as the shape, connectedness, and sufficient and necessary conditions on the reachability to the four signed axes. We also prove the upper and lower bounds on the maximum distance from the origin to the closest reachable point on signed axes for a turn sequence. The bounds are expressed in terms of the difference between the number of left and right turns in the sequence as well as, in certain cases, the length of the maximal monotone prefix or suffix of the turn sequence. The bounds are exactly matched or tight within additive constants for some signed axes.
On a faithful representation of Sturmian morphisms
Published in European Journal of Combinatorics Volume 110, 2023, article no. 103707
• View Publication
• BIB
The set of morphisms mapping any Sturmian sequence to a Sturmian sequence forms together with composition the so-called monoid of Sturm. For this monoid, we defne a faithful representation by $(3\times 3)$-matrices with integer entries. We find three convex cones in $\mathbb{R}^3$ and show that a matrix $R \in Sl(\mathbb{Z},3)$ is a matrix representing a Sturmian morphism if the three cones are invariant under multiplication by $R$ or $R^{-1}$. This property offers a new tool to study Sturmian sequences. We provide alternative proofs of four known results on Sturmian sequences fixed by a primitive morphism and a new result concerning the square root of a Sturmian sequence.
A Transformational Characterization of Unconditionally Equivalent Bayesian Networks
We consider the problem of characterizing Bayesian networks up to unconditional equivalence, i.e., when directed acyclic graphs (DAGs) have the same set of unconditional $d$-separation statements. Each unconditional equivalence class (UEC) is uniquely represented with an undirected graph whose clique structure encodes the members of the class. Via this structure, we provide a transformational characterization of unconditional equivalence; i.e., we show that two DAGs are in the same UEC if and only if one can be transformed into the other via a finite sequence of specified moves. We also extend this characterization to the essential graphs representing the Markov equivalence classes (MECs) in the UEC. UECs partition the space of MECs and are easily estimable from marginal independence tests. Thus, a characterization of unconditional equivalence has applications in methods that involve searching the space of MECs of Bayesian networks.
Two-block substitutions and morphic words
Published
• View Publication
• BIB
We consider in general two-block substitutions and their fixed points. We prove that some of them have a simple structure: their fixed points are morphic sequences. Others are intrinsically more complex, such as the Kolakoski sequence. We prove this for the Thue-Morse sequence in base 3/2.
Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)
Published
• View Publication
• BIB
In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $γ$ are $O(γ)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $γ$ have reduced bandwidth $O(γ^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.
Weighted Erdős-Burgess and Davenport constant in commutative rings
Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. Let $Ψ$ be a subgroup of the group ${\rm Aut}(R)$ of all automorphisms of $R$. The $Ψ-$weighted Erdős-Burgess constant ${\rm I}_Ψ(R)$ is defined as the smallest positive integer $\ell$ such that every sequence over $R$ of length at least $\ell$ must contain a nonempty subsequence $a_1,\ldots, a_{r}$ such that $\prod\limits_{i=1}^r ψ_i(a_i)$ is one idempotent of $R$ where $ψ_1,\ldots,ψ_r\in Ψ$. In this paper, for the finite quotient ring of a Dedekind domain $R$, a connection is established between the $Ψ-$weighted-Erdős-Burgess constant of $R$ and the $Ψ-$weighted Davenport constant of its group of units by all the prime ideals of $R$.
On monoids of weighted zero-sum sequences and applications to norm monoids in Galois number fields and binary quadratic forms
Published
• View Publication
• BIB
Let $G$ be an additive finite abelian group and $Γ\subset \operatorname{End} (G)$ be a subset of the endomorphism group of $G$. A sequence $S = g_1 \cdot \ldots \cdot g_{\ell}$ over $G$ is a ($Γ$-)weighted zero-sum sequence if there are $γ_1, \ldots, γ_{\ell} \in Γ$ such that $γ_1 (g_1) + \ldots + γ_{\ell} (g_{\ell})=0$. We construct transfer homomorphisms from norm monoids (of Galois algebraic number fields with Galois group $Γ$) and from monoids of positive integers, represented by binary quadratic forms, to monoids of weighted zero-sum sequences. Then we study algebraic and arithmetic properties of monoids of weighted zero-sum sequences.
Fundamental invariants of tensors, Latin hypercubes, and rectangular Kronecker coefficients
Published
• View Publication
• BIB
We study polynomial SL-invariants of tensors, mainly focusing on fundamental invariants which are of smallest degrees. In particular, we prove that certain 3-dimensional analogue of the Alon--Tarsi conjecture on Latin cubes considered previously by Bürgisser and Ikenmeyer, implies positivity of (generalized) Kronecker coefficients at rectangular partitions and as a result provides values for degree sequences of fundamental invariants.
Normalized Volumes of Type-PQ Adjacency Polytopes for Certain Classes of Graphs
Published in Involve 17 (2024) 425-440
• View Publication
• BIB
The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.
Resolution to Sutner's Conjecture
Consider a game played on a simple graph $G = (V,E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. One wins the game by finding a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Sutner was one of the first to study these games mathematically. He found that when $d(G) = \text{dim}(\text{ker}(A + I))$ over the field $GF(2)$, where $A$ is the adjacency matrix of $G$, is 0 all initial configurations are solvable. When investigating $n \times n$ grid graphs, Sutner conjectured that $d_{2n+1} = 2d_{n} + δ_{n}, δ_{n} \in \{0,2\}, δ_{2n+1} = δ_{n}$, where $d_n = d(G)$ for $G$ an $n \times n$ grid graph. We resolve this conjecture in the affirmative. We use results from Sutner that give $d_n$ as the GCD of two polynomials in the ring $\mathbb{Z}_2[x]$. We then apply identities from Hunziker, Machiavelo, and Park that relate the polynomials of $(2n+1) \times (2n+1)$ grids and $n \times n$ grids. Finally, we use a result from Ore about the GCD of two products. Together these results allow us to prove Sutner's conjecture. We then go further and show for exactly which values of $n$ $δ_n$ is 0 or 2.
Discrete Poisson hardcore 1D model and reinfections
Published
• View Publication
• BIB
We suggest a new hardcore Poisson-type distribution for Young diagrams with the row lengths from some finite list. A discrete variant of the time-ordered Matérn II process in 1D is employed. This approach is related to that based on the interlacing sequences due to Kerov and others, but we restrict the number of rows. The basic lengths are assumed comparable with the total order of the diagram in the quasi-classical limit, which results in new methods and new formulas. An interesting application is to random walks where the steps are at the points satisfying the classical Poisson distribution or our truncatedone. In the simplest case, one obtains the distribution in terms of Bessel I-functions, which provides some probabilistic interpretation of its many properties. An immediate application of our truncated Poisson distributions is to modeling reinfections in epidemics.
Non-standard linear recurring sequence subgroups and automorphisms of irreducible cyclic codes
Published
• View Publication
• BIB
Let \(\cU\) be the multiplicative group of order~\(n\) in the splitting field \(\bbF_{q^m}\) of \(x^n-1\) over the finite field \(\bbF_q\). Any map of the form \(x\rightarrow cx^t\) with \(c\in \cU\) and \(t=q^i\), \(0\leq i<m\), is \(\bbF_q\)-linear on~\(\bbF_{q^m}\) and fixes \(\cU\) set-wise; maps of this type will be called {\em standard\/}. Occasionally there are other, {\em non-standard\/} \(\bbF_q\)-linear maps on~\(\bbF_{q^m}\) fixing \(\cU\) set-wise, and in that case we say that the pair \((n, q)\) is {\em non-standard\/}. We show that an irreducible cyclic code of length~\(n\) over \(\bbF_q\) has ``extra'' permutation automorphisms (others than the {\em standard\/} permutations generated by the cyclic shift and the Frobenius mapping that every such code has) precisely when the pair \((n, q)\) is non-standard; we refer to such irreducible cyclic codes as {\em non-standard\/} or {\em NSIC-codes\/}. In addition, we relate these concepts to that of a non-standard linear recurring sequence subgroup as investigated in a sequence of papers by Brison and Nogueira. We present several families of NSIC-codes, and two constructions called ``lifting'' and ``extension'' to create new NSIC-codes from existing ones. We show that all NSIC-codes of dimension two can be obtained in this way, thus completing the classification for this case started by Brison and Nogueira.
A novel public key cryptography based on generalized Lucas matrices
Published in Communications in Combinatorics and Optimization 2024
• View Publication
• BIB
In this article, we have proposed a generalized Lucas matrix (recursive matrix of higher order) having relation with generalized Fibonacci sequences and established many special properties in addition to that usual matrix algebra. Further, we have proposed a modified public key cryptography using these matrices as keys in Affine cipher and key agreement for encryption-decryption with the combination of terms of generalized Lucas sequences under residue operations. In this scheme, instead of exchanging the whole key matrix, only a pair of numbers(parameters) need to be exchanged, which reduces the time complexity as well as space complexity of the key transmission and has a large key-space.
Simplicial $q$-connectivity of directed graphs with applications to network analysis
Directed graphs are ubiquitous models for networks, and topological spaces they generate, such as the directed flag complex, have become useful objects in applied topology. The simplices are formed from directed cliques. We extend Atkin's theory of $q$-connectivity to the case of directed simplices. This results in a preorder where simplices are related by sequences of simplices that share a $q$-face with respect to directions specified by chosen face maps. We leverage the Alexandroff equivalence between preorders and topological spaces to introduce a new class of topological spaces for directed graphs, enabling to assign new homotopy types different from those of directed flag complexes as seen by simplicial homology. We further introduce simplicial path analysis enabled by the connectivity preorders. As an application we characterise structural differences between various brain networks by computing their longest simplicial paths.
A generalization of a theorem about gapsets with depth at most three
Published in Involve 16 (2023) 313-319
• View Publication
• BIB
In this paper, we provide a generalization of a theorem proved by Eliahou and Fromentin, which exhibit a remarkable property of the sequence $(n'_g)$, where $n'_g$ denotes the number of gapsets with genus $g$ and depth at most $3$.
Combinatorial Exploration: An algorithmic framework for enumeration
Published
• View Publication
• BIB
Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications.
We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.
Combinatorial aspects of sandpile models on wheel and fan graphs
Published in European Journal of Combinatorics, Volume 110, May 2023
• View Publication
• BIB
We study combinatorial aspects of the sandpile model on wheel and fan graphs, seeking bijective characterisations of the model's recurrent configurations on these families. For wheel graphs, we exhibit a bijection between these recurrent configurations and the set of subgraphs of the cycle graph which maps the level of the configuration to the number of edges of the subgraph. This bijection relies on two key ingredients. The first consists in considering a stochastic variant of the standard Abelian sandpile model (ASM), rather than the ASM itself. The second ingredient is a mapping from a given recurrent state to a canonical minimal recurrent state, exploiting similar ideas to previous studies of the ASM on complete bipartite graphs and Ferrers graphs. We also show that on the wheel graph with $2n$ vertices, the number of recurrent states with level $n$ is given by the first differences of the central Delannoy numbers. Finally, using similar tools, we exhibit a bijection between the set of recurrent configurations of the ASM on fan graphs and the set of subgraphs of the path graph containing the right-most vertex of the path. We show that these sets are also equinumerous with certain lattice paths, which we name Kimberling paths after the author of the corresponding entry in the Online Encyclopedia of Integer Sequences.
A characterization of normal $3$-pseudomanifolds with $g_2\leq4$
We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$ has at most two singular vertices. Then we prove that a normal $3$-pseudomanifold with $g_2 \leq 4$, which is not a $3$-sphere is obtained from some boundary of $4$-simplices by a sequence of operations connected sum, edge expansion and an edge folding. In addition, by using [17], we re-framed the characterization of normal $3$-pseudomanifolds with $g_2\leq 9$, when it has no singular vertices.
Upper tail behavior of the number of triangles in random graphs with constant average degree
Published
• View Publication
• BIB
Let $N$ be the number of triangles in an Erdős-Rényi graph $\mathcal{G}(n,p)$ on $n$ vertices with edge density $p=d/n,$ where $d>0$ is a fixed constant. It is well known that $N$ weakly converges to the Poisson distribution with mean ${d^3}/{6}$ as $n\rightarrow \infty$. We address the upper tail problem for $N,$ namely, we investigate how fast $k$ must grow, so that the probability of $\{N\ge k\}$ is not well approximated anymore by the tail of the corresponding Poisson variable. Proving that the tail exhibits a sharp phase transition, we essentially show that the upper tail is governed by Poisson behavior only when $k^{1/3} \log k< (\frac{3}{\sqrt{2}})^{2/3} \log n$ (sub-critical regime) as well as pin down the tail behavior when $k^{1/3} \log k> (\frac{3}{\sqrt{2}})^{2/3} \log n$ (super-critical regime). We further prove a structure theorem, showing that the sub-critical upper tail behavior is dictated by the appearance of almost $k$ vertex-disjoint triangles whereas in the supercritical regime, the excess triangles arise from a clique like structure of size approximately $(6k)^{1/3}$. This settles the long-standing upper-tail problem in this case, answering a question of Aldous, complementing a long sequence of works, spanning multiple decades, culminating in (Harel, Moussat, Samotij,'19) which analyzed the problem only in the regime $p\gg \frac{1}{n}.$ The proofs rely on several novel graph theoretical results which could have other applications.
Enumerating solutions to grid based puzzles with a fixed number of rows
Published
• View Publication
• BIB
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solver to a unique solution, and instead start from an empty grid. We then count the number of ways to fill in this empty grid to a valid solution. We fix the number of rows $r$, vary the number of columns $k$, and then compute the sequence $A_r(k)$, which gives the number of solutions on an empty grid of size $r \times k$.