Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Locally triangular graphs and rectagraphs with symmetry
Published in J. Combin. Theory, Ser. A. 133 (2015) 1-28
• View Publication
• BIB
Locally triangular graphs are known to be halved graphs of bipartite rectagraphs, which are connected triangle-free graphs in which every $2$-arc lies in a unique quadrangle. A graph $Γ$ is locally rank 3 if there exists $G\leq \mathrm{Aut}(Γ)$ such that for each vertex $u$, the permutation group induced by the vertex stabiliser $G_u$ on the neighbourhood $Γ(u)$ is transitive of rank 3. One natural place to seek locally rank 3 graphs is among the locally triangular graphs, where every induced neighbourhood graph is isomorphic to a triangular graph $T_n$. This is because the graph $T_n$, which has vertex set the $2$-subsets of $\{1,\ldots,n\}$ and edge set the pairs of $2$-subsets intersecting at one point, admits a rank 3 group of automorphisms. In this paper, we classify the locally $4$-homogeneous rectagraphs under some additional structural assumptions. We then use this result to classify the connected locally triangular graphs that are also locally rank 3.
Induced Matchings in Graphs of Maximum Degree 4
Published
• View Publication
• BIB
For a graph $G$, let $ν_s(G)$ be the induced matching number of $G$. We prove the sharp bound $ν_s(G)\geq \frac{n(G)}{9}$ for every graph $G$ of maximum degree at most $4$ and without isolated vertices that does not contain a certain blown up $5$-cycle as a component. This result implies a consequence of the well known conjecture of Erdős and Nešetřil, saying that the strong chromatic index $χ_s'(G)$ of a graph $G$ is at most $\frac{5}{4}Δ(G)^2$, because $ν_s(G)\geq \frac{m(G)}{χ_s'(G)}$ and $n(G)\geq \frac{m(G)Δ(G)}{2}$. Furthermore, it is shown that there is polynomial-time algorithm that computes induced matchings of size at least $\frac{n(G)}{9}$.
Manipulative waiters with probabilistic intuition
Published
• View Publication
• BIB
For positive integers $n$ and $q$ and a monotone graph property $\cA$, we consider the two player, perfect information game $\WC(n,q,\cA)$, which is defined as follows. The game proceeds in rounds. In each round, the first player, called Waiter, offers the second player, called Client, $q+1$ edges of the complete graph $K_n$ which have not been offered previously. Client then chooses one of these edges which he keeps and the remaining $q$ edges go back to Waiter. If at the end of the game, the graph which consists of the edges chosen by Client satisfies the property $\cA$, then Waiter is declared the winner; otherwise Client wins the game. In this paper we study such games (also known as Picker-Chooser games) for a variety of natural graph theoretic parameters, such as the size of a largest component or the length of a longest cycle. In particular, we describe a phase transition type phenomenon which occurs when the parameter $q$ is close to $n$ and is reminiscent of phase transition phenomena in random graphs. Namely, we prove that if $q \leq (1 - \varepsilon) n$, then Client can avoid connected components of order $c \varepsilon^{-2} \ln n$ for some absolute constant $c > 0$, whereas, for $q \geq (1 + \varepsilon) n$, Waiter can force a giant, linearly sized, connected component in Client's graph. We also prove that Waiter can force Client's graph to be pancyclic for every $q \leq c n$, where $c > 0$ is an appropriate constant.
Pseudo-ovals in even characteristic and ovoidal Laguerre planes
Published
• View Publication
• BIB
Pseudo-arcs are the higher dimensional analogues of arcs in a projective plane: a pseudo-arc is a set $\mathcal{A}$ of $(n-1)$-spaces in $\mathrm{PG}(3n-1,q)$ such that any three span the whole space. Pseudo-arcs of size $q^n+1$ are called pseudo-ovals, while pseudo-arcs of size $q^n+2$ are called pseudo-hyperovals. A pseudo-arc is called elementary if it arises from applying field reduction to an arc in $\mathrm{PG}(2,q^n)$.
We explain the connection between dual pseudo-ovals and elation Laguerre planes and show that an elation Laguerre plane is ovoidal if and only if it arises from an elementary dual pseudo-oval. The main theorem of this paper shows that a pseudo-(hyper)oval in $\mathrm{PG}(3n-1,q)$, where $q$ is even and $n$ is prime, such that every element induces a Desarguesian spread, is elementary. As a corollary, we give a characterisation of certain ovoidal Laguerre planes in terms of the derived affine planes.
Association schemes with at most two nonlinear irreducible characters and applications to finite groups
Published
• View Publication
• BIB
An irreducible character $χ$ of an association scheme is called nonlinear if the multiplicity of $χ$ is greater than $1$. The main result of this paper gives a characterization of commutative association schemes with at most two nonlinear irreducible characters. This yields a characterization of finite groups with at most two nonlinear irreducible characters. A class of noncommutative association schemes with at most two nonlinear irreducible character is also given.
Intersections of the Hermitian Surface with irreducible Quadrics in even Characteristic
Published in The Electronic Journal of Combinatorics, 23 (4) P4.13 (2016), http://www.combinatorics.org/ojs/index.php/eljc/article/view/v23i4p13
• View Publication
• BIB
We determine the possible intersection sizes of a Hermitian surface $\mathcal H$ with an irreducible quadric of ${\mathrm PG}(3,q^2)$ sharing at least a tangent plane at a common non-singular point when $q$ is even.
Local spectral expansion approach to high dimensional expanders
This paper introduces the notion of local spectral expansion of a simplicial complex as a possible analogue of spectral expansion defined for graphs. We show the condition of local spectral expansion has several nice implications. For example, for a simplicial complex with local spectral expansion we show vanishing of cohomology with real coefficients, Cheeger type inequalities and mixing type results and geometric overlap results.
A new application of the $\otimes_h$-product to $α$-labelings
The weak tensor product was introduced by Snevily as a way to construct new graphs that admit $α$-labelings from a pair of known $α$-graphs. In this article, we show that this product and the application to $α$-labelings can be generalized by considering as a second factor of the product, a family $Γ$ of bipartite $(p,q)$-graphs, $p$ and $q$ fixed. The only additional restriction that we should consider is that for every $F\in Γ$, there exists and $α$-labeling $f_F$ with $f_F(V(F))=L\cup H$, where $L,H \subset [0,q]$ are the stable sets induced by the characteristic of $f_F$ and they do not depend on $F$. We also obtain analogous applications to near $α$-labelings and bigraceful labelings.
Grossberg-Karshon twisted cubes and hesitant walk avoidance
Published in Pacific J. Math. 278 (2015) 119-136
• View Publication
• BIB
Let $G$ be a complex semisimple simply connected linear algebraic group. Let $λ$ be a dominant weight for $G$ and $\mathcal{I} = (i_1, i_2, \ldots, i_n)$ a word decomposition for an element $w = s_{i_1} s_{i_2} \cdots s_{i_n}$ of the Weyl group of $G$, where the $s_i$ are the simple reflections. In the 1990s, Grossberg and Karshon introduced a virtual lattice polytope associated to $λ$ and $\mathcal{I}$, which they called a twisted cube, whose lattice points encode (counted with sign according to a density function) characters of representations of $G$. In recent work, the first author and Jihyeon Yang prove that the Grossberg-Karshon twisted cube is untwisted (so the support of the density function is a closed convex polytope) precisely when a certain torus-invariant divisor on a toric variety, constructed from the data of $λ$ and $\mathcal{I}$, is basepoint-free. This corresponds to the situation in which the Grossberg-Karshon character formula is a true combinatorial formula in the sense that there are no terms appearing with a minus sign. In this note, we translate this toric-geometric condition to the combinatorics of $\mathcal{I}$ and $λ$. More precisely, we introduce the notion of hesitant $λ$-walks and then prove that the associated Grossberg-Karshon twisted cube is untwisted precisely when $\mathcal{I}$ is hesitant-$λ$-walk-avoiding.
Some new applications of the Stanley-Macdonald Pieri Rules
Published
• View Publication
• BIB
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses skewing by $e_1$ the modified Macdonald polynomial ${\tilde H}_μ[X;q,t]$, can be given a very simple combinatorial form in terms of corner weights of the Ferrers' diagram of $μ$. A similar formula was later obtained by the last named author for the multiplication of ${\tilde H}_μ[X;q,t]$ by $e_1$, but never published. In the years that followed we have seen some truly remarkable uses of these two Pieri rules in establishing highly non trivial combinatorial results in the Theory of Macdonald polynomials. This theory has recently been spectacularly enriched by various Algebraic Geometrical results in the works of Hikita, Schiffmann, Schiffmann-Vasserot, A. Negut and Gorsky-Negut. This development opens up the challenging task of deriving their results by purely Algebraic Combinatorial methods. In this paper we present the progress obtained by means of Pieri rules.
Divisibility of Weil Sums of Binomials
Published
• View Publication
• BIB
Consider the Weil sum $W_{F,d}(u)=\sum_{x \in F} ψ(x^d+u x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, $d$ is coprime to $|F^*|$, and $u \in F^*$. We say that $W_{F,d}(u)$ is three-valued when it assumes precisely three distinct values as $u$ runs through $F^*$: this is the minimum number of distinct values in the nondegenerate case, and three-valued $W_{F,d}$ are rare and desirable. When $W_{F,d}$ is three-valued, we give a lower bound on the $p$-adic valuation of the values. This enables us to prove the characteristic $3$ case of a 1976 conjecture of Helleseth: when $p=3$ and $[F:{\mathbb F}_3]$ is a power of $2$, we show that $W_{F,d}$ cannot be three-valued.
On $q$-analogs of some integrals over GUE
Statistics over the Gaussian unitary ensemble and the Wishart ensemble of random matrices often have nice closed-form expressions. These are related to multivariate extensions of the Hermite, Laguerre, and Jacobi polynomials, which often occur in the study of these ensembles.
In the paper, we develop a formal $q$-analog of the Gaussian unitary ensemble, using $q$-Hermite polynomials and coefficient extraction instead of integration. This way we derive $q$-analogs for many well-known eigenvalue statistics. One of these is related to the Harer-Zagier formula, which uses a matrix integral to count the number of unicellular maps on $n$ vertices by genus.
Genus Distributions of cubic series-parallel graphs
Published
• View Publication
• BIB
We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maximum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2 and maximum degree at most 3.
On Chromatic Number and Minimum Cut
Published
• View Publication
• BIB
For a graph $G$, the tree graph ${\cal T}_{G,t}$ has all tree subgraphs of $G$ with $t$ vertices as vertex set and two tree subgraphs are neighbors if they are edge-disjoint. Also, the $r^{th}$ cut number of $G$ is the minimum number of edges between parts of a partition of vertex set of $G$ into two parts such that each part has size at least $r$. We show that if $t=(1-o(1))n$ and $n$ is large enough, then for any dense graph $G$ with $n$ vertices, the chromatic number of the tree graph ${\cal T}_{G,t}$ is equal to the $(n-t+1)^{th}$ cut number of $G$. In particular, as a consequence, we prove that if $n$ is large enough and $G$ is a dense graph, then the chromatic number of the spanning tree graph ${\cal T}_{G,n}$ is equal to the size of the minimum cut of $G$. The proof method is based on alternating Turán number inspired by Tucker's lemma, an equivalent combinatorial version of the Borsuk-Ulam theorem.
Acyclic Subgraphs of Planar Digraphs
Published
• View Publication
• BIB
An acyclic set in a digraph is a set of vertices that induces an acyclic subgraph. In 2011, Harutyunyan conjectured that every planar digraph on $n$ vertices without directed 2-cycles possesses an acyclic set of size at least $3n/5$. We prove this conjecture for digraphs where every directed cycle has length at least 8. More generally, if $g$ is the length of the shortest directed cycle, we show that there exists an acyclic set of size at least $(1 - 3/g)n$.
On the prime graph of simple groups
Published in Bull. Aust. Math. Soc. 91 (2015) 227-240
• View Publication
• BIB
Let $G$ be a finite group, let $π(G)$ be the set of prime divisors of $|G|$ and let $Γ(G)$ be the prime graph of $G$. This graph has vertex set $π(G)$, and two vertices $r$ and $s$ are adjacent if and only if $G$ contains an element of order $rs$. Many properties of these graphs have been studied in recent years, with a particular focus on the prime graphs of finite simple groups. In this note, we determine the pairs $(G,H)$, where $G$ is simple and $H$ is a proper subgroup of $G$ such that $Γ(G) = Γ(H)$.
On Relative Length of Long Paths and Cycles in Graphs
Let $G$ be a graph on $n$ vertices, $p$ the order of a longest path and $κ$ the connectivity of $G$. In 1989, Bauer, Broersma Li and Veldman proved that if $G$ is a 2-connected graph with $d(x)+d(y)+d(z)\ge n+κ$ for all triples $x,y,z$ of independent vertices, then $G$ is hamiltonian. In this paper we improve this result by reducing the lower bound $n+κ$ to $p+κ$.
Counting With Irrational Tiles
We introduce and study the number of tilings of unit height rectangles with irrational tiles. We prove that the class of sequences of these numbers coincides with the class of diagonals of N-rational generating functions and a class of certain binomial multisums. We then give asymptotic applications and establish connections to hypergeometric functions and Catalan numbers.
Induced matchings in graphs of degree at most 4
Published
• View Publication
• BIB
We show that if $G$ is a connected graph of maximum degree at most $4$, which is not $C_{2,5}$, then the strong matching number of $G$ is at least $\frac{1}{9}n(G)$. This bound is tight and the proof implies a polynomial time algorithm to find an induced matching of this size.
Mixing properties and the chromatic number of Ramanujan complexes
Published in International Mathematics Research Notices, Volume 2015, Issue 22, 2015, Pages 11520 -- 11548
• View Publication
• BIB
Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs.