Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Hamiltonian chordal graphs are not cycle extendible
Published
• View Publication
• BIB
In 1990, Hendry conjectured that every Hamiltonian chordal graph is cycle extendible; that is, the vertices of any non-Hamiltonian cycle are contained in a cycle of length one greater. We disprove this conjecture by constructing counterexamples on $n$ vertices for any $n \geq 15$. Furthermore, we show that there exist counterexamples where the ratio of the length of a non-extendible cycle to the total number of vertices can be made arbitrarily small. We then consider cycle extendibility in Hamiltonian chordal graphs where certain induced subgraphs are forbidden, notably $P_n$ and the bull.
Small clique number graphs with three trivial critical ideals
Published
• View Publication
• BIB
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. In this article we provide a set of minimal forbidden graphs for the set of graphs with at most three trivial critical ideals. Then we use these forbidden graphs to characterize the graphs with at most three trivial critical ideals and clique number equal to 2 and 3.
On a Conjecture of Erdős, Gallai, and Tuza
Published
• View Publication
• BIB
Erdős, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of a set of edges containing at most one edge from each triangle of $G$. Is it always the case that $α_1(G) + τ_1(G) \leq n^2/4$? We have two main results. We first obtain the upper bound $α_1(G) + τ_1(G) \leq 5n^2/16$, as a partial result towards the Erdős--Gallai--Tuza conjecture. We also show that always $α_1(G) \leq n^2/2 - m$, where $m$ is the number of edges in $G$; this bound is sharp in several notable cases.
Series expansions for $1/π^m$ and $π^m$
By means of the telescoping method, we establish two sum- mation formulas on sine function. As the special cases of them, several interesting series expansions for $1/π^m$ and $π^m$.
Small circulant complex Hadamard matrices of Butson type
Published
• View Publication
• BIB
We study the circulant complex Hadamard matrices of order $n$ whose entries are $l$-th roots of unity. For $n=l$ prime we prove that the only such matrix, up to equivalence, is the Fourier matrix, while for $n=p+q,l=pq$ with $p,q$ distinct primes there is no such matrix. We then provide a list of equivalence classes of such matrices, for small values of $n,l$.
Semi-classical measures on Quantum Graphs and the Gauss map of the determinant manifold
In this paper, I describe the weak limits of the measures associated to the eigenfunctions of the Laplacian on a Quantum graph for a generic metric in terms of the Gauss map of the determinant manifold. I describe also all the limits with minimal support (the "scars").
On the multicolor Ramsey number of a graph with m edges
The multicolor Ramsey number $r_k(F)$ of a graph $F$ is the least integer $n$ such that in every coloring of the edges of $K_n$ by $k$ colors there is a monochromatic copy of $F$. In this short note we prove an upper bound on $r_k(F)$ for a graph $F$ with $m$ edges and no isolated vertices of the form $k^{6km^{2/3}}$ addressing a question of Sudakov [ Adv. Math. 227 (2011), no. 1, 601--609]. Furthermore, the constant in the exponent in the case of bipartite $F$ and two colors is lowered so that $r_2(F)\le 2^{(1+o(1))2\sqrt{2m}}$ improving the result of Alon, Krivelevich and Sudakov [Combin. Probab. Comput. 12 (2003), no. 5--6, 477--494].
Semiovals in PG(2,8) and PG(2,9)
The classification of all semiovals and blocking semiovals in $\mathrm{PG}(2,8)$ and in $\mathrm{PG}(2,9)$ of size less than $17$ is determined. Also, some information on the stabilizer groups and the intersection sizes with lines is given.
Tactical decompositions of designs over finite fields
An automorphism group of an incidence structure I induces a tactical decomposition on I. It is well known that tactical decompositions of t-designs satisfy certain necessary conditions which can be expressed as equations in terms of the coefficients of tactical decomposition matrices. In this article we present results obtained for tactical decompositions of q-analogs of t-designs, more precisely, of 2-(v,k,lambda_2;q) designs. We show that coefficients of tactical decomposition matrices of a design over finite field satisfy an equation system analog to the one known for block designs. Furthermore, taking into consideration specific properties of designs over the binary field, we obtain an additional system of inequations for these coefficients in that case.
On q-algebraic equations and their power series solutions
We study the existence of formal power series solutions to q-algebraic equations. When a solution exists, we give a sufficient condition on the equation for this solution to have a positive radius of convergence. We emphasize on the case where the solution is divergent, giving a sharp estimate on the growth of the coefficients. As a consequence, we obtain a bound on the q-Gevrey order of the formal solution, which is optimal in some cases. Various examples illustrate our main results.
Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Permutation Codes
Given positive integers $n$ and $d$, let $M(n,d)$ denote the maximum size of a permutation code of length $n$ and minimum Hamming distance $d$. The Gilbert-Varshamov bound asserts that $M(n,d) \geq n!/V(n,d-1)$ where $V(n,d)$ is the volume of a Hamming sphere of radius $d$ in $§_n$.
Recently, Gao, Yang, and Ge showed that this bound can be improved by a factor $Ω(\log n)$, when $d$ is fixed and $n \to \infty$. Herein, we consider the situation where the ratio $d/n$ is fixed and improve the Gilbert-Varshamov bound by a factor that is \emph{linear in $n$}. That is, we show that if $d/n < 0.5$, then $$ M(n,d)\geq cn\,\frac{n!}{V(n,d-1)} $$ where $c$ is a positive constant that depends only on $d/n$. To establish this result, we follow the method of Jiang and Vardy. Namely, we recast the problem of bounding $M(n,d)$ into a graph-theoretic framework and prove that the resulting graph is locally sparse.
Erdős-Pyber theorem for hypergraphs and secret sharing
Published
• View Publication
• BIB
A new, constructive proof with a small explicit constant is given to the Erdős-Pyber theorem which says that the edges of a graph on $n$ vertices can be partitioned into complete bipartite subgraphs so that every vertex is covered at most $O(n/\log n)$ times. The theorem is generalized to uniform hypergraphs. Similar bounds with smaller constant value is provided for fractional partitioning both for graphs and for uniform hypergraphs. We show that these latter constants cannot be improved by more than a factor of 1.89 even for fractional covering by arbitrary complete multipartite subgraphs or subhypergraphs. In the case every vertex of the graph is connected to at least $n-m$ other vertices, we prove the existence of a fractional covering of the edges by complete bipartite graphs such that every vertex is covered at most $O(m/\log m)$ times, with only a slightly worse explicit constant. This result also generalizes to uniform hypergraphs. Our results give new improved bounds on the complexity of graph and uniform hypergraph based secret sharing schemes, and show the limits of the method at the same time.
Boolean Witt vectors and an integral Edrei-Thoma theorem
Published in Selecta Mathematica, April 2016, Volume 22, Issue 2, pp 595--629
• View Publication
• BIB
A subtraction-free definition of the big Witt vector construction was recently given by the first author. This allows one to define the big Witt vectors of any semiring. Here we give an explicit combinatorial description of the big Witt vectors of the Boolean semiring. We do the same for two variants of the big Witt vector construction: the Schur Witt vectors and the $p$-typical Witt vectors. We use this to give an explicit description of the Schur Witt vectors of the natural numbers, which can be viewed as the classification of totally positive power series with integral coefficients, first obtained by Davydov. We also determine the cardinalities of some Witt vector algebras with entries in various concrete arithmetic semirings.
Face numbers of down-sets
Published
• View Publication
• BIB
We compare various viewpoints on down-sets (simplicial complexes), illustrating how the combinatorial inclusion-exclusion principle may serve as an alternative to more advanced methods of studying their face numbers.
On the simultaneous edge coloring of graphs
Published
• View Publication
• BIB
On the simultaneous edge coloring of graphs
String graphs and separators
String graphs, that is, intersection graphs of curves in the plane, have been studied since the 1960s. We provide an expository presentation of several results, including very recent ones: some string graphs require an exponential number of crossings in every string representation; exponential number is always sufficient; string graphs have small separators; and the current best bound on the crossing number of a graph in terms of the pair-crossing number. For the existence of small separators, unwrapping the complete proof include generally useful results on approximate flow-cut dualities.
Separating path systems
Published
• View Publication
• BIB
We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special cases. In particular, we establish this conjecture for random graphs and graphs with linear minimum degree. We also obtain tight bounds on the size of a minimal separating path system in the case of trees.
Homogeneous 2-partite digraphs
Published
• View Publication
• BIB
We call a 2-partite digraph D homogeneous if every isomorphism between finite induced subdigraphs that respects the 2-partition of D extends to an automorphism of D that does the same. In this note, we classify the homogeneous 2-partite digraphs.
Multivariate Stirling Polynomials of the first and second kind
Published in Discrete Mathematics 338 (2015), 2462-2484
• View Publication
• BIB
Two doubly indexed families of homogeneous and isobaric polynomials in several indeterminates are considered: the (partial) exponential Bell polynomials $B_{n,k}$ and a new family $S_{n,k}$ such that $X_1^{-(2n-1)}S_{n,k}$ and $B_{n,k}$ obey an inversion law which generalizes that of the Stirling numbers of the first and second kind. Both polynomial families appear as Lie coefficients in expansions of certain derivatives of higher order. Substituting $D^j(\varphi)$ (the $j$-th derivative of a fixed function $\varphi$) in place of the indeterminates $X_j$ shows that both $S_{n,k}$ and $B_{n,k}$ are differential polynomials depending on $\varphi$ and on its inverse $\overline{\varphi}$, respectively. Some new light is shed thereby on Comtet's solution of the Lagrange inversion problem in terms of the Bell polynomials. According to Haiman and Schmitt that solution is essentially the antipode on the Faà di Bruno Hopf algebra. It can be represented by $X_1^{-(2n-1)}S_{n,1}$. Moreover, a general expansion formula that holds for the whole family $S_{n,k}$ ($1\leq k\leq n$) is established together with a closed expression for the coefficients of $S_{n,k}$. Several important properties of the Stirling numbers are demonstrated to be special cases of relations between the corresponding polynomials. As a non-trivial example, a Schlömilch-type formula is derived expressing $S_{n,k}$ in terms of the Bell polynomials $B_{n,k}$, and vice versa.
Breaking the quadratic barrier for 3-LCCs over the Reals
Published
• View Publication
• BIB
We prove that 3-query linear locally correctable codes over the Reals of dimension $d$ require block length $n>d^{2+λ}$ for some fixed, positive $λ>0$. Geometrically, this means that if $n$ vectors in $R^d$ are such that each vector is spanned by a linear number of disjoint triples of others, then it must be that $n > d^{2+λ}$. This improves the known quadratic lower bounds (e.g. {KdW04, Wood07}). While a modest improvement, we expect that the new techniques introduced in this work will be useful for further progress on lower bounds of locally correctable and decodable codes with more than 2 queries, possibly over other fields as well.
Our proof introduces several new ideas to existing lower bound techniques, several of which work over every field. At a high level, our proof has two parts, {\it clustering} and {\it random restriction}.
The clustering step uses a powerful theorem of Barthe from convex geometry. It can be used (after preprocessing our LCC to be {\it balanced}), to apply a basis change (and rescaling) of the vectors, so that the resulting unit vectors become {\it nearly isotropic}. This together with the fact that any LCC must have many `correlated' pairs of points, lets us deduce that the vectors must have a surprisingly strong geometric clustering, and hence also combinatorial clustering with respect to the spanning triples.
In the restriction step, we devise a new variant of the dimension reduction technique used in previous lower bounds, which is able to take advantage of the combinatorial clustering structure above. The analysis of our random projection method reduces to a simple (weakly) random graph process, and works over any field.