Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Strengthening topological colorful results for graphs
Published
• View Publication
• BIB
Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind, respectively due to Simonyi and Tardos (Combinatorica, 2006), Simonyi, Tardif, and Zsbán (The Electronic Journal of Combinatorics, 2013), and Chen (Journal of Combinatorial Theory, Series A, 2011). As a consequence of the generalization of Chen's theorem, we get new families of graphs whose chromatic number equals their circular chromatic number and that satisfy Hedetniemi's conjecture for the circular chromatic number.
Face numbers and the fundamental group
Published
• View Publication
• BIB
We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$, we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$-numbers introduced by Bagchi and Datta.
A Conjecture about Periods in Subtraction Games
We make a conjecture that characterizes the periods of the nim values in subtraction games with subtraction set of size 3.
Basic sets for the double covering groups of the symmetric and alternating groups in odd characteristic
Published
• View Publication
• BIB
In this paper, following the methods of http://arxiv.org/abs/1305.7449v2, we show that the double covering groups of the symmetric and alternating groups have p-basic sets for any odd prime p.
A High Quartets Distance Construction
Published
• View Publication
• BIB
Given two binary trees on $N$ labeled leaves, the quartet distance between the trees is the number of disagreeing quartets. By permuting the leaves at random, the expected quartets distance between the two trees is $\frac{2}{3}\binom{N}{4}$. However, no strongly explicit construction reaching this bound asymptotically was known.
We consider complete, balanced binary trees on $N=2^n$ leaves, labeled by $n$ long bit sequences. Ordering the leaves in one tree by the prefix order, and in the other tree by the suffix order, we show that the resulting quartet distance is $\left(\frac{2}{3} + o(1)\right)\binom{N}{4}$, and it always exceeds the $\frac{2}{3}\binom{N}{4}$ bound.
Homomorphisms into loop-threshold graphs
Published
• View Publication
• BIB
Many problems in extremal graph theory correspond to questions involving homomorphisms into a fixed image graph. Recently, there has been interest in maximizing the number of homomorphisms from graphs with a fixed number of vertices and edges into small image graphs. For the image graph $H_{\text{ind}}$, the graph on two adjacent vertices, one of which is looped, each homomorphism from $G$ to $H_{\text{ind}}$ corresponds to an independent set in $G$. It follows from the Kruskal-Katona theorem that the number of homomorphisms to $H_{\text{ind}}$ is maximized by the lex graph, whose edges form an initial segment of the lex order.
A \emph{loop-threshold graph} is a graph built recursively from a single vertex, which may be looped or unlooped, by successively adding either a looped dominating vertex or an unlooped isolated vertex at each stage. Thus, the graph $H_{\text{ind}}$ is a loop-threshold graph. We survey known results for maximizing the number of homomorphisms into small loop-threshold image graphs. The only extremal homomorphism problem with a loop-threshold image graph on at most three vertices not yet solved is $H_{\text{ind}}\cup E_1$, where extremal graphs are the union of a lex graph and an empty graph. The only question that remains is the size of the lex component of the extremal graph. While we cannot give an exact answer for every number of vertices and edges, we establish the significance of and give a bound for $\ell(m)$, the number of vertices in the lex component of the extremal graph with $m$ edges and at least $m+1$ vertices.
Generalized Representation Stability and FI_d-modules
Published
• View Publication
• BIB
In this note we consider the complex representation theory of FI_d, a natural generalization of the category FI of finite sets and injections. We prove that finitely generated FI_d-modules exhibit behaviors in the spirit of Church-Farb representation stability theory, generalizing a theorem of Church, Ellenberg, and Farb which connects finite generation of FI-modules to representation stability.
The geometry and combinatorics of Springer fibers
Published
• View Publication
• BIB
This survey paper describes Springer fibers, which are used in one of the earliest examples of a geometric representation. We will compare and contrast them with Schubert varieties, another family of subvarieties of the flag variety that play an important role in representation theory and combinatorics, but whose geometry is in many respects simpler. The end of the paper describes a way that Springer fibers and Schubert varieties are related, as well as open questions.
Lefschetz properties of balanced 3-polytopes
Published
• View Publication
• BIB
In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial $3$-polytopes. A $(d-1)$-dimensional simplicial complex is said to be balanced if its graph is $d$-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Stanley-Reisner ring of a balanced simplicial $3$-polytope with respect to this special system of parameters has the strong Lefschetz property if the characteristic of the base field is not two or three. Moreover, we characterize $(2,1)$-balanced simplicial polytopes, i.e., polytopes with exactly one red vertex and two blue vertices in each facet, such that an analogous property holds. In fact, we show that this is the case if and only if the induced graph on the blue vertices satisfies a Laman-type combinatorial condition.
Ramsey properties of nonlinear Diophantine equations
Published
• View Publication
• BIB
We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by exploiting algebraic properties in the space of ultrafilters betaN, grounding on combinatorial properties of positive density sets and IP sets. Necessary conditions are proved by a new technique in nonstandard analysis, based on the use of the relation of u-equivalence for the hypernatural numbers *N.
Domination of the rectangular queen's graph
Published in The Electronic Journal of Combinatorics 26(4) (2019) P4.45
• Search Publication
The queen's graph $Q_{m \times n}$ has the squares of the $m \times n$ chessboard as its vertices; two squares are adjacent if they are in the same row, column, or diagonal of the board. A set $D$ of squares of $Q_{m \times n}$ is a dominating set for $Q_{m \times n}$ if every square of $Q_{m \times n}$ is either in $D$ or adjacent to a square in $D$. The minimum size of a dominating set of $Q_{m \times n}$ is the domination number, denoted by $γ(Q_{m \times n})$. Values of $γ(Q_{m \times n}), \, 4 \leq m \leq n \leq 18, \,$ are given here, in each case with a file of minimum dominating sets (often all of them, up to symmetry) in an online appendix at https://www.combinatorics.org/ojs/index.php/eljc/article/view/v26i4p45/HTML. In these ranges for $m$ and $n$, monotonicity fails once: $γ(Q_{8 \times 11}) = 6 > 5 = γ(Q_{9 \times 11}) = γ(Q_{10 \times 11}) = γ(Q_{11 \times 11})$. Lower bounds on $γ(Q_{m \times n})$ are given. In particular, if $m \leq n$ then $γ(Q_{m \times n}) \geq \min \{ m, \lceil (m+n-2)/4 \rceil \}$. A set of squares is independent if no two of its squares are adjacent. The minimum size of an independent dominating set of $Q_{m \times n}$ is the independent domination number, denoted by $i(Q_{m \times n})$. Values of $i(Q_{m \times n}), \, 4 \leq m \leq n \leq 18, \,$ are given here, in each case with some minimum dominating sets. In these ranges for $m$ and $n$, monotonicity fails twice: $i(Q_{8 \times 11}) = 6 > 5 = i(Q_{9 \times 11}) = i(Q_{10 \times 11}) = i(Q_{11 \times 11})$, and $i(Q_{11 \times 18}) = 9 > 8 = i(Q_{12 \times 18})$.
Eplett's theorem for self-converse generalised tournaments
The converse of a tournament is obtained by reversing all arcs. If a tournament is isomorphic to its converse, it is called self--converse. Eplett provided a necessary and sufficient condition for a sequence of integers to be realisable as the score sequence of a self--converse tournament. In this paper we extend this result to generalised tournaments.
The poset of rational cones
Published in Pacific J. Math. 292 (2018) 103-115
• View Publication
• BIB
We introduce a natural partial order on the set Cones(d) of rational cones in R^d. The poset NPol(d-1) of normal polytopes in R^{d-1} embeds into Cones(d) via the homogenization map. The order in Cones(d) is conjecturally the inclusion order. We prove this for d=3 and show a stronger version of the connectivity of Cones(d) for all d. Topological aspects of the conjecture are also discussed.
Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5
Published in J. Combin. Theory Ser. A 157 (2018) 247-266
• View Publication
• BIB
We classify finite primitive permutation groups having a suborbit of length 5. As a corollary, we obtain a classification of finite vertex-primitive graphs of valency 5. In the process, we also classify finite almost simple groups that have a maximal subgroup isomorphic to $\mathrm{Alt}(5)$ or $\mathrm{Sym}(5)$.
Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor
We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.
The numbers of distinct and repeated squares and cubes in the Tribonacci sequence
The Tribonacci sequence $\mathbb{T}$ is the fixed point of the substitution $σ(a,b,c)=(ab,ac,a)$. The main result is twofold: (1) we give the explicit expressions of the numbers of distinct squares and cubes in $\mathbb{T}[1,n]$ (the prefix of $\mathbb{T}$ of length $n$); (2) we give algorithms for counting the number of repeated squares and cubes in $\mathbb{T}[1,n]$ for all $n$; then get explicit expressions for some special $n$ such as $n=t_m$ (the Tribonacci number).
On rational Dyck paths and the enumeration of factor-free Dyck words
Published in Discrete Applied Mathematics 244 (2018), 36-43
• View Publication
• BIB
Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by factor-free words. This bijection leads to a new statistic based on the reducibility level of the paths for which we provide a corresponding formula. On the other hand, we prove an inverse relation for certain sequences defined via partial Bell polynomials, and we use it to derive a formula for the enumeration of factor-free words. In addition, we give alternative formulas for various enumerative sequences that appear in the context of rational Dyck paths.
Integral Cayley Graphs over Dihedral Groups
Published
• View Publication
• BIB
In this paper, we give a necessary and sufficient condition for the integrality of Cayley graphs over the dihedral group $D_n=\langle a,b\mid a^n=b^2=1,bab=a^{-1}\rangle$. Moreover, we also obtain some simple sufficient conditions for the integrality of Cayley graphs over $D_n$ in terms of the Boolean algebra of $\langle a\rangle$, from which we find infinite classes of integral Cayley graphs over $D_n$. In particular, we completely determine all integral Cayley graphs over the dihedral group $D_p$ for a prime $p$.
Codes arising from incidence matrices of points and hyperplanes in $PG(n,q)$
Published
• View Publication
• BIB
In this paper we completely characterize the words with second minimum weight in the $p-$ary linear code generated by the rows of the incidence matrix of points and hyperplanes of $PG(n,q)$, with $q=p^h$ and $p$ prime, proving that they are the scalar multiples of the difference of the incidence vectors of two distinct hyperplanes of $PG(n,q)$.
On Deposition of the Product of Demazure Atoms and Demazure Characters
This paper studies the properties of Demazure atoms and characters using linear operators and also tableaux-combinatorics. It proves the atom-positivity property of the product of a dominating monomial and an atom, which was an open problem. Furthermore, it provides a combinatorial proof to the key-positivity property of the product of a dominating monomial and a key using skyline fillings, an algebraic proof to the key-positivity property of the product of a Schur function and a key using linear operator and verifies the first open case for the conjecture of key-positivity of the product of two keys using linear operators and polytopes.