Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Quadrilaterals inscribed in convex curves
Published in Trans. Amer. Math. Soc. 374 (2021), no. 8, 5719-5738
• View Publication
• BIB
We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case. This answers a question of Makeev in the special case of convex curves. The difficulty of this problem comes from the fact that standard topological arguments to prove the existence of solutions do not apply here due to the lack of sufficient symmetry. Instead, the proof makes use of an area argument of Karasev and Tao, which we furthermore simplify and elaborate on. The continuous case requires an additional analysis of the singular points, and a small miracle, which then extends to show that the problems of inscribing isosceles trapezoids in smooth curves and in piecewise $C^1$ curves are equivalent.
A short note on doubly substochastic analog of Birkhoff's theorem
Let B be an n by n doubly substochastic matrix. We show that B can be written as a convex combination of no more than σ(B)+t subpermutation matrices, where σ(B) is the number of nonzero elements in B and t is the number of fully indecomposable components of B^{comp}, the minimal doubly stochastic completion of B obtained by a specific way.
Validity of Borodin and Kostochka Conjecture for {4 Times K1}-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of even 3K1-free graphs is still open and pretty hard. Here we prove Borodin & Kostochka Conjecture for 4K1-free graphs G i.e. If maximum degree of a {4 Times K1}-free graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and {δ-1}.
Schurity and separability of quasiregular coherent configurations
Published
• View Publication
• BIB
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.
A family of multigraphs with large palette index
Published
• View Publication
• BIB
Given a proper edge-coloring of a loopless multigraph, the palette of a vertex is defined as the set of colors of the edges which are incident with it. The palette index of a multigraph is defined as the minimum number of distinct palettes occurring among the vertices, taken over all proper edge-colorings of the multigraph itself. In this framework, the palette multigraph of an edge-colored multigraph is defined in this paper and some of its properties are investigated. We show that these properties can be applied in a natural way in order to produce the first known family of multigraphs whose palette index is expressed in terms of the maximum degree by a quadratic polynomial. We also attempt an analysis of our result in connection with some related questions.
Codegree Turán density of complete $r$-uniform hypergraphs
Published
• View Publication
• BIB
Let $r\ge 3$. Given an $r$-graph $H$, the minimum codegree $δ_{r-1}(H)$ is the largest integer $t$ such that every $(r-1)$-subset of $V(H)$ is contained in at least $t$ edges of $H$. Given an $r$-graph $F$, the codegree Turán density $γ(F)$ is the smallest $γ>0$ such that every $r$-graph on $n$ vertices with $δ_{r-1}(H)\ge (γ+ o(1))n$ contains $F$ as a subhypergraph. Using results on the independence number of hypergraphs, we show that there are constants $c_1, c_2>0$ depending only on $r$ such that \[ 1 - c_2 \frac{\ln t}{t^{r-1}} \le γ(K_t^r) \le 1 - c_1 \frac{\ln t}{t^{r-1}}, \] where $K_t^r$ is the complete $r$-graph on $t$ vertices. This gives the best general bounds for $γ(K_t^r)$.
Finite semilattices with many congruences
For an integer $n\geq 2$, let NCSL$(n)$ denote the set of sizes of congruence lattices of $n$-element semilattices. We find the four largest numbers belonging to NCSL$(n)$, provided that $n$ is large enough to ensure that $|$NCSL$(n)|\geq 4$. Furthermore, we describe the $n$-element semilattices witnessing these numbers.
The Action of Young Subgroups on the Partition Complex
Published
• View Publication
• BIB
We study the restrictions, the strict fixed points, and the strict quotients of the partition complex $|Π_n|$, which is the $Σ_n$-space attached to the poset of proper nontrivial partitions of the set $\{1,\ldots,n\}$.
We express the space of fixed points $|Π_n|^G$ in terms of subgroup posets for general $G\subset Σ_n$ and prove a formula for the restriction of $|Π_n|$ to Young subgroups $Σ_{n_1}\times \dots\times Σ_{n_k}$. Both results follow by applying a general method, proven with discrete Morse theory, for producing equivariant branching rules on lattices with group actions. We uncover surprising links between strict Young quotients of $|Π_n|$, commutative monoid spaces, and the cotangent fibre in derived algebraic geometry. These connections allow us to construct a cofibre sequence relating various strict quotients $|Π_n|^\diamond\wedge_{Σ_n} (S^\ell)^{\wedge n}$ and give a combinatorial proof of a splitting in derived algebraic geometry. Combining all our results, we decompose strict Young quotients of $|Π_n|$ in terms of "atoms" $|Π_d|^\diamond\wedge_{Σ_d} (S^\ell)^{\wedge d}$ for $\ell$ odd and compute their homology. We thereby also generalise Goerss' computation of the algebraic André-Quillen homology of trivial square-zero extensions from $\mathbb{F}_2$ to $\mathbb{F}_p$ for $p$ an odd prime.
Hats: all or nothing
N players are randomly fitted with a colored hat (q different colors). All players guess simultaneously the color of their own hat observing only the hat colors of the other N-1 players. The team wins if all players guess right. No communication of any sort is allowed, except for an initial strategy session before the game begins. In the first part of our investigation we have q different colors with equal probability. Up to 4 colors we construct optimal strategies for any number of players using Hamming Complete Sets. For 5 colors we find optimal strategies up to 5 players using Optimal Hamming Sets. In the second part we have two colors where the probabilities may differ. We construct optimal strategies and maximal probability of winning the game for any number of players.
Correlation between clustering and degree in affiliation networks
Published
• View Publication
• BIB
We are interested in the probability that two randomly selected neighbors of a random vertex of degree (at least) $k$ are adjacent. We evaluate this probability for a power law random intersection graph, where each vertex is prescribed a collection of attributes and two vertices are adjacent whenever they share a common attribute. We show that the probability obeys the scaling $k^{-δ}$ as $k\to+\infty$. Our results are mathematically rigorous. The parameter $0\le δ\le 1$ is determined by the tail indices of power law random weights defining the links between vertices and attributes.
A bound on the inducibility of cycles
Published in J. Combin. Theory Ser. A 161 (2019), 359-363
• View Publication
• BIB
In 1975, Pippenger and Golumbic conjectured that every n-vertex graph has at most $n^k/(k^k - k)$ induced cycles of length k for k at least 5. We prove that every n-vertex graph has at most $2 n^k/k^k$ induced cycles of length k.
How Many Rounds Should You Expect in Urn Solitaire?
A certain sampling process, concerning an urn with balls of two colors, proposed in 1965 by B.E. Oakley and R.L. Perry, and discussed by Peter Winkler and Martin Gardner, that has an extremely simple answer for the probability, namely the constant function 1/2, has a far more complicated expected duration, that we discover and sketch the proof of. So unlike, for example, the classical gambler's ruin problem, for which both `probability of winning' and `expected duration' have very simple expressions, in this case the expected number of rounds is extremely complicated, and beyond the scope of humans.
On a class of polynomials connected to Bell polynomials
In this paper, we study a class of sequences of polynomials linked to the sequence of Bell polynomials. Some sequences of this class have applications on the theory of hyperbolic differential equations and other sequences generalize Laguerre polynomials and associated Lah polynomials. We discuss, for these polynomials, their explicit expressions, relations to the successive derivatives of a given function, real zeros and recurrence relations. Some known results are significantly simplified.
Eigenvalues of random lifts and polynomials of random permutation matrices
Published in Annals of Mathematics 190 (2019), no. 3, 811-75
• View Publication
• BIB
Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method.
As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.
On the exact maximum induced density of almost all graphs and their inducibility
Published
• View Publication
• BIB
Let $H$ be a graph on $h$ vertices. The number of induced copies of $H$ in a graph $G$ is denoted by $i_H(G)$. Let $i_H(n)$ denote the maximum of $i_H(G)$ taken over all graphs $G$ with $n$ vertices.
Let $f(n,h) = Π_{i}^h a_i$ where $\sum_{i=1}^h a_i = n$ and the $a_i$ are as equal as possible. Let $g(n,h) = f(n,h) + \sum_{i=1}^h g(a_i,h)$. It is proved that for almost all graphs $H$ on $h$ vertices it holds that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. More precisely, we define an explicit graph property ${\cal P}_h$ which, when satisfied by $H$, guarantees that $i_H(n)=g(n,h)$ for all $n \le 2^{\sqrt{h}}$. It is proved, in particular, that a random graph on $h$ vertices satisfies ${\cal P}_h$ with probability $1-o_h(1)$. Furthermore, all extremal $n$-vertex graphs yielding $i_H(n)$ in the aforementioned range are determined.
We also prove a stability result. For $H \in {\cal P}_h$ and a graph $G$ with $n \le 2^{\sqrt{h}}$ vertices satisfying $i_H(G) \ge f(n,h)$, it must be that $G$ is obtained from a balanced blowup of $H$ by adding some edges inside the blowup parts.
The {\em inducibility} of $H$ is $i_H = \lim_{n \rightarrow \infty} i_H(n)/\binom{n}{h}$. It is known that $i_H \ge h!/(h^h-h)$ for all graphs $H$ and that a random graph $H$ satisfies almost surely that $i_H \le h^{3\log h}h!/(h^h-h)$. We improve upon this upper bound almost matching the lower bound. It is shown that a graph $H$ which satisfies ${\cal P}_h$ has $i_H =(1+O(h^{-h^{1/3}}))h!/(h^h-h)$.
Forcing large tight components in 3-graphs
Published in European Journal of Combinatorics 77 (2019), pp 57-67
• View Publication
• BIB
Any $n$-vertex $3$-graph with minimum codegree at least $\lfloor n/3\rfloor$ must have a spanning tight component, but immediately below this threshold it is possible for no tight component to span more than $\lceil 2n/3\rceil$ vertices. Motivated by this observation, we ask which codegree forces a tight component of at least any given size. The corresponding function seems to have infinitely many discontinuities, but we provide upper and lower bounds, which asymptotically converge as the function nears the origin.
Independence number of graphs with a prescribed number of cliques
Published
• View Publication
• BIB
We consider the following problem posed by Erdos in 1962. Suppose that $G$ is an $n$-vertex graph where the number of $s$-cliques in $G$ is $t$. How small can the independence number of $G$ be? Our main result suggests that for fixed $s$, the smallest possible independence number undergoes a transition at $t=n^{s/2+o(1)}$.
In the case of triangles ($s=3$) we obtain the following result which is sharp apart from constant factors and generalizes basic results in Ramsey theory: there exists $c>0$ such that every $n$-vertex graph with $t$ triangles has independence number at least $$c \cdot \min\left\{ \sqrt {n \log n}\, , \, \frac{n}{t^{1/3}} \left(\log \frac{n}{ t^{1/3}}\right)^{2/3} \right\}.$$
On Periodicity Lemma for Partial Words
Published
• View Publication
• BIB
We investigate the function $L(h,p,q)$, called here the threshold function, related to periodicity of partial words (words with holes). The value $L(h,p,q)$ is defined as the minimum length threshold which guarantees that a natural extension of the periodicity lemma is valid for partial words with $h$ holes and (strong) periods $p,q$. We show how to evaluate the threshold function in $O(\log p + \log q)$ time, which is an improvement upon the best previously known $O(p+q)$-time algorithm. In a series of papers, the formulae for the threshold function, in terms of $p$ and $q$, were provided for each fixed $h \le 7$. We demystify the generic structure of such formulae, and for each value $h$ we express the threshold function in terms of a piecewise-linear function with $O(h)$ pieces.
On certain edge-transitive bicirculants
Published in Published in Electronic Journal of Combinatorics, Vol 26, Issue 2, 2019
• View Publication
• BIB
A graph $Γ$ of even order is a bicirculant if it admits an automorphism with two orbits of equal length. Symmetry properties of bicirculants, for which at least one of the induced subgraphs on the two orbits of the corresponding semiregular automorphism is a cycle, have been studied, at least for the few smallest possible valences. For valences $3$, $4$ and $5$, where the corresponding bicirculants are called generalized Petersen graphs, Rose window graphs and Tabačjn graphs, respectively, all edge-transitive members have been classified. While there are only 7 edge-transitive generalized Petersen graphs and only 3 edge-transitive Tabačjn graphs, infinite families of edge-transitive Rose window graphs exist. The main theme of this paper is the question of the existence of such bicirculants for higher valences. It is proved that infinite families of edge-transitive examples of valence $6$ exist and among them infinitely many arc-transitive as well as infinitely many half-arc-transitive members are identified. Moreover, the classification of the ones of valence $6$ and girth $3$ is given. As a corollary, an infinite family of half-arc-transitive graphs of valence $6$ with universal reachability relation, which were thus far not known to exist, is obtained.
Coins and Logic
Published
• View Publication
• BIB
We establish fun parallels between coin-weighing puzzles and knights-and-knaves puzzles.