Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Enumeration of symmetric centered rhombus tilings of a hexagon
A rhombus tiling of a hexagon is said to be centered if it contains the central lozenge. We compute the number of vertically symmetric rhombus tilings of a hexagon with side lengths $a, b, a, a, b, a$ which are centered. When $a$ is odd and $b$ is even, this shows that the probability that a random vertically symmetric rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered is exactly the same as the probability that a random rhombus tiling of a $a, b, a, a, b, a$ hexagon is centered. This also leads to a factorization theorem for the number of all rhombus tilings of a hexagon which are centered.
Asymptotics for the number of spanning trees in circulant graphs and degenerating d-dimensional discrete tori
Published in Annals of Combinatorics 19.3 (2015): 513-543
• View Publication
• BIB
In this paper we obtain precise asymptotics for certain families of graphs, namely circulant graphs and degenerating discrete tori. The asymptotics contain interesting constants from number theory among which some can be interpreted as corresponding values for continuous limiting objects. We answer one question formulated in a paper from Atajan, Yong and Inaba in [1] and formulate a conjecture in relation to the paper from Zhang, Yong and Golin [21]. A crucial ingredient in the proof is to use the matrix tree theorem and express the combinatorial laplacian determinant in terms of Bessel functions. A non-standard Poisson summation formula and limiting properties of theta functions are then used to evaluate the asymptotics.
Topological dynamics and recognition of languages
We define compact automata and show that every language has a unique minimal compact automaton. We also define recognition of languages by compact left semitopological monoids and construct the analogue of the syntactic monoid in this context. For rational languages this reduces to the usual theory of finite automata and finite monoids.
Planar 4-critical graphs with four triangles
Published
• View Publication
• BIB
By the Grunbaum-Aksenov Theorem (extending Grotzsch's Theorem) every planar graph with at most three triangles is 3-colorable. However, there are infinitely many planar 4-critical graphs with exactly four triangles. We describe all such graphs. This answers a question of Erdos from 1990.
Strong Structural Controllability and Observability of Linear Time-Varying Systems
Published in IEEE Trans. Automat. Control, vol. 59, no. 11, Nov. 2014, pp. 3087-3092
• View Publication
• BIB
In this note we consider continuous-time systems x'(t) = A(t) x(t) + B(t) u(t), y(t) = C(t) x(t) + D(t) u(t), as well as discrete-time systems x(t+1) = A(t) x(t) + B(t) u(t), y(t) = C(t) x(t) + D(t) u(t) whose coefficient matrices A, B, C and D are not exactly known. More precisely, all that is known about the systems is their nonzero pattern, i.e., the locations of the nonzero entries in the coefficient matrices. We characterize the patterns that guarantee controllability and observability, respectively, for all choices of nonzero time functions at the matrix positions defined by the pattern, which extends a result by Mayeda and Yamada for time-invariant systems. As it turns out, the conditions on the patterns for time-invariant and for time-varying discrete-time systems coincide, provided that the underlying time interval is sufficiently long. In contrast, the conditions for time-varying continuous-time systems are more restrictive than in the time-invariant case.
Algorithms for detecting dependencies and rigid subsystems for CAD
Published
• View Publication
• BIB
Geometric constraint systems underly popular Computer Aided Design soft- ware. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special positions" of a design in which generically independent constraints become dependent. We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency. Further factoring in the Grassmann- Cayley algebra may allow a geometric interpretation giving conditions (e.g., "these two lines being parallel cause a dependency") determining the special position.
Complex Lines with Restricted Angles
This thesis is a study of large sets of unit vectors in $\cx^n$ such that the absolute value of their standard inner products takes on only a small number of values.
We begin with bounds: what is the maximal size of a set of lines with only a given set of angles? We rederive a series of upper bounds originally due to Delsarte, Goethals and Seidel, but in a novel way using only zonal polynomials and linear algebra. In the process we get some new results about complex $t$-designs and also some new characterizations of tightness.
Next we consider constructions. We describe some generic constructions using linear codes and Cayley graphs, and then move to two specific instances of the problem: mutually unbiased bases and equiangular lines. Both cases are motivated by problems in quantum computing, although they have applications in digital communications as well.
Mutually unbiased bases are collections of orthonormal bases with a constant angle between vectors from different bases. We construct some maximal sets in prime-power dimensions, originally due to Calderbank, Cameron, Kantor and Seidel, but again in a novel way using relative difference sets or distance-regular antipodal covers. We also detail their numerous relations to other combinatorial objects, including symplectic spreads, orthogonal decompositions of Lie algebras, and spin models. Peripherally, we discuss mutually unbiased bases in small dimensions that are not prime powers and in real vector spaces.
Equiangular lines are collections of vectors with only one angle between them. We use difference sets from finite geometry to construct equiangular lines: these sets do not have maximal size, but they are maximal with respect to having all entries of the same absolute value. We also include some negative results about constructions of maximal sets in large dimensions.
Combinatorial Hopf algebra for the Ben Geloun-Rivasseau tensor field theory
Published in Seminaire Lotharingien de Combinatoire 70 (2014), B70d
• Search Publication
The Ben Geloun-Rivasseau quantum field theoretical model is the first tensor model shown to be perturbatively renormalizable. We define here an appropriate Hopf algebra describing the combinatorics of this new tensorial renormalization. The structure we propose is significantly different from the previously defined Connes-Kreimer combinatorial Hopf algebras due to the involved combinatorial and topological properties of the tensorial Feynman graphs. In particular, the 2- and 4-point function insertions must be defined to be non-trivial only if the superficial divergence degree of the associated Feynman integral is conserved.
Colorful hypergraphs in Kneser hypergraphs
Published
• View Publication
• BIB
Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph).
Isotone extension of mappings
A set of necessary and sufficient conditions under which an isotone mapping from a subset of a poset X to a poset Y has an extension to an isotone mapping from X to Y are found.
The probability that a character value is zero for the symmetric group
Published
• View Publication
• BIB
We consider random character values X(g) of the symmetric group on n symbols, where X is chosen at random from the set of irreducible characters and g is chosen at random from the group, and we show that X(g)=0 with probability tending to one as n tends to infinity.
The pasch configuration and Steiner triple systems
The pasch configuration and Steiner triple systems
The smallest one-realization of a given set IV
Published
• View Publication
• BIB
Let $S$ be a finite set of positive integers. A mixed hypergraph ${\cal H}$ is a one-realization of $S$ if its feasible set is $S$ and each entry of its chromatic spectrum is either 0 or 1. In [P. Zhao, K. Diao, Y. Chang and K. Wang, The smallest one-realization of a given set \uppercase\expandafter{\romannumeral2}, Discrete Math. 312 (2012) 2946--2951], we determined the minimum number of vertices of a 3-uniform bi-hypergraph which is a one-realization of $S$. In this paper, we generalize this result to $r$-uniform bi-hypergraphs.
Observables of Macdonald processes
Published in Transactions of American Mathematical Society. 368 (2016), 1517-1558
• View Publication
• BIB
We present a framework for computing averages of various observables of Macdonald processes. This leads to new contour--integral formulas for averages of a large class of multilevel observables, as well as Fredholm determinants for averages of two different single level observables.
On Primitivity of Sets of Matrices
Published
• View Publication
• BIB
A nonnegative matrix $A$ is called primitive if $A^k$ is positive for some integer $k>0$. A generalization of this concept to finite sets of matrices is as follows: a set of matrices $\mathcal M = \{A_1, A_2, \ldots, A_m \}$ is primitive if $A_{i_1} A_{i_2} \ldots A_{i_k}$ is positive for some indices $i_1, i_2, ..., i_k$. The concept of primitive sets of matrices comes up in a number of problems within the study of discrete-time switched systems. In this paper, we analyze the computational complexity of deciding if a given set of matrices is primitive and we derive bounds on the length of the shortest positive product.
We show that while primitivity is algorithmically decidable, unless $P=NP$ it is not possible to decide primitivity of a matrix set in polynomial time. Moreover, we show that the length of the shortest positive sequence can be superpolynomial in the dimension of the matrices. On the other hand, defining ${\mathcal P}$ to be the set of matrices with no zero rows or columns, we give a simple combinatorial proof of a previously-known characterization of primitivity for matrices in ${\mathcal P}$ which can be tested in polynomial time. This latter observation is related to the well-known 1964 conjecture of Cerny on synchronizing automata; in fact, any bound on the minimal length of a synchronizing word for synchronizing automata immediately translates into a bound on the length of the shortest positive product of a primitive set of matrices in ${\mathcal P}$. In particular, any primitive set of $n \times n$ matrices in ${\mathcal P}$ has a positive product of length $O(n^3)$.
Near-colorings: non-colorable graphs and NP-completeness
Published
• View Publication
• BIB
A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7.
Automorphisms of cluster algebras of rank 2
Published in Transform. Groups 20 (2015), no. 1, 1-20
• View Publication
• BIB
We compute the automorphism group of the affine surfaces with the coordinate ring isomorphic to a cluster algebra of rank 2.
The 2-color Rado Number of $x_1+x_2+\cdots +x_{m-1}=ax_m,$ II
In the first installment of this series, we proved that, for every integer $a\geq 3$ and every $m\geq 2a^2-a+2$, the 2-color Rado number of $x_1 + x_2 + \cdots + x_{m-1} = ax_m$ is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$. Here we obtain the best possible improvement of the bound on $m.$ We prove that if $3|a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+1$ but not when $m=2a,$ and that if $3\nmid a$ then the 2-color Rado number is $\lceil\frac{m-1}{a} \lceil\frac{m-1}{a} \rceil\rceil$ when $m\geq 2a+2$ but not when $m=2a+1.$ We also determine the 2-color Rado number for all $a\geq 3$ and $m\geq \frac{a}{2}+1.$
Generalized splines on arbitrary graphs
Published in Pacific J. Math. 281 (2016) 333-364
• View Publication
• BIB
Let G be a graph whose edges are labeled by ideals of a commutative ring. We introduce a generalized spline, which is a vertex-labeling of G by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the corresponding edge ideal. Generalized splines arise naturally in combinatorics (em algebraic splines of Billera and others) and in algebraic topology (certain equivariant cohomology rings, described by Goresky-Kottwitz-MacPherson and others). The central question of this manuscript asks when an arbitrary edge-labeled graph has nontrivial generalized splines. The answer is `always', and we prove the stronger result that generalized splines contain a free submodule whose rank is the number of vertices in G. We describe all generalized splines when G is a tree, and give several ways to describe the ring of generalized splines as an intersection of generalized splines for simpler subgraphs of G. We also present a new tool which we call the GKM matrix, an analogue of the incidence matrix of a graph, and end with open questions.
Random subgraphs make identification affordable
Published in Journal of Combinatorics 8(1):57-77, 2017
• View Publication
• BIB
An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the identifying code number (the size of a smallest identifying code), which indeed is not even a monotone parameter with respect to graph inclusion.
We show that every graph $G$ with $n$ vertices, maximum degree $Δ=ω(1)$ and minimum degree $δ\geq c\logΔ$, for some constant $c>0$, contains a large spanning subgraph which admits an identifying code with size $O\left(\frac{n\logΔ}δ\right)$. In particular, if $δ=Θ(n)$, then $G$ has a dense spanning subgraph with identifying code $O\left(\log n\right)$, namely, of asymptotically optimal size. The subgraph we build is created using a probabilistic approach, and we use an interplay of various random methods to analyze it. Moreover we show that the result is essentially best possible, both in terms of the number of deleted edges and the size of the identifying code.