Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Wavelet analysis on symbolic sequences and two-fold de Bruijn sequences
Published
• View Publication
• BIB
The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction of analytic and numerical methods for investigation of clusters we introduce operator language on the space of symbolic sequences and propose an approach based on wavelet analysis for study of the cluster hierarchy. The analytic power of the approach is demonstrated by derivation of a formula for counting of {\it two-fold de Bruijn sequences}, the extension of the notion of de Bruijn sequences. Possible advantages of the developed description is also discussed in context of applied p
Dynamic Monopolies for Degree Proportional Thresholds in Connected Graphs of Girth at least Five and Trees
Published
• View Publication
• BIB
Let $G$ be a graph, and let $ρ\in (0,1)$. For a set $D$ of vertices of $G$, let the set $H_ρ(D)$ arise by starting with the set $D$, and iteratively adding further vertices $u$ to the current set if they have at least $\lceil ρd_G(u)\rceil$ neighbors in it. If $H_ρ(D)$ contains all vertices of $G$, then $D$ is known as an irreversible dynamic monopoly or a perfect target set associated with the threshold function $u\mapsto \lceil ρd_G(u)\rceil$. Let $h_ρ(G)$ be the minimum cardinality of such an irreversible dynamic monopoly.
For a connected graph $G$ of maximum degree at least $\frac{1}ρ$, Chang (Triggering cascades on undirected connected graphs, Information Processing Letters 111 (2011) 973-978) showed $h_ρ(G)\leq 5.83ρn(G)$, which was improved by Chang and Lyuu (Triggering cascades on strongly connected directed graphs, Theoretical Computer Science 593 (2015) 62-69) to $h_ρ(G)\leq 4.92ρn(G)$. We show that for every $ε>0$, there is some $ρ(ε)>0$ such that $h_ρ(G) \leq(2+ε)ρn(G)$ for every $ρ$ in $(0,ρ(ε))$, and every connected graph $G$ that has maximum degree at least $\frac{1}ρ$ and girth at least $5$. Furthermore, we show that $h_ρ(T) \leq ρn(T)$ for every $ρ$ in $(0,1]$, and every tree $T$ that has order at least $\frac{1}ρ$.
Invertible binary matrix with maximum number of $2$-by-$2$ invertible submatrices
Published
• View Publication
• BIB
The problem is related to all-or-nothing transforms (AONT) suggested by Rivest as a preprocessing for encrypting data with a block cipher. Since then there have been various applications of AONTs in cryptography and security. D'Arco, Esfahani and Stinson posed the problem on the constructions of binary matrices for which the desired properties of an AONT hold with the maximum probability. That is, for given integers $t\le s$, what is the maximum number of $t$-by-$t$ invertible submatrices in a binary matrix of order $s$? For the case $t=2$, let $R_2(s)$ denote the maximal proportion of 2-by-2 invertible submatrices. D'Arco, Esfahani and Stinson conjectured that the limit is between 0.492 and 0.625. We completely solve the case $t=2$ by showing that $\lim_{s\rightarrow\infty}R_2(s)=0.5$.
On totally antimagic total labeling of complete bipartite graphs
This paper deals with the problem of finding totally antimagic total labelings of complete bipartite graphs. We prove that complete bipartite graphs are totally antimagic total graphs. We also show that the join of complete bipartite graphs with one vertex is a totally antimagic total graph
Spectra of general hypergraphs
Published
• View Publication
• BIB
Here, we show a method to reconstruct connectivity hypermatrices of a general hypergraph (without any self loop or multiple edge) using tensor. We also study the different spectral properties of these hypermatrices and find that these properties are similar for graphs and uniform hypergraphs. The representation of a connectivity hypermatrix that is proposed here can be very useful for the further development in spectral hypergraph theory.
Discrepancy of line segments for general lattice checkerboards
Published
• View Publication
• BIB
In a series of papers recently "checkerboard discrepancy" has been introduced, where a black-and-white checkerboard background induces a coloring on any curve, and thus a discrepancy, i.e., the difference of the length of the curve colored white and the length colored black. Mainly straight lines and circles have been studied and the general situation is that, no matter what the background coloring, there is always a curve in the family studied whose discrepancy is at least of the order of the square root of the length of the curve.
In this paper we generalize the shape of the background, keeping the lattice structure. Our background now consists of lattice copies of any bounded fundamental domain of the lattice, and not necessarily of squares, as was the case in the previous papers. As the decay properties of the Fourier Transform of the indicator function of the square were strongly used before, we now have to use a quite different proof, in which the tiling and spectral properties of the fundamental domain play a role.
Complexity of choosability with a small palette of colors
A graph is $\ell$-choosable if, for any choice of lists of $\ell$ colors for each vertex, there is a list coloring, which is a coloring where each vertex receives a color from its list. We study complexity issues of choosability of graphs when the number $k$ of colors is limited. We get results which differ surprisingly from the usual case where $k$ is implicit and which extend known results for the usual case. We also exhibit some classes of graphs (defined by structural properties of their blocks) which are choosable.
Odd partitions in Young's lattice
Published in Séminaire Lotharingien de Combinatoire, vol. 75, Article B75g, 2016
• Search Publication
We show that the subgraph induced in Young's graph by the set of partitions with an odd number of standard Young tableaux is a binary tree. This tree exhibits self-similarities at all scales, and has a simple recursive description.
Algebraic combinatorics on trace monoids: extending number theory to walks on graphs
Published in SIAM Journal on Discrete Mathematics 31-2, pp. 1428-1453 (2017)
• View Publication
• BIB
Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose alphabet is the set of simple cycleson the graph. We show that hikes characterize undirected graphs uniquely, up to isomorphism, andsatisfy remarkable algebraic properties such as the existence and uniqueness of a prime factorization.Because of this, the set of hikes partially ordered by divisibility hosts a plethora of relations in directcorrespondence with those found in number theory. Some applications of these results are presented,including a permanantal extension to MacMahon's master theorem and a derivation of the Ihara zetafunction.
Transforming phylogenetic networks: Moving beyond tree space
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees that are used to represent reticulate evolution. Unrooted phylogenetic networks form a special class of such networks, which naturally generalize unrooted phylogenetic trees. In this paper we define two operations on unrooted phylogenetic networks, one of which is a generalization of the well-known nearest-neighbor interchange (NNI) operation on phylogenetic trees. We show that any unrooted phylogenetic network can be transformed into any other such network using only these operations. This generalizes the well-known fact that any phylogenetic tree can be transformed into any other such tree using only NNI operations. It also allows us to define a generalization of tree space and to define some new metrics on unrooted phylogenetic networks. To prove our main results, we employ some fascinating new connections between phylogenetic networks and cubic graphs that we have recently discovered. Our results should be useful in developing new strategies to search for optimal phylogenetic networks, a topic that has recently generated some interest in the literature, as well as for providing new ways to compare networks.
On recognising frame and lifted-graphic matroids
Published
• View Publication
• BIB
We prove that there is no polynomial $p(\cdot)$ with the property that a matroid $M$ can be determined to be either a lifted-graphic or frame matroid using at most $p(|M|)$ rank evaluations. This resolves two conjectures of Geelen, Gerards and Whittle (Quasi-graphic matroids, arXiv:1512.03005v1).
Highly incidental patterns on a quadratic hypersurface in $\mathbb{R}^4$
Published
• View Publication
• BIB
In [Sharir and Solomon 2015], Sharir and Solomon showed that the number of incidences between $m$ distinct points and $n$ distinct lines in $\mathbb R^4$ is $$O^*\left(m^{2/5}n^{4/5}+ m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n\right),$$ provided that no 2-flat contains more than $s$ lines, and no hyperplane or quadric contains more than $q$ lines, where the $O^*$ hides a multiplicative factor of $2^{c\sqrt {\log m}}$ for some absolute constant $c$.
In this paper we prove that, for integers $m,n,$ satisfying $n^{9/8}<m<n^{3/2}$, there exist $m$ points and $n$ lines on the quadratic hypersurface in $\mathbb{R}^4$ $$ \{(x_1,x_2,x_3,x_4)\in \mathbb R^4 \mid x_1 = x_2^2 + x_3^2 - x_4^2\}, $$ such that (i) at most $s=O(1)$ lines lie on any 2-flat, (ii) at most $q=O(n/m^{1/3})$ lines lie on any hyperplane, and (iii) the number of incidences between the points and the lines is $Θ(m^{2/3}n^{1/2})$, which is asymptotically larger than the upper bound by Sharir and Solomon. This shows that the assumption that no quadric contains more than $q$ lines (in the above mentioned theorem of Sharir and Solomon) is necessary in this regime of $m$ and $n$.
By a suitable projection from this quadratic hypersurface onto $\mathbb{R}^3$, we obtain $m$ points and $n$ lines in $\mathbb{R}^3$, with at most $s=O(1)$ lines on a common plane, such that the number of incidences between the $m$ points and the $n$ lines is $Θ(m^{2/3}n^{1/2})$. It remains an interesting question to determine if this bound is also tight in general.
Acyclicity in Edge-Colored Graphs
Published
• View Publication
• BIB
A walk $W$ in edge-colored graphs is called properly colored (PC) if every pair of consecutive edges in $W$ is of different color. We introduce and study five types of PC acyclicity in edge-colored graphs such that graphs of PC acyclicity of type $i$ is a proper superset of graphs of acyclicity of type $i+1$, $i=1,2,3,4.$ The first three types are equivalent to the absence of PC cycles, PC trails, and PC walks, respectively. While graphs of types 1, 2 and 3 can be recognized in polynomial time, the problem of recognizing graphs of type 4 is, somewhat surprisingly, NP-hard even for 2-edge-colored graphs (i.e., when only two colors are used). The same problem with respect to type 5 is polynomial-time solvable for all edge-colored graphs. Using the five types, we investigate the border between intractability and tractability for the problems of finding the maximum number of internally vertex disjoint PC paths between two vertices and the minimum number of vertices to meet all PC paths between two vertices.
Derivatives and real roots of graph polynomials
Published
• View Publication
• BIB
Graph polynomials are polynomials assigned to graphs. Interestingly, they also arise in many areas outside graph theory as well. Many properties of graph polynomials have been widely studied. In this paper, we survey some results on the derivative and real roots of graph polynomials, which have applications in chemistry, control theory and computer science. Related to the derivatives of graph polynomials, polynomial reconstruction of the matching polynomial is also introduced.
Cohomology of Complements of Toric Arrangements Associated to Root Systems
Published
• View Publication
• BIB
We compute the cohomology of the complement of toric arrangements associated to root systems as representations of the corresponding Weyl groups. Specifically, we develop an algorithm for computing the cohomology of the complement of toric arrangements associated to general root systems and we carry out this computation for the exceptional root systems $G_2$, $F_4$, $E_6$ and $E_7$. We also compute the total cohomology of the complement of the toric arrangement associated to $A_n$ as a representation of the Weyl group and give a formula for its Poincaré polynomial.
Symmetry classes of alternating sign matrices in the nineteen-vertex model
Published
• View Publication
• BIB
The nineteen-vertex model on a periodic lattice with an anti-diagonal twist is investigated. Its inhomogeneous transfer matrix is shown to have a simple eigenvalue, with the corresponding eigenstate displaying intriguing combinatorial features. Similar results were previously found for the same model with a diagonal twist. The eigenstate for the anti-diagonal twist is explicitly constructed using the quantum separation of variables technique. A number of sum rules and special components are computed and expressed in terms of Kuperberg's determinants for partition functions of the inhomogeneous six-vertex model. The computations of some components of the special eigenstate for the diagonal twist are also presented. In the homogeneous limit, the special eigenstates become eigenvectors of the Hamiltonians of the integrable spin-one XXZ chain with twisted boundary conditions. Their sum rules and special components for both twists are expressed in terms of generating functions arising in the weighted enumeration of various symmetry classes of alternating sign matrices (ASMs). These include half-turn symmetric ASMs, quarter-turn symmetric ASMs, vertically symmetric ASMs, vertically and horizontally perverse ASMs and double U-turn ASMs. As side results, new determinant and pfaffian formulas for the weighted enumeration of various symmetry classes of alternating sign matrices are obtained.
Pathwidth and nonrepetitive list coloring
Published in Electronic Journal of Combinatorics, 23/4:P4.40, 2016
• View Publication
• BIB
A vertex coloring of a graph is nonrepetitive if there is no path in the graph whose first half receives the same sequence of colors as the second half. While every tree can be nonrepetitively colored with a bounded number of colors (4 colors is enough), Fiorenzi, Ochem, Ossona de Mendez, and Zhu recently showed that this does not extend to the list version of the problem, that is, for every $\ell \geq 1$ there is a tree that is not nonrepetitively $\ell$-choosable. In this paper we prove the following positive result, which complements the result of Fiorenzi et al.: There exists a function $f$ such that every tree of pathwidth $k$ is nonrepetitively $f(k)$-choosable. We also show that such a property is specific to trees by constructing a family of pathwidth-2 graphs that are not nonrepetitively $\ell$-choosable for any fixed $\ell$.
On paths, stars and wyes in trees
We further the study of local profiles of trees. Bubeck and Linial showed that the set of 5-profiles contains a certain polytope, namely the convex hull of d-millipedes, and they proved that the segment [0-millipede, 1-millipede] corresponds to a face of the set of 5-profiles. Our main result shows that the segment [1-millipede, 2-millipede] also corresponds to a face. Surprisingly we also show that for d > 3 the segment [d-millipede, (d+1)-millipede] is not a face of the set of 5-profiles. We do so by exhibiting new trees which are generalized millipedes with intriguing patterns for their degree sequence. The plot thickens, and the set of 5-profiles remains a mysterious convex set.
Interactions between interleaving holes in a sea of unit rhombi
Published
• View Publication
• BIB
Consider a family of collinear, equilateral triangular holes of any even side length lying within a sea of unit rhombi. The results presented below show that as the distance between the holes grows large, the interaction between them may be approximated, up to a multiplicative constant, by taking the exponential of the negative of the electrostatic energy of the system obtained by viewing the holes as a set of point charges, each with a signed magnitude given by a certain statistic. Furthermore it is shown that the interaction between a family of left pointing collinear triangular holes and a free boundary may be approximated (again up to some multiplicative constant) by taking the exponential of the negative of the electrostatic energy of the system obtained by considering the holes as a set of point charges and the boundary a straight equipotential conductor. These two differing systems of point charges can be related via the method of image charges, a well-known physical law that also surfaces in the following mathematical analysis of enumeration formulas that count tilings of certain regions of the plane by unit rhombi.
Hyperelliptic graphs and metrized complexes
Published in Forum of Mathematics, Sigma , Volume 5 , 2017 , e20
• View Publication
• BIB
We prove a version of Clifford's theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree $2$ and rank $1$. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens' theorem for metric graphs.