arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The Geometry of $H_4$ Polytopes
Published • View Publication • BIB
We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell.
Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph
Let $Γ$ be a $Q$-polynomial distance-regular graph of diameter $d\geq 3$. Fix a vertex $γ$ of $Γ$ and consider the subgraph induced on the union of the last two subconstituents of $Γ$ with respect to $γ$. We prove that this subgraph is connected.
Horizontal visibility graph of a random restricted growth sequence
Published • View Publication • BIB
We study the distributional properties of horizontal visibility graphs associated with random restrictive growth sequences and random set partitions of size $n.$ Our main results are formulas expressing the expected degree of graph nodes in terms of simple explicit functions of a finite collection of Stirling and Bernoulli numbers.
Distance matrices perturbed by a Laplacian
Published • View Publication • BIB
Let $T$ be a tree with $n$ vertices. To each edge of $T$, we assign a weight which is a positive definite matrix of some fixed order, say, $s$. Let $D_{ij}$ denote the sum of all the weights lying in the path connecting the vertices $i$ and $j$ of $T$. We now say that $D_{ij}$ is the distance between $i$ and $j$. Define $D:=[D_{ij}]$, where $D_{ii}$ is the $s \times s$ null matrix and for $i \neq j$, $D_{ij}$ is the distance between $i$ and $j$. Let $G$ be an arbitrary connected weighted graph with $n$ vertices, where each weight is a positive definite matrix of order $s$. If $i$ and $j$ are adjacent, then define $L_{ij}:=-W_{ij}^{-1}$, where $W_{ij}$ is the weight of the edge $(i,j)$. Define $L_{ii}:=\sum_{i \neq j,j=1}^{n}W_{ij}^{-1}$. The Laplacian of $G$ is now the $ns \times ns$ block matrix $L:=[L_{ij}]$. In this paper, we first note that $D^{-1}-L$ is always non-singular and then we prove that $D$ and its perturbation $(D^{-1}-L)^{-1}$ have many interesting properties in common.
2019-12-11
A positivity conjecture on the structure constants of shifted Jack functions
Published • View Publication • BIB
We consider Jack polynomials $J_λ$ and their shifted analogue $J^#_λ$. In 1989, Stanley conjectured that $\langle J_μJ_ν, J_λ\rangle$ is a polynomial with nonnegative coefficients in the parameter $α$. In this note, we extend this conjecture to the case of shifted Jack polynomials.
Colouring bottomless rectangles and arborescences
Published • View Publication • BIB
We study problems related to colouring bottomless rectangles. One of our main results shows that for any positive integers $m, k$, there is no semi-online algorithm that can $k$-colour bottomless rectangles with disjoint boundaries in increasing order of their top sides, so that any $m$-fold covered point is covered by at least two colours. This is, surprisingly, a corollary of a stronger result for arborescence colourings. Any semi-online colouring algorithm that colours an arborescence in leaf-to-root order with a bounded number of colours produces arbitrarily long monochromatic paths. This is complemented by optimal upper bounds given by simple online colouring algorithms from other directions. Our other main results study configurations of bottomless rectangles in an attempt to improve the \textit{polychromatic $k$-colouring number}, $m_k^*$. We show that for many families of bottomless rectangles, such as unit-width bottomless rectangles, $m_k^*$ is linear in $k$. We also present an improved lower bound for general families: $m_k^* \geq 2k-1$.
2019-12-11
On square factors and critical factors of $k$-bonacci words on infinite alphabet
Published • View Publication • BIB
For any integer $k>2$, the infinite $k$-bonacci word $W^{(k)}$, on the infinite alphabet is defined as the fixed point of the morphism $\varphi_k:\mathbb{N}\rightarrow \mathbb{N}^2 \cup \mathbb{N}$, where \begin{equation*} \varphi_k(ki+j) = \left\{ \begin{array}{ll} (ki)(ki+j+1) & \text{if } j = 0,\cdots ,k-2, (ki+j+1)& \text{if } j =k-1. \end{array} \right. \end{equation*} The finite $k$-bonacci word $W^{(k)}_n$ is then defined as the prefix of $W^{(k)}$ whose length is the $(n+k)$-th $k$-bonacci number. We obtain the structure of all square factors occurring in $W^{(k)}$. Moreover, we prove that the critical exponent of $W^{(k)}$ is $3-\frac{3}{2^k-1}$. Finally, we provide all critical factors of $W^{(k)}$.
2019-12-11
On the symmetric Gelfand pair $(\mathcal{H}_n\times \mathcal{H}_{n-1},diag (\mathcal{H}_{n-1}))$
Published in Journal of Algebra and its Applications 20(5) (2021) 2150085 • View Publication • BIB
We show that the $\mathcal{H}_{n-1}$-conjugacy classes of $\mathcal{H}_n,$ where $\mathcal{H}_n$ is the hyperoctahedral group on $2n$ elements, are indexed by marked bipartitions of $n.$ This will lead us to prove that $(\mathcal{H}_n\times \mathcal{H}_{n-1},diag (\mathcal{H}_{n-1}))$ is a symmetric Gelfand pair and that the induced representation $1_{diag (\mathcal{H}_{n-1})}^{\mathcal{H}_n\times \mathcal{H}_{n-1}}$ is multiplicity free.
2019-12-11 v2
Integer Partitions Probability Distributions
Published in Communications in Statistics - Theory and Methods 50 (2021) 3556 - 3563 • View Publication • BIB
Two closely related discrete probability distributions are introduced. In each case the support is a set of vectors in $\mathbb{R}^n$ obtained from the partitions of the fixed positive integer $n$. These distributions arise naturally when considering equally-likely random permutations on the set of $n$ letters. For one of the distributions, the expectation vector and covariance matrix is derived. For the other distribution, conjectures for several elements of the expectation vector are provided.
2019-12-11
An adaptive upper bound on the Ramsey numbers $R(3,\dots,3)$
Published in Integers 20 (2020), Paper No. A54, 7 pp • Search Publication
Since 2002, the best known upper bound on the Ramsey numbers R n (3) = R(3,. .. , 3) is R n (3) $\le$ n!(e -- 1/6) + 1 for all n $\ge$ 4. It is based on the current estimate R 4 (3) $\le$ 62. We show here how any closing-in on R 4 (3) yields an improved upper bound on R n (3) for all n $\ge$ 4. For instance, with our present adaptive bound, the conjectured value R 4 (3) = 51 implies R n (3) $\le$ n!(e -- 5/8) + 1 for all n $\ge$ 4.
2019-12-11 v3
On the resolution of the sensitivity conjecture
Published in Bull. Amer. Math. Soc. 57 (2020), 615-638 • View Publication • BIB
The Sensitivity Conjecture is a long-standing problem in theoretical computer science that seeks to fit the sensitivity of a Boolean function into a unified framework formed by the other complexity measures of Boolean functions, such as block sensitivity and certificate complexity. After more than thirty years of attacks on this Conjecture, Hao Huang (2019) gave a very succinct proof of the Conjecture. In this survey, we explore the ideas that inspired the proof of this Conjecture by an exposition of four papers that had the most impact on the Conjecture. We also discuss progress on further research directions that the Conjecture leads us to.
The Integrated Vehicle and Pollster Routing Problem
The National Statistics Bureau of Ecuador carries out monthly polls to monitor the evolution of the Consumer Price Index, a metric measuring consumer prices of essential commodities. These surveys are administered across a designated set of stores, with a fleet of vehicles transporting pollsters from the bureau headquarters to the chosen locations. Moreover, pollsters move between stores using pedestrian paths or using a vehicle to shorten the travel time. This paper introduces the Integrated Vehicle and Pollster Routing Problem and presents an integer programming model to effectively schedule pollster visits to selected stores while optimizing the routing of the vehicle fleet. Results on the computational complexity, a three-phase algorithm, and computational experience based on real-world instances are provided.
On a continuous Gale--Berlekamp switching game
Published • View Publication • BIB
We propose a continuous version of the classical Gale--Berlekamp switching game. We also study a weighted version of this new continuous game. The main results of this paper concern growth estimates for the corresponding optimization problems. The methods developed in this article are deterministic in nature and in some special cases the estimates obtained are optimal.
2019-12-11
Ear-Slicing for Matchings in Hypergraphs
We study when a given edge of a factor-critical graph is contained in a matching avoiding exactly one, pregiven vertex of the graph. We then apply the results to always partition the vertex-set of a $3$-regular, $3$-uniform hypergraph into at most one triangle (hyperedge of size $3$) and edges (subsets of size $2$ of hyperedges), corresponding to the intuition, and providing new insight to triangle and edge packings of Cornuéjols' and Pulleyblank's. The existence of such a packing can be considered to be a hypergraph variant of Petersen's theorem on perfect matchings, and leads to a simple proof for a sharpening of Lu's theorem on antifactors of graphs.
2019-12-11
Distance Distributions of Cyclic Orbit Codes
Published • View Publication • BIB
The distance distribution of a code is the vector whose $i^\text{th}$ entry is the number of pairs of codewords with distance $i$. We investigate the structure of the distance distribution for cyclic orbit codes, which are subspace codes generated by the action of $\mathbb{F}_{q^n}^*$ on an $\mathbb{F}_q$-subspace $U$ of $\mathbb{F}_{q^n}$. We show that for optimal full-length orbit codes the distance distribution depends only on $q,\,n$, and the dimension of $U$. For full-length orbit codes with lower minimum distance, we provide partial results towards a characterization of the distance distribution, especially in the case that any two codewords intersect in a space of dimension at most 2. Finally, we briefly address the distance distribution of a union of optimal full-length orbit codes.
A continuity bound for the expected number of connected components of a random graph: a model for epidemics
We consider a stochastic network model for epidemics, based on a random graph proposed by Ross [Journal of Applied Probability, 18, 309-315 (1981)]. Members of a population occupy nodes of the graph, with each member being in contact with those who occupy nodes which are connected to his or her node via edges. We prove that the expected number of people who need to be infected initially in order for the epidemic to spread to the entire population, which is given by the expected number of connected components of the random graph, is Lipschitz continuous in the underlying probability distribution of the random graph. We also obtain explicit bounds on the associated Lipschitz constant. We prove this continuity bound via a technique called majorization flow, which provides a general way to obtain tight continuity bounds for Schur concave functions. To establish bounds on the optimal Lipschitz constant we employ properties of the Mills ratio.
2019-12-11 v3
Growth rates of Coxeter groups and Perron numbers
Published • View Publication • BIB
We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.
2019-12-11 v2
Strongly Perfect Claw-free Graphs -- A Short Proof
Published • View Publication • BIB
A graph is strongly perfect if every induced subgraph H has a stable set that meets every maximal clique of H. A graph is claw-free if no vertex has three pairwise non-adjacent neighbors. The characterization of claw-free graphs that are strongly perfect by a set of forbidden induced subgraphs was conjectured by Ravindra in 1990 and was proved by Wang in 2006. Here we give a shorter proof of this characterization.
A new bound on the acyclic edge chromatic index
Published • View Publication • BIB
In this note we obtain a new bound for the acyclic edge chromatic number $a'(G)$ of a graph $G$ with maximum degree $D$ proving that $a'(G)\leq 3.569(D-1)$. To get this result we revisit and slightly modify the method described in [Giotis, Kirousis, Psaromiligkos and Thilikos, Theoretical Computer Science, 66: 40-50, 2017].
2019-12-10
Fault-Free Tileability of Rectangles, Cylinders, Tori, and Möbius Strips with Dominoes
Tilings are around us everywhere, and our curiosity draws us to study their properties. A tiling is a way of arranging pieces on a board, such that there is no space left uncovered, nor any space covered by more than one tile. In particular, we study fault-free tilings of boards with dominoes. To be fault-free every line that intersects the tiling must also intersect the interior of at least one of the tiles. Fault-free rectangular boards have been well studied, however we look at boards that are cylinders, tori, and Möbius strips. Using dominoes we study the various shapes of boards and see how the tileability changes. We have complete results for cylinders, tori, and Möbius strips.