Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Upper bounds on minimum size of feedback arc set of directed multigraphs with bounded degree
Published
• View Publication
• BIB
An oriented multigraph is a directed multigraph without directed 2-cycles. Let ${\rm fas}(D)$ denote the minimum size of a feedback arc set in an oriented multigraph $D$. The degree of a vertex is the sum of its out- and in-degrees. In several papers, upper bounds for ${\rm fas}(D)$ were obtained for oriented multigraphs $D$ with maximum degree upper-bounded by a constant. Hanauer (2017) conjectured that ${\rm fas}(D)\le 2.5n/3$ for every oriented multigraph $D$ with $n$ vertices and maximum degree at most 5. We prove a strengthening of the conjecture: ${\rm fas}(D)\le m/3$ holds for every oriented multigraph $D$ with $m$ arcs and maximum degree at most 5. This bound is tight and improves a bound of Berger and Shor (1990,1997). It would be interesting to determine $c$ such that ${\rm fas}(D)\le cn$ for every oriented multigraph $D$ with $n$ vertices and maximum degree at most 5 such that the bound is tight. We show that $\frac{5}{7}\le c \le \frac{24}{29} < \frac{2.5}{3}$.
A Survey on Codes from Simplicial Complexes
In the field of mathematics, a purely combinatorial equivalent to a simplicial complex, or more generally, a down-set, is an abstract structure known as a family of sets. This family is closed under the operation of taking subsets, meaning that every subset of a set within the family is also included in the family. The purpose of this paper is two-fold. Firstly, it aims to present a comprehensive survey of recent results in the field. This survey intends to provide an overview of the advancements made in codes constructed from simplicial complexes. Secondly, the paper seeks to propose open problems that are anticipated to stimulate further research in this area. By highlighting these open problems, the paper aims to encourage and inspire future investigations and developments in the field of codes derived from simplicial complexes.
Basis sequence reconfiguration in the union of matroids
Given a graph $G$ and two spanning trees $T$ and $T'$ in $G$, Spanning Tree Reconfiguration asks whether there is a step-by-step transformation from $T$ to $T'$ such that all intermediates are also spanning trees of $G$, by exchanging an edge in $T$ with an edge outside $T$ at a single step. This problem is naturally related to matroid theory, which shows that there always exists such a transformation for any pair of $T$ and $T'$. Motivated by this example, we study the problem of transforming a sequence of spanning trees into another sequence of spanning trees. We formulate this problem in the language of matroid theory: Given two sequences of bases of matroids, the goal is to decide whether there is a transformation between these sequences. We design a polynomial-time algorithm for this problem, even if the matroids are given as basis oracles. To complement this algorithmic result, we show that the problem of finding a shortest transformation is NP-hard to approximate within a factor of $c \log n$ for some constant $c > 0$, where $n$ is the total size of the ground sets of the input matroids.
A new upper bound for codes with a single Hamming distance
In this short note we give a new upper bound for the size of a set family with a single Hamming distance. Our proof is an application of the linear algebra bound method.
Rapid mixing of the flip chain over non-crossing spanning trees
We show that the flip chain for non-crossing spanning trees of $n+1$ points in convex position mixes in time $O(n^8\log n)$. We use connections between Fuss-Catalan structures to construct a comparison argument with a chain similar to Wilson's lattice path chain (Wilson 2004).
Limit Profile for the Bernoulli--Laplace Urn
Published
• View Publication
• BIB
We analyse the convergence to equilibrium of the Bernoulli--Laplace urn model: initially, one urn contains $k$ red balls and a second $n-k$ blue balls; in each step, a pair of balls is chosen uniform and their locations are switched. Cutoff is known to occur at $\tfrac12 n \log \min\{k, \sqrt n\}$ with window order $n$ whenever $1 \ll k \le \tfrac12 n$. We refine this by determining the limit profile: a function $Φ$ such that \[
d_\mathsf{TV}\bigl( \tfrac12 n \log \min\{k, \sqrt n\} + θn \bigr) \to
Φ(θ) \quad\text{as}\quad
n \to \infty \quad\text{for all}\quad
θ\in \mathbb R. \] Our main technical contribution, of independent interest, approximates a rescaled chain by a diffusion on $\mathbb R$ when $k \gg \sqrt n$, and uses its explicit law as a Gaussian process.
An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets
We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two configurations), this enables one to run a density increment argument with respect to quadratic level sets, which are analogues of Bohr sets in the context of quadratic Fourier analysis on finite vector spaces. We demonstrate such an argument by deriving an exponential bound on the Ramsey number of three-term progressions which are the same colour as their common difference (``Brauer quadruples''), a result we have been unable to establish by other means.
Our methods also yield polylogarithmic bounds on the density of sets lacking translation-invariant configurations of complexity two. Such bounds for four-term progressions were obtained by Green and Tao using a simpler weak-regularity argument. In an appendix, we give an example of how to generalise Green and Tao's argument to other translation-invariant configurations of complexity two. However, this crucially relies on an estimate coming from the Croot-Lev-Pach polynomial method, which may not be applicable to all systems of complexity two. Hence running a density increment with respect to quadratic level sets may still prove useful for such problems. It may also serve as a model for running density increments on more general nil-Bohr sets, with a view to effectivising other Szemerédi-type theorems.
On Christoffel words & their lexicographic array
Published
• View Publication
• BIB
By a Christoffel matrix we mean a $n\times n$ matrix corresponding to the lexicographic array of a Christoffel word of length $n.$ In this note we show that if $R$ is an integral domain, then the product of two Christoffel matrices over $R$ is commutative and is a Christoffel matrix over $R.$ Furthermore, if a Christoffel matrix over $R$ is invertible, then its inverse is a Christoffel matrix over $R.$ Consequently, the set $GC_n(R)$ of all $n\times n$ invertible Christoffel matrices over $R$ forms an abelian subgroup of $GL_n(R).$ The subset of $GC_n(R)$ consisting all invertible Christoffel matrices having some element $a$ on the diagonal and $b$ elsewhere (with $a,b \in R$ distinct) forms a subgroup $H$ of $GC_n(R).$ If $R$ is a field, then the quotient $GC_n(R)/H$ is isomorphic to $(\Z/nZ)^\times,$ the multiplicative group of integers modulo $n.$ It follows that for each finite field $F$ and each finite abelian group $G,$ there exists $n\geq 2$ and a faithful representation $G\rightarrow GL_n(F)$ consisting entirely of $n\times n$ (invertible) Christoffel matrices over $F.$ We describe the structure of $GC_n(\Z/2\Z).$
Interaction graphs of isomorphic automata networks II: universal dynamics
Published
• View Publication
• BIB
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. In a previous paper, we prove that the complete digraph $K_n$, with $n^2$ arcs, is universal in that $K_n\in \mathbb{G}(f)$ whenever $f$ is not constant nor the identity (and $n\geq 5$). In this paper, taking the opposite direction, we prove that there exist universal automata networks $f$, in that $\mathbb{G}(f)$ contains all the digraphs on $[n]$, excepted the empty one. Actually, we prove that the presence of only three specific digraphs in $\mathbb{G}(f)$ implies the universality of $f$, and we prove that this forces the alphabet size $q$ to have at least $n$ prime factors (with multiplicity). However, we prove that for any fixed $q\geq 3$, there exists almost universal functions, that is, functions $f:Q^n\to Q^n$ such that the probability that a random digraph belongs to $\mathbb{G}(f)$ tends to $1$ as $n\to\infty$. We do not know if this holds in the binary case $q=2$, providing only partial results.
Infinite log-concavity and higher order Turán inequality for the sequences of Speyer's $g$-polynomial of uniform matroids
Let $U_{n,d}$ be the uniform matroid of rank $d$ on $n$ elements. Denote by $g_{U_{n,d}}(t)$ the Speyer's $g$-polynomial of $U_{n,d}$. The Turán inequality and higher order Turán inequality are related to the Laguerre-Pólya ($\mathcal{L}$-$\mathcal{P}$) class of real entire functions, and the $\mathcal{L}$-$\mathcal{P}$ class has close relation with the Riemann hypothesis. The Turán type inequalities have received much attention. Infinite log-concavity is also a deep generalization of Turán inequality with different direction. In this paper, we mainly obtain the infinite log-concavity and the higher order Turán inequality of the sequence $\{g_{U_{n,d}}(t)\}_{d=1}^{n-1}$ for any $t>0$. In order to prove these results, we show that the generating function of $g_{U_{n,d}}(t)$, denoted $h_n(x;t)$, has only real zeros for $t>0$. Consequently, for $t>0$, we also obtain the $γ$-positivity of the polynomial $h_n(x;t)$, the asymptotical normality of $g_{U_{n,d}}(t)$, and the Laguerre inequalities for $g_{U_{n,d}}(t)$ and $h_n(x;t)$.
Daniel Litt's Probability Puzzle
In this expository note, we discuss a ``balls-and-urns'' probability puzzle posed by Daniel Litt.
Anonymized Network Sensing Graph Challenge
Published
• View Publication
• BIB
The MIT/IEEE/Amazon GraphChallenge encourages community approaches to developing new solutions for analyzing graphs and sparse data derived from social media, sensor feeds, and scientific data to discover relationships between events as they unfold in the field. The anonymized network sensing Graph Challenge seeks to enable large, open, community-based approaches to protecting networks. Many large-scale networking problems can only be solved with community access to very broad data sets with the highest regard for privacy and strong community buy-in. Such approaches often require community-based data sharing. In the broader networking community (commercial, federal, and academia) anonymized source-to-destination traffic matrices with standard data sharing agreements have emerged as a data product that can meet many of these requirements. This challenge provides an opportunity to highlight novel approaches for optimizing the construction and analysis of anonymized traffic matrices using over 100 billion network packets derived from the largest Internet telescope in the world (CAIDA). This challenge specifies the anonymization, construction, and analysis of these traffic matrices. A GraphBLAS reference implementation is provided, but the use of GraphBLAS is not required in this Graph Challenge. As with prior Graph Challenges the goal is to provide a well-defined context for demonstrating innovation. Graph Challenge participants are free to select (with accompanying explanation) the Graph Challenge elements that are appropriate for highlighting their innovations.
Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras
Submodular functions $z$ defined on the power set of a finite set are in bijection with generalized permutahedra $\egp(z)$. To any such $z$ we define a class of preorders, {\it conforming} preorders. We show the faces of $\egp(z)$ and the conforming preorders are in bijection. We investigate in detail this interplay between submodular functions and generalized permutahedra on one side, and conforming preorders on the other side, with many examples. In particular, the face poset structure of $\egp(z)$ correspond to two order relations $\lhd$ and $\btl$ on preorders, and we investigate their properties.
Ardila and Aguiar \cite{AA2017} introduced a Hopf monoid of submodular functions/generalized permutahedra. We show there is a bimonoid of modular functions cointeracting in a non-standard way. By recent theory of L.Foissy \cite{Fo2022}, on double bialgebras we get a canonical polynomial associated to any submodular function.
Simplicial maps between spheres and Davis' manifolds with positive simplicial volume
We study the simplicial volume of manifolds obtained from Davis' reflection group trick, the goal being characterizing those having positive simplicial volume. In particular, we focus on checking whether manifolds in this class with nonzero Euler characteristic have positive simplicial volume (Gromov asked whether this holds in general for aspherical manifolds). This leads to a combinatorial problem about triangulations of spheres: we define a partial order on the set of triangulations -- the relation being the existence of a nonzero-degree simplicial map between two triangulations -- and the problem is to find the minimal elements of a specific subposet. We solve explicitly the case of triangulations of the two-dimensional sphere, and then perform an extensive analysis, with the help of computer searches, of the three-dimensional case. Moreover, we present a connection of this problem with the theory of graph minors.
Compression with wildcards: All induced metric subgraphs
Driven by applications in the natural, social and computer sciences several algorithms have been proposed to enumerate all sets $X\s V$ of vertices of a graph $G=(V,E)$ that induce a {\it connected} subgraph. We offer two algorithms for enumerating all $X$'s that induce (more exquisite) {\it metric} subgraphs. Specifically, the first algorithm, called {\tt AllMetricSets}, generates these $X$'s in a compressed format. The second algorithm generates all (accessible) metric sets one-by-one but is provably output-polynomial. Mutatis mutandis the same holds for the geodesically-convex sets $X\s V$, this being a natural strengthening of "metric". The Mathematica command {\tt BooleanConvert} features prominently.
Upper tails for arithmetic progressions revisited
Let $X$ be the number of $k$-term arithmetic progressions contained in the $p$-biased random subset of the first $N$ positive integers. We give asymptotically sharp estimates on the logarithmic upper-tail probability $\log \Pr(X \ge E[X] + t)$ for all $Ω(N^{-2/k}) \le p \ll 1$ and all $t \gg \sqrt{Var(X)}$, excluding only a few boundary cases. In particular, we show that the space of parameters $(p,t)$ is partitioned into three phenomenologically distinct regions, where the upper-tail probabilities either resemble those of Gaussian or Poisson random variables, or are naturally described by the probability of appearance of a small set that contains nearly all of the excess $t$ progressions. We employ a variety of tools from probability theory, including classical tilting arguments and martingale concentration inequalities. However, the main technical innovation is a combinatorial result that establishes a stronger version of `entropic stability' for sets with rich arithmetic structure.
A Successive Refinement Algorithm for Tri-Level Stochastic Defender-Attacker Problems with Decision-Dependent Probability Distributions
Tri-level defender-attacker game models are a well-studied method for determining how best to protect a system (e.g., a transportation network) from attacks. Existing models assume that defender and attacker actions have a perfect effect, i.e., system components hardened by a defender cannot be destroyed by the attacker, and attacked components always fail. Because of these assumptions, these models produce solutions in which defended components are never attacked, a result that may not be realistic in some contexts. This paper considers an imperfect defender-attacker problem in which defender decisions (e.g., hardening) and attacker decisions (e.g., interdiction) have an imperfect effect such that the probability distribution of a component's capacity depends on the amount of defense and attack resource allocated to the component. Thus, this problem is a stochastic optimization problem with decision-dependent probabilities and is challenging to solve because the deterministic equivalent formulation has many high-degree multilinear terms. To address the challenges in solving this problem, we propose a successive refinement algorithm that dynamically refines the support of the random variables as needed, leveraging the fact that a less-refined support has fewer scenarios and multilinear terms and is, therefore, easier to solve. A comparison of the successive refinement algorithm versus the deterministic equivalent formulation on a tri-level stochastic maximum flow problem indicates that the proposed method solves many more problem instances and is up to $66$ times faster. These results indicate that it is now possible to solve tri-level problems with imperfect hardening and attacks.
Rational exponents for cliques
Published
• View Publication
• BIB
Let $\mathrm{ex}(n,H,\mathcal{F})$ be the maximum number of copies of $H$ in an $n$-vertex graph which contains no copy of a graph from $\mathcal{F}$. Thinking of $H$ and $\mathcal{F}$ as fixed, we study the asymptotics of $\mathrm{ex}(n,H,\mathcal{F})$ in $n$. We say that a rational number $r$ is \emph{realizable for $H$} if there exists a finite family $\mathcal{F}$ such that $\mathrm{ex}(n,H,\mathcal{F}) = Θ(n^r)$. Using randomized algebraic constructions, Bukh and Conlon showed that every rational between $1$ and $2$ is realizable for $K_2$. We generalize their result to show that every rational between $1$ and $t$ is realizable for $K_t$, for all $t \geq 2$. We also determine the realizable rationals for stars and note the connection to a related Sidorenko-type supersaturation problem.
Face Numbers of Shellable CW Balls and Spheres
Published
• View Publication
• BIB
Let $\mathscr{X}$ be the boundary complex of a $(d+1)$-polytope, and let $ρ(d+1,k) = \frac{1}{2}[{\lceil (d+1)/2 \rceil \choose d-k} + {\lfloor (d+1)/2 \rfloor \choose d-k}]$. Recently, the author, answering Bárány's question from 1998, proved that for all $\lfloor \frac{d-1}{2} \rfloor \leq k \leq d$, \[
f_k(\mathscr{X}) \geq ρ(d+1,k)f_d(\mathscr{X}). \] We prove a generalization: if $\mathscr{X}$ is a shellable, strongly regular CW sphere or CW ball of dimension $d$, then for all $\lfloor \frac{d-1}{2} \rfloor \leq k \leq d$, \[
f_k(\mathscr{X}) \geq ρ(d+1,k)f_d(\mathscr{X}) + \frac{1}{2}f_k(\partial \mathscr{X}), \] with equality precisely when $k=d$ or when $k=d-1$ and $\mathscr{X}$ is simplicial. We further prove that if $\mathscr{S}$ is a strongly regular CW sphere of dimension $d$, and the face poset of $\mathscr{S}$ is both CL-shellable and dual CL-shellable, then $f_k(\mathscr{S}) \geq \min\{f_0(\mathscr{S}),f_d(\mathscr{S})\}$ for all $0 \leq k \leq d$.
On Diameters of Cayley Graphs over Matrix Groups
We establish for the matrix group $G=\mathrm{SL}_{n}\left(\mathbb{F}_{p}\right)$ that there exist absolute constants $c\in\left(0,1\right)$ and $C>0$ such that any symmetric generating set $A$, with $\left|A\right|\geq\left|G\right|^{1-c}$ has a covering number $\leq Cn^{2}.$ This result is sharp up to the value of the constant $C>0$.