Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On the positive and negative inertia of weighted graphs
The number of the positive, negative and zero eigenvalues in the spectrum of the (edge)-weighted graph $G$ are called positive inertia index, negative inertia index and nullity of the weighted graph $G$, and denoted by $i_+(G)$, $i_-(G)$, $i_0(G)$, respectively. In this paper, the positive and negative inertia index of weighted trees, weighted unicyclic graphs and weighted bicyclic graphs are discussed, the methods of calculating them are obtained.
Illumination complexes, Δ-zonotopes, and the polyhedral curtain theorem
Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A particularly nice example arises if Q is a Δ-zonotope (generalized rhombic dodecahedron), known also as the dual of the difference body Δ - Δ of a simplex Δ, or the dual of the convex hull of the root system A_n. We demonstrate that the illumination complexes and their relatives can be used as 'configuration spaces', leading to new 'fair division theorems'. Among the central new results is the 'polyhedral curtain theorem' (Theorem 3) which is a relative of both the 'ham sandwich theorem' and the 'splitting necklaces theorem'.
Lower bounds on geometric Ramsey functions
We continue a sequence of recent works studying Ramsey functions for semialgebraic predicates in $\mathbb{R}^d$. A $k$-ary semialgebraic predicate $Φ(x_1,\ldots,x_k)$ on $\mathbb{R}^d$ is a Boolean combination of polynomial equations and inequalities in the $kd$ coordinates of $k$ points $x_1,\ldots,x_k\in\mathbb{R}^d$. A sequence $P=(p_1,\ldots,p_n)$ of points in $\mathbb{R}^d$ is called $Φ$-homogeneous if either $Φ(p_{i_1}, \ldots,p_{i_k})$ holds for all choices $1\le i_1 < \cdots < i_k\le n$, or it holds for no such choice. The Ramsey function $R_Φ(n)$ is the smallest $N$ such that every point sequence of length $N$ contains a $Φ$-homogeneous subsequence of length $n$.
Conlon, Fox, Pach, Sudakov, and Suk constructed the first examples of semialgebraic predicates with the Ramsey function bounded from below by a tower function of arbitrary height: for every $k\ge 4$, they exhibit a $k$-ary $Φ$ in dimension $2^{k-4}$ with $R_Φ$ bounded below by a tower of height $k-1$. We reduce the dimension in their construction, obtaining a $k$-ary semialgebraic predicate $Φ$ on $\mathbb{R}^{k-3}$ with $R_Φ$ bounded below by a tower of height $k-1$.
We also provide a natural geometric Ramsey-type theorem with a large Ramsey function. We call a point sequence $P$ in $\mathbb{R}^d$ order-type homogeneous if all $(d+1)$-tuples in $P$ have the same orientation. Every sufficiently long point sequence in general position in $\mathbb{R}^d$ contains an order-type homogeneous subsequence of length $n$, and the corresponding Ramsey function has recently been studied in several papers. Together with a recent work of Bárány, Matoušek, and Pór, our results imply a tower function of $Ω(n)$ of height $d$ as a lower bound, matching an upper bound by Suk up to the constant in front of $n$.
Coloring directed cycles
Sopena in his survey [E. Sopena, The oriented chromatic number of graphs: A short survey, preprint 2013] writes, without any proof, that an oriented cycle $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0$, where $λ(\vec C)$ is the number of forward arcs minus the number of backward arcs in $\vec C$. This is not true. In this paper we show that $\vec C$ can be colored with three colors if and only if $λ(\vec C)=0(\bmod~3)$ or $\vec C$ does not contain three consecutive arcs going in the same direction.
An inequality on global alliances for trees
Published
• View Publication
• BIB
In this paper, we prove an inequality on the cardinalities of the minimum size global defensive alliance and the minimum size global offensive alliance. A global defensive alliance is a dominating set such that when any point inside a selected group $S$ is chosen, at least half of the points in its neighborhood are also in the set $S$, including the selected point. A global offensive alliance is a dominating set such that if any point outside $S$ is selected, at least half of the points in its neighborhood, including the selected point, are in set $S$. Our result answers an open question in [HA].
Internal Partitions of Regular Graphs
Published
• View Publication
• BIB
An internal partition of an $n$-vertex graph $G=(V,E)$ is a partition of $V$ such that every vertex has at least as many neighbors in its own part as in the other part. It has been conjectured that every $d$-regular graph with $n>N(d)$ vertices has an internal partition. Here we prove this for $d=6$. The case $d=n-4$ is of particular interest and leads to interesting new open problems on cubic graphs. We also provide new lower bounds on $N(d)$ and find new families of graphs with no internal partitions. Weighted versions of these problems are considered as well.
On the diffuseness of incomplete information game
Published
• View Publication
• BIB
We introduce the "relative diffuseness" assumption to characterize the differences between payoff-relevant and strategy-relevant diffuseness of information. Based on this assumption, the existence of pure strategy equilibria in games with incomplete information and general action spaces can be obtained. Moreover, we introduce a new notion of "undistinguishable purification" which strengthens the standard purification concept, and its existence follows from the relative diffuseness assumption.
Regular colored graphs of positive degree
Published
• View Publication
• BIB
Regular colored graphs are dual representations of pure colored D-dimensional complexes. These graphs can be classified with respect to an integer, their degree, much like maps are characterized by the genus. We analyse the structure of regular colored graphs of fixed positive degree and perform their exact and asymptotic enumeration. In particular we show that the generating function of the family of graphs of fixed degree is an algebraic series with a positive radius of convergence, independant of the degree. We describe the singular behavior of this series near its dominant singularity, and use the results to establish the double scaling limit of colored tensor models.
A decomposition based proof for fast mixing of a Markov chain over balanced realizations of a joint degree matrix
Published in SIAM J. Discrete Mathematics 29 (1) (2015), 481-499
• View Publication
• BIB
A joint degree matrix (JDM) specifies the number of connections between nodes of given degrees in a graph, for all degree pairs and uniquely determines the degree sequence of the graph. We consider the space of all balanced realizations of an arbitrary JDM, realizations in which the links between any two degree groups are placed as uniformly as possible. We prove that a swap Markov Chain Monte Carlo (MCMC) algorithm in the space of all balanced realizations of an {\em arbitrary} graphical JDM mixes rapidly, i.e., the relaxation time of the chain is bounded from above by a polynomial in the number of nodes $n$. To prove fast mixing, we first prove a general factorization theorem similar to the Martin-Randall method for disjoint decompositions (partitions). This theorem can be used to bound from below the spectral gap with the help of fast mixing subchains within every partition and a bound on an auxiliary Markov chain between the partitions. Our proof of the general factorization theorem is direct and uses conductance based methods (Cheeger inequality).
$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one
Published in Linear Algebra Appl. 439 (2013), no. 10, 3184--3240
• View Publication
• BIB
We study a relationship between $Q$-polynomial distance-regular graphs and the double affine Hecke algebra of type $(C^{\vee}_1,C_1)$. Let $Γ$ denote a $Q$-polynomial distance-regular graph with vertex set $X$. We assume that $Γ$ has $q$-Racah type and contains a Delsarte clique $C$. Fix a vertex $x \in C$. We partition $X$ according to the path-length distance to both $x$ and $C$. This is an equitable partition. For each cell in this partition, consider the corresponding characteristic vector. These characteristic vectors form a basis for a $\mathbb{C}$-vector space ${\bf W}$.
The universal double affine Hecke algebra of type $(C^{\vee}_1,C_1)$ is the $\mathbb{C}$-algebra $\hat{H}_q$ defined by generators $\{t^{\pm1}_n\}^3_{n=0}$ and relations (i) $t_nt_n^{-1}=t_n^{-1}t_n=1$; (ii) $t_n+t_n^{-1}$ is central; (iii) $t_0t_1t_2t_3 = q^{-1/2}$. In this paper, we display an $\hat{H}_q$-module structure for ${\bf W}$. For this module and up to affine transformation, (i) $t_0t_1+(t_0t_1)^{-1}$ acts as the adjacency matrix of $Γ$; (ii) $t_3t_0+(t_3t_0)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $C$; (iii) $t_1t_2+(t_1t_2)^{-1}$ acts as the dual adjacency matrix of $Γ$ with respect to $x$. To obtain our results we use the theory of Leonard systems.
Suffix conjugates for a class of morphic subshifts
Published in Ergod. Th. Dynam. Sys. 35 (2014) 1767-1782
• View Publication
• BIB
Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^ω(α), where α is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^ω(α) and T: X --> X is the shift map. Let S be a finite alphabet that is in bijective correspondence via a mapping c with the set of nonempty suffixes of the images f(a) for a in A. Let calS be a subset S^N be the set of infinite words s = (s_n)_{n\geq 0} such that π(s):= c(s_0)f(c(s_1)) f^2(c(s_2))... is in X. We show that if f is primitive and f(A) is a suffix code, then there exists a mapping H: calS --> calS such that (calS, H) is a topological dynamical system and π: (calS, H) --> (X, T) is a conjugacy; we call (calS, H) the suffix conjugate of (X, T). In the special case when f is the Fibonacci or the Thue-Morse morphism, we show that the subshift (calS, T) is sofic, that is, the language of calS is regular.
Quantitative Small Subgraph Conditioning
We revisit the method of small subgraph conditioning, used to establish that random regular graphs are Hamiltonian a.a.s. We refine this method using new technical machinery for random $d$-regular graphs on $n$ vertices that hold not just asymptotically, but for any values of $d$ and $n$. This lets us estimate how quickly the probability of containing a Hamiltonian cycle converges to 1, and it produces quantitative contiguity results between different models of random regular graphs. These results hold with $d$ held fixed or growing to infinity with $n$. As additional applications, we establish the distributional convergence of the number of Hamiltonian cycles when $d$ grows slowly to infinity, and we prove that the number of Hamiltonian cycles can be approximately computed from the graph's eigenvalues for almost all regular graphs.
Smoothed analysis on connected graphs
Published
• View Publication
• BIB
The main paradigm of smoothed analysis on graphs suggests that for any large graph $G$ in a certain class of graphs, perturbing slightly the edges of $G$ at random (usually adding few random edges to $G$) typically results in a graph having much "nicer" properties. In this work we study smoothed analysis on trees or, equivalently, on connected graphs. Given an $n$-vertex connected graph $G$, form a random supergraph $G^*$ of $G$ by turning every pair of vertices of $G$ into an edge with probability $\fracε{n}$, where $ε$ is a small positive constant. This perturbation model has been studied previously in several contexts, including smoothed analysis, small world networks, and combinatorics.
Connected graphs can be bad expanders, can have very large diameter, and possibly contain no long paths. In contrast, we show that if $G$ is an $n$-vertex connected graph then typically $G^*$ has edge expansion $Ω(\frac{1}{\log n})$, diameter $O(\log n)$, vertex expansion $Ω(\frac{1}{\log n})$, and contains a path of length $Ω(n)$, where for the last two properties we additionally assume that $G$ has bounded maximum degree. Moreover, we show that if $G$ has bounded degeneracy, then typically the mixing time of the lazy random walk on $G^*$ is $O(\log^2 n)$. All these results are asymptotically tight.
Oriented chromatic number of Halin graphs
Published
• View Publication
• BIB
Oriented chromatic number of an oriented graph $G$ is the minimum order of an oriented graph $H$ such that $G$ admits a homomorphism to $H$. The oriented chromatic number of an unoriented graph $G$ is the maximal chromatic number over all possible orientations of $G$. In this paper, we prove that every Halin graph has oriented chromatic number at most 8, improving a previous bound by Hosseini Dolama and Sopena, and confirming the conjecture given by Vignal.
On a weight system conjecturally related to $\mathfrak{sl}_2$
Published
• View Publication
• BIB
We introduce a new series $R_k$, $k=2,3,4,\dots$, of integer valued weight systems. The value of the weight system $R_k$ on a chord diagram is a signed number of cycles of even length $2k$ in the intersection graph of the diagram. We show that this value depends on the intersection graph only. We check that for small orders of the diagrams, the value of the weight system $R_k$ on a diagram of order exactly $2k$ coincides with the coefficient of $c^k$ in the value of the $\mathfrak{sl}_2$-weight system on the projection of the diagram to primitive elements.
Formal multidimensional integrals, stuffed maps, and topological recursion
Published in Annales de l'Institut Henri Poincare, Volume 1, Issue 2, 2014, pp. 225-264
• View Publication
• BIB
We show that the large N expansion in the multi-trace 1 formal hermitian matrix model is governed by the topological recursion of [Eynard and Orantin, 2007] with initial conditions. In terms of a 1d gas of eigenvalues, this model includes - on top of the squared Vandermonde - multilinear interactions of any order between the eigenvalues. In this problem, the initial data (W10,W20) of the topological recursion is characterized: for W10, by a non-linear, non-local Riemann-Hilbert problem on a discontinuity locus to determine ; for W20, by a related but linear, non-local Riemann-Hilbert problem on the discontinuity locus. In combinatorics, this model enumerates discrete surfaces (maps) whose elementary 2-cells can have any topology - W10 being the generating series of disks and W20 that of cylinders. In particular, by substitution one may consider maps whose elementary cells are themselves maps, for which we propose the name "stuffed maps". In a sense, our results complete the program of the "moment method" initiated in the 90s to compute the formal 1/N in the one hermitian matrix model.
An arithmetic transference proof of a relative Szemerédi theorem
Published in Math. Proc. Camb. Phil. Soc. 156 (2014) 255-261
• View Publication
• BIB
Recently Conlon, Fox, and the author gave a new proof of a relative Szemerédi theorem, which was the main novel ingredient in the proof of the celebrated Green-Tao theorem that the primes contain arbitrarily long arithmetic progressions. Roughly speaking, a relative Szemerédi theorem says that if S is a set of integers satisfying certain conditions, and A is a subset of S with positive relative density, then A contains long arithmetic progressions, and our recent results show that S only needs to satisfy a so-called linear forms condition.
This note contains an alternative proof of the new relative Szemerédi theorem, where we directly transfer Szemerédi's theorem, instead of going through the hypergraph removal lemma. This approach provides a somewhat more direct route to establishing the result, and it gives better quantitative bounds.
The proof has three main ingredients: (1) a transference principle/dense model theorem of Green-Tao and Tao-Ziegler (with simplified proofs given later by Gowers, and independently, Reingold-Trevisan-Tulsiani-Vadhan) applied with a discrepancy/cut-type norm (instead of a Gowers uniformity norm as it was applied in earlier works), (2) a counting lemma established by Conlon, Fox, and the author, and (3) Szemerédi's theorem as a black box.
The quantile transform of a simple walk
Published in Electron.J.Probab. 20 (2015) no. 90, 1-39
• View Publication
• BIB
We examine a new path transform on 1-dimensional simple random walks and Brownian motion, the quantile transform. This transformation relates to identities in fluctuation theory due to Wendel, Port, Dassios and others, and to discrete and Brownian versions of Tanaka's formula. For an n-step random walk, the quantile transform reorders increments according to the value of the walk at the start of each increment. We describe the distribution of the quantile transform of a simple random walk of n steps, using a bijection to characterize the number of pre-images of each possible transformed path. We deduce, both for simple random walks and for Brownian motion, that the quantile transform has the same distribution as Vervaat's transform. For Brownian motion, the quantile transforms of the embedded simple random walks converge to a time change of the local time profile. We characterize the distribution of the local time profile, giving rise to an identity that generalizes a variant of Jeulin's description of the local time profile of a Brownian bridge or excursion.
The indecomposable tournaments $T$ with $\mid W_{5}(T) \mid = \mid T \mid -2$
Published
• View Publication
• BIB
We consider a tournament $T=(V, A)$. For $X\subseteq V$, the subtournament of $T$ induced by $X$ is $T[X] = (X, A \cap (X \times X))$. An interval of $T$ is a subset $X$ of $V$ such that for $a, b\in X$ and $ x\in V\setminus X$, $(a,x)\in A$ if and only if $(b,x)\in A$. The trivial intervals of $T$ are $\emptyset$, $\{x\}(x\in V)$ and $V$. A tournament is indecomposable if all its intervals are trivial. For $n\geq 2$, $W_{2n+1}$ denotes the unique indecomposable tournament defined on $\{0,\dots,2n\}$ such that $W_{2n+1}[\{0,\dots,2n-1\}]$ is the usual total order. Given an indecomposable tournament $T$, $W_{5}(T)$ denotes the set of $v\in V$ such that there is $W\subseteq V$ satisfying $v\in W$ and $T[W]$ is isomorphic to $W_{5}$. Latka \cite{BJL} characterized the indecomposable tournaments $T$ such that $W_{5}(T)=\emptyset$. The authors \cite{HIK} proved that if $W_{5}(T)\neq \emptyset$, then $\mid W_{5}(T) \mid \geq \mid V \mid -2$. In this article, we characterize the indecomposable tournaments $T$ such that $\mid W_{5}(T) \mid = \mid V \mid -2$.
Double-interval societies
Published
• View Publication
• BIB
Consider a society of voters, each of whom specify an approval set over a linear political spectrum. We examine double-interval societies, in which each person's approval set is represented by two disjoint closed intervals, and study this situation where the approval sets are pairwise-intersecting: every pair of voters has a point in the intersection of their approval sets. The approval ratio for a society is, loosely speaking, the popularity of the most popular position on the spectrum. We study the question: what is the minimal guaranteed approval ratio for such a society? We provide a lower bound for the approval ratio, and examine a family of societies that have rather low approval ratios. These societies arise from double-n strings: arrangements of n symbols in which each symbol appears exactly twice.