Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Effective Resistances and Kirchhoff index of Prism Graphs
We explicitly compute the effective resistances between any two vertices of a prism graph by using circuit reductions and our earlier findings on a ladder graph. As an application, we derived a closed form formula for the Kirchhoff index of a prism graph. We show as a byproduct that an explicit sum formula involving trigonometric functions hold by comparing our formula for the Kirchhoff index and previously known results in the literature. We also expressed our formulas in terms of certain generalized Fibonacci numbers.
Tower-type bounds for unavoidable patterns in words
Published
• View Publication
• BIB
A word $w$ is said to contain the pattern $P$ if there is a way to substitute a nonempty word for each letter in $P$ so that the resulting word is a subword of $w$. Bean, Ehrenfeucht and McNulty and, independently, Zimin characterised the patterns $P$ which are unavoidable, in the sense that any sufficiently long word over a fixed alphabet contains $P$. Zimin's characterisation says that a pattern is unavoidable if and only if it is contained in a Zimin word, where the Zimin words are defined by $Z_1 = x_1$ and $Z_n=Z_{n-1} x_n Z_{n-1}$. We study the quantitative aspects of this theorem, obtaining essentially tight tower-type bounds for the function $f(n,q)$, the least integer such that any word of length $f(n, q)$ over an alphabet of size $q$ contains $Z_n$. When $n = 3$, the first non-trivial case, we determine $f(n,q)$ up to a constant factor, showing that $f(3,q) = Θ(2^q q!)$.
The rigidity of the graphs of homology spheres minus one edge
Published
• View Publication
• BIB
We prove that for any prime homology $(d-1)$-sphere $Δ$ of dimension $d-1\geq 3$ and any edge $e\in S$, the graph $G(Δ)-e$ is generically $d$-rigid. This confirms a conjecture of Nevo and Novinsky.
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Published
• View Publication
• BIB
We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{γ+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a $c^n$ approximation of the permanent. We further show that this factor is asymptotically tight by constructing a family of positive semidefinite matrices.
Orthogonal polynomials and Smith normal form
Published
• View Publication
• BIB
Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schröder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.
Largest regular multigraphs with three distinct eigenvalues
Published
• View Publication
• BIB
We deal with connected $k$-regular multigraphs of order $n$ that has only three distinct eigenvalues. In this paper, we study the largest possible number of vertices of such a graph for given $k$. For $k=2,3,7$, the Moore graphs are largest. For $k\ne 2,3,7,57$, we show an upper bound $n\leq k^2-k+1$, with equality if and only if there exists a finite projective plane of order $k-1$ that admits a polarity.
Proof of the $(α,β)$--inversion formula conjectured by Hsu and Ma
In light of the well-known fact that the $n$th divided difference of any polynomial of degree $m$ must be zero while $m<n$,the present paper proves the $(α,β)$-inversion formula conjectured by Hsu and Ma [J. Math. Res. $\&$ Exposition 25(4) (2005) 624].
As applications of $(α,β)$-inversion, we not only recover some known matrix inversions due to Gasper, Schlosser, and Warnaar, but also fin three new matrix inversions related to elliptic divisibility sequence and theta functions.
Volumes of generalized Chan-Robbins-Yuen polytopes
Published
• View Publication
• BIB
The normalized volume of the Chan-Robbins-Yuen polytope ($CRY_n$) is the product of consecutive Catalan numbers. The polytope $CRY_n$ has captivated combinatorial audiences for over a decade, as there is no combinatorial proof for its volume formula. In their quest to understand $CRY_n$ better, the third author and Morales introduced two natural generalizations of it and conjectured that their volumes are certain powers of $2$ multiplied by a product of consecutive Catalan numbers. Zeilberger proved one of these conjectures. In this paper we present proofs of both conjectures.
Szemeredi-type theorems for subsets of locally compact abelian groups of positive upper Banach density
Published
• View Publication
• BIB
By using ergodic theoretic techniques following Hillel Fürstenberg, we prove that measurable subsets of a locally compact abelian group of positive upper density contain Szemerédi-wise configurations defined by an arbitrary compact subset of the group.
The Kth Traveling Salesman Problem is Pseudopolynomial when TSP is polynomial
Published
• View Publication
• BIB
Given an undirected graph $G=(V, E)$ with a weight function $c\in R^E$, and a positive integer $K$, the Kth Traveling Salesman Problem (KthTSP) is to find $K$ Hamilton cycles $H_1, H_2, , ..., H_K$ such that, for any Hamilton cycle $H\not \in \{H_1, H_2, , ..., H_K \}$, we have $c(H)\geq c(H_i), i=1, 2, ..., K$. This problem is NP-hard even for $K$ fixed. We prove that KthTSP is pseudopolynomial when TSP is polynomial.
Commutative Algorithms Approximate the LLL-distribution
Following the groundbreaking Moser-Tardos algorithm for the Lovasz Local Lemma (LLL), a series of works have exploited a key ingredient of the original analysis, the witness tree lemma, in order to: derive deterministic, parallel and distributed algorithms for the LLL, to estimate the entropy of the output distribution, to partially avoid bad events, to deal with super-polynomially many bad events, and even to devise new algorithmic frameworks. Meanwhile, a parallel line of work, has established tools for analyzing stochastic local search algorithms motivated by the LLL that do not fall within the Moser-Tardos framework. Unfortunately, the aforementioned results do not transfer to these more general settings. Mainly, this is because the witness tree lemma, provably, no longer holds. Here we prove that for commutative algorithms, a class recently introduced by Kolmogorov and which captures the vast majority of LLL applications, the witness tree lemma does hold. Armed with this fact, we extend the main result of Haeupler, Saha, and Srinivasan to commutative algorithms, establishing that the output of such algorithms well-approximates the LLL-distribution, i.e., the distribution obtained by conditioning on all bad events being avoided, and give several new applications. For example, we show that the recent algorithm of Molloy for list coloring number of sparse, triangle-free graphs can output exponential many list colorings of the input graph.
Topology in colored tensor models via crystallization theory
Published
• View Publication
• BIB
The aim of this paper is twofold. On the one hand, it provides a review of the links between random tensor models, seen as quantum gravity theories, and the PL-manifolds representation by means of edge-colored graphs (crystallization theory). On the other hand, the core of the paper is to establish results about the topological and geometrical properties of the Gurau-degree (or G-degree) of the represented manifolds, in relation with the motivations coming from physics. In fact, the G-degree appears naturally in higher dimensional tensor models as the quantity driving their 1/N expansion, exactly as it happens for the genus of surfaces in the two-dimensional matrix model setting.
In particular, the G-degree of PL-manifolds is proved to be finite-to-one in any dimension, while in dimension 3 and 4 a series of classification theorems are obtained for PL-manifolds represented by graphs with a fixed G-degree. All these properties have specific relevance in the tensor models framework, showing a direct fruitful interaction between tensor models and discrete geometry, via crystallization theory.
Spiral determinants
Published in Linear Algebra Appl. 529 (2017), 374-390
• View Publication
• BIB
We evaluate determinants of "spiral" matrices, which are matrices in which entries are spiralling from the centre of the matrices towards the outside, with prescribed increments from one entry to the next depending on whether one moves right, up, left, or down along the spiral.
Stability in the Erdős--Gallai Theorem on cycles and paths, II
The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where $h(n,k,a) := {k - a \choose 2} + a(n - k + a)$. Furthermore, Kopylov presented the two possible extremal graphs, one with $h(n,k,2)$ edges and one with $h(n,k,\lfloor \frac{k-1}{2}\rfloor)$ edges.
In this paper, we complete a stability theorem which strengthens Kopylov's result. In particular, we show that for $k \geq 3$ odd and all $n \geq k$, every $n$-vertex $2$-connected graph $G$ with no cycle of length at least $k$ is a subgraph of one of the two extremal graphs or $e(G) \leq \max\{h(n,k,3),h(n,k,\frac{k-3}{2})\}$. The upper bound for $e(G)$ here is tight.
A note on "Extremal graphs with bounded vertex bipartiteness number"
This paper is devoted to present two counterexamples to the theorem from \cite{MK} Maria R., Katherine T. M., Bernardo S. M., Extremal graphs with bounded vertex bipartiteness number, Linear Algebra Appl. 493 (2016) 28-36. Moreover, the corrected theorem and proof are presented.
Fourier dimension and spectral gaps for hyperbolic surfaces
Published
• View Publication
• BIB
We obtain an essential spectral gap for a convex co-compact hyperbolic surface $M=Γ\backslash\mathbb H^2$ which depends only on the dimension $δ$ of the limit set. More precisely, we show that when $δ>0$ there exists $\varepsilon_0=\varepsilon_0(δ)>0$ such that the Selberg zeta function has only finitely many zeroes $s$ with $\Re s>δ-\varepsilon_0$.
The proof uses the fractal uncertainty principle approach developed by Dyatlov-Zahl [arXiv:1504.06589]. The key new component is a Fourier decay bound for the Patterson-Sullivan measure, which may be of independent interest. This bound uses the fact that transformations in the group $Γ$ are nonlinear, together with estimates on exponential sums due to Bourgain which follow from the discretized sum-product theorem in $\mathbb R$.
Fair splitting of colored paths
Published
• View Publication
• BIB
This paper deals with two problems about splitting fairly a path with colored vertices, where "fairly" means that each part contains almost the same amount of vertices in each color. Our first result states that it is possible to remove one vertex per color from a path with colored vertices so that the remaining vertices can be fairly split into two independent sets of the path. It implies in particular a conjecture of Ron Aharoni and coauthors. The proof uses the octahedral Tucker lemma. Our second result is the proof of a particular case of a conjecture of D{ö}m{ö}t{ö}r P{á}lv{ö}lgyi about fair splittings of necklaces for which one can decide which thieves are advantaged. The proof is based on a rounding technique introduced by Noga Alon and coauthors to prove the discrete splitting necklace theorem from the continuous one.
Improving bounds on packing densities of 4-point permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (February 6, 2018) dmtcs:3286
• View Publication
• BIB
We consolidate what is currently known about packing densities of 4-point permutations and in the process improve the lower bounds for the packing densities of 1324 and 1342. We also provide rigorous upper bounds for the packing densities of 1324, 1342, and 2413. All our bounds are within $10^{-4}$ of the true packing densities. Together with the known bounds, this gives us a fairly complete picture of all 4-point packing densities. We also provide new upper bounds for several small permutations of length at least five. Our main tool for the upper bounds is the framework of flag algebras introduced by Razborov in 2007.
Controlling Lipschitz functions
Published in Mathematika 64 (2018) 898-910
• View Publication
• BIB
Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is $d$-controlling if and only if $$\sup_{n\in\mathbb N}\frac{|\{i\in I\, :\, |x_i|\le n\}|}{n^d}=\infty.$$ We prove that this condition is necessary and a slightly stronger one is already sufficient for the sequence to be $d$-controlling. We also prove the conjecture for $m=1$.
New Properties of Numbers of Plane Graphs
We explore various techniques for counting the number of straight-edge crossing-free graphs that can be embedded on a planar point set. In particular, we derive a lower bound on the ratio of the number of such graphs with $m+1$ edges to the number of graphs with $m$ edges. We show how a relatively small improvement of this bound would improve existing bounds concerning numbers of plane graphs with a prescribed number of edges. Furthermore, we use a cross-graph charging scheme to derive lower bounds for the number of such graphs when the point set has few extreme points.