Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Enumerating linear systems on graphs
Published
• View Publication
• BIB
The divisor theory of graphs views a finite connected graph $G$ as a discrete version of a Riemann surface. Divisors on $G$ are formal integral combinations of the vertices of $G$, and linear equivalence of divisors is determined by the discrete Laplacian operator for $G$. As in the case of Riemann surfaces, we are interested in the complete linear system $|D|$ of a divisor $D$---the collection of nonnegative divisors linearly equivalent to $D$. Unlike the case of Riemann surfaces, the complete linear system of a divisor on a graph is always finite. We compute generating functions encoding the sizes of all complete linear systems on $G$ and interpret our results in terms of polyhedra associated with divisors and in terms of the invariant theory of the (dual of the) Jacobian group of $G$. If $G$ is a cycle graph, our results lead to a bijection between complete linear systems and binary necklaces. The final section generalizes our results to a model based on integral $M$-matrices.
The Kőnig Graph Process
Say that a graph G has property $\mathcal{K}$ if the size of its maximum matching is equal to the order of a minimal vertex cover. We study the following process. Set $N:= \binom{n}{2}$ and let $e_1, e_2, \dots e_{N}$ be a uniformly random ordering of the edges of $K_n$, with $n$ an even integer. Let $G_0$ be the empty graph on $n$ vertices. For $m \geq 0$, $G_{m+1}$ is obtained from $G_m$ by adding the edge $e_{m+1}$ exactly if $G_m \cup \{ e_{m+1}\}$ has property $\mathcal{K}$. We analyse the behaviour of this process, focusing mainly on two questions: What can be said about the structure of $G_N$ and for which $m$ will $G_m$ contain a perfect matching?
A note on extensions of multilinear maps defined on multilinear varieties
Published
• View Publication
• BIB
Let $G_1, \dots, G_k$ be finite-dimensional vector spaces over a finite field $\mathbb{F}$. A multilinear variety of codimension $d$ is a subset of $G_1 \times \dots \times G_k$ defined as the zero set of $d$ forms, each of which is multilinear on some subset of the coordinates. A map $φ$ defined on a multilinear variety $B$ is multilinear if for each coordinate $d$ and all choices of $x_i \in G_i$, $i\not=d$, the restriction map $y \mapsto φ(x_1, \dots, x_{d-1}, y, x_{d+1}, \dots, x_k)$ is linear where defined. In this note, we show that a multilinear map defined on a multilinear variety of codimension $d$ coincides on a multilinear variety of codimension $d^{O(1)}$ with a multilinear map defined on the whole of $G_1\times\dots\times G_k$.
Homological Connectivity in Random Čech Complexes
Published
• View Publication
• BIB
We study the homology of random Čech complexes generated by a homogeneous Poisson process. We focus on 'homological connectivity' - the stage where the random complex is dense enough, so that its homology "stabilizes" and becomes isomorphic to that of the underlying topological space. Our results form a comprehensive high-dimensional analogue of well-known phenomena related to connectivity in the Erdős-Rényi graph and random geometric graphs. We first prove that there is a sharp phase transition describing homological connectivity. Next, we analyze the behavior of the complex in the critical window. We show that the cycles obstructing homological connectivity have a very unique and simple shape. In addition, we prove that the process counting the last obstructions converges to a Poisson process. We make a heavy use of Morse theory, and its adaptation to distance functions. In particular, our results classify the critical points of random distance functions according to their exact effect on homology.
A note on Hedetniemi's conjecture, Stahl's conjecture and the Poljak-Rödl function
Published
• View Publication
• BIB
We prove that $\min\{χ(G), χ(H)\} - χ(G\times H)$ can be arbitrarily large, and that if Stahl's conjecture on the multichromatic number of Kneser graphs holds, then $\min\{χ(G), χ(H)\}/χ(G\times H) \leq 1/2 + ε$ for large values of $\min\{χ(G), χ(H)\}$.
A Shuffling Theorem for Centrally Symmetric Tilings
Rohatgi and the author recently proved a shuffling theorem for lozenge tilings of `doubly-dented hexagons' (arXiv:1905.08311). The theorem can be considered as a hybrid between two classical theorems in the enumeration of tilings: MacMahon's theorem about centrally symmetric hexagons and Cohn-Larsen-Prop's theorem about semihexagons with dents. In this paper, we consider a similar shuffling theorem for the centrally symmetric tilings of the doubly-dented hexagons. Our theorem also implies a conjecture posed by the author in arXiv:1803.02792 about the enumeration of centrally symmetric tilings of hexagons with three arrays of triangular holes. This enumeration, in turn, can be considered as a common generalization of (a tiling-equivalent version of) Stanley's enumeration of self-complementary plane partitions and Ciucu's work on symmetries of the shamrock structure. Moreover, our enumeration also confirms a recent conjecture posed by Ciucu in arXiv:1906.02951.
On $2\times 2$ Tropical Commuting Matrices
Published
• View Publication
• BIB
This paper investigates the geometric properties of a special case of the two-sided system given by $2 \times 2$ tropical commuting constraints. Given a finite matrix $A \in \mathbb{R}^{2\times 2}$, the paper studies the extremals of the tropical polyhedral cone generated by the entries of matrices $B$ such that $A \otimes B = B \otimes A$ and proposes a criterion to test whether two $2\times 2$ matrices commute in max linear algebra.
Big Ramsey degrees of 3-uniform hypergraphs
Given a countably infinite hypergraph $\mathcal R$ and a finite hypergraph $\mathcal A$, the big Ramsey degree of $\mathcal A$ in $\mathcal R$ is the least number $L$ such that, for every finite $k$ and every $k$-colouring of the embeddings of $\mathcal A$ to $\mathcal R$, there exists an embedding $f$ from $\mathcal R$ to $\mathcal R$ such that all the embeddings of $\mathcal A$ to the image $f(\mathcal R)$ have at most $L$ different colours.
We describe the big Ramsey degrees of the random countably infinite 3-uniform hypergraph, thereby solving a question of Sauer. We also give a new presentation of the results of Devlin and Sauer on, respectively, big Ramsey degrees of the order of the rationals and the countably infinite random graph. Our techniques generalise (in a natural way) to relational structures and give new examples of Ramsey structures (a concept recently introduced by Zucker with applications to topological dynamics).
To Infinity and Beyond: Continuing De Bruijn Sequences by Extending the Alphabet
This article presents proof that the reverse of the Prefer Max De Bruijn sequence can be expanded into an infinite De Bruijn sequence by increasing the size of the alphabet. Furthermore, we show that every De Bruijn sequence possessing this characteristic exhibits behavior similar to that of the reverse of the Prefer Max De Bruijn sequence.
A generalization of Heffter arrays
Published
• View Publication
• BIB
In this paper we define a new class of partially filled arrays, called relative Heffter arrays, that are a generalization of the Heffter arrays introduced by Archdeacon in 2015. Let $v=2nk+t$ be a positive integer, where $t$ divides $2nk$, and let $J$ be the subgroup of $\mathbb{Z}_v$ of order $t$. A $H_t(m,n; s,k)$ Heffter array over $\mathbb{Z}_v$ relative to $J$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$ such that: (a) each row contains $s$ filled cells and each column contains $k$ filled cells; (b) for every $x\in \mathbb{Z}_v\setminus J$, either $x$ or $-x$ appears in the array; (c) the elements in every row and column sum to $0$. Here we study the existence of square integer (i.e. with entries chosen in $\pm\left\{1,\dots,\left\lfloor \frac{2nk+t}{2}\right\rfloor \right\}$ and where the sums are zero in $\mathbb{Z}$) relative Heffter arrays for $t=k$, denoted by $H_k(n;k)$. In particular, we prove that for $3\leq k\leq n$, with $k\neq 5$, there exists an integer $H_k(n;k)$ if and only if one of the following holds: (a) $k$ is odd and $n\equiv 0,3\pmod 4$; (b) $k\equiv 2\pmod 4$ and $n$ is even; (c) $k\equiv 0\pmod 4$. Also, we show how these arrays give rise to cyclic cycle decompositions of the complete multipartite graph.
Tropical representations and identities of plactic monoids
Published
• View Publication
• BIB
We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okniński that every plactic monoid of finite rank satisfies a non-trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank $n$ is satisfied by the monoid of $n \times n$ upper triangular tropical matrices. In particular this implies that the variety generated by the $3 \times 3$ upper triangular tropical matrices coincides with that generated by the plactic monoid of rank $3$, answering another question of Izhakian.
On the Odd Cycle Game and Connected Rules
Published
• View Publication
• BIB
We study the positional game where two players, Maker and Breaker, alternately select respectively $1$ and $b$ previously unclaimed edges of $K_n$. Maker wins if she succeeds in claiming all edges of some odd cycle in $K_n$ and Breaker wins otherwise. Improving on a result of Bednarska and Pikhurko, we show that Maker wins the odd cycle game if $b \leq ((4 - \sqrt{6})/5 + o(1)) n$. We furthermore introduce "connected rules" and study the odd cycle game under them, both in the Maker-Breaker as well as in the Client-Waiter variant.
Finding a Shortest Non-zero Path in Group-Labeled Graphs
Published
• View Publication
• BIB
We study a constrained shortest path problem in group-labeled graphs with nonnegative edge length, called the shortest non-zero path problem. Depending on the group in question, this problem includes two types of tractable variants in undirected graphs: one is the parity-constrained shortest path/cycle problem, and the other is computing a shortest noncontractible cycle in surface-embedded graphs.
For the shortest non-zero path problem with respect to finite abelian groups, Kobayashi and Toyooka (2017) proposed a randomized, pseudopolynomial-time algorithm via permanent computation. For a slightly more general class of groups, Yamaguchi (2016) showed a reduction of the problem to the weighted linear matroid parity problem. In particular, some cases are solved in strongly polynomial time via the reduction with the aid of a deterministic, polynomial-time algorithm for the weighted linear matroid parity problem developed by Iwata and Kobayashi (2021), which generalizes a well-known fact that the parity-constrained shortest path problem is solved via weighted matching.
In this paper, as the first general solution independent of the group, we present a rather simple, deterministic, and strongly polynomial-time algorithm for the shortest non-zero path problem. The algorithm is based on Dijkstra's algorithm for the unconstrained shortest path problem and Edmonds' blossom shrinking technique in matching algorithms; this approach is inspired by Derigs' faster algorithm (1985) for the parity-constrained shortest path problem via a reduction to weighted matching. Furthermore, we improve our algorithm so that it does not require explicit blossom shrinking, and make the computational time match Derigs' one. In the speeding-up step, a dual linear programming formulation of the equivalent problem based on potential maximization for the unconstrained shortest path problem plays a key role.
On some new neighbourhood degree based indices
Published
• View Publication
• BIB
In this paper, four novel topological indices named as neighbourhood version of forgotten topological index (F_N), modified neighbourhood version of Forgotten topological index ($F_N^*$), neighbourhood version of second Zagreb index ($M_2^*$)and neighbourhood version of hyper Zagreb index ($HM_N$) are introduced. Here the relatively study depends on the structure-property regression analysis is made to test and compute the chemical applicability of these indices for the prediction of physicochemical properties of octane isomers. Also it is shown that these newly presented indices have well degeneracy property in comparison with other degree based topological indices. Some mathematical properties of these indices are also discussed here.
The extremal number of the subdivisions of the complete bipartite graph
Published in SIAM J. Discrete Math. 34 (2020), 241-250
• View Publication
• BIB
For a graph $F$, the $k$-subdivision of $F$, denoted $F^k$, is the graph obtained by replacing the edges of $F$ with internally vertex-disjoint paths of length $k$. In this paper, we prove that $\mathrm{ex}(n,K_{s,t}^k)=O(n^{1+\frac{s-1}{sk}})$, which is tight for $t$ sufficiently large. This settles a conjecture of Conlon--Janzer--Lee, and improves on a substantial body of work by Conlon--Janzer--Lee and Jiang--Qiu.
More non-bipartite forcing pairs
We study pairs of graphs (H_1,H_2) such that every graph with the densities of H_1 and H_2 close to the densities of H_1 and H_2 in a random graph is quasirandom; such pairs (H_1,H_2) are called forcing. Non-bipartite forcing pairs were first discovered by Conlon, Han, Person and Schacht [Weak quasi-randomness for uniform hypergraphs, Random Structures Algorithms 40 (2012), 1-38]: they showed that (K_t,F) is forcing where F is the graph that arises from K_t by iteratively doubling its vertices and edges in a prescribed way t times. Reiher and Schacht [Forcing quasirandomness with triangles, Forum of Mathematics, Sigma 7, 2019] strengthened this result for t=3 by proving that two doublings suffice and asked for the minimum number of doublings needed for t>3. We show that (t+2)/2 doublings always suffice.
Efficient enumeration of non-isomorphic interval graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (March 8, 2021) dmtcs:6164
• View Publication
• BIB
Recently, Yamazaki et al. provided an algorithm that enumerates all non-isomorphic interval graphs on $n$ vertices with an $O(n^4)$ time delay. In this paper, we improve their algorithm and achieve $O(n^3 \log n)$ time delay. We also extend the catalog of these graphs providing a list of all non-isomorphic interval graphs for all $n$ up to $15$.
A note on Lefschetz spheres and their relatives
Inspired by the works of Adiprasito, Babson, Nevo, and Murai on the $g$-conjecture, we consider different classes of PL-spheres and the relations between them. We focus on a certain class of spheres that is in the intersection of vertex-decomposable spheres (a concept due to Provan and Billera) and strongly edge-decomposable spheres (a concept due to Eran Nevo). The spheres in this class are exactly those vertex-decomposable ones for which Adiprasito's recent proof method works.
Colored Vertex Models and Iwahori Whittaker Functions
Published
• View Publication
• BIB
We give a recursive method for computing all values of a basis of Whittaker functions for unramified principal series invariant under an Iwahori or parahoric subgroup of a split reductive group $G$ over a nonarchimedean local field $F$. Structures in the proof have surprising analogies to features of certain solvable lattice models. In the case $G=\mathrm{GL}_r$ we show that there exist solvable lattice models whose partition functions give precisely all of these values. Here `solvable' means that the models have a family of Yang-Baxter equations which imply, among other things, that their partition functions satisfy the same recursions as those for Iwahori or parahoric Whittaker functions. The R-matrices for these Yang-Baxter equations come from a Drinfeld twist of the quantum group $U_q(\widehat{\mathfrak{gl}}(r|1))$, which we then connect to the standard intertwining operators on the unramified principal series.
We use our results to connect Iwahori and parahoric Whittaker functions to variations of Macdonald polynomials.
Abelian tropical covers
Published
• View Publication
• BIB
Let $\mathfrak{A}$ be a finite abelian group. In this article, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $Γ$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $Γ$. We give a realizability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $Γ$. As an explicit example, we work out the case $\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$ and explain how realizability for such covers is related to the nowhere-zero flow problem from graph theory.