Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Parametrizing positroid cells using bicolored tilings
Bicolored tilings are given by a collection of smooth curves in a disk with a coloring map on the tiles these curves form. Postnikov diagrams can be viewed as the image of certain bicolored tilings under the Scott map. We introduce a reduction technique on bicolored tilings, and show that a tiling maps to a Postnikov diagram if and only if it is reduced. We then use bicolored tilings to parametrise positroid cells in the Grassmannian, and use the reduction, along with another transform, to generate tilings associated to lower-dimensional positroids cells. We also show that the parametrisation of such a cell can be derived from the parametrisation of the higher-dimensional cell.
On the average hitting times of Cay($Z_N,\{+1,+2\}$)
Published
• View Publication
• BIB
The exact formula for the average hitting time (HT, as an abbreviation) of simple random walks on Cay($Z_N,\{\pm1,\pm2\}$) was given by Y. Doi et al. [Discrete Applied Mathematics,313 (2022) 18-28]. Y. Doi et al. give a simple formula for the HT's of simple random walks on Cay($Z_N,\{\pm1,\pm2\}$) by using an elementary method. In this paper, using an elementary method also used by Y. Doi et al. [3], we give a simple formula for HT's of simple random walks on Cay($Z_N,\{+1,+2\}$).
Higher genus meanders and Masur-Veech volumes
Published
• View Publication
• BIB
A meander can be seen as a pair of transversally intersecting simple closed curves on a 2-sphere. We consider pairs of transversally intersecting simple closed curves on a closed oriented surface of arbitrary genus g. The number of such higher genus meanders admits exponential upper and lower bounds as the number of intersections grows. Fixing the number n of bigons in the complement to the union of the two curves, we compute the precise asymptotics of genus g meanders with at most 2N intersections and show that this asymptotics is polynomial in N as N tends to infinity. We obtain a similar result for the number of positively intersecting pairs of oriented simple closed curves on a surface of genus g. We also compute the asymptotic probability of getting a meander from a random braid on a surface of genus g-1 with two boundary components.
In order to effectively count meanders we identify them with integer points represented by certain square-tiled surfaces in the moduli spaces of Abelian and quadratic differentials and make use of recent advances in the geometry of these moduli spaces combined with asymptotic properties of Witten-Kontsevich 2-correlators on moduli spaces of complex curves.
Unfriendly partitions when avoiding vertices of finite degree
Published
• View Publication
• BIB
An unfriendly partition of a graph $G = (V,E)$ is a function $c: V \to 2$ such that $|\{x\in N(v): c(x)\neq c(v)\}|\geq |\{x\in N(v): c(x)=c(v)\}|$ for every vertex $v\in V$, where $N(v)$ denotes its neighborhood. It was conjectured by Cowen and Emerson that every graph has an unfriendly partition, but Milner and Shelah found counterexamples for that statement by analyzing graphs with uncountably many vertices. Curiously, none of their graphs have vertices with finite degree. Therefore, as a natural direction to approach, in this paper we search for the least cardinality of a graph with that property that admits no unfriendly partitions. Actually, among some other independence results, we conclude that this size cannot be determined from the usual axioms of set theory.
The $S_k$ shuffle block dynamics
Published
• View Publication
• BIB
We introduce and analyze the $S_k$ shuffle on $N$ cards, a natural generalization of the celebrated random adjacent transposition shuffle. In the $S_k$ shuffle, we choose uniformly at random a block of $k$ consecutive cards, and shuffle these cards according to a permutation chosen uniformly at random from the symmetric group on $k$ elements. We study the total-variation mixing time of the $S_k$ shuffle when the number of cards $N$ goes to infinity, allowing also $k=k(N)$ to grow with $N$. In particular, we show that the cutoff phenomenon occurs when $k=o(N^{\frac{1}{6}})$.
Cryptanalysis of quantum permutation pad
Cryptanalysis increases the level of confidence in cryptographic algorithms. We analyze the security of a symmetric cryptographic algorithm - quantum permutation pad (QPP) [8]. We found the instances of ciphertext the same as plaintext even after the action of QPP with the probability 1/N when the entire set of permutation matrices of dimension N is used and with the probability 1/N^m when an incomplete set of m permutation matrices of dimension N are used. We visually show such instances in a cipher image created by QPP of 256 permutation matrices of different dimensions. For any practical usage of QPP, we recommend a set of 256 permutation matrices of a dimension more or equal to 2048.
Fixing the Kawarabayashi-Thomas-Wollan Flat Wall
Two recent papers by Kawarabayashi, Thomas and Wollan, "A New Proof of the Flat Wall Theorem" (arXiv:1207.6927) and "Quickly Excluding a Non-Planar Graph" (arXiv:2010.12397) provide major improvements over Robertson and Seymour's original proof of the structure theorem for finite graphs that exclude a given graph. The first paper redefines the notion of a flat wall. Unfortunately, this new notion is too strong. As a result, the new Flat Wall Theorem in that paper is incorrect. A counterexample is given in Appendix A. A follow-on lemma in the first paper, about the transitivity of flatness, is also incorrect, a fact that was noticed by Dimitrios Thilikos et al in arXiv:2102.06463. However, that error is derivative and not the main issue. This paper provides a weaker definition of the notion of a flat wall, provides a correction to the proof of the new Flat Wall Theorem and a new proof of flatness transitivity. The notion of a tight rendition as presented here differs from Thilikos' definition but is defined much more simply, and the notion of a proper cycle is introduced. The notions of certificates and tilted walls used by Thilikos turn out of be unnecessary and transitivity is preserved in its original simplicity and generality. Most importantly, it looks like the new weaker definition of flatness is all that is really necessary to carry through the proof of the structure theorem in the second paper of Kawarabayashi, Thomas and Wollan.
The excluded minors for $k$-polymatroids with binary $k$-natural matroids
If $\mathcal{C}$ is a minor-closed class of matroids, then the class $\widetilde{\mathcal{C}}'_k$ of $k$-polymatroids whose $k$-natural matroids are in $\mathcal{C}$ is also minor-closed. We investigate the following question: When $\mathcal{C}$ is the class of binary matroids, what are the excluded minors for $\widetilde{\mathcal{C}}'_k$? When $k = 1$, $\widetilde{\mathcal{C}}'_1$ is simply the class of binary matroids, which has $U_{2,4}$ as its only excluded minor. Joseph E. Bonin and Kevin Long answered the question for $k = 2$ and found that the set of excluded minors for $\widetilde{\mathcal{C}}'_2$ is infinite. We determine the sets of excluded minors for $\widetilde{\mathcal{C}}'_k$ when $k \geq 3$ and find that they are finite. There are $12$ excluded minors for $\widetilde{\mathcal{C}}'_3$ and when $k > 3$, there are $k+7$ excluded minors for $\widetilde{\mathcal{C}}'_k$.
Dense clusters in hypergraphs
In this paper we solve the problem of finding in a given weighted hypergraph a subhypergraph with a maximum possible density. We introduce the notion of a support matrix and prove that the density of an optimal subhypergraph is equal to $|A^T A|$ for an optimal support matrix $A$. Alternatively, the maximum density of a subhypergraph is equal to the solution of a minimax problem for column sums of support matrices. We introduce the spectral decomposition of a hypergraph and show that it is a significant refinement of the Dulmage-Mendelsohn decomposition. Our theoretical results yield an efficient algorithm for finding the maximum density subhypergraph and more generally, the spectral decomposition for a given weighted hypergraph.
Planar site percolation on semi-transitive graphs
Semi-transitive graphs, defined in \cite{hps98} as examples where ``uniform percolation" holds whenever $p>p_c$, are a large class of graphs more general than quasi-transitive graphs. Let $G$ be a semi-transitive graph with one end which can be properly embedded into the plane with uniformly bounded face degree for finite faces and minimal vertex degree at least 7. We show that $p_u^{site}(G) +p_c^{site}(G_*)=1$, where $G_*$ denotes the matching graph of $G$. This fulfils and extends an observation of Sykes and Essam in 1964 (\cite{SE64}) to semi-transitive graphs.
The structure of Lonely Runner spectra
Published
• View Publication
• BIB
For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely Runner Conjecture predicts that $\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$. Rather than attack this conjecture, we study the structure of the sets $\mathcal{S}(n)$. The main purpose of this note is to show that the set of accumulation points of $\mathcal{S}(n)$ is precisely $\mathcal{S}(n-1)$.
Coboundary and cosystolic expansion without dependence on dimension or degree
We give new bounds on the cosystolic expansion constants of several families of high dimensional expanders, and the known coboundary expansion constants of order complexes of homogeneous geometric lattices, including the spherical building of $SL_n(F_q)$. The improvement applies to the high dimensional expanders constructed by Lubotzky, Samuels and Vishne, and by Kaufman and Oppenheim.
Our new expansion constants do not depend on the degree of the complex nor on its dimension, nor on the group of coefficients. This implies improved bounds on Gromov's topological overlap constant, and on Dinur and Meshulam's cover stability, which may have applications for agreement testing. In comparison, existing bounds decay exponentially with the ambient dimension (for spherical buildings) and in addition decay linearly with the degree (for all known bounded-degree high dimensional expanders). Our results are based on several new techniques:
* We develop a new "color-restriction" technique which enables proving dimension-free expansion by restricting a multi-partite complex to small random subsets of its color classes.
* We give a new "spectral" proof for Evra and Kaufman's local-to-global theorem, deriving better bounds and getting rid of the dependence on the degree. This theorem bounds the cosystolic expansion of a complex using coboundary expansion and spectral expansion of the links.
* We derive absolute bounds on the coboundary expansion of the spherical building (and any order complex of a homogeneous geometric lattice) by constructing a novel family of very short cones.
On trialities and their absolute geometries
Published
• View Publication
• BIB
We introduce the notion of moving absolute geometry of a geometry with triality and show that, in the classical case where the triality is of type $(I_σ)$ and the absolute geometry is a generalized hexagon, the moving absolute geometry also gives interesting flag-transitive geometries with Buekenhout diagram with parameters $(d_p, g, d_L) = (5, 3, 6)$ for the groups $G_2(k)$ and $^3D_4(k)$, for any integer $k \geq 2$. We also classify the classical absolute geometries for geometries with trialities but no dualities coming from maps of Class III with automorphism group $L_2(q^3)$, where $q$ is a power of a prime. We then investigate the moving absolute geometries for these geometries, illustrating their interest in this case.
Exact enumeration of fullerenes
Published
• View Publication
• BIB
A fullerene, or buckyball, is a trivalent graph on the sphere with only pentagonal and hexagonal faces. Building on ideas of Thurston, we use modular forms to give an exact formula for the number of oriented fullerenes with a given number of vertices.
The sufficient conditions for $k$-leaf-connected graphs in terms of several topological indices
Let $G=(V(G), E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. For $k\geq2$ and given any subset $S\subseteq|V(G)|$ with $|S|=k$, if a graph $G$ of order $|V(G)|\geq k+1$ always has a spanning tree $T$ such that $S$ is precisely the set of leaves of $T$, then the graph $G$ is a $k$-leaf-connected graph. A graph $G$ is called Hamilton-connected if any two vertices of $G$ are connected by a Hamilton path. Based on the definitions of $k$-leaf-connected and Hamilton-connected, we known that a graph is $2$-leaf-connected if and only if it is Hamilton-connected. During the past decades, there have been many results of sufficient conditions for Hamilton-connected with respect to topological indices. In this paper, we present sufficient conditions for a graph $G$ to be $k$-leaf-connected in terms of the Zagreb index, the reciprocal degree distance or the hyper-Zagreb index. Furthermore, we use the first Zagreb index and hyper-Zagreb index of the complement graph $\overline{G}$ to give sufficient conditions for a graph $G$ to be $k$-leaf-connected.
Constructing extremal triangle-free graphs using integer programming
Published
• View Publication
• BIB
The maximum number of edges in a graph with matching number m and maximum degree d has been determined in [1] and [2], where some extremal graphs have also been provided. Then, a new question has emerged: how the maximum edge count is affected by forbidding some subgraphs occurring in these extremal graphs? In [3], the problem is solved in triangle-free graphs for $d \geq m$, and for $d < m$ with either $Z(d) \leq m < 2d$ or $d \leq 6$, where $Z(d)$ is approximately $5d/4$. The authors derived structural properties of triangle-free extremal graphs, which allows us to focus on constructing small extremal components to form an extremal graph. Based on these findings, in this paper, we develop an integer programming formulation for constructing extremal graphs. Since our formulation is highly symmetric, we use our own implementation of Orbital Branching to reduce symmetry. We also implement our integer programming formulation so that the feasible region is restricted iteratively. Using a combination of the two approaches, we expand the solution into $d \leq 10$ instead of $d \leq 6$ for $m > d$. Our results endorse the formula for the number of edges in all extremal triangle-free graphs conjectured in [3].
Proof of two congruence conjectures of Z.-W. Sun
In this paper, we mainly prove two congruence conjecture of Z.-W. Sun. Let $p\equiv3\pmod 4$ be a prime. Then $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{8^k}\equiv-\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{(-16)^k}\pmod{p^3}.$$ And for any odd prime $p$, if $p=x^2+y^2$ with $4|x-1, 2|y$, then $$ \sum_{k=0}^{p-1}\frac{(k+1)\binom{2k}k^2}{8^k}+\sum_{k=0}^{(p-1)/2}\frac{(2k+1)\binom{2k}k^2}{(-16)^k}\equiv2\left(\frac{2}p\right)x\pmod{p^3}. $$
On the distribution of subset sums of certain sets in $\mathbb{Z}^2_p$
A given subset $A$ of natural numbers is said to be complete if every element of $\mathbb{N}$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. Interestingly if $A$ and $B$ are complete sequences then $A\times B$ is not necessarily complete in $\mathbb{N}^2$. In this paper we consider a modular version of this problem, motivated by the communication complexity problem of [2].
VC Set Systems in Minor-free (Di)Graphs and Applications
Published
• View Publication
• BIB
A recent line of work on VC set systems in minor-free (undirected) graphs, starting from Li and Parter, who constructed a new VC set system for planar graphs, has given surprising algorithmic results. In this work, we initialize a more systematic study of VC set systems for minor-free graphs and their applications in both undirected graphs and directed graphs (a.k.a digraphs). More precisely:
- We propose a new variant of Li-Parter set system for undirected graphs.
- We extend our set system to $K_h$-minor-free digraphs and show that its VC dimension is $O(h^2)$.
- We show that the system of directed balls in minor-free digraphs has VC dimension at most $h-1$.
- On the negative side, we show that VC set system constructed from shortest path trees of planar digraphs does not have a bounded VC dimension.
The highlight of our work is the results for digraphs, as we are not aware of known algorithmic work on constructing and exploiting VC set systems for digraphs.
The structure of quasi-transitive graphs avoiding a minor with applications to the domino problem
Published in Journal of Combinatorial Theory, Series B 169 (2024), 561-613
• View Publication
• BIB
An infinite graph is quasi-transitive if its vertex set has finitely many orbits under the action of its automorphism group. In this paper we obtain a structure theorem for locally finite quasi-transitive graphs avoiding a minor, which is reminiscent of the Robertson-Seymour Graph Minor Structure Theorem. We prove that every locally finite quasi-transitive graph $G$ avoiding a minor has a tree-decomposition whose torsos are finite or planar; moreover the tree-decomposition is canonical, i.e. invariant under the action of the automorphism group of $G$. As applications of this result, we prove the following.
* Every locally finite quasi-transitive graph attains its Hadwiger number, that is, if such a graph contains arbitrarily large clique minors, then it contains an infinite clique minor. This extends a result of Thomassen (1992) who proved it in the 4-connected case and suggested that this assumption could be omitted.
* Locally finite quasi-transitive graphs avoiding a minor are accessible (in the sense of Thomassen and Woess), which extends known results on planar graphs to any proper minor-closed family.
* Minor-excluded finitely generated groups are accessible (in the group-theoretic sense) and finitely presented, which extends classical results on planar groups.
* The domino problem is decidable in a minor-excluded finitely generated group if and only if the group is virtually free, which proves the minor-excluded case of a conjecture of Ballier and Stein (2018).