Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Algebraic Degrees of 3-Dimensional Polytopes
Published
• View Publication
• BIB
Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of $3$-polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained realization spaces of polytopes.
A tale of two balloons
Published
• View Publication
• BIB
From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Is every point contained in balloons infinitely often or not? We answer this for the Euclidean space, the hyperbolic plane and regular trees.
The result for the Euclidean space relies on a novel 0-1 law for stationary processes. Towards establishing the results for the hyperbolic plane and regular trees, we prove an upper bound on the density of any well-separated set in a regular tree which is a factor of an i.i.d. process.
Pre-canonical bases on affine Hecke algebras
Published
• View Publication
• BIB
For any affine Weyl group, we introduce the pre-canonical bases. They are a set of bases $\{\mathbf{N}^i\}_{1\leq i \leq m+1} $ (where $m$ is the height of the highest root) of the spherical Hecke algebra that interpolates between the standard basis $\mathbf{N}^1$ and the canonical basis $\mathbf{N}^{m+1}$. The expansion of $\mathbf{N}^{i+1}$ in terms of the $\mathbf{N}^i$ is in many cases very simple and we conjecture that in type $A$ it is positive.
Permutations avoiding sets of patterns with long monotone subsequences
We enumerate permutations that avoid all but one of the $k$ patterns of length $k$ starting with a monotone increasing subsequence of length $k-1$. We compare the size of such permutation classes to the size of the class of permutations avoiding the monotone increasing subsequence of length $k-1$.
Binary Signed-Digit Integers, the Stern Diatomic Sequence and Stern Polynomials
Stern's diatomic sequence is a well-studied and simply defined sequence with many fascinating characteristics. The binary signed-digit (BSD) representation of integers is used widely in efficient computation, coding theory and other applications. We link these two objects, showing that the number of $i$-bit binary signed-digit representations of an integer $n<2^i$ is the $(2^i-n)^\text{th}$ element in Stern's diatomic sequence.
This correspondence makes the vast range of results known about the Stern diatomic sequence available for consideration in the study of binary signed-digit integers, and vice versa. Applications of this relationship discussed in this paper include a weight-distribution theorem for BSD representations, linking these representations to Stern polynomials, a recursion for the number of optimal BSD representations of an integer along with their Hamming weight, stemming from an easy recursion for the leading coefficients and degrees of Stern polynomials, and the identification of all integers having a maximal number of such representations.
Ramsey numbers of large books
Published
• View Publication
• BIB
A book $B_n$ is a graph which consists of $n$ triangles sharing a common edge. In 1978, Rousseau and Sheehan conjectured that the Ramsey number satisfies $r(B_m,B_n)\le 2(m+n)+c$ for some constant $c>0$. In this paper, we obtain that $r(B_m, B_n)\le 2(m+n)+o(n)$ for all $m\le n$ and $n$ large, which confirms the conjecture of Rousseau and Sheehan asymptotically. As a corollary, our result implies that a related conjecture of Faudree, Rousseau and Sheehan (1982) on strongly regular graph holds asymptotically.
Characterization of Graphs with Villainy 2
Let $f$ be an optimal proper coloring of a graph $G$ and let $c$ be a coloring of the vertices of $G$ obtained by permuting the colors on vertices in the proper coloring $f$. The villainy of $c$, written $B(c)$, is the minimum number of vertices that must be recolored to obtain a proper coloring of $G$ with the additional condition that the number of times each color is used does not change. The villainy of $G$ is defined as $B(G)=max_{c}B(c)$, over all optimal proper colorings of $G$. In this paper, we characterize graphs $G$ with $B(G)=2$.
Three supercongruences for Apery numbers or Franel numbers
Published
• View Publication
• BIB
The Apéry numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove three supercongruences for Apéry numbers or Franel numbers conjectured by Z.-W. Sun. Let $p\geq 5$ be a prime and let $n\in \mathbb{Z}^{+}$. We show that \begin{align} \notag \frac{1}{n}\bigg(\sum_{k=0}^{pn-1}(2k+1)A_k-p\sum_{k=0}^{n-1}(2k+1)A_k\bigg)\equiv0\pmod{p^{4+3ν_p(n)}} \end{align} and \begin{align}\notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(2k+1)^3A_k-p^3\sum_{k=0}^{n-1}(2k+1)^3A_k\bigg)\equiv0\pmod{p^{6+3ν_p(n)}}, \end{align} where $ν_p(n)$ denotes the $p$-adic order of $n$. Also, for any prime $p$ we have \begin{align} \notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(3k+2)(-1)^kf_k-p^2\sum_{k=0}^{n-1}(3k+2)(-1)^kf_k\bigg)\equiv0\pmod{p^{3}}. \end{align}
Generalized Opinion Dynamics Model for Social Trust Networks in Opinion Maximization
Published
• View Publication
• BIB
In this paper, we propose a generalized opinion dynamics model (GODM), which can dynamically compute each person's expressed opinion, to solve the internal opinion maximization problem for social trust networks. In the model, we propose a new, reasonable and interpretable confidence index, which is determined by both person's social status and the evaluation around him. By using the theory of diagonally dominant, we obtain the optimal analytic solution of the Nash equilibrium with maximum overall opinion. We design a novel algorithm to maximize the overall with given budget by modifying the internal opinions of people in the social trust network, and prove its optimality both from the algorithm itself and the traditional optimization algorithm-ADMM algorithms with $l_1$-regulations. A series of experiments are conducted, and the experimental results show that our method is superior to the state-of-the-art in four datasets. The average benefit has promoted $67.5\%$, $83.2\%$, $31.5\%$, and $33.7\%$ on four datasets, respectively.
Unipotent quantum coordinate ring and prefundamental representations for types $A_n^{(1)}$ and $D_n^{(1)}$
Published in International Mathematics Research Notices, 2, (2023), 1119-1172
• View Publication
• BIB
We give a new realization of the prefundamental representations $L^\pm_{r,a}$ introduced by Hernandez and Jimbo, when the quantum loop algebra $U_q(\mathfrak{g})$ is of types $A_n^{(1)}$ and $D_n^{(1)}$, and the $r$-th fundamental weight $\varpi_r$ for types $A_n$ and $D_n$ is minuscule. We define an action of the Borel subalgebra $U_q(\mathfrak{b})$ of $U_q(\mathfrak{g})$ on the unipotent quantum coordinate ring associated to the translation by $-\varpi_r$, and show that it is isomorphic to $L^\pm_{r,a}$. We then give a combinatorial realization of $L^+_{r,a}$ in terms of the Lusztig data of the dual PBW vectors.
Expansion in Cayley graphs, Cayley sum graphs and their twists
The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non-isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non-isomorphic Cayley graphs of $\mathrm{PSL}_d(\mathbb F_q)$ for every $d\geq 5$ ($d \neq 6$) and prime power $q> 2$. In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non-isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non-expanders and Ramanujan graphs formed by these three variants.
Ordering chemical graphs by Sombor indices and its applications
Published
• View Publication
• BIB
Topological indices are a class of numerical invariants that predict certain physical and chemical properties of molecules. Recently, two novel topological indices, named as Sombor index and reduced Sombor index, were introduced by Gutman, defined as $$SO(G)=\sum_{uv\in E(G)}\sqrt{d_{G}^{2}(u)+d_{G}^{2}(v)},$$ $$SO_{red}(G)=\sum_{uv\in E(G)}\sqrt{(d_{G}(u)-1)^{2}+(d_{G}(v)-1)^{2}},$$ where $d_{G}(u)$ denotes the degree of vertex $u$ in $G$.
In this paper, our aim is to order the chemical trees, chemical unicyclic graphs, chemical bicyclic graphs and chemical tricyclic graphs with respect to Sombor index and reduced Sombor index. We determine the first fourteen minimum chemical trees, the first four minimum chemical unicyclic graphs, the first three minimum chemical bicyclic graphs, the first seven minimum chemical tricyclic graphs. At last, we consider the applications of reduced Sombor index to octane isomers.
Hitting all maximum independent sets
We describe an infinite family of graphs $G_n$, where $G_n$ has $n$ vertices, independence number at least $n/4$, and no set of less than $\sqrt{n}/2$ vertices intersects all its maximum independent sets. This is motivated by a question of Bollobás, Erdős and Tuza, and disproves a recent conjecture of Friedgut, Kalai and Kindler. Motivated by a related question of the last authors, we show that for every graph $G$ on $n$ vertices with independence number $(1/4+\eps)n$, the average independence number of an induced subgraph of $G$ on a uniform random subset of the vertices is at most $(1/4+\eps-Ω(\eps^2)) n$.
Heuristic Algorithms for Best Match Graph Editing
Published
• View Publication
• BIB
Best match graphs (BMGs) are a class of colored digraphs that naturally appear in mathematical phylogenetics and can be approximated with the help of similarity measures between gene sequences, albeit not without errors. The corresponding graph editing problem can be used as a means of error correction. Since the arc set modification problems for BMGs are NP-complete, efficient heuristics are needed if BMGs are to be used for the practical analysis of biological sequence data. Since BMGs have a characterization in terms of consistency of a certain set of rooted triples, we consider heuristics that operate on triple sets. As an alternative, we show that there is a close connection to a set partitioning problem that leads to a class of top-down recursive algorithms that are similar to Aho's supertree algorithm and give rise to BMG editing algorithms that are consistent in the sense that they leave BMGs invariant. Extensive benchmarking shows that community detection algorithms for the partitioning steps perform best for BMG editing.
Paint Cost and the Frugal Distinguishing Number
Published
• View Publication
• BIB
You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if there exists a coloring with $d$ colors so that only the trivial automorphism preserves the color classes. The distinguishing number of $G$, denoted ${\rm Dist}(G)$, is the smallest $d$ for which $G$ is $d$-distinguishable. We define the -paint cost of $d$-distinguishing, denoted $ρ^d(G)$, to be the minimum number of vertices that need to be painted to $d$-distinguish $G$. This cost varies with $d$. The maximum paint cost for $G$ is called the upper paint cost, denoted $ρ^u(G)$, and occurs when $d={\rm Dist}(G)$; the minimum paint cost is called the lower paint cost, denoted $ρ^\ell(G)$. Further, we define the smallest $d$ for which the paint cost is $ρ^\ell(G)$, to be the frugal distinguishing number, ${\rm Fdist}(G)$. In this paper we formally define $ρ^d(G)$, $ρ^u(G)$, $ρ^\ell(G)$, and ${\rm Fdist}(G)$. We also show that $ρ^u(G)$ and $ρ^\ell(G)$, as well as ${\rm Fdist}(G)$ and ${\rm Dist}(G)$, can be arbitrarily large multiples of each other. Lastly, we find these parameters for the book graph $B_{m,n}$, summarized as follows. For $n\geq 2$ and $m\geq 4$, we show
$\bullet$ $ρ^\ell(B_{m,n}) = n-1;$
$\bullet$ $ρ^u(B_{m,n}) \geq (m-2) \left( n-k^{m-3} \right) +1$, where $k={\rm Dist}(B_{m,n});$
$\bullet$ ${\rm Fdist}(B_{m,n}) = 2+\left\lfloor \frac{n-1}{m-2} \right\rfloor.$
Cycle factors in randomly perturbed graphs
We study the problem of finding pairwise vertex-disjoint copies of the $\ell$-vertex cycle $C_\ell$ in the randomly perturbed graph model, which is the union of a deterministic $n$-vertex graph $G$ and the binomial random graph $G(n,p)$. For $\ell \ge 3$ we prove that asymptotically almost surely $G \cup G(n,p)$ contains $\min \{δ(G), \lfloor n/\ell \rfloor \}$ pairwise vertex-disjoint cycles $C_\ell$, provided $p \ge C \log n/n$ for $C$ sufficiently large. Moreover, when $δ(G) \geαn$ with $0<α\le 1/\ell$ and $G$ is not `close' to the complete bipartite graph $K_{αn,(1-α) n}$, then $p \ge C/n$ suffices to get the same conclusion. This provides a stability version of our result. In particular, we conclude that $p \ge C/n$ suffices when $α>1/\ell$ for finding $\lfloor n/\ell \rfloor$ cycles $C_\ell$.
Our results are asymptotically optimal. They can be seen as an interpolation between the Johansson--Kahn--Vu Theorem for $C_\ell$-factors and the resolution of the El-Zahar Conjecture for $C_\ell$-factors by Abbasi.
Bounds on half graph orders in powers of sparse graphs
Half graphs and their variants, such as ladders, semi-ladders and co-matchings, are combinatorial objects that encode total orders in graphs. Works by Adler and Adler (Eur. J. Comb.; 2014) and Fabiański et al. (STACS; 2019) prove that in the powers of sparse graphs, one cannot find arbitrarily large objects of this kind. However, these proofs either are non-constructive, or provide only loose upper bounds on the orders of half graphs and semi-ladders. In this work we provide nearly tight asymptotic lower and upper bounds on the maximum order of half graphs, parameterized on the distance, in the following classes of sparse graphs: planar graphs, graphs with bounded maximum degree, graphs with bounded pathwidth or treewidth, and graphs excluding a fixed clique as a minor.
The most significant part of our work is the upper bound for planar graphs. Here, we employ techniques of structural graph theory to analyze semi-ladders in planar graphs through the notion of cages, which expose a topological structure in semi-ladders. As an essential building block of this proof, we also state and prove a new structural result, yielding a fully polynomial bound on the neighborhood complexity in the class of planar graphs.
Trees with few leaves in tournaments
Published
• View Publication
• BIB
We prove that there exists $C>0$ such that any $(n+Ck)$-vertex tournament contains a copy of every $n$-vertex oriented tree with $k$ leaves, improving the previously best known bound of $n+O(k^2)$ vertices to give a result tight up to the value of $C$. Furthermore, we show that, for each $k$, there exists $n_0$, such that, whenever $n\geqslant n_0$, any $(n+k-2)$-vertex tournament contains a copy of every $n$-vertex oriented tree with at most $k$ leaves, confirming a conjecture of Dross and Havet.
Modular Relations of the Tutte Symmetric Function
Published in Journal of Combinatorial Theory Series A, Volume 187, April 2022, 105572
• View Publication
• BIB
For a graph $G$, its Tutte symmetric function $XB_G$ generalizes both the Tutte polynomial $T_G$ and the chromatic symmetric function $X_G$. We may also consider $XB$ as a map from the $t$-extended Hopf algebra $\mathbb{G}[t]$ of labelled graphs to symmetric functions.
We show that the kernel of $XB$ is generated by vertex-relabellings and a finite set of modular relations, in the same style as a recent analogous result by Penaguiao on the chromatic symmetric function $X$. In particular, we find one such relation that generalizes the well-known triangular modular relation of Orellana and Scott, and build upon this to give a modular relation of the Tutte symmetric function for any two-edge-connected graph that generalizes the $n$-cycle relation of Dahlberg and van Willigenburg. Additionally, we give a structural characterization of all local modular relations of the chromatic and Tutte symmetric functions, and prove that there is no single local modification that preserves either function on simple graphs.
We also give an expansion relating $XB_G$ to $X_{G/S}$ as $S$ ranges over all subsets of $E(G)$, use this to extend results on the chromatic symmetric function to the Tutte symmetric function, and show that analogous formulas hold for a Tutte quasisymmetric function on digraphs.
Inducibility of the Net Graph
A graph $F$ is called a fractalizer if for all $n$ the only graphs which maximize the number of induced copies of $F$ on $n$ vertices are the balanced iterated blow ups of $F$. While the net graph is not a fractalizer, we show that the net is nearly a fractalizer. Let $N(n)$ be the maximum number of induced copies of the net graph among all graphs on $n$ vertices. For sufficiently large $n$ we show that, $N(n) = x_1\cdot x_2 \cdot x_3 \cdot x_4 \cdot x_5 \cdot x_6 + N(x_1) + N(x_2) + N(x_3) + N(x_4) + N(x_5) + N(x_6)$ where $σx_i = n$ and all $x_i$ are as equal as possible. Furthermore, we show that the unique graph which maximizes $N(6^k)$ is the balanced iterated blow up of the net for $k$ sufficiently large. We expand on the standard flag algebra and stability techniques through more careful counting and numerical optimization techniques.