Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Uniquely $K^{(k)}_r$-saturated Hypergraphs
In this paper we generalize the concept of uniquely $K_r$-saturated graphs to hypergraphs. Let $K_r^{(k)}$ denote the complete $k$-uniform hypergraph on $r$ vertices. For integers $k,r,n$ such that $2\le k <r<n$, a $k$-uniform hypergraph $H$ with $n$ vertices is uniquely $K_r^{(k)}$-saturated if $H$ does not contain $K_r^{(k)}$ but adding to $H$ any $k$-set that is not a hyperedge of $H$ results in exactly one copy of $K_r^{(k)}$. Among uniquely $K_r^{(k)}$-saturated hypergraphs, the interesting ones are the primitive ones that do not have a dominating vertex---a vertex belonging to all possible ${n-1\choose k-1}$ edges. Translating the concept to the complements of these hypergraphs, we obtain a natural restriction of $τ$-critical hypergraphs: a hypergraph $H$ is uniquely $τ$-critical if for every edge $e$, $τ(H-e)=τ(H)-1$ and $H-e$ has a unique transversal of size $τ(H)-1$.
We have two constructions for primitive uniquely $K_r^{(k)}$-saturated hypergraphs. One shows that for $k$ and $r$ where $4\le k<r\le 2k-3$, there exists such a hypergraph for every $n>r$. This is in contrast to the case $k=2$ and $r=3$ where only the Moore graphs of diameter two have this property. Our other construction keeps $n-r$ fixed; in this case we show that for any fixed $k\ge 2$ there can only be finitely many examples. We give a range for $n$ where these hypergraphs exist. For $n-r=1$ the range is completely determined: $k+1\le n \le {(k+2)^2\over 4}$. For larger values of $n-r$ the upper end of our range reaches approximately half of its upper bound. The lower end depends on the chromatic number of certain Johnson graphs.
On the size-Ramsey number of tight paths
Published
• View Publication
• BIB
For any $r\geq 2$ and $k\geq 3$, the $r$-color size-Ramsey number $\hat R(\mathcal{G},r)$ of a $k$-uniform hypergraph $\mathcal{G}$ is the smallest integer $m$ such that there exists a $k$-uniform hypergraph $\mathcal{H}$ on $m$ edges such that any coloring of the edges of $\mathcal{H}$ with $r$ colors yields a monochromatic copy of $\mathcal{G}$. Let $\mathcal{P}_{n,k-1}^{(k)}$ denote the $k$-uniform tight path on $n$ vertices. Dudek, Fleur, Mubayi and Rődl showed that the size-Ramsey number of tight paths $\hat R(\mathcal{P}_{n,k-1}^{(k)}, 2) = O(n^{k-1-α} (\log n)^{1+α})$ where $α= \frac{k-2}{\binom{k-1}{2}+1}$. In this paper, we improve their bound by showing that $\hat R(\mathcal{P}_{n,k-1}^{(k)}, r) = O(r^k (n\log n)^{k/2})$ for all $k\geq 3$ and $r\geq 2$.
A note on the localization number of random graphs: diameter two case
Published
• View Publication
• BIB
We study the localization game on dense random graphs. In this game, a {\em cop} $x$ tries to locate a {\em robber} $y$ by asking for the graph distance of $y$ from every vertex in a sequence of sets $W_1,W_2,\ldots,W_\ell$. We prove high probability upper and lower bounds for the minimum size of each $W_i$ that will guarantee that $x$ will be able to locate $y$.
Covers and partial transversals of Latin squares
Published in Des. Codes Cryptogr. 87 (2019), 1109-1136
• View Publication
• BIB
We define a cover of a Latin square to be a set of entries that includes at least one representative of each row, column and symbol. A cover is minimal if it does not contain any smaller cover. A partial transversal is a set of entries that includes at most one representative of each row, column and symbol. A partial transversal is maximal if it is not contained in any larger partial transversal. We explore the relationship between covers and partial transversals.
We prove the following: (1) The minimum size of a cover in a Latin square of order $n$ is $n+a$ if and only if the maximum size of a partial transversal is either $n-2a$ or $n-2a+1$. (2) A minimal cover in a Latin square of order $n$ has size at most $μ_n=3(n+1/2-\sqrt{n+1/4})$. (3) There are infinitely many orders $n$ for which there exists a Latin square having a minimal cover of every size from $n$ to $μ_n$. (4) Every Latin square of order $n$ has a minimal cover of a size which is asymptotically equal to $μ_n$. (5) If $1\le k\le n/2$ and $n\ge5$ then there is a Latin square of order $n$ with a maximal partial transversal of size $n-k$. (6) For any $ε>0$, asymptotically almost all Latin squares have no maximal partial transversal of size less than $n-n^{2/3+ε}$.
Linear $d$-polychromatic $Q_{d-1}$-colorings of the Hypercube
Published
• View Publication
• BIB
Let $n \ge d \ge \ell \ge 1$ be integers, and denote the $n$-dimensional hypercube by $Q_n$. A coloring of the $\ell$-dimensional subcubes $Q_\ell$ in $Q_n$ is called a $Q_\ell$-coloring. Such a coloring is $d$-polychromatic if every $Q_d$ in the $Q_n$ contains a $Q_\ell$ of every color. In this paper we consider a specific class of $Q_\ell$-colorings that are called linear. Given $\ell$ and $d$, let $p_{lin}^\ell(d)$ be the largest number of colors such that there is a $d$-polychromatic linear $Q_\ell$-coloring of $Q_n$ for all $n \ge d$. We prove that for all $d \ge 3$, $p_{lin}^{d-1}(d) = 2$. In addition, using a computer search, we determine $p_{lin}^\ell(d)$ for some specific values of $\ell$ and $d$, in some cases improving on previously known lower bounds.
The Representation Theory of 2-Sylow Subgroups of the Symmetric Group
We use binary trees to study the Bratteli diagram of Sylow 2-subgroups of symmetric groups. We show that it is simple, has a recursive structure, and self-similarities at all scales. We contrast its subgraph of one-dimensional representations with the Macdonald tree. We exploit the recursive structure to find the multiplicities of irreducible characters in the restriction to a Sylow 2-subgroup of odd-dimensional representations of the symmetric group $S_{2^k}$.
Canonizing structural Ramsey theorems
At the beginning of 1950's Erd\H os and Rado suggested the investigation of the Ramsey-type results where the number of colors is not finite. This marked the birth of the so-called canonizing Ramsey theory. In 1985 Prömel and Voigt made the first step towards the structural canonizing Ramsey theory when they proved the canonical Ramsey property for the class of finite linearly ordered hypergraphs, and the subclasses thereof defined by forbidden substructures. Building on their results in this paper we provide several new structural canonical Ramsey results. We prove the canonical Ramsey theorem for the class of all finite linearly ordered tournaments, the class of all finite posets with linear extensions and the class of all finite linearly ordered metric spaces. We conclude the paper with the canonical version of the celebrated Nešetřil-Rödl Theorem. In contrast to the "classical" Ramsey-theoretic approach, in this paper we advocate the use of category theory to manage the complexity of otherwise technically overwhelming proofs typical in canonical Ramsey theory.
A Graphical Approach to Finding the Frobenius Number, Genus and Hilbert Series of a Numerical Semigroup
This paper proposes a new, visual method to study numerical semigroups and the Frobenius problem. The method is based on building a so-called reduction graph, whose nodes usually correspond to monogenic semigroups, and whose edges can have multiple inputs and outputs. If such a construction is possible, then determining whether the studied semigroup is symmetric, or finding explicit forms of its Apéry set and Hilbert series, is reduced to straightforward computations assisted by a MAPLE program we made available on arXiv. This approach applies to many of the cases considered in literature, including semigroups generated by arithmetic and geometric sequences, compound sequences, progressions of the form $a^n, a^n + a, \ldots, a^n + a^{n-1}$, triangular and tetrahedral numbers, certain Fibonacci triplets, etc.
After explaining the general approach in more detail, the paper studies the types of edges that can be used as building blocks of a reduction graph, as well as a series of operations that serve to modify or combine valid reduction graphs. In the end of the paper, we use these techniques to solve the Frobenius problem for 7 new classes of numerical semigroups.
High Dimensional Expanders
Published
• View Publication
• BIB
Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence and applications going both ways (cf. [Lub94], [HLW06], [Lub12] and the references therein). In the last decade, a theory of "high dimensional expanders" has begun to emerge. The goal of the current paper is to describe some paths of this new area of study.
Sets of Stochastic Matrices with Converging Products: Bounds and Complexity
An SIA matrix is a stochastic matrix whose sequence of powers converges to a rank-one matrix. This convergence is desirable in various applications making use of stochastic matrices, such as consensus, distributed optimization and Markov chains. We study the shortest SIA products of sets of matrices. We observe that the shortest SIA product of a set of matrices is usually very short and we provide a first upper bound on the length of the shortest SIA product (if one exists) of any set of stochastic matrices. We also provide an algorithm that decides the existence of an SIA product.
When particularized to automata, the problem becomes that of finding periodic synchronizing words, and we develop the consequences of our results in relation with the celebrated Cerny conjecture in automata theory.
We also investigate links with the related notions of positive-column, Sarymsakov, and scrambling matrices.
On permutation characters and Sylow $p$-subgroups of $\mathfrak{S}_n$
Published
• View Publication
• BIB
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.
A combinatorial formula for graded multiplicities in excellent filtrations
Published in Transform. Groups 26 (2021), no. 1, 81-114
• View Publication
• BIB
A filtration of a representation whose successive quotients are isomorphic to Demazure modules is called an excellent filtration. In this paper we study graded multiplicities in excellent filtrations of fusion products for the current algebra $\mathfrak{sl}_2[t]$. We give a combinatorial formula for the polynomials encoding these multiplicities in terms of two dimensional lattice paths. Corollaries to our main theorem include a combinatorial interpretation of various objects such as the coeffficients of Ramanujan's fifth order mock theta functions $φ_0, φ_1, ψ_0, ψ_1$, Kostka polynomials for hook partitions and quotients of Chebyshev polynomials. We also get a combinatorial interpretation of the graded multiplicities in a level one flag of a local Weyl module associated to the simple Lie algebras of type $B_n \text{ and } G_2$.
Orientable $\mathbb{Z}{}_{n}$-distance magic regular graphs
Published
• View Publication
• BIB
Hefetz, Mütze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper we support the analogous question for distance magic labeling. Let $Γ$ be an Abelian group of order $n$. A \textit{directed $Γ$-distance magic labeling} of an oriented graph $\vec{G} = (V,A)$ of order $n$ is a bijection $\vec{l}:V \rightarrow Γ$ with the property that there is a \textit{magic constant} $μ\in Γ$ such that for every $x \in V(G)$ $ w(x) = \sum_{y \in N^{+}(x)}\vec{l}(y) - \sum_{y \in N^{-}(x)} \vec{l}(y) = μ. $ In this paper we provide an infinite family of odd regular graphs possessing an orientable $\mathbb{Z}_{n}$-distance magic labeling. Our results refer to lexicographic product of graphs. We also present a family of odd regular graphs that are not orientable $\mathbb{Z}_{n}$-distance magic.
On the metric dimension of Cartesian powers of a graph
Published in Journal of Combinatorial Theory, Series A, Volume 165, 2019, Pages 1-14
• View Publication
• BIB
A set of vertices $S$ resolves a graph if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of a graph is the minimum cardinality of a resolving set of the graph. Fix a connected graph $G$ on $q \ge 2$ vertices, and let $M$ be the distance matrix of $G$. We prove that if there exists $w \in \mathbb{Z}^q$ such that $\sum_i w_i = 0$ and the vector $Mw$, after sorting its coordinates, is an arithmetic progression with nonzero common difference, then the metric dimension of the Cartesian product of $n$ copies of $G$ is $(2+o(1))n/\log_q n$. In the special case that $G$ is a complete graph, our results close the gap between the lower bound attributed to Erdős and Rényi and the upper bounds developed subsequently by Lindström, Chvátal, Kabatianski, Lebedev and Thorpe.
On the second largest component of random hyperbolic graphs
Published
• View Publication
• BIB
We show that in the random hyperbolic graph model as formalized by Gugelmann et al. in the most interesting range of $\frac12 < α< 1$ the size of the second largest component is $Θ((\log n)^{1/(1-α)})$, thus answering a question of Bode et al. We also show that for $α=\frac12$ with constant probability the corresponding size is $Θ(\log n)$, whereas for $α=1$ it is $Ω(n^{b})$ for some $b > 0$.
Median inverse problem and approximating the number of $k$-median inverses of a permutation
We introduce the "Median Inverse Problem" for metric spaces. In particular, having a permutation $π$ in the symmetric group $S_n$ (endowed with the breakpoint distance), we study the set of all $k$-subsets $\{x_1,...,x_k\}\subset S_n$ for which $π$ is a breakpoint median. The set of all $k$-tuples $(x_1,...,x_k)$ with this property is called the $k$-median inverse of $π$. Finding an upper bound for the cardinality of this set, we provide an asymptotic upper bound for the probability that $π$ is a breakpoint median of $k$ permutations $ξ_1^{(n)},...,ξ_k^{(n)}$ chosen uniformly and independently at random from $S_n$.
Circuit Preserving Edge Maps II
Published in J. Combin. Theory Ser. B 42 (1987), 146-155
• View Publication
• BIB
The results obtained in this paper grew from an attempt to generalize the main theorem of [1]. There it was shown that any circuit injection (a 1-1 onto edge map f such that if C is a circuit then f(C) is a circuit) from a 3-connected, not necessarily finite graph G onto a graph H is induced by a vertex isomorphism, where H is assumed to not have any isolated vertices. In the present article we examine the situation when the 1-1 condition is dropped (Chapter 1). An interesting result then is that the theorem remains true for finite (3-connected) graphs G but not for infinite G. In Chapter 2 we retain the 1-1 condition but allow the image of f to be first an arbitrary matroid and second a binary matroid. An interesting result then is the following. Let G be a graph of even order. Then the statement "no nontrivial map f:=>M exists, where M is a binary matroid" is equivalent to "G is Hamiltonian". If G is a graph of odd order, then the statement "no nontrivial map f:G=>M exists, where M is a binary matroid" is equivalent to "G is almost Hamiltonian", where we define a graph G of order n to be almost Hamiltonian if every subset of vertices of order n-1 is contained in some circuit of G.
[1] J.H. Sanders and D. Sanders, Circuit preserving edge maps, J. Combin. Theory Ser. B 22 (1977),91-96.
The vertex-isoperimetric number of the incidence andnon-incidence graphs of unitals
Published
• View Publication
• BIB
We derive upper and lower bounds for the vertex-isoperimetric number of the incidence graphs of unitals and determine its order of magnitude. In the case when a unital contains sufficiently large arcs, these bounds agree and give rise to the precise value of this parameter. In particular, we obtain the exact value of the vertex-isoperimetric number of the incidence graphs of classical unitals and a certain subfamily of BM-unitals. In the case when the maximum size of arcs in the unital is relatively small, we obtain an upper bound for this parameter in terms of the vertex-isoperimetric number of the incidence graph. We also determine the exact value of the vertex-isoperimetric number of the non-incidence graph of any unital.
Maps on random hypergraphs and random simplicial complexes
Published
• View Publication
• BIB
Let $L$ be a simplicial complex. In this paper, we study random sub-hypergraphs and random sub-complexes of $L$. By considering the minimal complex that a sub-hypergraph can be embedded in and the maximal complex that can be embedded in a sub-hypergraph, we define some maps on the space of probability functions on sub-hypergraphs of $L$. We study the compositions of these maps as well as their actions on the space of probability functions.
Improved lower bound on generalized Erdos-Ginzburg-Ziv constants
If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then $s_{2n}(C_{n}^{r}) > \frac{n}{2}[\frac{5}{4}-O(n^{-\frac{3}{2}})]^{r}$ and $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{1}{e k}-O(\frac{1}{n})]^{r}$ for $k > 2$. In this note, we sharpen their general bound by showing that $s_{k n}(C_{n}^{r}) > \frac{k n}{4} [1+\frac{(k-1)^{(k-1)}}{k^k}-O(\frac{1}{n})]^{r}$ for $k > 2$.