Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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$.
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)}$.
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.
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.
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.
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.
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.
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.
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.
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].
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.
Numerical semigroups, polyhedra, and posets II: locating certain families of semigroups
Published
• View Publication
• BIB
Several recent papers have examined a rational polyhedron $P_m$ whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non-negative integers) containing $m$. A combinatorial description of the faces of $P_m$ was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In this paper, we study the faces of $P_m$ containing arithmetical numerical semigroups and those containing certain glued numerical semigroups, as an initial step towards better understanding the full face structure of $P_m$. In most cases, such faces only contain semigroups from these families, yielding a tight connection to the geometry of $P_m$.
An algorithm for bounding extremal functions of forbidden sequences
Generalized Davenport-Schinzel sequences are sequences that avoid a forbidden subsequence and have a sparsity requirement on their letters. Upper bounds on the lengths of generalized Davenport-Schinzel sequences have been applied to a number of problems in discrete geometry and extremal combinatorics. Sharp bounds on the maximum lengths of generalized Davenport-Schinzel sequences are known for some families of forbidden subsequences, but in general there are only rough bounds on the maximum lengths of most generalized Davenport-Schinzel sequences. One method that was developed for finding upper bounds on the lengths of generalized Davenport-Schinzel sequences uses a family of sequences called formations.
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ distinct letters. The formation width function $fw(u)$ is defined as the minimum $s$ for which there exists $r$ such that every $(r, s)$-formation contains $u$. The function $fw(u)$ has been used with upper bounds on extremal functions of $(r, s)$-formations to find tight bounds on the maximum possible lengths of many families of generalized Davenport-Schinzel sequences. Algorithms have been found for computing $fw(u)$ for sequences $u$ of length $n$, but they have worst-case run time exponential in $n$, even for sequences $u$ with only three distinct letters.
We present an algorithm for computing $fw(u)$ with run time $O(n^{α_r})$, where $r$ is the number of distinct letters in $u$ and $α_r$ is a constant that only depends on $r$. We implement the new algorithm in Python and compare its run time to the next fastest algorithm for computing formation width. We also apply the new algorithm to find sharp upper bounds on the lengths of several families of generalized Davenport-Schinzel sequences with $3$-letter forbidden patterns.
Degrees of symmetric Grothendieck polynomials and Castelnuovo-Mumford regularity
Published
• View Publication
• BIB
We give an explicit formula for the degree of the Grothendieck polynomial of a Grassmannian permutation and a closely related formula for the Castelnuovo-Mumford regularity of the Schubert determinantal ideal of a Grassmannian permutation. We then provide a counterexample to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri on a formula for regularities of standard open patches of particular Grassmannian Schubert varieties and show that our work gives rise to an alternate explicit formula in these cases. We end with a new conjecture on the regularities of standard open patches of arbitrary Grassmannian Schubert varieties.
An improved Recursive Construction for Disjoint Steiner Quadruple Systems
Published
• View Publication
• BIB
Let $D(n)$ be the number of pairwise disjoint Steiner quadruple systems. A simple counting argument shows that $D(n) \leq n-3$ and a set of $n-3$ such systems is called a large set. No nontrivial large set was constructed yet, although it is known that they exist if $n \equiv 2$ or $4~(\text{mod}~6)$ is large enough. When $n \geq 7$ and $n \equiv 1$ or $5~(\text{mod}~6)$, we present a recursive construction and prove a recursive formula on $D(4n)$, as follows: $$ D(4n) \geq 2n + \min \{D(2n) ,2n-7\}. $$ The related construction has a few advantages over some of the previously known constructions for pairwise disjoint Steiner quadruple systems.