Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Structure of a Maximal Total Independent Set
Published in Rose-Hulman Undergraduate Mathematics Journal: Vol. 24 : Iss. 2 , Article 8. 2023
• Search Publication
Let $G$ be a simple, connected and finite graph with order $n$. Denote the independence number, edge independence number and total independence number by $α(G), α'(G)$ and $α"(G)$ respectively. This paper establishes a relation between $α"(G)$ with $α(G)$, $α'(G)$ and $n$. It also describes the possible structures of a total independent set of a given size.
Nonbinary Counterparts of the Prefer-Same and Prefer-Opposite de Bruijn Sequences
The well known prefer-one, prefer-opposite, and prefer-same binary de Bruijn sequences are all constructed using simple preference rules. We apply the technique of preference functions of span one to define q-ary sequences that generalize the prefer-opposite and prefer-same sequences and we present some of their basic properties that are shared with their binary versions. In particular, we show that the prefer-higher sequence (the nonbinary counter-part of the prefer-one sequence) is obtained from a homomorphic image of the proposed prefer-opposite, when repetitions are cleaned up. This mirrors a known relationship between the binary versions. We also perform calculations that demonstrate that the discrepancy profile of the proposed sequences is similar to that of the binary case.
Generating functions for straight polyomino tilings of narrow rectangles
Let $m,k$ be fixed positive integers. Determining the generating function for the number of tilings of an $m\times n$ rectangle by $k\times 1$ rectangles is a long-standing open problem to which the answer is only known in certain special cases. We give an explicit formula for this generating function in the case where $m<2k$. This result is used to obtain the generating function for the number of tilings of an $m\times n \times k$ box with $k\times k\times 1$ bricks.
Deep kernelization for the Tree Bisection and Reconnnect (TBR) distance in phylogenetics
Published
• View Publication
• BIB
We describe a kernel of size 9k-8 for the NP-hard problem of computing the Tree Bisection and Reconnect (TBR) distance k between two unrooted binary phylogenetic trees. We achieve this by extending the existing portfolio of reduction rules with three novel new reduction rules. Two of the rules are based on the idea of topologically transforming the trees in a distance-preserving way in order to guarantee execution of earlier reduction rules. The third rule extends the local neighbourhood approach introduced in (Kelk and Linz, Annals of Combinatorics 24(3), 2020) to more global structures, allowing new situations to be identified when deletion of a leaf definitely reduces the TBR distance by one. The bound on the kernel size is tight up to an additive term. Our results also apply to the equivalent problem of computing a Maximum Agreement Forest (MAF) between two unrooted binary phylogenetic trees. We anticipate that our results will be more widely applicable for computing agreement-forest based dissimilarity measures.
Subgraph densities in Markov spaces
Published
• View Publication
• BIB
We generalize subgraph densities, arising in dense graph limit theory, to Markov spaces (symmetric measures on the square of a standard Borel space). More generally, we define an analogue of the set of homomorphisms in the form of a measure on maps of a finite graph into a Markov space. The existence of such homomorphism measures is not always guaranteed, but can be established under rather natural smoothness conditions on the Markov space and sparseness conditions on the graph. This continues a direction in graph limit theory in which such measures are viewed as limits of graph sequences.
Lee metrics on groups
In this work we consider interval metrics on groups; that is, integral invariant metrics whose associated weight functions do not have gaps. We give conditions for a group to have and to have not interval metrics. Then we study Lee metrics on general groups, that is interval metrics having the finest unitary symmetric associated partition. These metrics generalize the classic Lee metric on cyclic groups. In the case that $G$ is a torsion-free group or a finite group of odd order, we prove that $G$ has a Lee metric if and only if $G$ is cyclic. Also, if $G$ is a group admitting Lee metrics then $G \times \mathbb{Z}_2^k$ always have Lee metrics for every $k \in \mathbb{N}$. Then, we show that some families of metacyclic groups, such as cyclic, dihedral, and dicyclic groups, always have Lee metrics. Finally, we give conditions for non-cyclic groups such that they do not have Lee metrics. We end with tables of all groups of order $\le 31$ indicating which of them have (or have not) Lee metrics and why (not).
Equivalence of field theories: Crane-Yetter and the shadow
Published in Journal of Knot Theory and Its Ramifications (2024)
• View Publication
• BIB
This work solves a 28-year conjecture by showing that two major invariants of smooth 4-manifolds, the shadow model (motivated by statistical mechanics [Tur91]) and the simplicial Crane-Yetter model (motivated by topological quantum field theory [CY93]), are in fact equal.
These invariants, both of which degenerate to the 3D Witten-Reshetikhin-Turaev model in a special case, had been open for years to clarify their relationship. Despite the seeming difference in their origins and formal constructions, we prove their equivalence. Along the way, we sketch a dictionary between the two models, provide a brief survey of the shadow construction à la Turaev, and suggest once again that the semisimple models have reached their limits.
A computational framework for weighted simplicial homology
Published
• View Publication
• BIB
We provide a bottom up construction of torsion generators for weighted homology of a weighted complex over a discrete valuation ring $R=\mathbb{F}[[π]]$. This is achieved by starting from a basis for classical homology of the $n$-th skeleton for the underlying complex with coefficients in the residue field $\mathbb{F}$ and then lifting it to a basis for the weighted homology with coefficients in the ring $R$. Using the latter, a bijection is established between $n+1$ and $n$ dimensional simplices whose weight ratios provide the exponents of the $π$-monomials that generate each torsion summand in the structure theorem of the weighted homology modules over $R$. We present algorithms that subsume the torsion computation by reducing it to normalization over the residue field of $R$, and describe a Python package we implemented that takes advantage of this reduction and performs the computation efficiently.
A Random Card Shuffling Process
Published in Involve 17 (2024) 603-632
• View Publication
• BIB
Consider a randomly shuffled deck of $2n$ cards with $n$ red cards and $n$ black cards. We study the average number of moves it takes to go from a randomly shuffled deck to a deck that alternates in color by performing the following move: If the top card and the bottom card of the deck differ in color place the top card at the bottom of the deck, otherwise, insert the top card randomly in the deck. We use tools from combinatorics, probability, and linear algebra to model this process as a finite Markov chain.
Large deviation principle for random permutations
Published
• View Publication
• BIB
We derive a large deviation principle for random permutations induced by probability measures of the unit square, called permutons. These permutations are called $μ$-random permutations. We also introduce and study a new general class of models of random permutations, called Gibbs permutation models, which combines and generalizes $μ$-random permutations and the celebrated Mallows model for permutations. Most of our results hold in the general setting of Gibbs permutation models.
We apply the tools that we develop to the case of $μ$-random permutations conditioned to have an atypical proportion of patterns. Several results are made more concrete in the specific case of inversions. For instance, we prove the existence of at least one phase transition for a generalized version of the Mallows model where the base measure is non-uniform. This is in contrast with the results of Starr (2009, 2018) on the (standard) Mallows model, where the absence of phase transition, i.e., phase uniqueness, was proven.
Our results naturally lead us to investigate a new notion of permutons, called conditionally constant permutons, which generalizes both pattern-avoiding and pattern-packing permutons. We describe some properties of conditionally constant permutons with respect to inversions. The study of conditionally constant permutons for general patterns seems to be a challenging problem.
A Combinatorial Tale of Two Scattering Amplitudes: See Two Bijections
In this thesis, we take a journey through two different but not dissimilar stories with an underlying theme of combinatorics emerging from scattering amplitudes in quantum field theories.
The first part tells the tale of the $c_2$-invariant, an arithmetic invariant related to the Feynman integral in $φ^4$-theory, which studies the zeros of the Kirchoff polynomial and related graph polynomials. Through reformulating the $c_2$-invariant as a purely combinatorial problem, we show how enumerating certain edge bipartitions through fixed-point free involutions can complete a special case of the long sought after $c_2$ completion conjecture.
The second part tells the tale of the positive Grassmannian and a combinatorial T-duality map on its cells, as related to scattering amplitudes in planar $\mathcal{N} = 4$ SYM theory. In particular, T-duality is a bridge between triangulations of the hypersimplex and triangulations of the amplituhedron, two objects that appear as images of the positive Grassmannian. We give an algorithm for viewing T-duality as a map on Le diagrams and characterize a nice structure to the Le diagrams (which can then be used in lieu of the algorithm). Through this Le diagram perspective on T-duality, we show how the dimensional relationship between the positroid cells on either side of the map can be directly explained.
Log-concavity of the restricted partition function $p_\mathcal{A}(n,k)$ and the new Bessenrodt-Ono type inequality
Published
• View Publication
• BIB
Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and Pólya-Szegö as well as the Almkavist's estimation.
Dominance Regions for Rank Two Cluster Algebras
Published
• View Publication
• BIB
We study the polygons defining the dominance order on $\mathbf{g}$-vectors in cluster algebras of rank 2.
Connections between graphs and matrix spaces
Published
• View Publication
• BIB
Given a bipartite graph $G$, the graphical matrix space $\mathcal{S}_G$ consists of matrices whose non-zero entries can only be at those positions corresponding to edges in $G$. Tutte (J. London Math. Soc., 1947), Edmonds (J. Res. Nat. Bur. Standards Sect. B, 1967) and Lovász (FCT, 1979) observed connections between perfect matchings in $G$ and full-rank matrices in $\mathcal{S}_G$. Dieudonné ({Arch. Math., 1948) proved a tight upper bound on the dimensions of those matrix spaces containing only singular matrices. The starting point of this paper is a simultaneous generalization of these two classical results: we show that the largest dimension over subspaces of $\mathcal{S}_G$ containing only singular matrices is equal to the maximum size over subgraphs of $G$ without perfect matchings, based on Meshulam's proof of Dieudonné's result (Quart. J. Math., 1985).
Starting from this result, we go on to establish more connections between properties of graphs and matrix spaces. For example, we establish connections between acyclicity and nilpotency, between strong connectivity and irreducibility, and between isomorphism and conjugacy/congruence. For each connection, we study three types of correspondences, namely the basic correspondence, the inherited correspondence (for subgraphs and subspaces), and the induced correspondence (for induced subgraphs and restrictions). Some correspondences lead to intriguing generalizations of classical results, such as for Dieudonné's result mentioned above, and for a celebrated theorem of Gerstenhaber regarding the largest dimension of nil matrix spaces (Amer. J. Math., 1958).
Finally, we show some implications of our results to quantum information and present open problems in computational complexity motivated by these results.
Two conjectures in spectral graph theory involving the linear combinations of graph eigenvalues
We prove two conjectures in spectral extremal graph theory involving the linear combinations of graph eigenvalues. Let $λ_1(G)$ be the largest eigenvalue of the adjacency matrix of a graph $G$, and $\bar{G}$ be the complement of $G$. A nice conjecture states that the graph on $n$ vertices maximizing $λ_1(G) + λ_1(\bar{G})$ is the join of a clique and an independent set, with $\lfloor n/3\rfloor$ and $\lceil 2n/3\rceil$ (also $\lceil n/3\rceil$ and $\lfloor 2n/3\rfloor$ if $n \equiv 2 \pmod{3}$) vertices, respectively. We resolve this conjecture for sufficiently large $n$ using analytic methods. Our second result concerns the $Q$-spread $s_Q(G)$ of a graph $G$, which is defined as the difference between the largest eigenvalue and least eigenvalue of the signless Laplacian of $G$. It was conjectured by Cvetković, Rowlinson and Simić in $2007$ that the unique $n$-vertex connected graph of maximum $Q$-spread is the graph formed by adding a pendant edge to $K_{n-1}$. We confirm this conjecture for sufficiently large $n$.
On the quick search for the shortest paths in an unweighted dynamic graph by its projections in brief
For the first time proposed: a method for representing the projections of a graph in computer memory and a description based on it of a quick search for shortest paths in unweighted dynamic graphs. The spatial complexity of the projection description does not exceed $(d + 1)\times n$ words, where $d$ is the diameter and $n$ is the number of vertices of the graph. The temporal difficulty of finding one shortest path between two vertices does not exceed d steps with the duration of elementary time of sampling a machine word. The solution can be applied in time delay-critical routing protocols of computer networks and supercomputers.
A colourful classification of (quasi) root systems and hyperplane arrangements
Published in Journal of Lie Theory 34 (2024), No. 2, 385--422
• View Publication
• BIB
We introduce a class of graphs with coloured edges to encode subsystems of the classical root systems, which in particular classify them up to equivalence. We further use the graphs to describe root-kernel intersections, as well as restrictions of root (sub)systems on such intersections, generalising the regular part of a Cartan subalgebra. We also consider a slight variation to encode the hyperplane arrangements only, showing there is a unique noncrystallographic arrangement that arises. Finally, a variation of the main definition leads to elementary classifications of closed and Levi root subsystems.
A recursive description of automorphism groups of inductively constructed polytopes
Polytopes are ubiquitous in different areas of mathematics. Gleason and Hubard established a factorisation theorem, stating that every abstract polytope has a unique factorisation into prime polytopes. We compute the automorphism group of a certain family of inductively constructed polytopes using the unique factorisation.
Factors of Alternating Convolution of the Gessel Numbers
The Gessel number $P(n,r)$ is the number of the paths in plane with $(1, 0)$ and $(0,1)$ steps from $(0,0)$ to $(n+r, n+r-1)$ that never touch any of the points from the set $\{(x,x)\in \mathbb{Z}^2: x\geq r\}$. We show that there is a close relationship between the Gessel numbers $P(n,r)$ and the super Catalan numbers $S(n,r)$. By using new sums, we prove that an alternating convolution of the Gessel numbers $P(n,r)$ is always divisible by \frac{1}{2}$S(n,r)$.
Prominent examples of flip processes
Published in Random Structures & Algorithms, volume 64 (2024), issue 3, pages 692-740
• View Publication
• BIB
Flip processes, introduced in [Garbe, Hladký, Šileikis, Skerman: From flip processes to dynamical systems on graphons], are a class of random graph processes defined using a rule which is just a function $\mathcal{R}:\mathcal{H}_k\rightarrow \mathcal{H}_k$ from all labelled graphs of a fixed order $k$ into itself. The process starts with an arbitrary given $n$-vertex graph $G_0$. In each step, the graph $G_i$ is obtained by sampling $k$ random vertices $v_1,\ldots,v_k$ of $G_{i-1}$ and replacing the induced graph $G_{i-1}[v_1,\ldots,v_k]$ by $\mathcal{R}(G_{i-1}[v_1,\ldots,v_k])$.
Using the formalism of dynamical systems on graphons associated to each such flip process from ibid. we study several specific flip processes, including the triangle removal flip process and its generalizations, 'extremist flip processes' (in which $\mathcal{R}(H)$ is either a clique or an independent set, depending on whether $e(H)$ has less or more than half of all potential edges), and 'ignorant flip processes' in which the output $\mathcal{R}(H)$ does not depend on $H$.