Showing 20 papers (Total: 84125 papers, 48472 authors in database)
On degree sequences of undirected, directed, and bidirected graphs
Published
• View Publication
• BIB
Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we extend the following four topics from (un)directed graphs to bidirected graphs:
- Erdős-Gallai-type results: characterization of net-degree sequences,
- Havel-Hakimi-type results: complete sets of degree-preserving operations,
- Extremal degree sequences: characterization of uniquely realizable sequences, and
- Enumerative aspects: counting formulas for net-degree sequences.
To underline the similarities and differences to their (un)directed counterparts, we briefly survey the undirected setting and we give a thorough account for digraphs with an emphasis on the discrete geometry of degree sequences. In particular, we determine the tight and uniquely realizable degree sequences for directed graphs.
Families of multiweights and pseudostars
Published
• View Publication
• BIB
Let ${\cal T}=(T,w)$ be a weighted finite tree with leaves $1,..., n$.For any $I :=\{i_1,..., i_k \} \subset \{1,...,n\}$,let $D_I ({\cal T})$ be the weight of the minimal subtree of $T$ connecting $i_1,..., i_k$; the $D_{I} ({\cal T})$ are called $k$-weights of ${\cal T}$. Given a family of real numbers parametrized by the $k$-subsets of $ \{1,..., n\}$, $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$, we say that a weighted tree ${\cal T}=(T,w)$ with leaves $1,..., n$ realizes the family if $D_I({\cal T})=D_I$ for any $ I $. In [P-S] Pachter and Speyer proved that, if $3 \leq k \leq (n+1)/2$ and $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$ is a family of positive real numbers, then there exists at most one positive-weighted essential tree ${\cal T}$ with leaves $1,...,n$ that realizes the family (where "essential" means that there are no vertices of degree $2$). We say that a tree $P$ is a pseudostar of kind $(n,k)$ if the cardinality of the leaf set is $n$ and any edge of $P$ divides the leaf set into two sets such that at least one of them has cardinality $ \geq k$. Here we show that, if $3 \leq k \leq n-1$ and $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$ is a family of real numbers realized by some weighted tree, then there is exactly one weighted essential pseudostar ${\cal P}=(P,w)$ of kind $(n,k)$ with leaves $1,...,n$ and without internal edges of weight $0$, that realizes the family; moreover we describe how any other weighted tree realizing the family can be obtained from ${\cal P}$. Finally we examine the range of the total weight of the weighted trees realizing a fixed family.
A characterization of dissimilarity families of trees
Published
• View Publication
• BIB
Let ${\cal T}=(T,w)$ be a weighted finite tree with leaves $1,..., n$.For any $I :=\{i_1,..., i_k \} \subset \{1,...,n\}$, let $D_I ({\cal T})$ be the weight of the minimal subtree of $T$ connecting $i_1,..., i_k$; the $D_{I} ({\cal T})$ are called $k$-weights of ${\cal T}$. Given a family of real numbers parametrized by the $k$-subsets of $\{1,..., n\}$, $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$, we say that a weighted tree ${\cal T}=(T,w)$ with leaves $1,..., n$ realizes the family if $D_I({\cal T})=D_I$ for any $ I $.
In 2006 Levy, Yoshida and Pachter defined, for any positive-weighted tree ${\cal T}=(T,w)$ with $\{1,..., n\}$ as leaf set and any $i, j \in \{1,..., n\}$, the numbers $S_{i,j}$ to be $ \sum_{Y \in {\{1,..., n\} -\{i,j\} \choose k-2}} D_{i,j ,Y}({\cal T}) $; they proved that there exists a positive-weighted tree ${\cal T}' =(T',w')$ such that $D_{i,j}({\cal T}')=S_{i,j}$ for any $i,j \in \{1,..., n\}$ and that this new tree is, in some way, similar to the given one. In this paper, by using the $S_{i,j}$ defined by Levy, Yoshida and Pachter, we characterize families of real numbers parametrized by ${\{1,...,n\} \choose k}$ that are the families of $k$-weights of weighted trees with leaf set equal to $\{1,...., n\}$ and weights of the internal edges positive.
On a class of transformations of sequences of complex numbers
In this paper we consider a transformation $L_a$ of sequences of complex numbers. We find the inverse transformation of $L_a$ as well as the inverse of a related transformation $\tilde{L}_a$. We explore a connection to the binomial transform and significantly generalize a previously known result. We also obtain new relations among many classical hypergeometric orthogonal polynomials as well as new formulas for sums involving terminating hypergeometric series.
Graph reduction techniques and the multiplicity of the Laplacian eigenvalues
Published
• View Publication
• BIB
Let $M=[m_{ij}]$ be an $n\times m$ real matrix, $ρ$ be a nonzero real number, and $A$ be a symmetric real matrix. We denote by $D(M)$ the $n\times n$ diagonal matrix $diag(\sum_{j=1}^{m}m_{1j},\ldots,\sum_{j=1}^{m}m_{nj})$ and denote by $L_{A}^ρ$ the generalized Laplacian matrix $D(A)-ρA$. A well-known result of Grone et al. states that by connecting one of the end-vertices of $P_{3}$ to an arbitrary vertex of a graph, does not change the multiplicity of Laplacian eigenvalue $1$. We extend this theorem and some other results for a given generalized Laplacian eigenvalue $μ$. Furthermore, we give two proofs for a conjecture by Saito and Woei on the relation between the multiplicity of some Laplacian eigenvalues and pendant paths.
Incidences with curves in R^d
Published
• View Publication
• BIB
We prove that the number of incidences between $m$ points and $n$ bounded-degree curves with $k$ degrees of freedom in ${\mathbb R}^d$ is \[ I(m,n) =O\left(m^{\frac{k}{dk-d+1}+\varepsilon}n^{\frac{dk-d}{dk-d+1}}+ \sum_{j=2}^{d-1} m^{\frac{k}{jk-j+1}+\varepsilon}n^{\frac{d(j-1)(k-1)}{(d-1)(jk-j+1)}}q_j^{\frac{(d-j)(k-1)}{(d-1)(jk-j+1)}}+m+n\right), \] for any $\varepsilon>0$, where the constant of proportionality depends on $k, \varepsilon$ and $d$, provided that no $j$-dimensional surface of degree $\le c_j(k,d,\varepsilon)$, a constant parameter depending on $k$, $d$, $j$, and $\varepsilon$, contains more than $q_j$ input curves, and that the $q_j$'s satisfy certain mild conditions.
This bound generalizes a recent result of Sharir and Solomon concerning point-line incidences in four dimensions (where $d=4$ and $k=2$), and partly generalizes a recent result of Guth (as well as the earlier bound of Guth and Katz) in three dimensions (Guth's three-dimensional bound has a better dependency on $q_2$). It also improves a recent $d$-dimensional general incidence bound by Fox, Pach, Sheffer, Suk, and Zahl, in the special case of incidences with algebraic curves. Our results are also related to recent works by Dvir and Gopi and by Hablicsek and Scherr concerning rich lines in high-dimensional spaces.
The Raney Numbers and $(s,s+1)$-Core Partitions
The Raney numbers $R_{p,r}(k)$ are a two-parameter generalization of the Catalan numbers. In this paper, we obtain a recurrence relation for the Raney numbers which is a generalization of the recurrence relation for the Catalan numbers. Using this recurrence relation, we confirm a conjecture posed by Amdeberhan concerning the enumeration of $(s,s+1)$-core partitions $λ$ with parts that are multiples of $p$. We then give a new combinatorial interpretation for the Raney numbers $R_{p+1,r+1}(k)$ with $0\leq r<p$ in terms of $(kp+r,kp+r+1)$-core partitions $λ$ with parts that are multiples of $p$.
Equivariant Euler characteristics of partition posets
We compute all the equivariant Euler characteristics of the $Σ_n$-poset of partitions of the $n$ element set.
Extracting list colorings from large independent sets
Published
• View Publication
• BIB
We take an application of the Kernel Lemma by Kostochka and Yancey to its logical conclusion. The consequence is a sort of magical way to draw conclusions about list coloring (and online list coloring) just from the existence of an independent set incident to many edges. We use this to prove an Ore-degree version of Brooks' Theorem for online list-coloring. The Ore-degree of an edge $xy$ in a graph $G$ is $θ(xy) = d_G(x) + d_G(y)$. The Ore-degree of $G$ is $θ(G) = \max_{xy\in E(G)}θ(xy)$. We show that every graph with $θ\ge18$ and $ω\le\fracθ{2}$ is online $\left\lfloor \fracθ{2}\right\rfloor $-choosable. In addition, we prove an upper bound for online list-coloring triangle-free graphs: $χ_{OL}\leΔ+1-\lfloor\frac{1}{4}\lg(Δ)\rfloor$. Finally, we characterize Gallai trees as the connected graphs $G$ with no independent set incident to at least $|G|$ edges.
Curvature and higher order Buser inequalities for the graph connection Laplacian
Published in SIAM Journal on Discrete Mathematics 33 (2019), no.1, 257-305
• View Publication
• BIB
We study the eigenvalues of the connection Laplacian on a graph with an orthogonal group or unitary group signature. We establish higher order Buser type inequalities, i.e., we provide upper bounds for eigenvalues in terms of Cheeger constants in the case of nonnegative Ricci curvature. In this process, we discuss the concepts of Cheeger type constants and a discrete Ricci curvature for connection Laplacians and study their properties systematically. The Cheeger constants are defined as mixtures of the expansion rate of the underlying graph and the frustration index of the signature. The discrete curvature, which can be computed efficiently via solving semidefinite programming problems, has a characterization by the heat semigroup for functions combined with a heat semigroup for vector fields on the graph.
Circulant $S_2$ graphs
Recently, Earl, Vander Meulen, and Van Tuyl characterized some families of Cohen-Macaulay or Buchsbaum circulant graphs discovered by Boros-Gurvich-Milani$\check{\text{c}}$, Brown-Hoshino, and Moussi. In this paper, we will characterize those families of circulant graphs which satisfy Serre's condition $S_2$. More precisely, we show that for some families of circulant graphs, $S_2$ property is equivalent to well-coveredness or Buchsbaumness, and for some other families it is equivalent to Cohen-Macaulayness. We also give examples of infinite families of circulant graphs which are Buchsbaum but not $S_2$, and vice versa.
Counterexamples to conjectures on graph distance measures based on topological indexes
In this paper we disprove three conjectures from [M. Dehmer, F. Emmert-Streib, Y. Shi, Interrelations of graph distance measures based on topological indices, PLoS ONE 9 (2014) e94985] on graph distance measures based on topological indices by providing explicit classes of trees that do not satisfy proposed inequalities. The constructions are based on the families of trees that have the same Wiener index, graph energy or Randic index - but different degree sequences.
Pattern avoiding permutations and independent sets in graphs
Published
• View Publication
• BIB
We introduce a new method for encoding permutations as weighted independent sets in a family of graphs we call cores. The encoding allows us to enumerate (1324, 2143)-, (1234, 1324, 2143)-, (1234, 1324, 1432, 3214)-avoiding permutations with respect to their number of "boundary points" and the size of the independent set in the graph they correspond to.
Partition functions of integrable lattice models and combinatorics of symmetric polynomials
We review and present new studies on the relation between the partition functions of integrable lattice models and symmetric polynomials, and its combinatorial representation theory based on the correspondence, including our work. In particular, we examine the correspondence between the wavefunctions of the XXZ type, Felderhof type and the boson type integrable models and symmetric polynomials such as the Schur, Grothendieck and symplectic Schur functions. We also give a brief report of our work on generalizing the correspondence between the Felderhof models and factorial Schur and symplectic Schur functions.
Classification of graphs based on homotopy equivalence. Homotopy equivalent graphs. Basic graphs and complexity of homotopy equivalence classes of graphs
Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of graphs. Graphs are called homotopy equivalent if one of them can be converted to the other one by contractible transformations. A basic graph and the complexity of a homotopy equivalence class are defined and investigated. It is shown all graphs belonging to a given homotopy equivalence class have similar topological properties and are represented by a basic graph with the minimal number of points and edges. Diagrams are given of basic graphs with the complexity N<7. The advantage of this classification is that it relies on computer experiments demonstrating a close connection between homotopy equivalent topological spaces and homotopy equivalent graphs.
Primitive Zonotopes
Published
• View Publication
• BIB
We introduce and study a family of polytopes which can be seen as a generalization of the permutahedron of type $B_d$. We highlight connections with the largest possible diameter of the convex hull of a set of points in dimension $d$ whose coordinates are integers between $0$ and $k$, and with the computational complexity of multicriteria matroid optimization.
Abelian duality and propagation of resonance
Published in Selecta Mathematica 23 (2017), no. 4, 2331-2367
• View Publication
• BIB
We explore the relationship between a certain "abelian duality" property of spaces and the propagation properties of their cohomology jump loci. To that end, we develop the analogy between abelian duality spaces and those spaces which possess what we call the "EPY property." The same underlying homological algebra allows us to deduce the propagation of jump loci: in the former case, characteristic varieties propagate, and in the latter, the resonance varieties. We apply the general theory to arrangements of linear and elliptic hyperplanes, as well as toric complexes, right-angled Artin groups, and Bestvina-Brady groups. Our approach brings to the fore the relevance of the Cohen-Macaulay condition in this combinatorial context.
Geometric representation of 3-restricted min-wise independent sets of permutations
We study properties of 3-restricted min-wise independent sets of permutations and prove that the class of these sets is isomorphic to the class of subsets of vertices of multi-dimentional hypercube of certain size with certain pair-wise distances fixed.
Linear Size Constant-Composition Codes Meeting the Johnson Bound
Published
• View Publication
• BIB
The Johnson-type upper bound on the maximum size of a code of length $n$, distance $d=2w-1$ and constant composition ${\overline{w}}$ is $\lfloor\dfrac{n}{w_1}\rfloor$, where $w$ is the total weight and $w_1$ is the largest component of ${\overline{w}}$. Recently, Chee et al. proved that this upper bound can be achieved for all constant-composition codes of sufficiently large lengths. Let $N_{ccc}({\overline{w}})$ be the smallest such length. The determination of $N_{ccc}({\overline{w}})$ is trivial for binary codes. This paper provides a lower bound on $N_{ccc}({\overline{w}})$, which is shown to be tight for all ternary and quaternary codes by giving new combinatorial constructions. Consequently, by refining method, we determine the values of $N_{ccc}({\overline{w}})$ for all $q$-ary constant-composition codes provided that $3w_1\geq w$ with finite possible exceptions.
Constructive and analytic enumeration of circulant graphs with $p^3$ vertices; $p=3,5$
Two methods, structural (constructive) and multiplier (analytical), of exact enumeration of undirected and directed circulant graphs of orders 27 and 125 are elaborated and represented in detail here together with intermediate and final numerical data. The first method is based on the known useful classification of circulant graphs in terms of $S$-rings and results in exhaustive listing (with the use of COCO and GAP) of all corresponding $S$-rings of the indicated orders. The latter method is conducted in the framework of a general approach developed earlier for counting circulant graphs of prime-power orders. It is a Redfield--Pólya type of enumeration based on an isomorphism criterion for circulant graphs of such orders. In particular, five intermediate enumeration subproblems arise, which are refined further into eleven subproblems of this type (5 and 11 are, not accidentally, the 3d Catalan and 3d little Schröder numbers, resp.). All of them are resolved for the four cases under consideration (again with the use of GAP). We give a brief survey of some background theory of the results which form the basis of our computational approach.
Except for the case of undirected circulant graphs of orders 27, the numerical results obtained here are new. In particular the number (up to isomorphism) of directed circulant graphs of orders 27, regardless of valency, is shown to be equal to 3,728,891 while 457 of these are self-complementary. Some curious and rather unexpected identities are established between intermediate valency-specified enumerators (both for undirected and directed circulant graphs) and their validity is conjectured for arbitrary cubed odd prime $p^3$.
We believe that this research can serve as the crucial step towards explicit uniform enumeration formulae for circulant graphs of orders $p^3$ for arbitrary prime $p>2$.