Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Bubble Lattices I: Structure
Published in Algebra Universalis 85:12 (2024)
• View Publication
• BIB
C. Greene introduced the shuffle lattice as an idealized model for DNA mutation and discovered remarkable combinatorial and enumerative properties of this structure. We attempt an explanation of these properties from a lattice-theoretic point of view. To that end, we introduce and study an order extension of the shuffle lattice, the bubble lattice. We characterize the bubble lattice both locally (via certain transformations of shuffle words) and globally (using a notion of inversion set). We then prove that the bubble lattice is extremal and constructable by interval doublings. Lastly, we prove that our bubble lattice is a generalization of the Hochschild lattice studied earlier by Chapoton, Combe and the second author.
Weighted enumeration of nonbacktracking walks on weighted graphs
Published
• View Publication
• BIB
We extend the notion of nonbacktracking walks from unweighted graphs to graphs whose edges have a nonnegative weight. Here the weight associated with a walk is taken to be the product over the weights along the individual edges. We give two ways to compute the associated generating function, and corresponding node centrality measures. One method works directly on the original graph and one uses a line graph construction followed by a projection. The first method is more efficient, but the second has the advantage of extending naturally to time-evolving graphs. Computational results are also provided.
Bogoyavlensky lattices and generalized Catalan numbers
Published in Russian J. Math. Phys. 31, 1-23 (2024)
• View Publication
• BIB
We study the problem of the decay of initial data in the form of a unit step for the Bogoyavlensky lattices. In contrast to the Gurevich--Pitaevskii problem of the decay of initial discontinuity for the KdV equation, it turns out to be exactly solvable, since the dynamics is linearizable due to termination on the half-line. The answer is written in terms of generalized hypergeometric functions, which serve as exponential generating functions for generalized Catalan numbers. This can be proved by the fact that the generalized Hankel determinants for these numbers are equal to 1, which is a well-known result in combinatorics. Another method is based on a non-autonomous symmetry reduction consistent with the dynamics. It reduces the lattice equation to a finite-dimensional system and makes it possible to solve the problem for a more general finite-parameter family of initial data.
Proper conflict-free and unique-maximum colorings of planar graphs with respect to neighborhoods
Published
• View Publication
• BIB
A {\em conflict-free coloring} of a graph {\em with respect to open} (resp., {\em closed}) {\em neighborhood} is a coloring of vertices such that for every vertex there is a color appearing exactly once in its open (resp., closed) neighborhood. Similarly, a {\em unique-maximum coloring} of a graph {\em with respect to open} (resp., {\em closed}) {\em neighborhood} is a coloring of vertices such that for every vertex the maximum color appearing in its open (resp., closed) neighborhood appears exactly once. There is a vast amount of literature on both notions where the colorings need not be proper, i.e., adjacent vertices are allowed to have the same color.
In this paper, we initiate a study of both colorings in the proper settings with the focus given mainly to planar graphs. We establish upper bounds for the number of colors in the class of planar graphs for all considered colorings and provide constructions of planar graphs attaining relatively high values of the corresponding chromatic numbers. As a main result, we prove that every planar graph admits a proper unique-maximum coloring with respect to open neighborhood with at most 10 colors, and give examples of planar graphs needing at least $6$ colors for such a coloring. We also establish tight upper bounds for outerplanar graphs. Finally, we provide several new bounds also for the improper setting of considered colorings.
A Note on Odd Colorings of 1-Planar Graphs
Published in Discrete Applied Math. Vol. 330, 15 May 2023, pp. 112-117
• View Publication
• BIB
A proper coloring of a graph is odd if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. This notion was recently introduced by Petruševski and Škrekovski, who proved that every planar graph admits an odd $9$-coloring; they also conjectured that every planar graph admits an odd $5$-coloring. Shortly after, this conjecture was confirmed for planar graphs of girth at least seven by Cranston; outerplanar graphs by Caro, Petruševski, and Škrekovski. Building on the work of Caro, Petruševski, and Škrekovski, Petr and Portier then further proved that every planar graph admits an odd $8$-coloring. In this note we prove that every 1-planar graph admits an odd $23$-coloring, where a graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge.
Path eccentricity of graphs
Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc.
We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs.
Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property.
Graphical parameters for classes of tumbling block graphs
Published in Congressus Numerantium 213 (2012), pp. 155-168
• Search Publication
The infinite tumbling block graph is a bipartite graph, where each vertex in one partite set is of degree 3 and each vertex in the other partite set is of degree 6. It is a 2-dimensional array of blocks of seven vertices and nine edges, a planar graph that has 3-D looks. This paper introduces tumbling block graphs and considers various graphical parameters for different classes of infinite and finite tumbling blocks.
Inverse eigenvalue and related problems for hollow matrices described by graphs
Published in Electronic Journal of Linear Algebra. 38 (2022) 661-679
• View Publication
• BIB
A hollow matrix described by a graph $G$ is a real symmetric matrix having all diagonal entries equal to zero and with the off-diagonal entries governed by the adjacencies in $G$. For a given graph $G$, the determination of all possible spectra of matrices associated with $G$ is the hollow inverse eigenvalue problem for $G$. Solutions to the hollow inverse eigenvalue problems for paths and complete bipartite graphs are presented. Results for related subproblems such as possible ordered multiplicity lists, maximum multiplicity of an eigenvalue, and minimum number of distinct eigenvalues are presented for additional families of graphs.
Schreier's type formulae and two scales for growth of Lie algebras and groups
Published
• View Publication
• BIB
Let $G$ be a free group of rank $n$ and $H\subset G$ its subgroup of finite index. Then $H$ is also a free group and the rank $m$ of $H$ is determined by Schreier's formula $m-1=(n-1)\cdot|G:H|.$
Any subalgebra of a free Lie algebra is also free. But a straightforward analogue of Schreier's formula for free Lie algebras does not exist, because any subalgebra of finite codimension has an infinite number of generators.
But the appropriate Schreier's formula for free Lie algebras exists in terms of formal power series. There exists also a version in terms of exponential generating functions. This is a survey on how these formulas are applied to study 1) growth of finitely generated Lie algebras and groups and 2) the codimension growth of varieties of Lie algebras. First, these formulae allow to specify explicit formulas for generating functions of respective types for free solvable (or more generally, polynilpotent) Lie algebras. Second, these explicit formulas for generating functions are used to derive asymptotic for these two types of the growth. These results can be viewed as analogues of the Witt formula for free Lie algebras and groups. In case of Lie algebras, we obtain two scales for respective types of growth. We also shortly mention the situation on growth for other types of linear algebras.
A group-based structure for perfect sequence covering arrays
Published
• View Publication
• BIB
An $(n,k)$-perfect sequence covering array with multiplicity $λ$, denoted PSCA$(n,k,λ)$, is a multiset whose elements are permutations of the sequence $(1,2, \dots, n)$ and which collectively contain each ordered length $k$ subsequence exactly $λ$ times. The primary objective is to determine for each pair $(n,k)$ the smallest value of $λ$, denoted $g(n,k)$, for which a PSCA$(n,k,λ)$ exists; and more generally, the complete set of values $λ$ for which a PSCA$(n,k,λ)$ exists. Yuster recently determined the first known value of $g(n,k)$ greater than 1, namely $g(5,3)=2$, and suggested that finding other such values would be challenging. We show that $g(6,3)=g(7,3)=2$, using a recursive search method inspired by an old algorithm due to Mathon. We then impose a group-based structure on a perfect sequence covering array by restricting it to be a union of distinct cosets of a prescribed nontrivial subgroup of the symmetric group $S_n$. This allows us to determine the new results that $g(7,4)=2$ and $g(7,5) \in \{2,3,4\}$ and $g(8,3) \in \{2,3\}$ and $g(9,3) \in \{2,3,4\}$. We also show that, for each $(n,k) \in \{ (5,3), (6,3), (7,3), (7,4) \}$, there exists a PSCA$(n,k,λ)$ if and only if $λ\ge 2$; and that there exists a PSCA$(8,3,λ)$ if and only if $λ\ge g(8,3)$.
Finite Relation Algebras
Published in The Journal of Symbolic Logic, 1-14 (2021)
• View Publication
• BIB
We will show that almost all nonassociative relation algebras are symmetric and integral (in the sense that the fraction of both labelled and unlabelled structures that are symmetric and integral tends to 1), and using a Fraïssé limit, we will establish that the classes of all atom structures of nonassociative relation algebras and relation algebras both have 0-1 laws. As a consequence, we obtain improved asymptotic formulas for the numbers of these structures and broaden some known probabilistic results on relation algebras.
On Perfect Sequence Covering Arrays
Published in Ann. Comb. 27 (2023) 539-564
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ of the permutations. For $v \geq t \geq 2$, we define $g(v, t)$ to be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We show that $g(6, 3) = g(7, 3) = g(7, 4) = 2$ and $g(8, 3) = 3$. Using suitable permutation representations of groups we make improvements to the upper bounds on $g(v, t)$ for many values of $v \leq 32$ and $3\le t\le 6$. We also prove a number of restrictions on the distribution of symbols among the columns of a PSCA.
Rearrangement Events on Circular Genomes
Published
• View Publication
• BIB
Early literature on genome rearrangement modelling views the problem of computing evolutionary distances as an inherently combinatorial one. In particular, attention was given to estimating distances using the minimum number of events required to transform one genome into another. In hindsight, this approach is analogous to early methods for inferring phylogenetic trees from DNA sequences such as maximum parsimony -- both are motivated by the principle that the true distance minimises evolutionary change, and both are effective if this principle is a true reflection of reality. Recent literature considers genome rearrangement under statistical models, continuing this parallel with DNA-based methods; the goal here is to use model-based methods (for example maximum likelihood techniques) to compute distance estimates that incorporate the large number of rearrangement paths that can transform one genome into another. Crucially, this approach requires one to decide upon a set of feasible rearrangement events and, in this paper, we focus on characterising well-motivated models for signed, uni-chromosomal circular genomes, where the number of regions remains fixed. Since rearrangements are often mathematically described using permutations, we isolate the sets of permutations representing rearrangements that are biologically reasonable in this context, for example inversions and translocations. We provide precise mathematical expressions for these rearrangements, and then describe them in terms of the set of cuts made in the genome when they are applied. We directly compare cuts to breakpoints, and use this concept to count the distinct rearrangement actions which apply a given number of cuts. Finally, we provide some examples of rearrangement models, and include a discussion of some questions that arise when defining plausible models.
On chromatic parameters of some Regular graphs
Published in Symmetry, MDPI, 2022
• Search Publication
In this work, we try to enunciate the Total chromatic number of some Cayley graphs like the Cayley graph on Symmetric group, Alternating group, Dihedral group with respect to some generating sets and some other regular graphs.
On Vandermonde determinants via $n$-determinants
We use earlier defined notion of $n$- determinant to investigate sub-determinants of an extended Vandermonde matrix. Firstly, we demonstrate our method on a number of particular cases. Then we prove that all these results may be stated in terms of Schur's polynomials. In our main result, we prove that Schur polynomials are equal to minors of a fixed matrix, which entries are formed of elementary symmetric polynomials. Such a formula is known as the second Jaccobi-Trudi identity.
About Code Equivalence -- a Geometric Approach
Published
• View Publication
• BIB
The equivalence test is a main part in any classification problem. It helps to prove bounds for the main parameters of the considered combinatorial structures and to study their properties. In this paper, we present algorithms for equivalence of linear codes, based on their relation to multisets of points in a projective geometry.
Mahonian and Euler-Mahonian statistics for set partitions
Published in Journal of Combinatorial Theory, Series A 192 (2022) 105668
• View Publication
• BIB
A partition of the set $[n]:=\{1,2,\ldots,n\}$ is a collection of disjoint nonempty subsets (or blocks) of $[n]$, whose union is $[n]$. In this paper we consider the following rarely used representation for set partitions: given a partition of $[n]$ with blocks $B_{1},B_{2},\ldots,B_{m}$ satisfying $\max B_{1}<\max B_{2}<\cdots<\max B_{m}$, we represent it by a word $w=w_{1}w_{2}\ldots w_{n}$ such that $i\in B_{w_{i}}$, $1\leq i\leq n$. We prove that the Mahonian statistics INV, MAJ, MAJ$_{d}$, $r$-MAJ, Z, DEN, MAK, MAD are all equidistributed on set partitions via this representation, and that the Euler-Mahonian statistics (des, MAJ), (mstc, INV), (exc, DEN), (des, MAK) are all equidistributed on set partitions via this representation.
Couplings and Matchings: Combinatorial notes on Strassen's theorem
Published
• View Publication
• BIB
Some mathematical theorems represent ideas that are discovered again and again in different forms. One such theorem is Hall's marriage theorem. This theorem is equivalent to several other theorems in combinatorics and optimization theory, in the sense that these results can easily be derived from each other. In this paper it is shown that this equivalence extends to a finite version of Strassen's theorem, a celebrated result on couplings of probability measures. Though this equivalence is known, probabilistic or combinatorial proofs of this fact are lacking. A novel combinatorial lemma will be introduced that can be used to deduce both Hall's and Strassen's theorems.
A proof of the Kotzig-Ringel-Rosa Conjecture
In graph theory, a graceful labeling of a graph with m edges is a labeling of its vertices with a subset of the integers ranging from 0 to m inclusive, such that no two vertices share a label, and each edge is uniquely identified by the absolute difference of labels assigned to its endpoints. The Kotzig-Ringel-Rosa conjecture asserts that every tree admits a graceful labeling. We provide a proof of this long standing conjecture via a functional reformulation of the conjecture and a composition lemma.
Bipolar oriented random planar maps with large faces and exotic SLE$_κ(ρ)$ processes
We consider bipolar oriented random planar maps with heavy-tailed face degrees. We show for each $α\in (1,2)$ that if the face degree is in the domain of attraction of an $α$-stable Lévy process, the corresponding random planar map has an infinite volume limit in the Benjamini-Schramm topology. We also show in the limit that the properly rescaled contour functions associated with the northwest and southeast trees converge in law to a certain correlated pair of $α$-stable Lévy processes. Combined with other work, this allows us to identify the scaling limit of the planar map with an SLE$_κ(ρ)$ process with $ρ= κ-4 < -2$ on $\sqrtκ$-Liouville quantum gravity for $κ\in (4/3,2)$ where $α, κ$ are related by $α= 4/κ-1$.