Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Schrijver graphs and projective quadrangulations
Published in The final version of this paper was published in the collection of papers "A Journey through Discrete Mathematics: A Tribute to Jiří Matoušek" (M. Loebl, J. Nešetřil and R. Thomas, eds.), Springer, 2017, pp. 505-526
• View Publication
• BIB
In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture.
Irreducible Ulrich bundles on isotropic Grassmannians
Published in Moscow Mathematical Journal 16, no. 4 (2016): 711-726
• View Publication
• BIB
We classify irreducible equivariant Ulrich vector bundles on isotropic Grassmannians.
On particles in equilibrium on the real line
Published
• View Publication
• BIB
We study equilibrium configurations of infinitely many identical particles on the real line or finitely many particles on the circle, such that the (repelling) force they exert on each other depends only on their distance. The main question is whether each equilibrium configuration needs to be an arithmetic progression. Under very broad assumptions on the force we show this for the particles on the circle. In the case of infinitely many particles on the line we show the same result under the assumption that the maximal (or the minimal) gap between successive points is finite (positive) and assumed at some pair of successive points. Under the assumption of analyticity for the force field (e.g., the Coulomb force) we deduce some extra rigidity for the configuration: knowing an equilibrium configuration of points in a half-line determines it throughout. Various properties of the equlibrium configuration are proved.
N-block presentations and decidability of direct conjugacy between Subshifts of Finite Type
We consider the problem of inverting the transformation which consists in replacing a word by the sequence of its blocks of length N, i.e. its so-called N-block presentation. It was previously shown that among all the possible preimages of an N-block presentation, there exists a particular one which is maximal in the sense that all the other preimages can be obtained from it by letter to letter applications. We give here a combinatorial characterization of the maximal preimages of N-block presentations. Using this characterization, we show that, being given two subshifts of finite type X and Y, the existence of two numbers N and M such that the N-block presentation of X is similar to the M-block presentation of Y, which implies that X and Y are conjugate, is decidable.
Postorder Preimages
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (February 6, 2017) dmtcs:1428
• View Publication
• BIB
Given a set $Y$ of decreasing plane trees and a permutation $π$, how many trees in $Y$ have $π$ as their postorder? Using combinatorial and geometric constructions, we provide a method for answering this question for certain sets $Y$ and all permutations $π$. We then provide applications of our results to the study of the deterministic stack-sorting algorithm.
Topological Resonances on Quantum Graphs
In this paper, we try to put the results of Smilansky and al. on "Topological resonances" on a mathematical basis.A key role in the asymptotic of resonances near the real axis for Quantum Graphs is played by the set of metrics for which there exists compactly supported eigenfunctions. We give several estimateof the dimension of this semi-algebraic set, in particular in terms of the girth of the graph. The case oftrees is also discussed.
A Limit Theorem for Stochastically Decaying Partitions at the Edge
Published in Random Matrices: Theory Appl. 05, 1650016 (2016)
• View Publication
• BIB
In this paper, we study the asymptotic behavior of the first, second, and so on rows of stochastically decaying partitions. We establish that, with appropriate scaling in time and length, the sequence of rows converges to the Airy$_2$ line ensemble.
This result was first established, in a more general setting, by Borodin and Olshanski, who relied on the determinantal structure of the Poissonized correlation functions. Our argument is based on a different, combinatorial approach, developed by Okounkov. This approach may be useful in other problems in which no determinantal structure is available, and also highlights the similarity between random partitions and random matrices.
Crouching AGM, Hidden Modularity
Published in Frontiers in Orthogonal Polynomials and q-Series (M. Zuhair Nashed and Xin Li, eds.), Contemporary Mathematics and Its Applications: Monographs, Expositions and Lecture Notes 1 (World Scientific, 2018), pp. 169--187
• View Publication
• BIB
Special arithmetic series $f(x)=\sum_{n=0}^{\infty}c_nx^n$, whose coefficients $c_n$ are normally given as certain binomial sums, satisfy "self-replicating" functional identities. For example, the equation $$\frac1{(1+4z)^2}f\biggl(\frac{z}{(1+4z)^3}\biggr)=\frac1{(1+2z)^2}f\biggl(\frac{z^2}{(1+2z)^3}\biggr)$$ generates a modular form $f(x)$ of weight 2 and level 7, when a related modular parametrization $x=x(τ)$ is properly chosen. In this note we investigate the potential of describing modular forms by such self-replicating equations as well as applications of the equations that do not make use of the modularity. In particular, we outline a new recipe of generating AGM-type algorithms for computing $π$ and other related constants. Finally, we indicate some possibilities to extend the functional equations to a two-variable setting.
Fluctuations of particle systems determined by Schur generating functions
Published in Advances in Mathematics, 338 (2018), 702-781
• View Publication
• BIB
We develop a new toolbox for the analysis of the global behavior of stochastic discrete particle systems. We introduce and study the notion of the Schur generating function of a random discrete configuration. Our main result provides a Central Limit Theorem (CLT) for such a configuration given certain conditions on the Schur generating function. As applications of this approach, we prove CLT's for several probabilistic models coming from asymptotic representation theory and statistical physics, including random lozenge and domino tilings, non-intersecting random walks, decompositions of tensor products of representations of unitary groups.
Polytopality of Maniplexes
Published
• View Publication
• BIB
Given an abstract polytope $\cal P$, its flag graph is the edge-coloured graph whose vertices are the flags of $\cal P$ and the $i$-edges correspond to $i$-adjacent flags. Flag graphs of polytopes are maniplexes. On the other hand, given a maniplex $\cal M$, on can define a poset $\cal P_M$ by means of the non empty intersection of its faces. In this paper we give necessary and sufficient conditions (in terms of graphs) on a maniplex $\cal M$ in order for $\cal P_M$ to be an abstract polytope. Moreover, in such case, we show that $\cal M$ is isomorphic to the flag graph of $\cal P_M$. This in turn gives necessary and sufficient conditions for a maniplex to be (isomorphic to) the flag graph of a polytope.
An Estimation of the Size of Non-Compact Suffix Trees
A suffix tree is a data structure used mainly for pattern matching. It is known that the space complexity of simple suffix trees is quadratic in the length of the string. By a slight modification of the simple suffix trees one gets the compact suffix trees, which have linear space complexity. The motivation of this paper is the question whether the space complexity of simple suffix trees is quadratic not only in the worst case, but also in expectation.
The Closure Operator of es-Splitting Matroids
Published
• View Publication
• BIB
The es-splitting operation for binary matroids is a natural generalization of Slater's n-line splitting operation on graphs. In this paper, we characterize the closure operator of the es-splitting binary matroid $M^e_X$ in terms of the closure operator of the original binary matroid $M$. We also characterize the flats of the es-splitting binary matroid $M^e_X$ in terms of the flats of the original binary matroid $M$.
Zarankiewicz Numbers and Bipartite Ramsey Numbers
The Zarankiewicz number $z(b;s)$ is the maximum size of a subgraph of $K_{b,b}$ which does not contain $K_{s,s}$ as a subgraph. The two-color bipartite Ramsey number $b(s,t)$ is the smallest integer $b$ such that any coloring of the edges of $K_{b,b}$ with two colors contains a $K_{s,s}$ in the first color or a $K_{t,t}$ in the second color.
In this work, we design and exploit a computational method for bounding and computing Zarankiewicz numbers. Using it, we obtain several new values and bounds on $z(b;s)$ for $3 \le s \le 6$. Our approach and new knowledge about $z(b;s)$ permit us to improve some of the results on bipartite Ramsey numbers obtained by Goddard, Henning and Oellermann in 2000. In particular, we compute the smallest previously unknown bipartite Ramsey number, $b(2,5)=17$. Moreover, we prove that up to isomorphism there exists a unique $2$-coloring which witnesses the lower bound $16<b(2,5)$. We also find tight bounds on $b(2,2,3)$, $17 \le b(2,2,3) \le 18$, which currently is the smallest open case for multicolor bipartite Ramsey numbers.
Multiplicative Zagreb indices of cacti
Published
• View Publication
• BIB
Let $\prod(G)$ be Multiplicative Zagreb index of a graph G. A connected graph is a cactus graph if and only if any two of its cycles have at most one vertex in common, which has been the interest of researchers in the filed of material chemistry and graph theory. In this paper, we use a new tool to the obtain upper and lower bounds of $\prod(G)$ for all cactus graphs and characterize the corresponding extremal graphs.
New Bounds for Facial Nonrepetitive Colouring
Published
• View Publication
• BIB
We prove that the facial nonrepetitive chromatic number of any outerplanar graph is at most 11 and of any planar graph is at most 22.
Unsatisfiable hitting clause-sets with three more clauses than variables
The topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variables) there are only finitely many patterns, given a certain basic reduction (generalising unit-clause propagation). We focus our attention on hitting clause-sets (every two clauses have at least one clash), where the conjecture says that there are only finitely many isomorphism types. The Finiteness Conjecture is here known to hold for deficiency at most 2, and we now prove it for deficiency 3. An important tool is the notion of "(ir)reducible clause-sets": we show how to reduce the general question to the irreducible case, and then solve this case (for deficiency 3). This notion comes from number theory (Korec 1984, Berger et al 1990), and we rediscovered it in our studies.
Generalized star configurations and the Tutte polynomial
Published
• View Publication
• BIB
From the generating matrix of a linear code one can construct a sequence of generalized star configurations which are strongly connected to the generalized Hamming weights and the underlying matroid of the code. When the code is MDS, the matrix is generic and we obtain the usual star configurations. In our main result, we show that the degree of a generalized star configuration as a projective scheme is determined by the Tutte polynomial of the code. In the process, we obtain preliminary results on the primary decomposition of the defining ideals of these schemes. Additionally, we conjecture that these ideals have linear minimal free resolutions and prove partial results in this direction.
On regularity lemmas and their algorithmic applications
Published in Combin. Probab. Comput. 26 (2017), 481--505
• View Publication
• BIB
Szemerédi's regularity lemma and its variants are some of the most powerful tools in combinatorics. In this paper, we establish several results around the regularity lemma. First, we prove that whether or not we include the condition that the desired vertex partition in the regularity lemma is equitable has a minimal effect on the number of parts of the partition. Second, we use an algorithmic version of the (weak) Frieze--Kannan regularity lemma to give a substantially faster deterministic approximation algorithm for counting subgraphs in a graph. Previously, only an exponential dependence for the running time on the error parameter was known, and we improve it to a polynomial dependence. Third, we revisit the problem of finding an algorithmic regularity lemma, giving approximation algorithms for several co-NP-complete problems. We show how to use the weak Frieze--Kannan regularity lemma to approximate the regularity of a pair of vertex subsets. We also show how to quickly find, for each $ε'>ε$, an $ε'$-regular partition with $k$ parts if there exists an $ε$-regular partition with $k$ parts. Finally, we give a simple proof of the permutation regularity lemma which improves the tower-type bound on the number of parts in the previous proofs to a single exponential bound.
Characterizations of the Connected Forcing Number of a Graph
Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.
Combinatorics on several families of Kronecker coefficients related to plane partitions
Published
• View Publication
• BIB
We present a study of three families of Kronecker coefficients, which we describe in terms of reduced Kronecker coefficients. This study is grounded on the generating function of the coefficients, proved by a bijection between two combinatorial objects. This study includes the connection between plane partitions and these three families of reduced Kronecker coefficients, providing us their combinatorial interpretation. As an application, we verify that the saturation hypothesis holds for our three families of reduced Kronecker coefficients. The study also includes other interpretation in terms of the quasipolynomials that govern these families. We specify the degree and the period of these quasipolynomials. Finally, the direct relation between Kronecker coefficients and reduced Kronecker coefficients allows us to give some observations about the rate of growth of the Kronecker coefficients associated to the reduced Kronecker coefficients of the study.