Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Generating p-extremal graphs
Define f(n,p) to be the maximum number of edges in a graph on n vertices with p perfect matchings. Dudek and Schmitt proved there exist constants n_p and c_p so that for even n >= n_p, f(n,p) = (n^2)/4+c_p. A graph is p-extremal if it has p perfect matchings and (n^2)/4+c_p edges. Based on Lovasz's Two Ear Theorem and structural results of Hartke, Stolee, West, and Yancey, we develop a computational method for determining c_p and generating the finite set of graphs which describe the infinite family of p-extremal graphs. This method extends the knowledge of the size and structure of p-extremal graphs from p <= 10 to p <= 27. These values provide further evidence towards a conjectured upper bound and prove the sequence c_p is not monotonic.
Spot-Based Generations for Meta-Fibonacci Sequences
Published in Experimental Mathematics, 20 (2): 129-137, 2011
• View Publication
• BIB
For many meta-Fibonacci sequences it is possible to identify a partition of the sequence into successive intervals (sometimes called blocks) with the property that the sequence behaves "similarly" in each block. This partition provides insights into the sequence properties. To date, for any given sequence, only ad hoc methods have been available to identify this partition. We apply a new concept - the spot-based generation sequence - to derive a general methodology for identifying this partition for a large class of meta-Fibonacci sequences. This class includes the Conolly and Conway sequences and many of their well-behaved variants, and even some highly chaotic sequences, such as Hofstadter's famous Q-sequence.
Iteration Index of a Zero Forcing Set in a Graph
Published in Bull. Inst. Combin. Appl. Vol. 64 (2012) pp. 57-72
• Search Publication
Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the minimum rank problem for graphs in numerous articles. We define the iteration index of a zero forcing set of a graph G to be the number of (global) applications of the color-change rule required to turn all vertices of G black; this leads to a new graph invariant, the iteration index of G - it is the minimum of iteration indices of all minimum zero forcing sets of G. We present some basic properties of the iteration index and discuss some preliminary results on certain graphs.
Cluster-additive functions on stable translation quivers
Published
• View Publication
• BIB
Additive functions on translation quivers have played an important role in the representation theory of finite dimensional algebras, the most prominent ones are the hammock functions introduced by S. Brenner. When dealing with cluster categories (and cluster-tilted algebras), one should look at a corresponding class of functions defined on stable translation quivers, namely the cluster-additive ones. We conjecture that the cluster-additive functions on a stable translation quiver of Dynkin type A_n, D_n, E_6, E_7, E_8 are non-negative linear combinations of cluster-hammock functions (with index set a tilting set). The present paper provides a first study of cluster-additive functions and gives a proof of the conjecture in the case A_n.
Daisies and Other Turan Problems
We make some conjectures about extremal densities of daisy-free families, where a `daisy' is a certain hypergraph. These questions turn out to be related to some Turan problems in the hypercube, but they are also natural in their own right.
Tverberg's theorem and graph coloring
The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions.
Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles.
In graph theory these partitions are usually viewed as graph colorings. As explored by Aharoni, Haxell, Meshulam and others there are fundamental connections between several notions of graph colorings and topological combinatorics.
For ordinary graph colorings it is enough to require that the number of colors q satisfy q>Delta, where Delta is the maximal degree of the graph. It was proven by the first author using equivariant topology that if q>Δ^2 then the topological Tverberg theorem still works. It is conjectured that q>KΔis also enough for some constant K, and in this paper we prove a fixed-parameter version of that conjecture.
The required topological connectivity results are proven with shellability, which also strengthens some previous partial results where the topological connectivity was proven with the nerve lemma.
Fixed block configuration group divisible designs with block size six
Published
• View Publication
• BIB
We present constructions and results about GDDs with two groups and block size 6. We study those GDDs in which each block has configuration (s,t), that is in which each block has exactly s points from one of the two groups and t points from the other. We show the necessary conditions are sufficient for the existence of GDD(n,2,6;λ1,λ2)s with fixed block configuration (3,3). For configuration (1,5), we give minimal or near-minimal index examples for all group sizes n \geq 5 except n = 10, 15, 160, or 190. For configuration (2,4), we provide constructions for several families of GDD(n,2,6;λ1,λ2)s.
Testing Odd-Cycle-Freeness in Boolean Functions
Published
• View Publication
• BIB
Call a function f : F_2^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in F_2^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those eps-far from being odd-cycle-free by making poly(1/eps) queries to an evaluation oracle. To obtain this result, we use connections between basic Fourier analysis and spectral graph theory to show that one can reduce testing odd-cycle-freeness of Boolean functions to testing bipartiteness of dense graphs. Our work forms part of a recent sequence of works that shows connections between testability of properties of Boolean functions and of graph properties. We also prove that there is a canonical tester for odd-cycle-freeness making poly(1/eps) queries, meaning that the testing algorithm operates by picking a random linear subspace of dimension O(log 1/eps) and then checking if the restriction of the function to the subspace is odd-cycle-free or not. The test is analyzed by studying the effect of random subspace restriction on the Fourier coefficients of a function. Our work implies that testing odd-cycle-freeness using a canonical tester instead of an arbitrary tester incurs no more than a polynomial blowup in the query complexity. The question of whether a canonical tester with polynomial blowup exists for all linear-invariant properties remains an open problem.
Heisenberg characters, unitriangular groups, and Fibonacci numbers
Published in J. Combin. Theory Ser. A 119 (2012) 882-903
• View Publication
• BIB
Let $\UT_n(\FF_q)$ denote the group of unipotent $n\times n$ upper triangular matrices over a finite field with $q$ elements. We show that the Heisenberg characters of $\UT_{n+1}(\FF_q)$ are indexed by lattice paths from the origin to the line $x+y=n$ using the steps $(1,0), (1,1), (0,1), (1,1)$, which are labeled in a certain way by nonzero elements of $\FF_q$. In particular, we prove for $n\geq 1$ that the number of Heisenberg characters of $\UT_{n+1}(\FF_q)$ is a polynomial in $q-1$ with nonnegative integer coefficients and degree $n$, whose leading coefficient is the $n$th Fibonacci number. Similarly, we find that the number of Heisenberg supercharacters of $\UT_n(\FF_q)$ is a polynomial in $q-1$ whose coefficients are Delannoy numbers and whose values give a $q$-analogue for the Pell numbers. By counting the fixed points of the action of a certain group of linear characters, we prove that the numbers of supercharacters, irreducible supercharacters, Heisenberg supercharacters, and Heisenberg characters of the subgroup of $\UT_n(\FF_q)$ consisting of matrices whose superdiagonal entries sum to zero are likewise all polynomials in $q-1$ with nonnegative integer coefficients.
Vertex coloring of plane graphs with nonrepetitive boundary paths
Published in Journal of Graph Theory, 2012
• View Publication
• BIB
A sequence $s_1,s_2,...,s_k,s_1,s_2,...,s_k$ is a repetition. A sequence $S$ is nonrepetitive, if no subsequence of consecutive terms of $S$ form a repetition. Let $G$ be a vertex colored graph. A path of $G$ is nonrepetitive, if the sequence of colors on its vertices is nonrepetitive. If $G$ is a plane graph, then a facial nonrepetitive vertex coloring of $G$ is a vertex coloring such that any facial path is nonrepetitive. Let $π_f(G)$ denote the minimum number of colors of a facial nonrepetitive vertex coloring of $G$. Jendro\vl and Harant posed a conjecture that $π_f(G)$ can be bounded from above by a constant. We prove that $π_f(G)\le 24$ for any plane graph $G$.
Linear pencils of tropical plane curves
Published
• View Publication
• BIB
Analogously as in classical algebraic geometry, linear pencils of tropical plane curves are parameterized by tropical lines in a coefficient space. A special example of such a linear pencil is the set of tropical plane curves with an n-element support set through a general configuration of n points in the tropical plane. In [RGST], it is proved that these linear pencils are compatible with their support set. In this article, we give a characterization of points lying in the fixed locus of a tropical linear pencil and show that each compatible linear pencil comes from a general configuration.
The 3-dimensional planar assignment problem and the number of Latin squares related to an autotopism
Published in Proceedings of XI Spanish Meeting on Computational Algebra and Applications EACA 2008 (2008), pp. 89-92
• Search Publication
There exists a bijection between the set of Latin squares of order $n$ and the set of feasible solutions of the 3-dimensional planar assignment problem ($3PAP_n$). In this paper, we prove that, given a Latin square isotopism $Θ$, we can add some linear constraints to the $3PAP_n$ in order to obtain a 1-1 correspondence between the new set of feasible solutions and the set of Latin squares of order $n$ having $Θ$ in their autotopism group. Moreover, we use Gröbner bases in order to describe an algorithm that allows one to obtain the cardinal of both sets.
Designs based on the cycle structure of a Latin square autotopism
Published in Proceedings of the 1st Hispano-Moroccan Days on Applied Mathematics and Statistics (2008), pp. 479 - 484
• Search Publication
Latin squares have been historically used in order to create statistical designs in which, starting from a small number of experiments, it can be obtained a large experimental space. In this sense, the optimization of the selection of Latin squares can be decisive. A factor to take into account is the symmetry that the experimental space must verify and which is established by the autotopism group of each Latin square. Although the size of this group is known for Latin squares of order up to 10, a classification of the different symmetries has not yet been done. In this paper, given a cycle structure of a Latin square autotopism, it is studied the regularity of the incidence structure formed by the set of autotopisms having this cycle structure and the set of Latin squares remaining stable by at least one of the previous autotopisms. Moreover, it is proven that every substructure given by the isotopism class of a Latin square is a 1-$(v,k,r)$ design. Since the corresponding parameter $k$ is known for Latin squares of order up to 7, we obtain the rest of the parameters of all these substructures and, consequently, a classification of all possible symmetries is reached for these orders.
0/1-Polytopes related to Latin squares autotopisms
Published in Proceedings of VI Jornadas de Matemática Discreta y Algor\'ıtmica JMDA 2008 (2008), pp. 311 - 319. ISBN: 978-84-8409-263-6
• Search Publication
The set LS(n) of Latin squares of order $n$ can be represented in $\mathbb{R}^{n^3}$ as a $(n-1)^3$-dimensional 0/1-polytope. Given an autotopism $Θ=(α,β,γ)\in\mathfrak{A}_n$, we study in this paper the 0/1-polytope related to the subset of LS(n) having $Θ$ in their autotopism group. Specifically, we prove that this polyhedral structure is generated by a polytope in $\mathbb{R}^{((\mathbf{n}_α-\mathbf{l}_α^1)\cdot n^2 + \mathbf{l}_α^1\cdot \mathbf{n}_β\cdot n)-(\mathbf{l}_α^1\cdot \mathbf{l}_β^1\cdot (n -\mathbf{l}_γ^1) + \mathbf{l}_α^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_β -\mathbf{l}_β^1) + \mathbf{l}_β^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_α -\mathbf{l}_α^1))}$, where $\mathbf{n}_α$ and $\mathbf{n}_β$ are the number of cycles of $α$ and $β$, respectively, and $\mathbf{l}_δ^1$ is the number of fixed points of $δ$, for all $δ\in \{α,β,γ\}$. Moreover, we study the dimension of these two polytopes for Latin squares of order up to 9.
Compactified Jacobians and q,t-Catalan Numbers, I
Published in Journal of Combinatorial Theory, Series A 120 (2013), pp. 49-63
• View Publication
• BIB
J. Piontkowski described the homology of the Jacobi factor of a plane curve singularity with one Puiseux pair. We discuss the combinatorial structure of his answer, in particular, relate it to the bigraded deformation of Catalan numbers introduced by A. Garsia and M. Haiman.
Rainbow connection number, bridges and radius
Published
• View Publication
• BIB
Let $G$ be a connected graph. The notion \emph{the rainbow connection number $rc(G)$} of a graph $G$ was introduced recently by Chartrand et al. Basavaraju et al. showed that for every bridgeless graph $G$ with radius $r$, $rc(G)\leq r(r+2)$, and the bound is tight. In this paper, we prove that if $G$ is a connected graph, and $D^{k}$ is a connected $k$-step dominating set of $G$, then $G$ has a connected $(k-1)$-step dominating set $D^{k-1}\supset D^{k}$ such that $rc(G[D^{k-1}])\leq rc(G[D^{k}])+\max\{2k+1,b_k\}$, where $b_k$ is the number of bridges in $ E(D^{k}, N(D^{k}))$. Furthermore, for a connected graph $G$ with radius $r$, let $u$ be the center of $G$, and $D^{r}=\{u\}$. Then $G$ has $r-1$ connected dominating sets $ D^{r-1}, D^{r-2},..., D^{1}$ satisfying $D^{r}\subset D^{r-1}\subset D^{r-2} ...\subset D^{1}\subset D^{0}=V(G)$, and $rc(G)\leq \sum_{i=1}^{r}\max\{2i+1,b_i\}$, where $b_i$ is the number of bridges in $ E(D^{i}, N(D^{i})), 1\leq i \leq r$. From the result, we can get that if for all $1\leq i\leq r, b_i\leq 2i+1$, then $rc(G)\leq \sum_{i=1}^{r}(2i+1)= r(r+2)$; if for all $1\leq i\leq r, b_i> 2i+1$, then $rc(G)= \sum_{i=1}^{r}b_i$, the number of bridges of $G$. This generalizes the result of Basavaraju et al.
On a conjecture of Brouwer involving the connectivity of strongly regular graphs
Published
• View Publication
• BIB
In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.
We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture.
We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.
We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.
Results on the intersection graphs of subspaces of a vector space
For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.
Generalized Frobenius numbers: Bounds and average behavior
Published
• View Publication
• BIB
We produce new upper and lower bounds for the s-Frobenius number by relating it to the so called s-covering radius of a certain convex body with respect to a certain lattice; this generalizes a well-known theorem of R. Kannan for the classical Frobenius number. Using these bounds, we obtain results on the average behavior of the s-Frobenius number, extending analogous recent investigations for the classical Frobenius number by a variety of authors. We also derive bounds on the s-covering radius, an interesting geometric quantity in its own right.
Generalizations and Variants of the Largest Non-crossing Matching Problem in Random Bipartite Graphs
We are interested in the statistics of the length of the longest increasing subsequence of 2-rowed lexicographically sorted arrays chosen according to distinct families of distributions D = (D_n)_n, and when n goes to infinity. This framework encompasses well studied problems such as the so called Longest Increasing Subsequence problem, the Longest Common Subsequence problem, problems concerning directed bond percolation models, among others. We define several natural families of distinct distributions and characterize the asymptotic behavior of the expected length of a longest increasing subsequence chosen according to them. In particular, we consider generalizations to d-rowed arrays as well as symmetry restricted two-rowed arrays.