Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Buchsbaumness of the second powers of edge ideals
Published
• View Publication
• BIB
We graph-theoretically characterize the class of graphs $G$ such that $I(G)^2$ are Buchsbaum.
Inverse Mellin Transform of Holonomic Sequences
We describe a method to compute the inverse Mellin transform of holonomic sequences, that is based on a method to compute the Mellin transform of holonomic functions. Both methods are implemented in the computer algebra package HarmonicSums.
Anti-Powers in Infinite Words
Published in Journal of Combinatorial Theory, Series A Volume 157, July 2018, Pages 109-119
• View Publication
• BIB
In combinatorics of words, a concatenation of $k$ consecutive equal blocks is called a power of order $k$. In this paper we take a different point of view and define an anti-power of order $k$ as a concatenation of $k$ consecutive pairwise distinct blocks of the same length. As a main result, we show that every infinite word contains powers of any order or anti-powers of any order. That is, the existence of powers or anti-powers is an unavoidable regularity. Indeed, we prove a stronger result, which relates the density of anti-powers to the existence of a factor that occurs with arbitrary exponent. As a consequence, we show that in every aperiodic uniformly recurrent word, anti-powers of every order begin at every position. We further show that every infinite word avoiding anti-powers of order $3$ is ultimately periodic, while there exist aperiodic words avoiding anti-powers of order $4$. We also show that there exist aperiodic recurrent words avoiding anti-powers of order $6$.
A counterexample to the reconstruction conjecture for locally finite trees
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$.
It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible.
In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.
Elliptic extensions of the alpha-parameter model and the rook model for matchings
Published in Adv. Appl. Math. 184 (2017), 8-33
• View Publication
• BIB
We construct elliptic extensions of the alpha-parameter rook model introduced by Goldman and Haglund and of the rook model for matchings of Haglund and Remmel. In particular, we extend the product formulas of these models to the elliptic setting. By specializing the parameter alpha in our elliptic extension of the alpha-parameter model and the shape of the Ferrers board in different ways, we obtain elliptic analogues of the Stirling numbers of the first kind and of the Abel polynomials, and obtain an a,q-analogue of the matching numbers. We further generalize the rook theory model for matchings by introducing l-lazy graphs which correspond to l-shifted boards, where l is a finite vector of positive integers. The corresponding elliptic product formula generalizes Haglund and Remmel's product formula for matchings already in the non-elliptic basic case.
Local resilience for squares of almost spanning cycles in sparse random graphs
Published
• View Publication
• BIB
In 1962, Pósa conjectured that a graph $G=(V, E)$ contains a square of a Hamiltonian cycle if $δ(G)\ge 2n/3$. Only more than thirty years later Komlós, Sárkőzy, and Szemerédi proved this conjecture using the so-called Blow-Up Lemma. Here we extend their result to a random graph setting. We show that for every $ε> 0$ and $p=n^{-1/2+ε}$ a.a.s. every subgraph of $G_{n,p}$ with minimum degree at least $(2/3+ε)np$ contains the square of a cycle on $(1-o(1))n$ vertices. This is almost best possible in three ways: (1) for $p\ll n^{-1/2}$ the random graph will not contain any square of a long cycle (2) one cannot hope for a resilience version for the square of a spanning cycle (as deleting all edges in the neighborhood of single vertex destroys this property) and (3) for $c<2/3$ a.a.s. $G_{n,p}$ contains a subgraph with minimum degree at least $cnp$ which does not contain the square of a path on $(1/3+c)n$ vertices.
Approximately coloring graphs without long induced paths
Published
• View Publication
• BIB
It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on $t$ vertices, for fixed $t$. We propose an algorithm that, given a 3-colorable graph without an induced path on $t$ vertices, computes a coloring with $\max\{5,2\lceil{\frac{t-1}{2}}\rceil-2\}$ many colors. If the input graph is triangle-free, we only need $\max\{4,\lceil{\frac{t-1}{2}}\rceil+1\}$ many colors. The running time of our algorithm is $O((3^{t-2}+t^2)m+n)$ if the input graph has $n$ vertices and $m$ edges.
Bounds for the traveling salesman paths of two-dimensional modular lattices
Published
• View Publication
• BIB
We present tight upper and lower bounds for the traveling salesman path through the points of two-dimensional modular lattices. We use these results to bound the traveling salesman path of two-dimensional Kronecker point sets. Our results rely on earlier work on shortest vectors in lattices as well as on the strong convergence of Jacobi-Perron type algorithms.
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
Published
• View Publication
• BIB
We study nearest-neighbors walks on the two-dimensional square lattice, that is, models of walks on $\mathbb{Z}^2$ defined by a fixed step set that is a subset of the non-zero vectors with coordinates 0, 1 or $-1$. We concern ourselves with the enumeration of such walks starting at the origin and constrained to remain in the quarter plane $\mathbb{N}^2$, counted by their length and by the position of their ending point. Bousquet-Mélou and Mishna [Contemp. Math., pp. 1--39, Amer. Math. Soc., 2010] identified 19 models of walks that possess a D-finite generating function; linear differential equations have then been guessed in these cases by Bostan and Kauers [FPSAC 2009, Discrete Math. Theor. Comput. Sci. Proc., pp. 201--215, 2009]. We give here the first proof that these equations are indeed satisfied by the corresponding generating functions. As a first corollary, we prove that all these 19 generating functions can be expressed in terms of Gauss' hypergeometric functions that are intimately related to elliptic integrals. As a second corollary, we show that all the 19 generating functions are transcendental, and that among their $19 \times 4$ combinatorially meaningful specializations only four are algebraic functions.
Generalized Splines and Graphic Arrangements
Published
• View Publication
• BIB
We define a chain complex for generalized splines on graphs, analogous to that introduced by Billera and refined by Schenck-Stillman for splines on polyhedral complexes. The hyperhomology of this chain complex yields bounds on the projective dimension of the ring of generalized splines. We apply this construction to the module of derivations of a graphic multi-arrangement, yielding homological criteria for bounding its projective dimension and determining freeness. As an application, we show that a graphic arrangement admits a free constant multiplicity iff it splits as a product of braid arrangements.
Euler-Mahonian statistics and descent bases for semigroup algebras
Published in European Journal of Combinatorics 69 (2018), 237-256
• View Publication
• BIB
We consider quotients of the unit cube semigroup algebra by particular $\mathbb{Z}_r\wr S_n$-invariant ideals. Using Gröbner basis methods, we show that the resulting graded quotient algebra has a basis where each element is indexed by colored permutations $(π,ε)\in\mathbb{Z}_r\wr S_n$ and each element encodes the negative descent and negative major index statistics on $(π,ε)$. This gives an algebraic interpretation of these statistics which was previously unknown. This basis of the $\mathbb{Z}_r\wr S_n$-quotients allows us to recover certain combinatorial identities involving Euler-Mahonian distributions of statistics.
Tilings in graphons
Published in European Journal of Combinatorics 93 (2021), 103284
• View Publication
• BIB
We introduce a counterpart to the notion of vertex disjoint tilings by copy of a fixed graph F to the setting of graphons. The case F=K_2 gives the notion of matchings in graphons. We give a transference statement that allows us to switch between the finite and limit notion, and derive several favorable properties, including the LP-duality counterpart to the classical relation between the fractional vertex covers and fractional matchings/tilings, and discuss connections with property testing. As an application of our theory, we determine the asymptotically almost sure F-tiling number of inhomogeneous random graphs \mathbb{G}(n,W). As another application, in an accompanying paper [Hladky, Hu, Piguet: Komlos's tiling theorem via graphon covers, preprint] we give a proof of a strengthening of a theorem of Komlos [Komlos: Tiling Turán Theorems, Combinatorica, 2000].
Optimization on Sparse Random Hypergraphs and Spin Glasses
Published
• View Publication
• BIB
We establish that in the large degree limit, the value of certain optimization problems on sparse random hypergraphs is determined by an appropriate Gaussian optimization problem. This approach was initiated in Dembo et. al.(2016) for extremal cuts of graphs. The usefulness of this technique is further illustrated by deriving the optimal value for Max $q$-cut on Erdős-Rényi and random regular graphs, Max XORSAT on Erdős-Rényi hypergraphs, and the min-bisection for the Stochastic Block Model.
On the largest reduced neighborhood clique cover number of a graph
Published in Congressus Numerantium 226(2016), 273-279
• Search Publication
Let $G$ be a graph and $t\ge 0$. A new graph parameter termed the largest reduced neighborhood clique cover number of $G$, denoted by ${\hatβ}_t(G)$, is introduced. Specifically, ${\hatβ}_t(G)$ is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. We verify that ${\hatβ}_t(G)=1$ when $G$ is chordal, and, ${\hatβ}_t(G)\le s$, where $G$ is an incomparability graph that does not have a $t-$shallow minor which is isomorphic to an induced star on $s$ leaves. Moreover, general properties of ${\hatβ}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$ are studied and investigated. For instance we show ${{\hatβ}_t(G)\over 2}\le \bigtriangledown_t(G)\le p.{\hatβ}_t(G),$ where $p$ is the size of a largest complete graph which is a $t-minor$ of $G$. Additionally we prove that largest ratio of any minimum clique cover to the maximum independent set taken overall $t-$minors of $G$ is a lower bound for ${\hatβ}_t(G)$. We further introduce the class of bounded neighborhood clique cover number for which ${\hatβ}_t(G)$ has a finite value for each $t\ge 0$ and verify the membership of geometric intersection graphs of fat objects (with no restrictions on the depth) to this class. The results support the conjecture that the class graphs with polynomial bounded neighborhood clique cover number may have separator theorems with respect to certain measures.
Pieri rules for classical groups and equinumeration between generalized oscillating tableaux and semistandard tableaux
Published
• View Publication
• BIB
We present several equinumerous results between generalized oscillating tableaux and semistandard tableaux and give a representation-theoretical proof to them. As one of the key ingredients of the proof, we provide Pieri rules for the symplectic and orthogonal groups.
On the number of SQS
A Steiner quadruple system (briefly $SQS(n)$) is a pair $(X,B)$ where $|X|=n$ and $B$ is a collection of 4-element blocks such that every 3-subset of $X$ is contained in exactly one member of $B$. Hanani \cite{Hanani} proved that the necessary condition $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$ for the existence of a Steiner quadruple systems of order $n$ is also sufficient. Lenz \cite{Lenz} proved that the logarithm of the number of different $SQS(n)$ is greater than $cn^3$ where $c>0$ is a constant and $n$ is admissible. We prove that the logarithm of the number of different $SQS(n)$ is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$.
On minimal distance between q-ary bent functions
Published
• View Publication
• BIB
The minimal Hamming distance between distinct $p$-ary bent functions of $2n$ variables is proved to be $p^n$ for any prime $p$. It is shown that the number of $p$-ary bent functions at the distance $p^n$ from the quadratic bent function is equal to $p^n(p^{n-1}+1)\cdots(p+1)(p-1)$ as $p>2$.
Neighborhood-Preserving Translations on Graphs
Published
• View Publication
• BIB
In many domains (e.g. Internet of Things, neuroimaging) signals are naturally supported on graphs. These graphs usually convey information on similarity between the values taken by the signal at the corresponding vertices. An interest of using graphs is that it allows to define ad hoc operators to perform signal processing. Among them, ones of paramount importance in many tasks are translations. In this paper we are interested in defining translations on graphs using a few simple properties. Namely we propose to define translations as functions from vertices to adjacent ones, that preserve neighborhood properties of the graph. We show that our definitions, contrary to other works on the subject, match usual translations on grid graphs.
PBW bases and marginally large tableaux in type D
Published in J. Comb. 9 (2018), no. 3, 535-551
• View Publication
• BIB
We give an explicit description of the unique crystal isomorphism between two realizations of $B(\infty)$ in type $D$: that using marginally large tableaux and that using PBW monomials with respect to one particularly nice reduced expression of the longest word.
On kernels and nuclei of rank metric codes
Published
• View Publication
• BIB
For each rank metric code $\mathcal{C}\subseteq \mathbb{K}^{m\times n}$, we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When $\mathcal{C}$ is $\mathbb{K}$-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When $\mathbb{K}$ is a finite field $\mathbb{F}_q$ and $\mathcal{C}$ is a maximum rank distance code with minimum distance $d<\min\{m,n\}$ or $\gcd(m,n)=1$, the kernel of the associated translation structure is proved to be $\mathbb{F}_q$. Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over $\mathbb{F}_q$ must be a finite field; its right nucleus also has to be a finite field under the condition $\max\{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1$. Let $\mathcal{D}$ be the DHO-set associated with a bilinear dimensional dual hyperoval over $\mathbb{F}_2$. The set $\mathcal{D}$ gives rise to a linear rank metric code, and we show that its kernel and right nucleus are is isomorphic to $\mathbb{F}_2$. Also, its middle nucleus must be a finite field containing $\mathbb{F}_q$. Moreover, we also consider the kernel and the nuclei of $\mathcal{D}^k$ where $k$ is a Knuth operation.