Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Infinite words rich and almost rich in generalized palindromes
Published in Proceeding, DLT'11 Proceedings of the 15th international conference on Developments in language theory 2011, Pages 406-416
• Search Publication
We focus on $Θ$-rich and almost $Θ$-rich words over a finite alphabet $\mathcal{A}$, where $Θ$ is an involutive antimorphism over $\mathcal{A}^*$. We show that any recurrent almost $Θ$-rich word $\uu$ is an image of a recurrent $Θ'$-rich word under a suitable morphism, where $Θ'$ is again an involutive antimorphism. Moreover, if the word $\uu$ is uniformly recurrent, we show that $Θ'$ can be set to the reversal mapping. We also treat one special case of almost $Θ$-rich words. We show that every $Θ$-standard words with seed is an image of an Arnoux-Rauzy word.
Rooted $K_4$-Minors
Published in Electronic J. Combinatorics 20.2:P64, 2013
• View Publication
• BIB
Let $a,b,c,d$ be four vertices in a graph $G$. A \emph{$K_4$-minor rooted} at $a,b,c,d$ consists of four pairwise-disjoint pairwise-adjacent connected subgraphs of $G$, respectively containing $a,b,c,d$. We characterise precisely when $G$ contains a $K_4$-minor rooted at $a,b,c,d$ by describing six classes of obstructions, which are the edge-maximal graphs containing no $K_4$-minor rooted at $a,b,c,d$. The following two special cases illustrate the full characterisation: (1) A 4-connected non-planar graph contains a $K_4$-minor rooted at $a,b,c,d$ for every choice of $a,b,c,d$. (2) A 3-connected planar graph contains a $K_4$-minor rooted at $a,b,c,d$ if and only if $a,b,c,d$ are not on a single face.
Regularity lemmas for stable graphs
Published in Trans. Amer. Math Soc, 366 (2014), 1551-1585
• View Publication
• BIB
Let G be a finite graph with the non-k-order property (essentially, a uniform finite bound on the size of an induced sub-half-graph). A major result of the paper applies model-theoretic arguments to obtain a stronger version of Szemerédi's regularity lemma for such graphs, Theorem 5.18, in which there are no irregular pairs, the bounds are significantly improved, and each component satisfies an indivisibility condition. Motivation for this work comes from a coincidence of model-theoretic and graph-theoretic ideas. Namely, it was known that the "irregular pairs" in the statement of Szemerédi's regularity lemma cannot be eliminated, due to the counterexample of half-graphs. The results of this paper show in what sense this counterexample is the only essential difficulty. The proof is largely model-theoretic (though written to be accessible to finite combinatorialists): arbitrarily large half-graphs coincide with model-theoretic instability, so in their absence, structure theorems and technology from stability theory apply. In addition to the theorem quoted, we give several other regularity lemmas with different advantages, in which the indivisibility condition on the components is improved (at the expense of letting the number of components grow with |G|) and extend some of these results to the larger class of graphs without the independence property.
The crossing number of cubes with small order
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. In this paper, we give the exact values of crossing numbers for some variations of hypercube with order at most four, including crossed cube, locally twisted cube and Möbius cube.
On Gromov's Method of Selecting Heavily Covered Points
A result of Boros and Füredi ($d=2$) and of Bárány (arbitrary $d$) asserts that for every $d$ there exists $c_d>0$ such that for every $n$-point set $P\subset \R^d$, some point of $\R^d$ is covered by at least $c_d{n\choose d+1}$ of the $d$-simplices spanned by the points of $P$. The largest possible value of $c_d$ has been the subject of ongoing research. Recently Gromov improved the existing lower bounds considerably by introducing a new, topological proof method. We provide an exposition of the combinatorial component of Gromov's approach, in terms accessible to combinatorialists and discrete geometers, and we investigate the limits of his method. In particular, we give tighter bounds on the \emph{cofilling profiles} for the $(n-1)$-simplex. These bounds yield a minor improvement over Gromov's lower bounds on $c_d$ for large $d$, but they also show that the room for further improvement through the {\cofilling} profiles alone is quite small. We also prove a slightly better lower bound for $c_3$ by an approach using an additional structure besides the {\cofilling} profiles. We formulate a combinatorial extremal problem whose solution might perhaps lead to a tight lower bound for $c_d$.
Universal Specht modules for cyclotomic Hecke algebras
Published
• View Publication
• BIB
The graded Specht module $S^λ$ for a cyclotomic Hecke algebra comes with a distinguished generating vector $z^λ\in S^λ$, which can be thought of as a "highest weight vector of weight $λ$". This paper describes the {\em defining relations} for the Specht module $S^λ$ as a graded module generated by $z^λ$. The first three relations say precisely what it means for $z^λ$ to be a highest weight vector of weight $λ$. The remaining relations are homogeneous analogues of the classical {\em Garnir relations}. The homogeneous Garnir relations, which are {\em simpler} than the classical ones, are associated with a remarkable family of homogeneous operators on the Specht module which satisfy the braid relations.
Graph limits and hereditary properties
Published
• View Publication
• BIB
We collect some general results on graph limits associated to hereditary classes of graphs. As examples, we consider some classes defined by forbidden subgraphs and some classes of intersection graphs, including triangle-free graphs, chordal graphs, cographs, interval graphs, unit interval graphs, threshold graphs, and line graphs.
Algebraic Decoding of Negacyclic Codes Over Z_4
Published
• View Publication
• BIB
In this article we investigate Berlekamp's negacyclic codes and discover that these codes, when considered over the integers modulo 4, do not suffer any of the restrictions on the minimum distance observed in Berlekamp's original papers. The codes considered here have minimim Lee distance at least 2t+1, where the generator polynomial of the code has roots z,z^3,...,z^{2t+1} for a primitive 2nth root of unity z in a Galois extension of Z4. No restriction on t is imposed. We present an algebraic decoding algorithm for this class of codes that corrects any error pattern of Lee weight at most t. Our treatment uses Grobner bases and the decoding complexity is quadratic in t.
On weakly APN functions and 4-bit S-Boxes
Published in Finite Fields and their Applications, 2012, vol. 18, p. 522-528
• View Publication
• BIB
S-Boxes are important security components of block ciphers. We provide theoretical results on necessary or sufficient criteria for an (invertible) 4-bit S-Box to be weakly APN. Thanks to a classification of 4-bit invertible S-Boxes achieved independently by De Canniére and Leander-Poschmann, we can strengthen our results with a computer-aided proof.
Unified bijections for maps with prescribed degrees and girth
Published in Journal of Combinatorial Theory, Series A 119 (2012) 1351-1387
• View Publication
• BIB
This article presents unified bijective constructions for planar maps, with control on the face degrees and on the girth. Recall that the girth is the length of the smallest cycle, so that maps of girth at least $d=1,2,3$ are respectively the general, loopless, and simple maps. For each positive integer $d$, we obtain a bijection for the class of plane maps (maps with one distinguished root-face) of girth $d$ having a root-face of degree $d$. We then obtain more general bijective constructions for annular maps (maps with two distinguished root-faces) of girth at least $d$. Our bijections associate to each map a decorated plane tree, and non-root faces of degree $k$ of the map correspond to vertices of degree $k$ of the tree. As special cases we recover several known bijections for bipartite maps, loopless triangulations, simple triangulations, simple quadrangulations, etc. Our work unifies and greatly extends these bijective constructions. In terms of counting, we obtain for each integer $d$ an expression for the generating function $F_d(x_d,x_{d+1},x_{d+2},...)$ of plane maps of girth $d$ with root-face of degree $d$, where the variable $x_k$ counts the non-root faces of degree $k$. The expression for $F_1$ was already obtained bijectively by Bouttier, Di Francesco and Guitter, but for $d\geq 2$ the expression of $F_d$ is new. We also obtain an expression for the generating function $\G_{p,q}^{(d,e)}(x_d,x_{d+1},...)$ of annular maps with root-faces of degrees $p$ and $q$, such that cycles separating the two root-faces have length at least $e$ while other cycles have length at least $d$. Our strategy is to obtain all the bijections as specializations of a single "master bijection" introduced by the authors in a previous article. In order to use this approach, we exhibit certain "canonical orientations" characterizing maps with prescribed girth constraints.
Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width
Published in Electron. J. Combin. 21(4): #P4.19 (26 pp.), 2014
• View Publication
• BIB
Motivated by the `subgraphs world' view of the ferromagnetic Ising model, we develop a general approach to studying mixing times of Glauber dynamics based on subset expansion expressions for a class of graph polynomials. With a canonical paths argument, we demonstrate that the chains defined within this framework mix rapidly upon graphs of bounded tree-width. This extends known results on rapid mixing for the Tutte polynomial, the adjacency-rank ($R_2$-)polynomial and the interlace polynomial.
A Sequence of Qubit-Qudit Pauli Groups as a Nested Structure of Doilies
Published in J. Phys. A: Math. Theor. 44 (2011) 225305
• View Publication
• BIB
Following the spirit of a recent work of one of the authors (J. Phys. A: Math. Theor. 44 (2011) 045301), the essential structure of the generalized Pauli group of a qubit-qu$d$it, where $d = 2^{k}$ and an integer $k \geq 2$, is recast in the language of a finite geometry. A point of such geometry is represented by the maximum set of mutually commuting elements of the group and two distinct points are regarded as collinear if the corresponding sets have exactly $2^{k} - 1$ elements in common. The geometry comprises $2^{k} - 1$ copies of the generalized quadrangle of order two ("the doily") that form $2^{k-1} - 1$ pencils arranged into a remarkable nested configuration. This nested structure reflects the fact that maximum sets of mutually commuting elements are of two different kinds (ordinary and exceptional) and exhibits an intriguing alternating pattern: the subgeometry of the exceptional points of the $(k+2)$-case is found to be isomorphic to the full geometry of the $k$-case. It should be stressed, however, that these generic properties of the qubit-qudit geometry were inferred from purely computer-handled cases of $k = 2, 3, 4$ and 5 only and, therefore, their rigorous, computer-free proof for $k \geq 6$ still remains a mathematical challenge.
The fine structure of the sets of involutions avoiding 4321 or 3412
We study the fine structure of the sets of involutions avoiding either 4312 (I(4321)) or 3412 (I(3412)), connecting the point of view of the decomposition theorems with the one of the associated labelled Motzkin paths. The algebraic generating function of the simple involutions in I(4321) is given, together with other generating functions, while the set I(3412) is shown containing no simple involutions of length n>2. The reverse-complement bijection maintains the fine structures of I(4321) and trivially of I(3412).
Subquivers of mutation-acyclic quivers are mutation-acyclic
Quiver mutation plays a crucial role in the definition of cluster algebras by Fomin and Zelevinsky. It induces an equivalence relation on the set of all quivers without loops and two-cycles. A quiver is called mutation-acyclic if it is mutation-equivalent to an acyclic quiver. This note gives a proof that full subquivers of mutation-acyclic quivers are mutation-acyclic.
Extending Torelli map to toroidal compactifications of Siegel space
Published
• View Publication
• BIB
It has been known since the 1970s that the Torelli map $M_g \to A_g$, associating to a smooth curve its jacobian, extends to a regular map from the Deligne-Mumford compactification $\bar{M}_g$ to the 2nd Voronoi compactification $\bar{A}_g^{vor}$.
We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification $\bar{A}_g^{perf}$ is also regular, and moreover $\bar{A}_g^{vor}$ and $\bar{A}_g^{perf}$ share a common Zariski open neighborhood of the image of $\bar{M}_g$. We also show that the map to the Igusa monoidal transform (central cone compactification) is NOT regular for $g\ge9$; this disproves a 1973 conjecture of Namikawa.
Kron Reduction of Graphs with Applications to Electrical Networks
Published
• View Publication
• BIB
Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements corresponding to the self-loops. The Kron reduction of this graph is again a graph whose Laplacian matrix is obtained by the Schur complement of the original Laplacian matrix with respect to a subset of nodes. The Kron reduction process is ubiquitous in classic circuit theory and in related disciplines such as electrical impedance tomography, smart grid monitoring, transient stability assessment in power networks, or analysis and simulation of induction motors and power electronics. More general applications of Kron reduction occur in sparse matrix algorithms, multi-grid solvers, finite--element analysis, and Markov chains. The Schur complement of a Laplacian matrix and related concepts have also been studied under different names and as purely theoretic problems in the literature on linear algebra. In this paper we propose a general graph-theoretic framework for Kron reduction that leads to novel and deep insights both on the mathematical and the physical side. We show the applicability of our framework to various practical problem setups arising in engineering applications and computation. Furthermore, we provide a comprehensive and detailed graph-theoretic analysis of the Kron reduction process encompassing topological, algebraic, spectral, resistive, and sensitivity analyses. Throughout our theoretic elaborations we especially emphasize the practical applicability of our results.
Log concavity of $(1+x)^m (1+ x^k)$
Let $m$ and $k \geq 2$ be positive integers. We show that polynomial $P = (1+x)^m(1+x^k)$ is strongly unimodal (frequently known as {\it log concave\/}) if and only if $m \geq k^2 -3$; this is also the criterion for $P$ to be merely unimodal (that is, for $P$ of this form, unimodality implies strong unimodality).{ }In section 2, we investigate an analogous question, concerning the property $\EE$ of functions $f$ analytic on a neighbourhood of the unit circle [H2], and show that the corresponding minimal $m$ is rather surprisingly of order $k^4$.
Statistical model and BPS D4-D2-D0 counting
Published in JHEP 1105:072,2011
• View Publication
• BIB
We construct a statistical model that correctly reproduces the BPS partition function of D4-D2-D0 bound states on the resolved conifold. We prove that the known partition function of the BPS indices is reproduced by the counting "triangular partitions" problem. The wall-crossing phenomena in our model are also studied.
Fire Containment in Planar Graphs
Published in J. Graph Theory 73(3) (2013), 267-279
• View Publication
• BIB
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are interested in the minimum value $k$ such that $ρ_k(G)\geε$ for some constant $ε>0$ and all $G\in\cG$ i.e., such that linearly many vertices are expected to be saved in every graph from $\cG$).
In this note, we prove that for planar graphs this minimum value is at most 4, and that it is precisely 2 for triangle-free planar graphs.
The decimation process in random k-SAT
Published in SIAM Journal on Discrete Mathematics 26 (2012) 1471 - 1509
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. Non-rigorous statistical mechanics ideas have inspired a message passing algorithm called Belief Propagation Guided Decimation for finding satisfying assignments of F. This algorithm can be viewed as an attempt at implementing a certain thought experiment that we call the Decimation Process. In this paper we identify a variety of phase transitions in the decimation process and link these phase transitions to the performance of the algorithm.