Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Coboundary expansion of coset complexes
Published
• View Publication
• BIB
Coboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the motivation stems from its deep connection to problems in theoretical computer science such as agreement expansion in the low soundness regime. In this paper, we prove coboundary expansion with non-Abelian coefficients for the coset complex construction of Kaufman and Oppenheim. Our proof uses a novel global argument, as opposed to the local-to-global arguments that are used to prove cosystolic expansion.
Polyhedral study of a temporal rural postman problem: application in inspection of railway track without disturbing train schedules
The Rural Postman Problem with Temporal Unavailability (RPP-TU) is a variant of the Rural Postman Problem (RPP) specified for multi-agent planning over directed graphs with temporal constraints. These temporal constraints represent the unavailable time intervals for each arc during which agents cannot traverse the arc. Such arc unavailability scenarios occur in routing and scheduling of the instrumented wagons for inspection of railway tracks without disturbing the train schedules, i.e. the scheduled trains prohibit access to the signal blocks (sections of railway track separated by signals) for some finite interval of time.
A three-index formulation for the RPP-TU is adopted from the literature. The three-index formulation has binary variables for describing the route information of the agents, and continuous non-negative variables to describe the schedules at pre-defined locations. A relaxation of the three-index formulation for RPP-TRU, referred to as Cascaded Graph Formulation (CGF), is investigated in this work. The CGF has attributes that simplify the polyhedral study of time-dependent arc routing problems like RPP-TRU. A novel branch-and-cut algorithm is proposed to solve the RPP-TU, where branching is performed over the service arcs. A family of facet-defining inequalities, derived from the polyhedral study, is used as cutting planes in the proposed branch-and-cut algorithm to reduce the computation time by up to $48\%$. Finally, an application of this work is showcased using a simulation case study of a railway inspection scheduling problem based on Kurla-Vashi-Thane suburban network in Mumbai, India. An improvement of $93\%$ is observed when compared to a Benders' decomposition based MILP solver from the literature.
Community detection with the Bethe-Hessian
The Bethe-Hessian matrix, introduced by Saade, Krzakala, and Zdeborová (2014), is a Hermitian matrix designed for applying spectral clustering algorithms to sparse networks. Rather than employing a non-symmetric and high-dimensional non-backtracking operator, a spectral method based on the Bethe-Hessian matrix is conjectured to also reach the Kesten-Stigum detection threshold in the sparse stochastic block model (SBM). We provide the first rigorous analysis of the Bethe-Hessian spectral method in the SBM under both the bounded expected degree and the growing degree regimes. Specifically, we demonstrate that: (i) When the expected degree $d\geq 2$, the number of negative outliers of the Bethe-Hessian matrix can consistently estimate the number of blocks above the Kesten-Stigum threshold, thus confirming a conjecture from Saade, Krzakala, and Zdeborová (2014) for $d\geq 2$. (ii) For sufficiently large $d$, its eigenvectors can be used to achieve weak recovery. (iii) As $d\to\infty$, we establish the concentration of the locations of its negative outlier eigenvalues, and weak consistency can be achieved via a spectral method based on the Bethe-Hessian matrix.
The fundamental group and the magnitude-path spectral sequence of a directed graph
Published
• View Publication
• BIB
The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem.
The Number of Spanning Trees for The Generalized Cones of $K_n$, The Generalized Half Cones of $K_{m,n}$ and Some Family of Modified $K_{m,n}$
We compute the total number of spanning trees for the generalized cone of the complete graph $K_n$ and a number of families of some modified bipartite graphs $K_{m,n}$. In particular, we obtain a new method of finding the number of spanning trees of $K_n$ and $K_{m,n}$. Our method relies on the vertex deletion formula for the number of spanning trees.
Patterns in Multi-dimensional Permutations
Published
• View Publication
• BIB
In this paper, we propose a general framework that extends the theory of permutation patterns to higher dimensions and unifies several combinatorial objects studied in the literature. Our approach involves introducing the concept of a "level" for an element in a multi-dimensional permutation, which can be defined in multiple ways. We consider two natural definitions of a level, each establishing connections to other combinatorial sequences found in the Online Encyclopedia of Integer Sequences (OEIS). Our framework allows us to offer combinatorial interpretations for various sequences found in the OEIS, many of which previously lacked such interpretations. As a notable example, we introduce an elegant combinatorial interpretation for the Springer numbers: they count weakly increasing 3-dimensional permutations under the definition of levels determined by maximal entries.
Codes with restricted overlaps: expandability, constructions, and bounds
Published
• View Publication
• BIB
Consider a $q$-ary block code satisfying the property that no $l$-letters long codeword's prefix occurs as a suffix of any codeword for $l$ inside some interval. We determine a general upper bound on the maximum size of these codes and a tighter bound for codes where overlaps with lengths not exceeding $k$ are prohibited. We then provide constructions for codes with various restrictions on overlap lengths and use them to determine lower bounds on the maximum sizes. In particular, we construct $(1,k)$-overlap-free codes where $k \geq n/2$ and $n$ denotes the block size, expand a known construction of $(k,n-1)$-overlap-free codes, and combine the ideas behind both constructions to obtain $(t_1,t_2)$-overlap-free codes and codes that are simultaneously $(1,k)$- and $(n-k,n-1)$-overlap-free for some $k < n/2$. In the case when overlaps of lengths between 1 and $k$ are prohibited, we complete the characterisation of non-expandable codes started by Cai, Wang, and Feng (2023).
The minimum number of maximal dissociation sets in unicyclic graphs
Published
• View Publication
• BIB
A subset of vertices in a graph $G$ is considered a maximal dissociation set if it induces a subgraph with vertex degree at most 1 and it is not contained within any other dissociation sets. In this paper, it is shown that for $n\geq 3$, every unicyclic graph contains a minimum of $\lfloor n/2\rfloor+2$ maximal dissociation sets. We also show the graphs that attain this minimum bound.
The maximal sum of sizes of cross intersecting families for multisets
Let $k$, $t$ and $m$ be positive integers. A $k$-multiset of $[m]$ is a collection of $k$ elements of $[m]$ with repetition and without ordering. We use $\left(\binom {[m]}{k}\right)$ to denote all the $k$-multisets of $[m]$. Two multiset families $\mathcal{F}$ and $\mathcal{G}$ in $\left(\binom {[m]}{k}\right)$ are called cross $t$-intersecting if $|F\cap G|\geq t$ for any $F\in \mathcal{F}$ and $G\in \mathcal{G}$. Moreover, if $\mathcal{F}=\mathcal{G}$, we call $\mathcal{F}$ a $t$-intersecting family in $\left(\binom {[m]}{k}\right)$. Meagher and Purdy~(2011) presented a multiset variant of Erdős-Ko-Rado Theorem for $t$-intersecting family in $\left(\binom {[m]}{k}\right)$ when $t=1$, and Füredi, Gerbner and Vizer~(2016) extended this result to general $t\ge 2$ with $m\geq 2k-t$, verified a conjecture proposed by Meagher and Purdy~(2011). In this paper, we determine the maximum sum of cross $t$-intersecting families $\mathcal{F}$ and $\mathcal{G}$ in $\left(\binom {[m]}{k}\right)$ and characterize the extremal families achieving the upper bound. For $t=1$ and $m\geq k+1$, the method involves constructing a bijection between multiset family and set family while preserving the intersecting relation.
For $t\ge 2$ and $m\ge 2k-t$, we employ a shifting operation, specifically the down-compression, which was initiated by Füredi, Gerbner and Vizer~(2016). These results extend the sum-type intersecting theorem for set families originally given by Hilton and Milner (1967).
Level of Regions for Deformed Braid Arrangements
Published
• View Publication
• BIB
This paper primarily investigates a specific type of deformation of the braid arrangement $\mathcal{B}_n$ in $\mathbb{R}^n$, denoted by $\mathcal{B}_n^A$ and defined in (1.2). Let $r_l(\mathcal{B}_n^A)$ be the number of regions of level $l$ in $\mathcal{B}_n^A$ with the corresponding exponential generating function $R_l(A;x)$. Using the weighted digraph model introduced by Hetyei [11], we establish a bijection between regions of level $l$ in $\mathcal{B}_n^A$ and valid $m$-acyclic weighted digraphs on the vertex set $[n]$ with exactly $l$ strong components. Based on this bijection, we obtain a property analogous to a polynomial sequence of binomial type, that is, $R_l(A;x)$ satisfies the relation
\[
R_l(A;x)=\big(R_1(A;x)\big)^l=R_k(A;x)R_{l-k}(A;x).
\]
Furthermore, the values $r_l(\mathcal{B}_n^A)$ yield a combinatorial interpretation for the coefficients in the expansion of the characteristic polynomial $χ_{\mathcal{B}_n^A}(t)$ in the basis elements $\binom{t}{l}$, that is, \[χ_{\mathcal{B}_n^A}(t)=\sum_{l=0}^n(-1)^{n-l}r_l(\mathcal{B}_n^A)\binom{t}{l}.\] If $n$, $a$ and $b$ are non-negative integers with $n\ge 2$ and $b-a\ge n-1$, for the deformation $\mathcal{B}_n^{[-a,b]}$ defined in (1.3), its characteristic polynomial has a single real root $0$ of multiplicity one when $n$ is odd, and has one more real root $\frac{n(a+b+1)}{2}$ of multiplicity one when $n$ is even.
Fractional Chromatic Numbers from Exact Decision Diagrams
Recently, Van Hoeve proposed an algorithm for graph coloring based on an integer flow formulation on decision diagrams for stable sets. We prove that the solution to the linear flow relaxation on exact decision diagrams determines the fractional chromatic number of a graph. This settles the question whether the decision diagram formulation or the fractional chromatic number establishes a stronger lower bound. It also establishes that the integrality gap of the linear programming relaxation is O(log n), where n represents the number of vertices in the graph. We also conduct experiments using exact decision diagrams and could determine the chromatic number of r1000.1c from the DIMACS benchmark set. It was previously unknown and is one of the few newly solved DIMACS instances in the last 10 years.
Neural Networks and (Virtual) Extended Formulations
Neural networks with piecewise linear activation functions, such as rectified linear units (ReLU) or maxout, are among the most fundamental models in modern machine learning. We make a step towards proving lower bounds on the size of such neural networks by linking their representative capabilities to the notion of the extension complexity $\mathrm{xc}(P)$ of a polytope $P$. This is a well-studied quantity in combinatorial optimization and polyhedral geometry describing the number of inequalities needed to model $P$ as a linear program. We show that $\mathrm{xc}(P)$ is a lower bound on the size of any monotone or input-convex neural network that solves the linear optimization problem over $P$. This implies exponential lower bounds on such neural networks for a variety of problems, including the polynomially solvable maximum weight matching problem.
In an attempt to prove similar bounds also for general neural networks, we introduce the notion of virtual extension complexity $\mathrm{vxc}(P)$, which generalizes $\mathrm{xc}(P)$ and describes the number of inequalities needed to represent the linear optimization problem over $P$ as a difference of two linear programs. We prove that $\mathrm{vxc}(P)$ is a lower bound on the size of any neural network that optimizes over $P$. While it remains an open question to derive useful lower bounds on $\mathrm{vxc}(P)$, we argue that this quantity deserves to be studied independently from neural networks by proving that one can efficiently optimize over a polytope $P$ using a small virtual extended formulation.
Growing conditioned BGW trees with log-concave offspring distributions
We show that given a log-concave offspring distribution, the corresponding sequence of Bienaymé-Galton-Watson trees conditioned to have $n\geq 1$ vertices admits a realization as a Markov process $(T_n)_{n\geq1}$ which adds a new "right-leaning" leaf at each step. This applies for instance to offspring distributions which are Poisson, binomial, geometric, or any convolution of those. By a negative result of Janson, the log-concavity condition is optimal in the restricted case of offspring distributions supported in $\{0,1,2\}$. We then prove a generalization to the case of an offspring distribution supported on an arithmetic progression, if we assume log-concavity along that progression.
As an application, we deduce the existence of increasing couplings in an inhomogeneous model of random subtrees of the Ulam--Harris tree. This is equivalent to the statement that, in a corresponding inhomogeneous Bernouilli percolation model on a regular tree, the root cluster is stochastically increasing in its size.
These results generalize a construction of Luczak and Winkler which applies to uniformly sampled subtrees with $n$ vertices of the infinite complete $d$-ary trees. Our proofs are elementary and we tried to make them as self-contained as possible.
Enumeration modulo 4 of overpartitions wherein only even parts can be overlined
Published in Discrete Math. Lett. 14 (2024) 95-102
• View Publication
• BIB
In 2014, as part of a larger study of overpartitions with restrictions of the overlined parts based on residue classes, Munagi and Sellers defined $d_2(n)$ as the number of overpartitions of weight $n$ wherein only even parts can be overlined. As part of that work, they used a generating function approach to prove a parity characterization for $d_2(n)$. In this note, we give a combinatorial proof of their result and extend it to a modulus 4 characterization; we provide both generating function and combinatorial proofs of this stronger result. The combinatorial arguments incorporate classical involutions of Franklin, Glaisher, and Sylvester, along with a recent involution of van Leeuwen and methods new with this work.
Cauchy identities for staircase matrices
Published
• View Publication
• BIB
The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.
Reconstructing edge-deleted unicyclic graphs
The Harary reconstruction conjecture states that any graph with more than four edges can be uniquely reconstructed from its set of maximal edge-deleted subgraphs. In 1977, Müller verified the conjecture for graphs with $n$ vertices and $n \log_2(n)$ edges, improving on Lovás's bound of $\log(n^2-n)/4$. Here, we show that the reconstruction conjecture holds for graphs which have exactly one cycle and and three non-isomorphic subtrees.
Lattice supported distributions and graphical models
For the distributions of finitely many binary random variables, we study the interaction of restrictions of the supports with conditional independence constraints. We prove a generalization of the Hammersley-Clifford theorem for distributions whose support is a natural distributive lattice: that is, any distribution which has natural lattice support and satisfies the pairwise Markov statements of a graph must factor according to the graph. We also show a connection to the Hibi ideals of lattices.
On a kind of generilized multi-harmonic sum
Let $p$ be an odd prime, Jianqiang Zhao has established a curious congruence $$
\sum_{i+j+k=p \atop i,j,k > 0} \frac{1}{ijk} \equiv -2B_{p-3}\pmod p , $$ where $B_{n}$ denotes the $n-$th Bernoulli numbers. In this paper, we will generalize this problem by using congruent theory and combinatorial methods, and we get some curious congruences.
On the Game of Moksha-Patam
The game of Moksha-Patam, often known as `Chutes and Ladders', is a widely played indoor game worldwide. While studies have been conducted regarding the nature of an individual board, the possibilities that open up when we change the positions of the chutes and the ladders on a board are mostly unventured. In this article, we classify and study the different possible types of Moksha-Patam Boards, introduce a naming convention for them and establish a count for the boards that can be constructed adhering to some basic assumptions of the game.
Leaky forcing and resilience of Cartesian products of $K_n$
Zero forcing is a process on a graph $G = (V,E)$ in which a set of initially colored vertices,$B_0(G) \subset V(G)$, can color their neighbors according to the color change rule. The color change rule states that if a vertex $v$ can color a neighbor $u$ if $u$ is the only uncolored neighbor of $v$. If a vertex $v$ colors its neighbor, $u$, $v$ is said to force $u$. Leaky forcing is a recently introduced variant of zero forcing in which some vertices cannot force their neighbors, even if they satisfy the color change rule. This variation has been studied for limited families of graphs with particular structure, such as products of paths and discrete hypercubes. A concept closely related to $\ell$-leaky forcing is $\ell$-resilience. A graph is said to be $\ell$-resilient if its $\ell$-leaky forcing number equals its zero forcing number. In this paper, we prove direct products of $K_n$ with $P_t$ and $K_n$ with $C_t$ is 1-resilient and conjecture the former is not 2-resilient.