Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Multiplicity of eigenvalues of cographs
Published
• View Publication
• BIB
Motivated by the linear time algorithm that locates the eigenvalues of a cograph G [10], we investigate the multiplicity of eigenvalue for λ\neq -1,0. For cographs with balanced cotrees we determine explicitly the highest value for the multiplicity.The energy of a graph is defined as the sum of absolute values of the eigenvalues. A graph G on n vertices is said to be borderenergetic if its energy equals the energy of the complete graph Kn. We present families of non-cospectral and borderenergetic cographs.
Highly linked tournaments with large minimum out-degree
We prove that there exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that for any positive integer $k$, if $T$ is a strongly $4k$-connected tournament with minimum out-degree at least $f(k)$, then $T$ is $k$-linked. This makes progress towards resolving a conjecture of Pokrovskiy. Along the way, we show that a tournament with sufficiently large minimum out-degree contains a subdivision of a complete directed graph. This result may be of independent interest.
Wilf equivalence relations for consecutive patterns
Published
• View Publication
• BIB
Two permutations $π$ and $τ$ are c-Wilf equivalent if, for each $n$, the number of permutations in $S_n$ avoiding $π$ as a consecutive pattern (i.e., in adjacent positions) is the same as the number of those avoiding $τ$. In addition, $π$ and $τ$ are strongly c-Wilf equivalent if, for each $n$ and $k$, the number of permutations in $S_n$ containing $k$ occurrences of $π$ as a consecutive pattern is the same as for $τ$. In this paper we introduce a third, more restrictive equivalence relation, defining $π$ and $τ$ to be super-strongly c-Wilf equivalent if the above condition holds for any set of prescribed positions for the $k$ occurrences. We show that, when restricted to non-overlapping permutations, these three equivalence relations coincide.
We also give a necessary condition for two permutations to be strongly c-Wilf equivalent. Specifically, we show that if $π,τ$ in $S_m$ are strongly c-Wilf equivalent, then $|π_m-π_1|=|τ_m-τ_1|$. In the special case of non-overlapping permutations $π$ and $τ$, this proves a weaker version of a conjecture of the second author stating that $π$ and $τ$ are c-Wilf equivalent if and only if $π_1=τ_1$ and $π_m=τ_m$, up to trivial symmetries. Finally, we strengthen a recent result of Nakamura and Khoroshkin-Shapiro giving sufficient conditions for strong c-Wilf equivalence.
Seven combinatorial problems around quasihomogeneous singularities
Published
• View Publication
• BIB
This paper proposes seven combinatorial problems around formulas for the characteristic polynomial and the spectral numbers of a quasihomogeneous singularity. One of them is a new conjecture on the characteristic polynomial. It is an amendment to an old conjecture of Orlik on the integral monodromy of a quasihomogeneous singularity. The search for a combinatorial proof of the new conjecture led us to the seven purely combinatorial problems.
Analogs of Steiner's porism and Soddy's hexlet in higher dimensions via spherical codes
Published in Arch. Math. 111 (2018), 493-501
• View Publication
• BIB
In this paper we consider generalizations of classical results on chains of tangent spheres to higher dimensions.
Finding induced subgraphs in scale-free inhomogeneous random graphs
Published
• View Publication
• BIB
We study the problem of finding a copy of a specific induced subgraph on inhomogeneous random graphs with infinite variance power-law degrees. We provide a fast algorithm that finds a copy of any connected graph $H$ on a fixed number of $k$ vertices as an induced subgraph in a random graph with $n$ vertices. By exploiting the scale-free graph structure, the algorithm runs in $O(n k)$ time for small values of $k$. As a corollary, this shows that the induced subgraph isomorphism problem can be solved in time $O(nk)$ for the inhomogeneous random graph. We test our algorithm on several real-world data sets.
Alcove random walks, k-Schur functions and the minimal boundary of the k-bounded partition poset
Published
• View Publication
• BIB
We use k-Schur functions to get the minimal boundary of the k-bounded partition poset. This permits to describe the central random walks on affine Grassmannian elements of type A and yields a polynomial expression for their drift. We also recover Rietsch's parametriza-tion of totally nonnegative unitriangular Toeplitz matrices without using quantum cohomology of flag varieties. All the homeomorphisms we define can moreover be made explicit by using the combinatorics of k-Schur functions and elementary computations based on Perron-Frobenius theorem.
The Price of Indivisibility in Cake Cutting
We consider the problem of envy-free cake cutting, which is the distribution of a continuous heterogeneous resource among self interested players such that nobody prefers what somebody else receives to what they get. Existing work has focused on two distinct classes of solutions to this problem - allocations which give each player a continuous piece of cake and allocations which give each player arbitrarily many disjoint pieces of cake. Our aim is to investigate allocations between these two extremes by parameterizing the maximum number of disjoint pieces each player may receive. We characterize the Price of Indivisibility (POI) as the gain achieved in social welfare (utilitarian and egalitarian), by moving from allocations which give each player a continuous piece of cake to allocations that may give each player up to $k$ disjoint pieces of cake. Our results contain bounds for the Price of Indivisibility for utilitarian as well as egalitarian social welfare, and for envy-free cake cutting as well as cake cutting without any fairness constraints.
Existence of connected regular and nearly regular graphs
For integers $k \geq 2$ and $n \geq k+1$, we prove the following: If $n\cdot k$ is even, there is a connected $k$-regular graph on $n$ vertices. If $n\cdot k$ is odd, there is a connected nearly $k$-regular graph on $n$ vertices.
Hardness of Approximation for Morse Matching
Published in SODA '19: Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms, 2019, p. 2663-2774
• View Publication
• BIB
Discrete Morse theory has emerged as a powerful tool for a wide range of problems, including the computation of (persistent) homology. In this context, discrete Morse theory is used to reduce the problem of computing a topological invariant of an input simplicial complex to computing the same topological invariant of a (significantly smaller) collapsed cell or chain complex. Consequently, devising methods for obtaining gradient vector fields on complexes to reduce the size of the problem instance has become an emerging theme over the last decade. While computing the optimal gradient vector field on a simplicial complex is NP-hard, several heuristics have been observed to compute near-optimal gradient vector fields on a wide variety of datasets. Understanding the theoretical limits of these strategies is therefore a fundamental problem in computational topology. In this paper, we consider the approximability of maximization and minimization variants of the Morse matching problem, posed as open problems by Joswig and Pfetsch. We establish hardness results for Max-Morse matching and Min-Morse matching. In particular, we show that, for a simplicial complex with n simplices and dimension $d \leq 3$, it is NP-hard to approximate Min-Morse matching within a factor of $O(n^{1-ε})$, for any $ε> 0$. Moreover, using an L-reduction from Degree 3 Max-Acyclic Subgraph to Max-Morse matching, we show that it is both NP-hard and UGC-hard to approximate Max-Morse matching for simplicial complexes of dimension $d \leq 2$ within certain explicit constant factors.
Introduction to total dominator edge chromatic number
We introduce the total dominator edge chromatic number of a graph $G$. A total dominator edge coloring (briefly TDE-coloring) of $G$ is a proper edge coloring of $G$ in which each edge of the graph is adjacent to every edge of some color class. The total dominator edge chromatic number (briefly TDEC-number) $χ'^t_d(G)$ of $G$ is the minimum number of color classes in a TDE-coloring of $G$. We obtain some properties of $χ'^t_d(G)$ and compute this parameter for specific graphs. We examine the effects on $χ'^t_d(G)$ when $G$ is modified by operations on vertex and edge of $G$. Finally, we consider the $k$-subdivison of $G$ and study TDEC-number of this kind of graphs.
On Sidorenko's conjecture for determinants and Gaussian Markov random fields
We study a class of determinant inequalities that are closely related to Sidorenko's famous conjecture (Also conjectured by Erd\H os and Simonovits in a different form). Our main result can also be interpreted as an entropy inequality for Gaussian Markov random fields (GMRF). We call a GMRF on a finite graph $G$ homogeneous if the marginal distributions on the edges are all identical. We show that if $G$ is bipartite then the differential entropy of any homogeneous GMRF on $G$ is at least $|E(G)|$ times the edge entropy plus $|V(G)|-2|E(G)|$ times the point entropy. We also show that in the case of non-negative correlation on edges, the result holds for an arbitrary graph $G$. The connection between Sidorenko's conjecture and GMRF's is established via a large deviation principle on high dimensional spheres combined with graph limit theory. Connection with Ihara zeta function and the number of spanning trees is also discussed.
Symmetry breaking in planar and maximal outerplanar graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has a vertex (edge) labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we consider the maximal outerplanar graphs (MOP graphs) and show that MOP graphs, except $K_3$, can be distinguished by at most two vertex (edge) labels. We also compute the distinguishing number and the distinguishing index of Halin and Mycielskian graphs.
On the algorithmic complexity of decomposing graphs into regular/irregular structures
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogonal Latin squares which is relatively novel.
On $\ell_4 : \ell_2$ ratio of functions with restricted Fourier support
Published
• View Publication
• BIB
Given a subset $A \subseteq \{0,1\}^n$, let $μ(A)$ be the maximal ratio between $\ell_4$ and $\ell_2$ norms of a function whose Fourier support is a subset of $A$. We make some simple observations about the connections between $μ(A)$ and the additive properties of $A$ on one hand, and between $μ(A)$ and the uncertainty principle for $A$ on the other hand. One application obtained by combining these observations with results in additive number theory is a stability result for the uncertainty principle on the discrete cube.
Our more technical contribution is determining $μ(A)$ rather precisely, when $A$ is a Hamming sphere $S(n,k)$ for all $0 \le k \le n$.
Two-Player Pebbling on Diameter 2 Graphs
Published
• View Publication
• BIB
A pebbling move refers to the act of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The goal of graph pebbling is: Given an initial distribution of pebbles, use pebbling moves to reach a specified goal vertex called the root. The pebbling number of a graph $π(G)$ is the minimum number of pebbles needed so every distribution of $π(G)$ pebbles can reach every choice of the root. We introduce a new variant of graph pebbling, a game between two players. One player aims to move a pebble to the root and the other player aims to prevent this. We show configurations of various classes of graphs for which each player has a winning strategy. We will characterize the winning player for a specific class of diameter two graphs.
An Asymptotically Tight Bound on the Number of Relevant Variables in a Bounded Degree Boolean Function
Published
• View Publication
• BIB
We prove that there is a constant $C\leq 6.614$ such that every Boolean function of degree at most $d$ (as a polynomial over $\mathbb{R}$) is a $C\cdot 2^d$-junta, i.e. it depends on at most $C\cdot 2^d$ variables. This improves the $d\cdot 2^{d-1}$ upper bound of Nisan and Szegedy [Computational Complexity 4 (1994)]. Our proof uses a new weighting scheme where we assign weights to variables based on the highest degree monomial they appear on.
The bound of $C\cdot 2^d$ is tight up to the constant $C$ as a lower bound of $2^d-1$ is achieved by a read-once decision tree of depth $d$. We slightly improve the lower bound by constructing, for each positive integer $d$, a function of degree $d$ with $3\cdot 2^{d-1}-2$ relevant variables. A similar construction was independently observed by Shinkar and Tal.
Individual testing is optimal for nonadaptive group testing in the linear regime
Published in IEEE Transactions on Information Theory, 65:4, 2058-2061, 2019
• View Publication
• BIB
We consider nonadaptive probabilistic group testing in the linear regime, where each of n items is defective independently with probability p in (0,1), and p is a constant independent of n. We show that testing each item individually is optimal, in the sense that with fewer than n tests the error probability is bounded away from zero.
Chorded pancyclicity in $k$-partite graphs
Published
• View Publication
• BIB
We prove that for any integers $p\geq k\geq 3$ and any $k$-tuple of positive integers $(n_1,\ldots ,n_k)$ such that $p=\sum _{i=1}^k{n_i}$ and $n_1\geq n_2\geq \ldots \geq n_k$, the condition $n_1\leq {p\over 2}$ is necessary and sufficient for every subgraph of the complete $k$-partite graph $K(n_1,\ldots ,n_k)$ with at least \[{{4 -2p+2n_1+\sum _{i=1}^{k} n_i(p-n_i)}\over 2}\] edges to be chorded pancyclic. Removing all but one edge incident with any vertex of minimum degree in $K(n_1,\ldots ,n_k)$ shows that this result is best possible. Our result implies that for any integers, $k\geq 3$ and $n\geq 1$, a balanced $k$-partite graph of order $kn$ with has at least ${{(k^2-k)n^2-2n(k-1)+4}\over 2}$ edges is chorded pancyclic. In the case $k=3$, this result strengthens a previous one by Adamus, who in 2009 showed that a balanced tripartite graph of order $3n$, $n \geq 2$, with at least $3n^2 - 2n + 2$ edges is pancyclic.
Lovasz-Saks-Schrijver ideals and coordinate sections of determinantal varieties
Published in Alg. Number Th. 13 (2019) 455-484
• View Publication
• BIB
Motivated by questions in algebra and combinatorics we study two ideals associated to a simple graph G:
--> the Lovasz-Saks-Schrijver ideal defining the d-dimensional orthogonal representations of the graph complementary to G and
--> the determinantal ideal of the (d+1)-minors of a generic symmetric with 0s in positions prescribed by the graph G.
In characteristic 0 these two ideals turns out to be closely related and algebraic properties such as being radical, prime or a complete intersection transfer from the Lovasz-Saks-Schrijver ideal to the determinantal ideal. For Lovasz-Saks-Schrijver ideals we link these properties to combinatorial properties of G and show that they always hold for d large enough. For specific classes of graph, such a forests, we can give a complete picture and classify the radical, prime and complete intersection Lovasz-Saks-Schrijver ideals.