Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Unitriangular basic sets for blocks of the symmetric and alternating groups of small weights
Published
• View Publication
• BIB
We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.
An energy decomposition theorem for matrices and related questions
Published
• View Publication
• BIB
Given $A\subseteq GL_2(\mathbb{F}_q)$, we prove that there exist disjoint subsets $B, C\subseteq A$ such that $A = B \sqcup C$ and their additive and multiplicative energies satisfying \[ \max\{\,E_{+}(B),\, E_{\times}(C)\,\}\ll \frac{|A|^3}{M(|A|)}, \] where \begin{equation*} \label{eqn:MAminBVPolyLSSS}
M(|A|) = \min\Bigg\{\,\frac{q^{4/3}}{|A|^{1/3}(\log|A|)^{2/3}},\, \frac{|A|^{4/5}}{q^{13/5}(\log|A|)^{27/10}}\,\Bigg\}. \end{equation*} We also study some related questions on moderate expanders over matrix rings, namely, for $A, B, C\subseteq GL_2(\mathbb{F}_q)$, we have \[|AB+C|, ~|(A+B)C|\gg q^4,\] whenever $|A||B||C|\gg q^{10 + 1/2}$. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh (2019).
Entropy-Based Proofs of Combinatorial Results on Bipartite Graphs
Published
• View Publication
• BIB
This work considers new entropy-based proofs of some known, or otherwise refined, combinatorial bounds for bipartite graphs. These include upper bounds on the number of the independent sets, lower bounds on the minimal number of colors in constrained edge coloring, and lower bounds on the number of walks of a given length in bipartite graphs. The proofs of these combinatorial results rely on basic properties of the Shannon entropy.
On t-relaxed coloring of complete multi-partite graphs
Let $G$ be a graph and $t$ a nonnegative integer. Suppose $f$ is a mapping from the vertex set of $G$ to $\{1,2,\dots, k\}$. If, for any vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $f(v)=f(u)$ is less than or equal to $t$, then $f$ is called a $t$-relaxed $k$-coloring of $G$. And $G$ is said to be $(k,t)$-colorable. The $t$-relaxed chromatic number of $G$, denote by $χ_t(G)$, is defined as the minimum integer $k$ such that $G$ is $(k,t)$-colorable. A set $S$ of vertices in $G$ is $t$-sparse if $S$ induces a graph with a maximum degree of at most $t$. Thus $G$ is $(k,t)$-colorable if and only if the vertex set of $G$ can be partitioned into $k$ $t$-sparse sets. It was proved by Belmonte, Lampis and Mitsou (2017) that the problem of deciding if a complete multi-partite graph is $(k,t)$-colorable is NP-complete. In this paper, we first give tight lower and up bounds for the $t$-relaxed chromatic number of complete multi-partite graphs. And then we design an algorithm to compute maximum $t$-sparse sets of complete multi-partite graphs running in $O((t+1)^2)$ time. Applying this algorithm, we show that the greedy algorithm for $χ_t(G)$ is $2$-approximate and runs in $O(tn)$ time steps (where $n$ is the vertex number of $G$). In particular, we prove that for $t\in \{1,2,3,4,5,6\}$, the greedy algorithm produces an optimal $t$-relaxed coloring of a complete multi-partite graph. While, for $t\ge 7$, examples are given to illustrate that the greedy strategy does not always construct an optimal $t$-relaxed coloring.
On the $q$-Enumeration of Barely Set-Valued Tableaux and Plane Partitions
Published in European Journal of Combinatorics, 113, 2023
• View Publication
• BIB
Barely set-valued tableaux are a variant of Young tableaux in which one box contains two numbers as its entry. It has recently been discovered that there are product formulas enumerating certain classes of barely set-valued tableaux. We give some $q$-analogs of these product formulas by introducing a version of major index for these tableaux. We also give product formulas and $q$-analogs for barely set-valued plane partitions. Many of the results are stated in the generality of $P$-partitions that then specialize to particularly nice formulas for rectangles and minuscule posets. The proofs use several probability distributions on the set of order ideals of a poset, depending on the real parameter $q>0$, which we think could be of independent interest.
A linear algorithm for radio $k$-coloring of powers of paths having small diameters
Published
• View Publication
• BIB
The radio $k$-chromatic number $rc_k(G)$ of a graph $G$ is the minimum integer $λ$ such that there exists a function $φ: V(G) \to \{0,1,\cdots, λ\}$ satisfying $|φ(u)-φ(v)| \geq k+1 - d(u,v)$, where $d(u,v)$ denotes the distance between $u$ and $v$. A considerable amount of attention has been given to find the exact values or providing polynomial time algorithms to determine $rc_k(G)$ for several basic graph families such as paths, cycles, trees, and powers of paths, usually for some specific values of $k$.
In this article, we find the exact values of $rc_k(G)$ where $G$ is a power of a path with diameter strictly less than $k$. Our proof readily provides a linear time algorithm for assigning a radio $k$-coloring of $G$. Furthermore, our proof technique is a potential tool for solving the same problem for other classes of graphs having ``small'' diameters.
Subdivergence-free gluings of trees
A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection with connected permutations, and we give algorithms to compute subdivergence-free gluings.
Gaussian Unitary Ensemble in random lozenge tilings
Published
• View Publication
• BIB
This paper establishes a universality result for scaling limits of uniformly random lozenge tilings of large domains. We prove that whenever a boundary of the domain has three adjacent straight segments inclined under 120 degrees to each other, the asymptotics of tilings near the middle segment is described by the GUE--corners process of random matrix theory. An important step in our argument is to show that fluctuations of the height function of random tilings on essentially arbitrary simply-connected domains of diameter $N$ have smaller magnitude than $N^{1/2}$.
Factor-of-iid balanced orientation of non-amenable graphs
Published in European Journal of Combinatorics, vol. 115 (2024), p. 103784
• View Publication
• BIB
We show that if a non-amenable, quasi-transitive, unimodular graph $G$ has all degrees even then it has a factor-of-iid balanced orientation, meaning each vertex has equal in- and outdegree. This result involves extending earlier spectral-theoretic results on Bernoulli shifts to the Bernoulli graphings of quasi-transitive, unimodular graphs. As a consequence, we also obtain that when $G$ is regular (of either odd or even degree) and bipartite, it has a factor-of-iid perfect matching. This generalizes a result of Lyons and Nazarov beyond transitive graphs.
On minimum $ (K_{1,r};k) $-vertex stable graphs on the exact number of vertices
A graph $ G $ is said to be $ (H;k) $-vertex stable if $ G $ contains a~subgraph isomorphic to $ H $ even after removing any $ k $ of its vertices alongside with their incident edges. We will denote by $ \text{stab}(H;k) $ the minimum size among sizes of all $ (H;k) $-vertex stable graphs. In this paper we consider a~case where the structure $ H $ is a~star graph $ K_{1,r} $ and the the number of vertices in $ G $ is exact, \ie equal to $ 1 + r + k $. We will show that under the above assumptions $ \text{stab}(K_{1,r};k) $ equals either $ \frac{1}{2}(k + 1)(2r + k) $, $ \frac{1}{2}\big((r + k)^{2} - 1\big) $ or $ \frac{1}{2}(r + k)^{2} $. Moreover, we will characterize all the extremal graphs.
Detecting Viruses in Contact Networks with Unreliable Detectors
This paper develops and analyzes optimization models for rapid detection of viruses in large contact networks. In the model, a virus spreads in a stochastic manner over an undirected connected graph, under various assumptions on the spread dynamics. A decision maker must place a limited number of detectors on a subset of the nodes in the graph in order to rapidly detect infection of the nodes by the virus. The objective is to determine the placement of these detectors so as to either maximize the probability of detection within a given time period or minimize the expected time to detection. Previous work in this area assumed that the detectors are perfectly reliable. In this work, it is assumed that the detectors may produce false-negative results. In computational studies, the sample average approximation method is applied to solving the problem using a mixed-integer program and a greedy heuristic. The heuristic is shown to be highly efficient and to produce high-quality solutions. In addition, it is shown that the false-negative effect can sometimes be ignored, without significant loss of solution quality, in the original optimization formulation.
Additive complements for two given asymptotic densities
Let $0\le α\le β\le 1$. For any finite set $B\subset\mathbb{N}$, we show that there exists a set $A\subset\mathbb{N}$ such that $\underline{d}(A+B) = α$ and $\bar{d}(A+B) = β$, where $\underline{d}(A+ B)$ and $\bar{d}(A+B)$ are the lower and upper asymptotic densities of the set $A+B$, respectively. This partially answers a question by Faisant et al. A theorem involving the so-called highly sparse sets was proved in the previous arXiv version of this note; however, as pointed out by Sai Teja Somu, the proof of the theorem was flawed. The theorem is now an open question.
On maximal green sequence for quivers arising from weighted projective lines
Published in Algebr. Represent. Theory (2023) 26, 1713-1729
• View Publication
• BIB
We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $\mathcal{C}_\mathbb{X}$ of a weighted projective line $\mathbb{X}$. It is proved that there exists a quiver $Q'$ in the mutation equivalence class $\operatorname{Mut}(Q)$ such that $Q'$ admits a maximal green sequence. On the other hand, there is a quiver in $\operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $\mathbb{X}$ is of wild type.
Adjacency Energy of Hypergraphs
Published
• View Publication
• BIB
In this paper, we define and obtain several properties of the (adjacency) energy of a hypergraph. In particular, bounds for this energy are obtained as functions of structural and spectral parameters, such as Zagreb index and spectral radius. We also study how the energy of a hypergraph varies when a vertex/edge is removed or when an edge is divied. In addition, we solved the extremal problem energy for the class of hyperstars, and show that the energy of a hypergraph is never an odd number.
On rainbow-free colourings of uniform hypergraphs
Published in Theor. Comput. Sci., 885(11), pp. 69-76, 2021
• View Publication
• BIB
We study rainbow-free colourings of $k$-uniform hypergraphs; that is, colourings that use $k$ colours but with the property that no hyperedge attains all colours. We show that $p^*=(k-1)(\ln n)/n$ is the threshold function for the existence of a rainbow-free colouring in a random $k$-uniform hypergraph.
Hamiltonicity of 3-tough $(K_2 \cup 3K_1)$-free graphs
Chvátal conjectured in 1973 the existence of some constant $t$ such that all $t$-tough graphs with at least three vertices are hamiltonian. While the conjecture has been proven for some special classes of graphs, it remains open in general. We say that a graph is $(K_2 \cup 3K_1)$-free if it contains no induced subgraph isomorphic to $K_2 \cup 3K_1$, where $K_2 \cup 3K_1$ is the disjoint union of an edge and three isolated vertices. In this paper, we show that every 3-tough $(K_2 \cup 3K_1)$-free graph with at least three vertices is hamiltonian.
Periodic Infinite Frieze Patterns of Type $Λ_{p_1,\ldots,p_n}$ and Dissections on Annuli
Finite frieze patterns with entries in $\mathbb{Z}[λ_{p_1},\ldots,λ_{p_s}]$ where $\{p_1,\ldots,p_s\} \subseteq \mathbb{Z}_{\geq 3}$ and $λ_p = 2 \cos(π/p)$ were shown to have a connection to dissected polygons by Holm and Jorgensen. We extend their work by studying the connection between infinite frieze patterns with such entries and dissections of annuli and once-punctured discs. We give an algorithm to determine whether a frieze pattern with entries in $\mathbb{Z}[λ_{p_1},\ldots,λ_{p_s}]$, finite or infinite, comes from a dissected surface. We introduce quotient dissections as a realization for some frieze patterns unrealizable by an ordinary dissection. We also introduce two combinatorial interpretations for entries of frieze patterns from dissected surfaces. These interpretations are a generalization of matchings introduced by Broline, Crowe, and Isaacs for finite frieze patterns over $\mathbb{Z}$.
More on total domination polynomial and $\mathcal{D}_t$-equivalence classes of some graphs
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. Two graphs $G$ and $H$ are said to be total dominating equivalent or simply $\mathcal{D}_t$-equivalent, if $D_t(G,x)=D_t(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}_t$-equivalent to $G$. In this paper, we investigate $\mathcal{D}_t$-equivalence classes of some graphs. Also we introduce some families of graphs whose total domination polynomials are unimodal.
Comparing the topology of phylogenetic network generators
Published
• View Publication
• BIB
Phylogenetic networks represent evolutionary history of species and can record natural reticulate evolutionary processes such as horizontal gene transfer and gene recombination. This makes phylogenetic networks a more comprehensive representation of evolutionary history compared to phylogenetic trees. Stochastic processes for generating random trees or networks are important tools in evolutionary analysis, especially in phylogeny reconstruction where they can be utilized for validation or serve as priors for Bayesian methods. However, as more network generators are developed, there is a lack of discussion or comparison for different generators. To bridge this gap, we compare a set of phylogenetic network generators by profiling topological summary statistics of the generated networks over the number of reticulations and comparing the topological profiles.
On orders of automorphisms of vertex-transitive graphs
In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex-transitive graphs. In particular, we show that the order of every automorphism of a connected vertex-transitive graph with $n$ vertices and of valence $d$, $d\le 4$, is at most $c_d n$ where $c_3=1$ and $c_4 = 9$. Whether such a constant $c_d$ exists for valencies larger than $4$ remains an unanswered question. Further, we prove that every automorphism $g$ of a finite connected $3$-valent vertex-transitive graph $Γ$, $Γ\not\cong K_{3,3}$, has a regular orbit, that is, an orbit of $\langle g \rangle$ of length equal to the order of $g$. Moreover, we prove that in this case either $Γ$ belongs to a well understood family of exceptional graphs or at least $5/12$ of the vertices of $Γ$ belong to a regular orbit of $g$. Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms $C$ of a connected $3$-valent vertex-transitive graph $Γ$ in terms of the number of vertices of $Γ$ and the length of a longest orbit of $C$.