Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A family of extremal hypergraphs for Ryser's conjecture
Published
• View Publication
• BIB
Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the hypergraph is intersecting. There has also been considerable effort made for finding hypergraphs that are extremal for Ryser's Conjecture, i.e. $r$-partite hypergraphs whose cover number is $r-1$ times its matching number. Aside from a few sporadic examples, the set of uniformities $r$ for which Ryser's Conjecture is known to be tight is limited to those integers for which a projective plane of order $r-1$ exists.
We produce a new infinite family of $r$-uniform hypergraphs extremal to Ryser's Conjecture, which exists whenever a projective plane of order $r-2$ exists. Our construction is flexible enough to produce a large number of non-isomorphic extremal hypergraphs. In particular, we define what we call the {\em Ryser poset} of extremal intersecting $r$-partite $r$-uniform hypergraphs and show that the number of maximal and minimal elements is exponential in $\sqrt{r}$.
This provides further evidence for the difficulty of Ryser's Conjecture.
Cross-intersecting pairs of hypergraphs
Published
• View Publication
• BIB
Two hypergraphs $H_1,\ H_2$ are called {\em cross-intersecting} if $e_1 \cap e_2 \neq \emptyset$ for every pair of edges $e_1 \in H_1,~e_2 \in H_2$. Each of the hypergraphs is then said to {\em block} the other. Given parameters $n,r,m$ we determine the maximal size of a sub-hypergraph of $[n]^r$ (meaning that it is $r$-partite, with all sides of size $n$) for which there exists a blocking sub-hypergraph of $[n]^r$ of size $m$. The answer involves a fractal-like (that is, self-similar) sequence, first studied by Knuth. We also study the same question with $\binom{n}{r}$ replacing $[n]^r$.
Another proof of Moon's theorem on generalised tournament score sequences
Landau \cite{Landau1953} showed that a sequence $(d_i)_{i=1}^n$ of integers is the score sequence of some tournament if and only if $\sum_{i\in J}d_i \geq \binom{|J|}{2}$ for all $J\subseteq \{1,2,\dots, n\}$, with equality if $|J|=n$. Moon \cite{Moon63} extended this result to generalised tournaments. We show how Moon's result can be derived from Landau's result.
Secretary Problem with quality-based payoff
We consider a variant of the classical Secretary Problem. In this setting, the candidates are ranked according to some exchangeable random variable and the quest is to maximize the expected quality of the chosen aspirant. We find an upper bound for the optimal hiring rule, present examples showing it is sharp, and recover the classical case, among other results.
Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups
Published
• View Publication
• BIB
The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \geq 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.
Dense PG(n-1,2)-free binary matroids
For each integer $n \geq 2$, we prove that, if $M$ is a simple rank-$r$ $PG(n-1,2)$-free binary matroid with $|M|>\left(1-\frac{3}{2^n}\right)2^r$, then there is a triangle-free corank-$(n-2)$ flat of $M$.
A combinatorial description of dual defects of toric varieties
Published
• View Publication
• BIB
From a finite set in a lattice, we can define a toric variety embedded in a projective space. In this paper, we give a combinatorial description of the dual defect of the toric variety using the structure of the finite set as a Cayley sum with suitable conditions. We also interpret the description geometrically.
Terminal-Pairability in Complete Graphs
Published in Journal of Combinatorial Mathematics and Combinatorial Computing Volume 107, November, 2018, pp. 221-231
• Search Publication
We investigate terminal-pairability properties of complete graphs and improve the known bounds in two open problems. We prove that the complete graph $K_n$ on $n$ vertices is terminal-pairable if the maximum degree $Δ$ of the corresponding demand graph $D$ is at most $2\lfloor\frac{n}{6}\rfloor-2$. We also verify the terminal-pairability property when the number of edges in $D$ does not exceed $2n-5$ and $Δ\leq n-1$ holds.
An Algebraic Geometric Approach to Nivat's Conjecture
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup when there is a non-trivial annihilating polynomial: a non-zero polynomial whose formal product with the power series is zero. Such annihilator exists, for example, if the number of distinct patterns of some finite shape $D$ in the configuration is at most the size $|D|$ of the shape. This is our low pattern complexity assumption. We prove that the configuration must be a sum of periodic configurations over integers, possibly with unbounded values. As a specific application of the method we obtain an asymptotic version of the well-known Nivat's conjecture: we prove that any two-dimensional, non-periodic configuration can satisfy the low pattern complexity assumption with respect to only finitely many distinct rectangular shapes $D$.
Completing Partial Latin Squares - Alternative Proof
The problem of completing a partially specified n by n Latin square is solved by an alternative proof, based on filling the rows (or diagonals) from 1 to n, using an extended form of Hall's marriage theorem.
Formal-dual subsets of cyclic groups of prime power order
Published
• View Publication
• BIB
We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Schürmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of order $2^{2l+1}$, there is no primitive pair of formally-dual subsets. This partially proves a conjecture, made by the priorly mentioned authors, that the only cyclic groups with a pair of primitive formally-dual subsets are $\{0\}$ and $\mathbb{Z}/4\mathbb{Z}$.
Spectral properties of general hypergraphs
Published
• View Publication
• BIB
In this paper, we investigate spectral properties of the adjacency tensor, Laplacian tensor and signless Laplacian tensor of general hypergraphs (including uniform and non-uniform hypergraphs). We obtain some bounds for the spectral radius of general hypergraphs in terms of vertex degrees, and give spectral characterizations of odd-bipartite hypergraphs.
Exponential Independence
For a set $S$ of vertices of a graph $G$, a vertex $u$ in $V(G)\setminus S$, and a vertex $v$ in $S$, let ${\rm dist}_{(G,S)}(u,v)$ be the distance of $u$ and $v$ in the graph $G-(S\setminus \{ v\})$. Dankelmann et al. (Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883) define $S$ to be an exponential dominating set of $G$ if $w_{(G,S)}(u)\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where $w_{(G,S)}(u)=\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}$. Inspired by this notion, we define $S$ to be an exponential independent set of $G$ if $w_{(G,S\setminus \{ u\})}(u)<1$ for every vertex $u$ in $S$, and the exponential independence number $α_e(G)$ of $G$ as the maximum order of an exponential independent set of $G$.
Similarly as for exponential domination, the non-local nature of exponential independence leads to many interesting effects and challenges. Our results comprise exact values for special graphs as well as tight bounds and the corresponding extremal graphs. Furthermore, we characterize all graphs $G$ for which $α_e(H)$ equals the independence number $α(H)$ for every induced subgraph $H$ of $G$, and we give an explicit characterization of all trees $T$ with $α_e(T)=α(T)$.
Basis for solutions of the Benoit & Saint-Aubin PDEs with particular asymptotic properties
Published in Ann. Inst. Henri Poincaré D, 7(1):1-73, 2020
• View Publication
• BIB
Applying the quantum group method developed in [KP20], we construct solutions to the Benoit & Saint-Aubin partial differential equations with boundary conditions given by specific recursive asymptotics properties. Our results generalize solutions constructed in [KP16, PW19], known as the pure partition functions of multiple Schramm-Loewner evolutions. The generalization is reminiscent of fusion in conformal field theory, and our solutions can be thought of as partition functions of systems of random curves, where many curves may emerge from the same point.
On rotarily transitive graphs
From the point of view of discrete geometry, the class of locally finite transitive graphs is a wide and important one. The subclass of Cayley graphs is of particular interest, as testifies the development of geometric group theory. Recall that Cayley graphs can be defined as non-empty locally finite connected graphs endowed with a transitive group action such that any non-identity element acts without fixed point.
We define a class of transitive graphs which are transitive in an "absolutely non-Cayley way": we consider graphs endowed with a transitive group action such that any element of the group acts with a fixed point. We call such graphs "rotarily transitive graphs", and we show that, even though there is no finite rotarily transitive graph with at least 2 vertices, there is an infinite locally finite connected rotarily transitive graph. The proof is based on groups built by Ivanov which are finitely generated, of finite exponent and have a small number of conjugacy classes.
We also build infinite transitive graphs (which are not locally finite) any automorphism of which has a fixed point. This is done by considering "unit distance graphs" associated with the projective plane over suitable subfields of the real numbers.
Computing the n-th coefficient of an algebraic power series modulo p in O(log n) operations
This is an exposition, for pedagogical purposes, of the formal power series proof of Bostan, Christol and Dumas [3] of the result stated in the title (a corollary of the Christol theorem).
The Asymptotic Number of Simple Singular Vector Tuples of a Cubical Tensor
Published
• View Publication
• BIB
S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic $m_1 \times \cdots \times m_d$ tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case $m_1 = \cdots = m_d$. We prove this conjecture and further identify completely the dominant asymptotic term, including the multiplicative constant. Finally, we use the method of differential approximants to conjecture that the subdominant connective constant effect observed by Ekhad and Zeilberger for a particular case in fact occurs more generally.
Perfect Matchings in Inhomogeneous Random Bipartite Graphs in Random Environment
Published
• View Publication
• BIB
In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.
Displaying tangles and non-sequential separations
We show that, for any graph or matroid, there is a tree that simultaneously distinguishes its maximal tangles, and, for each maximal tangle $\mathcal{T}$ that satisfies an additional robustness condition, displays all of the non-trivial separations relative to $\mathcal{T}$, up to a natural equivalence.
An Involution on Involutions and a Generalization of Layered Permutations
Taking transposes of Standard Young Tableaux defines a natural involution on the set $I(n)$ of involutions of length $n$ via the the Robinson-Schensted correspondence. In some cases, this involution can be defined without resorting to the Robinson-Schensted correspondence. As a byproduct, we get an interesting generalization of layered permutations.