Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Dimensions of the irreducible representations of the symmetric and alternating group
Published
• View Publication
• BIB
We establish the existence of an irreducible representation of $A_n$ whose dimension does not occur as the dimension of an irreducible representation of $S_n$, and vice versa. This proves a conjecture by Tong-Viet. The main ingredient in the proof is a result on large prime factors in short intervals.
A Decomposition of Parking Functions by Undesired Spaces
Published in Electron. J. Comb. 23 (3) (2016) #P3.32
• View Publication
• BIB
There is a well-known bijection between parking functions of a fixed length and maximal chains of the noncrossing partition lattice which we can use to associate to each set of parking functions a poset whose Hasse diagram is the union of the corresponding maximal chains. We introduce a decomposition of parking functions based on the largest number omitted and prove several theorems about the corresponding posets. In particular, they share properties with the noncrossing partition lattice such as local self-duality, a nice characterization of intervals, a readily computable Möbius function, and a symmetric chain decomposition. We also explore connections with order complexes, labeled Dyck paths, and rooted forests.
Endomorphisms of The Hamming Graph and Related Graphs
In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular endomorphisms). However, we do the same for its complement and some related graphs where the Hamming distance is allowed to be one of $1,...,k$, for some $1\leq k\leq m-1$. Ultimately, we consider the same situation where the vertices are tuples in $\mathbb{Z}_{n_1}\times\mathbb{Z}_{n_2}\times\cdots \times\mathbb{Z}_{n_m}$ (not all $n_i$ are equal).
$k$-geometric graphs
A finite, simple and undirected graph $G = (V, E)$ with $p$ vertices and $q$ edges is said to be a $k$-geometric mean graph for a positive integer $k$ if there is an injection $ψ:V(G)\to \{k,k+1,\dots,k+q\}$ such that, when each edge $uv\in E(G)$ is assigned the label $\lfloor\sqrt{ψ(u)ψ(v)}\rfloor$ or $\lceil\sqrt{ψ(u)ψ(v)}\rceil$, the resulting edge label set is $\{k,k+1,...,k+q-1\}$ and $ψ$ is called a \emph{$k$-geometric mean labeling} of $G$. The special case $k=1$, a $1$-geometric mean labeling is called a geometric mean labeling, and a $1$-geometric mean graph is called a geometric mean graph.
In this paper, we present new classes of geometric mean graphs. Then we introduce $k$-geometric mean labeling and prove some classes of graphs are $k$-geometric mean. We also study some classes of finite join of graphs that admit geometric mean labeling.
On the Construction of High Dimensional Simple Games
Published
• View Publication
• BIB
Voting is a commonly applied method for the aggregation of the preferences of multiple agents into a joint decision. If preferences are binary, i.e., "yes" and "no", every voting system can be described by a (monotone) Boolean function $χ\colon\{0,1\}^n\rightarrow \{0,1\}$. However, its naive encoding needs $2^n$ bits. The subclass of threshold functions, which is sufficient for homogeneous agents, allows a more succinct representation using $n$ weights and one threshold. For heterogeneous agents, one can represent $χ$ as an intersection of $k$ threshold functions. Taylor and Zwicker have constructed a sequence of examples requiring $k\ge 2^{\frac{n}{2}-1}$ and provided a construction guaranteeing $k\le {n\choose {\lfloor n/2\rfloor}}\in 2^{n-o(n)}$. The magnitude of the worst-case situation was thought to be determined by Elkind et al.~in 2008, but the analysis unfortunately turned out to be wrong. Here we uncover a relation to coding theory that allows the determination of the minimum number $k$ for a subclass of voting systems. As an application, we give a construction for $k\ge 2^{n-o(n)}$, i.e., there is no gain from a representation complexity point of view.
Proof of some divisibility results on sums involving binomial coefficients
Published in J. Number Theory 180 (2017), 566--572
• View Publication
• BIB
By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued polynomials.
The intricate labyrinth of Collatz sequences
In a previous article, we reduced the unsolved problem of the convergence of Collatz sequences, to convergence of Collatz sequences of odd numbers, that are divisible by 3. In this article, we further reduce this set to odd numbers that are congruent to 21 mod 24. We also show that either the Collatz sequence of a given odd number or an equivalent Collatz sequence reverses to a multiple of 3. Moreover, we construct a network composed of Collatz sequences of all odd numbers.
Orientations of Simplices Determined by Orderings on the Coordinates of their Vertices
Provided n points in an (n-1)-dimensional affine space, and one ordering of the points for each coordinate, we address the problem of testing whether these orderings determine if the points are the vertices of a simplex (i.e. are affinely independent), regardless of the real values of the coordinates. We also attempt to determine the orientation of this simplex. In other words, given a matrix whose columns correspond to affine points, we want to know when the sign (or the non-nullity) of its determinant is implied by orderings given to each row for the values of the row. We completely solve the problem in dimensions 2 and 3. We provide a direct combinatorial characterization, along with a formal calculus method. It can also be viewed as a decision algorithm, and is based on testing the existence of a suitable inductive cofactor expansion of the determinant. We conjecture that our method generalizes in higher dimensions. This work aims to be part of a study on how oriented matroids encode shapes of 3-dimensional landmark-based objects. Specifically, applications include the analysis of anatomical data for physical anthropology and clinical research.
Domination in 3-tournaments
A 3-tournament is a complete 3-uniform hypergraph where each edge has a special vertex designated as its tail. A vertex set $X$ dominates $T$ if every vertex not in $X$ is contained in an edge whose tail is in $X$. The domination number of $T$ is the minimum size of such an $X$. Generalizing well-known results about usual (graph) tournaments, Gyárfás conjectured that there are 3-tournaments with arbitrarily large domination number, and that this is not the case if any four vertices induce two triples with the same tail. In this short note we solve both problems, proving the first conjecture and refuting the second.
$L^q$ norms of Fekete and related polynomials
A Littlewood polynomial is a polynomial in $\mathbb{C}[z]$ having all of its coefficients in $\{-1,1\}$. There are various old unsolved problems, mostly due to Littlewood and Erdős, that ask for Littlewood polynomials that provide a good approximation to a function that is constant on the complex unit circle, and in particular have small $L^q$ norm on the complex unit circle. We consider the Fekete polynomials \[ f_p(z)=\sum_{j=1}^{p-1}(j\mid p)\,z^j, \] where $p$ is an odd prime and $(\,\cdot\mid p)$ is the Legendre symbol (so that $z^{-1}f_p(z)$ is a Littlewood polynomial). We give explicit and recursive formulas for the limit of the ratio of $L^q$ and $L^2$ norm of $f_p(z)$ when $q$ is an even positive integer and $p\to\infty$. To our knowledge, these are the first results that give these limiting values for specific sequences of nontrivial Littlewood polynomials and infinitely many $q$. Similar results are given for polynomials obtained by cyclically permuting the coefficients of Fekete polynomials and for Littlewood polynomials whose coefficients are obtained from additive characters of finite fields. These results vastly generalise earlier results on the $L^4$ norm of these polynomials.
Contagious Sets in Random Graphs
Published
• View Publication
• BIB
We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least $r$ active neighbors. A \emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph $G$, let $m(G,r)$ be the minimal size of a contagious set.
We study this process on the binomial random graph $G:=G(n,p)$ with $p: = \frac{d}{n}$ and $1 \ll d \ll \left(\frac{n \log \log n}{\log^2 n}\right)^{\frac{r-1}{r}}$. Assuming $r > 1$ to be a constant that does not depend on $n$, we prove that $$m(G,r) = Θ\left(\frac{n}{d^{\frac{r}{r-1}}\log d}\right),$$ with high probability. We also show that the threshold probability for $m(G,r)=r$ to hold is $p^*=Θ\left(\frac{1}{(n \log^{r-1} n)^{1/r}}\right)$.
On Betti numbers of flag complexes with forbidden induced subgraphs
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 567-600
• View Publication
• BIB
We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H.
In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number over n-vertex graphs with no induced copy of H has a limit, as n tends to infinity, and, ranging over all H, exactly five different limits are attained.
For the interesting case where H is the 4-cycle, the above limit is 1, and we prove a slightly superpolynomial upper bound.
Hypergraph Versals
Let H be a hypergraph on n vertices with the property that no edge contains another. We prove some results for a special case of the Isolation Lemma when the label set for the edges of H can only take two values. Given any set of vertices S and an edge e, the weight of S in e is the size of e plus the size of the intersection of S and e. A versal S for an edge e is a set of vertices with weight in e smaller than the weight in any other edge. We show that H always has at least n + 1 versals except if H is either the set of all singletons T_n or the complement of T_n or the 4-cycle graph. In those exceptional cases there are only n versals.
Free skew Boolean intersection algebras and set partitions
Published in Order 35 (2018), 1-22
• View Publication
• BIB
We show that atoms of the $n$-generated free left-handed skew Boolean intersection algebra are in a bijective correspondence with pointed partitions of non-empty subsets of $\{1,2,\dots, n\}$. Furthermore, under the canonical inclusion into the $k$-generated free algebra, where $k\geq n$, an atom of the $n$-generated free algebra decomposes into an orthogonal join of atoms of the $k$-generated free algebra in an agreement with the containment relation on the respective partitions. As a consequence of these results, we describe the structure of finite free left-handed skew Boolean intersection algebras and express several their combinatorial characteristics in terms of Bell numbers and Stirling numbers of the second kind. We also look at the infinite case. For countably many generators, our constructions lead to the `partition analogue' of the Cantor tree whose boundary is the `partition variant' of the Cantor set.
Brane Brick Models and 2d (0,2) Triality
Published in JHEP 1605:020,2016
• View Publication
• BIB
We provide a brane realization of 2d (0,2) Gadde-Gukov-Putrov triality in terms of brane brick models. These are Type IIA brane configurations that are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. Triality translates into a local transformation of brane brick models, whose simplest representative is a cube move. We present explicit examples and construct their triality networks. We also argue that the classical mesonic moduli space of brane brick model theories, which corresponds to the probed Calabi-Yau 4-fold, is invariant under triality. Finally, we discuss triality in terms of phase boundaries, which play a central role in connecting Calabi-Yau 4-folds to brane brick models.
Extreme values of the stationary distribution of random walks on directed graphs
Published
• View Publication
• BIB
We examine the stationary distribution of random walks on directed graphs. In particular, we focus on the {\em principal ratio}, which is the ratio of maximum to minimum values of vertices in the stationary distribution. We give an upper bound for this ratio over all strongly connected graphs on $n$ vertices. We characterize all graphs achieving the upper bound and we give explicit constructions for these extremal graphs. Additionally, we show that under certain conditions, the principal ratio is tightly bounded. We also provide counterexamples to show the principal ratio cannot be tightly bounded under weaker conditions.
Maximal $m$-distance sets containing the representation of the Hamming graph $H(n,m)$
Published
• View Publication
• BIB
A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the maximal $m$-distance sets which contain the Euclidean representation of the Johnson graph $J(n,m)$. In this paper, we consider the same problem for the Hamming graph $H(n,m)$. The Euclidean representation of $H(n,m)$ is an $m$-distance set in $\mathbb{R}^{m(n-1)}$. We prove that the maximum $n$ is $m^2 + m - 1$ such that the representation of $H(n,m)$ is not maximal as an $m$-distance set. Moreover we classify the largest $m$-distance sets which contain the representation of $H(n,m)$ for $m\leq 4$ and any $n$. We also classify the maximal $2$-distance sets in $\mathbb{R}^{2n-1}$ which contain the representation of $H(n,2)$ for any $n$.
Constructing Dominating Sets in Circulant Graphs
Published
• View Publication
• BIB
We give an efficient construction of a reasonably small dominating set in a circulant graph on $n$ notes and $k$ distinct chord lengths. This result is based on bounds on some double exponential sums. .
The b-continuity of graphs with large girth
Published
• View Publication
• BIB
A b-coloring of the vertices of a graph is a proper coloring where each color class contains a vertex which is adjacent to each other color class. The b-chromatic number of $G$ is the maximum integer $b(G)$ for which $G$ has a b-coloring with $b(G)$ colors. A graph $G$ is b-continuous if $G$ has a b-coloring with $k$ colors, for every integer $k$ in the interval $[χ(G),b(G)]$. It is known that not all graphs are b-continuous. In this article, we show that if $G$ has girth at least 10, then $G$ is b-continuous.
On the interplay between embedded graphs and delta-matroids
Published
• View Publication
• BIB
The mutually enriching relationship between graphs and matroids has motivated discoveries in both fields. In this paper, we exploit the similar relationship between embedded graphs and delta-matroids. There are well-known connections between geometric duals of plane graphs and duals of matroids. We obtain analogous connections for various types of duality in the literature for graphs in surfaces of higher genus and delta-matroids. Using this interplay, we establish a rough structure theorem for delta-matroids that are twists of matroids, we translate Petrie duality on ribbon graphs to loop complementation on delta-matroids, and we prove that ribbon graph polynomials, such as the Penrose polynomial, the characteristic polynomial, and the transition polynomial, are in fact delta-matroidal. We also express the Penrose polynomial as a sum of characteristic polynomials.