Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Existential monadic second order convergence law fails on sparse random graphs
Published
• View Publication
• BIB
In the paper, we prove that existential monadic second order convergence law fails for the binomial random graph $G(n,n^{-α})$ for every $α\in(0,1)$.
Convex Union Representability and Convex Codes
Published
• View Publication
• BIB
We introduce and investigate $d$-convex union representable complexes: the complexes that arise as the nerve of a finite collection of convex open sets in $\mathbb R^d$ whose union is also convex. Chen, Frick, and Shiu recently proved that such complexes are collapsible and asked if all collapsible complexes are convex union representable. We disprove this by showing that there exist shellable and collapsible complexes that are not convex union representable; there also exist non-evasive complexes that are not convex union representable. In the process we establish several necessary conditions for a complex to be convex union representable such as: that such a complex $Δ$ collapses onto the star of any face of $Δ$, that the Alexander dual of $Δ$ must also be collapsible, and that if $k$ facets of $Δ$ contain all free faces of $Δ$, then $Δ$ is $(k-1)$-representable. We also discuss some sufficient conditions for a complex to be convex union representable. The notion of convex union representability is intimately related to the study of convex neural codes. In particular, our results provide new families of examples of non-convex neural codes.
On rigidity of unit-bar frameworks
Published
• View Publication
• BIB
We show the existence of infinitesimally rigid bipartite unit-bar frameworks in $\mathbb{R}^d$. We also construct unit-bar frameworks with girth up to 12 that are infinitesimally rigid in the plane. This answers problems proposed by Maehara.
On configuration spaces and Whitehouse's lifts of the Eulerian representations
Published
• View Publication
• BIB
S. Whitehouse's lifts of the Eulerian representations of $S_n$ to $S_{n+1}$ are reinterpreted, topologically and ring-theoretically, building on the first author's work on A. Ocneanu's theory of permutohedral blades.
Saturation numbers for Ramsey-minimal graphs
Published
• View Publication
• BIB
Given graphs $H_1, \dots, H_t$, a graph $G$ is $(H_1, \dots, H_t)$-Ramsey-minimal if every $t$-coloring of the edges of $G$ contains a monochromatic $H_i$ in color $i$ for some $i\in\{1, \dots, t\}$, but any proper subgraph of $G $ does not possess this property. We define $\mathcal{R}_{\min}(H_1, \dots, H_t)$ to be the family of $(H_1, \dots, H_t)$-Ramsey-minimal graphs. A graph $G$ is \dfn{$\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated} if no element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G$, but for any edge $e$ in $\overline{G}$, some element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G + e$. We define $sat(n, \mathcal{R}_{\min}(H_1, \dots, H_t))$ to be the minimum number of edges over all $\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated graphs on $n$ vertices. In 1987, Hanson and Toft conjectured that $sat(n, \mathcal{R}_{\min}(K_{k_1}, \dots, K_{k_t}) )= (r - 2)(n - r + 2)+\binom{r - 2}{2} $ for $n \ge r$, where $r=r(K_{k_1}, \dots, K_{k_t})$ is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large $n$ was setteled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all $\mathcal{R}_{\min}(K_3, \mathcal{T}_k)$-saturated graphs on $n$ vertices, where $\mathcal{T}_k$ is the family of all trees on $k$ vertices. We show that for $n \ge 18$, $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_4)) =\lfloor {5n}/{2}\rfloor$. For $k \ge 5$ and $n \ge 2k + (\lceil k/2 \rceil +1) \lceil k/2 \rceil -2$, we obtain an asymptotic bound for $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_k))$.
Sketch for a Theory of Constructs
The present note sketches a theory of constructs.
Restricted permutations refined by number of crossings and nestings
Published in Discrete Mathematics, Vol. 343 (2020)
• View Publication
• BIB
Let $st=\{st_1,\ldots,st_k\}$ be a set of $k$ statistics on permutations with $k\geq 1$. We say that two given subset of permutations $T$ and $T'$ are $st$-Wilf-equivalent if the joint distributions of all statistics in $st$ over the sets of $T$-avoiding permutations $S_n(T)$ and $T'$-avoiding permutations $S_n(T')$ are the same. The main purpose of this paper is the (cr,nes)-Wilf-equivalence classes for all single patterns in $S_3$, where cr and nes denote respectively the statistics number of crossings and nestings. One of the main tools that we use is the bijection $Θ:S_n(321)\rightarrow S_n(132)$ which was originally exhibited by Elizalde and Pak in \cite{ElizP}. They proved that the bijection $Θ$ preserves the number of fixed points and excedances. Since the given formulation of $Θ$ is not direct, we show that it can be defined directly by a recursive formula. Then, we prove that it also preserves the number of crossings. Due to the fact that the sets of non-nesting permutations and 321-avoiding permutations are the same, these properties of the bijection $Θ$ leads to an unexpected result related to the q,p-Catalan numbers of Randrianarivony defined in \cite{ARandr}.
Algorithm to Prove Formulas for the Expected Number of Questions in Mastermind Games
We close the gap in the proof (published by Chen and Lin) of formulas for the minimum number of questions required in the expected case for Mastermind and its variant called AB game, where both games are played with two pegs and $n$ colors. For this purpose, we introduce a new model to represent the game guessing process and we develop an algorithm with automatizes the proof. In contrary to the model used by Chen and Lin, called graph-partition approach, which is limited to two pegs, our model and algorithm are parametrized with the number of pegs and they could potentially be used for any number of pegs.
Upper and Lower Bounds on Zero-Sum Generalized Schur Numbers
Let $S_{\mathfrak{z}}(k,r)$ be the least positive integer such that for any $r$-coloring $χ: \{1,2,\dots,S_{\mathfrak{z}}(k,r)\} \longrightarrow \{1, 2, \dots, r\}$, there is a sequence $x_1, x_2, \dots, x_k$ such that $\sum_{i=1}^{k-1} x_i = x_k$, and $\sum_{i=1}^{k} χ(x_i) \equiv 0 \pmod{r}$. We show that when $k$ is greater than $r$, $kr - r - 1 \le S_{\mathfrak{z}}(k,r) \le kr - 1$, and when $r$ is an odd prime, $S_{\mathfrak{z}}(k,r)$ is in fact equal to $kr - r$.
Classes of graphs with e-positive chromatic symmetric function
Published
• View Publication
• BIB
In the mid-1990s, Stanley and Stembridge conjectured that the chromatic symmetric functions of claw-free co-comparability (also called incomparability) graphs were e-positive. The quest for the proof of this conjecture has led to an examination of other, related graph classes. In 2013 Guay-Paquet proved that if unit interval graphs are e-positive, that implies claw-free incomparability graphs are as well. Inspired by this approach, we consider a related case and prove that unit interval graphs whose complement is also a unit interval graph are e-positive. We introduce the concept of strongly $e$-positive to denote a graph whose induced subgraphs are all e-positive, and conjecture that a graph is strongly e-positive if and only if it is (claw, net)-free.
Spin systems on Bethe lattices
Published
• View Publication
• BIB
In an extremely influential paper Mezard and Parisi put forward an analytic but non-rigorous approach called the cavity method for studying spin systems on the Bethe lattice, i.e., the random $d$-regular graph [Eur. Phys. J. B 20 (2001) 217--233]. Their technique was based on certain hypotheses; most importantly, that the phase space decomposes into a number of Bethe states that are free from long-range correlations and whose marginals are given by a recurrence called Belief Propagation. In this paper we establish this decomposition rigorously for a very general family of spin systems. In addition, we show that the free energy can be computed from this decomposition. We also derive a variational formula for the free energy. The general results have interesting ramifications on several special cases.
Stability for Intersecting Families of Perfect Matchings
Published
• View Publication
• BIB
A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and if equality holds, then $\mathcal{F} = \mathcal{F}_{ij}$ where $ \mathcal{F}_{ij}$ is the family of all perfect matchings of $K_{2n}$ that contain some fixed edge $ij$. In this note, we show that the extremal families are stable, namely, that for any $ε\in (0,1/\sqrt{e})$ and $n > n(ε)$, any intersecting family of perfect matchings of size greater than $(1 - 1/\sqrt{e} + ε)(2n-3)!!$ is contained in $\mathcal{F}_{ij}$ for some edge $ij$. The proof uses the Gelfand pair $(S_{2n},S_2 \wr S_n)$ along with an isoperimetric method of Ellis.
Construction of cospectral graphs
Published
• View Publication
• BIB
Construction of non-isomorphic cospectral graphs is a nontrivial problem in spectral graph theory specially for large graphs. In this paper, we establish that graph theoretical partial transpose of a graph is a potential tool to create non-isomorphic cospectral graphs by considering a graph as a clustered graph.
Existence of symmetric maximal noncrossing collections of $k$-element sets
Published
• View Publication
• BIB
We investigate the existence of maximal collections of mutually noncrossing $k$-element subsets of $\left\{ 1, \dots, n \right\}$ that are invariant under adding $k\pmod n$ to all indices. Our main result is that such a collection exists if and only if $k$ is congruent to $0, 1$ or $-1$ modulo $n/\operatorname{GCD}(k,n)$. Moreover, we present some algebraic consequences of our result related to self-injective Jacobian algebras.
Enumerating Anchored Permutations with Bounded Gaps
Published
• View Publication
• BIB
Say that a permutation of $1,2,\ldots,n$ is \textit{$k$-bounded} if every pair of consecutive entries in the permutation differs by no more than $k$. Such a permutation is \textit{anchored} if the first entry is $1$ and the last entry is $n$. We show that the generating function for the enumeration of $k$-bounded anchored permutations is always rational, mirroring the known result on (non-anchored) $k$-bounded permutations due to Avgustinovich and Kitaev. We then explicitly determine the recursive formulas of minimal depth for the number of anchored $k$-bounded permutations of $n$ for $k=2$ and $k=3$, resolving a conjecture listed on the Online Encyclopedia of Integer Sequences (entry A249665).
We additionally show that the number of anchored $k$-bounded permutations of $n$ is asymptotically $O\left(k^n\right)$ as a function of $n$ for a given $k$.
Johnson type bounds for mixed dimension subspace codes
Published
• View Publication
• BIB
Subspace codes, i.e., sets of subspaces of $\mathbb{F}_q^v$, are applied in random linear network coding. Here we give improved upper bounds for their cardinalities based on the Johnson bound for constant dimension codes.
Automorphism groups of Steiner triple systems
Published
• View Publication
• BIB
If $G$ is a finite group then there is an integer $M_G$ such that$,$ for $u\ge M_G$ and $u\equiv 1$ or $3$ (mod 6), there is a Steiner triple system $U$ on $u$ points for which ${\rm Aut} U \cong G. \ $ If $V$ is a Steiner triple system then there is an integer $N_V$ such that$,$ for $u\ge N_V$ and $u\equiv 1$ or $3$ $($mod $6),$ there is a Steiner triple system $U$ on $u$ points having $V$ as an ${\rm Aut} U$-invariant subsystem such that ${\rm Aut} U\cong{\rm Aut} V $ and ${\rm Aut} U $ induces ${\rm Aut} V$ on $V$.
Artin Groups and Iwahori-Hecke algebras over finite fields
In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases.
We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.
Saturation Games for Odd Cycles
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, we consider the $\mathcal{F}$-saturation game. In this game two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph that lies in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $sat_g(\mathcal{F};n)$ denote the number of edges that are in the final graph when both players play optimally.
The $\{C_3\}$-saturation game was the first saturation game to be considered, but as of now the order of magnitude of $sat_g(\{C_3\},n)$ remains unknown. We consider a generalization of this game. Let $\mathcal{C}_{2k+1}:=\{C_3,\ C_5,\ldots,C_{2k+1}\}$. We prove that $sat_g(\mathcal{C}_{2k+1};n)\ge(\frac{1}{4}-ε_k)n^2+o(n^2)$ for all $k\ge 2$ and that $sat_g(\mathcal{C}_{2k+1};n)\le (\frac{1}{4}-ε'_k)n^2+o(n^2)$ for all $k\ge 4$, with $ε_k<\frac{1}{4}$ and $ε'_k>0$ constants tending to 0 as $k\to \infty$. In addition to this we prove $sat_g(\{C_{2k+1}\};n)\le \frac{4}{27}n^2+o(n^2)$ for all $k\ge 2$, and $sat_g(\mathcal{C}_\infty\setminus C_3;n)\le 2n-2$, where $\mathcal{C}_\infty$ denotes the set of all odd cycles.
Upper density of monochromatic infinite paths
Published in Advances in Combinatorics, 2019:4, 16pp
• View Publication
• BIB
We prove that in every $2$-colouring of the edges of $K_\mathbb{N}$ there exists a monochromatic infinite path $P$ such that $V(P)$ has upper density at least ${(12+\sqrt{8})}/{17} \approx 0.87226$ and further show that this is best possible. This settles a problem of Erdős and Galvin.