Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Real phase structures on tropical manifolds and patchworks in higher codimension
Published
• View Publication
• BIB
This paper generalises the homeomorphism theorem behind Viro's combinatorial patchworking of hypersurfaces in toric varieties to arbitrary codimension using tropical geometry. We first define the patchwork of a polyhedral space equipped with a real phase structure. When the polyhedral subspace is tropically non-singular, we show that the patchwork is a topological manifold. When a non-singular tropical variety appears as a tropical limit of a real analytic family, we show that the real part of a fibre of the family near the tropical limit is homeomorphic to the patchwork.
Finally we extend the spectral sequence introduced by the last two authors in the case of hypersurfaces to non-singular tropical varieties with real phase structures. As a corollary, we obtain bounds on the Betti numbers of the patchwork in terms of the dimensions of the tropical homology groups with coefficients modulo two.
A note on digraph splitting
Published in Combinator. Probab. Comp. 34 (2025) 559-564
• View Publication
• BIB
A tantalizing open problem, posed independently by Stiebitz in 1995 and by Alon in 2006, asks whether for every pair of integers $s,t \ge 1$ there exists a finite number $F(s,t)$ such that the vertex set of every digraph of minimum out-degree at least $F(s,t)$ can be partitioned into non-empty parts $A$ and $B$ such that the subdigraphs induced on $A$ and $B$ have minimum out-degree at least $s$ and $t$, respectively.
In this short note, we prove that if $F(2,2)$ exists, then all the numbers $F(s,t)$ with $s,t\ge 1$ exist and satisfy $F(s,t)=Θ(s+t)$. In consequence, the problem of Alon and Stiebitz reduces to the case $s=t=2$. Moreover, the numbers $F(s,t)$ with $s,t \ge 2$ either all exist and grow linearly, or all of them do not exist.
Commutative nilpotent transformation semigroups
Published
• View Publication
• BIB
Cameron, et al. determined the maximum size of a null subsemigroup of the full transformation semigroup $\mathcal{T}(X)$ on a finite set $X$ and provided a description of the null semigroups that achieve that size. In this paper we extend the results on null semigroups (which are commutative) to commutative nilpotent semigroups. Using a mixture of algebraic and combinatorial techniques, we show that, when $X$ is finite, the maximum order of a commutative nilpotent subsemigroup of $\mathcal{T}(X)$ is equal to the maximum order of a null subsemigroup of $\mathcal{T}(X)$ and we prove that the largest commutative nilpotent subsemigroups of $\mathcal{T}(X)$ are the null semigroups previoulsy characterized by Cameron, et al..
Sparse critical graphs for defective $(1,3)$-coloring
Published
• View Publication
• BIB
A graph $G$ is $(1,3)$-colorable if its vertices can be partitioned into subsets $V_1$ and $V_2$ so that every vertex in $G[V_1]$ has degree at most $1$ and every vertex in $G[V_2]$ has degree at most $3$. We prove that every graph with maximum average degree at most 28/9 is $(1, 3)$-colorable.
Geometric branching operators on the Bruhat-Tits building associated to the symplectic group
In this thesis we study geometric branching operators on simplices in the (affine) Bruhat-Tits building associated to the symplectic group over a local field. We use these operators to study the simple random walk on the building's vertices. This work lays the foundations for studying the total-variation cutoff phenomenon for simple random walk on Ramanujan complexes of type $\tilde{C}_n$ ($n\geq 2$).
Threshold graphs, Kemeny's constant, and related random walk parameters
Published
• View Publication
• BIB
Kemeny's constant measures how fast a random walker moves around in a graph. Expressions for Kemeny's constant can be quite involved, and for this reason, many lines of research focus on graphs with structure that makes them amenable to more in-depth study (for example, regular graphs, acyclic graphs, and 1-connected graphs). In this article, we study Kemeny's constant for random walks on threshold graphs, which are an interesting family of graphs with properties that make examining Kemeny's constant difficult; that is, they are usually not regular, not acyclic, and not 1-connected. This article is a showcase of various techniques for calculating Kemeny's constant and related random walk parameters for graphs. We establish explicit formulae for $\mathcal{K}(G)$ in terms of the construction code of a threshold graph, and completely determine the ordering of the accessibility indices of vertices in threshold graphs.
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.