Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the contractibility of random Vietoris-Rips complexes
Published in Discrete and Computational Geometry 69: 1139-1156, 2023
• View Publication
• BIB
We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln n}{n}\right)^{1/d}$ for a certain constant that depends on $K$ and the probability measure used. This answers a question of Kahle [Discrete Comput. Geom. 45 (2011), 553-573]. We also extend the proof to show that if $K$ is a compact, smooth $d$-manifold with boundary - but not necessarily convex - then $\mathcal R(n,r)$ is a.a.s. homotopy equivalent to $K$ when $c_1 \left(\frac{\ln n}{n}\right)^{1/d} \leq r \leq c_2$ for constants $c_1=c_1(K), c_2=c_2(K)$. Our proofs expose a connection with the game of cops and robbers.
Weighted Simplicial Complexes and Weighted Analytic Torsions
A weighted simplicial complex is a simplicial complex with values (called weights) on the vertices. In this paper, we consider weighted simplicial complexes with $\mathbb{R}^2$-valued weights. We study the weighted homology and the weighted analytic torsion for such weighted simplicial complexes.
Connection matrices in combinatorial topological dynamics
Connection matrices are one of the central tools in Conley's approach to the study of dynamical systems, as they provide information on the existence of connecting orbits in Morse decompositions. They may be considered a generalisation of the boundary operator in the Morse complex in Morse theory. Their computability has recently been addressed by Harker, Mischaikow, and Spendlove in the context of lattice filtered chain complexes. In the current paper, we extend the recently introduced Conley theory for combinatorial vector and multivector fields on Lefschetz complexes by transferring the concept of connection matrix to this setting. This is accomplished by the notion of connection matrix for arbitrary poset filtered chain complexes, as well as an associated equivalence, which allows for changes in the underlying posets. We show that for the special case of gradient combinatorial vector fields in the sense of Forman, connection matrices are necessarily unique. Thus, the classical results of Reineck have a natural analogue in the combinatorial setting.
Combinatorics via Closed Orbits: Number Theoretic Ramanujan Graphs are not Unique Neighbor Expanders
Published
• View Publication
• BIB
The question of finding expander graphs with strong vertex expansion properties such as unique neighbor expansion and lossless expansion is central to computer science. A barrier to constructing these is that strong notions of expansion could not be proven via the spectral expansion paradigm.
A very symmetric and structured family of optimal spectral expanders (i.e., Ramanujan graphs) was constructed using number theory by Lubotzky, Phillips and Sarnak, and was subsequently generalized by others. We call such graphs Number Theoretic Ramanujan Graphs. These graphs are not only spectrally optimal, but also posses strong symmetries and rich structure. Thus, it has been widely conjectured that number theoretic Ramanujan graphs are lossless expanders, or at least unique neighbor expanders.
In this work we disprove this conjecture, by showing that there are number theoretic Ramanujan graphs that are not even unique neighbor expanders. This is done by introducing a new combinatorial paradigm that we term the closed orbit method.
The closed orbit method allows one to construct finite combinatorial objects with extermal substructures. This is done by observing that there exist infinite combinatorial structures with extermal substructures, coming from an action of a subgroup of the automorphism group of the structure. The crux of our idea is a systematic way to construct a finite quotient of the infinite structure containing a simple shadow of the infinite substructure, which maintains its extermal combinatorial property.
Other applications of the method are to the edge expansion of number theoretic Ramanujan graphs and vertex expansion of Ramanujan complexes. Finally, in the field of graph quantum ergodicity we produce number theoretic Ramanujan graphs with an eigenfunction of small support that corresponds to the zero eigenvalue. This again contradicts common expectations.
Matrix forms of immanant inequalities
We translate inequalities and conjectures for immanants and generalized matrix functions into inequalities in the Löwner order. These have the form of trace polynomials and generalize the inequalities from [FH, J. Math. Phys. 62 (2021), 2, 022203].
Sorting by shuffling methods and a queue
Published
• View Publication
• BIB
We study sorting by queues that can rearrange their content by applying permutations from a predefined set. These new sorting devices are called shuffle queues and we investigate those of them corresponding to sets of permutations defining some well-known shuffling methods. If $\mathbb{Q}_Σ$ is the shuffle queue corresponding to the shuffling method $Σ$, then we find a number of surprising results related to two natural variations of shuffle queues denoted by $\mathbb{Q}_Σ^{\prime}$ and $\mathbb{Q}_Σ^{\textsf{pop}}$. These require the entire content of the device to be unloaded after a permutation is applied or unloaded by each pop operation, respectively.
First, we show that sorting by a deque is equivalent to sorting by a shuffle queue that can reverse its content. Next, we focus on sorting by cuts. We prove that the set of permutations that one can sort by using $\mathbb{Q}_{\text{cuts}}^{\prime}$ is the set of the $321$-avoiding separable permutations. We give lower and upper bounds to the maximum number of times the device must be used to sort a permutation. Furthermore, we give a formula for the number of $n$-permutations, $p_{n}(\mathbb{Q}_Σ^{\prime})$, that one can sort by using $\mathbb{Q}_Σ^{\prime}$, for any shuffling method $Σ$, corresponding to a set of irreducible permutations.
We also show that $p_{n}(\mathbb{Q}_Σ^{\textsf{pop}})$ is given by the odd indexed Fibonacci numbers $F_{2n-1}$, for any shuffling method $Σ$ having a specific "back-front" property. The rest of the work is dedicated to a surprising conjecture inspired by Diaconis and Graham, which states that one can sort the same number of permutations of any given size by using the devices $\mathbb{Q}_{\text{In-sh}}^{\textsf{pop}}$ and $\mathbb{Q}_{\text{Monge}}^{\textsf{pop}}$, corresponding to the popular In-shuffle and Monge shuffling methods.
Zero sum cycles in complete digraphs
Given a non-trivial finite Abelian group $(A,+)$, let $n(A) \ge 2$ be the smallest integer such that for every labelling of the arcs of the bidirected complete graph of order $n(A)$ with elements from $A$ there exists a directed cycle for which the sum of the arc-labels is zero. The problem of determining $n(\mathbb{Z}_q)$ for integers $q \ge 2$ was recently considered by Alon and Krivelevich, who proved that $n(\mathbb{Z}_q)=O(q \log q)$. Here we improve their bound and show that $n(\mathbb{Z}_q)$ grows linearly. More generally we prove that for every finite Abelian group $A$ we have $n(A) \le 8|A|$, while if $|A|$ is prime then $n(A) \le \frac{3}{2}|A|$. As a corollary we also obtain that every $K_{16q}$-minor contains a cycle of length divisible by $q$ for every integer $q \ge 2$, which improves a result by Alon and Krivelevich.
Branching Formula for $q$-Toda Function of Type B
Published in Lett. Math. Phys. 111, 126 (2021)
• View Publication
• BIB
We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions and a recursion relation of the branching coefficients.
Homology of polyomino tilings on flat surfaces
Published
• View Publication
• BIB
The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.
Design of Ciphers based on the Geometric Structure of the Laguerre and Minkowski Planes
Till now geometric structures don't play a major role in cryptography. Gilbert, MacWilliams and Sloane introduced an authentication scheme in the projective plane and showed its perfectness in the sense of Shannon. In arXiv:2102.10321 we introduced an encryption scheme in the Möbius plane and showed that it fulfills Shannon's requirement of perfectness in first approximation and also the requirement of completeness according to Kam and Davida. In this paper we will apply a similar approach to define encryption schemes in the geometries of the Laguerre plande and the Minkowski plane. We will show that the encryption scheme in the Laguerre geometry meets Shannon's requirement of perfectness sharp and that the encryption scheme in the Minkowski geometry meets this requirement in first approximation. The Laguerre cipher also fulfills the requirement of completeness according to Kam and Davida.
Termination of Multipartite Graph Series Arising from Complex Network Modelling
Published
• View Publication
• BIB
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlapping nature of cliques in complex networks. In order to get rid of these limitations we propose to encode the structure of clique overlaps in a network thanks to a process consisting in iteratively factorising the maximal bicliques between the upper level and the other levels of a multipartite graph. We show that the most natural definition of this factorising process leads to infinite series for some instances. Our main result is to design a restriction of this process that terminates for any arbitrary graph. Moreover, we show that the resulting multipartite graph has remarkable combinatorial properties and is closely related to another fundamental combinatorial object. Finally, we show that, in practice, this multipartite graph is computationally tractable and has a size that makes it suitable for complex network modelling.
On the Termination of Some Biclique Operators on Multipartite Graphs
Published in Discrete Applied Mathematics 195, 2015
• View Publication
• BIB
We define a new graph operator, called the weak-factor graph, which comes from the context of complex network modelling. The weak-factor operator is close to the well-known clique-graph operator but it rather operates in terms of bicliques in a multipartite graph. We address the problem of the termination of the series of graphs obtained by iteratively applying the weak-factor operator starting from a given input graph. As for the clique-graph operator, it turns out that some graphs give rise to series that do not terminate. Therefore, we design a slight variation of the weak-factor operator, called clean-factor, and prove that its associated series terminates for all input graphs. In addition, we show that the multipartite graph on which the series terminates has a very nice combinatorial structure: we exhibit a bijection between its vertices and the chains of the inclusion order on the intersections of the maximal cliques of the input graph.
An arithmetic criterion for graphs being determined by their generalized $A_α$-spectrum
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices, its adjacency matrix and degree diagonal matrix are denoted by $A(G)$ and $D(G)$, respectively. In 2017, Nikiforov \cite{0007} introduced the matrix $A_α(G)=αD(G)+(1-α)A(G)$ for $α\in [0, 1].$ The $A_α$-spectrum of a graph $G$ consists of all the eigenvalues (including the multiplicities) of $A_α(G).$ A graph $G$ is said to be determined by the generalized $A_α$-spectrum (or, DGA$_α$S for short) if whenever $H$ is a graph such that $H$ and $G$ share the same $A_α$-spectrum and so do their complements, then $H$ is isomorphic to $G$. In this paper, when $α$ is rational, we present a simple arithmetic condition for a graph being DGA$_α$S. More precisely, put $A_{c_α}:={c_α}A_α(G),$ here ${c_α}$ is the smallest positive integer such that $A_{c_α}$ is an integral matrix. Let $\tilde{W}_{α}(G)=\left[{\bf 1},\frac{A_{c_α}{\bf 1}}{c_α},\ldots, \frac{A_{c_α}^{n-1}{\bf 1}}{c_α}\right]$, where ${\bf 1}$ denotes the all-ones vector. We prove that if $\frac{\det \tilde{W}_{α}(G)}{2^{\lfloor\frac{n}{2}\rfloor}}$ is an odd and square-free integer and the rank of $\tilde{W}_{α}(G)$ is full over $\mathbb{F}_p$ for each odd prime divisor $p$ of $c_α$, then $G$ is DGA$_α$S except for even $n$ and odd $c_α\,(\geqslant 3)$. By our obtained results in this paper we may deduce the main results in \cite{0005} and \cite{0002}.
On the first three minimum Mostar indices of tree-like phenylenes
Published
• View Publication
• BIB
Let $G =(V_{G}, E_{G})$ be a simple connected graph with its vertex set $V_{G}$ and edge set $E_{G}$. The Mostar index $Mo(G)$ was defined as $Mo(G)=\sum\limits_{e=uv\in E(G)}|n_{u}-n_{v}|$, where $n_{u}$ (resp., $n_{v}$) is the number of vertices whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$). In this study, we determine the first three minimum Mostar indices of tree-like phenylenes and characterize all the tree-like phenylenes attaining these values. At last, we give some numerical examples and discussion.
A Quantitative Helly-type Theorem: Containment in a Homothet
Published
• View Publication
• BIB
We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the \emph{diameter}. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can select $2d$ of these bodies whose intersection is of diameter at most $(2d)^3\mathrm{diam}(K)$. The best previously known estimate, due to Brazitikos, is $c d^{11/2}$. Moreover, we confirm that the multiplicative factor $c d^{1/2}$ conjectured by Bárány, Katchalski and Pach cannot be improved.
On the $r$-Derangements of type B
Extensions of a set partition obtained by imposing bounds on the size of the parts and the coloring of some of the elements are examined. Combinatorial properties and the generating functions of some counting sequences associated with these partitions are established. Connections with Riordan arrays are presented.
On coloring digraphs with forbidden induced subgraphs
Published
• View Publication
• BIB
We prove a conjecture by Aboulker, Charbit and Naserasr by showing that every oriented graph in which the out-neighborhood of every vertex induces a transitive tournament can be partitioned into two acyclic induced subdigraphs. We prove multiple extensions of this result to larger classes of digraphs defined by a finite list of forbidden induced subdigraphs. We thereby resolve several special cases of an extension of the famous Gyárfás-Sumner conjecture to directed graphs by Aboulker et al.
Generating series and matrix models for meandric systems with one shallow side
Published
• View Publication
• BIB
In this article, we investigate meandric systems having one shallow side: the arch configuration on that side has depth at most two. This class of meandric systems was introduced and extensively examined by I. P. Goulden, A. Nica, and D. Puder in 2020. Shallow arch configurations are in bijection with the set of interval partitions. We study meandric systems by using moment-cumulant transforms for non-crossing and interval partitions, corresponding to the notions of free and boolean independence, respectively, in non-commutative probability. We obtain formulas for the generating series of different classes of meandric systems with one shallow side, by explicitly enumerating the simpler, irreducible objects. In addition, we propose random matrix models for the corresponding meandric polynomials, which can be described in the language of quantum information theory, in particular that of quantum channels.
Symmetric decompositions, triangulations and real-rootedness
Published
• View Publication
• BIB
Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also interlacing are described. Applications yield new classes of polynomials in geometric combinatorics which afford nonnegative, real-rooted symmetric decompositions. Some interesting questions in $f$-vector theory arise from this work.
Flag Hilbert-Poincaré series of hyperplane arrangements and their Igusa zeta functions
Published
• View Publication
• BIB
We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ in terms of total partitions of the respective types. We show that a different specialization of the flag Hilbert-Poincaré series, which we call the coarse flag Hilbert-Poincaré series, exhibits intriguing nonnegativity features and - in the case of Coxeter arrangements - connections with Eulerian polynomials. For numerous classes and examples of hyperplane arrangements, we determine their (coarse) flag Hilbert-Poincaré series. Some computations were aided by a SageMath package we developed.