Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Rumors with Changing Credibility
Randomized rumor spreading processes diffuse information on an undirected graph and have been widely studied. In this work, we present a generic framework for analyzing a broad class of such processes on regular graphs. Our analysis is protocol-agnostic, as it only requires the expected proportion of newly informed vertices in each round to be bounded, and a natural negative correlation property.
This framework allows us to analyze various protocols, including PUSH, PULL, and PUSH-PULL, thereby extending prior research. Unlike previous work, our framework accommodates message failures at any time $t\geq 0$ with a probability of $1-q(t)$, where the credibility $q(t)$ is any function of time. This enables us to model real-world scenarios in which the transmissibility of rumors may fluctuate, as seen in the spread of ``fake news'' and viruses. Additionally, our framework is sufficiently broad to cover dynamic graphs.
New recursive constructions of amoebas and their balancing number
Published
• View Publication
• BIB
The definition of amoeba graphs is based on iterative \emph{feasible edge-replacements}, where, at each step, an edge from the graph is removed and placed in an available spot in a way that the resulting graph is isomorphic to the original graph. Broadly speaking, amoebas are graphs that, by means of a chain of feasible edge-replacements, can be transformed into any other copy of itself on a given vertex set (which is defined according to whether these are local or global amoebas). Global amoebas were born as examples of \emph{balanceable} graphs, which are graphs that appear with half of their edges in each color in any $2$-edge coloring of a large enough complete graph with a sufficient amount of edges in each color. The least amount of edges required in each color is called the \emph{balancing number} of $G$. In a work by Caro et al., an infinite family of global amoeba trees with arbitrarily large maximum degree is presented, and the question if they were also local amoebas is raised. In this paper, we provide a recursive construction to generate very diverse infinite families of local and global amoebas, by which not only this question is answered positively, it also yields an efficient algorithm that, given any copy of the graph on the same vertex set, provides a chain of feasible edge-replacements that one can perform in order to move the graph into the aimed copy. All results are illustrated by applying them to three different families of local amoebas, including the Fibonacci-type trees. Concerning the balancing number of a global amoeba $G$, we are able to express it in terms of the extremal number of a class of subgraphs of $G$. By means of this, we give a general lower bound for the balancing number of a global amoeba $G$, and we provide linear (in terms of order) lower and upper bounds for the balancing number of our three case studies.
On the Complexity of the Median and Closest Permutation Problems
Published
• View Publication
• BIB
Genome rearrangements are events where large blocks of DNA exchange places during evolution. The analysis of these events is a promising tool for understanding evolutionary genomics, providing data for phylogenetic reconstruction based on genome rearrangement measures. Many pairwise rearrangement distances have been proposed, based on finding the minimum number of rearrangement events to transform one genome into the other, using some predefined operation. When more than two genomes are considered, we have the more challenging problem of rearrangement-based phylogeny reconstruction. Given a set of genomes and a distance notion, there are at least two natural ways to define the "target" genome. On the one hand, finding a genome that minimizes the sum of the distances from this to any other, called the median genome. Finding a genome that minimizes the maximum distance to any other, called the closest genome. Considering genomes as permutations, some distance metrics have been extensively studied. We investigate median and closest problems on permutations over the metrics: breakpoint, swap, block-interchange, short-block-move, and transposition. In biological matters some values are usually small, such as the solution value d or the number k of input permutations. For each of these metrics and parameters d or k, we analyze the closest and the median problems from the viewpoint of parameterized complexity. We obtain the following results: NP-hardness for finding the median/closest permutation for some metrics, even for k = 3; Polynomial kernels for the problems of finding the median permutation of all studied metrics, considering the target distance d as parameter; NP-hardness result for finding the closest permutation by short-block-moves; FPT algorithms and infeasibility of polynomial kernels for finding the closest permutation for some metrics parameterized by the target distance d.
Composition schemes: q-enumerations and phase transitions
Published in LIPIcs, Volume 302, pp. 7:1-7:18, 2024
• View Publication
• BIB
Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of~$q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). For structures enumerated by a composition scheme, we prove a phase transition for any parameter having such a Gibbs measure: for a critical value $q=q_c$, the limit law of the parameter is a two-parameter Mittag-Leffler distribution, while it is Gaussian in the supercritical regime ($q>q_c$), and it is a Boltzmann distribution in the subcritical regime ($0<q<q_c$). We apply our results to fundamental statistics of lattice paths and quarter-plane walks. We also explain previously observed limit laws for pattern-restricted permutations, and a phenomenon uncovered by Krattenthaler for the wall contacts in watermelons.
Equivariant Ehrhart theory, commutative algebra and invariant triangulations of polytopes
Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations on the underlying lattice and preserving the polytope. We further develop equivariant Ehrhart theory in part by establishing connections with commutative algebra as well as the question of when there exists an invariant lattice triangulation of a lattice polytope.
Representation theoretic interpretation of the Springer correspondence for dihedral groups
The Lusztig-Shoji algorithm is generalized to a complex reflection group $W$ and give us a version of the Springer correspondence of $W$. We show that the combinatorics of generalized Springer correspondences of dihedral groups of order $2n$ exhibit the Brauer-Humphreys type reciprocity as in the case of Weyl groups for odd $n$, and these constitute a major portion of the stratification of the natural module categories attached to them.
Intersections of Dual $SL_3$-Webs
Published
• View Publication
• BIB
We introduce a topological intersection number for an ordered pair of $\operatorname{SL}_3$-webs on a decorated surface. Using this intersection pairing between reduced $(\operatorname{SL}_3,\mathcal{A})$-webs and a collection of $(\operatorname{SL}_3,\mathcal{X})$-webs associated with the Fock--Goncharov cluster coordinates, we provide a natural combinatorial interpretation of the bijection from the set of reduced $(\operatorname{SL}_3,\mathcal{A})$-webs to the tropical set $\mathcal{A}^+_{\operatorname{PGL}_3,\hat{S}}(\mathbb{Z}^t)$, as established by Douglas and Sun in \cite{DS20a, DS20b}. We provide a new proof of the flip equivariance of the above bijection, which is crucial for proving the Fock--Goncharov duality conjecture of higher Teichmüller spaces for $\operatorname{SL}_3$.
Extremal results for $\mathcal{K}^-_{r + 1}$-free signed graphs
Published
• View Publication
• BIB
This paper gives tight upper bounds on the number of edges and the index for $\mathcal{K}^-_{r + 1}$-free unbalanced signed graphs, where $\mathcal{K}^-_{r + 1}$ is the set of $r+1$-vertices unbalanced signed complete graphs.
\indent We first prove that if $Γ$ is an $n$-vertices $\mathcal{K}^-_{r + 1}$-free unbalanced signed graph, then the number of edges of $Γ$ is $$e(Γ) \leq \frac{n(n-1)}{2} - (n - r ).$$
\indent Let $Γ_{1,r-2}$ be a signed graph obtained by adding one negative edge and $r - 2$ positive edges between a vertex and an all positive signed complete graph $K_{n - 1}$.
Secondly, we show that if $Γ$ is an $n$-vertices $\mathcal{K}^-_{r + 1}$-free unbalanced signed graph, then the index of $Γ$ is
$$λ_{1}(Γ) \leq λ_{1}(Γ_{1,r-2}), $$ with equality holding if and only if $Γ$ is switching equivalent to $Γ_{1,r-2}$.
\indent It is shown that these results are significant in extremal graph theory.
Because they can be regarded as extensions of Tur{á}n's Theorem [Math. Fiz. Lapok 48 (1941) 436--452] and spectral Tur{á}n problem [Linear Algebra Appl. 428 (2008) 1492--1498] on signed graphs, respectively.
Furthermore, the second result partly resolves a recent open problem raised by Wang [arXiv preprint arXiv:2309.15434 (2023)].
Succinct Encodings of Binary Trees with Application to AVL Trees
Published
• View Publication
• BIB
We use a novel decomposition to create succinct data structures -- supporting a wide range of operations on static trees in constant time -- for a variety tree classes, extending results of Munro, Nicholson, Benkner, and Wild. Motivated by the class of AVL trees, we further derive asymptotics for the information-theoretic lower bound on the number of bits needed to store tree classes whose generating functions satisfy certain functional equations. In particular, we prove that AVL trees require approximately $0.938$ bits per node to encode.
An algorithmic approach in constructing infinitely many even size graphs with local antimagic chromatic number 3
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we first introduce an algorithmic approach to construct a family of infinitely many even size non-regular tripartite graphs with $t\ge 1$ component(s) in which every component, called a {\it Luv} graph, is of odd order $p\ge 9$ and size $q=n(p+1)$ for $n\ge 2$. We show that every graph in this family has local antimagic chromatic number 3. We then allowed the $m$-th component to have order $p_m\ge 9$ and size $n_m(p_m+1)$ for $n_m\ge 2, 1\le m\le t$. We also proved that every such graph with all components having same order and size also has local antimagic chromatic number 3. Lastly, we constructed another family of infinitely many graphs such that different components may have different order and size all of which having local antimagic chromatic number 3. Consequently, many other families of (possibly disconnected) graphs with local antimagic chromatic number 3 are also constructed.
$k$-dimensional transversals for fat convex sets
Published
• View Publication
• BIB
We prove a fractional Helly theorem for $k$-flats intersecting fat convex sets. A family $\mathcal{F}$ of sets is said to be $ρ$-fat if every set in the family contains a ball and is contained in a ball such that the ratio of the radii of these balls is bounded by $ρ$. We prove that for every dimension $d$ and positive reals $ρ$ and $α$ there exists a positive $β=β(d,ρ, α)$ such that if $\mathcal{F}$ is a finite family of $ρ$-fat convex sets in $\mathbb{R}^d$ and an $α$-fraction of the $(k+2)$-size subfamilies from $\mathcal{F}$ can be hit by a $k$-flat, then there is a $k$-flat that intersects at least a $β$-fraction of the sets of $\mathcal{F}$. We prove spherical and colorful variants of the above results and prove a $(p,k+2)$-theorem for $k$-flats intersecting balls.
On the Structure of Permutation Invariant Parking
We continue the study of parking assortments, a generalization of parking functions introduced by Chen, Harris, Martínez, Pabón-Cancel, and Sargent. Given $n$ cars of lengths $\mathbf{y}=(y_1,y_2,\dots,y_n) \in \mathbb{N}^n$, we focus on the sets $\mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$ and $\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$ of permutation invariant (resp. nondecreasing) parking assortments for $\mathbf{y}$. For $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$, we introduce the degree of $\mathbf{x}$, the number of non-$1$ entries of $\mathbf{x}$, and the characteristic $χ(\mathbf{y})$ of $\mathbf{y}$, the greatest degree of $\mathbf{z} \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y})$. We establish direct necessary conditions for $\mathbf{y}$ with $χ(\mathbf{y})=0$ and a characterization for $\mathbf{y}$ with $χ(\mathbf{y})=n-1$. For the latter, we derive a closed form for its invariant parking set and enumerate its size using properties of the Pitman-Stanley polytope. Next, we prove closure and embedding properties of the invariant parking set. We apply these results to study the degree as a function and the characteristic under sequences of successive prefix length vectors. We then examine the invariant solution set $\mathcal{W}(\mathbf{y})=\{ w \in \mathbb{N}:(1^{n-1},w) \in \mathsf{PA}^{\mathrm{inv}}_n(\mathbf{y}) \}$. We obtain tight upper bounds of this set and prove that its size is at most $2^{n-1}$, providing constraints on the subsequence sums of $\mathbf{y}$ for equality to hold. Finally, we show that if $\mathbf{x} \in \mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})$, then $\mathbf{x} \in \{ 1 \}^{n-χ(\mathbf{y})} \times \mathcal{W}(\mathbf{y})^{χ(\mathbf{y})}$, which implies a new upper bound on $|\mathsf{PA}^{\mathrm{inv},\uparrow}_n(\mathbf{y})|$. Our results generalize several theorems by Chen et al.
On the Number of Degenerate Simplex Pivots
Published
• View Publication
• BIB
The simplex algorithm is one of the most popular algorithms to solve linear programs (LPs). Starting at an extreme point solution of an LP, it performs a sequence of basis exchanges (called pivots) that allows one to move to a better extreme point along an improving edge-direction of the underlying polyhedron. A key issue in the simplex algorithm's performance is degeneracy, which may lead to a (potentially long) sequence of basis exchanges which do not change the current extreme point solution. In this paper, we prove that it is always possible to limit the number of consecutive degenerate pivots that the simplex algorithm performs to $n-m-1$, where $n$ is the number of variables and $m$ is the number of equality constraints of a given LP in standard equality form.
The minimum degree of minimal $k$-factor-critical claw-free graphs*
A graph $G$ of order $n$ is said to be $k$-factor-critical for integers $1\leq k< n$, if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph is minimal if for every edge, the deletion of it results in a graph that is not $k$-factor-critical. In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical graph has minimum degree $k+1$. In this paper, we confirm the conjecture for minimal $k$-factor-critical claw-free graphs. Moreover, we show that every minimal $k$-factor-critical claw-free graph $G$ has at least $\frac{k-1}{2k}|V(G)|$ vertices of degree $k+1$ in the case of $(k+1)$-connected, yielding further evidence for S. Norine and R. Thomas' conjecture on the minimum degree of minimal bricks when $k=2$.
Strongly dominant weight polytopes are cubes
For any root system of rank $r$, we study the "dominant weight polytope" $P^λ$ associated with a strongly dominant weight $λ$. We prove that $P^λ$ is combinatorially equivalent to the $r$-dimensional cube. As an application, we give a new proof of the known formulas for Betti numbers of Peterson varieties in classical Lie types.
Signed Real Hurwitz numbers
In this paper, we enumerate with signs the holomorphic maps between Real Riemann surfaces. We relate the signs and the numbers obtained to the Real Gromov-Witten theory of the target. For a finite group $G$ with a non-trivial morphism to $\{ \pm 1 \}$, we present a signed count of principal $G$-bundles yielding a Klein Topological Quantum Field Theory.
Low-lying geodesics on the modular surface and necklaces
Published
• View Publication
• BIB
The m-thick part of the modular surface X is the smallest compact subsurface of X with horocycle boundary containing all the closed geodesics which wind around the cusp at most m times. The m-thick parts form a compact exhaustion of X. We are interested in the geodesics that lie in the m-thick part (so called m low-lying geodesics). We produce a complete asymptotic expansion for the number of m low-lying geodesics of length equal to 2n in the modular surface. In particular, we obtain the asymptotic growth rate of the m low-lying geodesics in terms of their word length using the natural generators of the modular group. After establishing a correspondence between this counting problem and the problem of counting necklaces with n beads, we perform a careful singularity analysis on the associated generating function of the sequence.
An Unexpected Class of 5+gon-free Line Patterns
Published
• View Publication
• BIB
Let $S$ be a finite subset of ${\mathbb R}^2 \setminus (0,0)$. Generally, one would expect the pattern of lines $Ax + By = 1$, where $(A, B) \in S$ to contain polygons of all shapes and sizes. We show, however, that when $S$ is a rectangular subset of the integer lattice or a closely related set, no polygons with more than 4 sides occur. In the process, we develop a general theorem that explains how to find the next side as one travels around the boundary of a cell.
Orientable total domination in graphs
Published
• View Publication
• BIB
Given a directed graph $D$, a set $S \subseteq V(D)$ is a total dominating set of $D$ if each vertex in $D$ has an in-neighbor in $S$. The total domination number of $D$, denoted $γ_t(D)$, is the minimum cardinality among all total dominating sets of $D$. Given an undirected graph $G$, we study the maximum and minimum total domination numbers among all orientations of $G$. That is, we study the upper (or lower) orientable domination number of $G$, $\rm{DOM}_t(G)$ (or $\rm{dom}_t(G)$), which is the largest (or smallest) total domination number over all orientations of $G$. We characterize those graphs with $\rm{DOM}_t(G) =\rm{dom}_t(G)$ when the girth is at least $7$ as well as those graphs with $\rm{dom}_t(G) = |V(G)|-1$. We also consider how these parameters are effected by removing a vertex from $G$, give exact values of $\rm{DOM}_t(K_{m,n})$ and $\rm{dom}_t(K_{m,n})$ and bound these parameters when $G$ is a grid graph.
Random generation of group elements using combinatorial group theory and automata theory, along with a hardware example
In this paper, we introduce a novel approach for generating random elements of a finite group given a set of generators of that. Our method draws upon combinatorial group theory and automata theory to achieve this objective. Furthermore, we explore the application of this method in generating random elements of a particularly significant group, namely the symmetric group (or group of permutations on a set). Through rigorous analysis, we demonstrate that our proposed method requires fewer average swaps to generate permutations compared to existing approaches. However, recognizing the need for practical applications, we propose a hardware-based implementation based on our theoretical approach, and provide a comprehensive comparison with previous methods. Our evaluation reveals that our method outperforms existing approaches in certain scenarios. Although our primary proposed method only aims to speed up the shuffling and does not decrease its time complexity, we also extend our method to improve the time complexity.