Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Large B_d-free and union-free subfamilies
For a property $Γ$ and a family of sets $\cF$, let $f(\cF,Γ)$ be the size of the largest subfamily of $\cF$ having property $Γ$. For a positive integer $m$, let $f(m,Γ)$ be the minimum of $f(\cF,Γ)$ over all families of size $m$. A family $\cF$ is said to be $B_d$-free if it has no subfamily $\cF'=\{F_I: I \subseteq [d]\}$ of $2^d$ distinct sets such that for every $I,J \subseteq [d]$, both $F_I \cup F_J=F_{I \cup J}$ and $F_I \cap F_J = F_{I \cap J}$ hold. A family $\cF$ is $a$-union free if $F_1\cup ... F_a \neq F_{a+1}$ whenever $F_1,..,F_{a+1}$ are distinct sets in $\FF$. We verify a conjecture of Erd\H os and Shelah that $f(m, B_2\text{\rm -free})=Θ(m^{2/3})$. We also obtain lower and upper bounds for $f(m, B_d\text{\rm -free})$ and $f(m,a\text{\rm -union free})$.
Some inversion formulas and formulas for Stirling numbers
Published
• View Publication
• BIB
In the paper we present some new inversion formulas and two new formulas for Stirling numbers.
Distance-balanced closure of some graphs
In this paper we prove that any distance-balanced graph $G$ with $Δ(G)\geq |V(G)|-3$ is regular. Also we define notion of distance-balanced closure of a graph and we find distance-balanced closures of trees $T$ with $Δ(T)\geq |V(T)|-3$.
Some remarks about the derivative operator and generalized Stirling numbers
Published in Ars. Combin. 100 (2011), 177--192
• Search Publication
Studying expressions of the form $(f(x)D)^p$, where $D={\displaystyle \frac{d}{dx}}$ is the derivative operator, goes back to Scherk's Ph.D. thesis in 1823. We show that this can be extended as ${\displaystyle\sum γ_{p;a} (f^{(0)})^{a(0)+1} (f^{(1)})^{a(1)}...(f^{(p-1)})^{a(p-1)}D^{p-\sum_i i a(i)}}$}, where the summation is taken over the $p$-tuples $(a_0, a_1,..., a_{p-1})$, satisfying $\sum_{i}a(i)=p-1,\, \sum_{i}i a(i)<p$, $f^{(i)}=D^i f$ and $γ_{p;a}$ is the number of increasing trees on the vertex set $[0, p]$ having
$a(0)+1$ leaves and having $a(i)$ vertices with $i$ children for $0<i<p$. Thus, previously known results about increasing trees, lead us to some equalities containing coefficients $γ_{p;a}$. In the sequel, we consider the expansion of $(x^k D)^p$ and coefficients appearing there, which are called generalized Stirling numbers by physicists. Some results about these coefficients and their inverses are discussed through bijective methods.
Particularly, we introduce and use the notion of $(p, k)$-forest in these arguments.
The central curve in linear programming
Published in Foundations of Computational Mathematics: Volume 12, Issue 4 (2012), Page 509-540
• View Publication
• BIB
The central curve of a linear program is an algebraic curve specified by linear and quadratic constraints arising from complementary slackness. It is the union of the various central paths for minimizing or maximizing the cost function over any region in the associated hyperplane arrangement. We determine the degree, arithmetic genus and defining prime ideal of the central curve, thereby answering a question of Bayer and Lagarias. These invariants, along with the degree of the Gauss image of the curve, are expressed in terms of the matroid of the input matrix. Extending work of Dedieu, Malajovich and Shub, this yields an instance-specific bound on the total curvature of the central path, a quantity relevant for interior point methods. The global geometry of central curves is studied in detail.
On the rainbow vertex-connection
Published
• View Publication
• BIB
A vertex-colored graph is {\it rainbow vertex-connected} if any two vertices are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. Krivelevich and Yuster proved that if $G$ is a graph of order $n$ with minimum degree $δ$, then $rvc(G)<11n/δ$. In this paper, we show that $rvc(G)\leq 3n/(δ+1)+5$ for $δ\geq \sqrt{n-1}-1$ and $n\geq 290$, while $rvc(G)\leq 4n/(δ+1)+5$ for $16\leq δ\leq \sqrt{n-1}-2$ and $rvc(G)\leq 4n/(δ+1)+C(δ)$ for $6\leqδ\leq 15$, where $C(δ)=e^{\frac{3\log(δ^3+2δ^2+3)-3(\log 3-1)} {δ-3}}-2$. We also prove that $rvc(G)\leq 3n/4-2$ for $δ=3$, $rvc(G)\leq 3n/5-8/5$ for $δ=4$ and $rvc(G)\leq n/2-2$ for $δ=5$. Moreover, an example shows that when $δ\geq \sqrt{n-1}-1$ and $δ=3,4,5$, our bounds are seen to be tight up to additive factors.
Large values of the Gowers-Host-Kra seminorms
Published
• View Publication
• BIB
The \emph{Gowers uniformity norms} $\|f\|_{U^k(G)}$ of a function $f: G \to \C$ on a finite additive group $G$, together with the slight variant $\|f\|_{U^k([N])}$ defined for functions on a discrete interval $[N] := \{1,...,N\}$, are of importance in the modern theory of counting additive patterns (such as arithmetic progressions) inside large sets. Closely related to these norms are the \emph{Gowers-Host-Kra seminorms} $\|f\|_{U^k(X)}$ of a measurable function $f: X \to \C$ on a measure-preserving system $X = (X, {\mathcal X}, μ, T)$. Much recent effort has been devoted to the question of obtaining necessary and sufficient conditions for these Gowers norms to have non-trivial size (e.g. at least $η$ for some small $η> 0$), leading in particular to the inverse conjecture for the Gowers norms, and to the Host-Kra classification of characteristic factors for the Gowers-Host-Kra seminorms.
In this paper we investigate the near-extremal (or "property testing") version of this question, when the Gowers norm or Gowers-Host-Kra seminorm of a function is almost as large as it can be subject to an $L^\infty$ or $L^p$ bound on its magnitude. Our main results assert, roughly speaking, that this occurs if and only if $f$ behaves like a polynomial phase, possibly localised to a subgroup of the domain; this can be viewed as a higher-order analogue of classical results of Russo and Fournier, and are also related to the polynomiality testing results over finite fields of Blum-Luby-Rubinfeld and Alon-Kaufman-Krivelevich-Litsyn-Ron. We investigate the situation further for the $U^3$ norms, which are associated to 2-step nilsequences, and find that there is a threshold behaviour, in that non-trivial 2-step nilsequences (not associated with linear or quadratic phases) only emerge once the $U^3$ norm is at most $2^{-1/8}$ of the $L^\infty$ norm.
Equipartition of a measure by $(Z_p)^k$-invariant fans
Published in Discrete and Computational Geometry, 43:2, 2010, 477-481
• View Publication
• BIB
We prove a result about partitioning an absolute continuous measure in $\mathbb R^d$ into 2d equal parts by a system of cones with common vertex, where $d$ is an odd prime power. The proof is topological and based on the calculation of the equivariant Euler class of a certain vector bundle.
Bootstrap percolation on the random graph $G_{n,p}$
Published in Annals of Applied Probability 2012, Vol. 22, No. 5, 1989-2047
• View Publication
• BIB
Bootstrap percolation on the random graph $G_{n,p}$ is a process of spread of "activation" on a given realization of the graph with a given number of initially active nodes. At each step those vertices which have not been active but have at least $r\geq2$ active neighbors become active as well. We study the size $A^*$ of the final active set. The parameters of the model are, besides $r$ (fixed) and $n$ (tending to $\infty$), the size $a=a(n)$ of the initially active set and the probability $p=p(n)$ of the edges in the graph. We show that the model exhibits a sharp phase transition: depending on the parameters of the model, the final size of activation with a high probability is either $n-o(n)$ or it is $o(n)$. We provide a complete description of the phase diagram on the space of the parameters of the model. In particular, we find the phase transition and compute the asymptotics (in probability) for $A^*$; we also prove a central limit theorem for $A^*$ in some ranges. Furthermore, we provide the asymptotics for the number of steps until the process stops.
On the polygonal diameter of the interior, resp. exterior, of a simple closed polygon in the plane
Published
• View Publication
• BIB
We give a tight upper bound on the polygonal diameter of the interior, resp. exterior, of a simple $n$-gon, $n \ge 3$, in the plane as a function of $n$, and describe an $n$-gon $(n \ge 3)$ for which both upper bounds (for the interior and the exterior) are attained \emph{simultaneously}.
Generalized Compositions of Natural Numbers
We consider compositions of natural numbers when there are different types of each natural number. Several recursions as well as some closed formulas for the number of compositions is derived. We also find its relationships with some known classes of integers such as Fibonacci, Catalan, Pell, Pell-Lucas, and Jacobsthal numbers.
SO(3) Homology of Graphs and Links
Published in Algebr. Geom. Topol. 11 (2011) 2137-2166
• View Publication
• BIB
The SO(3) Kauffman polynomial and the chromatic polynomial of planar graphs are categorified by a unique extension of the Khovanov homology framework. Many structural observations and computations of homologies of knots and spin networks are included.
Forbidden induced subgraphs of double-split graphs
Published in SIAM Journal on Discrete Mathematics 26 (2012), no. 1, 1-14
• View Publication
• BIB
In the course of proving the strong perfect graph theorem, Chudnovsky, Robertson, Seymour, and Thomas showed that every perfect graph either belongs to one of five basic classes or admits one of several decompositions. Four of the basic classes are closed under taking induced subgraphs (and have known forbidden subgraph characterizations), while the fifth one, consisting of double-split graphs, is not.
A graph is doubled if it is an induced subgraph of a double-split graph. We find the forbidden induced subgraph characterization of doubled graphs; it contains 44 graphs.
On the computation of edit distance functions
Published in Discrete Math. 338(2) (2015), 291--305
• View Publication
• BIB
The edit distance between two graphs on the same labeled vertex set is the size of the symmetric difference of the edge sets. The edit distance function of the hereditary property, $\mathcal{H}$, is a function of $p\in[0,1]$ and is the limit of the maximum normalized distance between a graph of density $p$ and $\mathcal{H}$.
This paper uses the symmetrization method of Sidorenko in order to compute the edit distance function of various hereditary properties. For any graph $H$, ${\rm Forb}(H)$ denotes the property of not having an induced copy of $H$. We compute the edit distance function for ${\rm Forb}(H)$, where $H$ is any split graph, and the graph $H_9$, a graph first used to describe the difficulties in computing the edit distance function.
Enumeration of closed random walks in the square lattice according to their areas
We study the area distribution of closed walks of length $n$, beginning and ending at the origin. The concept of area of a walk in the square lattice is generalized and the usefulness of the new concept is demonstrated through a simple argument. It is concluded that the number of walks of length $n$ and area $s$ equals to the coefficient of $z^s$ in the expression $(x+x^{-1}+y+y^{-1})^n$, where the calculations are performed in a special group ring $R[x,y,z]$. A polynomial time algorithm for calculating these values, is then concluded. Finally, the provided algorithm and the results of implementation are compared with previous works.
Realizability of Polytopes as a Low Rank Matrix Completion Problem
Published in Discrete and Computational Geometry, 51(4): 761-778, 2014
• View Publication
• BIB
This article gives necessary and sufficient conditions for a relation to be the containment relation between the facets and vertices of a polytope. Also given here, are a set of matrices parameterizing the linear moduli space and another set parameterizing the projective moduli space of a combinatorial polytope.
A note on Lucas L binomials and Ward Horadam binomials recurrences
We deliver here H(x)binomials recurrence formula appointed by Ward Horadam sequence of functions which in mostly considered since decades cases where chosen to be polynomials .
The subword complexity of smooth words on 2-letter alphabets
Published in Theoret. Comput. Sci., 412 (2011) ,6327-6339
• View Publication
• BIB
Let $γ_{a,b}(n)$ be the number of smooth words of length $n$ over the alphabet $\{a,b\}$ with $a<b$. Say that a smooth word $w$ is \emph{left fully extendable} (LFE) if both $aw$ and $bw$ are smooth. In this paper, we prove that for any positive number $ξ$ and positive integer $n_{0}$ such that the proportion of $b$'s is larger than $ξ$ for each LFE word of length exceeding $n_0$, there are two constants $c_{1}\,\textrm{and}\, c_{2}$ such that for each positive integer $n$, one has {eqnarray} c_{1}\cdot n^{\frac{\log (2b-1)}{\log (1+(a+b-2)(1-ξ))}}<γ_{a,b}(n)< c_2\cdot n^{\frac{\log (2b-1)}{\log (1+(a+b-2)ξ)}}. {eqnarray} In particular, taking $a=1\text{and}b=2$ in the above inequalities arrives at Huang and Weakley's result. Moreover, for 2-letter even alphabet $\{a,b\}$, there are two suitable constants $c_1,\,c_2$ such that \{eqnarray} c_{1}\cdot n^{\frac{\log (2b-1)}{\log ((a+b)/2)}}<γ_{a,b}(n)< c_2\cdot n^{\frac{\log (2b-1)}{\log ((a+b)/2)}}\textit{for each positive integer $n$}.\{eqnarray}
A triangulation of $\CC P^3$ as symmetric cube of $S^2$
Published in Discrete Comput Geom 48 (2012), 310--329
• View Publication
• BIB
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$ requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.
A mathematical model for networks with structures in the mesoscale
Published
• View Publication
• BIB
The new concept of multilevel network is introduced in order to embody some topological properties of complex systems with structures in the mesoscale which are not completely captured by the classical models. This new model, which generalizes the hyper-network and hyper-structure models, fits perfectly with several real-life complex systems, including social and public transportation networks. We present an analysis of the structural properties of the multilevel network, including the clustering and the metric structures. Some analytical relationships amongst the efficiency and clustering coefficient of this new model and the corresponding parameters of the underlying network are obtained. Finally some random models for multilevel networks are given to illustrate how different multilevel structures can produce similar underlying networks and therefore that the mesoscale structure should be taken into account in many applications.