arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
2019-04-11 v6
Fractional chromatic number, maximum degree and girth
Published • View Publication • BIB
We introduce a new method for computing bounds on the independence number and fractional chromatic number of classes of graphs with local constraints, and apply this method in various scenarios. We establish a formula that generates a general upper bound for the fractional chromatic number of triangle-free graphs of maximum degree~$Δ\ge 3$. This upper bound matches that deduced from the fractional version of Reed's bound for small values of~$Δ$, and improves it when~$Δ\ge 17$, transitioning smoothly to the best possible asymptotic regime, barring a breakthrough in Ramsey theory. Focusing on smaller values of~$Δ$, we also demonstrate that every graph of girth at least~$7$ and maximum degree~$Δ$ has fractional chromatic number at most~$1+ \min_{k \in \mathbb{N}} \frac{2Δ+ 2^{k-3}}{k}$. In particular, the fractional chromatic number of a graph of girth~$7$ and maximum degree~$Δ$ is at most~$\frac{2Δ+9}{5}$ when~$Δ\in [3,8]$, at most~$\frac{Δ+7}{3}$ when~$Δ\in [8,20]$, at most~$\frac{2Δ+23}{7}$ when~$Δ\in [20,48]$, and at most~$\fracΔ{4}+5$ when~$Δ\in [48,112]$. In addition, we also obtain new lower bounds on the independence ratio of graphs of maximum degree~$Δ\in \{3,4,5\}$ and girth~$g\in \{6,\dotsc,12\}$, notably~$1/3$ when~$(Δ,g)=(4,10)$ and~$2/7$ when~$(Δ,g)=(5,8)$.
2019-04-11 v3
Geometric description of C-vectors and real Lösungen
Published • View Publication • BIB
We introduce real Loesungen as an analogue of real roots. For each mutation sequence of an arbitrary skew-symmetrizable matrix, we define a family of reflections along with associated vectors which are real Loesungen and a set of curves on a Riemann surface. The matrix consisting of these vectors is called L-matrix. We explain how the L-matrix naturally arises in connection with the C-matrix. Then we conjecture that the L-matrix depends (up to signs of row vectors) only on the seed, and that the curves can be drawn without self-intersections, providing a new combinatorial/geometric description of c-vectors.
2019-04-11
MRD Codes: Constructions and Connections
Published • View Publication • BIB
This preprint is of a chapter to appear in {\it Combinatorics and finite fields: Difference sets, polynomials, pseudorandomness and applications. Radon Series on Computational and Applied Mathematics}, K.-U. Schmidt and A. Winterhof (eds.). Rank-metric codes are codes consisting of matrices with entries in a finite field, with the distance between two matrices being the rank of their difference. Codes with maximum size for a fixed minimum distance are called Maximum Rank Distance (MRD) codes. Such codes were constructed and studied independently by Delsarte (1978), Gabidulin (1985), Roth (1991), and Cooperstein (1998). Rank-metric codes have seen renewed interest in recent years due to their applications in random linear network coding. MRD codes also have interesting connections to other topics such as semifields (finite nonassociative division algebras), finite geometry, linearized polynomials, and cryptography. In this chapter we will survey the known constructions and applications of MRD codes, and present some open problems.
2019-04-11
Cubic realizations of Tamari interval lattices
We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. Finally, we consider the cellular structure of these realizations.
2019-04-11 v2
Cospectral pairs of regular graphs with different connectivity
Published • View Publication • BIB
For vertex and edge connectivity we construct infinitely many pairs of regular graphs with the same spectrum, but with different connectivity.
2019-04-11 v2
Study of the $p,q$-deformed Touchard polynomials
A two-parameter deformation of the Touchard polynomials, based on the NEXT $q$-exponential function of Tsallis, defines two statistics on set partitions. The generating function of classical Touchard polynomials is a composition of two exponential functions. By applying analysis of a combinatorial structure of the deformed exponential function, we establish explicit formulae for both statistics. Moreover, the explicit formulae for the deformed Touchard polynomials makes possible to evaluate coefficients of Taylor series expansion for wide variety of functions with different values of parameters $p$ and $q$.
2019-04-11 v2
Every quasitrivial n-ary semigroup is reducible to a semigroup
Published • View Publication • BIB
We show that every quasitrivial n-ary semigroup is reducible to a binary semigroup, and we provide necessary and sufficient conditions for such a reduction to be unique. These results are then refined in the case of symmetric n-ary semigroups. We also explicitly determine the sizes of these classes when the semigroups are defined on finite sets. As a byproduct of these enumerations, we obtain several new integer sequences.
2019-04-11 v5
Quasi-popular Matchings, Optimality, and Extended Formulations
Published • View Publication • BIB
Let G = ((A,B),E) be an instance of the stable marriage problem where every vertex ranks its neighbors in a strict order of preference. A matching M in G is popular if M does not lose a head-to-head election against any matching. Popular matchings are a well-studied generalization of stable matchings, introduced with the goal of enlarging the set of admissible solutions, while maintaining a certain level of fairness. Every stable matching is a min-size popular matching. Unfortunately, when there are edge costs, it is NP-hard to find a popular matching of minimum cost -- even worse, the min-cost popular matching problem is hard to approximate up to any factor. Let opt be the cost of a min-cost popular matching. Our goal is to efficiently compute a matching of cost at most opt by paying the price of mildly relaxing popularity. Our main positive results are two bi-criteria algorithms that find in polynomial time a near-popular or quasi-popular matching of cost at most opt. Moreover, one of the algorithms finds a quasi-popular matching of cost at most that of a min-cost popular fractional matching, which could be much smaller than opt. Key to the other algorithm is a polynomial-size extended formulation for an integral polytope sandwiched between the popular and quasi-popular matching polytopes. We complement these results by showing that it is NP-hard to find a quasi-popular matching of minimum cost, and that both the popular and quasi-popular matching polytopes have near-exponential extension complexity. This version of the paper goes beyond the conference version [12] in the following two points: (i) the algorithm for finding a quasi-popular matching of cost at most that of a min-cost popular fractional matching is new; (ii) the proofs from Section 6.1 and Section 7.3 are now self-contained (the conference version used constructions from [10] to show these lower bounds).
2019-04-11
Selfish Mining and Dyck Words in Bitcoin and Ethereum Networks
The main goal of this article is to present a direct approach for the formula giving the long-term apparent hashrates of Selfish Mining strategies using only elementary probabilities and combinatorics, more precisely, Dyck words. We can avoid computing stationary probabilities on Markov chain, nor stopping times for Poisson processes as in previous analysis. We do apply these techniques to other block withholding strategies in Bitcoin, and then, we consider also selfish mining in Ethereum.
2019-04-11 v6
Community detection in the sparse hypergraph stochastic block model
Published in Random Struct Alg. 2021, 59(3), 407-463 • View Publication • BIB
We consider the community detection problem in sparse random hypergraphs. Angelini et al. (2015) conjectured the existence of a sharp threshold on model parameters for community detection in sparse hypergraphs generated by a hypergraph stochastic block model. We solve the positive part of the conjecture for the case of two blocks: above the threshold, there is a spectral algorithm which asymptotically almost surely constructs a partition of the hypergraph correlated with the true partition. Our method is a generalization to random hypergraphs of the method developed by Massoulié (2014) for sparse random graphs.
2019-04-10
Vertex-connectivity and $Q$-index of graphs with fixed girth
Let $q(G)$ denote the $Q$-index of a graph $G$, which is the largest signless Laplacian eigenvalue of $G$. We prove best possible upper bounds of $q(G)$ and best possible lower bounds of $q(\overline{G})$ for a connected graph $G$ to be $k$-connected and maximally connected, respectively. Similar upper bounds of $q(G)$ and lower bounds of $q(\overline{G})$ to assure $G$ to be super-connected are also obtained. Upper bounds of $q(G)$ and lower bounds of $q(\overline{G})$ to assure a connected triangle-free graph $G$ to be $k$-connected, maximally connected and super-connected are also respectively investigated.
On volume functions of special flow polytopes
In this paper, we consider the volume of a special kind of flow polytope. We show that its volume satisfies a certain system of differential equations, and conversely, the solution of the system of differential equations is unique up to a constant multiple. In addition, we give an inductive formula for the volume with respect to the rank of the root system of type A.
2019-04-10 v8
Wreath Macdonald polynomials as eigenstates
Published in Selecta Math. (N.S.) 31 (2025), no. 3, Paper No. 62, 108 pp • View Publication • BIB
We show that the wreath Macdonald polynomials for $\mathbb{Z}/\ell\mathbb{Z}\wrΣ_n$, when naturally viewed as elements in the vertex representation of the quantum toroidal algebra $U_{\mathfrak{q},\mathfrak{d}}(\ddot{\mathfrak{sl}}_\ell)$, diagonalize its horizontal Heisenberg subalgebra. Our proof makes heavy use of shuffle algebra methods, and we also obtain a new proof of existence of wreath Macdonald polynomials.
2019-04-10
Two Irregularity Measures Possessing High Discriminatory Ability
Published in Contrib. Math. 1 (2020) 27-34 • View Publication • BIB
An $n$-vertex graph whose degree set consists of exactly $n-1$ elements is called antiregular graph. Such type of graphs are usually considered opposite to the regular graphs. An irregularity measure ($IM$) of a connected graph $G$ is a non-negative graph invariant satisfying the property: $IM(G) = 0$ if and only if $G$ is regular. The total irregularity of a graph $G$, denoted by $irr_t(G)$, is defined as $irr_t(G)= \sum_{\{u,v\} \subseteq V(G)} |d_u - d_v|$ where $V(G)$ is the vertex set of $G$ and $d_u$, $d_v$ denote the degrees of the vertices $u$, $v$, respectively. Antiregular graphs are the most nonregular graphs according to the irregularity measure $irr_t$; however, various non-antiregular graphs are also the most nonregular graphs with respect to this irregularity measure. In this note, two new irregularity measures having high discriminatory ability are devised. Only antiregular graphs are the most nonregular graphs according to the proposed measures.
2019-04-10 v2
Cycle lengths modulo $k$ in large 3-connected cubic graphs
Published in Advances in Combinatorics, 2021:3, 36pp • View Publication • BIB
We prove that for all natural numbers $m$ and $k$ where $k$ is odd, there exists a natural number $N(k)$ such that any 3-connected cubic graph with at least $N(k)$ vertices contains a cycle of length $m$ modulo $k$. We also construct a family of graphs showing that this is not true for 2-connected cubic graphs if $m$ and $k$ are divisible by 3 and $k\geq 12$.
2019-04-10
Divergent permutations
Published • View Publication • BIB
Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the naturals. We relate this result to more general questions about the permutation capacity of infinite graphs.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5 • View Publication • BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
2019-04-10
On a discrete John-type theorem
Published in Moscow J. Comb. Number Th. 8 (2019) 367-378 • View Publication • BIB
As a discrete counterpart to the classical John theorem on the approximation of (symmetric) $n$-dimensional convex bodies $K$ by ellipsoids, Tao and Vu introduced so called generalized arithmetic progressions $P(A,b)\subset Z^n$ in order to cover (many of) the lattice points inside a convex body by a simple geometric structure. Among others, they proved that there exists a generalized arithmetic progressions $P(A,b)$ such that $P(A,b)\subset K\cap Z^n\subset P(A,O(n)^{3n/2}b)$. Here we show that this bound can be lowered to $n^{O(\ln n)}$ and study some general properties of so called unimodular generalized arithmetic progressions.
2019-04-10 v2
On the sizes of large subgraphs of the binomial random graph
Published • View Publication • BIB
We consider the binomial random graph $G(n,p)$, where $p$ is a constant, and answer the following two questions. First, given $e(k)=p{k\choose 2}+O(k)$, what is the maximum $k$ such that a.a.s.~the binomial random graph $G(n,p)$ has an induced subgraph with $k$ vertices and $e(k)$ edges? We prove that this maximum is not concentrated in any finite set (in contrast to the case of a small $e(k)$). Moreover, for every constant $C>0$ and every $ω_n\to\infty$, a.a.s.~the size of the concentration set belongs to $(C\sqrt{n/\ln n},ω_n\sqrt{n/\ln n})$. Second, given $k>\varepsilon n$, what is the maximum $μ$ such that a.a.s.~the set of sizes of $k$-vertex subgraphs of $G(n,p)$ contains a full interval of length $μ$? The answer is $μ=Θ\left(\sqrt{(n-k)n\ln{n\choose k}}\right)$.
2019-04-10 v2
Simple formulas for constellations and bipartite maps with prescribed degrees
Published • View Publication • BIB
We obtain simple quadratic recurrence formulas counting bipartite maps on surfaces with prescribed degrees (in particular, $2k$-angulations), and constellations. These formulas are the fastest known way of computing these numbers. Our work is a natural extension of previous works on integrable hierarchies (2-Toda and KP), namely the Pandharipande recursion for Hurwitz numbers (proven by Okounkov and simplified by Dubrovin-Yang-Zagier), as well as formulas for several models of maps (Goulden-Jackson, Carrell-Chapuy, Kazarian-Zograf). As for those formulas, a bijective interpretation is still to be found. We also include a formula for monotone simple Hurwitz numbers derived in the same fashion. These formulas also play a key role in subsequent work of the author with T. Budzinski establishing the hyperbolic local limit of random bipartite maps of large genus.