Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Composite Community-Aware Diversified Influence Maximization with Efficient Approximation
Published in IEEE/ACM Transactions on Networking, 2023
• View Publication
• BIB
Influence Maximization (IM) is a famous topic in mobile networks and social computing, which aims at finding a small subset of users to maximize the influence spread through online information cascade. Recently, some careful researchers paid attention to diversity of information dissemination, especially community-aware diversity, and formulated the diversified IM problem. The diversity is ubiquitous in a lot of real-world applications, but they are all based on a given community structure. In social networks, we can form heterogeneous community structures for the same group of users according to different metrics. Therefore, how to quantify the diversity based on multiple community structures is an interesting question. In this paper, we propose the Composite Community-Aware Diversified IM (CC-DIM) problem, which aims at selecting a seed set to maximize the influence spread and the composite diversity over all possible community structures under consideration. To address the NP-hardness of CC-DIM problem, we adopt the technique of reverse influence sampling and design a random Generalized Reverse Reachable (G-RR) set to estimate the objective function. The composition of a random G-RR set is much more complex than the RR set used for the IM problem, which will lead to inefficiency of traditional sampling-based approximation algorithms. Because of this, we further propose a two-stage algorithm, Generalized HIST (G-HIST). It can not only return a $(1-1/e-\varepsilon)$ approximate solution with at least $(1-δ)$ probability, but also improve the efficiency of sampling and ease the difficulty of searching by significantly reducing the average size of G-RR sets. Finally, we evaluate our G-HIST on real datasets against existing algorithms. The experimental results show the effectiveness of our proposed algorithm and its superiority over other baseline algorithms.
The First-Order Theory of Binary Overlap-Free Words is Decidable
Published
• View Publication
• BIB
We show that the first-order logical theory of the binary overlap-free words (and, more generally, the $α$-free words for rational $α$, $2 < α \leq 7/3$), is decidable. As a consequence, many results previously obtained about this class through tedious case- based proofs can now be proved "automatically", using a decision procedure.
Pancyclicity of Hamiltonian graphs
An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices, and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. In 1972, Erdős conjectured that every Hamiltonian graph with independence number at most $k$ and at least $n = Ω(k^2)$ vertices is pancyclic. In this paper we prove this old conjecture in a strong form by showing that if such a graph has $n = (2+o(1))k^2$ vertices, it is already pancyclic, and this bound is asymptotically best possible.
On the Second Kahn--Kalai Conjecture
For any given graph $H$, we are interested in $p_\mathrm{crit}(H)$, the minimal $p$ such that the Erdős-Rényi graph $G(n,p)$ contains a copy of $H$ with probability at least $1/2$. Kahn and Kalai (2007) conjectured that $p_\mathrm{crit}(H)$ is given up to a logarithmic factor by a simpler "subgraph expectation threshold" $p_\mathrm{E}(H)$, which is the minimal $p$ such that for every subgraph $H'\subseteq H$, the Erdős-Rényi graph $G(n,p)$ contains \emph{in expectation} at least $1/2$ copies of $H'$. It is trivial that $p_\mathrm{E}(H) \le p_\mathrm{crit}(H)$, and the so-called "second Kahn-Kalai conjecture" states that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E}(H) \log e(H)$ where $e(H)$ is the number of edges in $H$.
In this article, we present a natural modification $p_\mathrm{E, new}(H)$ of the Kahn--Kalai subgraph expectation threshold, which we show is sandwiched between $p_\mathrm{E}(H)$ and $p_\mathrm{crit}(H)$. The new definition $p_\mathrm{E, new}(H)$ is based on the simple observation that if $G(n,p)$ contains a copy of $H$ and $H$ contains \emph{many} copies of $H'$, then $G(n,p)$ must also contain \emph{many} copies of $H'$. We then show that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E, new}(H) \log e(H)$, thus proving a modification of the second Kahn--Kalai conjecture. The bound follows by a direct application of the set-theoretic "spread" property, which led to recent breakthroughs in the sunflower conjecture by Alweiss, Lovett, Wu and Zhang and the first fractional Kahn--Kalai conjecture by Frankston, Kahn, Narayanan and Park.
Counting orientations of random graphs with no directed k-cycles
Published
• View Publication
• BIB
For every $k \geq 3$, we determine the order of growth, up to polylogarithmic factors, of the number of orientations of the binomial random graph containing no directed cycle of length $k$. This solves a conjecture of Kohayakawa, Morris and the last two authors.
Trees maximizing the number of almost-perfect matchings
Published
• View Publication
• BIB
We characterize the extremal trees that maximize the number of almost-perfect matchings, which are matchings covering all but one or two vertices, and those that maximize the number of strong almost-perfect matchings, which are matchings missing only one or two leaves. We also determine the trees that minimize the number of maximal matchings. We apply these results to extremal problems on the weighted Hosoya index for several choices of vertex-degree-based weight function.
The average solution of a TSP instance in a graph
Published
• View Publication
• BIB
We define the average $k$-TSP distance $μ_{tsp,k}$ of a graph $G$ as the average length of a shortest walk visiting $k$ vertices, i.e. the expected length of the solution for a random TSP instance with $k$ uniformly random chosen vertices. We prove relations with the average $k$-Steiner distance and characterize the cases where equality occurs. We also give sharp bounds for $μ_{tsp,k}(G)$ given the order of the graph.
Some exact results for non-degenerate generalized Turán problems
Published
• View Publication
• BIB
The generalized Turán number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ in $n$-vertex $F$-free graphs. We consider the case where $χ(H)<χ(F)$. There are several exact results on $\mathrm{ex}(n,H,F)$ when the extremal graph is a complete $(χ(F)-1)$-partite graph. We obtain multiple exact results with other kinds of extremal graphs.
On List Coloring with Separation of the Complete Graph and Set System Intersections
Published
• View Publication
• BIB
We consider the following list coloring with separation problem: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|= a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and $|\varphi(v)|=b$ for any vertex $u$ and $\varphi(u)\cap \varphi(v)=\emptyset$ for any edge $uv$. Such a value of $c$ is called the separation number of $(G,a,b)$. Using a special partition of a set of lists for which we obtain an improved version of Poincaré's crible, we determine the separation number of the complete graph $K_n$ for some values of $a,b$ and $n$, and prove bounds for the remaining values.
Activity from matroids to rooted trees and beyond
The interior and exterior activities of bases of a matroid are well-known notions that for instance permit one to define the Tutte polynomial. Recently, we have discovered correspondences between the regions of gainic hyperplane arrangements and coloredlabeled rooted trees. Here we define a general activity theory that applies in particular to no-broken circuit (NBC) sets and labeled colored trees. The special case of activity \textsf{0} was our motivating case. As a consequence, in a gainic hyperplane arrangement the number of bounded regions is equal to the number of the corresponding colored labeled rooted trees of activity \textsf{0}.
Siblings of Direct Sums of Chains
Published
• View Publication
• BIB
We prove that a countable direct sum of chains has either one, countably many or else continuum many isomorphism classes of siblings. This proves Thomassé's conjecture for such structures. Further, we show that a direct sum of chains of any cardinality has one or infinitely many siblings, up to isomorphism.
Complements of coalescing sets
We consider matrices of the form $qD+A$, with $D$ being the diagonal matrix of degrees, $A$ being the adjacency matrix, and $q$ a fixed value. Given a graph $H$ and $B\subseteq V(G)$, which we call a coalescent pair $(H,B)$, we derive a formula for the characteristic polynomial where a copy of same rooted graph $G$ is attached by the root to \emph{each} vertex of $B$. Moreover, we establish if $(H_1,B_1)$ and $(H_2,B_2)$ are two coalescent pairs which are cospectral for any possible rooted graph $G$, then $(H_1,V(H_1)\setminus B_1)$ and $(H_2,V(H_2)\setminus B_2)$ will also always be cospectral for any possible rooted graph $G$.
Spectral faux trees
Published in Involve 17 (2024) 651-668
• View Publication
• BIB
A spectral faux tree with respect to a given matrix is a graph which is not a tree but is cospectral with a tree for the given matrix. We consider the existence of spectral faux trees for several matrices, with emphasis on constructions.
For the Laplacian matrix, there are no spectral faux trees. For the adjacency matrix, almost all trees are cospectral with a faux tree. For the signless Laplacian matrix, spectral faux trees can only exist when the number of vertices is of the form $n=4k$. For the normalized adjacency, spectral faux trees exist when the number of vertices $n\ge 4$, and we give an explicit construction for a family whose size grows exponentially with $k$ for $n=αk+1$ where $α$ is fixed.
$Δ$-Springer varieties and Hall-Littlewood polynomials
Published
• View Publication
• BIB
The $Δ$-Springer varieties are a generalization of Springer fibers introduced by Levinson, Woo, and the author that have connections to the Delta Conjecture from algebraic combinatorics. We prove a positive Hall-Littlewood expansion formula for the graded Frobenius characteristic of the cohomology ring of a $Δ$-Springer variety. We do this by interpreting the Frobenius characteristic in terms of counting points over a finite field $\mathbb{F}_q$ and partitioning the $Δ$-Springer variety into copies of Springer fibers crossed with affine spaces. As a special case, our proof method gives a geometric meaning to a formula of Haglund, Rhoades, and Shimozono for the Hall-Littlewood expansion of the symmetric function in the Delta Conjecture at $t=0$.
Transversals in quasirandom latin squares
Published
• View Publication
• BIB
A transversal in an $n \times n$ latin square is a collection of $n$ entries not repeating any row, column, or symbol. Kwan showed that almost every $n \times n$ latin square has $\bigl((1 + o(1)) n / e^2\bigr)^n$ transversals as $n \to \infty$. Using a loose variant of the circle method we sharpen this to $(e^{-1/2} + o(1)) n!^2 / n^n$. Our method works for all latin squares satisfying a certain quasirandomness condition, which includes both random latin squares with high probability as well as multiplication tables of quasirandom groups.
Circular Hessenberg Pairs
Published in Linear Algebra Appl. 655 (2022), 201--235
• View Publication
• BIB
A square matrix is called Hessenberg whenever each entry below the subdiagonal is zero and each entry on the subdiagonal is nonzero. Let $M$ denote a Hessenberg matrix. Then $M$ is called circular whenever the upper-right corner entry of $M$ is nonzero and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. Let $A, A^*$ denote a circular Hessenberg pair. We investigate six bases for the underlying vector space that we find attractive. We display the transition matrices between certain pairs of bases among the six. We also display the matrices that represent $A$ and $A^*$ with respect to the six bases. We introduce a special type of circular Hessenberg pair, said to be recurrent. We show that a circular Hessenberg pair $A, A^*$ is recurrent if and only if $A, A^*$ satisfy the tridiagonal relations. For a circular Hessenberg pair, there is a related object called a circular Hessenberg system. We classify up to isomorphism the recurrent circular Hessenberg systems. To this end, we construct four families of recurrent circular Hessenberg systems. We show that every recurrent circular Hessenberg system is isomorphic to a member of one of the four families.
$\mathbb{Z}$-local system cohomology of hyperplane arrangements and a Cohen-Dimca-Orlik type theorem
Published
• View Publication
• BIB
Local system cohomology groups of the complements of hyperplane arrangements have played an important role in the theory of hypergeometric integrals, the topology of Milnor fibers and covering spaces. One of the important theorems is the vanishing theorem for generic $\mathbb{C}$-local systems which goes back to Aomoto's work. Later, Cohen, Dimca, and Orlik proved a stronger version of the vanishing theorem. In this paper, we prove a Cohen-Dimca-Orlik type theorem for $\mathbb{Z}$-local systems.
Betti numbers and torsions in homology groups of double coverings
Published
• View Publication
• BIB
Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 2023
• View Publication
• BIB
The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.
Existence of $λ$-Fold Non-zero sum Heffter arrays through local considerations
In [12] was introduced, for cyclic groups, the class of partially filled arrays of the non-zero sum Heffter array that are, as the Heffter arrays, related to difference families, graph decompositions, and biembeddings. Here we generalize this definition to any finite groups. Given a subgroup $J$ of order $t$ of a group $G$, a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$, $^λ\mathrm{N}\mathrm{H}_t(m,n; h,k)$, is an $m \times n$ p. f. array with entries in $G$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in G\setminus J$, the sum of the occurrence of $x$ and $-x$ is $λ$; the sum of the elements in every row and column is, following the natural orderings from left to right for the rows and from top to bottom for the columns, different from $0$ (in $G$). In [12], there was presented a complete, probabilistic, solution for the existence problem in case $λ=1$ and $G=\mathbb{Z}_v$ that is the starting point of this investigation. In this paper, we will consider the existence problem for a generic value of $λ$ and a generic finite group $G$, and we present an almost complete solution to this problem. In particular, we will prove, through local considerations (inspired by Lovász Local Lemma), that there exists a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$ whenever the trivial necessary conditions are satisfied and $|G|=v\geq 41$. This value can be turned down to $29$ in case the array does not contain empty cells. Finally, we will show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide new infinite families of such embeddings.