Showing 20 papers (Total: 82064 papers, 47505 authors in database)
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.
On bridge graphs with local antimagic chromatic number 3
Published
• View Publication
• BIB
Let $G=(V, E)$ be a connected graph. A bijection $f: E\to \{1, \ldots, |E|\}$ is called a local antimagic labeling if for any two adjacent vertices $x$ and $y$, $f^+(x)\neq f^+(y)$, where $f^+(x)=\sum_{e\in E(x)}f(e)$ and $E(x)$ is the set of edges incident to $x$. Thus a local antimagic labeling induces a proper vertex coloring of $G$, where the vertex $x$ is assigned the color $f^+(x)$. The local antimagic chromatic number $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this paper, we present some families of bridge graphs with $χ_{la}(G)=3$ and give several ways to construct bridge graphs with $χ_{la}(G)=3$.
Partitioning zero-divisor graphs of finite commutative rings into global defensive alliances
Published
• View Publication
• BIB
For a commutative ring $R$ with identity, the zero-divisor graph of $R$, denoted $Γ(R)$, is the graph whose vertices are the non-zero zero divisors of $R$ with two distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, we are interested in partitioning the vertex set of $Γ(R)$ into global defensive alliances for a finite commutative ring $R$. This problem has been well investigated in graph theory. Here we connected it with the ring theoretical context. We characterize various commutative finite rings for which the zero divisor graph is partitionable into global defensive alliances. We also give several examples to illustrate the scopes and limits of our results.
Uniqueness of an association scheme related to the Witt design on 11 points
Published
• View Publication
• BIB
It follows from Delsarte theory that the Witt $4$-$(11,5,1)$ design gives rise to a $Q$-polynomial association scheme $\mathcal{W}$ defined on the set of its blocks. In this note we show that $\mathcal{W}$ is unique, i.e., defined up to isomorphism by its parameters.
Some Separable integer partition classes
Published
• View Publication
• BIB
Recently, Andrews introduced separable integer partition classes and analyzed some well-known theorems. In this paper, we investigate partitions with parts separated by parity introduced by Andrews with the aid of separable integer partition classes with modulus $2$. We also extend separable integer partition classes with modulus $1$ to overpartitions, called separable overpartition classes. We study overpartitions and the overpartition analogue of Rogers-Ramanujan identities, which are separable overpartition classes.
Flashes and rainbows in tournaments
Colour the edges of the complete graph with vertex set $\{1, 2, \dotsc, n\}$ with an arbitrary number of colours. What is the smallest integer $f(l,k)$ such that if $n > f(l,k)$ then there must exist a monotone monochromatic path of length $l$ or a monotone rainbow path of length $k$? Lefmann, Rödl, and Thomas conjectured in 1992 that $f(l, k) = l^{k - 1}$ and proved this for $l \ge (3 k)^{2 k}$. We prove the conjecture for $l \geq k^3 (\log k)^{1 + o(1)}$ and establish the general upper bound $f(l, k) \leq k (\log k)^{1 + o(1)} \cdot l^{k - 1}$. This reduces the gap between the best lower and upper bounds from exponential to polynomial in $k$. We also generalise some of these results to the tournament setting.
Introduction to Robust Power Domination
Published
• View Publication
• BIB
Sensors called phasor measurement units (PMUs) are used to monitor the electric power network. The power domination problem seeks to minimize the number of PMUs needed to monitor the network. We extend the power domination problem and consider the minimum number of sensors and appropriate placement to ensure monitoring when $k$ sensors are allowed to fail with multiple sensors allowed to be placed in one location. That is, what is the minimum multiset of the vertices, $S$, such that for every $F\subseteq S$ with $|F|=k$, $S\setminus F$ is a power dominating set. Such a set of PMUs is called a $k$-robust power domination set. This paper generalizes the work done by Pai, Chang and Wang in 2010 on vertex-fault-tolerant power domination, which did not allow for multiple sensors to be placed at the same vertex. We provide general bounds and determine the $k$-robust power domination number of some graph families.
The Automorphism Conjecture for Ordered Sets of Width $\leq 11$ (Version 2)
We introduce a recursive method to deconstruct the automorphism group of an ordered set. By connecting this method with deep results for permutation groups, we prove the Automorphism Conjecture for ordered sets of width less than or equal to $11$. Subsequent investigations show that the method presented here could lead to a resolution of the Automorphism Conjecture.
The Power Domination Toolbox
Published
• View Publication
• BIB
Phasor Measurement Units (PMUs) are placed at strategic vertices in an electrical power network to monitor the flow of power. Determining the minimum number and optimal placement of PMUs is modeled by the graph theoretic process called Power Domination. This paper describes the Power Domination Toolbox (PDT), which efficiently identifies a minimum number of PMU locations that monitor the entire network. The PDT leverages graph theoretic literature to reduce the complexity of determining optimal PMU placements by: reducing the order of the graph (contraction), leveraging zero forcing forts, sorting the remaining solution space, and parallel computing. The PDT is a drop-in replacement of the current state-of-the-art exhaustive search algorithm in Python and maintains compatibility with SageMath. The PDT can identify minimum PMU placements for graphs with hundreds of vertices on personal computers and can analyze larger graphs on high performance computers. The PDT affords users the ability to investigate power domination on graphs previously considered infeasible due to the number of vertices resulting in a prohibitively long run-time.