Showing 20 papers (Total: 84460 papers, 48641 authors in database)
k-apices of minor-closed graph classes. I. Bounding the obstructions
Published
• View Publication
• BIB
Let $\mathcal{G}$ be a minor-closed graph class. We say that a graph $G$ is a $k$-apex of $\mathcal{G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to $\mathcal{G}.$ We denote by $\mathcal{A}_k (\mathcal{G})$ the set of all graphs that are $k$-apices of $\mathcal{G}.$ We prove that every graph in the obstruction set of $\mathcal{A}_k (\mathcal{G}),$ i.e., the minor-minimal set of graphs not belonging to $\mathcal{A}_k (\mathcal{G}),$ has size at most $2^{2^{2^{2^{\mathsf{poly}(k)}}}},$ where $\mathsf{poly}$ is a polynomial function whose degree depends on the size of the minor-obstructions of $\mathcal{G}.$ This bound drops to $2^{2^{\mathsf{poly}(k)}}$ when $\mathcal{G}$ excludes some apex graph as a minor.
The Eulerian transformation
Published
• View Publication
• BIB
Eulerian polynomials are fundamental in combinatorics and algebra. In this paper we study the linear transformation $\mathcal{A} : \mathbb{R}[t] \to \mathbb{R}[t]$ defined by $\mathcal{A}(t^n) = A_n(t)$, where $A_n(t)$ denotes the $n$-th Eulerian polynomial. We give combinatorial, topological and Ehrhart theoretic interpretations of the operator $\mathcal{A}$, and investigate questions of unimodality and real-rootedness. In particular, we disprove a conjecture by Brenti (1989) concerning the preservation of real zeros, and generalize and strengthen recent results of Haglund and Zhang (2019) on binomial Eulerian polynomials.
Bernoulli sums and Rényi entropy inequalities
Published in Bernoulli, Vol. 29, No. 2, pp. 1578--1599, May 2023
• View Publication
• BIB
We investigate the Rényi entropy of independent sums of integer valued random variables through Fourier theoretic means, and give sharp comparisons between the variance and the Rényi entropy, for Poisson-Bernoulli variables. As applications we prove that a discrete ``min-entropy power'' is super additive on independent variables up to a universal constant, and give new bounds on an entropic generalization of the Littlewood-Offord problem that are sharp in the ``Poisson regime''.
Steiner triple systems and spreading sets in projective spaces
Published
• View Publication
• BIB
We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading sets are large then the examined triple system must be a projective space. We also show that the size of a minimal spreading set is not an invariant of a Steiner triple system.
Ricci-flat graphs with maximum degree at most 4
Published
• View Publication
• BIB
A graph is called Ricci-flat if its Ricci curvatures vanish on all edges, here the definition of Ricci curvature on graphs was given by Lin-Lu-Yau. The authors in arXiv:1301.0102 and arXiv:1802.02982 obtained a complete characterization for all Ricci-flat graphs with girth at least five. In this paper, we completely determined all Ricci-flat graphs with maximum degree at most 4.
Preferential attachment hypergraph with high modularity
Published
• View Publication
• BIB
Numerous works have been proposed to generate random graphs preserving the same properties as real-life large scale networks. However, many real networks are better represented by hypergraphs. Few models for generating random hypergraphs exist and no general model allows to both preserve a power-law degree distribution and a high modularity indicating the presence of communities. We present a dynamic preferential attachment hypergraph model which features partition into communities. We prove that its degree distribution follows a power-law and we give theoretical lower bounds for its modularity. We compare its characteristics with a real-life co-authorship network and show that our model achieves good performances. We believe that our hypergraph model will be an interesting tool that may be used in many research domains in order to reflect better real-life phenomena.
Strongly connected orientation with minimum lexicographic order of indegrees
Published
• View Publication
• BIB
Given a simple undirected graph $G$, an orientation of $G$ is to assign every edge of $G$ a direction. Borradaile et al gave a greedy algorithm SC-Path-Reversal (in polynomial time) which finds a strongly connected orientation that minimizes the maximum indegree, and conjectured that SC-Path-Reversal is indeed optimal for the "minimizing the lexicographic order" objective as well. In this note, we give a positive answer to the conjecture, that is we show that the algorithm SC-PATH-REVERSAL finds a strongly connected orientation that minimizes the lexicographic order of indegrees.
On Vietoris--Rips complexes of hypercube graphs
Published
• View Publication
• BIB
We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at small scale parameters. In more detail, let $Q_n$ be the vertex set of the hypercube graph with $2^n$ vertices, equipped with the shortest path metric. Equivalently, $Q_n$ is the set of all binary strings of length $n$, equipped with the Hamming distance. The Vietoris-Rips complex of $Q_n$ at scale parameter zero is $2^n$ points, and the Vietoris-Rips complex of $Q_n$ at scale parameter one is the hypercube graph, which is homotopy equivalent to a wedge sum of circles. We show that the Vietoris-Rips complex of $Q_n$ at scale parameter two is homotopy equivalent to a wedge sum of 3-spheres, and furthermore we provide a formula for the number of 3-spheres. Many questions about the Vietoris-Rips complexes of $Q_n$ at larger scale parameters remain open.
Performance guarantees of forward and reverse greedy algorithms for minimizing nonsupermodular nonsubmodular functions on a matroid
Published
• View Publication
• BIB
This letter studies the problem of minimizing increasing set functions, or equivalently, maximizing decreasing set functions, over the base of a matroid. This setting has received great interest, since it generalizes several applied problems including actuator and sensor placement problems in control theory, multi-robot task allocation problems, video summarization, and many others. We study two greedy heuristics, namely, the forward and the reverse greedy algorithms. We provide two novel performance guarantees for the approximate solutions obtained by these heuristics depending on both the submodularity ratio and the curvature.
The rotor-routing torsor and the Bernardi torsor disagree for every non-planar ribbon graph
Published
• View Publication
• BIB
Let $G$ be a ribbon graph. Matthew Baker and Yao Wang proved that the rotor-routing torsor and the Bernardi torsor for $G$, which are two torsor structures on the set of spanning trees for the Picard group of $G$, coincide when $G$ is planar. We prove the conjecture raised by them that the two torsors disagree when $G$ is non-planar.
On combinatorial properties and the zero distribution of certain Sheffer sequences
Published
• View Publication
• BIB
We present combinatorial and analytical results concerning a Sheffer sequence with a generating function of the form $G(x,z)=Q(z)^{x}Q(-z)^{1-x}$, where $Q$ is a quadratic polynomial with real zeros. By using the properties of Riordan matrices we address combinatorial properties and interpretations of our Sheffer sequence of polynomials and their coefficients. We also show that apart from two exceptional zeros, the zeros of polynomials with large enough degree in such a Sheffer sequence lie on the line $x=1/2+it$.
Generalizing Cographs to 2-Cographs
Published
• View Publication
• BIB
A graph in which every connected induced subgraph has a disconnected complement is called a cograph. Such graphs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We define a $2$-cograph to be a graph in which the complement of every $2$-connected induced subgraph is not $2$-connected. We show that, like cographs, $2$-cographs can be recursively defined. But, unlike cographs, $2$-cographs are closed under induced minors. We characterize the class of non-$2$-cographs for which every proper induced minor is a $2$-cograph. We further find the finitely many members of this class whose complements are also induced-minor-minimal non-$2$-cographs.
On the Approximation Ratio of the 3-Opt Algorithm for the (1,2)-TSP
Published
• View Publication
• BIB
The (1,2)-TSP is a special case of the TSP where each edge has cost either 1 or 2. In this paper we give a lower bound of $\frac{3}{2}$ for the approximation ratio of the 2-Opt algorithm for the (1,2)-TSP. Moreover, we show that the 3-Opt algorithm has an exact approximation ratio of $\frac{11}{8}$ for the (1,2)-TSP. Furthermore, we introduce the 3-Opt++-algorithm, an improved version of the 3-Opt algorithm for the (1-2)-TSP with an exact approximation ratio of $\frac{4}{3}$.
Localization of two-dimensional quantum walks defined by generalized Grover coins
Published
• View Publication
• BIB
Localization phenomena of quantum walks makes the propagation dynamics of a walker strikingly different from that corresponding to classical random walks. In this paper, we study the localization phenomena of four-state discrete-time quantum walks on two-dimensional lattices with coin operators as one-parameter orthogonal matrices that are also permutative, a combinatorial structure of the Grover matrix. We show that the proposed walks localize at its initial position for canonical initial coin states when the coin belongs to classes which contain the Grover matrix that we consider in this paper, however, the localization phenomena depends on the coin parameter when the class of parametric coins does not contain the Grover matrix.
Graphs with constant adjacency dimension
Published
• View Publication
• BIB
For a set W of vertices and a vertex v in a graph G, the k-vector r2(v|W) = (aG(v,w1),...,aG(v,wk)) is the adjacency representation of v with respect to W, where W = {w1,...,wk} and aG(x,y) is the minimum of 2 and the distance between the vertices x and y. The set W is an adjacency resolving set for G if distinct vertices of G have distinct adjacency representations with respect to W. The minimum cardinality of an adjacency resolving set for G is its adjacency dimension. It is clear that the adjacency dimension of an n-vertex graph G is between 1 and n-1. The graphs with adjacency dimension 1 and n-1 are known. All graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are studied in this paper. In terms of the diameter and order of G, a sharp upper bound is found for adjacency dimension of G. Also, a sharp lower bound for adjacency dimension of G is obtained in terms of order of G. Using these two bounds, all graphs with adjacency dimension 2, and all n-vertex graphs with adjacency dimension n-2 are characterized.
2-switch transition on unicyclic graphs and pseudoforest
In the present work we prove that given any two unicycle graphs (pseudoforests)
that share the same degree sequence there is a finite sequence of 2-switches
transforming one into the other such that all the graphs in the sequence
are also unicyclic graphs (pseudoforests).
Partitioned difference families: the storm has not yet passed
Published
• View Publication
• BIB
Two years ago, we alarmed the scientific community about the large number of bad papers in the literature on {\it zero difference balanced functions}, where direct proofs of seemingly new results are presented in an unnecessarily lengthy and convoluted way. Indeed, these results had been proved long before and very easily in terms of difference families.
In spite of our report, papers of the same kind continue to proliferate. Regrettably, a further attempt to put the topic in order seems unavoidable. While some authors now follow our recommendation of using the terminology of {\it partitioned difference families}, their methods are still the same and their results are often trivial or even wrong. In this note, we show how a very recent paper of this type can be easily dealt with.
Spectra of variants of distance matrices of graphs and digraphs: a survey
Published
• View Publication
• BIB
Distance matrices of graphs were introduced by Graham and Pollack in 1971 to study a problem in communications. Since then, there has been extensive research on the distance matrices of graphs -- a 2014 survey by Aouchiche and Hansen on spectra of distance matrices of graphs lists more than 150 references. In the last ten years, variants such as the distance Laplacian, the distance signless Laplacian, and the normalized distance Laplacian matrix of a graph have been studied. After a brief description of the early history of the distance matrix and its motivating problem, this survey focuses on comparing and contrasting techniques and results for the four types of distance matrices. Digraphs are treated separately after the discussion of graphs, including discussion of similarities and differences between graphs and digraphs. New results are presented that complement existing results, including results for some the matrices on unimodality of characteristic polynomials for graphs, preservation of parameters by cospectrality for graphs, and bounds on spectral radii for digraphs.
Realizations of automorphism groups of metric graphs induced by rational maps
For a rational map $φ$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $σ$ of $\varGamma$ induces a permutation of the coordinates of $\boldsymbol{TP^n}$ if $\{ f_1, \ldots, f_{n + 1} \}$ is $\langle σ\rangle$-invariant. Through this description, we can realize the automorphism group of $Γ$ as ambient automorphism group such as tropical projective general linear group, tropical general linear group and $\boldsymbol{Z}$-linear transformation group of Euclidean space.
A note on the metric and edge metric dimensions of 2-connected graphs
Published
• View Publication
• BIB
For a given graph $G$, the metric and edge metric dimensions of $G$, $\dim(G)$ and ${\rm edim}(G)$, are the cardinalities of the smallest possible subsets of vertices in $V(G)$ such that they uniquely identify the vertices and the edges of $G$, respectively, by means of distances. It is already known that metric and edge metric dimensions are not in general comparable. Infinite families of graphs with pendant vertices in which the edge metric dimension is smaller than the metric dimension are already known. In this article, we construct a 2-connected graph $G$ such that $\dim(G)=a$ and ${\rm edim}(G)=b$ for every pair of integers $a,b$, where $4\le b<a$. For this we use subdivisions of complete graphs, whose metric dimension is in some cases smaller than the edge metric dimension. Along the way, we present an upper bound for the metric and edge metric dimensions of subdivision graphs under some special conditions.