arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2016-12-01 v2
Representable Chow classes of a product of projective spaces
Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially) characterized as some integer point inside a particular polymatroid. If the class is multiplicity-free, we obtain a complete characterization in terms of representable polymatroids. We also generalize some of the results to the case of products of Grassmannians.
2016-12-01 v2
Minimal clusters of four planar regions with the same area
Published • View Publication • BIB
We prove that the optimal way to enclose and separate four planar regions with equal area using the less possible perimeter requires all regions to be connected. Moreover, the topology of such optimal clusters is uniquely determined.
2016-12-01
Local conditions for exponentially many subdivisions
Published • View Publication • BIB
Given a graph $F$, let $s_t(F)$ be the number of subdivisions of $F$, each with a different vertex set, which one can guarantee in a graph $G$ in which every edge lies in at least $t$ copies of $F$. In 1990, Tuza asked for which graphs $F$ and large $t$, one has that $s_t(F)$ is exponential in a power of $t$. We show that, somewhat surprisingly, the only such $F$ are complete graphs, and for every $F$ which is not complete, $s_t(F)$ is polynomial in $t$. Further, for a natural strengthening of the local condition above, we also characterise those $F$ for which $s_t(F)$ is exponential in a power of $t$.
Convex hulls of random walks: Expected number of faces and face probabilities
Published • View Publication • BIB
Consider a sequence of partial sums $S_i= ξ_1+\dots+ξ_i$, $1\leq i\leq n$, starting at $S_0=0$, whose increments $ξ_1,\dots,ξ_n$ are random vectors in $\mathbb R^d$, $d\leq n$. We are interested in the properties of the convex hull $C_n:=\mathrm{Conv}(S_0,S_1,\dots,S_n)$. Assuming that the tuple $(ξ_1,\dots,ξ_n)$ is exchangeable and a certain general position condition holds, we prove that the expected number of $k$-dimensional faces of $C_n$ is given by the formula $$ \mathbb E [f_k(C_n)] = \frac{2\cdot k!}{n!} \sum_{l=0}^{\infty}\genfrac{[}{]}{0pt}{}{n+1}{d-2l} \genfrac{\{}{\}}{0pt}{}{d-2l}{k+1}, $$ for all $0\leq k \leq d-1$, where $\genfrac{[}{]}{0pt}{}{n}{m}$ and $\genfrac{\{}{\}}{0pt}{}{n}{m}$ are Stirling numbers of the first and second kind, respectively. Further, we compute explicitly the probability that for given indices $0\leq i_1<\dots <i_{k+1}\leq n$, the points $S_{i_1},\dots,S_{i_{k+1}}$ form a $k$-dimensional face of $\mathrm{Conv}(S_0,S_1,\dots,S_n)$. This is done in two different settings: for random walks with symmetrically exchangeable increments and for random bridges with exchangeable increments. These results generalize the classical one-dimensional discrete arcsine law for the position of the maximum due to E. Sparre Andersen. All our formulae are distribution-free, that is do not depend on the distribution of the increments $ξ_k$'s. The main ingredient in the proof is the computation of the probability that the origin is absorbed by a joint convex hull of several random walks and bridges whose increments are invariant with respect to the action of direct product of finitely many reflection groups of types $A_{n-1}$ and $B_n$. This probability, in turn, is related to the number of Weyl chambers of a product-type reflection group that are intersected by a linear subspace in general position.
2016-12-01 v7
Ebert's asymmetric three person three color Hat Game
We generalize Ebert's Hat Problem for three persons and three colors. All players guess simultaneously the color of their own hat observing only the hat colors of the other players. It is also allowed for each player to pass: no color is guessed. The team wins if at least one player guesses his or her hat color correct and none of the players has an incorrect guess. This paper studies Ebert's hat problem, where the probabilities of the colors may be different (asymmetric case). Our goal is to maximize the probability of winning the game and to describe winning strategies. In this paper we use the notion of an adequate set. The construction of adequate sets is independent of underlying probabilities and we can use this fact in the analysis of the asymmetric case. Another point of interest is the fact that computational complexity using adequate sets is much less than using standard methods.
A theory of pictures for quasi-posets
Published • View Publication • BIB
The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux can be viewed as double quasi-posets) and topological (quasi-posets identify with finite topolo-gies) lead to extend the theory to quasi-posets. This is the object of the present article.
2016-12-01
On some Euler-Mahonian distributions
Published • View Publication • BIB
We prove that the pair of statistics (des,maj) on multiset permutations is equidistributed with the pair (stc,inv) on certain quotients of the symmetric group. We define the analogue of the statistic stc on multiset permutations, whose joint distribution with the inversions equals that of (des,maj). We extend the definition of the statistic stc to hyperoctahedral and even hyperoctahedral groups. Such functions, together with the Coxeter length, are equidistributed, respectively, with (ndes,nmaj) and (ddes,dmaj).
Blocking duality for $p$-modulus on networks and applications
Published • View Publication • BIB
This paper explores the implications of blocking duality---pioneered by Fulkerson et al.---in the context of $p$-modulus on networks. Fulkerson's blocking duality is an analogue on networks to the method of conjugate families of curves in the plane. The technique presented here leads to a general framework for studying families of objects on networks; each such family has a corresponding dual family whose $p$-modulus is essentially the reciprocal of the original family's. As an application, we give a modulus-based proof for the fact that effective resistance is a metric on graphs. This proof immediately generalizes to yield a family of graph metrics, depending on the parameter $p$, that continuously interpolates among the shortest-path metric, the effective resistance metric, and the mincut ultrametric. In a second application, we establish a connection between Fulkerson's blocking duality and the probabilistic interpretation of modulus. This connection, in turn, provides a straightforward proof of several monotonicity properties of modulus that generalize known monotonicity properties of effective resistance. Finally, we use this framework to expand on a result of Lovász in the context of randomly weighted graphs.
A robust generalization of the Legendre transform for QFT
Published in Journal of Physics A: Mathematical and Theoretical, Volume 50, Number 22, 2017 • View Publication • BIB
Although perturbative quantum field theory is highly successful, it possesses a number of well-known analytic problems, from ultraviolet and infrared divergencies to the divergence of the perturbative expansion itself. As a consequence, it has been difficult, for example, to prove with full rigor that the Legendre transform of the quantum effective action is the generating functional of connected graphs. Here, we give a rigorous proof of this central fact. To this end, we show that the Legendre transform can be re-defined purely combinatorially and that it ultimately reduces to a simple homological relation, the Euler characteristic for tree graphs. This result suggests that, similarly, also the quantum field theoretic path integral, being a Fourier transform, may be reducible to an underlying purely algebraic structure.
2016-12-01
Large subgraphs in rainbow-triangle free colorings
Published • View Publication • BIB
Fox--Grinshpun--Pach showed that every $3$-coloring of the complete graph on $n$ vertices without a rainbow triangle contains a clique of size $Ω\left(n^{1/3}\log^2 n\right)$ which uses at most two colors, and this bound is tight up to the constant factor. We show that if instead of looking for large cliques one only tries to find subgraphs of large chromatic number, one can do much better. We show that every such coloring contains a $2$-colored subgraph with chromatic number at least $n^{2/3}$, and this is best possible. We further show that for fixed positive integers $s,r$ with $s\leq r$, every $r$-coloring of the edges of the complete graph on $n$ vertices without a rainbow triangle contains a subgraph that uses at most $s$ colors and has chromatic number at least $n^{s/r}$, and this is best possible. Fox--Grinshpun--Pach previously showed a clique version of this result. As a direct corollary of our result we obtain a generalisation of the celebrated theorem of Erdős-Szekeres, which states that any sequence of $n$ numbers contains a monotone subsequence of length at least $\sqrt{n}$. We prove that if an $r$-coloring of the edges of an $n$-vertex tournament does not contain a rainbow triangle then there is an $s$-colored directed path on $n^{s/r}$ vertices, which is best possible. This gives a partial answer to a question of Loh.
2016-11-30 v2
Gowers norms for the Thue-Morse and Rudin-Shapiro sequences
Published • View Publication • BIB
We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count arithmetic progressions in the set of integers $\leq N$ where the Thue-Morse (resp. Rudin-Shapiro) sequence takes the value $+1$.
2016-11-30
Structural Controllability of Multi-Agent Networks: Robustness against Simultaneous Failures
Published in Automatica, Volume 49, Issue 11, 2013, Pages 3149-3157 • View Publication • BIB
In this paper, structural controllability of a leader-follower multi-agent system with multiple leaders is studied from a graph-theoretic point of view. The problem of preservation of structural controllability under simultaneous failures in both the communication links and the agents is investigated. The effects of the loss of agents and communication links on the controllability of an information flow graph are previously studied. In this work, the corresponding results are exploited to introduce some useful indices and importance measures that help characterize and quantify the role of individual links and agents in the controllability of the overall network. Existing results are then extended by considering the effects of losses in both links and agents at the same time. To this end, the concepts of joint (r,s)-controllability and joint t-controllability are introduced as quantitative measures of reliability for a multi-agent system, and their important properties are investigated. Lastly, the class of jointly critical digraphs is introduced and it is stated that if a digraph is jointly critical, then joint t-controllability is a necessary and sufficient condition for remaining controllable following the failure of any set of links and agents, with cardinality less than t. Various examples are exploited throughout the paper to elaborate on the analytical findings.
Non-Crossing Perfect Matchings and Triangle-Free Geometric Graphs
We study extremal type problem arising from the question: What is the maximum number of edge-disjoint non-crossing perfect matchings on a set S of 2n points in the plane such that their union is a triangle-free geometric graph? We approach this problem by considering four different situations of S. In particular, in the general position, we obtain (i) a sufficient condition for the existence of n edge-disjoint non-crossing perfect matchings in the general position whose union is a maximal triangle-free geometric graph, and (ii) a lower bound on the number of edge-disjoint non-crossing perfect matchings whose union is a triangle free geometric graph.
On Binary de Bruijn Sequences from LFSRs with Arbitrary Characteristic Polynomials
Published in Des. Codes and Cryptogr. 87 (2019) 1137-1160 • View Publication • BIB
We propose a construction of de Bruijn sequences by the cycle joining method from linear feedback shift registers (LFSRs) with arbitrary characteristic polynomial $f(x)$. We study in detail the cycle structure of the set $Ω(f(x))$ that contains all sequences produced by a specific LFSR on distinct inputs and provide a fast way to find a state of each cycle. This leads to an efficient algorithm to find all conjugate pairs between any two cycles, yielding the adjacency graph. The approach is practical to generate a large class of de Bruijn sequences up to order $n \approx 20$. Many previously proposed constructions of de Bruijn sequences are shown to be special cases of our construction.
2016-11-30 v2
Lakshmibai-Seshadri paths and non-symmetric Cauchy identity
Published • View Publication • BIB
We give a simple crystal theoretic interpretation of the Lascoux's expansion of a non-symmetric Cauchy kernel $\prod_{i+ j\leq n+1}(1-x_iy_j)^{-1}$, which is given in terms of Demazure characters and atoms. We give a bijective proof of the non-symmetric Cauchy identity using the crystal of Lakshmibai-Seshadri paths, and extend it to the case of continuous crystals.
2016-11-30
On the binomial edge ideals of proper interval graphs
We prove several cases of the Betti number conjecture for the binomial edge ideal $J_G$ of a proper interval graph $G$ (also known as closed graph). Namely, we show that this conjecture is true for the linear strand of $J_G$, and true in general for any proper interval graph $G$ such that the regularity of $S/J_G$ equals two.
2016-11-30
Rounds in a combinatorial search problem
Published • View Publication • BIB
We consider the following combinatorial search problem: we are given some excellent elements of $[n]$ and we should find at least one, asking questions of the following type: "Is there an excellent element in $A \subset [n]$?". G.O.H. Katona proved sharp results for the number of questions needed to ask in the adaptive, non-adaptive and two-round versions of this problem. We verify a conjecture of Katona by proving that in the $r$-round version we need to ask $rn^{1/r}+O(1)$ queries for fixed $r$ and this is sharp. We also prove bounds for the queries needed to ask if we want to find at least $d$ excellent elements.
2016-11-30
A note on the real part of complex chromatic roots
Published in Discrete Mathematics 328 (2014), 96-101 • View Publication • BIB
A {\em chromatic root} is a root of the chromatic polynomial of a graph. While the real chromatic roots have been extensively studied and well understood, little is known about the {\em real parts} of chromatic roots. It is not difficult to see that the largest real chromatic root of a graph with $n$ vertices is $n-1$, and indeed, it is known that the largest real chromatic root of a graph is at most the tree-width of the graph. Analogous to these facts, it was conjectured in [8] that the real parts of chromatic roots are also bounded above by both $n-1$ and the tree-width of the graph. In this article we show that for all $k\geq 2$ there exist infinitely many graphs $G$ with tree-width $k$ such that $G$ has non-real chromatic roots $z$ with $\Re(z)>k$. We also discuss the weaker conjecture and prove it for graphs $G$ with $χ(G)\geq n-3$.
Eulerian polynomials and polynomial congruences
Published in Contributions to Discrete Mathematics, vol 14 (2019) 46-54 • View Publication • BIB
We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial.
A Majoritarian Representative Voting System
We present an alternative voting system that aims at bridging the gap between proportional representative systems and majoritarian, single winner election systems. The system lets people vote for multiple parties, but then assigns each ballot to a single party. This opens a whole range of possible systems, all representative. We show theoretically that this space is convex. Then among the possible parliaments we present an algorithm to produce the most majoritarian result. We then test the system and compare the results with a pure proportional and a majoritarian voting system showing how the results are comparable with the majoritarian system. Then we simulate the system and show how it tends to produce parties of exponentially decreasing size with always a first, major party. Finally we describe how the system can be used in a context of a parliament made up of two separate houses.