Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Maximum induced forests in random graphs
Published
• View Publication
• BIB
We prove that with high probability maximum sizes of induced forests in dense binomial random graphs are concentrated in two consecutive values.
Brick partition problems in three dimensions
Published
• View Publication
• BIB
A $d$-dimensional brick is a set $I_1\times \cdots \times I_d$ where each $I_i$ is an interval. Given a brick $B$, a brick partition of $B$ is a partition of $B$ into bricks. A brick partition $\mathcal{P}_d$ of a $d$-dimensional brick is $k$-piercing if every axis-parallel line intersects at least $k$ bricks in $\mathcal{P}_d$. Bucic et al. explicitly asked the minimum size $p(d, k)$ of a $k$-piercing brick partition of a $d$-dimensional brick. The answer is known to be $4(k-1)$ when $d=2$. Our first result almost determines $p(3, k)$. Namely, we construct a $k$-piercing brick partition of a $3$-dimensional brick with $12k-15$ parts, which is off by only $1$ from the known lower bound. As a generalization of the above question, we also seek the minimum size $s(d, k)$ of a brick partition $\mathcal{P}_d$ of a $d$-dimensional brick where each axis-parallel plane intersects at least $k$ bricks in $\mathcal{P}_d$. We resolve the question in the $3$-dimensional case by determining $s(3, k)$ for all $k$.
Minimal instances with no weakly stable matching for three-sided problem with cyclic incomplete preferences
Published
• View Publication
• BIB
Given $n$ men, $n$ women, and $n$ dogs, each man has an incomplete preference list of women, each woman does an incomplete preference list of dogs, and each dog does an incomplete preference list of men. We understand a family as a triple consisting of one man, one woman, and one dog such that each of them enters in the preference list of the corresponding agent. We do a matching as a collection of nonintersecting families (some agents, possibly, remain single). A matching is said to be nonstable, if one can find a man, a woman, and a dog which do not live together currently but each of them would become "happier" if they do. Otherwise the matching is said to be stable (a weakly stable matching in 3-DSMI-CYC problem). We give an example of this problem for $n=3$ where no stable matching exists. Moreover, we prove the absence of such an example for $n<3$. Such an example was known earlier only for $n=6$ (Biro, McDermid, 2010). The constructed examples also allows one to decrease (in two times) the size of the recently constructed analogous example for complete preference lists (Lam, Plaxton, 2019).
Sparse expanders have negative curvature
Published
• View Publication
• BIB
We prove that bounded-degree expanders with non-negative Ollivier-Ricci curvature do not exist, thereby solving a long-standing open problem suggested by Naor and Milman and publicized by Ollivier (2010). In fact, this remains true even if we allow for a vanishing proportion of large degrees, large eigenvalues, and negatively-curved edges. To establish this, we work directly at the level of Benjamini-Schramm limits, and exploit the entropic characterization of the Liouville property on stationary random graphs to show that non-negative curvature and spectral expansion are incompatible "at infinity". We then transfer this result to finite graphs via local weak convergence. The same approach also applies to the Bacry-Emery curvature condition CD$(0,\infty)$, thereby settling a recent conjecture of Cushing, Liu and Peyerimhoff (2019).
Cyclotomic expansions for $\mathfrak{gl}_N$ knot invariants via interpolation Macdonald polynomials
Published
• View Publication
• BIB
In this paper we construct a new basis for the cyclotomic completion of the center of the quantum $\mathfrak{gl}_N$ in terms of the interpolation Macdonald polynomials. Then we use a result of Okounkov to provide a dual basis with respect to the quantum Killing form (or Hopf pairing). The main applications are: 1) cyclotomic expansions for the $\mathfrak{gl}_N$ Reshetikhin--Turaev link invariants and the universal $\mathfrak{gl}_N$ knot invariant; 2) an explicit construction of the unified $\mathfrak{gl}_N$ invariants for integral homology 3-spheres using universal Kirby colors. These results generalize those of Habiro for $\mathfrak{sl}_2$. In addition, we give a simple proof of the fact that the universal $\mathfrak{gl}_N$ invariant of any evenly framed link and the universal $\mathfrak{sl}_N$ invariant of any $0$-framed algebraically split link are $Γ$-invariant, where $Γ=Y/2Y$ with the root lattice $Y$.
Moderate Deviations in Cycle Count
Published
• View Publication
• BIB
We prove moderate deviations bounds for the lower tail of the number of odd cycles in a $\calG(n, m)$ random graph. We show that the probability of decreasing triangle density by $t^3$, is $\exp(-Θ(n^2 t^2))$ whenever $n^{-3/4} \ll t^3 \ll 1$, while for $k \ge 5$ we give the same estimate for the probability of decreasing the $k$-cycle density by $t^k$, but for the larger range $n^{-1} \ll t^k \ll 1$. When $m \ge \frac 12 \binom n2$, we also find the leading coefficient in the exponent. This complements results of Goldschmidt et al., who showed that for $n^{-3/2} \ll t^k \ll n^{-1}$, the probability is $\exp(-Θ(n^3 t^{2k}))$. That is, deviations of order smaller than $n^{-1}$ behave like small deviations, and deviations of order larger than $n^{-3/4}$ (for triangles) or $n^{-1}$ (for $k$-cycles with $k \ge 5$) behave like large deviations. For triangles, we conjecture that a sharp change between the two regimes occurs for deviations of size $n^{-3/4}$, which we associate with a single large negative eigenvalue of the adjacency matrix becoming responsible for almost all of the cycle deficit.
Our results can be interpreted as finite size effects in phase transitions in constrained random graphs.
Tweaking the Beukers Integrals In Search of More Miraculous Irrationality Proofs A La Apery
Published
• View Publication
• BIB
There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real constant, is irrational is usually very hard, witness that there are still no proofs of the irrationality of the Euler-Mascheroni constant, the Catalan constant, or Zeta(5).
Inspired by Frits Beukers' elegant rendition of Apery's seminal proofs of the irrationality of Zeta(2) and Zeta(3), and heavily using algorithmic proof theory, we systematically searched for other similar integrals, that lead to irrationality proofs. We found quite a few candidates for such proofs, including the square-root of Pi times Gamma(7/3)/Gamma(-1/6) and Gamma(19/6)/Gamma(8/3) divided by the square-root of Pi.
Partitions of an Integer into Powers
Published in DMTCS, Proceedings of Discrete Models: Combinatorics, Computation, and Geometry (DM-CCG), 2001
• View Publication
• BIB
In this paper, we use a simple discrete dynamical model to study partitions of integers into powers of another integer. We extend and generalize some known results about their enumeration and counting, and we give new structural results. In particular, we show that the set of these partitions can be ordered in a natural way which gives the distributive lattice structure to this set. We also give a tree structure which allow efficient and simple enumeration of the partitions of an integer.
Proof of a Conjecture on the Wiener Index of Eulerian Graphs
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of the distances between all unordered pairs of vertices. A connected graph is Eulerian if its vertex degrees are all even. In [Gutman, Cruz, Rada, Wiener index of Eulerian Graphs, Discrete Applied Mathematics 132 (2014), 247-250] the authors proved that the cycle is the unique graph maximising the Wiener index among all Eulerian graphs of given order. They also conjectured that for Eulerian graphs of order $n \geq 26$ the graph consisting of a cycle on $n-2$ vertices and a triangle that share a vertex is the unique Eulerian graph with second largest Wiener index. The conjecture is known to hold for all $n\leq 25$ with exception of six values. In this paper we prove the conjecture.
Generalized Tilings with Height Functions
Published in Morfismos, Vol 7, No 1, 2003
• Search Publication
In this paper, we introduce a generalization of a class of tilings which appear in the literature: the tilings over which a height function can be defined (for example, the famous tilings of polyominoes with dominoes). We show that many properties of these tilings can be seen as the consequences of properties of the generalized tilings we introduce. In particular, we show that any tiling problem which can be modelized in our generalized framework has the following properties: the tilability of a region can be constructively decided in polynomial time, the number of connected components in the undirected flip-accessibility graph can be determined, and the directed flip-accessibility graph induces a distributive lattice structure. Finally, we give a few examples of known tiling problems which can be viewed as particular cases of the new notions we introduce.
On a polynomial congruence for Eulerian polynomials
We give a short proof, using generating functions, for a polynomial congruence for Eulerian polynomials first proved, using arrangements of hyperplanes, by Yoshinaga and later proved, using roots of unity, by Iijima, Sasaki, Takahashi, and Yoshinaga.
The General Graph Matching Game: Approximate Core
Published
• View Publication
• BIB
The classic paper of Shapley and Shubik \cite{Shapley1971assignment} characterized the core of the assignment game using ideas from matching theory and LP-duality theory and their highly non-trivial interplay. Whereas the core of this game is always non-empty, that of the general graph matching game can be empty.
This paper salvages the situation by giving an imputation in the $2/3$-approximate core for the latter. This bound is best possible, since it is the integrality gap of the natural underlying LP. Our profit allocation method goes further: the multiplier on the profit of an agent is often better than ${2 \over 3}$ and lies in the interval $[{2 \over 3}, 1]$, depending on how severely constrained the agent is.
Next, we provide new insights showing how discerning core imputations of an assignment games are by studying them via the lens of complementary slackness. We present a relationship between the competitiveness of individuals and teams of agents and the amount of profit they accrue in imputations that lie in the core, where by {\em competitiveness} we mean whether an individual or a team is matched in every/some/no maximum matching. This also sheds light on the phenomenon of degeneracy in assignment games, i.e., when the maximum weight matching is not unique.
The core is a quintessential solution concept in cooperative game theory. It contains all ways of distributing the total worth of a game among agents in such a way that no sub-coalition has incentive to secede from the grand coalition. Our imputation, in the $2/3$-approximate core, implies that a sub-coalition will gain at most a $3/2$ factor by seceding, and less in typical cases.
On an uncountable family of graphs whose spectrum is a Cantor set
Published
• View Publication
• BIB
For each $p\geq 1$, the star automaton group $\mathcal{G}_{S_p}$ is an automaton group which can be defined starting from a star graph on $p+1$ vertices. We study Schreier graphs associated with the action of the group $\mathcal{G}_{S_p}$ on the regular rooted tree $T_{p+1}$ of degree $p+1$ and on its boundary $\partial T_{p+1}$. With the transitive action on the $n$-th level of $T_{p+1}$ is associated a finite Schreier graph $Γ^p_n$, whereas there exist uncountably many orbits of the action on the boundary, represented by infinite Schreier graphs which are obtained as limits of the sequence $\{Γ_n^p\}_{n\geq 1}$ in the Gromov-Hausdorff topology. We obtain an explicit description of the spectrum of the graphs $\{Γ_n^p\}_{n\geq 1}$. Then, by using amenability of $\mathcal{G}_{S_p}$, we prove that the spectrum of each infinite Schreier graph is the union of a Cantor set of zero Lebesgue measure, which is the Julia set of the quadratic map $f_p(z) = z^2-2(p-1)z -2p$, and a countable collection of isolated points supporting the KNS spectral measure. We also give a complete classification of the infinite Schreier graphs up to isomorphism of unrooted graphs, showing that they may have $1$, $2$ or $2p$ ends, and that the case of $1$ end is generic with respect to the uniform measure on $\partial T_{p+1}$.
Can smooth graphons in several dimensions be represented by smooth graphons on $[0,1]$?
Published
• View Publication
• BIB
A graphon that is defined on $[0,1]^d$ and is Hölder$(α)$ continuous for some $d\ge2$ and $α\in(0,1]$ can be represented by a graphon on $[0,1]$ that is Hölder$(α/d)$ continuous. We give examples that show that this reduction in smoothness to $α/d$ is the best possible, for any $d$ and $α$; for $α=1$, the example is a dot product graphon and shows that the reduction is the best possible even for graphons that are polynomials.
A motivation for studying the smoothness of graphon functions is that this represents a key assumption in non-parametric statistical network analysis. Our examples show that making a smoothness assumption in a particular dimension is not equivalent to making it in any other latent dimension.
Game values of arithmetic functions
Published
• View Publication
• BIB
Arithmetic functions in Number Theory meet the Sprague-Grundy function from Combinatorial Game Theory. We study a variety of 2-player games induced by standard arithmetic functions, such as Euclidian division, divisors, remainders and relatively prime numbers, and their negations.
Anticoncentration versus the number of subset sums
Published
• View Publication
• BIB
Let $\vec{w} = (w_1,\dots, w_n) \in \mathbb{R}^{n}$. We show that for any $n^{-2}\leε\le 1$, if \[\#\{\vecξ \in \{0,1\}^{n}: \langle \vecξ, \vec{w} \rangle = τ\} \ge 2^{-εn}\cdot 2^{n}\] for some $τ\in \mathbb{R}$, then \[\#\{\langle \vecξ, \vec{w} \rangle : \vecξ \in \{0,1\}^{n}\} \le 2^{O(\sqrtεn)}.\] This exponentially improves the $ε$ dependence in a recent result of Nederlof, Pawlewicz, Swennenhuis, and Węgrzycki and leads to a similar improvement in the parameterized (by the number of bins) runtime of bin packing.
Palindromic and Colored Superdiagonal Compositions
Published
• View Publication
• BIB
A superdiagonal composition is one in which the $i$-th part or summand is of size greater than or equal to $i$. In this paper, we study the number of palindromic superdiagonal compositions and colored superdiagonal compositions. In particular, we give generating functions and explicit combinatorial formulas involving binomial coefficients and Stirling numbers of the first kind.
A nonabelian Brunn-Minkowski inequality
Published
• View Publication
• BIB
Henstock and Macbeath asked in 1953 whether the Brunn-Minkowski inequality can be generalized to nonabelian locally compact groups; questions along the same line were also asked by Hrushovski, McCrudden, and Tao. We obtain here such an inequality and prove that it is sharp for helix-free locally compact groups, which includes real linear algebraic groups, Nash groups, semisimple Lie groups with finite center, solvable Lie groups, etc. The proof follows an induction on dimension strategy; new ingredients include an understanding of the role played by maximal compact subgroups of Lie groups, a necessary modified form of the inequality which is also applicable to nonunimodular locally compact groups, and a proportionated averaging trick.
Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
Published
• View Publication
• BIB
For $k\geq 1$, a $k$-colouring $c$ of $G$ is a mapping from $V(G)$ to $\{1,2,\ldots,k\}$ such that $c(u)\neq c(v)$ for any two non-adjacent vertices $u$ and $v$. The $k$-Colouring problem is to decide if a graph $G$ has a $k$-colouring. For a family of graphs ${\cal H}$, a graph $G$ is ${\cal H}$-free if $G$ does not contain any graph from ${\cal H}$ as an induced subgraph. Let $C_s$ be the $s$-vertex cycle. In previous work (MFCS 2019) we examined the effect of bounding the diameter on the complexity of $3$-Colouring for $(C_3,\ldots,C_s)$-free graphs and $H$-free graphs where $H$ is some polyad. Here, we prove for certain small values of $s$ that $3$-Colouring is polynomial-time solvable for $C_s$-free graphs of diameter $2$ and $(C_4,C_s)$-free graphs of diameter $2$. In fact, our results hold for the more general problem List $3$-Colouring. We complement these results with some hardness result for diameter $4$.
Bi-traceable graphs, the intersection of three longest paths and Hippchen's conjecture
Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then $\#(V(P)\cap V(Q))\ge 6$. We also prove Hippchen's conjecture for $k\le 6$: If a graph $G$ is $k$-connected for $k\le 6$, and $P$ and $Q$ are longest paths in $G$, then $\#(V(P)\cap V(Q))\ge 6$.