Showing 20 papers (Total: 82797 papers, 47838 authors in database)
On weighted sublinear separators
Consider a graph G with an assignment of costs to vertices. Even if G and all its subgraphs admit balanced separators of sublinear size, G may only admit a balanced separator of sublinear cost after deleting a small set Z of exceptional vertices. We improve the bound on |Z| from O(log |V(G)|) to O(log log...log |V(G)|), for any fixed number of iterations of the logarithm.
On partial Steiner $(n,r,\ell)$-system process
For given integers $r$ and $\ell$ such that $2\leqslant\ell\leqslant r-1$, an $r$-uniform hypergraph $H$ is called a partial Steiner $(n,r,\ell)$-system, if every subset of size $\ell$ lies in at most one edge of $H$. In particular, partial Steiner $(n,r,2)$-systems are also called linear hypergraphs. The partial Steiner $(n,r,\ell)$-system process starts with an empty hypergraph on vertex set $[n]$ at time $0$, the $ \binom{n}{r}$ edges arrive one by one according to a uniformly chosen permutation, and each edge is added if and only if it does not overlap any of the previously-added edges in $\ell$ or more vertices. In this paper, we show with high probability, independent of $\ell$, the sharp threshold of connectivity in the algorithm is $ \frac{n}{r}\log n$ and the very edge which links the last isolated vertex with another vertex makes the partial Steiner $(n,r,\ell)$-system connected.
Discrete harmonic functions on infinite penny graphs
Published
• View Publication
• BIB
In this paper, we study discrete harmonic functions on infinite penny graphs. For an infinite penny graph with bounded facial degree, we prove that the volume doubling property and the Poincaré inequality hold, which yields the Harnack inequality for positive harmonic functions. Moreover, we prove that the space of polynomial growth harmonic functions, or ancient solutions of the heat equation, with bounded growth rate has finite dimensional property.
On Quasisymmetric Functions with Two Bordering Variables
We extend past results on a family of formal power series $K_{n, Λ}$, parameterized by $n$ and $Λ\subseteq [n]$, that largely resemble quasisymmetric functions. This family of functions was conjectured to have the property that the product $K_{n, Λ}K_{m, Ω}$ of any two functions $K_{n, Λ}$ and $K_{m, Ω}$ from the family can be expressed as a linear combination of other functions from the family. In this paper, we show that this is indeed the case and that the span of the $K_{n, Λ}$'s forms an algebra. We also provide techniques for examining similar families of functions and a formula for the product $K_{n, Λ}K_{m, Ω}$ when $n=1$.
Product Matrix Processes with Symplectic and Orthogonal Invariance via Symmetric Functions
Published
• View Publication
• BIB
We apply symmetric function theory to study random processes formed by singular values of products of truncations of Haar distributed symplectic and orthogonal matrices. These product matrix processes are degenerations of Macdonald processes introduced by Borodin and Corwin. Through this connection, we obtain explicit formulae for the distribution of singular values of a deterministic matrix multiplied by a truncated Haar orthogonal or symplectic matrix under conditions where the latter factor acts as a rank $1$ perturbation. Consequently, we generalize the recent Kieburg-Kuijlaars-Stivigny formula for the joint singular value density of a product of truncated unitary matrices to symplectic and orthogonal symmetry classes. Specializing to products of two symplectic matrices with a rank $1$ perturbative factor, we show that the squared singular values form a Pfaffian point process.
The expressive power of kth-order invariant graph networks
The expressive power of graph neural network formalisms is commonly measured by their ability to distinguish graphs. For many formalisms, the k-dimensional Weisfeiler-Leman (k-WL) graph isomorphism test is used as a yardstick. In this paper we consider the expressive power of kth-order invariant (linear) graph networks (k-IGNs). It is known that k-IGNs are expressive enough to simulate k-WL. This means that for any two graphs that can be distinguished by k-WL, one can find a k-IGN which also distinguishes those graphs. The question remains whether k-IGNs can distinguish more graphs than k-WL. This was recently shown to be false for k=2. Here, we generalise this result to arbitrary k. In other words, we show that k-IGNs are bounded in expressive power by k-WL. This implies that k-IGNs and k-WL are equally powerful in distinguishing graphs.
A new upper bound for separating words
We prove that for any distinct $x,y \in \{0,1\}^n$, there is a deterministic finite automaton with $\widetilde{O}(n^{1/3})$ states that accepts $x$ but not $y$. This improves Robson's 1989 upper bound of $\widetilde{O}(n^{2/5})$.
Colour-biased Hamilton cycles in random graphs
Published
• View Publication
• BIB
We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.
Infinite Stable Graphs With Large Chromatic Number
Published
• View Publication
• BIB
We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices.
The Covering Numbers of the McLaughlin Group and some Primitive Groups of Low Degree
Published
• View Publication
• BIB
A \emph{finite cover} of a group $G$ is a finite collection $\mathcal{C}$ of proper subgroups of $G$ with the property that $\bigcup \mathcal{C} = G$. A finite group admits a finite cover if and only if it is noncyclic. More generally, it is known that a group admits a finite cover if and only if it has a finite, noncyclic homomorphic image. If $\mathcal{C}$ is a finite cover of a group $G$, and no cover of $G$ with fewer subgroups exists, then $\mathcal{C}$ is said to be a \emph{minimal cover} of $G$, and the cardinality of $\mathcal{C}$ is called the \emph{covering number} of $G$, denoted by $σ(G)$. Here we investigate the covering numbers of the McLaughlin sporadic simple group and some low degree primitive groups.
The socle tableau as a dual version of the Littlewood-Richardson tableau
Published in J. London Math. Soc (2) 106 (2022), 1357-1379
• View Publication
• BIB
Like the LR-tableau, a socle tableau is given as a skew diagram with certain entries. Unlike in the LR-tableau, the entries in the socle tableau are weakly increasing in each row, strictly increasing in each column and satisfy a modified lattice permutation property. In the study of embeddings of a subgroup in a finite abelian $p$-group, socle tableaux occur as isomorphism invariants, they are given by the socle series of the subgroup. We show that each socle tableau can be realized by some embedding. Moreover, the socle tableau of an embedding and the LR-tableau of the dual embedding determine each other.
A half-integral Erdős-Pósa theorem for directed odd cycles
Published
• View Publication
• BIB
We prove that there exists a function $f:\mathbb{N}\rightarrow \mathbb{R}$ such that every directed graph $G$ contains either $k$ directed odd cycles where every vertex of $G$ is contained in at most two of them, or a set of at most $f(k)$ vertices meeting all directed odd cycles. We also give a polynomial-time algorithm for fixed $k$ which outputs one of the two outcomes. Using this algorithmic result, we give a polynomial-time algorithm for fixed $k$ to decide whether such $k$ directed odd cycles exist, or there are no $k$ vertex-disjoint directed odd cycles. This extends the half-integral Erdős-Pósa theorem for undirected odd cycles by Reed [Combinatorica 1999] to directed graphs.
Counting on Euler and Bernoulli Number Identities
Published
• View Publication
• BIB
While there are many identities involving the Euler and Bernoulli numbers, they are usually proved analytically or inductively. We prove two identities involving Euler and Bernoulli numbers with combinatorial reasoning via up-down permutations.
Phylogenetic networks as circuits with resistance distance
Published
• View Publication
• BIB
Phylogenetic networks are notoriously difficult to reconstruct. Here we suggest that it can be useful to view unknown genetic distance along edges in phylogenetic networks as analogous to unknown resistance in electric circuits. This resistance distance, well known in graph theory, turns out to have nice mathematical properties which allow the precise reconstruction of networks. Specifically we show that the resistance distance for a weighted 1-nested network is Kalmanson, and that the unique associated circular split network fully represents the splits of the original phylogenetic network (or circuit). In fact, this full representation corresponds to a face of the balanced minimal evolution polytope for level-1 networks. Thus the unweighted class of the original network can be reconstructed by either the greedy algorithm neighbor-net or by linear programming over a balanced minimal evolution polytope. We begin study of 2-nested networks with both minimum path and resistance distance, and include some counting results for 2-nested networks.
A graphical calculus for integration over random diagonal unitary matrices
Published in Linear Algebra and its Applications Volume 613, 15 March 2021, Pages 46-86
• View Publication
• BIB
We provide a graphical calculus for computing averages of tensor network diagrams with respect to the distribution of random vectors containing independent uniform complex phases. Our method exploits the order structure of the partially ordered set of uniform block permutations. A similar calculus is developed for random vectors consisting of independent uniform signs, based on the combinatorics of the partially ordered set of even partitions. We employ our method to extend some of the results by Johnston and MacLean on the family of local diagonal unitary invariant matrices. Furthermore, our graphical approach applies just as well to the real (orthogonal) case, where we introduce the notion of triplewise complete positivity to study the condition for separability of the relevant bipartite matrices. Finally, we analyze the twirling of linear maps between matrix algebras by independent diagonal unitary matrices, showcasing another application of our method.
Crossings and nestings over some Motzkin objects and $q$-Motzkin numbers
Published in The electronic journal of combinatorics 28(3)(2021), #P3.14
• View Publication
• BIB
We examine the enumeration of certain Motzkin objects according to the numbers of crossings and nestings. With respect to continued fractions, we compute and express the distributions of the statistics of the numbers of crossings and nestings over three sets, namely the set of $4321$-avoiding involutions, the set of $3412$-avoiding involutions, and the set of $(321,3\bar{1}42)$-avoiding permutations. To get our results, we exploit the bijection of Biane restricted to the sets of $4321$- and $3412$-avoiding involutions which was characterized by Barnabei et al.~ and the bijection between $(321,3\bar{1}42)$-avoiding permutations and Motzkin paths, presented by Chen et al.~. Furthermore, we manipulate the obtained continued fractions to get the recursion formulas for the polynomial distributions of crossings and nestings, and it follows that the results involve two new $q$-Motzkin numbers.
Differential games, locality and model checking for FO logic of graphs
We introduce differential games for FO logic of graphs, a variant of Ehrenfeucht-Fraïssé games in which the game is played on only one graph and the moves of both players restricted. We prove that, in a certain sense, these games are strong enough to capture essential information about graphs from graph classes which are interpretable in nowhere dense graph classes. This, together with the newly introduced notion of differential locality and the fact that the restriction of possible moves by the players makes it easy to decide the winner of the game in some cases, leads to a new approach to the FO model checking problem on interpretations of nowhere dense graph classes.
Equality of various graphs on finite semigroups
In this paper, we consider various graphs, namely: power graph, cyclic graph, enhanced power graph and commuting graph, on a finite semigroup $S$. For an arbitrary pair of these four graphs, we classify finite semigroups such that the graphs in this pair are equal. In this connection, for each of the graph we also give a necessary and sufficient condition on $S$ such that it is complete. The work of this paper generalize the corresponding results obtained for groups.
A class of graphs with large rankwidth
Published in Discrete Mathematics, Volume 347, Issue 1, 2024, 113699
• View Publication
• BIB
We describe several graphs with arbitrarily large rankwidth (or equivalently with arbitrarily large cliquewidth). Korpelainen, Lozin, and Mayhill [Split permutation graphs, Graphs and Combinatorics, 30(3):633-646, 2014] proved that there exist split graphs with Dilworth number 2 with arbitrarily large rankwidth, but without explicitly constructing them. We provide an explicit construction. Maffray, Penev, and Vušković [Coloring rings, Journal of Graph Theory 96(4):642-683, 2021] proved that graphs that they call rings on $n$ sets can be colored in polynomial time. We show that for every fixed integer $n\geq 3$, there exist rings on $n$ sets with arbitrarily large rankwidth. When $n\geq 5$ and $n$ is odd, this provides a new construction of even-hole-free graphs with arbitrarily large rankwidth.
Difference sets in higher dimensions
Published in Math. Proc. Camb. Phil. Soc. 171 (2021) 467-480
• View Publication
• BIB
Let $d \geq 3$ be a natural number. We show that for all finite, non-empty sets $A \subseteq \mathbb{R}^d$ that are not contained in a translate of a hyperplane, we have \[ |A-A| \geq (2d-2)|A| - O_d(|A|^{1- δ}),\] where $δ>0$ is an absolute constant only depending on $d$. This improves upon an earlier result of Freiman, Heppes and Uhrin, and makes progress towards a conjecture of Stanchescu.