arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83842 papers, 48355 authors in database)
2023-03-25 v2
Improved Bound for the Gerver-Ramsey Collinearity Problem
Published • View Publication • BIB
Let $S$ be a finite subset of $\mathbb{Z}^n$. A vector sequence $(\mathbf{z}_i)$ is an $S$-walk if and only if $\mathbf{z}_{i+1} - \mathbf{z}_i$ is an element of $S$ for all $i$. Gerver and Ramsey showed in 1979 that for $S\subset \mathbb{Z}^3$ there exists an infinite $S$-walk in which no $5^{11} + 1=48{\small,}828{\small,}126$ points are collinear. Here, we use the same general approach, but with the aid of a computer search, to improve the bound to $189$.
Distinguishing chromatic number of Hamiltonian circulant graphs
The distinguishing chromatic number of a graph $G$ is the smallest number of colors needed to properly color the vertices of $G$ so that the trivial automorphism is the only symmetry of $G$ that preserves the coloring. We investigate the distinguishing chromatic number for Hamiltonian circulant graphs with maximum degree at most 4.
2023-03-24 v6
Rectangular matrix additions in low and high temperatures
Published • View Publication • BIB
We study the addition of two random independent $M\times N$ rectangular random matrices with invariant distributions in two limit regimes, where the parameter beta (inverse temperature) goes to infinity and zero. In low temperature regime the random singular values of the sum concentrate at deterministic points, while in high temperature regime we obtain a Law of Large Numbers for the empirical measures. As a consequence, we deliver a duality between low and high temperatures. Our proof uses the type BC Bessel function as characteristic function of rectangular matrices, and through the analysis of this function we introduce a new family of cumulants, that linearize the addition in high temperature limit, and degenerate to the classical or free cumulants in special cases.
2023-03-24
The generalized $4$-connectivity of bubble-sort graphs
Published • View Publication • BIB
For $S\subseteq V(G)$ with $|S|\ge 2$, let $κ_G (S)$ denote the maximum number of internally disjoint trees connecting $S$ in $G$. For $2\le k\le n$, the generalized $k$-connectivity $κ_k(G)$ of an $n$-vertex connected graph $G$ is defined to be $κ_k(G)=\min \{κ_G(S): S\in V(G) \mbox{ and } |S|=k\}$. The generalized $k$-connectivity can serve for measuring the fault tolerance of an interconnection network. The bubble-sort graph $B_n$ for $n\ge 2$ is a Cayley graph over the symmetric group of permutations on $[n]$ generated by transpositions from the set $\{[1,2],[2,3],\dots, [n-1,n]\}$. In this paper, we show that for the bubble-sort graphs $B_n$ with $n\ge 3$, $κ_4(B_n)=n-2$.
2023-03-24 v2
Expansion properties of Whitehead moves on cubic graphs
Published in Comptes Rendus. Math. (2024) • View Publication • BIB
The present note concerns the "graph of graphs" that has cubic graphs as vertices connected by edges represented by the so-called Whitehead moves. Here, we prove that the outer-conductance of the graph of graphs tends to zero as the number of vertices tends to infinity. This answers a question of K. Rafi in the negative.
2023-03-24 v3
Super Total Local Antimagic Vertex Coloring of Graphs
Let $G = (V,E)$ be a finite simple undirected graph without isolated vertices. A bijective map $f: V \cup E \rightarrow \{1,2, \dots, |V|+ |E| \}$ is called total local antimagic labeling if for each edge $uv \in E, w(u) \ne w(v)$, where $w(v)$ is a weight of a vertex $v$ defined by $w(v) = \sum_{x \in NT(v)} f(x)$, where $NT(u) = N(u) \cup \{uv: uv\in E\}$ is the total open neighborhood of a vertex $u$. Further, $f$ is called super vertex total local antimagic labeling or super edge total local antimagic labeling if $f(V) = \{1,2, \dots, |V|\}$ or $f(E) = \{1,2, \dots, |E|\}$, respectively. The labeling $f$ induces a proper vertex coloring of $G$. The super vertex (edge) total local antimagic chromatic number of a graph $G$ is the minimum number of colors used overall colorings of $G$ induced by super vertex (edge) total local antimagic labeling of $G$. In this paper, we have calculated the super vertex (edge) total local antimagic chromatic number of some families of graphs.
2023-03-24
Finding a good tree to burn
The burning number of a graph $G$ is the smallest positive integer $k$ such that the vertex set of $G$ can be covered with balls of radii $0, 1, \dots, k-1$. A well-known conjecture by Bonato, Janssen and Roshabin states that any connected graph on $n$ vertices has burning number at most $\lceil \sqrt{n} \rceil$. It was recently shown by Norin and Turcotte that the conjecture holds up to a factor of $1+o(1)$. In this note, we demonstrate how this result can be applied to determine the asymptotic value of the burning number for graph classes with given minimum degree. This is based on an observation about connected $2$-hop dominating sets, which may be of independent interest.
2023-03-24
A Generalisation of Ramanujan's (back of the envelope) Method for Divergent Series
Ramanujan derived the well known divergent-sum of integers in more than one way. We generalise the informal method to higher powers of the Riemann zeta function through a study of the Eulerian numbers in particular. Within the context of additive combinatorics a heuristic approach that unifies generating series and difference matrices is presented.
2023-03-24 v2
Reciprocals of thinned exponential series
The reciprocal of $e^{-x}$ has a power series about $0$ in which all coefficients are non-negative. Gessel [Reciprocals of exponential polynomials and permutation enumeration, Australas. J. Combin., 74, 2019] considered truncates of the power series of $e^{-x}$, i.e. polynomials of the form $\sum_{n=0}^r (-1)^n\frac{x^n}{n!}$, and established combinatorially that the reciprocal of the truncate has a power series with all coefficients non-negative precisely when $r$ is odd. Here we extend Gessel's observations to arbitrary ``thinned exponential series''. To be precise, let $A \subseteq \{1,3,5,\ldots\}$ and $B \subseteq \{2,4,6,\ldots\}$, and consider the series \[ 1-\sum_{a \in A} \frac{x^a}{a!} + \sum_{b \in B} \frac{x^b}{b!}. \] We consider conditions on $A$ and $B$ that ensure that the reciprocal series has all coefficients non-negative. We give combinatorial proofs for a large set of conditions, including whenever $1 \in A$ and the endpoints of the maximal consecutive intervals in $A \cup B$ are odd integers. In particular, the coefficients in the reciprocal series can be interpreted as ordered set partitions of $[n]$ with block size restrictions, or in terms of permutations with restricted lengths of maximally increasing runs, suitably weighted.
Roudneff's Conjecture in Dimension $4$
Published • View Publication • BIB
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each hyperplane). The conjecture is true for $d=2,3$ and for arrangements arising from Lawrence oriented matroids. The main result of this manuscript is to show the validity of Roudneff's conjecture for $d=4$. Moreover, based on computational data we conjecture that the maximum number of complete cells is only obtained by cyclic arrangements.
Sharp threshold for embedding balanced spanning trees in random geometric graphs
A rooted tree is balanced if the degree of a vertex depends only on its distance to the root. In this paper we determine the sharp threshold for the appearance of a large family of balanced spanning trees in the random geometric graph $\mathcal{G}(n,r,d)$. In particular, we find the sharp threshold for balanced binary trees. More generally, we show that all sequences of balanced trees with uniformly bounded degrees and height tending to infinity appear above a sharp threshold, and none of these appears below the same value. Our results hold more generally for geometric graphs satisfying a mild condition on the distribution of their vertex set, and we provide a polynomial time algorithm to find such trees.
On a novel graph associated with the circular space and its properties
A configuration of the triple $(\mathcal{P}, \mathcal{L}, \mathcal{I})$ on the incidence relation which holds the properties of "Any two points are incident with at most one line" and "Any two lines are incident with at most one point". In projective geometry, bipartite graphs can be used as an incidence model between the points and the lines of a configuration. The graphs associated with a space are a good tool for understanding the topological and geometric properties of the space. in abstract systems. In this paper, we define a novel graph associated with circular space and obtain its properties in terms of some pure-graph invariants. Also, we characterize it regarding the graph associated with other spaces in the literature.
2023-03-24 v5
An Alternative Approach for Nonparametric Analysis of Random Utility Models
Published • View Publication • BIB
We readdress the problem of nonparametric statistical testing of random utility models proposed in Kitamura and Stoye (2018). Although their test is elegant, it is subject to computational constraints which leaves execution of the test infeasible in many applications. We note that much of the computational burden in Kitamura and Stoye's test is due to their test defining a polyhedral cone through its vertices rather than its faces. We propose an alternative but equivalent hypothesis test for random utility models. This test relies on a series of equality and inequality constraints which defines the faces of the corresponding polyhedral cone. Building on our testing procedure, we develop a novel axiomatization of the random utility model.
2023-03-23
Toric rings of $(0,1)$-polytopes with small rank
Published • View Publication • BIB
The rank of a $d$-dimensional polytope $P$ is defined by $F-(d+1)$, where $F$ denotes the number of facets of $P$. In this paper, We focus on the toric rings of $(0,1)$-polytopes with small rank. We study their normality, the torsionfreeness of their divisor class groups and the classification of their isomorphism classes.
Nearly Gorenstein Polytopes
Published • View Publication • BIB
In this paper, we study nearly Gorensteinness of Ehrhart rings arising from lattice polytopes. We give necessary conditions and sufficient conditions on lattice polytopes for their Ehrhart rings to be nearly Gorenstein. Using this, we give an efficient method for constructing nearly Gorenstein polytopes. Moreover, we determine the structure of nearly Gorenstein (0, 1)-polytopes and characterise nearly Gorensteinness of edge polytopes and graphic matroids.
Blockwise simple permutations
A permutation is called {\it {block-wise simple}} if it contains no interval of the form $p_1\oplus p_2$ or $p_1 \ominus p_2$. We present this new set of permutations and explore some of its combinatorial properties. We present a generating function for this set, as well as a recursive formula for counting block-wise simple permutations. Following Tenner, who founded the notion of interval posets, we characterize and count the interval posets corresponding to block-wise simple permutations. We also present a bijection between these interval posets and certain tiling's of the $n$-gon. Finally, we prove that the bi-variate distribution of the descent and inverse descent numbers are gamma-positive, provided the correctness of our recent conjecture on simple permutations.
The amoeba dimension of a linear space
Published • View Publication • BIB
Given a complex vector subspace $V$ of $\mathbb{C}^n$, the dimension of the amoeba of $V \cap (\mathbb{C}^*)^n$ depends only on the matroid that $V$ defines on the ground set $\{1,\ldots,n\}$. Here we prove that this dimension is given by the minimum of a certain function over all partitions of the ground set, as previously conjectured by Rau. We also prove that this formula can be evaluated in polynomial time.
2023-03-23 v3
Normalized Laplacian eigenvalues of hypergraphs
Published • View Publication • BIB
In this paper, we give tight bounds for the normalized Laplacian eigenvalues of hypergraphs that are not necessarily uniform, and provide an edge version interlacing theorem, a Cheeger inequality, and a discrepancy inequality that are related to the normalized Laplacian eigenvalues for uniform hypergraphs.
2023-03-23
The cardinality of Kiselman's semigroups grows double-exponentially
Let $K_n$ denote Ganyushkin-Kudryavtseva-Mazorchuk's generalization of Kiselman's semigroups. We show that the sequence $2^{-n/2}\cdot \log|K_n|$ admits finite limits as $n$ grows to infinity both on odd and even values.
Integrability of matrices
Published • View Publication • BIB
The concepts of differentiation and integration for matrices are known. As far as each matrix is differentiable, it is not clear a priori whether a given matrix is integrable or not. Recently some progress was obtained for diagonalizable matrices, however general problem remained open. In this paper, we present a full solution of the integrability problem. Namely, we provide necessary and sufficient conditions for a given matrix to be integrable in terms of its characteristic polynomial. Furthermore, we find necessary and sufficient conditions for the existence of integrable and non-integrable matrices with given geometric multiplicities of eigenvalues. Our approach relies on properties of some special classes of polynomials, namely, Shabat polynomials and conservative polynomials, arising in number theory and dynamics.