Showing 20 papers (Total: 83842 papers, 48355 authors in database)
The number of topological types of trees
Published
• View Publication
• BIB
Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal $κ$ there are exactly $κ^+$ distinct topological types of trees of size $κ$. This solves a problem of van der Holst from 2005.
On generic universal rigidity on the line
Published in Proceedings of the 12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest (March 2023)
• Search Publication
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
Tiling, spectrality and aperiodicity of connected sets
Published
• View Publication
• BIB
Let $Ω\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $Ω$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that $Ω$ admits an orthogonal basis of exponential functions if and only if it tiles $\mathbb{R}^d$ by translations. Both conjectures are known to be false in sufficiently high dimensions, with all the so-far-known counterexamples being highly disconnected. On the other hand, both conjectures are known to be true for convex sets. In this work we study these conjectures for connected sets. We show that the periodic tiling conjecture, as well as both directions of Fuglede's conjecture are false for connected sets in sufficiently high dimensions.
Settling the nonorientable genus of the nearly complete bipartite graphs
Published
• View Publication
• BIB
A graph is said to be nearly complete bipartite if it can be obtained by deleting a set of independent edges from a complete bipartite graph. The nonorientable genus of such graphs is known except in a few cases where the sizes of the partite classes differ by at most one, and a maximum matching is deleted. We resolve these missing cases using three classic tools for constructing genus embeddings of the complete bipartite graphs: current graphs, diamond sums, and the direct rotation systems of Ringel.
Equitable Choosability of Prism Graphs
Published
• View Publication
• BIB
A graph $G$ is equitably $k$-choosable if, for every $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\left\lceil |V(G)|/k\right\rceil$ vertices. Equitable list-coloring was introduced by Kostochka, Pelsmajer, and West in 2003. They conjectured that a connected graph $G$ with $Δ(G)\geq 3$ is equitably $Δ(G)$-choosable, as long as $G$ is not complete or $K_{d,d}$ for odd $d$. In this paper, we use a discharging argument to prove their conjecture for the infinite family of prism graphs.
Network Routing on Regular Digraphs and Their Line Graphs
Published
• View Publication
• BIB
This paper concerns all-to-all network routing on regular digraphs. In previous work we focused on efficient routing in highly symmetric digraphs with low diameter for fixed degree. Here, we show that every connected regular digraph has an all-to-all routing scheme and associated schedule with no waiting. In fact, this routing scheme becomes more efficient as the diameter goes down with respect to the degree and number of vertices. Lastly, we examine the simple scheduling algorithm called ``farthest-distance-first'' and prove that it yields optimal schedules for all-to-all communication in networks of interest, including Kautz graphs.
Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold
Published
• View Publication
• BIB
For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is a subset of $n$ vertices where all of the edges between them receive a common color. If $n$ is fixed and $\frac{s}{r}$ is less than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is known to grow exponentially in $r$, while if $\frac{s}{r}$ is greater than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is bounded. Here we prove bounds for $R(n;r,s)$ in the intermediate range where $\frac{s}{r}$ is close to $1 - \frac{1}{n-1}$ by establishing a connection to the maximum size of error-correcting codes near the zero-rate threshold.
Bijective enumeration of general stacks
Published
• View Publication
• BIB
Combinatorial enumeration of various RNA secondary structures and protein contact maps, is of great interest for both combinatorists and computational biologists. Enumeration of protein contact maps has considerable difficulties due to the significant higher vertex degree than that of RNA secondary structures. The state of art maximum vertex degree in previous works is two. This paper proposes a solution for counting stacks in protein contact maps with arbitrary vertex degree upper bound. By establishing bijection between such general stacks and $m$-regular $Λ$-avoiding $DLU$ paths, and counting the paths using theories of pattern avoiding lattice paths, we obtain a unified system of equations for generating functions of general stacks. We also show that previous enumeration results for RNA secondary structures and protein contact maps can be derived from the unified equation system as special cases.
Non-uniform skew versions of Bollobás' Theorem
Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be subsets of $[n]$ and let $t$ be a non-negative integer with the following property: $|A_i \cap B_i|\leq t$ for each $i$ and $|A_i\cap B_j|>t$ whenever $i< j$. Then $m\leq 2^{n-t}$. Our proof uses Lovász' tensor product method.
We prove the following skew version of Bollobás' Theorem. Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be finite sets of $[n]$ satisfying the conditions $A_i \cap B_i =\emptyset$ for each $i$ and $A_i\cap B_j\ne \emptyset$ for each $i< j$. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ Both upper bounds are sharp.
Symmetric Products and a Cartan-type formula for polyhedral products
Published
• View Publication
• BIB
We give a geometric method for determining the cohomology groups of a polyhedral product under suitable freeness conditions or with coefficients taken in a field. This is done by considering first the special case for which the pairs of spaces are wedge decomposable. We derive a decomposition for these polyhedral products which resembles a Cartan formula. The theory of symmetric products is used then to generalize the result to polyhedral products involving arbitrary pairs. This leads to a direct computation of the Hilbert-Poincaré series and to other applications.
Transmutations from the Covariant Transform on the Heisenberg Group and an Extended Umbral Principle
Published in Lobachevskii J. Math, 2023, Vol. 44, No. 8, pp. 3384-3397
• View Publication
• BIB
We discuss several seemingly assorted objects: the umbral calculus, generalised translations and associated transmutations, symbolic calculus of operators. The common framework for them is representations of the Weyl algebra of the Heisenberg group by ladder operators. Transporting various properties between different implementations we review some classic results and new opportunities.
Pretty good state transfer among large sets of vertices
Published
• View Publication
• BIB
In a continuous-time quantum walk on a network of qubits, pretty good state transfer is the phenomenon of state transfer between two vertices with fidelity arbitrarily close to 1. We construct families of graphs to demonstrate that there is no bound on the size of a set of vertices that admit pretty good state transfer between any two vertices of the set.
Cohomology of open sets
If G is a finite abstract simplicial complex and K is a subcomplex of G and U=G-K is the open complement of K in G, the Betti vectors of K and U and G satisfy the inequality b(G) less or equal b(K)+b(U).
Testing Isomorphism of Graphs in Polynomial Time
Given a graph $G$, the graph $[G]$ obtained by adding, for each pair of vertices of $G$, a unique vertex adjacent to both vertices is called the binding graph of $G$. In this work, we show that the class of binding graphs is graph-isomorphism complete and that the stable partitions of binding graphs by the Weisfeiler-Lehman (WL) algorithm produce automorphism partitions. To test the isomorphism of two graphs $G$ and $H$, one computes the stable graph of the binding graph $[G\uplus H]$ for the disjoint union graph $G\uplus H$. The automorphism partition reveals the isomorphism of $G$ and $H$. Because the WL algorithm is a polynomial-time procedure, the claim can be made that the graph-isomorphism problem is in complexity class $\mathtt{P}$.
Minimum degree conditions for rainbow triangles
Published
• View Publication
• BIB
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on a common vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. In this paper we consider the following question: what triples of minimum degree conditions $(δ(G_1), δ(G_2), δ(G_3))$ guarantee the existence of a rainbow triangle? This may be seen as a minimum degree version of a problem of Aharoni, DeVos, de la Maza, Montejanos and Šámal on density conditions for rainbow triangles, which was recently resolved by the authors. We establish that the extremal behaviour in the minimum degree setting differs strikingly from that seen in the density setting, with discrete jumps as opposed to continuous transitions. Our work leaves a number of natural questions open, which we discuss.
Finite matchability under the matroidal Hall's condition
Aharoni and Ziv conjectured that if $ M $ and $ N $ are finitary matroids on $ E $, then a certain ``Hall-like'' condition is sufficient to guarantee the existence of an $ M $-independent spanning set of $ N $. We show that their condition ensures that every finite subset of $ E $ is $ N $-spanned by an $ M $-independent set.
On reduction for eigenfunctions of graphs
In this work, we prove a general version of the reduction lemmas for eigenfunctions of graphs admitting involutive automorphisms of a special type.
On the edge-Erdős-Pósa property of walls
We show that walls of size at least $6 \times 4$ do not have the edge-Erdős-Pósa property.
Near-unanimity-closed minions of Boolean functions
Published in Algebra Universalis 86 (2025) Art. 2
• View Publication
• BIB
The near-unanimity-closed minions of Boolean functions, i.e., the clonoids whose target algebra contains a near-unanimity function, are completely described. The key concept towards this result is the minorant-minor partial order and its order ideals.
Moore-Penrose inverse of incidence matrices
We present explicit formulas for Moore-Penrose inverses of some families of set inclusion matrices arising from sets, vector spaces, and designs.