Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Counting The Generator Matrices of $\mathbb{Z}_{2}\mathbb{Z}_{8}$-Codes
In this paper, we count the number of matrices whose rows generate different $\mathbb{Z}_2\mathbb{Z}_8$ additive codes. This is a natural generalization of the well known Gaussian numbers that count the number of matrices whose rows generate vector spaces with particular dimension over finite fields. Due to this similarity we name this numbers as Mixed Generalized Gaussian Numbers (MGN). The MGN formula by specialization leads to the well known formula for the number of binary codes and the number of codes over $\mathbb{Z}_8,$ and for additive $\mathbb{Z}_2\mathbb{Z}_4$ codes. Also, we conclude by some properties and examples of the MGN numbers that provide a good source for new number sequences that are not listed in The On-Line Encyclopedia of Integer Sequences.
The Merino-Welsh Conjecture holds for Series-Parallel Graphs
Published
• View Publication
• BIB
The Merino-Welsh conjecture asserts that the number of spanning trees of a graph is no greater than the maximum of the numbers of totally cyclic orientations and acyclic orientations of that graph. We prove this conjecture for the class of series-parallel graphs.
Random Discrete Morse Theory and a New Library of Triangulations
Published in Experimental Mathematics, Vol. 23, Issue 1 (2014), 66-94
• View Publication
• BIB
1) We introduce random discrete Morse theory as a computational scheme to measure the complicatedness of a triangulation. The idea is to try to quantify the frequence of discrete Morse matchings with a certain number of critical cells. Our measure will depend on the topology of the space, but also on how nicely the space is triangulated.
(2) The scheme we propose looks for optimal discrete Morse functions with an elementary random heuristic. Despite its naïveté, this approach turns out to be very successful even in the case of huge inputs.
(3) In our view the existing libraries of examples in computational topology are `too easy' for testing algorithms based on discrete Morse theory. We propose a new library containing more complicated (and thus more meaningful) test examples.
New Inapproximability Bounds for TSP
Published
• View Publication
• BIB
In this paper, we study the approximability of the metric Traveling Salesman Problem (TSP) and prove new explicit inapproximability bounds for that problem. The best up to now known hardness of approximation bounds were 185/184 for the symmetric case (due to Lampis) and 117/116 for the asymmetric case (due to Papadimitriou and Vempala). We construct here two new bounded occurrence CSP reductions which improve these bounds to 123/122 and 75/74, respectively. The latter bound is the first improvement in more than a decade for the case of the asymmetric TSP. One of our main tools, which may be of independent interest, is a new construction of a bounded degree wheel amplifier used in the proof of our results.
Feasible combinatorial matrix theory
We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restricted to $Σ_1^B$ formulas. This is an improvement over the standard textbook proof of KMM which requires $Π_2^B$ induction, and hence does not yield feasible proofs --- while our new approach does. $\LA$ is a weak theory that essentially captures the ring properties of matrices; however, equipped with $Σ_1^B$ induction $\LA$ is capable of proving KMM, and a host of other combinatorial properties such as Menger's, Hall's and Dilworth's Theorems. Therefore, our result formalizes Min-Max type of reasoning within a feasible framework.
A unified approach to structural limits, and limits of graphs with bounded tree-depth
Published in volume 263 number 1272 of Memoirs of the American Mathematical Society. AMS, 2020
• View Publication
• BIB
In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various approaches to graph limits fit to this framework and that they naturally appear as "tractable cases" of a general theory. As an outcome of this, we provide extensions of known results. We believe that this put these into next context and perspective. For example, we prove that the sparse--dense dichotomy exactly corresponds to random free graphons. The second part of the paper is devoted to the study of sparse structures. First, we consider limits of structures with bounded diameter connected components and we prove that in this case the convergence can be "almost" studied component-wise. We also propose the structure of limits objects for convergent sequences of sparse structures. Eventually, we consider the specific case of limits of colored rooted trees with bounded height and of graphs with bounded tree-depth, motivated by their role of elementary brick these graphs play in decompositions of sparse graphs, and give an explicit construction of a limit object in this case. This limit object is a graph built on a standard probability space with the property that every first-order definable set of tuples is measurable. This is an example of the general concept of {\em modeling} we introduce here. Our example is also the first "intermediate class" with explicitly defined limit structures.
Tropical covers of curves and their moduli spaces
Published
• View Publication
• BIB
We define the tropical moduli space of covers of a tropical line in the plane as weighted abstract polyhedral complex, and the tropical branch map recording the images of the simple ramifications. Our main result is the invariance of the degree of the branch map, which enables us to give a tropical intersection-theoretic definition of tropical triple Hurwitz numbers. We show that our intersection-theoretic definition coincides with the one given by Bertrand, Brugallé and Mikhalkin in the article "Tropical Open Hurwitz numbers" where a Correspondence Theorem for Hurwitz numbers is proved. Thus we provide a tropical intersection-theoretic justification for the multiplicities with which a tropical cover has to be counted. Our method of proof is to establish a local duality between our tropical moduli spaces and certain moduli spaces of relative stable maps to the projective line.
Excluding Graphs as Immersions in Surface Embedded Graphs
Published
• View Publication
• BIB
We prove a structural characterization of graphs that forbid a fixed graph $H$ as an immersion and can be embedded in a surface of Euler genus $γ$. In particular, we prove that a graph $G$ that excludes some connected graph $H$ as an immersion and is embedded in a surface of Euler genus $γ$ has either "small" treewidth (bounded by a function of $H$ and $γ$) or "small" edge connectivity (bounded by the maximum degree of $H$). Using the same techniques we also prove an excluded grid theorem on bounded genus graphs for the immersion relation.
Powers of squarefree monomial ideals and combinatorics
Published in In Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday, I. Peeva (ed.), 2013, pp. 373-392
• View Publication
• BIB
We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we discuss the equivalence between the Conforti-Cornuejols conjecture from linear programming and the question of when symbolic and ordinary powers of squarefree monomial ideals coincide.
Curve neighborhoods of Schubert varieties
Published
• View Publication
• BIB
A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten invariant as well as a new proof of the quantum Chevalley formula and its equivariant generalization. We also recover a formula for the minimal degree of a rational curve between two given points in a cominuscule variety.
Multi-Group Testing for Items with Real-Valued Status under Standard Arithmetic
Published
• View Publication
• BIB
This paper proposes a novel generalization of group testing, called multi-group testing, which relaxes the notion of "testing subset" in group testing to "testing multi-set". The generalization aims to learn more information of each item to be tested rather than identify only defectives as was done in conventional group testing. This paper provides efficient nonadaptive strategies for the multi-group testing problem. The major tool is a new structure, $q$-ary additive $(w,d)$-disjunct matrix, which is a generalization of the well-known binary disjunct matrix introduced by Kautz and Singleton in 1964.
Connectivity patterns in loop percolation I: the rationality phenomenon and constant term identities
Published
• View Publication
• BIB
Loop percolation, also known as the dense O(1) loop model, is a variant of critical bond percolation in the square lattice Z^2 whose graph structure consists of a disjoint union of cycles. We study its connectivity pattern, which is a random noncrossing matching associated with a loop percolation configuration. These connectivity patterns exhibit a striking rationality property whereby probabilities of naturally-occurring events are dyadic rational numbers or rational functions of a size parameter n, but the reasons for this are not completely understood. We prove the rationality phenomenon in a few cases and prove an explicit formula expressing the probabilities in the "cylindrical geometry" as coefficients in certain multivariate polynomials. This reduces the rationality problem in the general case to that of proving a family of conjectural constant term identities generalizing an identity due to Di Francesco and Zinn-Justin. Our results make use of, and extend, algebraic techniques related to the quantum Knizhnik-Zamolodchikov equation.
Great antipodal sets of complex Grassmannian manifolds as designs with the smallest cardinalities
Published
• View Publication
• BIB
The aim of this paper is a characterization of great antipodal sets of complex Grassmannian manifolds as certain designs with the smallest cardinalities.
A catalog of matchstick graphs
Classification of planar unit-distance graphs with up to 9 edges, by homeomorphism and isomorphism classes. With exactly nine edges, there are 633 nonisomorphic connected matchstick graphs, of which 196 are topologically distinct from each other. Increasing edges' number, their quantities rise more than exponentially, in a still unclear way.
Automorphisms of Cayley graphs generated by transposition sets
Let $S$ be a set of transpositions such that the girth of the transposition graph of $S$ is at least 5. It is shown that the automorphism group of the Cayley graph of the permutation group $H$ generated by $S$ is the semidirect product $R(H) \rtimes \Aut(H,S)$, where $R(H)$ is the right regular representation of $H$ and $\Aut(H,S)$ is the set of automorphisms of $H$ that fixes $S$ setwise. Furthermore, if the connected components of the transposition graph of $S$ are isomorphic to each other, then $\Aut(H,S)$ is isomorphic to the automorphism group of the line graph of the transposition graph of $S$. This result is a common generalization of previous results by Feng, Ganesan, Harary, Mirafzal, and Zhang and Huang. As another special case, we obtain the automorphism group of the extended cube graph that was proposed as a topology for interconnection networks.
Well separated spherical designs
Published
• View Publication
• BIB
For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$.
Complete r-partite graphs determined by their domination polynomial
Published
• View Publication
• BIB
The domination polynomial of a graph is the polynomial whose coefficients count the number of dominating sets of each cardinality. A recent question asks which graphs are uniquely determined (up to isomorphism) by their domination polynomial. In this paper, we completely describe the complete r-partite graphs which are; in the bipartite case, this settles in the affirmative a conjecture of Aalipour, Akbari and Ebrahimi.
Positivity and tameness in rank 2 cluster algebras
Published in J. Algebraic Combin. 40 (2014), no. 3, 823--840
• View Publication
• BIB
We study the relationship between the positivity property in a rank 2 cluster algebra, and the property of such an algebra to be tame. More precisely, we show that a rank 2 cluster algebra has a basis of indecomposable positive elements if and only if it is of finite or affine type. This statement disagrees with a conjecture by Fock and Goncharov.
Abstract loop equations, topological recursion, and applications
Published in Communications in Number Theory and Physics, Volume 9 (2015) Number 1
• View Publication
• BIB
We formulate a notion of abstract loop equations, and show that their solution is provided by a topological recursion under some assumptions, in particular the result takes a universal form. The Schwinger-Dyson equation of the one and two hermitian matrix models, and of the O(n) model appear as special cases. We study applications to repulsive particles systems, and explain how our notion of loop equations are related to Virasoro constraints. Then, as a special case, we study in detail applications to enumeration problems in a general class of non-intersecting loop models on the random lattice of all topologies, to SU(N) Chern-Simons invariants of torus knots in the large N expansion. We also mention an application to Liouville theory on surfaces of positive genus.
Smoothness and singularities of the perfect form and the second Voronoi compactification of ${\mathcal A}_g$
We study the cones in the first Voronoi or perfect cone decomposition of quadratic forms with respect to the question which of these cones are basic or simplicial. As a consequence we deduce that the singular locus of the moduli stack ${\mathcal A_g^{\mathop{Perf}}}$, the toroidal compactification of the moduli space of principally polarized abelian varieties of dimension $g$ given by this decomposition, has codimension $10$ if $g \geq 4$. Moreover we describe the non-simplicial locus in codimension $10$. We also show that the second Voronoi compactification ${\mathcal A_{g}^{\mathop{Vor}}}$ has singularities in codimension $3$ for $g\geq 5$.