Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Quasimodularity and large genus limits of Siegel-Veech constants
Published
• View Publication
• BIB
Quasimodular forms were first studied in the context of counting torus coverings. Here we show that a weighted version of these coverings with Siegel-Veech weights also provides quasimodular forms. We apply this to prove conjectures of Eskin and Zorich on the large genus limits of Masur-Veech volumes and of Siegel-Veech constants.
In Part I we connect the geometric definition of Siegel-Veech constants both with a combinatorial counting problem and with intersection numbers on Hurwitz spaces. We introduce modified Siegel-Veech weights whose generating functions will later be shown to be quasimodular.
Parts II and III are devoted to the study of the quasimodularity of the generating functions arising from weighted counting of torus coverings. The starting point is the theorem of Bloch and Okounkov saying that q-brackets of shifted symmetric functions are quasimodular forms. In Part II we give an expression for their growth polynomials in terms of Gaussian integrals and use this to obtain a closed formula for the generating series of cumulants that is the basis for studying large genus asymptotics. In Part III we show that the even hook-length moments of partitions are shifted symmetric polynomials and prove a formula for the q-bracket of the product of such a hook-length moment with an arbitrary shifted symmetric polynomial. This formula proves quasimodularity also for the (-2)-nd hook-length moments by extrapolation, and implies the quasimodularity of the Siegel-Veech weighted counting functions.
Finally, in Part IV these results are used to give explicit generating functions for the volumes and Siegel-Veech constants in the case of the principal stratum of abelian differentials. To apply these exact formulas to the Eskin-Zorich conjectures we provide a general framework for computing the asymptotics of rapidly divergent power series.
Tensor surgery and tensor rank
Published in J. comput. complex. (2018)
• View Publication
• BIB
We introduce a method for transforming low-order tensors into higher-order tensors and apply it to tensors defined by graphs and hypergraphs. The transformation proceeds according to a surgery-like procedure that splits vertices, creates and absorbs virtual edges and inserts new vertices and edges. We show that tensor surgery is capable of preserving the low rank structure of an initial tensor decomposition and thus allows to prove nontrivial upper bounds on tensor rank, border rank and asymptotic rank of the final tensors. We illustrate our method with a number of examples. Tensor surgery on the triangle graph, which corresponds to the matrix multiplication tensor, leads to nontrivial rank upper bounds for all odd cycle graphs, which correspond to the tensors of iterated matrix multiplication. In the asymptotic setting we obtain upper bounds in terms of the matrix multiplication exponent $ω$ and the rectangular matrix multiplication parameter $α$. These bounds are optimal if $ω$ equals two. We also give examples that illustrate that tensor surgery on general graphs might involve the absorption of virtual hyperedges and we provide an example of tensor surgery on a hypergraph. Besides its relevance in algebraic complexity theory, our work has applications in quantum information theory and communication complexity.
Axioms for consensus functions on the n-cube
Published
• View Publication
• BIB
An elementary general result is proved that allows for simple characterizations of well-known location/consensus functions (median, mean and center) on the n-cube. In addition, alternate new characterizations are given for the median and anti-median functions on the n-cube.
Combinatorial proof of the transcendence of $L(1,χ_s)/Π$
We give a combinatorial proof of the transcendence of $L(1,χ_s)/Π$, where $L(1,χ_s)$ (resp. $Π$) is the analogue in characteristic $p$ of the function $L$ of Dirichlet (resp. $π$). This result has been proven by G. Damamme using the criteria of de Mathan. Our proof is based on the Theorem of Christol and another property of $k$-automatic sequences.
A Simple Extension of Dirac's Theorem on Hamiltonicity
The classical Dirac theorem asserts that every graph $G$ on $n$ vertices with minimum degree $δ(G) \ge \lceil n/2 \rceil$ is Hamiltonian. The lower bound of $\lceil n/2 \rceil$ on the minimum degree of a graph is tight. In this paper, we extend the classical Dirac theorem to the case where $δ(G) \ge \lfloor n/2 \rfloor $ by identifying the only non-Hamiltonian graph families in this case. We first present a short and simple proof. We then provide an alternative proof that is constructive and self-contained. Consequently, we provide a polynomial-time algorithm that constructs a Hamiltonian cycle, if exists, of a graph $G$ with $δ(G) \ge \lfloor n/2 \rfloor$, or determines that the graph is non-Hamiltonian. Finally, we present a self-contained proof for our algorithm which provides insight into the structure of Hamiltonian cycles when $δ(G) \ge \lfloor n/2 \rfloor$ and is promising for extending the results of this paper to the cases with smaller degree bounds.
L-Infinity optimization in tropical geometry and phylogenetics
We investigate uniqueness issues that arise in $l^\infty$-optimization to linear spaces and Bergman fans of matroids. For linear spaces, we give a polyhedral decomposition of $\mathbb{R}^n$ based on the dimension of the set of $l^\infty$-nearest neighbors. This implies that the $l^\infty$-nearest neighbor in a linear space is unique if and only if the underlying matroid is uniform. For Bergman fans of matroids, we show that the set of $l^\infty$-nearest points is a tropical polytope and give an algorithm to compute its tropical vertices. A key ingredient here is a notion of topology that generalizes tree topology. These results have practical implications for distance-based phylogenetic reconstruction using the $l^\infty$-metric. We analyze the possible dimensions of the set of $l^\infty$-nearest equidistant tree metrics to an arbitrary dissimilarity map and the number of tree topologies represented in this set. For both 3 and 4-leaf trees, we decompose the space of dissimilarity maps relative to the tree topologies represented.
The Widom-Rowlinson model, the hard-core model and the extremality of the complete graph
Published
• View Publication
• BIB
Let $H_{\mathrm{WR}}$ be the path on $3$ vertices with a loop at each vertex. D. Galvin conjectured, and E. Cohen, W. Perkins and P. Tetali proved that for any $d$-regular simple graph $G$ on $n$ vertices we have $$\hom(G,H_{\mathrm{WR}})\leq \hom(K_{d+1},H_{\mathrm{WR}})^{n/(d+1)}.$$ In this paper we give a short proof of this theorem together with the proof of a conjecture of Cohen, Perkins and Tetali. Our main tool is a simple bijection between the Widom-Rowlinson model and the hard-core model on another graph. We also give a large class of graphs $H$ for which we have $$\hom(G,H)\leq \hom(K_{d+1},H)^{n/(d+1)}.$$ In particular, we show that the above inequality holds if $H$ is a path or a cycle of even length at least $6$ with loops at every vertex.
Arithmetical structures on graphs with connectivity one
Published
• View Publication
• BIB
Given a graph $G$, an arithmetical structure on $G$ is a pair of positive integer vectors $({\bf d},{\bf r})$ such that $\mathrm{gcd}({\bf r}_v\, | \,v\in V(G))=1$ and \[ (\mathrm{diag}({\bf d})-A){\bf r}=0, \] where $A$ is the adjacency matrix of $G$. We describe the arithmetical structures on graph $G$ with a cut vertex $v$ in terms of the arithmetical structures on their blocks. More precisely, if $G_1,\ldots,G_s$ are the induced subgraphs of $G$ obtained from each of the connected components of $G-v$ by adding the vertex $v$ and their incident edges, then the arithmetical structures on $G$ are in one to one correspondence with the $v$-rational arithmetical structures on the $G_i$'s. We introduce the concept of rational arithmetical structure, which corresponds to an arithmetical structure where some of the integrality conditions are relaxed.
Optimal Packings of 22 and 33 Unit Squares in a Square
Let $s(n)$ be the side length of the smallest square into which $n$ non-overlapping unit squares can be packed. In 2010, the author showed that $s(13)=4$ and $s(46)=7$. Together with the result $s(6)=3$ by Keaney and Shiu, these results strongly suggest that $s(m^2-3)=m$ for $m\ge 3$, in particular for the values $m=5,6$, which correspond to cases that lie in between the previous results.
In this article we show that indeed $s(m^2-3)=m$ for $m=5,6$, implying that the most efficient packings of 22 and 33 squares are the trivial ones. To achieve our results, we modify the well-known method of sets of unavoidable points by replacing them with continuously varying families of such sets.
Distinguishing number and distinguishing index of neighbourhood corona of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper we describe the automorphisms of the graph $G_1\star G_2$. Using results on automorphisms, we study the distinguishing number and the distinguishing index of $G_1\star G_2$. We obtain upper bounds for $D(G_1\star G_2)$ and $D'(G_1\star G_2)$.
Approximating the rectilinear crossing number
Published
• View Publication
• BIB
A straight-line drawing of a graph $G$ is a mapping which assigns to each vertex a point in the plane and to each edge a straight-line segment connecting the corresponding two points. The rectilinear crossing number of a graph $G$, $\overline{cr}(G)$, is the minimum number of crossing edges in any straight-line drawing of $G$. Determining or estimating $\overline{cr}(G)$ appears to be a difficult problem, and deciding if $\overline{cr}(G)\leq k$ is known to be NP-hard. In fact, the asymptotic behavior of $\overline{cr}(K_n)$ is still unknown.
In this paper, we present a deterministic $n^{2+o(1)}$-time algorithm that finds a straight-line drawing of any $n$-vertex graph $G$ with $\overline{cr}(G) + o(n^4)$ crossing edges. Together with the well-known Crossing Lemma due to Ajtai et al. and Leighton, this result implies that for any dense $n$-vertex graph $G$, one can efficiently find a straight-line drawing of $G$ with $(1 + o(1))\overline{cr}(G)$ crossing edges.
Lagrange inversion formula, Laguerre polynomials and the free unitary Brownian motion
Published
• View Publication
• BIB
This paper is devoted to the computations of some relevant quantities associated with the free unitary Brownian motion. Using the Lagrange inversion formula, we first derive an explicit expression for its alternating star cumulants of even lengths and relate them to those having odd lengths by means of a summation formula for the free cumulants with product as entries. Next, we use again this formula together with a generating series for Laguerre polynomials in order to compute the Taylor coefficients of the reciprocal of the $R$-transform of the free Jacobi process associated with a single projection of rank $1/2$ and those of the $S$-transform as well. This generating series lead also to the Taylor expansions of the Schur function of the spectral distribution of the free unitary Brownian motion and of its first iterate.
On a property discovered by Xavier Grandsart
We give a simple proof of the property discovered by Xavier Grandsart: let $W$ be a circular binary word; then the differences in the number of occurences $|W|_{0011}-|W|_{1100}$, $ |W|_{1101}-|W|_{1011}$ , $|W|_{1010}-|W|_{0101}$ and $|W|_{0100}-|W|_{0010}$ are equal.
Graphs with obstacle number greater than one
Published
• View Publication
• BIB
An \emph{obstacle representation} of a graph $G$ is a straight-line drawing of $G$ in the plane together with a collection of connected subsets of the plane, called \emph{obstacles}, that block all non-edges of $G$ while not blocking any of the edges of $G$. The \emph{obstacle number} obs$(G)$ is the minimum number of obstacles required to represent $G$.
We study the structure of graphs with obstacle number greater than one. We show that the icosahedron has obstacle number $2$, thus answering a question of Alpert, Koch, \& Laison asking whether all planar graphs have obstacle number at most $1$. We also show that the $1$-skeleton of a related polyhedron, the \emph{gyroelongated $4$-dipyramid}, has obstacle number $2$. The order of this graph is $10$, which is also the order of the smallest known graph with obstacle number $2$.
Some of our methods involve instances of the Satisfiability problem, we make use of various "SAT solvers" in order to produce computer-assisted proofs.
Dual Immaculate Quasisymmetric Functions Expand Positively into Young Quasisymmetric Schur Functions
Published
• View Publication
• BIB
We describe a combinatorial formula for the coefficients when the dual immaculate quasisymmetric functions are decomposed into Young quasisymmetric Schur functions. We prove this using an analogue of Schensted insertion. Using this result, we give necessary and sufficient conditions for a dual immaculate quasisymmetric function to be symmetric. Moreover, we show that the product of a Schur function and a dual immaculate quasisymmetric function expands positively in the Young quasisymmetric Schur basis. We also discuss the decomposition of the Young noncommutative Schur functions into the immaculate functions. Finally, we provide a Remmel-Whitney-style rule to generate the coefficients of the decomposition of the dual immaculates into the Young quasisymmetric Schurs algorithmically and an analogous rule for the decomposition of the dual bases.
Quasi-thin weakly distance-regular digraphs,I
A weakly distance-regular digraph is quasi-thin if the maximum value of its intersection numbers is 2. In this paper, we show that the valency of any commutative quasi-thin weakly distance-regular digraph is at most 6.
Facets and volume of Gorenstein Fano polytopes
Published in Mathematische Nachrichten 290 (2017) 2619-2628
• View Publication
• BIB
It is known that every integral convex polytope is unimodularly equivalent to a face of some Gorenstein Fano polytope. It is then reasonable to ask whether every normal polytope is unimodularly equivalent to a face of some normal Gorenstein Fano polytope. In the present paper, it is shown that, by giving new classes of normal Gorenstein Fano polytopes, each order polytope as well as each chain polytope of dimension $d$ is unimodularly equivalent to a facet of some normal Gorenstein Fano polytopes of dimension $d + 1$. Furthermore, investigation on combinatorial properties, especially, Ehrhart polynomials and volume of these new polytopes will be achieved. Finally, some curious examples of Gorenstein Fano polytopes will be discovered.
On some properties of enhanced power graph
Given a group $G$, the enhanced power graph of $G$ denoted by $\mathcal{G}_e(G)$, is the graph with vertex set $G$ and two distinct vertices $x, y$ are edge connected in $\mathcal{G}_e(G)$ if there exists $z\in G $ such that $x=z^m$ and $ y=z^n $, for some $m, n\in \mathbb{N}$. In this article, we characterize the enhanced power graph $\mathcal{G}_e(G)$ of $G$. The graph $\mathcal{G}_e(G)$ is complete if and only if $G$ is cyclic, and $\mathcal{G}_e(G)$ is Eulerian if and only if $|G|$ is odd. We classify all abelian groups and also all non-abelian $p-$groups $G$ for which $\mathcal{G}_e(G)$ satisfies the cone property.
Combinatorial results implied by many zero divisors in a group ring
Published
• View Publication
• BIB
It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without 3-progressions (triples $x,y,z$ of different elements with $xy=z^2$) contains at most $|G|^{1-c}$ elements, where $c>0$ is a constant depending only on $G_0$. This is known to be false when $G$ is, say, large cyclic group. The aim of this note is to show that algebraic property which corresponds to this difference is the following: in the first case a group algebra $\mathbb{F}[G]$ over suitable field $\mathbb{F}$ contains a subspace $X$ with codimension at most $|X|^{1-c}$ such that $X^3=0$. We discuss which bounds are obtained for finite Abelian $p$-groups and for some matrix $p$-groups: Heisenberg group over $\mathbb{F}_p$ and the unitriangular group over $\mathbb{F}_p$. Also we show how the method works for further generalizations by Kleinberg--Sawin--Speyer and Ellenberg.
Certified domination
Published
• View Publication
• BIB
Imagine that we are given a set $D$ of officials and a set $W$ of civils. For each civil $x \in W$, there must be an official $v \in D$ that can serve $x$, and whenever any such $v$ is serving $x$, there must also be another civil $w \in W$ that observes $v$, that is, $w$ may act as a kind of witness, to avoid any abuse from $v$. What is the minimum number of officials to guarantee such a service, assuming a given social network?
In this paper, we introduce the concept of certified domination that perfectly models the aforementioned problem. Specifically, a dominating set $D$ of a graph $G=(V_G,E_G)$ is said to be certified if every vertex in $D$ has either zero or at least two neighbours in $V_G\setminus D$. The cardinality of a minimum certified dominating set in $G$ is called the certified domination number of $G$. Herein, we present the exact values of the certified domination number for some classes of graphs as well as provide some upper bounds on this parameter for arbitrary graphs. We then characterise a wide class of graphs with equal domination and certified domination numbers and characterise graphs with large values of certified domination numbers. Next, we examine the effects on the certified domination number when the graph is modified by deleting/adding an edge or a vertex. We also provide Nordhaus-Gaddum type inequalities for the certified domination number. Finally, we show that the (decision) certified domination problem is NP-complete.