Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cosine polynomials with few zeros
Published
• View Publication
• BIB
In a celebrated paper, Borwein, Erdélyi, Ferguson and Lockhart constructed cosine polynomials of the form \[ f_A(x) = \sum_{a \in A} \cos(ax), \] with $A\subseteq \mathbb{N}$, $|A|= n$ and as few as $n^{5/6+o(1)}$ zeros in $[0,2π]$, thereby disproving an old conjecture of J.E. Littlewood. Here we give a sharp analysis of their constructions and, as a result, prove that there exist examples with as few as $C(n\log n)^{2/3}$ roots.
Oriented Matroids from Triangulations of Products of Simplices
Published
• View Publication
• BIB
We introduce a construction of oriented matroids from a triangulation of a product of two simplices. For this, we use the structure of such a triangulation in terms of polyhedral matching fields. The oriented matroid is composed of compatible chirotopes on the cells in a matroid subdivision of the hypersimplex, which might be of independent interest. In particular, we generalize this using the language of matroids over hyperfields, which gives a new approach to construct matroids over hyperfields. A recurring theme in our work is that various tropical constructions can be extended beyond tropicalization with new formulations and proof methods.
Complexity of $C_k$-coloring in hereditary classes of graphs
Published
• View Publication
• BIB
For a graph $F$, a graph $G$ is \emph{$F$-free} if it does not contain an induced subgraph isomorphic to $F$. For two graphs $G$ and $H$, an \emph{$H$-coloring} of $G$ is a mapping $f:V(G)\rightarrow V(H)$ such that for every edge $uv\in E(G)$ it holds that $f(u)f(v)\in E(H)$. We are interested in the complexity of the problem $H$-{\sc Coloring}, which asks for the existence of an $H$-coloring of an input graph $G$. In particular, we consider $H$-{\sc Coloring} of $F$-free graphs, where $F$ is a fixed graph and $H$ is an odd cycle of length at least 5. This problem is closely related to the well known open problem of determining the complexity of 3-{\sc Coloring} of $P_t$-free graphs.
We show that for every odd $k \geq 5$ the $C_k$-{\sc Coloring} problem, even in the list variant, can be solved in polynomial time in $P_9$-free graphs. The algorithm extends for the case of list version of $C_k$-{\sc Coloring}, where $k$ is an even number of length at least 10.
On the other hand, we prove that if some component of $F$ is not a subgraph of a subdividecd claw, then the following problems are NP-complete in $F$-free graphs: a)extension version of $C_k$-{\sc Coloring} for every odd $k \geq 5$, b) list version of $C_k$-{\sc Coloring} for every even $k \geq 6$.
Antimagic orientation of graphs with minimum degree at least 33
Published
• View Publication
• BIB
An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ has an antimagic orientation if it has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected graph admits an antimagic orientation. In this paper, we show that every bipartite graph without both isolated and degree 2 vertices admits an antimagic orientation and every graph $G$ with $δ(G)\ge 33$ admits an antimagic orientation. Our proof relies on a newly developed structural property of bipartite graphs, which might be of independent interest.
Topological Ramsey spaces of equivalence relations and a dual Ramsey theorem for countable ordinals
Published
• View Publication
• BIB
We define a collection of topological Ramsey spaces consisting of equivalence relations on $ω$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $ω$. To prove the associated pigeonhole principles, we make use of the left-variable Hales-Jewett theorem and its extension to an infinite alphabet. We also show how to transfer the corresponding infinite-dimensional Ramsey results to equivalence relations on countable limit ordinals (up to a necessary restriction on the set of minimal representatives of the equivalence classes) in order to obtain a dual Ramsey theorem for such ordinals.
Cameron-Liebler sets in Hamming graphs
In this paper, we discuss Cameron-Liebler sets in Hamming graphs, obtain several equivalent definitions and present all classification results.
On $α$-adjacency energy of graphs and Zagreb index
Published
• View Publication
• BIB
Let $A(G)$ be the adjacency matrix and $D(G)$ be the diagonal matrix of the vertex degrees of a simple connected graph $G$. Nikiforov defined the matrix $A_α(G)$ of the convex combinations of $D(G)$ and $A(G)$ as $A_α(G)=αD(G)+(1-α)A(G)$, for $0\leq α\leq 1$. If $ ρ_{1}\geq ρ_{2}\geq \dots \geq ρ_{n}$ are the eigenvalues of $A_α(G)$ (which we call $α$-adjacency eigenvalues of $G$), the $ α$-adjacency energy of $G$ is defined as $E^{A_α}(G)=\sum_{i=1}^{n}\left|ρ_i-\frac{2αm}{n}\right|$, where $n$ is the order and $m$ is the size of $G$. We obtain the upper and lower bounds for $E^{A_α}(G) $ in terms of order $n$, size $m$ and Zagreb index $Zg(G)$ associated to the structure of $G$. Further, we characterize the extremal graphs attaining these bounds.
Semicomplete Compositions of Digraphs
Published
• View Publication
• BIB
Let $T$ be a digraph with vertices $u_1, \dots, u_t$ ($t\ge 2$) and let $H_1, \dots, H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1, \dots, H_t]$ is a digraph with vertex set $\{u_{i,j_i}\colon\, 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\colon\, u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete, i.e. there is at least one arc between every pair of vertices. Digraph compositions generalize some families of digraphs, including (extended) semicomplete digraphs, quasi-transitive digraphs and lexicographic product digraphs. In particular, strong semicomplete compositions form a significant generalization of strong quasi-transitive digraphs.
In this paper, we study the structural properties of semicomplete compositions and obtain results on connectivity, paths, cycles, strong spanning subdigraphs and acyclic spanning subgraphs. Our results show that this class of digraphs shares some nice properties of quasi-transitive digraphs.
Faces in random great hypersphere tessellations
Published
• View Publication
• BIB
The concept of typical and weighted typical spherical faces for tessellations of the $d$-dimensional unit sphere, generated by $n$ independent random great hyperspheres distributed according to a non-degenerate directional distribution, is introduced and studied. Probabilistic interpretations for such spherical faces are given and their directional distributions are determined. Explicit formulas for the expected $f$-vector, the expected spherical Quermaßintegrals and the expected spherical intrinsic volumes are found in the isotropic case. Their limiting behaviour as $n\to\infty$ is discussed and compared to the corresponding notions and results in the Euclidean case. The expected statistical dimension and a problem related to intersection probabilities of spherical random polytopes is investigated.
Some formulae for coefficients in restricted $q$-products
Published
• View Publication
• BIB
In this paper, we derive some formulae involving coefficients of polynomials which occur quite naturally in the study of restricted partitions. Our method involves a recently discovered sieve technique by Li and Wan (Sci. China. Math. 2010). Based on this method, by considering cyclic groups of different orders we obtain some new results for these coefficients. The general result holds for any group of the form $\mathbb{Z}_{N}$ where $N\in\mathbb{N}$ and expresses certain partial sums of coefficients in terms of expressions involving roots of unity. By specializing $N$ to different values, we see that these expressions simplify in some cases and we obtain several nice identities involving these coefficients. We also use a result of Sudler (QJMAAT 1964) to obtain an asymptotic formula for the maximum absolute value of these coefficients.
The complexity of approximating the complex-valued Potts model
Published
• View Publication
• BIB
We study the complexity of approximating the partition function of the $q$-state Potts model and the closely related Tutte polynomial for complex values of the underlying parameters. Apart from the classical connections with quantum computing and phase transitions in statistical physics, recent work in approximate counting has shown that the behaviour in the complex plane, and more precisely the location of zeros, is strongly connected with the complexity of the approximation problem, even for positive real-valued parameters. Previous work in the complex plane by Goldberg and Guo focused on $q=2$, which corresponds to the case of the Ising model; for $q>2$, the behaviour in the complex plane is not as well understood and most work applies only to the real-valued Tutte plane.
Our main result is a complete classification of the complexity of the approximation problems for all non-real values of the parameters, by establishing \#P-hardness results that apply even when restricted to planar graphs. Our techniques apply to all $q\geq 2$ and further complement/refine previous results both for the Ising model and the Tutte plane, answering in particular a question raised by Bordewich, Freedman, Lovász and Welsh in the context of quantum computations.
The Maximum Number of Cliques in Hypergraphs without Large Matchings
Published
• View Publication
• BIB
Let $[n]$ denote the set $\{1, 2, \ldots, n\}$ and $\mathcal{F}^{(r)}_{n,k,a}$ be an $r$-uniform hypergraph on the vertex set $[n]$ with edge set consisting of all the $r$-element subsets of $[n]$ that contains at least $a$ vertices in $[ak+a-1]$. For $n\geq 2rk$, Frankl proved that $\mathcal{F}^{(r)}_{n,k,1}$ maximizes the number of edges in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$. Huang, Loh and Sudakov considered a multicolored version of the Erdős matching conjecture, and provided a sufficient condition on the number of edges for a multicolored hypergraph to contain a rainbow matching of size $k$. In this paper, we show that $\mathcal{F}^{(r)}_{n,k,a}$ maximizes the number of $s$-cliques in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$ for sufficiently large $n$, where $a=\lfloor \frac{s-r}{k} \rfloor+1$. We also obtain a condition on the number of $s$-clques for a multicolored $r$-uniform hypergraph to contain a rainbow matching of size $k$, which reduces to the condition of Huang, Loh and Sudakov when $s=r$.
A theory of spectral partitions of metric graphs
We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [Band \textit{et al}, Comm.\ Math.\ Phys.\ \textbf{311} (2012), 815--838] as a special case. We focus on the existence of optimisers for a large class of functionals defined on such partitions, but also study their qualitative properties, including stability, regularity, and parameter dependence. We also discuss in detail their interplay with the theory of nodal partitions. Unlike in the case of domains, the one-dimensional setting of metric graphs allows for explicit computation and analytic -- rather than numerical -- results. Not only do we recover the main assertions in the theory of spectral minimal partitions on domains, as studied in [Conti \textit{et al}, Calc.\ Var.\ \textbf{22} (2005), 45--72; Helffer \textit{et al}, Ann.\ Inst.\ Henri Poincaré Anal.\ Non Linéaire \textbf{26} (2009), 101--138], but we can also generalise some of them and answer (the graph counterparts of) a few open questions.
New families of highly neighborly centrally symmetric spheres
Published
• View Publication
• BIB
In 1995, Josckusch constructed an infinite family of centrally symmetric (cs, for short) triangulations of $3$-spheres that are cs-$2$-neighborly. Recently, Novik and Zheng extended Jockusch's construction: for all $d$ and $n>d$, they constructed a cs triangulation of a $d$-sphere with $2n$ vertices, $Δ^d_n$, that is cs-$\lceil d/2\rceil$-neighborly. Here, several new cs constructions, related to $Δ^d_n$, are provided. It is shown that for all $k>2$ and a sufficiently large $n$, there is another cs triangulation of a $(2k-1)$-sphere with $2n$ vertices that is cs-$k$-neighborly, while for $k=2$ there are $Ω(2^n)$ such pairwise non-isomorphic triangulations. It is also shown that for all $k>2$ and a sufficiently large $n$, there are $Ω(2^n)$ pairwise non-isomorphic cs triangulations of a $(2k-1)$-sphere with $2n$ vertices that are cs-$(k-1)$-neighborly. The constructions are based on studying facets of $Δ^d_n$, and, in particular, on some necessary and some sufficient conditions similar in spirit to Gale's evenness condition. Along the way, it is proved that Jockusch's spheres $Δ^3_n$ are shellable and an affirmative answer to Murai--Nevo's question about $2$-stacked shellable balls is given.
Graph Homomorphism Convolution
Published in PMLR 119, 2020
• Search Publication
In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some family of graphs (e.g. paths or non-isomorphic trees). We show that graph homomorphism numbers provide a natural invariant (isomorphism invariant and $\mathcal{F}$-invariant) embedding maps which can be used for graph classification. Viewing the expressive power of a graph classifier by the $\mathcal{F}$-indistinguishable concept, we prove the universality property of graph homomorphism vectors in approximating $\mathcal{F}$-invariant functions. In practice, by choosing $\mathcal{F}$ whose elements have bounded tree-width, we show that the homomorphism method is efficient compared with other methods.
Pairs of disjoint matchings and related classes of graphs
Published in Involve 16 (2023) 249-264
• View Publication
• BIB
For a finite graph $G$, we study the maximum $2$-edge colorable subgraph problem and a related ratio $\frac{μ(G)}{ν(G)}$, where $ν(G)$ is the matching number of $G$, and $μ(G)$ is the size of the largest matching in any pair $(H,H')$ of disjoint matchings maximizing $|H| + |H'|$ (equivalently, forming a maximum $2$-edge colorable subgraph). Previously, it was shown that $\frac{4}{5} \le \frac{μ(G)}{ν(G)} \le 1$, and the class of graphs achieving $\frac{4}{5}$ was completely characterized. We show here that any rational number between $\frac{4}{5}$ and $1$ can be achieved by a connected graph. Furthermore, we prove that every graph with ratio less than $1$ must admit special subgraphs.
A note on total co-independent domination in trees
Published in Ars Combinatoria (2020)
• View Publication
• BIB
A set $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total domination number of $G$ is the minimum cardinality of any total dominating set of $G$ and is denoted by $γ_t(G)$. The total dominating set $D$ is called a total co-independent dominating set if $V(G)\setminus D$ is an independent set and has at least one vertex. The minimum cardinality of any total co-independent dominating set is denoted by $γ_{t,coi}(G)$. In this paper, we show that, for any tree $T$ of order $n$ and diameter at least three, $n-β(T)\leq γ_{t,coi}(T)\leq n-|L(T)|$ where $β(T)$ is the maximum cardinality of any independent set and $L(T)$ is the set of leaves of $T$. We also characterize the families of trees attaining the extremal bounds above and show that the differences between the value of $γ_{t,coi}(T)$ and these bounds can be arbitrarily large for some classes of trees.
Finite record sets of chip-firing games
Published in Innov. Incidence Geom. 20 (2023) 55-61
• View Publication
• BIB
A finite graph with an assignment of non-negative integers to vertices gives chip-firing games. Chip-firing games determine languages (sets of words) called the record sets of legal games. Björner, Lovász and Shor found several properties that are satisfied by record sets. In this paper, we will find two more properties of record sets. Under the assumption that the record set is finite and the game fires only two vertices, these properties characterize the record sets of graphs.
Directed Steiner tree packing and directed tree connectivity
Published
• View Publication
• BIB
For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, an $(S, r)$-tree is an out-tree $T$ rooted at $r$ with $S\subseteq V(T)$. Two $(S, r)$-trees $T_1$ and $T_2$ are said to be arc-disjoint if $A(T_1)\cap A(T_2)=\emptyset$. Two arc-disjoint $(S, r)$-trees $T_1$ and $T_2$ are said to be internally disjoint if $V(T_1)\cap V(T_2)=S$. Let $κ_{S,r}(D)$ and $λ_{S,r}(D)$ be the maximum number of internally disjoint and arc-disjoint $(S, r)$-trees in $D$, respectively. The generalized $k$-vertex-strong connectivity of $D$ is defined as $$κ_k(D)= \min \{κ_{S,r}(D)\mid S\subset V(D), |S|=k, r\in S\}.$$ Similarly, the generalized $k$-arc-strong connectivity of $D$ is defined as $$λ_k(D)= \min \{λ_{S,r}(D)\mid S\subset V(D), |S|=k, r\in S\}.$$ The generalized $k$-vertex-strong connectivity and generalized $k$-arc-strong connectivity are also called directed tree connectivity which extends the well-established tree connectivity on undirected graphs to directed graphs and could be seen as a generalization of classical connectivity of digraphs.
In this paper, we completely determine the complexity for both $κ_{S, r}(D)$ and $λ_{S, r}(D)$ on general digraphs, symmetric digraphs and Eulerian digraphs. In particular, among our results, we prove and use the NP-completeness of 2-linkage problem restricted to Eulerian digraphs. We also give sharp bounds and characterizations for the two parameters $κ_k(D)$ and $λ_k(D)$.
The Bosonic-Fermionic Diagonal Coinvariant Modules Conjecture
We describe a general conjecture on how one may derive from the generic bosonic case all structural properties of multivariate diagonal coinvariant modules in $k$ sets of $n$ commuting variables (bosons), and $j$ sets of $n$ anticommuting variables (fermions).