Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Spinor-Helicity Varieties
Published
• View Publication
• BIB
The spinor-helicity formalism in particle physics gives rise to natural subvarieties in the product of two Grassmannians. These include two-step flag varieties for subspaces of complementary dimension. Taking Hadamard products leads to Mandelstam varieties. We study these varieties through the lens of combinatorics and commutative algebra, and we explore their tropicalization, positive geometry, and scattering correspondence.
Recurrence and transience for non-Archimedean and directed graphs
Published
• View Publication
• BIB
We introduce the notion of recurrence and transience for graphs over non-Archimedean ordered field. To do so we relate these graphs to random walks of directed graphs over the reals. In particular, we give a characterization of the real directed graphs which can arise is such a way. As a main result, we give characterization for recurrence and transience in terms of a quantity related to the capacity.
On the total Italian domination number in digraphs
Consider a finite simple digraph $D$ with vertex set $V(D)$. An Italian dominating function (IDF) on $D$ is a function $f:V(D)\rightarrow\{0,1,2\}$ satisfying every vertex $u$ with $f(u)=0$ has an in-neighbor $v$ with $f(v)=2$ or two in-neighbors $w$ and $z$ with $f(w)=f(z)=1$. A total Italian dominating function (TIDF) on $D$ is an IDF $f$ such that the subdigraph $D[\{ u\, |\, f(u)\ge 1\}]$ contains no isolated vertices. The weight $ω(f)$ of a TIDF $f$ on $D$ is $\sum_{u\in V(D)}f(u)$. The total Italian domination number of $D$ is $γ_{tI}(D)=\min\{ ω(f)\, |\, \mbox{$f$ is a TIDF on $D$}\}$.
In this paper, we present bounds on $γ_{tI}(D)$, and investigate the relationship between several different domination parameters. In particular, we give the total Italian domination number of the Cartesian products $P_2\Box P_n$ and $P_3\Box P_n$, where $P_n$ represents a dipath with $n$ vertices.
The generalized Tur'{a}n number of long cycles in graphs and bipartite graphs
Given a graph $T$ and a family of graphs $\mathcal{F}$, the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n, T , \mathcal{F})$. When $T= K_2$, it reduces to the classical Turán number $ex(n, \mathcal{F})$.
Let $ex_{bip}(b,n, T , \mathcal{F})$ be the maximum number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with
two parts of sizes $b$ and $n$, respectively. Let $P_k$ be the path on $k$ vertices, $\mathcal{C}_{\ge k}$ be the family of all cycles with length at least $k$ and $M_k$ be a matching with $k$ edges.
In this article, we determine $ex_{bip}(b,n, K_{s,t}, \mathcal{C}_{\ge 2n-2k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, for $b\ge n\ge 2k+2r$ and $k\in \mathbb{Z}$, which generalizes a theorem of Moon and Moser, a theorem of Jackson and gives an affirmative evidence supporting a conjecture of Adamus and Adamus. As corollaries of our main result, we determine $ex_{bip}(b,n, K_{s,t}, P_{2n-2k})$ and $ex_{bip}(b,n, K_{s,t}, M_{n-k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Wang. Moreover, we determine $ex(n, K_{s,t}, \mathcal{C}_{\ge k})$ and $ex(n, K_{s,t}, P_{k})$ respectively in a connected
graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Lu, Yuan and Zhang.
Non-commutative error correcting codes and proper subgroup testing
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the following problem: Devise a randomized algorithm that given a subgroup $H$ of $G$, decides whether $H$ is the whole group or a proper subgroup, by checking whether a single (random) element of $G$ is in $H$. The search for such an algorithm boils down to the following purely group theoretic problem: For $G$ of rank $k$, find a small as possible test subset $A\subseteq G$ such that for every proper subgroup $H$, $|H\cap A|\leq (1-δ)|A|$ for some absolute constant $δ>0$, which we call the detection probability of $A$. It turns out that the search for sets $A$ of size linear in $k$ and constant detection probability is a non-commutative analogue of the classical search for families of good error correcting codes. This paper is devoted to proving that such test subsets exist, which implies good universal error correcting codes exist -- providing a far reaching generalization of the classical result of Shannon.
In addition, we study this problem in certain subclasses of groups -- such as abelian, nilpotent, and finite solvable groups -- providing different constructions of test subsets for these subclasses with various qualities. Finally, this generalized theory of non-commutative error correcting codes suggests a plethora of interesting problems and research directions.
Spectral conditions implying the existence of doubly chorded cycles without or with constraints
What spectral conditions imply a graph contains a chorded cycle? This question was asked by R.J. Gould in 2022. We answer two modified versions of Gould's question by giving tight spectral conditions that imply the existence of doubly chorded cycle, and a doubly chorded cycle with two chords incident to a vertex, respectively.
The coherent rank of a graph with three eigenvalues
Published
• View Publication
• BIB
We characterise graphs that have three distinct eigenvalues and coherent ranks 8 and 9, linking the former to certain symmetric 2-designs and the latter to specific quasi-symmetric 2-designs. This characterisation leads to the discovery of a new biregular graph with three distinct eigenvalues. Additionally, we demonstrate that the coherent rank of a triregular graph with three distinct eigenvalues is at least 14. Finally, we introduce a conjecturally infinite family of biregular graphs with three distinct eigenvalues, obtained by switching the block graphs of orthogonal arrays.
Discrete trace formulas and holomorphic functional calculus for the adjacency matrix of regular graphs
We provide a unified method to study the adjacency matrices of regular graphs (including infinite ones) using holomorphic functional calculus. By applying this calculus on a specific ellipse that contains the spectrum, we derive an expansion of $h(A)$ using non-backtracking matrices. This framework allows us to systematically obtain discrete trace formulas that link spectral theory with graph combinatorics. To show how this method works, we give new proofs for several well-known problems, such as walk counting, the Ihara-Bass formula, and solutions to the heat and Schrödinger equations on graphs.
Preserving and Increasing Symmetries of Polyhedral Maps
Published
• View Publication
• BIB
In this article we investigate the question which local symmetry preserving operations can not only preserve, but also increase the symmetry of a polyhedral map. Often operations that can increase symmetry, can nevertheless not do so for polyhedral maps of every genus. So for maps that can increase symmetry, we also investigate for which genera they can do so. We give complete answers for operations with inflation factor at most 6 (that is: that increase the number of edges by a factor of at most 6) and for the chemically relevant Goldberg-Coxeter operations and the leapfrog operation.
Counting of surfaces and computational complexity in column sums of symmetric group character tables
The character table of the symmetric group $S_n$, of permutations of $n$ objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$ to a sum of structure constants of multiplication in the centre of the group algebra of $S_n$. The identity leads to the proof that a combinatorial computation of the column sum belongs to complexity class \shP. The sum of structure constants has an interpretation in terms of the counting of branched covers of the sphere. This allows the identification of a tractable subset of the structure constants related to genus zero covers. We use this subset to prove that the column sum for a conjugacy class labelled by partition $λ$ is non-vanishing if and only if the permutations in the conjugacy class are even. This leads to the result that the determination of the vanishing or otherwise of the column sum is in complexity class \pP. The subset gives a positive lower bound on the column sum for any even $ λ$. For any disjoint decomposition of $ λ$ as $λ_1 \sqcup λ_2 $ we obtain a lower bound for the column sum at $ λ$ in terms of the product of the column sums for $ λ_1$ and$λ_2$. This can be expressed as a super-additivity property for the logarithms of column sums of normalized characters.
Tight Toughness and Isolated Toughness for $\{K_2,C_n\}$-factor critical avoidable graph
A spannning subgraph $F$ of $G$ is a $\{K_2,C_n\}$-factor if each component of $F$ is either $K_{2}$ or $C_{n}$. A graph $G$ is called a $(\{K_2,C_n\},n)$-factor critical avoidable graph if $G-X-e$ has a $\{K_2,C_n\}$-factor for any $S\subseteq V(G)$ with $|X|=n$ and $e\in E(G-X)$. In this paper, we first obtain a sufficient condition with regard to isolated toughness of a graph $G$ such that $G$ is $\{K_2,C_{n}\}$-factor critical avoidable. In addition, we give a sufficient condition with regard to tight toughness and isolated toughness of a graph $G$ such that $G$ is $\{K_2,C_{2i+1}|i \geqslant 2\}$-factor critical avoidable respectively.
A Multidimensional Rado Theorem
Published
• View Publication
• BIB
We extend Deuber's theorem on $(m,p,c)$-sets to hold over the multidimensional positive integer lattices. This leads to a multidimensional Rado theorem where we are guaranteed monochromatic multidimensional points in all finite colorings of $\left(\mathbb{Z}^+\right)^d$ where the $i^{\mathrm{th}}$ set of coordinates satisfies the $i^{\mathrm{th}}$ given linear Rado system.
A reduction of the "cycles plus $K_4$'s" problem
Published
• View Publication
• BIB
Let $H$ be a 2-regular graph and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. The "cycles plus $K_4$'s" problem is to show that $G$ is 4-colourable; this is a special case of the \emph{Strong Colouring Conjecture}. In this paper we reduce the "cycles plus $K_4$'s" problem to a specific 3-colourability problem. In the 3-colourability problem, vertex-disjoint triangles are glued (in a limited way) onto a disjoint union of triangles and paths of length at most 12, and we ask for 3-colourability of the resulting graph.
Distance Reducing Markov Bases
Published
• View Publication
• BIB
The distance reducing property for Markov bases is an important property that provides a bound on the mixing time of the associated Markov chain. The goal of this project is to understand properties of distance-reducing Markov bases. We explore the distance reducing property for monomial curves and give a complete characterisation of distance reduction in the case of complete intersection monomial curves. Our characterisation carefully uses the notion of gluings for numerical semigroups. We also characterise the distance reducing property for non-complete intersection monomial curves in small dimensions. We also explore the distance irreducible elements: the moves that appear in all distance reducing Markov bases.
Fairness in Social Influence Maximization via Optimal Transport
Published
• View Publication
• BIB
We study fairness in social influence maximization, whereby one seeks to select seeds that spread a given information throughout a network, ensuring balanced outreach among different communities (e.g. demographic groups). In the literature, fairness is often quantified in terms of the expected outreach within individual communities. In this paper, we demonstrate that such fairness metrics can be misleading since they overlook the stochastic nature of information diffusion processes. When information diffusion occurs in a probabilistic manner, multiple outreach scenarios can occur. As such, outcomes such as ``In 50% of the cases, no one in group 1 gets the information, while everyone in group 2 does, and in the other 50%, it is the opposite'', which always results in largely unfair outcomes, are classified as fair by a variety of fairness metrics in the literature. We tackle this problem by designing a new fairness metric, mutual fairness, that captures variability in outreach through optimal transport theory. We propose a new seed-selection algorithm that optimizes both outreach and mutual fairness, and we show its efficacy on several real datasets. We find that our algorithm increases fairness with only a minor decrease (and at times, even an increase) in efficiency.
A Hilton-Milner theorem for exterior algebras
Published
• View Publication
• BIB
Recent work of Scott and Wilmer and of Woodroofe extends the Erdős-Ko-Rado theorem from set systems to subspaces of k-forms in an exterior algebra. We prove an extension of the Hilton-Milner theorem to the exterior algebra setting, answering in a strong way a question asked by these authors.
The Repetition Threshold for Rote Sequences
We consider Rote words, which are infinite binary words with factor complexity $2n$. We prove that the repetition threshold for this class is $5/2$. Our technique is purely computational, using the Walnut theorem prover and a new technique for generating automata from morphisms due to the first author and his co-authors.
Equidistant dimension of Johnson and Kneser graphs
In this paper the recently introduced concept of equidistant dimension $eqdim(G)$ of graph $G$ is considered. Useful property of distance-equalizer set of arbitrary graph $G$ has been established. For Johnson graphs $J_{n,2}$ and Kneser graphs $K_{n,2}$ exact values for $eqdim(J_{n,2})$ and $eqdim(K_{n,2})$ have been derived, while for Johnson graphs $J_{n,3}$ it is proved that $eqdim(J_{n,3}) \le n-2$. Finally, exact value of $eqdim(J_{2k,k})$ for odd $k$ has been presented.
Power Quotients of Plactic-like Monoids
Published in EPTCS 403, 2024, pp. 12-17
• View Publication
• BIB
In this paper we describe the quotients of several plactic-like monoids by the least congruences containing the relations $a^{σ(a)} = a$ with $σ(a)\ge 2$ for every generator $a$. The starting point for this description is the recent paper of Abram and Reutenauer about the so-called stylic monoid which happens to be the quotient of the plactic monoid by the relations $a^2 = a$ for every letter $a$. The plactic-like monoids considered are the plactic monoid itself, the Chinese monoid, and the sylvester monoid. In each case we describe: a set of normal forms, and the idempotents; and obtain formulae for their size.
Type-B analogue of Bell numbers using Rota's Umbral calculus approach
Published in EPTCS 403, 2024, pp. 43-48
• View Publication
• BIB
Rota used the functional L to recover old properties and obtain some new formulas for the Bell numbers. Tanny used Rota's functional L and the celebrated Worpitzky identity to obtain some expression for the ordered Bell numbers, which can be seen as an evident to the fact that the ordered Bell numbers are gamma-positive. In this paper, we extend some of Rota's and Tanny's results to the framework of the set partitions of Coxeter type B.