Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Properties of the Hyper-Wiener index as a local function
Published in MATCH Commun. Math. Comput. Chem. 76 (2016) 745-760
• Search Publication
Hyper-Wiener index was introduced as one of the main generalizations of the well known Wiener index. Through the years properties of the Wiener index have been extensively studied in both Mathematics and Chemistry. The Hyper-Wiener index, although received much attention, is far from being thoroughly examined due to its complex definition. We consider the local version of the Hyper-Wiener index ($WW(G)$), defined as $ww_G(v)=\sum\limits_{u\in V(G)}(d^2(u,v)+d(u,v))$ for a vertex $v$ in a graph $G$, in trees. For established results on the Wiener index ($W(.)$), we present analogous studies on $WW(.)$. In addition to interesting observations, some conjectures and questions are also proposed.
Computational topology of graphs on surfaces
Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on surfaces, and solving standard graph algorithm problems more efficiently in the case of surface-embedded graphs.
Computing toric degenerations of flag varieties
Published
• View Publication
• BIB
We compute toric degenerations arising from the tropicalization of the full flag varieties $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ embedded in a product of Grassmannians. For $\mathcal{F}\ell_4$ and $\mathcal{F}\ell_5$ we compare toric degenerations arising from string polytopes and the FFLV polytope with those obtained from the tropicalization of the flag varieties. We also present a general procedure to find toric degenerations in the cases where the initial ideal arising from a cone of the tropicalization of a variety is not prime.
Random walks on Ramanujan complexes and digraphs
Published in Journal of the European Mathematical Society, 22(11):3441-3466, 2020
• View Publication
• BIB
The cutoff phenomenon was recently confirmed for random walks on Ramanujan graphs by the first author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group $G$ over a local field $F$. We show that if $T$ is any $k$-regular $G$-equivariant operator on the Bruhat-Tits building with a simple combinatorial property (collision-free), the associated random walk on the $n$-vertex Ramanujan complex has cutoff at time $\log_k n$. The high dimensional case, unlike that of graphs, requires tools from non-commutative harmonic analysis and the infinite-dimensional representation theory of $G$. Via these, we show that operators $T$ as above on Ramanujan complexes give rise to Ramanujan digraphs with a special property ($r$-normal), implying cutoff. Applications include geodesic flow operators, geometric implications, and a confirmation of the Riemann Hypothesis for the associated zeta functions over every group $G$, previously known for groups of type $\widetilde A_n$ and $\widetilde C_2$.
On affine Tverberg-type results without continuous generalization
Recent progress building on the groundbreaking work of Mabillard and Wagner has shown that there are important differences between the affine and continuous theory for Tverberg-type results. These results aim to describe the intersection pattern of convex hulls of point sets in Euclidean space and continuous relaxations thereof. Here we give additional examples of an affine-continuous divide, but our deductions are almost elementary and do not build on the technical work of Mabillard and Wagner. Moreover, these examples show a difference between the affine and continuous theory even asymptotically for arbitrarily large complexes. Along the way we settle the Tverberg admissible-prescribable problem (or AP conjecture) in the negative, give a new, short and elementary proof of the balanced case of the AP conjecture which was recently proven by Jojić, Vrećica, and Živaljević in a series of two papers, provide examples of Tverberg-type results that hold affinely but not continuously without divisibility conditions on the intersection multiplicity, extend a result of Soberón, and show that this extension has a topological generalization if and only if the intersection multiplicity is a prime.
Costas cubes
Published
• View Publication
• BIB
A Costas array is a permutation array for which the vectors joining pairs of $1$s are all distinct. We propose a new three-dimensional combinatorial object related to Costas arrays: an order $n$ Costas cube is an array $(d_{i,j,k})$ of size $n \times n \times n$ over $\mathbb{Z}_2$ for which each of the three projections of the array onto two dimensions, namely $(\sum_i d_{i,j,k})$ and $(\sum_j d_{i,j,k})$ and $(\sum_k d_{i,j,k})$, is an order $n$ Costas array. We determine all Costas cubes of order at most $29$, showing that Costas cubes exist for all these orders except $18$ and $19$ and that a significant proportion of the Costas arrays of certain orders occur as projections of Costas cubes. We then present constructions for four infinite families of Costas cubes.
New lower bounds for hypergraph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r_k(s,n)$ is the minimum $N$ such that for every red-blue coloring of the $k$-tuples of $\{1,\ldots, N\}$, there are $s$ integers such that every $k$-tuple among them is red, or $n$ integers such that every $k$-tuple among them is blue. We prove the following new lower bounds for 4-uniform hypergraph Ramsey numbers: $$r_4(5,n) > 2^{n^{c\log n}} \qquad \hbox{ and } \qquad r_4(6,n) > 2^{2^{cn^{1/5}}},$$ where $c$ is an absolute positive constant. This substantially improves the previous best bounds of $2^{n^{c\log\log n}}$ and $2^{n^{c\log n}}$, respectively. Using previously known upper bounds, our result implies that the growth rate of $r_4(6,n)$ is double exponential in a power of $n$.
As a consequence, we obtain similar bounds for the $k$-uniform Ramsey numbers $r_k(k+1, n)$ and $r_k(k+2, n)$ where the exponent is replaced by an appropriate tower function. This almost solves the question of determining the tower growth rate for {\emph {all}} classical off-diagonal hypergraph Ramsey numbers, a question first posed by Erd\H os and Hajnal in 1972. The only problem that remains is to prove that $r_4(5,n)$ is double exponential in a power of $n$.
Zeilberger to the rescue
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problem 11897, problem 11899, problem 11916, and problem 11928. We also show that problem 11928 may lead to interesting combinatorial identities.
Overpartitions and singular overpartitions
Published
• View Publication
• BIB
Singular overpartitions, which are defined by George Andrews, are overpartitions whose Frobenius symbols have at most one overlined entry in each row. In his paper, Andrews obtained interesting combinatorial results on singular overpartitions, one of which relates a certain type of singular overpartitions with a subclass of overpartitions. In this paper, we provide a combinatorial proof of Andrews' result, which answers to one of his open questions.
L-infinity optimization to linear spaces and phylogenetic trees
Published
• View Publication
• BIB
Given a distance matrix consisting of pairwise distances between species, a distance-based phylogenetic reconstruction method returns a tree metric or equidistant tree metric (ultrametric) that best fits the data. We investigate distance-based phylogenetic reconstruction using the $l^\infty$-metric. In particular, we analyze the set of $l^\infty$-closest ultrametrics and tree metrics to an arbitrary dissimilarity map to determine its dimension and the tree topologies it represents. In the case of ultrametrics, we decompose the space of dissimilarity maps on 3 elements and on 4 elements relative to the tree topologies represented.
Our approach is to first address uniqueness issues arising in $l^\infty$-optimization to linear spaces. We show that the $l^\infty$-closest point in a linear space is unique if and only if the underlying matroid of the linear space is uniform. We also give a polyhedral decomposition of $\rr^m$ based on the dimension of the set of $l^\infty$-closest points in a linear space.
L-Infinity optimization to Bergman fans of matroids with an application to phylogenetics
Published
• View Publication
• BIB
Given a dissimilarity map $δ$ on finite set $X$, the set of ultrametrics (equidistant tree metrics) which are $l^\infty$-nearest to $δ$ is a tropical polytope. We give an internal description of this tropical polytope which we use to derive a polynomial-time checkable test for the condition that all ultrametrics $l^\infty$-nearest to $δ$ have the same tree structure. It was shown by Ardila and Klivans \cite{ardila-klivans2006} that the set of all ultrametrics on a finite set of size $n$ is the Bergman fan associated to the matroid underlying the complete graph on $n$ vertices. Therefore, we derive our results in the more general context of Bergman fans of matroids. This added generality allows our results to be used on dissimilarity maps where only a subset of the entries are known.
Vertex isoperimetry and independent set stability for tensor powers of cliques
The tensor power of the clique on $t$ vertices (denoted by $K_t^n$) is the graph on vertex set $\{1, ..., t\}^n$ such that two vertices $x, y \in \{1, ..., t\}^n$ are connected if and only if $x_i \neq y_i$ for all $i \in \{1, ..., n\}$. Let the density of a subset $S$ of $K_t^n$ to be $μ(S) := \frac{|S|}{t^n}$, and let the vertex boundary of a set $S$ to be vertices which are incident to some vertex of $S$, perhaps including points of $S$. We investigate two similar problems on such graphs.
First, we study the vertex isoperimetry problem. Given a density $ν\in [0, 1]$ what is the smallest possible density of the vertex boundary of a subset of $K_t^n$ of density $ν$? Let $Φ_t(ν)$ be the infimum of these minimum densities as $n \to \infty$. We find a recursive relation allows one to compute $Φ_t(ν)$ in time polynomial to the number of desired bits of precision.
Second, we study given an independent set $I \subseteq K_t^n$ of density $μ(I) = \frac{1}{t}(1-ε)$, how close it is to a maximum-sized independent set $J$ of density $\frac{1}{t}$. We show that this deviation (measured by $μ(I \setminus J)$) is at most $4ε^{\frac{\log t}{\log t - \log(t-1)}}$ as long as $ε< 1 - \frac{3}{t} + \frac{2}{t^2}$. This substantially improves on results of Alon, Dinur, Friedgut, and Sudakov (2004) and Ghandehari and Hatami (2008) which had an $O(ε)$ upper bound. We also show the exponent $\frac{\log t}{\log t - \log(t-1)}$ is optimal assuming $n$ tending to infinity and $ε$ tending to $0$. The methods have similarity to recent work by Ellis, Keller, and Lifshitz (2016) in the context of Kneser graphs and other settings.
The author hopes that these results have potential applications in hardness of approximation, particularly in approximate graph coloring and independent set problems.
Regularity of symbolic powers and Arboricity of matroids
Published
• View Publication
• BIB
Let $Δ$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_Δ$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a sharp bound between the arboricity of $M$ and the circumference of its dual $M^*$.
Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence
Published
• View Publication
• BIB
In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2-41-3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2-41-3$, $3-14-2$ and $3-41-2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2-14-3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper.
For each family (that of semi-Baxter -- or equivalently, plane -- and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non D-finite.
The covering radius of $\mathrm{PGL}_2(q)$
The covering radius of a subset $C$ of the symmetric group $\mathrm{S}_n$ is the maximal Hamming distance of an element of $\mathrm{S}_n$ from $C$. This note determines the covering radii of the finite projective general linear groups. It turns out that the covering radius of $\mathrm{PGL}_2(q)$ is $q-2$ if $q$ is even, and is $q-3$ if $q$ is odd.
On the number of inequivalent Gabidulin codes
Published in Designs, codes and cryptography. 2017 online
• View Publication
• BIB
Maximum rank-distance (MRD) codes are extremal codes in the space of $m\times n$ matrices over a finite field, equipped with the rank metric. Up to generalizations, the classical examples of such codes were constructed in the 1970s and are today known as Gabidulin codes. Motivated by several recent approaches to construct MRD codes that are inequivalent to Gabidulin codes, we study the equivalence issue for Gabidulin codes themselves. This shows in particular that the family of Gabidulin codes already contains a huge subset of MRD codes that are pairwise inequivalent, provided that $2\le m\le n-2$.
Analogues of the Balog--Wooley Decomposition for Subsets of Finite Fields and Character Sums with Convolutions
Published
• View Publication
• BIB
Balog and Wooley have recently proved that any subset $A$ of either real numbers or of a prime finite field can be decomposed into two parts $U$ and $V$, one of small additive energy and the other of small multiplicative energy. In the case of arbitrary finite fields, we obtain an analogue that under some natural restrictions for a rational function $f$ both the additive energies of $U$ and $f(V)$ are small. Our method is based on bounds of character sums which leads to the restriction $\# A > q^{1/2}$ where $q$ is the field size. The bound is optimal, up to logarithmic factors, when $\# A \geq q^{9/13}$. Using $f(X)=X^{-1}$ we apply this result to estimate some triple additive and multiplicative character sums involving three sets with convolutions $ab+ac+bc$ with variables $a,b,c$ running through three arbitrary subsets of a finite field.
On the connective eccentricity index of two types of trees
The connective eccentricity index $ξ^{ce}=\sum^{}_{u\in V}\frac{d(u)}{\varepsilon(u)}$, where
$\varepsilon(u)$ and $d(u)$ denote the eccentricity and the degree of the vertex $u$, respectively. In this paper, we first determine the extremal trees which minimize and maximize the connective eccentricity index among all trees with a given degree sequence, and then determine the extremal trees which minimize and maximize the connective eccentricity index among all trees with a given number of branching vertices.
On the nature of the generating series of walks in the quarter plane
Published in Inventiones Mathematicae, 213 (2018), no.1, 139-203
• View Publication
• BIB
In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove that certain of these generating series do not satisfy any nontrivial nonlinear algebraic differential equation with rational coefficients.
On The Limiting Distributions of the Total Height On Families of Trees
A symbolic-computational algorithm, fully implemented in Maple, is described, that computes explicit expressions for generating functions that enable the efficient computations of the expectation, variance, and higher moments, of the random variable `sum of distances to the root', defined on any given family of rooted ordered trees (defined by degree restrictions). Taking limits, we confirm, via elementary methods, the fact, due to David Aldous, and expanded by Svante Janson and others, that the limiting (scaled) distributions are all the same, and coincide with the limiting distribution of the same random variable, when it is defined on labeled rooted trees.