Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Refined bounds on the number of connected components of sign conditions on a variety
Published
• View Publication
• BIB
Let $\R$ be a real closed field, $\mathcal{P},\mathcal{Q} \subset \R[X_1,...,X_k]$ finite subsets of polynomials, with the degrees of the polynomials in $\mathcal{P}$ (resp. $\mathcal{Q}$) bounded by $d$ (resp. $d_0$). Let $V \subset \R^k$ be the real algebraic variety defined by the polynomials in $\mathcal{Q}$ and suppose that the real dimension of $V$ is bounded by $k'$. We prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ on $V$ is bounded by $$ \displaylines{\sum_{j=0}^{k'}4^j{s +1\choose j}F_{d,d_0,k,k'}(j),}$$ where $s = \card \; \mathcal{P}$, and $$F_{d,d_0,k,k'}(j)= \textstyle\binom{k+1}{k-k'+j+1} \;(2d_0)^{k-k'}d^j\; \max{2d_0,d}^{k'-j} +2(k-j+1) .$$
In case $2 d_0 \leq d$, the above bound can be written simply as $$ \displaylines{\sum_{j = 0}^{k'} {s+1 \choose j}d^{k'} d_0^{k-k'} O(1)^{k} = (sd)^{k'} d_0^{k-k'} O(1)^k} $$ (in this form the bound was suggested by J. Matousek. Our result improves in certain cases (when $d_0 \ll d$) the best known bound of $$ \sum_{1 \leq j \leq k'}
\binom{s}{j} 4^{j} d(2d-1)^{k-1} $$ on the same number proved earlier in the case $d=d_0$.
The distinction between the bound $d_0$ on the degrees of the polynomials defining the variety $V$ and the bound $d$ on the degrees of the polynomials in $\mathcal{P}$ that appears in the new bound is motivated by several applications in discrete geometry.
Gerechte Designs with Rectangular Regions
Published
• View Publication
• BIB
A \emph{gerechte framework} is a partition of an $n \times n$ array into $n$ regions of $n$ cells each. A \emph{realization} of a gerechte framework is a latin square of order $n$ with the property that when its cells are partitioned by the framework, each region contains exactly one copy of each symbol. A \emph{gerechte design} is a gerechte framework together with a realization.
We investigate gerechte frameworks where each region is a rectangle. It seems plausible that all such frameworks have realizations, and we present some progress towards answering this question. In particular, we show that for all positive integers $s$ and $t$, any gerechte framework where each region is either an $s \times t$ rectangle or a $t\times s$ rectangle is realizable.
Generalizations of the Tree Packing Conjecture
The Gyárfás tree packing conjecture asserts that any set of trees with $2,3, ..., k$ vertices has an (edge-disjoint) packing into the complete graph on $k$ vertices. Gyárfás and Lehel proved that the conjecture holds in some special cases. We address the problem of packing trees into $k$-chromatic graphs. In particular, we prove that if all but three of the trees are stars then they have a packing into any $k$-chromatic graph. We also consider several other generalizations of the conjecture.
Positivity in Quantum Cluster Algebras and Flags of Valued Quiver Representations
In this paper we give a direct proof of the positivity conjecture for adapted quantum cluster variables. Moreover, our process allows one to explicitly compute formulas for all adapted cluster monomials and certain ordered products of adapted cluster monomials. In particular, we describe all cluster monomials in cluster algebras and quantum cluster algebras of rank 2. One may obtain similar formulas for all finite type cluster monomials.
The above results are achieved by computing explicit set-theoretic decompositions of Grassmannians of subrepresentations in adapted valued quiver representations into a disjoint union of products of standard vector space Grassmannians. We actually prove a more general result which should be of independent interest: we compute these decompositions for arbitrary flags of subrepresentations in adapted valued quiver representations.
This implies the existence of counting polynomials for the number of points in these sets over different finite fields. Using this we extend the results of \cite{rupel} to quantum cluster algebras $\Acal_q(Q,\bfd)$, where $q$ is an indeterminate.
Derangement Frequency in the Boolean Complex
In previous work, we associated to any finite simple graph a particular set of derangements of its vertices. These derangements are in bijection with the spheres in the wedge sum describing the homotopy type of the boolean complex for this graph. Here we study the frequency with which a given derangement appears in this set.
On Brenti's conjecture about the log-concavity of the chromatic polynomial
Published
• View Publication
• BIB
The chromatic polynomial is a well studied object in graph theory. There are many results and conjectures about the log-concavity of the chromatic polynomial and other polynomials related to it. The location of the roots of these polynomials has also been well studied. One famous result due to A. Sokal and C. Borgs provides a bound on the absolute value of the roots of the chromatic polynomial in terms of the highest degree of the graph. We use this result to prove a modification of a log-concavity conjecture due to F. Brenti. The original conjecture of Brenti was that the chromatic polynomial is log-concave on the natural numbers. This was disproved by Paul Seymour by presenting a counter example. We show that the chromatic polynomial $P_G(q)$ of graph $G$ is in fact log-concave for all $q > CΔ+ 1$ for an explicit constant $C < 10$, where $Δ$ denotes the highest degree of $G$. We also provide an example which shows that the result is not true for constants $C$ smaller than 1.
Hypermaps and multiply quasiplatonic Riemann surfaces
Published
• View Publication
• BIB
Generalising an example by Girondo and Wolfart, we use finite group theory to construct Riemann surfaces admitting two or more regular dessins (i.e. orientably regular hypermaps) with automorphism groups of the same order, and in many cases with isomorphic automorphism groups.
Sequentiality Restrictions in Special Relativity
Observers in different inertial frames can see a set of spacelike separated events as occurring in different orders. Various restrictions are studied on the possible orderings of events that can be observed. In 1+1-dimensional spacetime {(1 2 3), (2 3 1), (3 1 2)} is a disallowed set of permutations. In 3+1-dimensional spacetime, any four different permutations on the ordering of n events can be seen by four different observers, and there is a set of four events such that any of the 4!=24 possible orderings can be observed in some inertial reference frame. A more complicated problem is that of five observers and five events, where of the 7,940,751 choices of five distinct elements from S_5 (containing the identity), all but at most one set of permutations can be realized, and it is shown that this remaining case is impossible. For six events and five observers, it is shown that there are at least 7970 cases that are unrealizable, of which at least 294 do not come from the forbidden configuration of five events.
The second Voronoi conjecture on parallelohedra for zonotopes
Published in Moscow Journal of Combinatorics and Number Theory, 2011, vol. 1, issue 2, pp. 33-39
• Search Publication
We prove the second Voronoi conjecture on parallelohedra for zonotope. We show that for a given face-to-face tiling of d-dimensional Euclidean space into parallel copies of zonotope Z there are d vectors, connecting centers of zonotopes with common facet, that are basis of the correspondent lattice of the tiling.
The Randic index and the diameter of graphs
Published
• View Publication
• BIB
The {\it Randić index} $R(G)$ of a graph $G$ is defined as the sum of 1/\sqrt{d_ud_v} over all edges $uv$ of $G$, where $d_u$ and $d_v$ are the degrees of vertices $u$ and $v,$ respectively. Let $D(G)$ be the diameter of $G$ when $G$ is connected. Aouchiche-Hansen-Zheng conjectured that among all connected graphs $G$ on $n$ vertices the path $P_n$ achieves the minimum values for both $R(G)/D(G)$ and $R(G)- D(G)$. We prove this conjecture completely. In fact, we prove a stronger theorem: If $G$ is a connected graph, then $R(G)-(1/2)D(G)\geq \sqrt{2}-1$, with equality if and only if $G$ is a path with at least three vertices.
Clique complexes and graph powers
Published
• View Publication
• BIB
We study the behaviour of clique complexes of graphs under the operation of taking graph powers. As an example we compute the clique complexes of powers of cycles, or, in other words, the independence complexes of circular complete graphs.
Which mutation classes of quivers have constant number of arrows?
We classify the connected quivers with the property that all the quivers in their mutation class have the same number of arrows. These are the ones having at most two vertices, or the ones arising from triangulations of marked bordered oriented surfaces of two kinds: either surfaces with non-empty boundary having exactly one marked point on each boundary component and no punctures, or surfaces without boundary having exactly one puncture.
This combinatorial property has also a representation-theoretic counterpart: to each such quiver there is a naturally associated potential such that the Jacobian algebras of all the QP in its mutation class are derived equivalent.
Enumeration and Quasipolynomiality of Chip-Firing Configurations
In this paper we explore enumeration problems related to the number of reachable configurations in a chip-firing game on a finite connected graph G. We define an auxiliary notion of debt-reachability and prove that the number of debt-reachable configurations from an initial configuration with c chips on one vertex is a quasipolynomial in c. For the cycle graph C_n, we apply these results to compute a near explicit formula for the number of debt-reachable configurations. We then derive polynomial asymptotic bounds for the number of debt-reachable and reachable configurations, and finally provide evidence for a quasipolynomiality conjecture regarding the number of reachable configurations.
A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings
Published
• View Publication
• BIB
The investigation and classification of non-unique factorization phenomena has attracted some interest in recent literature. For finitely generated monoids, S.T. Chapman and P.A. García-Sánchez, together with several co-authors, derived a method to calculate the catenary and tame degree from the monoid of relations. Then, in [1], the algebraic structure of this approach was investigated and the restriction to finitely generated monoids was removed. We now extend these ideas further to the monotone catenary degree and then apply all these results to the explicit computation of arithmetical invariants of semigroup rings.
[1] A. Philipp. A characterization of arithmetical invariants by the monoid of relations. Semigroup Forum, 81:424-434, 2010.
On Binary Codes from Conics in PG(2,q)
Published
• View Publication
• BIB
Let A be the incidence matrix of passant lines and internal points with respect to a conic in PG(2, q), where q is an odd prime power. In this article, we study both geometric and algebraic properties of the column null space L of A over the finite field of 2 elements. In particular, using methods from both finite geometry and modular presentation theory, we manage to compute the dimension of L, which provides a proof for the conjecture on the dimension of the binary code generated by L.
Quantum $A_r$ Q-system solutions as q-multinomial series
Published
• View Publication
• BIB
We derive explicit expressions for the generating series of the fundamental solutions of the $A_r$ quantum $Q$-system of Ref. [P. Di Francesco and R. Kedem, arXiv:1006.4774 [math-ph]], expressed in terms of any admissible initial data. These involve products of quantum multinomial coefficients, coded by the initial data structure.
Cayley graphs of order 16p are hamiltonian
Published
• View Publication
• BIB
Suppose G is a finite group, such that |G| = 16p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
Partial mirror symmetry, lattice presentations and algebraic monoids
Published in Proc. London Math. Soc. 107(2) (2013), 414-450
• View Publication
• BIB
This is the second in a series of papers that develops the theory of reflection monoids, motivated by the theory of reflection groups. Reflection monoids were first introduced in arXiv:0812.2789. In this paper we study their presentations as abstract monoids. Along the way we also find general presentations for certain join-semilattices (as monoids under join) which we interpret for two special classes of examples: the face lattices of convex polytopes and the geometric lattices, particularly the intersection lattices of hyperplane arrangements. Another spin-off is a general presentation for the Renner monoid of an algebraic monoid, which we illustrate in the special case of the "classical" algebraic monoids.
Weight enumeration of codes from finite spaces
Published in Designs, Codes and Cryptography, 63(3), 321-330, 2012
• View Publication
• BIB
We study the generalized and extended weight enumerator of the q-ary Simplex code and the q-ary first order Reed-Muller code. For our calculations we use that these codes correspond to a projective system containing all the points in a finite projective or affine space. As a result from the geometric method we use for the weight enumeration, we also completely determine the set of supports of subcodes and words in an extension code.
Counting patterns in colored orthogonal arrays
Published
• View Publication
• BIB
Let $S$ be an orthogonal array $OA(d,k)$ and let $c$ be an $r$--coloring of its ground set $X$. We give a combinatorial identity which relates the number of vectors in $S$ with given color patterns under $c$ with the cardinalities of the color classes. Several applications of the identity are considered. Among them, we show that every equitable $r$--coloring of the integer interval $[1,n]$ has at least $1/2(n/r)^2+O(n)$ monochromatic Schur triples. We also show that in an orthogonal array $OA(d,d-1)$, the number of monochromatic vectors of each color depends only on the number of vectors which miss that color and the cardinality of the color class.