Showing 20 papers (Total: 82797 papers, 47838 authors in database)
On the Structure of the Graph of Unique Symmetric Base Exchanges of Bispanning Graphs
Bispanning graphs are undirected graphs with an edge set that can be decomposed into two disjoint spanning trees. The operation of symmetrically swapping two edges between the trees, such that the result is a different pair of disjoint spanning trees, is called an edge exchange or a symmetric base exchange. The graph of symmetric base exchanges of a bispanning graph contains a vertex for every valid pair of disjoint spanning trees, and edges between them to represent all possible edge exchanges. We are interested in a restriction of these graphs to only unique symmetric base exchanges, which are edge exchanges wherein selecting one edge leaves only one choice for selecting the other. In this thesis, we discuss the structure of the graph of unique symmetric edge exchanges, and the open question whether these are connected for all bispanning graphs. Our composition method classifies bispanning graphs by whether they contain a non-trivial bispanning subgraph, and by vertex- and edge-connectivity. For bispanning graphs containing a non-trivial bispanning subgraph, we prove that the unique exchange graph is the Cartesian graph product of two smaller exchange graphs. For bispanning graphs with vertex-connectivity two, we show that the bispanning graph is the 2-clique sum of two smaller bispanning graphs, and that the unique exchange graph can be built by joining their exchange graphs and forwarding edges at the join seam. And for all remaining bispanning graphs, we prove a composition method at a vertex of degree three, wherein the unique exchange graph is constructed from the exchange graphs of three reduced bispanning graphs.
The small Kakeya sets in $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a conic
Published
• View Publication
• BIB
A Kakeya set in the linear representation $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a non-singular conic, is the point set covered by a set of $q+1$ lines, one through each point of $\mathcal{C}$. In this article we classify the small Kakeya sets in $T^{*}_{2}(\mathcal{C})$. The smallest Kakeya sets have size $\left\lfloor\frac{3q^{2}+2q}{4}\right\rfloor$, and all Kakeya sets with weight less than $\left\lfloor\frac{3(q^{2}-1)}{4}\right\rfloor+q$ are classified: there are approximately $\sqrt{\frac{q}{2}}$ types.
The second largest Erdős-Ko-Rado sets of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$
An Erdős-Ko-Rado set of generators of a hyperbolic quadric is a set of generators which are pairwise not disjoint. In this article we classify the second largest maximal Erdős-Ko-Rado set of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$, $q\geq3$.
The Cameron-Liebler problem for sets
Published
• View Publication
• BIB
Cameron-Liebler line classes and Cameron-Liebler k-classes in PG(2k+1,q) are currently receiving a lot of attention. Links with the Erdős-Ko-Rado results in finite projective spaces occurred. We introduce here in this article the similar problem on Cameron-Liebler classes of sets, and solve this problem completely, by making links to the classical Erdős-Ko-Rado result on sets. We also present a characterisation theorem for the Cameron-Liebler classes of sets.
On the number of union-free families
Published
• View Publication
• BIB
A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most $(1+o(1))\binom{n}{n/2}$. Later, Burosch--Demetrovics-Katona-Kleitman-Sapozhenko asked for the number $α(n)$ of such families, and they proved that $2^{\binom{n}{n/2}}\leq α(n) \leq 2^{2\sqrt{2}\binom{n}{n/2}(1+o(1))}$. They conjectured that the constant $2\sqrt{2}$ can be removed in the exponent of the right hand side. We prove their conjecture by formulating a new container-type theorem for rooted hypergraphs.
Telescoping method and congruences for double sums
Published in Int. J. Number Theory 14(2018), 143-165
• View Publication
• BIB
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.
Eigenvectors of random matrices: A survey
Eigenvectors of large matrices (and graphs) play an essential role in combinatorics and theoretical computer science. The goal of this survey is to provide an up-to-date account on properties of eigenvectors when the matrix (or graph) is random.
Compressing combinatorial objects
Published
• View Publication
• BIB
Most of the world's digital data is currently encoded in a sequential form, and compression methods for sequences have been studied extensively. However, there are many types of non-sequential data for which good compression techniques are still largely unexplored. This paper contributes insights and concrete techniques for compressing various kinds of non-sequential data via arithmetic coding, and derives re-usable probabilistic data models from fairly generic structural assumptions. Near-optimal compression methods are described for certain types of permutations, combinations and multisets; and the conditions for optimality are made explicit for each method.
Notes on nilspaces: algebraic aspects
Published in Discrete Analysis, 2017:15, 59pp
• View Publication
• BIB
These notes constitute the first part of a detailed exposition of the theory of nilspaces developed by Camarena and Szegedy. We treat what can be called the algebraic part of the theory, in which nilspaces are studied without any topological assumption.
Rowmotion and generalized toggle groups
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Combinatorics (May 25, 2018) dmtcs:3962
• View Publication
• BIB
We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply these theorems and find other results on generalized toggle groups in the following settings: chains, antichains, and interval-closed sets of a poset; independent sets, vertex covers, acyclic subgraphs, and spanning subgraphs of a graph; matroids and convex geometries. We generalize rowmotion, an action studied on order ideals in [P. Cameron-D. Fon-der-Flaass '95] and [J. Striker-N. Williams '12], to a map we call cover-closure on closed sets of a closure operator. We show that cover-closure is bijective if and only if the set of closed sets is isomorphic to the set of order ideals of a poset, which implies rowmotion is the only bijective cover-closure map.
How to determine if a random graph with a fixed degree sequence has a giant component
Published
• View Publication
• BIB
For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 is at least $λ(n)$ for some function $λ$ going to infinity with $n$. This is a relatively minor technical condition, and when $\mathcal{D}$ does not satisfy it, both the probability that $G(\mathcal{D})$ has a giant component and the probability that $G(\mathcal{D})$ has no giant component are bounded away from $1$.
On the Long-Repetition-Free 2-Colorability of Trees
Published in Rose-Hulman Undergrad. Math. J. 18 (2017), no. 1, Art. 15, 262--269
• Search Publication
A word $\bar{w} = \bar{u}\bar{u}$ is a $long$ $square$ if $\bar{u}$ is of length at least 3; a word $\bar{w}$ is $long$-$square$-$free$ if $\bar{w}$ contains no sub-word that is a long square. We can use words to generate graph colorings; a graph coloring is called $long$-$repetition$-$free$ if the word formed by the coloring of each path in the graph is long-square-free. Our results show that every rooted tree of radius less than or equal to seven is long-repetition-free two-colorable. We also prove there exists a class of trees which are not long-repetition-free two-colorable.
On Generalizations of Cycles and Chordality to Hypergraphs from an Algebraic Viewpoint
Published in Algebra Colloquium 24:4 (2017) 611-624
• View Publication
• BIB
In this paper, we study the notion of chordality and cycles in hypergraphs from a commutative algebraic point of view. The corresponding concept of chordality in commutative algebra is having a linear resolution. However, there is no unified definition for cycle or chordality in hypergraphs in the literature, so we consider several generalizations of these notions and study their algebraic interpretations. In particular, we investigate the relationship between chordality and having linear quotients in some classes of hypergraphs. Also we show that if $\mathcal{C}$ is a hypergraph such that $\langle \mathcal{C} \rangle$ is a vertex decomposable simplicial complex or $I(\bar{\mathcal{C}})$ is squarefree stable, then $\mathcal{C}$ is chordal according to one of the most promising definitions.
Total monochromatic connection of graphs
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A path in a total-colored graph is a {\it total monochromatic path} if all the edges and internal vertices on the path have the same color. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a total monochromatic path of the graph. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. These concepts are inspired by the concepts of monochromatic connection number $mc(G)$, monochromatic vertex connection number $mvc(G)$ and total rainbow connection number $trc(G)$ of a connected graph $G$. Let $l(T)$ denote the number of leaves of a tree $T$, and let $l(G)=\max\{ l(T) | $ $T$ is a spanning tree of $G$ $\}$ for a connected graph $G$. In this paper, we show that there are many graphs $G$ such that $tmc(G)=m-n+2+l(G)$, and moreover, we prove that for almost all graphs $G$, $tmc(G)=m-n+2+l(G)$ holds. Furthermore, we compare $tmc(G)$ with $mvc(G)$ and $mc(G)$, respectively, and obtain that there exist graphs $G$ such that $tmc(G)$ is not less than $mvc(G)$ and vice versa, and that $tmc(G)=mc(G)+l(G)$ holds for almost all graphs. Finally, we prove that $tmc(G)\leq mc(G)+mvc(G)$, and the equality holds if and only if $G$ is a complete graph.
Covering a cubic graph by 5 perfect matchings
Published
• View Publication
• BIB
Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.
Scaling limits of discrete copulas are bridged Brownian sheets
For large $n$, take a random $n \times n$ permutation matrix and its associated discrete copula $X_n$. For $a, b = 0, 1, \ldots, n$, let $y_n(\frac{a}{n},\frac{b}{n}) = \frac{1}{n} ( X_{a,b} - \frac{ab}{n} )$; define $y_n: [0,1]^2 \to R$ by interpolating quadratically on squares of side $\frac{1}{n}$. We prove a Donsker type central limit theorem: $\sqrt{n} y_n$ approaches a bridged Brownian sheet on the unit square.
The BEL-rank of finite semifields
Published
• View Publication
• BIB
In this article we introduce the notion of the BEL-rank of a finite semifield, prove that it is an invariant for the isotopism classes, and give geometric and algebraic interpretations of this new invariant. Moreover, we describe an efficient method for calculating the BEL-rank, and present computational results for all known small semifields.
Brooks's theorem for measurable colorings
Published in Forum of Math., Sigma, 4, 2016, E16
• View Publication
• BIB
We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $μ$-measurable $d$-coloring with respect to any Borel probability measure $μ$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases.
The complexity of bit retrieval
Published
• View Publication
• BIB
Bit retrieval is the problem of reconstructing a binary sequence from its periodic autocorrelation, with applications in cryptography and x-ray crystallography. After defining the problem, with and without noise, we describe and compare various algorithms for solving it. A geometrical constraint satisfaction algorithm, relaxed-reflect-reflect, is currently the best algorithm for noisy bit retrieval.
Nullspace embeddings for outerplanar graphs
Published in in: Journey Through Discrete Mathematics. A Tribute to Jiri Matousek, Springer (2017), 571-591
• Search Publication
We study relations between geometric embeddings of graphs and the spectrum of associated matrices, focusing on outerplanar embeddings of graphs. For a simple connected graph $G=(V,E)$, we define a "good" $G$-matrix as a $V\times V$ matrix with negative entries corresponding to adjacent nodes, zero entries corresponding to distinct nonadjacent nodes, and exactly one negative eigenvalue. We give an algorithmic proof of the fact that it $G$ is a 2-connected graph, then either the nullspace representation defined by any "good" $G$-matrix with corank 2 is an outerplanar embedding of $G$, or else there exists a "good" $G$-matrix with corank 3.