natural ↗ reference
4908 papers tagged with this keyword
Most rigid representation and Cayley index of finitely generated groups
Published in The Electronic Journal of Combinatorics, Vol. 29, Issue 4 (2022)
• View Publication
• BIB
If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this characterization by showing that the Cayley index is $2$ in the remaining cases and is attained for a finite generating set.
Improved Bounds for the Oriented Radius of Mixed Multigraphs
Published
• View Publication
• BIB
A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current best upper bound of $4r^2+4r$ on $f(r)$ [Chung, Garey and Tarjan, Networks, 1985] to $1.5 r^2 + r + 1$. Our upper bound is tight upto a multiplicative factor of $1.5$ since, $\forall r \in \mathbb{N}$, there exists an undirected bridgeless graph of radius $r$ such that every orientation of it has radius at least $r^2 + r$ [Chvátal and Thomassen, J. Comb. Theory. Ser. B., 1978]. We prove a marginally better lower bound, $f(r) \geq r^2 + 3r + 1$, for mixed multigraphs. While this marginal improvement does not help with asymptotic estimates, it clears a natural suspicion that, like undirected graphs, $f(r)$ may be equal to $r^2 + r$ even for mixed multigraphs. En route, we show that if each edge of $G$ lies in a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5 r η$. All our proofs are constructive and lend themselves to polynomial time algorithms.
Classes of intersection digraphs with good algorithmic properties
Published
• View Publication
• BIB
An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if $S_v\cap T_v\neq \emptyset$ for every vertex $v$. Compared to well-known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim-width, we introduce its directed analogue called `bi-mim-width' and prove that various classes of reflexive intersection digraphs have bounded bi-mim-width. In particular, we show that as a natural extension of $H$-graphs, reflexive $H$-digraphs have linear bi-mim-width at most $12|E(H)|$, which extends a bound on the linear mim-width of $H$-graphs [On the Tractability of Optimization Problems on $H$-Graphs. Algorithmica 2020]. For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial-time algorithms for these problems on digraphs of bounded bi-mim-width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed $H$-Homomorphism.
Approximation schemes for bounded distance problems on fractionally treewidth-fragile graphs
We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally treewidth-fragile graph classes, a property that is true for many natural graph classes with sublinear separators. We also provide quasipolynomial-time approximation schemes for these problems in all classes with sublinear separators.
Measuring tree balance using symmetry nodes -- a new balance index and its extremal properties
Published
• View Publication
• BIB
Effects like selection in evolution as well as fertility inheritance in the development of populations can lead to a higher degree of asymmetry in evolutionary trees than expected under a null hypothesis. To identify and quantify such influences, various balance indices were proposed in the phylogenetic literature and have been in use for decades.
However, so far no balance index was based on the number of \emph{symmetry nodes}, even though symmetry nodes play an important role in other areas of mathematical phylogenetics and despite the fact that symmetry nodes are a quite natural way to measure balance or symmetry of a given tree.
The aim of this manuscript is thus twofold: First, we will introduce the \emph{symmetry nodes index} as an index for measuring balance of phylogenetic trees and analyze its extremal properties. We also show that this index can be calculated in linear time. This new index turns out to be a generalization of a simple and well-known balance index, namely the \emph{cherry index}, as well as a specialization of another, less established, balance index, namely \emph{Rogers' $J$ index}. Thus, it is the second objective of the present manuscript to compare the new symmetry nodes index to these two indices and to underline its advantages. In order to do so, we will derive some extremal properties of the cherry index and Rogers' $J$ index along the way and thus complement existing studies on these indices. Moreover, we used the programming language \textsf{R} to implement all three indices in the software package \textsf{symmeTree}, which has been made publicly available.
Root polytopes and Jaeger-type dissections for directed graphs
Published in Mathematika 68 (2022), no. 4, 1176--1220
• View Publication
• BIB
We associate root polytopes to directed graphs and study them by using ribbon structures. Most attention is paid to what we call the semi-balanced case, i.e., when each cycle has the same number of edges pointing in the two directions. Given a ribbon structure, we identify a natural class of spanning trees and show that, in the semi-balanced case, they induce a shellable dissection of the root polytope into maximal simplices. This allows for a computation of the $h^*$-vector of the polytope and for showing some properties of this new graph invariant, such as a product formula and that in the planar case, the $h^*$-vector is equivalent to the greedoid polynomial of the dual graph. We obtain a general recursion relation as well. We also work out the case of layer-complete directed graphs, where our method recovers a previously known triangulation. Indeed our dissection is often but not always a triangulation; we address this with a series of examples.
Flip Signatures
Published
• View Publication
• BIB
A $D_{\infty}$-topological Markov chain is a topological Markov chain provided with an action of the infinite dihedral group $D_{\infty}$. It is defined by two zero-one square matrices $A$ and $J$ satisfying $AJ=JA^{\textsf{T}}$ and $J^2=I$. Flip signature is obtained from symmetric bilinear forms with respect to $J$ on the eventual kernel of $A$. We modify Williams' decomposition theorem to prove flip signature is a $D_{\infty}$-conjugacy invariant. We introduce natural $D_{\infty}$-actions on Ashley's eight-by-eight and the full two-shift. The Flip signatures show that Ashley's eight-by-eight and the full two-shift equipped with the natural $D_{\infty}$-actions are not $D_{\infty}$-conjugate. We also discuss the notion of $D_{\infty}$-shift equivalence and the Lind zeta function.
Extremal values of semi-regular continuants and codings of interval exchange transformations
Published in Mathematika 69 (2023) 432-457
• View Publication
• BIB
Given a set $A$ of positive integers $a_1<\cdots<a_k$ and a partition $P: n_1+\cdots+n_k=n$, find the extremal denominators of the regular and semi-regular continued fraction $[0;x_1,\ldots,x_n]$ with partial quotients $x_i\in A$ and where each $a_i$ occurs exactly $n_i$ times in $x_1,\ldots,x_n$. In 1983, G. Ramharter gave an explicit description of the extremal arrangements of the regular continued fraction and the minimizing arrangement for the semi-regular continued fraction and showed that in each case the arrangement is unique up to reversal and independent of the actual values of the integers $a_i$. However, an explicit determination of a maximizing arrangement for the semi-regular continuant turned out to be more difficult. Ramharter conjectured that as in the other three cases, the maximizing arrangement is unique up to reversal and depends only on the partition $P$ and not on the values of the $a_i$. He further verified the conjecture in the case of a binary $A$. In this paper we confirm Ramharter's conjecture for sets $A$ with $|A|=3$ and give an algorithmic construction for the unique maximizing arrangement. We also show that Ramharter's conjecture fails for sets with $|A|\geq 4$, as the maximizing arrangement is in general neither unique nor independent of the values of the digits in $A$. The central idea is that the extremal arrangements satisfy a strong combinatorial condition, which may also be stated in the context of infinite sequences on an ordered set. We show that for bi-infinite binary words, this condition coincides with the Markoff property, discovered by A.A. Markoff in 1879 in his study of minima of binary quadratic forms. We further show that this same combinatorial condition is the fundamental property which describes the orbit structure of the natural codings of points under a symmetric $k$-interval exchange transformation.
Modular plethystic isomorphisms for two-dimensional linear groups
Published
• View Publication
• BIB
Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar explicit generalisation of the classical Wronskian isomorphism, namely $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \bigwedge^m \mathrm{Sym}^{\ell+m-1} E$. We also generalise a result first proved by King, by showing that if $\nabla^λ$ is the Schur functor for the partition $λ$ and $λ^\circ$ is the complement of $λ$ in a rectangle with $\ell+1$ rows, then $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ^\circ} \mathrm{Sym}_\ell E$. To illustrate that the existence of such `plethystic isomorphisms' is far from obvious, we end by proving that the generalisation $\nabla^λ\mathrm{Sym}^\ell E \cong \nabla^{λ'} \mathrm{Sym}^{\ell + \ell(λ') - \ell(λ)}E$ of the Wronskian isomorphism, known to hold for a large class of partitions over the complex field, does not generalise to fields of prime characteristic, even after considering all possible dualities.
Generalized Kings and Single-Elimination Winners in Random Tournaments
Published in Autonomous Agents and Multi-Agent Systems, 36(2):28 (2022)
• View Publication
• BIB
Tournaments can be used to model a variety of practical scenarios including sports competitions and elections. A natural notion of strength of alternatives in a tournament is a generalized king: an alternative is said to be a $k$-king if it can reach every other alternative in the tournament via a directed path of length at most $k$. In this paper, we provide an almost complete characterization of the probability threshold such that all, a large number, or a small number of alternatives are $k$-kings with high probability in two random models. We show that, perhaps surprisingly, all changes in the threshold occur in the range of constant $k$, with the biggest change being between $k=2$ and $k=3$. In addition, we establish an asymptotically tight bound on the probability threshold for which all alternatives are likely able to win a single-elimination tournament under some bracket.
A universal identity for theta functions of degree eight and applications
Published in Hardy-Ramanujan Journal, 43 (2020)
• View Publication
• BIB
Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we will use this identity to reexamine our work in theta function identities in the past two decades. Hundreds of results about elliptic modular functions, both classical and new, are derived from this identity with ease. Essentially, this general theta function identity is a theta identities generating machine. Our investigation shows that many well-known results about elliptic modular functions with different appearances due to Jacobi, Kiepert, Ramanujan and Weierstrass among others, actually share a common source. This paper can also be seen as a summary of my past work on theta function identities. A conjecture is also proposed.
Graph Similarity and Homomorphism Densities
We introduce the tree distance, a new distance measure on graphs. The tree distance can be computed in polynomial time with standard methods from convex optimization. It is based on the notion of fractional isomorphism, a characterization based on a natural system of linear equations whose integer solutions correspond to graph isomorphism. By results of Tinhofer (1986, 1991) and Dvořák (2010), two graphs G and H are fractionally isomorphic if and only if, for every tree T, the number of homomorphisms from T to G equals the corresponding number from T to H, which means that the tree distance of G and H is zero. Our main result is that this correspondence between the equivalence relations "fractional isomorphism" and "equal tree homomorphism densities" can be extended to a correspondence between the associated distance measures. Our result is inspired by a similar result due to Lovász and Szegedy (2006) and Borgs, Chayes, Lovász, Sós, and Vesztergombi (2008) that connects the cut distance of graphs to their homomorphism densities (over all graphs), which is a fundamental theorem in the theory of graph limits. We also introduce the path distance of graphs and take the corresponding result of Dell, Grohe, and Rattan (2018) for exact path homomorphism counts to an approximate level. Our results answer an open question of Grohe (2020).
We establish our main results by generalizing our definitions to graphons as this allows us to apply techniques from functional analysis. We prove the fairly general statement that, for every "reasonably" defined graphon pseudometric, an exact correspondence to homomorphism densities can be turned into an approximate one. We also provide an example of a distance measure that violates this reasonableness condition. This incidentally answers an open question of Grebík and Rocha (2021).
Reflection length with two parameters in the asymptotic representation theory of type B/C and applications
We introduce a two-parameter function $φ_{q_+,q_-}$ on the infinite hyperoctahedral group, which is a bivariate refinement of the reflection length keeping track of the long and the short reflections separately. We show that this signed reflection function $φ_{q_+,q_-}$ is positive definite if and only if it is an extreme character of the infinite hyperoctahedral group and we classify the corresponding set of parameters $q_+,q_-$. We construct the corresponding representations through a natural action of the hyperoctahedral group $B(n)$ on the tensor product of $n$ copies of a vector space, which gives a two-parameter analog of the classical construction of Schur--Weyl.
We apply our classification to construct a cyclic Fock space of type B generalizing the one-parameter construction in type A found previously by Bożejko and Guta. We also construct a new Gaussian operator acting on the cyclic Fock space of type B and we relate its moments with the Askey--Wimp--Kerov distribution by using the notion of cycles on pair-partitions, which we introduce here. Finally, we explain how to solve the analogous problem for the Coxeter groups of type D by using our main result.
(1+1+2)-generated lattices of quasiorders
Published
• View Publication
• BIB
A lattice is $(1+1+2)$-generated if it has a four-element generating set such that exactly two of the four generators are comparable. We prove that the lattice Quo$(n)$ of all quasiorders (also known as preorders) of an $n$-element set is $(1+1+2)$-generated for $n=3$ (trivially), $n=6$ (when Quo(6) consists of $209\,527$ elements), n=11, and for every natural number $n\geq 13$. In 2017, the second author and J. Kulin proved that Quo$(n)$ is $(1+1+2)$-generated if either $n$ is odd and at least $13$ or $n$ is even and at least $56$. Compared to the 2017 result, this paper presents twenty-four new numbers $n$ such that Quo$(n)$ is $(1+1+2)$-generated. Except for Quo(6), an extension of Zádori's method is used.
External points to a conic from a Baer subplane
Published
• View Publication
• BIB
For an irreducible conic $\mathcal C$ in a Desarguesian plane of odd square order, estimating the number of points from a Baer subplane which are external to $\mathcal C$ is a natural problem. In this paper, a complete list of possibilities is determined for the case where $\mathcal C$ shares at least one point with the subplane.
Robust Connectivity of Graphs on Surfaces
Published in SIAM Journal on Discrete Mathematics 36(2), 1416-1435, 2022
• View Publication
• BIB
Let $Λ(T)$ denote the set of leaves in a tree $T$. One natural problem is to look for a spanning tree $T$ of a given graph $G$ such that $Λ(T)$ is as large as possible. This problem is called maximum leaf number, and it is a well-known NP-hard problem. Throughout recent decades, this problem has received considerable attention, ranging from pure graph theoretic questions to practical problems related to the construction of wireless networks.
Recently, a similar but stronger notion was defined by Bradshaw, Masařík, and Stacho [Flexible List Colorings in Graphs with Special Degeneracy Conditions, ISAAC 2020]. They introduced a new invariant for a graph $G$, called the robust connectivity and written $κ_ρ(G)$, defined as the minimum value $\frac{|R \cap Λ(T)|}{|R|}$ taken over all nonempty subsets $R\subseteq V(G)$, where $T = T(R)$ is a spanning tree on $G$ chosen to maximize $|R \cap Λ(T)|$. Large robust connectivity was originally used to show flexible choosability in non-regular graphs.
In this paper, we investigate some interesting properties of robust connectivity for graphs embedded in surfaces. We prove a tight asymptotic bound of $Ω(γ^{-\frac{1}{r}})$ for the robust connectivity of $r$-connected graphs of Euler genus $γ$. Moreover, we give a surprising connection between the robust connectivity of graphs with an edge-maximal embedding in a surface and the surface connectivity of that surface, which describes to what extent large induced subgraphs of embedded graphs can be cut out from the surface without splitting the surface into multiple parts. For planar graphs, this connection provides an equivalent formulation of a long-standing conjecture of Albertson and Berman [A conjecture on planar graphs, 1979], which states that every planar graph on $n$ vertices contains an induced forest of size at least $n/2$.
Power sum polynomials in a discrete tomography perspective
Published
• View Publication
• BIB
For a point of the projective space $\PG(n,q)$, its Rédei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the Rédei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tomography. In this paper we deal with the two-dimensional case and show that the notion of ghost, whose employment enables to find all solutions of the tomographic problem, can be rephrased in the finite geometry context, where subsets with null power sum polynomial are called ghosts as well. In the latter case, one can add ghosts still preserving the power sum polynomial by means of the multiset sum (modulo the field characteristic). We prove some general results on ghosts in $\PG(2,q)$ and compute their number in case $q$ is a prime.
The linear programming relaxation permutation symmetry group of an orthogonal array defining integer linear program
Published in LMS Journal of Computation and Mathematics, 19, (2016), 206-216
• View Publication
• BIB
There is always a natural embedding of $S_s\wr S_k$ into the linear programming (LP) relaxation permutation symmetry group of an orthogonal array integer linear programming (ILP) formulation with equality constraints.
The point of this paper is to prove that in the $2$ level, strength $1$ case the LP relaxation permutation symmetry group of this formulation is isomorphic to $S_2\wr S_k$ for all $k$, and in the $2$ level, strength $2$ case it is isomorphic to $S_2^k\rtimes S_{k+1}$ for $k\geq 4$. The strength $2$ result reveals previously unknown permutation symmetries that can not be captured by the natural embedding of $S_2\wr S_k$. We also conjecture a complete characterization of the LP relaxation permutation symmetry group of the ILP formulation.
Several consequences of adding or removing an edge from an electric network
In certain instances an electric network transforms in natural ways by the addition or removal of an edge. This can have interesting consequences for random walks, in light of the known relationships between electric resistance and random walks. We exhibit several instances in which this can be used to prove facts or simplify calculations. In particular, a new proof is given for the formula for the expected return time of a random walk on a graph. We also show how hitting times can be calculated in certain instances when a network differs from a highly symmetric one by one edge.
Scattered Factor Universality -- The Power of the Remainder
Scattered factor (circular) universality was firstly introduced by Barker et al. in 2020. A word $w$ is called $k$-universal for some natural number $k$, if every word of length $k$ of $w$'s alphabet occurs as a scattered factor in $w$; it is called circular $k$-universal if a conjugate of $w$ is $k$-universal. Here, a word $u=u_1\cdots u_n$ is called a scattered factor of $w$ if $u$ is obtained from $w$ by deleting parts of $w$, i.e. there exists (possibly empty) words $v_1,\dots,v_{n+1}$ with $w=v_1u_1v_2\cdots v_nu_nv_{n+1}$. In this work, we prove two problems, left open in the aforementioned paper, namely a generalisation of one of their main theorems to arbitrary alphabets and a slight modification of another theorem such that we characterise the circular universality by the universality. On the way, we present deep insights into the behaviour of the remainder of the so called arch factorisation by Hebrard when repetitions of words are considered.