Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Nonlinear spectral calculus and super-expanders
Published in Publications mathématiques de l'IHÉS 119(1), 1-95, 2014
• View Publication
• BIB
Nonlinear spectral gaps with respect to uniformly convex normed spaces are shown to satisfy a spectral calculus inequality that establishes their decay along Cesaro averages. Nonlinear spectral gaps of graphs are also shown to behave sub-multiplicatively under zigzag products. These results yield a combinatorial construction of super-expanders, i.e., a sequence of 3-regular graphs that does not admit a coarse embedding into any uniformly convex normed space.
Counting monochromatic copies of K_4: a new lower bound for the Ramsey multiplicity problem
Denote by k_4(n) the minimal number of monochromatic copies of a K_4 in a 2-colouring of the edges of K_n and let c_4 := lim k_4(n)/\binom{n}{4}. The best known bounds so far were given by Thomason, who proved that c_4 < 1/33 \approx 0.0303, and Giraud, who showed that c_4 > 1/46 \approx 0.0217. In this paper we prove the new lower bound c_4 > 204603019 / 7112448000 > 0.0287.
The isomorphism problem for linear representations and their graphs
Published
• View Publication
• BIB
In this paper, we study the isomorphism problem for linear representations. A linear representation Tn*(K) of a point set K is a point-line geometry, embedded in a projective space PG(n+1,q), where K is contained in a hyperplane. We put constraints on K which ensure that every automorphism of Tn*(K) is induced by a collineation of the ambient projective space. This allows us to show that, under certain conditions, two linear representations Tn*(K) and Tn*(K') are isomorphic if and only if the point sets K and K' are PGammaL-equivalent. We also deal with the slightly more general problem of isomorphic incidence graphs of linear representations. In the last part of this paper, we give an explicit description of the group of automorphisms of Tn*(K) that are induced by collineations of PG(n+1,q).
Symmetries of Quasi-Values
Published
• View Publication
• BIB
According to Shapley's game-theoretical result, there exists a unique game value of finite cooperative games that satisfies axioms on additivity, efficiency, null-player property and symmetry. The original setting requires symmetry with respect to arbitrary permutations of players. We analyze the consequences of weakening the symmetry axioms and study quasi-values that are symmetric with respect to permutations from a group $G\leq S_n$. We classify all the permutation groups $G$ that are large enough to assure a unique $G$-symmetric quasi-value, as well as the structure and dimension of the space of all such quasi-values for a general permutation group $G$.
We show how to construct $G$-symmetric quasi-values algorithmically by averaging certain basic quasi-values (marginal operators).
Bounds and Computation of Irregularity of a Graph
Albertson has defined the irregularity of a simple undirected graph $G=(V,E)$ as $ \irr(G) = \sum_{uv\in E}|d_G(u)-d_G(v)|,$ where $d_G(u)$ denotes the degree of a vertex $u \in V$. Recently, this graph invariant gained interest in the chemical graph theory, where it occured in some bounds on the first and the second Zagreb index, and was named the third Zagreb index Fath-Tabar. For general graphs with $n$ vertices, Albertson has obtained an asymptotically tight upper bound on the irregularity of $4 n^3 /27.$ Here, by exploiting a different approach than in Albertson, we show that for general graphs with $n$ vertices the upper bound $\lfloor \frac{n}{3} \rfloor \lceil \frac{2 n}{3} \rceil (\lceil \frac{2 n}{3} \rceil -1)$ is sharp. Next, we determine $k$-cyclic graphs with maximal irregularity. We also present some bounds on the maximal/minimal irregularity of graphs with fixed minimal and/or maximal vertex degrees, and consider an approximate computation of the irregularity of a graph.
Automorphism Groups of Graphical Models and Lifted Variational Inference
Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group provides a precise mathematical framework for lifted inference in the general exponential family. Its group action partitions the set of random variables and feature functions into equivalent classes (called orbits) having identical marginals and expectations. Then the inference problem is effectively reduced to that of computing marginals or expectations for each class, thus avoiding the need to deal with each individual variable or feature. We demonstrate the usefulness of this general framework in lifting two classes of variational approximation for MAP inference: local LP relaxation and local LP relaxation with cycle constraints; the latter yields the first lifted inference that operate on a bound tighter than local constraints. Initial experimental results demonstrate that lifted MAP inference with cycle constraints achieved the state of the art performance, obtaining much better objective function values than local approximation while remaining relatively efficient.
Multiscale Network Generation
Networks are widely used in science and technology to represent relationships between entities, such as social or ecological links between organisms, enzymatic interactions in metabolic systems, or computer infrastructure. Statistical analyses of networks can provide critical insights into the structure, function, dynamics, and evolution of those systems. However, the structures of real-world networks are often not known completely, and they may exhibit considerable variation so that no single network is sufficiently representative of a system. In such situations, researchers may turn to proxy data from related systems, sophisticated methods for network inference, or synthetic networks. Here, we introduce a flexible method for synthesizing realistic ensembles of networks starting from a known network, through a series of mappings that coarsen and later refine the network structure by randomized editing. The method, MUSKETEER, preserves structural properties with minimal bias, including unknown or unspecified features, while introducing realistic variability at multiple scales. Using examples from several domains, we show that MUSKETEER produces the intended stochasticity while achieving greater fidelity across a suite of network properties than do other commonly used network generation algorithms.
Galois groups of Schubert problems of lines are at least alternating
Published
• View Publication
• BIB
We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formula to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality.
Connected-homomorphism-homogeneous graphs
Published
• View Publication
• BIB
A relational structure is (connected-)homogeneous if every isomorphism between finite (connected) substructures extends to an automorphism of the structure. We investigate notions which generalise (connected-)homogeneity, where "isomorphism" may be replaced by "homomorphism" or "monomorphism" in the definition. Specifically, we study the classes of finite connected-homomorphism-homogeneous graphs, with the aim of producing classifications. The main result is a classification of the finite C-HH graphs, where a graph G is C-HH if every homomorphism from a finite connected induced subgraph of G into G extends to an endomorphism of G. The finite C-II (connected-homogeneous) graphs were classified by Gardiner in 1976, and from this we obtain classifications of the finite C-HI and C-MI finite graphs. Although not all the classes of finite connected-homomorphism-homogeneous graphs are completely characterised, we may still obtain the final hierarchy picture for these classes.
Regular families of forests, antichains and duality pairs of relational structures
Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several examples of infinite-finite antichain duality pairs of directed graphs and a complete characterization for caterpillar dualities.
Online and quasi-online colorings of wedges and intervals
Published
• View Publication
• BIB
We consider proper online colorings of hypergraphs defined by geometric regions. We prove that there is an online coloring algorithm that colors $N$ intervals of the real line using $Θ(\log N/k)$ colors such that for every point $p$, contained in at least $k$ intervals, not all the intervals containing $p$ have the same color. We also prove the corresponding result about online coloring a family of wedges (quadrants) in the plane that are the translates of a given fixed wedge. These results contrast the results of the first and third author showing that in the quasi-online setting 12 colors are enough to color wedges (independent of $N$ and $k$). We also consider quasi-online coloring of intervals. In all cases we present efficient coloring algorithms.
Generalized Monotone Triangles: an extended Combinatorial Reciprocity Theorem
Published
• View Publication
• BIB
In a recent work, the combinatorial interpretation of the polynomial alpha(n;k1,k2,...,kn) counting the number of Monotone Triangles with bottom row k1 < k2 < ... < kn was extended to weakly decreasing sequences k1 >= k2 >= ... >= kn. In this case the evaluation of the polynomial is equal to a signed enumeration of objects called Decreasing Monotone Triangles. In this paper we define Generalized Monotone Triangles - a joint generalization of both ordinary Monotone Triangles and Decreasing Monotone Triangles. As main result of the paper we prove that the evaluation of alpha(n;k1,k2,...,kn) at arbitrary (k1,k2,...,kn) in Z^n is a signed enumeration of Generalized Monotone Triangles with bottom row (k1,k2,...,kn). Computational experiments indicate that certain evaluations of the polynomial at integral sequences yield well-known round numbers related to Alternating Sign Matrices. The main result provides a combinatorial interpretation of the conjectured identities and could turn out useful in giving a bijective proof.
Efficient Algorithms for Zeckendorf Arithmetic
Published
• View Publication
• BIB
We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.
Solving the Ku-Wales conjecture on the eigenvalues of the derangement graph
Published
• View Publication
• BIB
We give a new recurrence formula for the eigenvalues of the derangement graph. Consequently, we provide a simpler proof of the Alternating Sign Property of the derangement graph. Moreover, we prove that the absolute value of the eigenvalue decreases whenever the corresponding partition decreases in the dominance order. In particular, this settles affirmatively a conjecture of Ku and Wales (J. of Combin. Theory, Series A 117 (2010) 289--312) regarding the lower and upper bound for the absolute values of these eigenvalues.
The asymptotic number of different rooted trees of a tree
Published
• View Publication
• BIB
Let $\mathcal{T}_n$ be the set of trees with $n$ vertices. Suppose that each tree in $\mathcal{T}_n$ is equally likely. We show that the number of different rooted trees of a tree equals $(μ_r+o(1))n$ for almost every tree of $\mathcal{T}_n$, where $μ_r$ is a constant. As an application, we show that the number of any given pattern in $\mathcal{T}_n$ is also asymptotically normally distributed with mean $\sim μ_M n$ and variance $\sim σ_M n$, where $μ_M, σ_M$ are some constants related to the given pattern. This solves an open question claimed in Kok's thesis.
The fine triangle intersections for maximum kite packings
Published
• View Publication
• BIB
In this paper the fine triangle intersection problem for a pair of maximum kite packings is investigated. Let $Fin(v)={(s,t):$ $\exists$ a pair of maximum kite packings of order $v$ intersecting in $s$ blocks and $s+t$ triangles$}$. Let $Adm(v)={(s,t): s+t\leq b_v, s,t$ are non-negative integers$}$, where $b_v=\lfloor v(v-1)/8\rfloor$. It is established that $Fin(v)= Adm(v)\setminus {(b_v-1,0),(b_v-1,1)}$ for any integer $v\equiv 0,1 ({\rm mod} 8)$ and $v\geq 8$; $Fin(v)=Adm(v)$ for any integer $v\equiv 2,3,4,5,6,7 ({\rm mod} 8)$ and $v\geq 4$.
Bounds for approximate discrete tomography solutions
Published
• View Publication
• BIB
In earlier papers we have developed an algebraic theory of discrete tomography. In those papers the structure of the functions $f: A \to \{0,1\}$ and $f: A \to \mathbb{Z}$ having given line sums in certain directions have been analyzed. Here $A$ was a block in $\mathbb{Z}^n$ with sides parallel to the axes. In the present paper we assume that there is noise in the measurements and (only) that $A$ is an arbitrary or convex finite set in $\mathbb{Z}^n$. We derive generalizations of earlier results. Furthermore we apply a method of Beck and Fiala to obtain results of he following type: if the line sums in $k$ directions of a function $h: A \to [0,1]$ are known, then there exists a function $f: A \to \{0,1\}$ such that its line sums differ by at most $k$ from the corresponding line sums of $h$.
Asymptotics for Magic Squares of Primes
Based on the work of Green, Tao and Ziegler, we give asymptotics when $N \to \infty$ for the number of $n \times n$ magic squares with their entries being prime numbers in $[0,N]$. For every $n \ge 3$ we give appropriate systems of linear forms (or equivalently basis) describing all $n \times n$ magic squares with integer entries and we calculate the complexity of these systems in the Green and Tao sense. We compute the precise asymptotics for the cases $n=3$ (complexity 3) and $n=4$ (complexity 1), and the given algorithm works for $n \ge 5$ (complexity 1). Finally, we show that the asymptotics are exactly the same if we impose that all the entries of the magic squares have to be different.
Orbits of the stabiliser group of the Segre variety product of three projective lines
Published
• View Publication
• BIB
We prove that the stabiliser group G of the Segre variety product in PG(V) of three projective lines over a field F has four orbits on singular points of PG(V), and that G has five orbits on points of PG(V) if F is finite.
The maximum cut problem on blow-ups of multiprojective spaces
Published
• View Publication
• BIB
The maximum cut problem for a quintic del Pezzo surface ${\rm Bl}_{4}(\mathbb{P}^2)$ asks: Among all partitions of the 10 exceptional curves into two disjoint sets, what is the largest possible number of pairwise intersections? In this article we show that the answer is twelve. More generally, we obtain bounds for the maximum cut problem for the minuscule varieties $X_{a,b,c}:={\rm Bl}_{b+c}(\mathbb{P}^{c-1})^{a-1}$ studied by Mukai and Castravet-Tevelev and show that these bounds are asymptotically sharp for infinite families. We prove our results by constructing embeddings of the classes of $(-1)$-divisors on these varieties which are optimal for the semidefinite relaxation of the maximum cut problem on graphs proposed by Goemans and Williamson. These results give a new optimality property of the Weyl orbits of root systems of type $A$,$D$ and $E$.