arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82661 papers, 47773 authors in database)
2015-04-17 v2
Kraśkiewicz-Pragacz modules and Ringel duality
Published • View Publication • BIB
Kraśkiewicz and Pragacz introduced representations of the upper-triangular Lie algebras whose characters are Schubert polynomials. In a previous work the author studied the structure of Kraśkiewicz-Pragacz modules using the theory of highest weight categories. From the results there, in particular we obtain a certain highest weight category whose standard modules are KP modules. In this paper we show that this highest weight category is self Ringel-dual: this leads to an interesting symmetry relation on Ext groups between KP modules. We also show that the tensor product operation on b-modules is compatible with Ringel duality functor.
2015-04-16
Selective Hypergraph Colourings
Published • View Publication • BIB
We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of $r$ induced by the colour classes of the vertices in $E$. Let $Q$ be a set of partitions of $r$. A $Q$-colouring of $H$ is a colouring of its vertices such that only patterns appearing in $Q$ are allowed. We first show that many known hypergraph colouring problems, including Ramsey theory, can be stated in the language of $Q$-colourings. Then, using as our main tools the notions of $Q$-colourings and $Σ$-hypergraphs, we define and prove a result on tight colourings, which is a strengthening of the notion of unique colourability. $Σ$-hypergraphs are a natural generalisation of $σ$-hypergraphs introduced by the first two authors in an earlier paper. We also show that there exist $Σ$-hypergraphs with arbitrarily large $Q$-chromatic number and chromatic number but with bounded clique number. Dvorak et al. have characterised those $Q$ which can lead to a hypergraph with a gap in its $Q$-spectrum. We give a short direct proof of the necessity of their condition on $Q$. We also prove a partial converse for the special case of $Σ$-hypergraphs. Finally, we show that, for at least one family $Q$ which is known to yield hypergraphs with gaps, there exist no $Σ$-hypergraphs with gaps in their $Q$-spectrum.
2015-04-16
Odd number and Trapezoidal number
In this paper, we give a bijective proof of the reduced lecture hall partition theorem. It is possible to extend this bijection in lecture hall partition theorem. And refined versions of each theorems are also presented.
2015-04-16
Dimensional dual hyperovals in classical polar spaces
Published • View Publication • BIB
In this paper we show that n-dimensional dual hyperovals cannot exist in all but one classical polar space of rank n if n is even. This resolves a question posed by Yoshiara.
2015-04-16
Graphs that have a weighted adjacency matrix with spectrum $\{λ_1^{n-2}, λ_1^2\}$
In this paper we completely characterize the graphs which have an edge weighted adjacency matrix belonging to the class of $n \times n$ involutions with spectrum equal to $\{ λ_1^{n-2}, λ_2^{2} \}$ for some $λ_1$ and some $λ_2$. The connected graphs turn out to be the cographs constructed as the join of at least two unions of pairs of complete graphs, and possibly joined with one other complete graph.
2015-04-16 v3
Extremal problems on the Hamiltonicity of claw-free graphs
Published in Discrete Mathematics 341(2018) 2774--2788 • View Publication • BIB
In 1962, Erdős proved that if a graph $G$ with $n$ vertices satisfies $$ e(G)>\max\left\{\binom{n-k}{2}+k^2,\binom{\lceil(n+1)/2\rceil}{2}+\left\lfloor \frac{n-1}{2}\right\rfloor^2\right\}, $$ where the minimum degree $δ(G)\geq k$ and $1\leq k\leq(n-1)/2$, then it is Hamiltonian. For $n \geq 2k+1$, let $E^k_n=K_{k}\vee (kK_1+K_{n-2k})$, where "$\vee$" is the "join" operation. One can observe $e(E^k_n)=\binom{n-k}{2}+k^2$ and $E^k_n$ is not Hamiltonian. As $E^k_n$ contains induced claws for $k\geq 2$, a natural question is to characterize all 2-connected claw-free non-Hamiltonian graphs with the largest possible number of edges. We answer this question completely by proving a claw-free analog of Erdős' theorem. Moreover, as byproducts, we establish several tight spectral conditions for a 2-connected claw-free graph to be Hamiltonian. Similar results for the traceability of connected claw-free graphs are also obtained. Our tools include Ryjáček's claw-free closure theory and Brousek's characterization of minimal 2-connected claw-free non-Hamiltonian graphs.
2015-04-16
On the second largest distance eigenvalue of a graph
Published • View Publication • BIB
Let $G$ be a simple connected graph of order $n$ and $D(G)$ be the distance matrix of $G.$ Suppose that $λ_{1}(D(G))\geqλ_{2}(D(G))\geq\cdots\geqλ_{n}(D(G))$ are the distance spectrum of $G$. A graph $G$ is said to be determined by its $D$-spectrum if with respect to the distance matrix $D(G)$, any graph with the same spectrum as $G$ is isomorphic to $G$. In this paper, we consider spectral characterization on the second largest distance eigenvalue $λ_{2}(D(G))$ of graphs, and prove that the graphs with $λ_{2}(D(G))\leq\frac{17-\sqrt{329}}{2}\approx-0.5692$ are determined by their $D$-spectra.
2015-04-16 v2
Hypergraphs: connection and separation
Published • View Publication • BIB
In this paper we study fundamental connectivity properties of hypergraphs from a graph-theoretic perspective, with the emphasis on cut edges, cut vertices, and blocks. To prepare the ground, we define various types of subhypergraphs, as well as various types of walks in a hypergraph. We then prove a number of new results involving cut edges, cut vertices, and blocks. In particular, we describe the exact relationship between the block decomposition of a hypergraph and the block decomposition of its incidence graph.
2015-04-16
Uniquely cycle-saturated graphs
Published • View Publication • BIB
Given a graph $F$, a graph $G$ is {\it uniquely $F$-saturated} if $F$ is not a subgraph of $G$ and adding any edge of the complement to $G$ completes exactly one copy of $F$. In this paper we study uniquely $C_t$-saturated graphs. We prove the following: (1) a graph is uniquely $C_5$-saturated if and only if it is a friendship graph. (2) There are no uniquely $C_6$-saturated graphs or uniquely $C_7$-saturated graphs. (3) For $t\ge6$, there are only finitely many uniquely $C_t$-saturated graphs (we conjecture that in fact there are none).
A non-partitionable Cohen-Macaulay simplicial complex
Published in Adv. Math. 299 (2016) 381-395 • View Publication • BIB
A long-standing conjecture of Stanley states that every Cohen-Macaulay simplicial complex is partitionable. We disprove the conjecture by constructing an explicit counterexample. Due to a result of Herzog, Jahan and Yassemi, our construction also disproves the conjecture that the Stanley depth of a monomial ideal is always at least its depth.
2015-04-16 v4
Isotropic matroids II: Circle graphs
Published in Electron. J. Combin. 23 (2016) #P4.2 • View Publication • BIB
We present several characterizations of circle graphs, which follow from Bouchet's circle graph obstructions theorem.
2015-04-16 v5
Some constructions of cyclic and quasi-cyclic subspaces codes
In this paper we construct, using GAP System for Computational Discrete Algebra, some cyclic subspace codes, specially an optimal code over the finite field F_{2^{10}}. Further we present a definition and an example of the $q$-analogous of a $m$-quasi-cyclic subspace code over F_{2^{8}}.
2015-04-16
Dimension filtration, sequential Cohen--Macaulayness and a new polynomial invariant of graded algebras
Published • View Publication • BIB
Let $\k$ be a field and let $A$ be a standard $\mathbb{N}$-graded $\k$-algebra. Using numerical information of some invariants in the primary decomposition of $0$ in $A$, namely the so called dimension filtration, we associate a bivariate polynomial $\BW(A;t,w)$, that we call the Björner--Wachs polynomial, to $A$. It is shown that the Björner--Wachs polynomial is an algebraic counterpart of the combinatorially defined $h$-triangle of finite simplicial complexes introduced by Björner \& Wachs. We provide a characterisation of sequentially Cohen--Macaulay algebras in terms of the effect of the reverse lexicographic generic initial ideal on the Björner--Wachs polynomial. More precisely, we show that a graded algebra is sequentially Cohen--Macaulay if and only if it has a stable Björner--Wachs polynomial under passing to the reverse lexicographic generic initial ideal. We conclude by discussing connections with the Hilbert series of local cohomology modules.
2015-04-16
Transfinite Ford-Fulkerson on a Finite Network
Published • View Publication • BIB
It is well-known that the Ford-Fulkerson algorithm for finding a maximum flow in a network need not terminate if we allow the arc capacities to take irrational values. Every non-terminating example converges to a limit flow, but this limit flow need not be a maximum flow. Hence, one may pass to the limit and begin the algorithm again. In this way, we may view the Ford-Fulkerson algorithm as a transfinite algorithm. We analyze the transfinite running-time of the Ford-Fulkerson algorithm using ordinal numbers, and prove that the worst case running-time is $ω^{Θ(|E|)}$. For the lower bound, we show that we can model the Euclidean algorithm via Ford-Fulkerson on an auxiliary network. By running this example on a pair of incommensurable numbers, we obtain a new robust non-terminating example. We then describe how to glue $k$ copies of our Euclidean example in parallel to obtain running-time $ω^k$. An upper bound of $ω^{|E|}$ is established via induction on $|E|$. We conclude by illustrating a close connection to transfinite chip-firing as previously investigated by the first author.
2015-04-16
Random integral matrices and the Cohen Lenstra Heuristics
Published • View Publication • BIB
We prove that given any $ε>0$, random integral $n\times n$ matrices with independent entries that lie in any residue class modulo a prime with probability at most $1-ε$ have cokernels asymptotically (as $n\rightarrow\infty$) distributed as in the distribution on finite abelian groups that Cohen and Lenstra conjecture as the distribution for class groups of imaginary quadratic fields. This is a refinement of a result on the distribution of ranks of random matrices with independent entries in $\mathbb{Z}/p\mathbb{Z}$. This is interesting especially in light of the fact that these class groups are naturally cokernels of square matrices. We also prove the analogue for $n\times (n+u)$ matrices.
2015-04-16 v3
A Note on Weighted Rooted Trees
Published • View Publication • BIB
Let $T$ be a tree rooted at $r$. Two vertices of $T$ are related if one is a descendant of the other; otherwise, they are unrelated. Two subsets $A$ and $B$ of $V(T)$ are unrelated if, for any $a\in A$ and $b\in B$, $a$ and $b$ are unrelated. Let $ω$ be a nonnegative weight function defined on $V(T)$ with $\sum_{v\in V(T)}ω(v)=1$. In this note, we prove that either there is an $(r, u)$-path $P$ with $\sum_{v\in V(P)}ω(v)\ge \frac13$ for some $u\in V(T)$, or there exist unrelated sets $A, B\subseteq V(T)$ such that $\sum_{a\in A }ω(a)\ge \frac13$ and $\sum_{b\in B }ω(b)\ge \frac13$. The bound $\frac13$ is tight. This answers a question posed in a very recent paper of Bonamy, Bousquet and Thomassé.
2015-04-16
The Pascal Rhombus and the Stealth Configuration
The Pascal rhombus is a variant of Pascal's triangle in which each term is a sum of four earlier terms. Klostermeyer et al. made four conjectures about the Pascal rhombus modulo 2. In this paper we show how exploration of the stealth shape leads to unified proofs of all of these conjectures.
2015-04-15 v2
On the number of edges in a graph with no $(k+1)$-connected subgraphs
Published in Discrete Mathematics, vol. 339 (2016), n. 2, 682--688 • View Publication • BIB
Mader proved that for $k\geq 2$ and $n\geq 2k$, every $n$-vertex graph with no $(k+1)$-connected subgraphs has at most $(1+\frac{1}{\sqrt{2}})k(n-k)$ edges. He also conjectured that for $n$ large with respect to $k$, every such graph has at most $\frac{3}{2}\left(k - \frac{1}{3}\right)(n-k)$ edges. Yuster improved Mader's upper bound to $\frac{193}{120}k(n-k)$ for $n\geq\frac{9k}{4}$. In this note, we make the next step towards Mader's Conjecture: we improve Yuster's bound to $\frac{19}{12}k(n-k)$ for $n\geq\frac{5k}{2}$.
2015-04-15 v2
A Ratio of Alternants Formula for Loop Schur Functions
Published • View Publication • BIB
Lam and Pylyavskyy introduced loop symmetric functions as a generalization of symmetric functions. They defined loop Schur functions as generating functions over semistandard tableaux with respect to a `colored weight,' and they proved a Jacobi--Trudi-style determinantal formula for these generating functions. We prove that loop Schur functions can be expressed as a ratio of `loop alternants,' extending the analogy with Schur functions. As an application, we give a new proof of the loop version of the Murnaghan--Nakayama rule.
2015-04-15 v2
The $H$-spectrum of a generalized power hypergraph
Published in Discrete Mathematics, 2016, 339(6): 1682-1689 • View Publication • BIB
The generalized power of a simple graph $G$, denoted by $G^{k,s}$, is obtained from $G$ by blowing up each vertex into an $s$-set and each edge into a $k$-set, where $1 \le s \le \frac{k}{2}$. When $s < \frac{k}{2}$, $G^{k,s}$ is always odd-bipartite. It is known that $G^{k,{k \over 2}}$ is non-odd-bipartite if and only if $G$ is non-bipartite, and $G^{k,{k \over 2}}$ has the same adjacency (respectively, signless Laplacian) spectral radius as $G$. In this paper, we prove that, regardless of multiplicities, the $H$-spectrum of $\A(G^{k,\frac{k}{2}})$ (respectively, $\Q(G^{k,\frac{k}{2}})$) consists of all eigenvalues of the adjacency matrices (respectively, the signless Laplacian matrices) of the connected induced subgraphs (respectively, modified induced subgraphs) of $G$. As a corollary, $G^{k,{k \over 2}}$ has the same least adjacency (respectively, least signless Laplacian) $H$-eigenvalue as $G$. We also discuss the limit points of the least adjacency $H$-eigenvalues of hypergraphs, and construct a sequence of non-odd-bipartite hypergraphs whose least adjacency $H$-eigenvalues converge to $-\sqrt{2+\sqrt{5}}$.