Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Fast Approximation Algorithms for the Generalized Survivable Network Design Problem
In a standard $f$-connectivity network design problem, we are given an undirected graph $G=(V,E)$, a cut-requirement function $f:2^V \rightarrow {\mathbb{N}}$, and non-negative costs $c(e)$ for all $e \in E$. We are then asked to find a minimum-cost vector $x \in {\mathbb{N}}^E$ such that $x(δ(S)) \geq f(S)$ for all $S \subseteq V$. We focus on the class of such problems where $f$ is a proper function. This encodes many well-studied NP-hard problems such as the generalized survivable network design problem.
In this paper we present the first strongly polynomial time FPTAS for solving the LP relaxation of the standard IP formulation of the $f$-connectivity problem with general proper functions $f$. Implementing Jain's algorithm, this yields a strongly polynomial time $(2+ε)$-approximation for the generalized survivable network design problem (where we consider rounding up of rationals an arithmetic operation).
Extension Complexity of Independent Set Polytopes
Published
• View Publication
• BIB
We exhibit an $n$-node graph whose independent set polytope requires extended formulations of size exponential in $Ω(n/\log n)$. Previously, no explicit examples of $n$-dimensional $0/1$-polytopes were known with extension complexity larger than exponential in $Θ(\sqrt{n})$. Our construction is inspired by a relatively little-known connection between extended formulations and (monotone) circuit depth.
Algebraic Properties of Generalized Graph Laplacians: Resistor Networks, Critical Groups, and Homological Algebra
Published in SIAM J. Discrete Math. 32-2 (2018), pp. 1040-1110
• View Publication
• BIB
We propose an algebraic framework for generalized graph Laplacians which unifies the study of resistor networks, the critical group, and the eigenvalues of the Laplacian and adjacency matrices. Given a graph with boundary $G$ together with a generalized Laplacian $L$ with entries in a commutative ring $R$, we define a generalized critical group $Υ_R(G,L)$. We relate $Υ_R(G,L)$ to spaces of harmonic functions on the network using the Hom, Tor, and Ext functors of homological algebra.
We study how these algebraic objects transform under combinatorial operations on the network $(G,L)$, including harmonic morphisms, layer-stripping, duality, and symmetry. In particular, we use layer-stripping operations from the theory of resistor networks to systematize discrete harmonic continuation. This leads to an algebraic characterization of the graphs with boundary that can be completely layer-stripped, an algorithm for simplifying computation of $Υ_R(G,L)$, and upper bounds for the number of invariant factors in the critical group and the multiplicity of Laplacian eigenvalues in terms of geometric quantities.
An explicit generating function arising in counting binomial coefficients divisible by powers of primes
Published in Acta Arith. 181 (2017), no. 1, 27-55
• View Publication
• BIB
For a prime $p$ and nonnegative integers $j$ and $n$ let $\vartheta_p(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are exactly divisible by $p^j$. Moreover, for a finite sequence $w=(w_{r-1}\cdots w_0)\neq (0,\ldots,0)$ in $\{0,\ldots,p-1\}$ we denote by $\lvert n\rvert_w$ the number of times that $w$ appears as a factor (contiguous subsequence) of the base-$p$ expansion $n=(n_{μ-1}\cdots n_0)_p$ of $n$. It follows from the work of Barat and Grabner (Digital functions and distribution of binomial coefficients, J. London Math. Soc. (2) 64(3), 2001), that $\vartheta_p(j,n)/\vartheta_p(0,n)$ is given by a polynomial $P_j$ in the variables $X_w$, where $w$ are certain finite words in $\{0,\ldots,p-1\}$, and each variable $X_w$ is set to $\lvert n\rvert_w$. This was later made explicit by Rowland (The number of nonzero binomial coefficients modulo $p^α$, J. Comb. Number Theory 3(1), 2011), independently from Barat and Grabner's work, and Rowland described and implemented an algorithm computing these polynomials $P_j$. In this paper, we express the coefficients of $P_j$ using generating functions, and we prove that these generating functions can be determined explicitly by means of a recurrence relation. Moreover, we prove that $P_j$ is uniquely determined, and we note that the proof of our main theorem also provides a new proof of its existence. Besides providing insight into the structure of the polynomials $P_j$, our results allow us to compute them in a very efficient way.
Cohomology of cluster varieties. I. Locally acyclic case
Published in Alg. Number Th. 16 (2022) 179-230
• View Publication
• BIB
We initiate a systematic study of the cohomology of cluster varieties. We introduce the Louise property for cluster algebras that holds for all acyclic cluster algebras, and for most cluster algebras arising from marked surfaces. For cluster varieties satisfying the Louise property and of full rank, we show that the cohomology satisfies the curious Lefschetz property of Hausel and Rodriguez-Villegas, and that the mixed Hodge structure is split over the rationals. We give a complete description of the highest weight part of the mixed Hodge structure of these cluster varieties, and develop the notion of a standard differential form on a cluster variety. We show that the point counts of these cluster varieties over finite fields can be expressed in terms of Dirichlet characters. Under an additional integrality hypothesis, the point counts are shown to be polynomials in the order of the finite field.
The minimal size of graphs with given pendant-tree connectivity
The concept of pendant-tree $k$-connectivity $τ_k(G)$ of a graph $G$, introduced by Hager in 1985, is a generalization of classical vertex-connectivity. Let $f(n,k,\ell)$ be the minimal number of edges of a graph $G$ of order $n$ with $τ_k(G)=\ell \ (1\leq \ell\leq n-k)$. In this paper, we give some exact value or sharp bounds of the parameter $f(n,k,\ell)$.
On the performance of optimal double circulant even codes
Published
• View Publication
• BIB
In this note, we investigate the performance of optimal double circulant even codes which are not self-dual, as measured by the decoding error probability in bounded distance decoding. To do this, we classify the optimal double circulant even codes that are not self-dual which have the smallest weight distribution for lengths up to $72$. We also give some restrictions on the weight enumerators of (extremal) self-dual $[54,27,10]$ codes with shadows of minimum weight $3$. Finally, we consider the performance of extremal self-dual codes of lengths $88$ and $112$.
Gessel polynomials, rooks, and extended Linial arrangements
Published
• View Publication
• BIB
We study a family of polynomials associated with ascent-descent statistics on labeled rooted plane k-ary trees introduced by Gessel, from a rook-theoretic perspective. We generalize the excedance statistic on permutations to maximal nonattacking rook placements on certain rectangular boards by decomposing them into boards of staircase shape. We then relate the number of maximal nonattacking rook placements on certain skew boards to the number of regions in extended Linial arrangements by establishing a relation between the factorial polynomial of those boards to the characteristic polynomial of extended Linial arrangements. Furthermore, we give a combinatorial interpretation of the number of bounded regions in extended Linial arrangements in the setting of labeled rooted plane k-ary trees. Finally, using the work of Goldman-Joichi-White, we identify graphs whose chromatic polynomials equal the characteristic polynomials of extended Linial arrangements upto a straightforward normalization.
Counting faces of graphical zonotopes
It is a classical fact that the number of vertices of the graphical zonotope $Z_Γ$ is equal to the number of acyclic orientations of a graph $Γ$. We show that the $f$-polynomial of $Z_Γ$ is obtained as the principal specialization of the $q$-analog of the chromatic symmetric function of $Γ$.
Deformations of the braid arrangement and Trees
Published in Advances in Mathematics, Elsevier, 2018, 335, pp.466-518
• View Publication
• BIB
We establish counting formulas and bijections for deformations of the braid arrangement. Precisely, we consider real hyperplane arrangements such that all the hyperplanes are of the form $x\_i-x\_j=s$ for some integer $s$. Classical examples include the braid, Catalan, Shi, semiorder and Linial arrangements, as well as graphical arrangements. We express the number of regions of any such arrangement as a signed count of decorated plane trees. The characteristic and coboundary polynomials of these arrangements also have simple expressions in terms of these trees. We then focus on certain "well-behaved" deformations of the braid arrangement that we call transitive. This includes the Catalan, Shi, semiorder and Linial arrangements, as well as many other arrangements appearing in the literature. For any transitive deformation of the braid arrangement we establish a simple bijection between regions of the arrangement and a set of plane trees defined by local conditions. This answers a question of Gessel.
Forman-Ricci flow for change detection in large dynamic data sets
Published
• View Publication
• BIB
We present a viable solution to the challenging question of change detection in complex networks inferred from large dynamic data sets. Building on Forman's discretization of the classical notion of Ricci curvature, we introduce a novel geometric method to characterize different types of real-world networks with an emphasis on peer-to-peer networks. Furthermore we adapt the classical Ricci flow that already proved to be a powerful tool in image processing and graphics, to the case of undirected and weighted networks. The application of the proposed method on peer-to-peer networks yields insights into topological properties and the structure of their underlying data.
New Combinatorial Formulas for Cluster Monomials of Type A Quivers
Published
• View Publication
• BIB
Lots of research focuses on the combinatorics behind various bases of cluster algebras. This paper studies the natural basis of a type A cluster algebra, which consists of all cluster monomials. We introduce a new kind of combinatorial formulas for the cluster monomials in terms of the so-called globally compatible collections. We give bijective proofs of these formulas by comparing with the well-known combinatorial models of the T-paths and of the perfect matchings in a snake diagram. For cluster variables of a type A cluster algebra, we give a bijection that relates our new formula with the theta functions constructed by Gross, Hacking, Keel and Kontsevich.
On Boolean intervals of finite groups
Published in Journal of Combinatorial Theory, Series A, 157 (2018), 49-69
• View Publication
• BIB
We prove a dual version of Øystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that $\hat{\varphi} = \varphi \neq 0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $\hat{\varphi}$ is always nonzero for Boolean intervals. In order to investigate it, we prove that for any Boolean group-complemented interval $[H,G]$, the graded coset poset $\hat{P} = \hat{C}(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $Δ(P)$ is $\hat{\varphi}$, so nonzero. We deduce that these results are true beyond the group-complemented case with $|G:H|<32$. One observes that they are also true when $H$ is a Borel subgroup of $G$.
An introduction to large deviations for random graphs
Published
• View Publication
• BIB
This article gives an overview of the emerging literature on large deviations for random graphs. Written for the general mathematical audience, the article begins with a short introduction to the theory of large deviations. This is followed by a description of some large deviation questions about random graphs, and an outline of the recent progress on this topic. A more elaborate discussion follows, with a brief account of graph limit theory and its application in constructing a large deviation theory for dense random graphs. The role of Szemerédi's regularity lemma is explained, together with a sketch of the proof of the main large deviation result and some examples. Applications to exponential random graph models are briefly touched upon. The remainder of the paper is devoted to large deviations for sparse graphs. Since the regularity lemma is not applicable in the sparse regime, new tools are needed. Fortunately, there have been several new breakthroughs that managed to achieve the goal by an indirect method. These are discussed, together with an exposition of the underlying theory. The last section contains a list of open problems.
Counting odd cycles in locally dense graphs
Published in JCTB 105 (2014), 1-5
• View Publication
• BIB
We prove that for any given $\varepsilon>0$ and $d\in [0,1]$, every sufficiently large $(\varepsilon, d)$-dense graph $G$ contains for each odd integer $r$ at least $(d^r-\varepsilon)|V(G)|^r$ cycles of length $r$. Here, $G$ being $(\varepsilon, d)$-dense means that every set $X$ containing at least~$\varepsilon\,|V(G)|$ vertices spans at least $\tfrac d2\, |X|^2$ edges, and what we really count is the number of homomorphisms from an $r$-cycle into $G$.
The result adresses a question of Y. Kohayakawa, B. Nagle, V. Rödl, and M. Schacht.
New Bounds for Partial Spreads of $H(2d-1, q^2)$ and Partial Ovoids of the Ree-Tits Octagon
Published in J. Comb. Theory A 153 (2018) 46-53
• View Publication
• BIB
Two results are obtained that give upper bounds on partial spreads and partial ovoids respectively.
The first result is that the size of a partial spread of the Hermitian polar space $\mathsf{H}(3, q^2)$ is at most $\left(\frac{2p^3+p}{3} \right)^t+1$, where $q=p^t$, $p$ is a prime. For fixed $p$ this bound is in $o(q^3)$, which is asymptotically better than the previous best known bound of $(q^3+q+2)/2$. Similar bounds for partial spreads of $\mathsf{H}(2d-1, q^2)$, $d$ even, are given.
The second result is that the size of a partial ovoid of the Ree-Tits octagon $\mathsf{O}(2^t)$ is at most $26^t+1$. This bound, in particular, shows that the Ree-Tits octagon $\mathsf{O}(2^t)$ does not have an ovoid.
Weighted domination number of cactus graphs
Published
• View Publication
• BIB
In the paper, we write a linear algorithm for calculating the weighted domination number of a vertex-weighted cactus. The algorithm is based on the well known depth first search (DFS) structure. Our algorithm needs less than $12n+5b$ additions and $9n+2b$ $\min$-operations where $n$ is the number of vertices and $b$ is the number of blocks in the cactus.
Using Grassmann calculus in combinatorics: Lindström-Gessel-Viennot lemma and Schur functions
Grassmann (or anti-commuting) variables are extensively used in theoretical physics. In this paper we use Grassmann variable calculus to give new proofs of celebrated combinatorial identities such as the Lindström-Gessel-Viennot formula for graphs with cycles and the Jacobi-Trudi identity. Moreover, we define a one parameter extension of Schur polynomials that obey a natural convolution identity.
Exchange Relations for Finite Type Cluster Algebras with Acyclic Initial Seed and Principal Coefficients
Published in SIGMA 12 (2016), 067, 9 pages
• View Publication
• BIB
We give an explicit description of all the exchange relations in any finite type cluster algebra with acyclic initial seed and principal coefficients.
Infinite rank spinor and oscillator representations
Published in J. Comb. Algebra 1 (2017), no. 2, 145-183
• View Publication
• BIB
We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As such, there are a few main points in common. We define a category of representations of what might be thought of as the infinite rank pin and metaplectic groups, and give three models of this category in terms of: multilinear algebra, diagram categories, and twisted Lie algebras. We also define specialization functors to the finite rank groups and calculate the derived functors.