Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Computing the permanent of (some) complex matrices
Published
• View Publication
• BIB
We present a deterministic algorithm, which, for any given 0< epsilon < 1 and an nxn real or complex matrix A=(a_{ij}) such that | a_{ij}-1| < 0.19 for all i, j computes the permanent of A within relative error epsilon in n^{O(ln n -ln epsilon)} time. The method can be extended to computing hafnians and multidimensional permanents.
Recognizing signed-graphic matroids: Cylinder flips and the importance of column scaling
In this paper, we investigate the importance of column scaling in relating two signed-graphic representations of the same matroid. We used the Sage Mathematics software to generate many examples of signed-graphic matroids and their signed-graphic representations. Our examples show that column scaling is sometimes necessary in order to transform one signed-graphic representation into another; moreover, there exist many collections of signed-graphic representations that row-reduce to the same standard form. We also discuss an interesting matroid-preserving operation on a signed graph, which we call the cylinder flip, that relates certain pairs of signed-graphic representations of the same matroid.
The maximum number of complete subgraphs of fixed size in a graph with given maximum degree
In this paper, we make progress on a question related to one of Galvin that has attracted substantial attention recently. The question is that of determining among all graphs $G$ with $n$ vertices and $Δ(G)\leq r$, which has the most complete subgraphs of size $t$, for $t\geq 3$. The conjectured extremal graph is $aK_{r+1}\cup K_b$, where $n=a(r+1)+b$ with $0\leq b\leq r$. Gan, Loh, and Sudakov proved the conjecture when $a\leq 1$, and also reduced the general conjecture to the case $t=3$. We prove the conjecture for $r\leq 6$ and also establish a weaker form of the conjecture for all $r$.
On KP-integrable Hurwitz functions
Published in JHEP 11 (2014) 080
• View Publication
• BIB
There is now a renewed interest to the Hurwitz tau-function, counting the isomorphism classes of Belyi pairs, arising in the study of equilateral triangulations and Grothiendicks's dessins d'enfant. It is distinguished by belonging to a particular family of Hurwitz tau-functions, possessing conventional Toda/KP integrability properties. We explain how the variety of recent observations about this function fits into the general theory of matrix model tau-functions. All such quantities possess a number of different descriptions, related in a standard way: these include Toda/KP integrability, several kinds of W-representations (we describe four), two kinds of integral (multi-matrix model) descriptions (of Hermitian and Kontsevich types), Virasoro constraints, character expansion, embedding into generic set of Hurwitz tau-functions and relation to knot theory. When approached in this way, the family of models in the literature has a natural extension, and additional integrability with respect to associated new time-variables. Another member of this extended family is the Itsykson-Zuber integral.
Noncrossing partitions and Bruhat order
Published
• View Publication
• BIB
We give a criterion for Bruhat order on noncrossing partitions corresponding to the Coxeter element $c=s_1 s_2\cdots s_n$. Using it we prove that the Bruhat order endows noncrossing partitions with a lattice structure. We then explain what happens if we change the Coxeter element; in that case the lattice property fails and we explain which order to consider to get the same lattice structure as for the Coxeter element $c$. In particular we get bijections between noncrossing partitions associated to distinct Coxeter elements, which fix the set of reflections.
Szemerédi--Trotter-type theorems in dimension 3
We estimate the number of incidences in a configuration of $m$ lines and $n$ points in dimension 3. The main term is $mn^{1/3}$ if we work over the real or complex numbers but $mn^{2/5}$ over finite fields. Both of these are optimal, aside from a multiplicative constant that is at most 5.
Absolute differences along Hamiltonian paths
Published
• View Publication
• BIB
Given a set $A$ of real numbers consider the complete graph on the elements of $A$. We prove that if $A$ is an arithmetic progression then for every vertex $a\in A$ there exists an hamiltonian path such that the absolute differences of consecutive vertices are pairwise distinct. This result partially proves a conjecture by Zhi-Wei Sun.
On the Connectivity of Fiber Graphs
Published
• View Publication
• BIB
We consider the connectivity of fiber graphs with respect to Gröbner basis and Graver basis moves. First, we present a sequence of fiber graphs using moves from a Gröbner basis and prove that their edge-connectivity is lowest possible and can have an arbitrarily large distance from the minimal degree. We then show that graph-theoretic properties of fiber graphs do not depend on the size of the right-hand side. This provides a counterexample to a conjecture of Engström on the node-connectivity of fiber graphs. Our main result shows that the edge-connectivity in all fiber graphs of this counterexample is best possible if we use moves from Graver basis instead.
Ready for the design of voting rules?
Published
• View Publication
• BIB
The design of fair voting rules has been addressed quite often in the literature. Still, the so-called inverse problem is not entirely resolved. We summarize some achievements in this direction and formulate explicit open questions and conjectures.
Divided Differences in Noncommutative Geometry: Rearrangement Lemma, Functional Calculus and Expansional Formula
Published
• View Publication
• BIB
We state a generalization of the Connes-Tretkoff-Moscovici Rearrangement Lemma and give a surprisingly simple (almost trivial) proof of it. Secondly, we put on a firm ground the multivariable functional calculus used implicitly in the Rearrangement Lemma and elsewhere in the recent modular curvature paper by Connes and Moscovici. Furthermore, we show that the fantastic formulas connecting the one and two variable modular functions of loc. cit. are just examples of the plenty recursion formulas which can be derived from the calculus of divided differences. We show that the functions derived from the main integral occurring in the Rearrangement Lemma can be expressed in terms of divided differences of the Logarithm, generalizing the "modified Logarithm" of Connes-Tretkoff.
Finally, we show that several expansion formulas related to the Magnus expansion have a conceptual explanation in terms of a multivariable functional calculus applied to divided differences.
Intersections of Cycling 2-factors
Define an embedding of graph $G=(V,E)$ with $V$ a finite set of distinct points on the unit circle and $E$ the set of line segments connecting the points. Let $V_1,\ldots,V_k$ be a labeled partition of $V$ into equal parts. A 2-factor is said to be {\em cycling} if for each $u\in V$, $u\in V_i$ implies $u$ is adjacent to a vertex in $V_{i+1\: (mod \: k)}$ and a vertex in $V_{i-1\: (mod\: k)}$. In this paper, we will present some new results about cycling 2-factors including a tight upper bound on the minimum number of intersections of a cycling 2-factor for $k=3$.
Cycle/cocycle oblique projections on oriented graphs
Published in Lett. Math. Phys. 105 , 89-107 (2015)
• View Publication
• BIB
It is well known that the edge vector space of an oriented graph can be decomposed in terms of cycles and cocycles (alias cuts, or bonds), and that a basis for the cycle and the cocycle spaces can be generated by adding and removing edges to an arbitrarily chosen spanning tree. In this paper we show that the edge vector space can also be decomposed in terms of cycles and the generating edges of cocycles (called cochords), or of cocycles and the generating edges of cycles (called chords). From this observation follows a construction in terms of oblique complementary projection operators. We employ this algebraic construction to prove several properties of unweighted Kirchhoff-Symanzik matrices, encoding the mutual superposition between cycles and cocycles. In particular, we prove that dual matrices of planar graphs have the same spectrum (up to multiplicities). We briefly comment on how this construction provides a refined formalization of Kirchhoff's mesh analysis of electrical circuits, which has lately been applied to generic thermodynamic networks.
A Note on the Manickam-Miklós-Singhi Conjecture for Vector Spaces
Published
• View Publication
• BIB
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Define a real-valued weight function on the $1$-dimensional vector spaces of $V$ such that the sum of all weights is zero. Let the weight of a subspace $S$ be the sum of the weights of the $1$-dimensional subspaces contained in $S$. In 1988 Manickam and Singhi conjectured that if $n \geq 4k$, then the number of $k$-dimensional subspaces with nonnegative weight is at least the number of $k$-dimensional subspaces on a fixed $1$-dimensional subspace.
Recently, Chowdhury, Huang, Sarkis, Shahriari, and Sudakov proved the conjecture of Manickam and Singhi for $n \geq 3k$. We modify the technique used by Chowdhury et al. to prove the conjecture for $n \geq 2k$ if $q$ is large. Furthermore, if equality holds and $n \geq 2k+1$, then the set of $k$-dimensional subspaces with nonnegative weight is the set of all $k$-dimensional subspaces on a fixed $1$-dimensional subspace.
Generalized Fourier coefficients of multiplicative functions
Published in Alg. Number Th. 12 (2018) 1311-1400
• View Publication
• BIB
We introduce and analyse a general class of not necessarily bounded multiplicative functions, examples of which include the function $n \mapsto δ^{ω(n)}$, where $δ\neq 0$ and where $ω$ counts the number of distinct prime factors of $n$, as well as the function $n \mapsto |λ_f(n)|$, where $λ_f(n)$ denotes the Fourier coefficients of a primitive holomorphic cusp form.
For this class of functions we show that after applying a `$W$-trick' their elements become orthogonal to polynomial nilsequences. The resulting functions therefore have small uniformity norms of all orders by the Green--Tao--Ziegler inverse theorem, a consequence that will be used in a separate paper in order to asymptotically evaluate linear correlations of multiplicative functions from our class. Our result generalises work of Green and Tao on the Möbius function.
Stein's method, semicircle distribution, and reduced decompositions of the longest element in the symmetric group
Consider a uniformly chosen random reduced decomposition of the longest element in the symmetric group. It is known that the location of the first transposition in this decomposition converges to the semicircle distribution. In this note we provide a sharp error term for this result, using the "comparison of generators" approach to Stein's method.
Further result on acyclic chromatic index of planar graphs
Published in Discrete Applied Mathematics, 201 (2016), 228--247
• View Publication
• BIB
An acyclic edge coloring of a graph $G$ is a proper edge coloring such that every cycle is colored with at least three colors. The acyclic chromatic index $\chiup_{a}'(G)$ of a graph $G$ is the least number of colors in an acyclic edge coloring of $G$. It was conjectured that $\chiup'_{a}(G)\leq Δ(G) + 2$ for any simple graph $G$ with maximum degree $Δ(G)$. In this paper, we prove that every planar graph $G$ admits an acyclic edge coloring with $Δ(G) + 6$ colors.
A Characterization of Substar Graphs
Published
• View Publication
• BIB
The intersection graphs of stars in some tree are known as substar graphs. In this paper we give a characterization of substar graphs by the list of minimal forbidden induced subgraphs. This corrects a flaw in the main result of Chang, Jacobson, Monma and West (Subtree and substar intersection numbers, Discrete Appl. Math. 44, 205-220 (1993)) and this leads to a different list of minimal forbidden induced subgraphs.
Multipodal Structure and Phase Transitions in Large Constrained Graphs
Published
• View Publication
• BIB
We study the asymptotics of large, simple, labeled graphs constrained by the densities of edges and of $k$-star subgraphs, $k\ge 2$ fixed. We prove that under such constraints graphs are "multipodal": asymptotically in the number of vertices there is a partition of the vertices into $M < \infty$ subsets $V_1, V_2, \ldots, V_M$, and a set of well-defined probabilities $g_{ij}$ of an edge between any $v_i \in V_i$ and $v_j \in V_j$. For $2\le k\le 30$ we determine the phase space: the combinations of edge and $k$-star densities achievable asymptotically. For these models there are special points on the boundary of the phase space with nonunique asymptotic (graphon) structure; for the 2-star model we prove that the nonuniqueness extends to entropy maximizers in the interior of the phase space.
Constructing large tables of numbers of maps by orientable genus
The Carrell-Chapuy recurrence formulas dramatically improve the efficiency of counting orientable rooted maps by genus, either by number of edges alone or by number of edges and vertices. This paper presents an implementation of these formulas with three applications: the computation of an explicit rational expression for the ordinary generating functions of rooted map numbers with a given positive genus, the construction of large tables of rooted map numbers, and the use of these tables, together with the method of A. Mednykh and R. Nedela, to count unrooted maps by genus and number of edges and vertices.
On Simultaneous 2-locally-balanced 2-partition for Two Forests with Same Vertices
Published in Transactions of the Institute for Informatics and Automation Problems of the NAS of RA, Mathematical Problems of Computer Science 29, 2007, p. 104-106
• Search Publication
The existence of a partition of the common set of the vertices of two forests into two subsets, when difference of their capacities in the neighborhood of each vertex of each forest not greater than 2 is proved, and an example, which shows that improvement of the specified constant is impossible is brought.