Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Finite size emptiness formation probability of the XXZ spin chain at $Δ=-1/2$
Published
• View Publication
• BIB
In this paper we compute the Emptiness Formation Probability of a (twisted-) periodic XXZ spin chain of finite length at $Δ=-1/2$, thus proving the formulae conjectured by Razumov and Stroganov \cite{raz-strog1, raz-strog2}. The result is obtained by exploiting the fact that the ground state of the inhomogeneous XXZ spin chain at $Δ=-1/2$ satisfies a set of qKZ equations associated to $\displaystyle{U_q(\hat{sl_2})}$.
Graphs with Diameter $n-e$ Minimizing the Spectral Radius
Published
• View Publication
• BIB
The spectral radius $ρ(G)$ of a graph $G$ is the largest eigenvalue of its adjacency matrix $A(G)$. For a fixed integer $e\ge 1$, let $G^{min}_{n,n-e}$ be a graph with minimal spectral radius among all connected graphs on $n$ vertices with diameter $n-e$. Let $P_{n_1,n_2,...,n_t,p}^{m_1,m_2,...,m_t}$ be a tree obtained from a path of $p$ vertices ($0 \sim 1 \sim 2 \sim ... \sim (p-1)$) by linking one pendant path $P_{n_i}$ at $m_i$ for each $i\in\{1,2,...,t\}$. For $e=1,2,3,4,5$, $G^{min}_{n,n-e}$ were determined in the literature. Cioabǎ-van Dam-Koolen-Lee \cite{CDK} conjectured for fixed $e\geq 6$, $G^{min}_{n,n-e}$ is in the family ${\cal P}_{n,e}=\{P_{2,1,...1,2,n-e+1}^{2,m_2,...,m_{e-4},n-e-2}\mid 2<m_2<...<m_{e-4}<n-e-2\}$. For $e=6,7$, they conjectured $G^{min}_{n,n-6}=P^{2,\lceil\frac{D-1}{2}\rceil,D-2}_{2,1,2,n-5}$ and $G^{min}_{n,n-7}=P^{2,\lfloor\frac{D+2}{3}\rfloor,D- \lfloor\frac{D+2}{3}\rfloor, D-2}_{2,1,1,2,n-6}$. In this paper, we settle their three conjectures positively. We also determine $G^{min}_{n,n-8}$ in this paper.
Push-Forwards on Projective Towers
In this paper we derive a simple and useful combinatorial formula for the push-forwards of cohomology classes down projective towers, in terms of the push-forwards down the individual steps in the tower.
Non-degenerated groundstates in the antiferromagnetic Ising model on triangulations
A triangulation is an embedding of a graph into a closed Riemann surface so that each face boundary is a 3-cycle of the graph. In this work, groundstate degeneracy in the antiferromagnetic Ising model on triangulations is studied. We show that for every fixed closed Riemann surface S, there are vertex-increasing sequences of triangulations of S with a non-degenerated groundstate. In particular, we exhibit geometrically frustrated systems with a non-degenerated groundstate.
Emergent structures in large networks
Published in J. Appl. Probab. 50(2013) 883-888
• View Publication
• BIB
We consider a large class of exponential random graph models and prove the existence of a region of parameter space corresponding to multipartite structure, separated by a phase transition from a region of disordered graphs.
Further hardness results on the rainbow vertex-connection number of graphs
Published
• View Publication
• BIB
A vertex-colored graph $G$ is {\it rainbow vertex-connected} if any pair of vertices in $G$ are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection number} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. In a previous paper we showed that it is NP-Complete to decide whether a given graph $G$ has $rvc(G)=2$. In this paper we show that for every integer $k\geq 2$, deciding whether $rvc(G)\leq k$ is NP-Hard. We also show that for any fixed integer $k\geq 2$, this problem belongs to NP-class, and so it becomes NP-Complete.
k-Sums in abelian groups
Published in Combinatorics, Probability and Computing 21, 4 (2012) 582-596
• View Publication
• BIB
Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph.
The L^1-norm of exponential sums in Z^d
Published in Math. Proc. Cambridge Philos. Soc. 154 (3), 2013
• View Publication
• BIB
Let A be a finite set of integers and F_A its exponential sum. McGehee, Pigno & Smith and Konyagin have independently proved that the L^1-norm of F_A is at least c log|A| for some absolute constant c. The lower bound has the correct order of magnitude and was first conjectured by Littlewood. In this paper we present lower bounds on the L^1-norm of exponential sums of sets in the d-dimensional grid Z^d. We show that the L^1-norm of F_A is considerably larger than log|A| when A is a subset of Z^d with multidimensional structure. We furthermore prove similar lower bounds for sets in Z, which in a technical sense are multidimensional and discuss their connection to an inverse result on the theorem of McGehee, Pigno & Smith and Konyagin.
Remoteness of permutation codes
Published
• View Publication
• BIB
In this paper, we introduce a new parameter of a code, referred to as the remoteness, which can be viewed as a dual to the covering radius. Indeed, the remoteness is the minimum radius needed for a single ball to cover all codewords. After giving some general results about the remoteness, we then focus on the remoteness of permutation codes. We first derive upper and lower bounds on the minimum cardinality of a code with a given remoteness. We then study the remoteness of permutation groups. We show that the remoteness of transitive groups can only take two values, and we determine the remoteness of transitive groups of odd order. We finally show that the problem of determining the remoteness of a given transitive group is equivalent to determining the stability number of a related graph.
Pattern Avoidance in Ternary Trees
Published in Journal of Integer Sequences 15 (2012) 12.1.5
• Search Publication
This paper considers the enumeration of ternary trees (i.e. rooted ordered trees in which each vertex has 0 or 3 children) avoiding a contiguous ternary tree pattern. We begin by finding recurrence relations for several simple tree patterns; then, for more complex trees, we compute generating functions by extending a known algorithm for pattern-avoiding binary trees. Next, we present an alternate one-dimensional notation for trees which we use to find bijections that explain why certain pairs of tree patterns yield the same avoidance generating function. Finally, we compare our bijections to known "replacement rules" for binary trees and generalize these bijections to a larger class of trees.
The complexity of the fermionant, and immanants of constant width
Published in Theory of Computing 9 (2013) 273
• View Publication
• BIB
In the context of statistical physics, Chandrasekharan and Wiese recently introduced the \emph{fermionant} $\Ferm_k$, a determinant-like quantity where each permutation $π$ is weighted by $-k$ raised to the number of cycles in $π$. We show that computing $\Ferm_k$ is #P-hard under Turing reductions for any constant $k > 2$, and is $\oplusP$-hard for $k=2$, even for the adjacency matrices of planar graphs. As a consequence, unless the polynomial hierarchy collapses, it is impossible to compute the immanant $\Imm_λ\,A$ as a function of the Young diagram $λ$ in polynomial time, even if the width of $λ$ is restricted to be at most 2. In particular, if $\Ferm_2$ is in P, or if $\Imm_λ$ is in P for all $λ$ of width 2, then $\NP \subseteq \RP$ and there are randomized polynomial-time algorithms for NP-complete problems.
On Serial Symmetric Exchanges of Matroid Bases
Published in J. Graph Theory 1002/jgt.21675 (2012)
• View Publication
• BIB
We study some properties of a serial (i.e. one-by-one) symmetric exchange of elements of two disjoint bases of a matroid. We show that any two elements of one base have a serial symmetric exchange with some two elements of the other base. As a result, we obtain that any two disjoint bases in a matroid of rank 4 have a full serial symmetric exchange.
A weak version of Rota's basis conjecture for odd dimensions
Published in SIAM J. Discrete Math., 28(1), 385--393 (2014)
• View Publication
• BIB
The Alon-Tarsi Latin square conjecture is extended to odd dimensions by stating it for reduced Latin squares (Latin squares having the identity permutation as their first row and first column). A modified version of Onn's colorful determinantal identity is used to show how the validity of this conjecture implies a weak version of Rota's basis conjecture for odd dimensions, namely that a set of $n$ bases in $\mathbb{R}^n$ has $n-1$ disjoint independent transversals.
Confidence-based Reasoning in Stochastic Constraint Programming
Published in Artificial Intelligence, Elsevier, 228(1):129-152, 2015
• View Publication
• BIB
In this work we introduce a novel approach, based on sampling, for finding assignments that are likely to be solutions to stochastic constraint satisfaction problems and constraint optimisation problems. Our approach reduces the size of the original problem being analysed; by solving this reduced problem, with a given confidence probability, we obtain assignments that satisfy the chance constraints in the original model within prescribed error tolerance thresholds. To achieve this, we blend concepts from stochastic constraint programming and statistics. We discuss both exact and approximate variants of our method. The framework we introduce can be immediately employed in concert with existing approaches for solving stochastic constraint programs. A thorough computational study on a number of stochastic combinatorial optimisation problems demonstrates the effectiveness of our approach.
Quiver Schur algebras for linear quivers
Published in Proc. Lond. Math. Soc. (3) 110 (2015), no. 6, 1315-1386
• View Publication
• BIB
We define a graded quasi-hereditary covering for the cyclotomic quiver Hecke algebras $\mathcal{R}^Λ_n$ of type $A$ when $e=0$ (the linear quiver) or $e\ge n$. We show that these algebras are quasi-hereditary graded cellular algebras by giving explicit homogeneous bases for them. When $e=0$ we show that the KLR grading on the quiver Hecke algebras is compatible with the gradings on parabolic category $\mathcal{O}$ previously introduced in the works of Beilinson, Ginzburg and Soergel and Backelin. As a consequence, we show that when $e=0$ our graded Schur algebras are Koszul over field of characteristic zero. Finally, we give an LLT-like algorithm for computing the graded decomposition numbers of the quiver Schur algebras in characteristic zero when $e=0$.
Determining All Universal Tilers
Published
• View Publication
• BIB
A universal tiler is a convex polyhedron whose every cross-section tiles the plane. In this paper, we introduce a certain slight-rotating operation for cross-sections of pentahedra. Based on a selected initial cross-section and by applying the slight-rotating operation suitably, we prove that a convex polyhedron is a universal tiler if and only if it is a tetrahedron or a triangular prism.
Sharp Threshold Asymptotics for the Emergence of Additive Bases
Published
• View Publication
• BIB
A subset A of {0,1,...,n} is said to be a 2-additive basis for {1,2,...,n} if each j in {1,2,...,n} can be written as j=x+y, x,y in A, x<=y. If we pick each integer in {0,1,...,n} independently with probability p=p_n tending to 0, thus getting a random set A, what is the probability that we have obtained a 2-additive basis? We address this question when the target sum-set is [(1-alpha)n,(1+alpha)n] (or equivalently [alpha n, (2-alpha) n]) for some 0<alpha<1. Under either model, the Stein-Chen method of Poisson approximation is used, in conjunction with Janson's inequalities, to tease out a very sharp threshold for the emergence of a 2-additive basis. Generalizations to k-additive bases are then given.
About dependence of the number of edges and vertices in hypergraph clique with chromatic number 3
In 1973 P. Erdős and L. Lovász noticed that any hypergraph whose edges are pairwise intersecting has chromatic number 2 or 3. In the first case, such hypergraph may have any number of edges. However, Erdős and Lovász proved that in the second case, the number of edges is bounded from above. For example, if a hypergraph is $ n $-uniform, has pairwise intersecting edges, and has chromatic number 3, then the number of its edges does not exceed $ n^n $. Recently D.D. Cherkashin improved this bound (see \cite{Ch}). In this paper, we further improve it in the case when the number of vertices of an $n$-uniform hypergraph is bounded from above by $ n^m $ with some $ m = m(n) $.
On applications of Razborov's flag algebra calculus to extremal 3-graph theory
Published in Applications of the semi-definite method to the Turán density problem for 3-graphs, Combinatorics, Probability and Computing 22(01) (2013), 21-54
• Search Publication
In this paper, we prove several new Turán density results for 3-graphs with independent neighbourhoods. We show:
π(K_4^-, C_5, F_{3,2})=12/49, π(K_4^-, F_{3,2})=5/18, and
π(J_4, F_{3,2})=π(J_5, F_{3,2})=3/8, where J_t is the 3-graph consisting of a single vertex x together with a disjoint set A of size t and all $\binom{|A|}{2}$ 3-edges containing x.
We also prove two Turán density results where we forbid certain induced subgraphs:
π(F_{3,2}, induced K_4^-)=3/8 and
π(K_5, 5-set spanning 8 edges)=3/4.
The latter result is an analogue for K_5 of Razborov's result that
π(K_4, 4-set spanning 1 edge)=5/9.
We give several new constructions, conjectures and bounds for Turán densities of 3-graphs which should be of interest to researchers in the area. Our main tool is `Flagmatic', an implementation of Razborov's flag algebra calculus, which we are making publicly available. In a bid to make the power of Razborov's method more widely accessible, we have tried to make Flagmatic as user-friendly as possible, hoping to remove thereby the major hurdle that needs to be cleared before using the flag algebra calculus.
Finally, we spend some time reflecting on the limitations of our approach, and in particular on which problems we may be unable to solve. Our discussion of the `complexity barrier' for the flag algebra calculus may be of general interest.
Partial flocks of the quadratic cone yielding Mathon maximal arcs
Published
• View Publication
• BIB
N. Hamilton and J. A. Thas describe a link between maximal arcs of Mathon type and partial flocks of the quadratic cone. This link is of a rather algebraic nature. In this paper we establish a geometric connection between these two structures. We also define a composition on the flock planes and use this to work out an analogue of the synthetic version of Mathon's Theorem. Finally, we show how it is possible to construct a maximal arc of Mathon type of degree 2d, containing a Denniston arc of degree d provided that there is a solution to a certain given system of trace conditions.