Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Tverberg Partition Graphs
Published
• View Publication
• BIB
Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number of vertices of maximal degree, its clique number, and its connectedness.
One n Remains to Settle the Tree Conjecture
In the famous network creation game of Fabrikant et al. a set of agents play a game to build a connected graph. The $n$ agents form the vertex set $V$ of the graph and each vertex $v\in V$ buys a set $E_v$ of edges inducing a graph $G=(V,\bigcup\limits_{v\in V} E_v)$. The private objective of each vertex is to minimize the sum of its building cost (the cost of the edges it buys) plus its connection cost (the total distance from itself to every other vertex). Given a cost of $α$ for each individual edge, a long-standing conjecture, called the tree conjecture, states that if $α> n$ then every Nash equilibrium graph in the game is a spanning tree. After a plethora of work, it is known that the conjecture holds for any $α>3n-3$. In this paper we prove the tree conjecture holds for $α>2n$. This reduces by half the open range for $α$ with only $[n, 2n)$ remaining in order to settle the conjecture.
Mean and variance of the longest alternating subsequence in a random separable permutation
Published
• View Publication
• BIB
A permutation is \it separable \rm if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of $[n]$, let the random variable $A_n$ denote the length of the longest alternating subsequence. Also, let $A_n^{+,-}$ denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define $A_n^{-,+}, A_n^{+,+}, A_n^{-,-}$ similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as $(2-\sqrt2)n\approx0.5858\thinspace n$. We also prove that the variance of any of the four random variables $A_n^{\pm,\pm}$ behaves asymptotically as $\frac{16-11\sqrt2}2n\approx0.2218\thinspace n$.
Lattices of varieties of plactic-like monoids
Published
• View Publication
• BIB
We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which varieties are joins of the variety of commutative monoids and a finitely generated variety. We also show that the hyposylvester and metasylvester monoids generate the same variety as the sylvester monoid.
Quantifying State Transfer Strength on Graphs with Involution
Published
• View Publication
• BIB
This paper discusses continuous-time quantum walks and asymptotic state transfer in graphs with an involution. By providing quantitative bounds on the eigenvectors of the Hamiltonian, it provides an approach to achieving high-fidelity state transfer by strategically selecting energy potentials based on the maximum degrees of the graphs. The study also involves an analysis of the time necessary for quantum transfer to occur.
Algebraic Connectivity Characterization of Ensemble Random Hypergraphs
Random hypergraph is a broad concept used to describe probability distributions over hypergraphs, which are mathematical structures with applications in various fields, e.g., complex systems in physics, computer science, social sciences, and network science. Ensemble methods, on the other hand, are crucial both in physics and machine learning. In physics, ensemble theory helps bridge the gap between the microscopic and macroscopic worlds, providing a statistical framework for understanding systems with a vast number of particles. In machine learning, ensemble methods are valuable because they improve predictive accuracy, reduce overfitting, lower prediction variance, mitigate bias, and capture complex relationships in data. However, there is limited research on applying ensemble methods to a set of random hypergraphs. This work aims to study the connectivity behavior of an ensemble of random hypergraphs. Specifically, it focuses on quantifying the random behavior of the algebraic connectivity of these ensembles through tail bounds. We utilize Laplacian tensors to represent these ensemble random hypergraphs and establish mathematical theorems, such as Courant-Fischer and Lieb-Seiringer theorems for tensors, to derive tail bounds for the algebraic connectivity. We derive three different tail bounds, i.e., Chernoff, Bennett, and Bernstein bounds, for the algebraic connectivity of ensemble hypergraphs with respect to different random hypergraphs assumptions.
On the edge reconstruction of the characteristic and permanental polynomials of a simple graph
Published
• View Publication
• BIB
As a variant of the Ulam's vertex reconstruction conjecture and the Harary's edge reconstruction conjecture, Cvetković and Schwenk posed independently the following problem: Can the characteristic polynomial of a simple graph $G$ with vertex set $V$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-v|v\in V\}$ for $|V|\geq 3$? This problem is still open. A natural problem is: Can the characteristic polynomial of a simple graph $G$ with edge set $E$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$? In this paper, we prove that if $|V|\neq |E|$, then the characteristic polynomial of $G$ can be reconstructed from the characteristic polynomials of all subgraphs in $\{G-uv, G-u-v|uv\in E\}$, and the similar result holds for the permanental polynomial of $G$. We also prove that the Laplacian (resp. signless Laplacian) characteristic polynomial of $G$ can be reconstructed from the Laplacian (resp. signless Laplacian) characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$ (resp. if $|V|\neq |E|$).
Antimagicness of Tensor product for some wheel related graphs with star
Published
• View Publication
• BIB
A graph $G$ with $p$ vertices and $q$ edges has an antimagic labelling if there is a bijection from the graph's edge set to the label set $\left\{1,2, \cdots, q \right\}$ such that $p$ vertices must have distinct vertex sums, where the vertex sums are determined by adding up all the edge labels incident to each vertex $v$ in $V(G)$. Hartsfield and Ringel \cite{Ringel1} in the book "Pearls in Graph Theory" conjectured that every connected graph is antimagic, with the exception of $P_2$. In this study, we identified a class of connected graphs that lend credence to the conjecture. In this article, we proved that the tensor product of a wheel and a star, a helm and a star, and a flower and a star is antimagic.
Borodin-Kostochka Conjecture holds for odd-hole-free graphs
Published
• View Publication
• BIB
The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq 9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. In this paper, we prove the Borodin-Kostochka Conjecture holding for odd-hole-free graphs.
On fundamental results for pushable homomorphisms of oriented graphs
This article deals with homomorphisms of oriented graphs with respect to push equivalence. Here homomorphisms refer to arc preserving vertex mappings, and push equivalence refers to the equivalence class of orientations of a graph $G$ those can be obtained from one another by reversing arcs of an edge cut. We study and prove some fundamental properties of pushable homomorphisms, and establish its connections to homomorphisms of signed graphs and graph coloring. To list a few highlights of this work:
$\bullet$ We characterize orientations of a graph up to push equivalence and show that it is possible to decide whether they are equivalent or not in polynomial time.
$\bullet$ We give a canonical definition of pushable homomorphism - this answers a natural open question.
$\bullet$ We build a one-to-one correspondence between the equivalence classes of oriented and signed bipartite graphs. Thus, it is possible to translate a number of important results directly from the theory of signed graphs to oriented graphs. In particular, we show that pushable homomorphisms of bipartite graphs capture the entire theory of graph coloring as a subcase.
$\bullet$ Given a graph $G$, we build a gadget oriented graph $\overrightarrow{G}^{(k)}$ which admits a pushable homomorphism to a directed odd cycle of length $(2k+1)$ if and only if $G$ admits a $(2k+1)$-coloring.
We also show that it is NP-complete to determine whether an oriented (sparse) graph admits a pushable homomorphism to a directed odd cycle or not.
A note on the structure coefficients of the centraliser algebra
Published
• View Publication
• BIB
In this note we generalize the definition of partial permutations of Ivanov and Kerov and we build a universal algebra which projects onto the m-centraliser algebra defined by Creedon. We use it to present a new proof for the polynomiality property of the structure coefficients of the m-centraliser algebra and to obtain upper bounds for the polynomial degrees.
Fuss-Catalan Triangles
For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an explicit formula counting simple lattice paths). Moreover, for some small values of $p$, the signed sums turn out to be known sequences. \end{abstract}
Sampling triangulations of manifolds using Monte Carlo methods
Published
• View Publication
• BIB
We propose a Monte Carlo method to efficiently find, count, and sample abstract triangulations of a given manifold M. The method is based on a biased random walk through all possible triangulations of M (in the Pachner graph), constructed by combining (bi-stellar) moves with suitable chosen accept/reject probabilities (Metropolis-Hastings). Asymptotically, the method guarantees that samples of triangulations are drawn at random from a chosen probability. This enables us not only to sample (rare) triangulations of particular interest but also to estimate the (extremely small) probability of obtaining them when isomorphism types of triangulations are sampled uniformly at random. We implement our general method for surface triangulations and 1-vertex triangulations of 3-manifolds. To showcase its usefulness, we present a number of experiments: (a) we recover asymptotic growth rates for the number of isomorphism types of simplicial triangulations of the 2-dimensional sphere; (b) we experimentally observe that the growth rate for the number of isomorphism types of 1-vertex triangulations of the 3-dimensional sphere appears to be singly exponential in the number of their tetrahedra; and (c) we present experimental evidence that a randomly chosen isomorphism type of 1-vertex n-tetrahedra 3-sphere triangulation, for n tending to infinity, almost surely shows a fixed edge-degree distribution which decays exponentially for large degrees, but shows non-monotonic behaviour for small degrees.
Cross-ratio degrees and triangulations
Published
• View Publication
• BIB
The cross-ratio degree problem counts configurations of n points on P^1 with n-3 prescribed cross-ratios. Cross-ratio degrees arise in many corners of combinatorics and geometry, but their structure is not well-understood in general. Interestingly, examining various special cases of the problem can yield combinatorial structures that are both diverse and rich. In this paper we prove a simple closed formula for a class of cross-ratio degrees indexed by triangulations of an n-gon; these degrees are connected to the geometry of the real locus of M_{0,n}, and to positive geometry.
Bounds on zero forcing using (upper) total domination and minimum degree
While a number of bounds are known on the zero forcing number $Z(G)$ of a graph $G$ expressed in terms of the order of a graph and maximum or minimum degree, we present two bounds that are related to the (upper) total domination number $γ_t(G)$ (resp. $Γ_t(G)$) of $G$. We prove that $Z(G)+γ_t(G)\le n(G)$ and $Z(G)+\frac{Γ_t(G)}{2}\le n(G)$ holds for any graph $G$ with no isolated vertices of order $n(G)$. Both bounds are sharp as demonstrated by several infinite families of graphs. In particular, we show that every graph $H$ is an induced subgraph of a graph $G$ with $Z(G)+\frac{Γ_t(G)}{2}=n(G)$. Furthermore, we prove a characterization of graphs with power domination equal to $1$, from which we derive a characterization of the extremal graphs attaining the trivial lower bound $Z(G)\ge δ(G)$. The class of graphs that appears in the corresponding characterizations is obtained by extending an idea from [D.D.~Row, A technique for computing the zero forcing number of a graph with a cut-vertex, Linear Alg.\ Appl.\ 436 (2012) 4423--4432], where the graphs with zero forcing number equal to $2$ were characterized.
The Alon-Tarsi number of $K_{3,3}$-minor-free graphs
Published
• View Publication
• BIB
The well known Wagner's theorem states that a graph is a planar graph if and only if it is $K_5$-minor-free and $K_{3,3}$-minor-free. Denote by $AT(G)$ the Alon-Tarsi number of a graph $G$. We show that for any $K_{3,3}$-minor-free graph $G$, $AT(G)\le 5$, there exists a matching $M$ and a forest $F$ such that $AT(G-M)\le 4$ and $AT(G-E(F))\le 3$, extending the result on the Alon-Tarsi number of $K_5$-minor-free graphs due to Abe, Kim and Ozeki.
Faster Location in Combinatorial Interaction Testing
Factors within a large-scale software system that simultaneously interact and strongly impact the system's response under a configuration are often difficult to identify. Although screening such a system for the existence of such interactions is important, determining their location is more useful for system engineers. Combinatorial interaction testing (CIT) concerns creation of test suites that nonadaptively either detect or locate the desired interactions, each of at most a specified size or show that no such set exists. Under the assumption that there are at most a given number of such interactions causing such a response, locating arrays (LAs) guarantee unique location for every such set of interactions and an algorithm to deal with outliers and nondeterministic behavior from real systems, we additionally require the LAs to have a "separation" between these collections. State-of-the-art approaches generate LAs that can locate at most one interaction of size at most three, due to the massive number of interaction combinations for larger parameters if no constraints are given. This paper presents LocAG, a two-stage algorithm that generates (unconstrained) LAs using a simple, but powerful partitioning strategy of these combinations. In particular, we are able to generate LAs with more factors, with any desired separation, and greater interaction size than existing approaches.
On $k$-vertex-edge domination of graph
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple undirected graph. The open neighbourhood of a vertex $v$ in $G$ is defined as $N_G(v)=\{u\in V~|~ uv\in E\}$; whereas the closed neighbourhood is defined as $N_G[v]= N_G(v)\cup \{v\}$. For an integer $k$, a subset $D\subseteq V$ is called a $k$-vertex-edge dominating set of $G$ if for every edge $uv\in E$, $|(N_G[u]\cup N_G[v]) \cap D|\geq k$. In $k$-vertex-edge domination problem, our goal is to find a $k$-vertex-edge dominating set of minimum cardinality of an input graph $G$. In this paper, we first prove that the decision version of $k$-vertex-edge domination problem is NP-complete for chordal graphs. On the positive side, we design a linear time algorithm for finding a minimum $k$-vertex-edge dominating set of tree. We also prove that there is a $O(\log(Δ(G)))$-approximation algorithm for this problem in general graph $G$, where $Δ(G)$ is the maximum degree of $G$. Then we show that for a graph $G$ with $n$ vertices, this problem cannot be approximated within a factor of $(1-ε) \ln n$ for any $ε>0$ unless $NP\subseteq DTIME(|V|^{O(\log\log|V|)})$. Finally, we prove that it is APX-complete for graphs with bounded degree $k+3$.
Algorithmic study on liar's vertex-edge domination problem
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. For an edge $e=xy\in E$, the closed neighbourhood of $e$, denoted by $N_G[e]$ or $N_G[xy]$, is the set $N_G[x]\cup N_G[y]$. A vertex set $L\subseteq V$ is liar's vertex-edge dominating set of a graph $G=(V,E)$ if for every $e_i\in E$, $|N_G[e_i]\cap L|\geq 2$ and for every pair of distinct edges $e_i$ and $e_j$, $|(N_G[e_i]\cup N_G[e_j])\cap L|\geq 3$. This paper introduces the notion of liar's vertex-edge domination which arises naturally from some applications in communication networks. Given a graph $G$, the \textsc{Minimum Liar's Vertex-Edge Domination Problem} (\textsc{MinLVEDP}) asks to find a liar's vertex-edge dominating set of $G$ of minimum cardinality. In this paper, we study this problem from algorithmic point of view. We show that \textsc{MinLVEDP} can be solved in linear time for trees, whereas the decision version of this problem is NP-complete for chordal graphs, bipartite graphs, and $p$-claw free graphs for $p\geq 4$. We further study approximation algorithms for this problem. We propose two approximation algorithms for \textsc{MinLVEDP} in general graphs and $p$-claw free graphs.
%We propose an $O(\ln Δ(G))$-approximation algorithm for \textsc{MinLVEDP} in general graphs, where $Δ(G)$ is the maximum degree of the input graph. Also, we design a constant factor approximation algorithm for $p$-claw free graphs.
On the negative side, we show that the \textsc{MinLVEDP} cannot be approximated within $\frac{1}{2}(\frac{1}{8}-ε)\ln|V|$ for any $ε>0$, unless $NP\subseteq DTIME(|V|^{O(\log(\log|V|)})$. Finally, we prove that the \textsc{MinLVEDP} is APX-complete for bounded degree graphs and $p$-claw free graphs for $p\geq 6$.
Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups
Published
• View Publication
• BIB
This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros cannot be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. We find empirically that almost all of the zeros are of a single classical type.