Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Complexity and algorithms for injective edge-coloring in graphs
Published in Information Processing Letters 170:106121, 2021
• View Publication
• BIB
An injective $k$-edge-coloring of a graph $G$ is an assignment of colors, i.e. integers in $\{1, \ldots , k\}$, to the edges of $G$ such that any two edges each incident with one distinct endpoint of a third edge, receive distinct colors. The problem of determining whether such a $k$-coloring exists is called k-INJECTIVE EDGE-COLORING. We show that 3-INJECTIVE EDGE-COLORING is NP-complete, even for triangle-free cubic graphs, planar subcubic graphs of arbitrarily large girth, and planar bipartite subcubic graphs of girth~6. 4-INJECTIVE EDGE-COLORING remains NP-complete for cubic graphs. For any $k\geq 45$, we show that k-INJECTIVE EDGE-COLORING remains NP-complete even for graphs of maximum degree at most $5\sqrt{3k}$. In contrast with these negative results, we show that \InjPbName{k} is linear-time solvable on graphs of bounded treewidth. Moreover, we show that all planar bipartite subcubic graphs of girth at least~16 are injectively $3$-edge-colorable. In addition, any graph of maximum degree at most $\sqrt{k/2}$ is injectively $k$-edge-colorable.
Rainbow version of the Erd\H os Matching Conjecture via Concentration
Published
• View Publication
• BIB
We say that the families $\mathcal F_1,\ldots, \mathcal F_{s+1}$ of $k$-element subsets of $[n]$ are cross-dependent if there are no pairwise disjoint sets $F_1,\ldots, F_{s+1}$, where $F_i\in \mathcal F_i$ for each $i$. The rainbow version of the Erd\H os Matching Conjecture due to Aharoni and Howard and independently to Huang, Loh and Sudakov states that $\min_{i} |\mathcal F_i|\le \max\big\{{n\choose k}-{n-s\choose k}, {(s+1)k-1\choose k}\big\}$ for $n\ge (s+1)k$. In this paper, we prove this conjecture for $n>3e(s+1)k$ and $s>10^7$. One of the main tools in the proof is a concentration inequality due to Frankl and the author.
Sharp bounds for the number of regions of maxout networks and vertices of Minkowski sums
We present results on the number of linear regions of the functions that can be represented by artificial feedforward neural networks with maxout units. A rank-k maxout unit is a function computing the maximum of $k$ linear functions. For networks with a single layer of maxout units, the linear regions correspond to the upper vertices of a Minkowski sum of polytopes. We obtain face counting formulas in terms of the intersection posets of tropical hypersurfaces or the number of upper faces of partial Minkowski sums, along with explicit sharp upper bounds for the number of regions for any input dimension, any number of units, and any ranks, in the cases with and without biases. Based on these results we also obtain asymptotically sharp upper bounds for networks with multiple layers.
The m=2 amplituhedron and the hypersimplex: signs, clusters, triangulations, Eulerian numbers
Published
• View Publication
• BIB
The hypersimplex $Δ_{k+1,n}$ is the image of the positive Grassmannian $Gr^{\geq 0}_{k+1,n}$ under the moment map. It is a polytope of dimension $n-1$ in $\mathbb{R}^n$. Meanwhile, the amplituhedron $\mathcal{A}_{n,k,2}(Z)$ is the projection of the positive Grassmannian $Gr^{\geq 0}_{k,n}$ into $Gr_{k,k+2}$ under a map $\tilde{Z}$ induced by a matrix $Z\in \text{Mat}_{n,k+2}^{>0}$. Introduced in the context of scattering amplitudes, it is not a polytope, and has dimension $2k$. Nevertheless, there seem to be remarkable connections between these two objects via T-duality, as was first noted by Lukowski--Parisi--Williams (LPW). In this paper we use ideas from oriented matroid theory, total positivity, and the geometry of the hypersimplex and positroid polytopes to obtain a deeper understanding of the amplituhedron. We show that the inequalities cutting out positroid polytopes -- images of positroid cells of $Gr^{\geq 0}_{k+1,n}$ under the moment map -- translate into sign conditions characterizing the T-dual Grasstopes -- images of positroid cells of $Gr^{\geq 0}_{k,n}$ under $\tilde{Z}$. Moreover, we subdivide the amplituhedron into chambers, just as the hypersimplex can be subdivided into simplices, with both chambers and simplices enumerated by the Eulerian numbers. We prove the main conjecture of (LPW): a collection of positroid polytopes is a triangulation of $Δ_{k+1, n}$ if and only if the collection of T-dual Grasstopes is a triangulation of $\mathcal{A}_{n,k,2}(Z)$ for all $Z$. Moreover, we prove Arkani-Hamed--Thomas--Trnka's conjectural sign-flip characterization of $\mathcal{A}_{n,k,2}(Z)$, and Lukowski--Parisi--Spradlin--Volovich's conjectures on $m=2$ cluster adjacency and on generalized triangles (images of $2k$-dimensional positroid cells which map injectively into $\mathcal{A}_{n,k,2}(Z)$). Finally, we introduce new cluster structures in the amplituhedron.
A new matroid lift construction and an application to group-labeled graphs
Published in Electron. J. Combin. 29 (2022), Paper 1.6, 18pp
• View Publication
• BIB
A well-known result of Brylawski constructs an elementary lift of a matroid $M$ from a linear class of circuits of $M$. We generalize this result by showing how to construct a rank-$k$ lift of $M$ from a rank-$k$ matroid on the set of circuits of $M$. We conjecture that every lift of $M$ arises via this construction.
We then apply this result to group-labeled graphs, generalizing a construction of Zaslavsky. Given a graph $G$ with edges labeled by a group, Zaslavsky's lift matroid $K$ is an elementary lift of the graphic matroid $M(G)$ that respects the group-labeling; specifically, the cycles of $G$ that are circuits of $K$ coincide with the cycles that are balanced with respect to the group-labeling. For $k \ge 2$, when does there exist a rank-$k$ lift of $M(G)$ that respects the group-labeling in this same sense? For abelian groups, we show that such a matroid exists if and only if the group is isomorphic to the additive group of a non-prime finite field.
Symmetry reduction to optimize a graph-based polynomial from queueing theory
Published in SIAM Journal on Applied Algebra and Geometry, 6 (2022), 243-266
• View Publication
• BIB
For given integers $n$ and $d$, both at least 2, we consider a homogeneous multivariate polynomial $f_d$ of degree $d$ in variables indexed by the edges of the complete graph on $n$ vertices and coefficients depending on cardinalities of certain unions of edges. Cardinaels, Borst and Van Leeuwaarden (arXiv:2111.05777, 2021) asked whether $f_d$, which arises in a model of job-occupancy in redundancy scheduling, attains its minimum over the standard simplex at the uniform probability vector. Brosch, Laurent and Steenkamp [SIAM J. Optim. 31 (2021), 2227--2254] proved that $f_d$ is convex over the standard simplex if $d=2$ and $d=3$, implying the desired result for these $d$. We give a symmetry reduction to show that for fixed $d$, the polynomial is convex over the standard simplex (for all $n\geq 2$) if a constant number of constant matrices (with size and coefficients independent of $n$) are positive semidefinite. This result is then used in combination with a computer-assisted verification to show that the polynomial $f_d$ is convex for $d\leq 9$.
Rankings in directed configuration models with heavy tailed in-degrees
Published
• View Publication
• BIB
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum value of the stationary distribution and the maximum in-degree. Under the further assumption that the order statistics of the in-degrees have a power-law behavior, we show that the extremal values of the stationary distribution also have a power-law behavior with the same index. In the same setting, we prove that these results extend to the PageRank scores of the random digraph, thus confirming a version of the so-called power-law hypothesis. Along the way, we establish several facts about the model, including the mixing time cutoff and the characterization of the typical values of the stationary distribution, which were previously obtained under the assumption of bounded in-degrees.
Getting the Lay of the Land in Discrete Space: A Survey of Metric Dimension and its Applications
Published
• View Publication
• BIB
The metric dimension of a graph is the smallest number of nodes required to identify all other nodes based on shortest path distances uniquely. Applications of metric dimension include discovering the source of a spread in a network, canonically labeling graphs, and embedding symbolic data in low-dimensional Euclidean spaces. This survey gives a self-contained introduction to metric dimension and an overview of the quintessential results and applications. We discuss methods for approximating the metric dimension of general graphs, and specific bounds and asymptotic behavior for deterministic and random families of graphs. We conclude with related concepts and directions for future work.
Fluctuations of Subgraph Counts in Graphon Based Random Graphs
Published
• View Publication
• BIB
Given a graphon $W$ and a finite simple graph $H$, with vertex set $V(H)$, denote by $X_n(H, W)$ the number of copies of $H$ in a $W$-random graph on $n$ vertices. The asymptotic distribution of $X_n(H, W)$ was recently obtained by Hladký, Pelekis, and Šileikis (2021) in the case where $H$ is a clique. In this paper, we extend this result to any fixed graph $H$. Towards this we introduce a notion of $H$-regularity of graphons and show that if the graphon $W$ is not $H$-regular, then $X_n(H, W)$ has Gaussian fluctuations with scaling $n^{|V(H)|-\frac{1}{2}}$. On the other hand, if $W$ is $H$-regular, then the fluctuations are of order $n^{|V(H)|-1}$ and the limiting distribution of $X_n(H, W)$ can have both Gaussian and non-Gaussian components, where the non-Gaussian component is a (possibly) infinite weighted sum of centered chi-squared random variables with the weights determined by the spectral properties of a graphon derived from $W$. Our proofs use the asymptotic theory of generalized $U$-statistics developed by Janson and Nowicki (1991). We also investigate the structure of $H$-regular graphons for which either the Gaussian or the non-Gaussian component of the limiting distribution (but not both) is degenerate. Interestingly, there are also $H$-regular graphons $W$ for which both the Gaussian or the non-Gaussian components are degenerate, that is, $X_n(H, W)$ has a degenerate limit even under the scaling $n^{|V(H)|-1}$. We give an example of this degeneracy with $H=K_{1, 3}$ (the 3-star) and also establish non-degeneracy in a few examples. This naturally leads to interesting open questions on higher-order degeneracies.
Comparing weighted difference and earth mover's distance via Young diagrams
Published
• View Publication
• BIB
We consider two natural statistics on pairs of histograms, in which the $n$ bins have weights $0, \ldots, n-1$. The difference ($\mathbf{D}$) between the weighted totals of the histograms is, in a sense, refined by the earth mover's distance ($\mathbf{EMD}$), which measures the amount of work required to equalize the histograms. We were recently surprised, however, by how little $\mathbf{EMD}$ actually does refine $\mathbf{D}$ in certain real-world applications, which led to the main problem in this paper: what is the probability that $\mathbf{EMD} = |\mathbf{D}|$? We derive a formula for this probability, as well as the expected value of $|\mathbf{D}|$, via the combinatorics of Young diagrams and plane partitions. We then generalize our results to an arbitrary number of histograms, where we realize this higher-dimensional $\mathbf{D}$ as distance on the Type-A root lattice.
Pattern avoidance and dominating compositions
Published in ECA 2:1 (2022) Article S2R4, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A4.pdf
• View Publication
• BIB
Jelínek, Mansour, and Shattuck studied Wilf-equivalence among pairs of patterns of the form $\{σ,τ\}$ where $σ$ is a set partition of size $3$ with at least two blocks. They obtained an upper bound for the number of Wilf-equivalence classes for such pairs. We show that their upper bound is the exact number of equivalence classes, thus solving a problem posed by them.
The B-orbits on a Hermitian symmetric variety in characteristic 2
Published
• View Publication
• BIB
Let $G$ be a reductive linear algebraic group over an algebraically closed field $\mathbb{K}$ of characteristic $2$. Fix a parabolic subgroup $P$ such that the corresponding parabolic subgroup over $\mathbb{C}$ has abelian unipotent radical and fix a Levi subgroup $L\subseteq P$. We parametrize the orbits of a Borel $B\subseteq P$ over the Hermitian symmetric variety $G/L$ supposing the root system $Φ$ is irreducible. For $Φ$ simply laced we prove a combinatorial characterization of the Bruhat order over these orbits. We also prove a formula to compute the dimension of the orbits from combinatorial characteristics of their representatives.
On several notions of complexity of polynomial progressions
Published
• View Publication
• BIB
For a polynomial progression $$(x,\; x+P_1(y),\; \ldots,\; x+P_{t}(y)),$$ we define four notions of complexity: Host-Kra complexity, Weyl complexity, true complexity and algebraic complexity. The first two describe the smallest characteristic factor of the progression, the third one refers to the smallest-degree Gowers norm controlling the progression, and the fourth one concerns algebraic relations between terms of the progressions. We conjecture that these four notions are equivalent, which would give a purely algebraic criterion for determining the smallest Host-Kra factor or the smallest Gowers norm controlling a given progression. We prove this conjecture for all progressions whose terms only satisfy homogeneous algebraic relations and linear combinations thereof. This family of polynomial progressions includes, but is not limited to, arithmetic progressions, progressions with linearly independent polynomials $P_1,\; \ldots,\; P_t$ and progressions whose terms satisfy no quadratic relations. For progressions that satisfy only linear relations, such as $$(x,\; x+y^2,\; x+2y^2,\; x+y^3,\; x+2y^3),$$ we derive several combinatorial and dynamical corollaries: (1) an estimate for the count of such progressions in subsets of cyclic groups or totally ergodic dynamical systems; (2) a lower bound for multiple recurrence; (3) and a popular common difference result in cyclic groups. Lastly, we show that Weyl complexity and algebraic complexity always agree, which gives a straightforward algebraic description of Weyl complexity.
Basis of totally primitive elements of WQSym
Published in Seminaire Lotharingien de Combinatoire - FPSAC 2020 Issue 84B [84B.74]
• Search Publication
By Foissy's work, the bidendriform structure of the Word Quasisymmetric Functions Hopf algebra (WQSym) implies that it is isomorphic to its dual. However, the only known explicit isomorphism does not respect the bidendriform structure. This structure is entirely determined by so-called totally primitive elements (elements such that the two half-coproducts are 0). In this paper, we construct a basis indexed by a new combinatorial family called biplane forests in bijection with packed words. In this basis, primitive elements are indexed by biplane trees and totally primitive elements by a certain subset of trees. Thus we obtain the first explicit basis for the totally primitive elements of WQSym.
On clique numbers of colored mixed graphs
Published
• View Publication
• BIB
An (m,n)-colored mixed graph, or simply, an (m,n)-graph is a graph having m different types of arcs and n different types of edges. A homomorphism of an (m,n)-graph G to another (m,n)-graph H is a vertex mapping that preserves adjacency, the type thereto and the direction. A subset R of the set of vertices of G that always maps distinct vertices in itself to distinct image vertices under any homomorphism is called an (m,n)-relative clique of G. The maximum cardinality of an (m,n)-relative clique of a graph is called the (m,n)-relative clique number of the graph. In this article, we explore the (m,n)-relative clique numbers for various families of graphs.
On the existence of quaternary Hermitian LCD codes with Hermitian dual distance $1$
Published
• View Publication
• BIB
For $k \ge 2$ and a positive integer $d_0$, we show that if there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance greater than or equal to $2$, then there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance $1$. As a consequence, we generalize a result by Araya, Harada and Saito on the nonexistence of some quaternary Hermitian linear complementary dual codes.
Additive arithmetic functions meet the inclusion-exclusion principle: Asymptotic formulas concerning the GCD and LCM of several integers
Published in Lithuanian Math. J. 62 (2022), no. 2, 150-169
• View Publication
• BIB
We obtain asymptotic formulas for the sums $\sum_{n_1,\ldots,n_k\le x} f((n_1,\ldots,n_k))$ and $ \sum_{n_1,\ldots,n_k\le x} f([n_1,\ldots,n_k])$ involving the gcd and lcm of the integers $n_1,\ldots,n_k$, where $f$ belongs to certain classes of additive arithmetic functions. In particular, we consider the generalized omega function $Ω_{\ell}(n)= \sum_{p^ν\mid\mid n} ν^{\ell}$ investigated by Duncan (1962) and Hassani (2018), and the functions $A(n)=\sum_{p^ν\mid\mid n} νp$, $A^*(n)= \sum_{p \mid n} p$, $B(n)=A(n)-A^*(n)$ studied by Alladi and Erdős (1977). As a key auxiliary result we use an inclusion-exclusion-type identity.
Linear-sized independent sets in random cographs and increasing subsequences in separable permutations
Published
• View Publication
• BIB
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations.
First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit.
Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.
On arithmetic sums of Ahlfors-regular sets
Published
• View Publication
• BIB
Let $A,B \subset \mathbb{R}$ be closed Ahlfors-regular sets with dimensions $\dim_{\mathrm{H}} A =: α$ and $\dim_{\mathrm{H}} B =: β$. I prove that $$\dim_{\mathrm{H}} [A + θB] \geq α+ β\cdot \tfrac{1 - α}{2 - α}$$ for all $θ\in \mathbb{R} \, \setminus \, E$, where $\dim_{\mathrm{H}} E = 0$.
On Nash-solvability of n-person graphical games under Markov's and a priori realizations
Published
• View Publication
• BIB
We consider graphical $n$-person games with perfect information that have no Nash equilibria in pure stationary strategies. Solving these games in mixed strategies, we introduce probabilistic distributions in all non-terminal positions. The corresponding plays can be analyzed under two different basic assumptions: Markov's and a priori realizations. The former one guarantees existence of a uniformly best response of each player in every situation. Nevertheless, Nash equilibrium may fail to exist even in mixed strategies. The classical Nash theorem is not applicable, since Markov's realizations may result in the limit distributions and effective payoff functions that are not continuous. The a priori realization does not share many nice properties of the Markov one (for example, existence of the uniformly best response) but in return, Nash's theorem is applicable. We illustrate both realizations in details by two examples with $2$ and $3$ players and also provide some general results.