Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Combinatorial proofs of Infinite versions of the Hales-Jewett theorem
We provide new and purely combinatorial proofs of two infinite extensions of the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson and the second one is due T. Carlson. Both concern infinite increasing sequences of finite alphabets.
A Proof of a Conjecture of Ohba
Published
• View Publication
• BIB
We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$.
On the metric dimension and fractional metric dimension for hierarchical product of graphs
Published
• View Publication
• BIB
A set of vertices $W$ {\em resolves} a graph $G$ if every vertex of $G$ is uniquely determined by its vector of distances to the vertices in $W$. The {\em metric dimension} for $G$, denoted by $\dim(G)$, is the minimum cardinality of a resolving set of $G$. In order to study the metric dimension for the hierarchical product $G_2^{u_2}\sqcap G_1^{u_1}$ of two rooted graphs $G_2^{u_2}$ and $G_1^{u_1}$, we first introduce a new parameter, the {\em rooted metric dimension} $\rdim(G_1^{u_1})$ for a rooted graph $G_1^{u_1}$. If $G_1$ is not a path with an end-vertex $u_1$, we show that $\dim(G_2^{u_2}\sqcap G_1^{u_1})=|V(G_2)|\cdot\rdim(G_1^{u_1})$, where $|V(G_2)|$ is the order of $G_2$. If $G_1$ is a path with an end-vertex $u_1$, we obtain some tight inequalities for $\dim(G_2^{u_2}\sqcap G_1^{u_1})$. Finally, we show that similar results hold for the fractional metric dimension.
Explicit formulas using partitions of integers for numbers defined by recursion
Published in Fera, G. & Talamini, V. Mediterr. J. Math. (2018) 15: 29
• View Publication
• BIB
In this article we obtain an explicit formula in terms of the partitions of the positive integer $n$ to express the $n$-th term of a wide class of sequences of numbers defined by recursion. Our proof is based only on arithmetics. We compare our result with similar formulas obtained with different approaches already in the XIX century. Examples are given for Bernoulli, Euler and Fibonacci numbers.
Moving robots efficiently using the combinatorics of CAT(0) cubical complexes
Published in SIAM J. Discrete Math. 28(2) (2014) 986-1007
• View Publication
• BIB
Given a reconfigurable system X, such as a robot moving on a grid or a set of particles traversing a graph without colliding, the possible positions of X naturally form a cubical complex S(X). When S(X) is a CAT(0) space, we can explicitly construct the shortest path between any two points, for any of the four most natural metrics: distance, time, number of moves, and number of steps of simultaneous moves.
CAT(0) cubical complexes are in correspondence with posets with inconsistent pairs (PIPs), so we can prove that a state complex S(X) is CAT(0) by identifying the corresponding PIP. We illustrate this very general strategy with one known and one new example: Abrams and Ghrist's positive robotic arm on a square grid, and the robotic arm in a strip. We then use the PIP as a combinatorial "remote control" to move these robots efficiently from one position to another.
Edge distribution in generalized graph products
Given a graph $G=(V,E)$, an integer $k$, and a function $f_G:V^k \times V^k \to {0,1}$, the $k^{th}$ graph product of $G$ w.r.t $f_G$ is the graph with vertex set $V^k$, and an edge between two vertices $x=(x_1,...,x_k)$ and $y=(y_1,...,y_k)$ iff $f_G(x,y)=1$. Graph products are a basic combinatorial object, widely studied and used in different areas such as hardness of approximation, information theory, etc. We study graph products for functions $f_G$ of the form $f_G(x,y)=1$ iff there are at least $t$ indices $i \in [k]$ s.t. $(x_i,y_i)\in E$, where $t \in [k]$ is a fixed parameter in $f_G$. This framework generalizes the well-known graph tensor-product (obtained for $t=k$) and the graph or-product (obtained for $t=1$). The property that interests us is the edge distribution in such graphs. We show that if $G$ has a spectral gap, then the number of edges connecting "large-enough" sets in $G^k$ is "well-behaved", namely, it is close to the expected value, had the sets been random. We extend our results to bi-partite graph products as well. For a bi-partite graph $G=(X,Y,E)$, the $k^{th}$ bi-partite graph product of $G$ w.r.t $f_G$ is the bi-partite graph with vertex sets $X^k$ and $Y^k$ and edges between $x \in X^k$ and $y \in Y^k$ iff $f_G(x,y)=1$. Finally, for both types of graph products, optimality is asserted using the "Converse to the Expander Mixing Lemma" obtained by Bilu and Linial in 2006. A byproduct of our proof technique is a new explicit construction of a family of co-spectral graphs.
Bounds on generators and relations for the algebra of $SL_2(\C)$ conformal blocks
We show that the Cox ring of the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a marked curve is generated by conformal blocks of level 1 and 2. We show that the ideal which vanishes on these generators is generated by forms of degrees $2, 3, 4.$
A note on the variance of the square components of a normal multivariate within a Euclidean ball
Published in Journal of Multivariate Analysis, Vol. 122 (November 2013), pp. 355-376
• View Publication
• BIB
We present arguments in favour of the inequalities $var(X_n^2|X \in B_v(ρ)) \le 2λ_n E[X_n^2|X \in B_v(ρ)]$, where $X \sim N_v(0,Λ)$ is a normal vector in $v\ge 1$ dimensions, with zero mean and covariance matrix $Λ= \diag(λ)$, and $B_v(ρ)$ is a centered $v$-dimensional Euclidean ball of square radius $ρ$. Such relations lie at the heart of an iterative algorithm, proposed in ref. [1] to perform a reconstruction of $Λ$ from the covariance matrix of $X$ conditioned to $B_v(ρ)$. In the regime of strong truncation, i.e. for $ρ\lesssim λ_n$, the above inequality is easily proved, whereas it becomes harder for $ρ\gg λ_n$. Here, we expand both sides in a function series controlled by powers of $λ_n/ρ$ and show that the coefficient functions of the series fulfill the inequality order by order if $ρ$ is sufficiently large. The intermediate region remains at present an open challenge.
On the Number of Disjoint Pairs of S-permutation Matrices
Published in Discrete Applied Mathematics 161 (2013) 3072-3079
• View Publication
• BIB
In [Journal of Statistical Planning and Inference (141) (2011) 3697-3704], Roberto Fontana offers an algorithm for obtaining Sudoku matrices. Introduced by Geir Dahl concept disjoint pairs of S-permutation matrices [Linear Algebra and its Applications (430) (2009) 2457-2463] is used in this algorithm. Analyzing the works of G. Dahl and R. Fontana, the question of finding a general formula for counting disjoint pairs of $n^2 \times n^2$ S-permutation matrices as a function of the integer $n$ naturally arises. This is an interesting combinatorial problem that deserves its consideration. The present work solves this problem. To do that, the graph theory techniques have been used. It has been shown that to count the number of disjoint pairs of $n^2 \times n^2$ S-permutation matrices, it is sufficient to obtain some numerical characteristics of the set of all bipartite graphs of the type $g=<R_g \cup C_g, E_g>$, where $V=R_g \cup C_g$ is the set of vertices, and $E_g$ is the set of edges of the graph $g$, $R_g \cap C_g =\emptyset$, $|R_g|=|C_g|=n$.
Morse Matchings on a Hypersimplex
We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to classify every subcomplex whose reduced homology groups are concentrated in a single degree and describe a homology basis for each of them.
Spectrum of hyperplane arrangements in four variables
Published
• View Publication
• BIB
One of the most important invariants in singularity theory is the Hodge spectrum. Calculating the Hodge spectrum is a difficult task and formulas exist for only a few cases. In this article the main result is the formula for reduced hyperplane arrangements in four variables.
Even Subdivision-Factors of Cubic Graphs
We call a set $\mathcal S$ of graphs an "even subdivison-factor" of a cubic graph $G$ if $G$ contains a spanning subgraph $H$ such that every component of $H$ has an even number of vertices and is a subdivision of an element of $\mathcal S$. We show that any set of 2-connected graphs which is an even subdivison-factor of every 3-connected cubic graph, satisfies certain properties. As a consequence, we disprove a conjecture which was stated in an attempt to solve the circuit double cover conjecture.
Maximum Distance Separable Codes for Symbol-Pair Read Channels
Published
• View Publication
• BIB
We study (symbol-pair) codes for symbol-pair read channels introduced recently by Cassuto and Blaum (2010). A Singleton-type bound on symbol-pair codes is established and infinite families of optimal symbol-pair codes are constructed. These codes are maximum distance separable (MDS) in the sense that they meet the Singleton-type bound. In contrast to classical codes, where all known q-ary MDS codes have length O(q), we show that q-ary MDS symbol-pair codes can have length Ω(q^2). In addition, we completely determine the existence of MDS symbol-pair codes for certain parameters.
Interpolation, box splines, and lattice points in zonotopes
Published in International Mathematics Research Notices, Volume 2014, Issue 20, 2014, Pages 5697-5712
• View Publication
• BIB
Let $X$ be a totally unimodular list of vectors in some lattice. Let $B_X$ be the box spline defined by $X$. Its support is the zonotope $Z(X)$. We show that any real-valued function defined on the set of lattice points in the interior of $Z(X)$ can be extended to a function on $Z(X)$ of the form $p(D)B_X$ in a unique way, where $p(D)$ is a differential operator that is contained in the so-called internal $\Pcal$-space. This was conjectured by Olga Holtz and Amos Ron. We also point out connections between this interpolation problem and matroid theory, including a deletion-contraction decomposition.
Combinatorial stratifications and minimality of 2-arrangements
Published
• View Publication
• BIB
We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimality and the Lefschetz Hyperplane Theorem for complements of complex hyperplane arrangements.
Myhill-Nerode methods for hypergraphs
Published in Algorithmica 73(4):696-729, 2015
• View Publication
• BIB
We give an analog of the Myhill-Nerode methods from formal language theory for hypergraphs and use it to derive the following results for two NP-hard hypergraph problems:
* We provide an algorithm for testing whether a hypergraph has cutwidth at most k that runs in linear time for constant k. In terms of parameterized complexity theory, the problem is fixed-parameter linear parameterized by k.
* We show that it is not expressible in monadic second-order logic whether a hypergraph has bounded (fractional, generalized) hypertree width. The proof leads us to conjecture that, in terms of parameterized complexity theory, these problems are W[1]-hard parameterized by the incidence treewidth (the treewidth of the incidence graph).
Thus, in the form of the Myhill-Nerode theorem for hypergraphs, we obtain a method to derive linear-time algorithms and to obtain indicators for intractability for hypergraph problems parameterized by incidence treewidth.
In an appendix, we point out an error and a fix to the proof of the Myhill-Nerode theorem for graphs in Downey and Fellow's book on parameterized complexity.
On the Number of Unbordered Factors
We illustrate a general technique for enumerating factors of k-automatic sequences by proving a conjecture on the number f(n) of unbordered factors of the Thue-Morse sequence. We show that f(n) <= n for n >= 4 and that f(n) = n infinitely often. We also give examples of automatic sequences having exactly 2 unbordered factors of every length.
Delay colourings of cubic graphs
Published
• View Publication
• BIB
In this note we prove the conjecture of \cite{HaWiWi} that every bipartite multigraph with integer edge delays admits an edge colouring with $d+1$ colours in the special case where $d=3$. A connection to the Brualdi-Ryser-Stein conjecture is discussed.
Shattering, Graph Orientations, and Connectivity
Published
• View Publication
• BIB
We present a connection between two seemingly disparate fields: VC-theory and graph theory. This connection yields natural correspondences between fundamental concepts in VC-theory, such as shattering and VC-dimension, and well-studied concepts of graph theory related to connectivity, combinatorial optimization, forbidden subgraphs, and others.
In one direction, we use this connection to derive results in graph theory. Our main tool is a generalization of the Sauer-Shelah Lemma. Using this tool we obtain a series of inequalities and equalities related to properties of orientations of a graph. Some of these results appear to be new, for others we give new and simple proofs.
In the other direction, we present new illustrative examples of shattering-extremal systems - a class of set-systems in VC-theory whose understanding is considered by some authors to be incomplete. These examples are derived from properties of orientations related to distances and flows in networks.
q-Steiner Systems Do Exist
In this paper we give the first construction of a q-analog of a Steiner system. Using a computer search we found at least 26 q-Steiner Systems S_2[2,3,13] admitting the normalizer of a singer cycle as a group of automorphisms.