Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Reduction of constraint systems
Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones. These decompositions greatly speed up the resolution in case of reducible systems. They also allow debugging systems of constraints.
Generating function of the tilings of Aztec rectangle with holes
Published
• View Publication
• BIB
We consider a generating function of the domino tilings of an Aztec rectangle with several boundary unit squares removed. Our generating function involves two statistics: the rank of the tiling and half number of vertical dominoes as in the Aztec diamond theorem by Elkies, Kuperberg, Larsen and Propp. In addition, our work deduces a combinatorial explanation for an interesting connection between the number of lozenge tilings of a semihexagon and the number of domino tilings of an Aztec rectangle.
A Characterisation of Strong Integer Additive Set-Indexers of Graphs
Published in Communications in Mathematics and Applications, Vol.5, Issue 3, 2014, pp. 101-110
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective, where $f(u)+f(v)$ is the sumset of $f(u)$ and $f(v)$. If $g_f(uv)=k~\forall~uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexers. An integer additive set-indexer $f$ is said to be a strong integer additive set-indexer if $|g_f(uv)|=|f(u)|.|f(v)|~\forall ~ uv\in E(G)$. We already have some characteristics of the graphs which admit strong integer additive set-indexers. In this paper, we study the characteristics of certain graph classes, graph operations and graph products that admit strong integer additive set-indexers.
Essential enhancements revisited
In 1991 Aizenman and Grimmett claimed that any `essential enhancement' of site or bond percolation on a lattice lowers the critical probability, an important result with many implications, such as strict inequalities between critical probabilities on suitable pairs of lattices. Their proof has two parts, one probabilistic and one combinatorial. In this paper we point out that a key combinatorial lemma, for which they provide only a figure as proof, is false. We prove an alternative form of the lemma, and thus the enhancement result, in the special cases of site percolation on the square, triangular and cubic lattices, and for bond percolation on $Z^d$, $d\ge 2$. The general case remains open, even for site percolation on $Z^d$, $d\ge 4$.
Interval scheduling and colorful independent sets
Published in Journal of Scheduling 18(5):449-469, 2015
• View Publication
• BIB
Numerous applications in scheduling, such as resource allocation or steel manufacturing, can be modeled using the NP-hard Independent Set problem (given an undirected graph and an integer k, find a set of at least k pairwise non-adjacent vertices). Here, one encounters special graph classes like 2-union graphs (edge-wise unions of two interval graphs) and strip graphs (edge-wise unions of an interval graph and a cluster graph), on which Independent Set remains NP-hard but admits constant-ratio approximations in polynomial time. We study the parameterized complexity of Independent Set on 2-union graphs and on subclasses like strip graphs. Our investigations significantly benefit from a new structural "compactness" parameter of interval graphs and novel problem formulations using vertex-colored interval graphs. Our main contributions are:
1. We show a complexity dichotomy: restricted to graph classes closed under induced subgraphs and disjoint unions, Independent Set is polynomial-time solvable if both input interval graphs are cluster graphs, and is NP-hard otherwise.
2. We chart the possibilities and limits of effective polynomial-time preprocessing (also known as kernelization).
3. We extend Halldórsson and Karlsson (2006)'s fixed-parameter algorithm for Independent Set on strip graphs parameterized by the structural parameter "maximum number of live jobs" to show that the problem (also known as Job Interval Selection) is fixed-parameter tractable with respect to the parameter k and generalize their algorithm from strip graphs to 2-union graphs. Preliminary experiments with random data indicate that Job Interval Selection with up to fifteen jobs and 5*10^5 intervals can be solved optimally in less than five minutes.
Decomposition of random graphs into complete bipartite graphs
Published
• View Publication
• BIB
We consider the problem of partitioning the edge set of a graph $G$ into the minimum number $τ(G)$ of edge-disjoint complete bipartite subgraphs. We show that for a random graph $G$ in $G(n,p)$, for $p$ is a constant no greater than $1/2$, almost surely $τ(G)$ is between $n- c(\ln_{1/p} n)^{3+ε}$ and $n - 2\ln_{1/(1-p)} n$ for any positive constants $c$ and $ε$.
Voting for Committees in Agreeable Societies
Published
• View Publication
• BIB
We examine the following voting situation. A committee of $k$ people is to be formed from a pool of n candidates. The voters selecting the committee will submit a list of $j$ candidates that they would prefer to be on the committee. We assume that $j \leq k < n$. For a chosen committee, a given voter is said to be satisfied by that committee if her submitted list of $j$ candidates is a subset of that committee. We examine how popular is the most popular committee. In particular, we show there is always a committee that satisfies a certain fraction of the voters and examine what characteristics of the voter data will increase that fraction.
Fair Division and Redistricting
Published in Contemporary Mathematics 624 (2014), 17-36
• View Publication
• BIB
Recently, Landau, Reid and Yershov provided a novel solution to the problem of redistricting. Instead of trying to ensure fairness by restricting the shape of the possible maps or by assigning the power to draw the map to nonbiased entities, the solution ensures fairness by balancing competing interests against each other. This kind of solution is an example of what are known as "fair division" solutions--- such solutions involve the preferences of all parties and are accompanied by rigorous guarantees of a specified well-defined notion of fairness. In this expository article, we give an introduction to the ideas of fair division in the context of this redistricting solution. Through examples and discussion we clarify how fair division methods can play an important role in a realistic redistricting solution by introducing an interactive step that incorporates a certain kind of fairness that can be used in concert with, and not a substitute for, other necessary or desired criteria for a good redistricting solution.
Perfect Packings in Quasirandom Hypergraphs
Let k >= 2 and F be a linear k-uniform hypergraph with v vertices. We prove that if n is sufficiently large and v|n, then every quasirandom k-uniform hypergraph on n vertices with constant edge density and minimum degree $Ω(n^{k-1})$ admits a perfect F-packing. The case k = 2 follows immediately from the blowup lemma of Komlós, Sárközy, and Szemerédi. We also prove positive results for some nonlinear F but at the same time give counterexamples for rather simple F that are close to being linear. Finally, we address the case when the density tends to zero, and prove (in analogy with the graph case) that sparse quasirandom 3-uniform hypergraphs admit a perfect matching as long as their second largest eigenvalue is sufficiently smaller than the largest eigenvalue.
Factorial P- and Q-Schur functions represent equivariant quantum Schubert classes
Published in Osaka J. Math. 53(3): 591-619 (July 2016)
• Search Publication
We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.
Forcing a sparse minor
Published in Combinator. Probab. Comp. 25 (2016) 300-322
• View Publication
• BIB
This paper addresses the following question for a given graph $H$: what is the minimum number $f(H)$ such that every graph with average degree at least $f(H)$ contains $H$ as a minor? Due to connections with Hadwiger's Conjecture, this question has been studied in depth when $H$ is a complete graph. Kostochka and Thomason independently proved that $f(K_t)=ct\sqrt{\ln t}$. More generally, Myers and Thomason determined $f(H)$ when $H$ has a super-linear number of edges. We focus on the case when $H$ has a linear number of edges. Our main result, which complements the result of Myers and Thomason, states that if $H$ has $t$ vertices and average degree $d$ at least some absolute constant, then $f(H)\leq 3.895\sqrt{\ln d}\,t$. Furthermore, motivated by the case when $H$ has small average degree, we prove that if $H$ has $t$ vertices and $q$ edges, then $f(H) \leq t+6.291q$ (where the coefficient of 1 in the $t$ term is best possible).
Morphism complexes of sets with relations
Published in Osaka Journal of Mathematics, vol.53, no.1 (2016)
• Search Publication
Let $r$ be a positive integer. An $r$-set is a pair $X= (V(X),R(X))$ consisting of a set $V(X)$ with a subset $R(X)$ of the direct product $V(X)^r$. The object of this paper is to investigate the Hom complexes of $r$-sets, which were introduced for graphs in the context of the graph coloring problem.
In the first part, we introduce simplicial sets which we call singular complexes, and show that singular complexes and Hom complexes are naturally homotopy equivalent. The second part is devoted to the generalization of $\times$-homotopy theory established by Dochtermann. We show the folding theorem for hypergraphs which was partly proved by Iriye and Kishimoto.
Zero-error capacity of binary channels with memory
Published
• View Publication
• BIB
We begin a systematic study of the problem of the zero--error capacity of noisy binary channels with memory and solve some of the non--trivial cases.
Asymptotics of higher order ospt-functions for overpartitions
Published
• View Publication
• BIB
In this paper we obtain asymptotic formulas for the positive crank and rank moments for overpartitions. Moreover, we show that crank and rank moments are asymptotically equal while the difference is asymptotically positive. This indicates that there exist analogous higher ospt-functions for overpartitions, which we define.
Crystal graphs, Tokuyama's theorem, and the Gindikin--Karpelevic formula for G_2
Published
• View Publication
• BIB
We conjecture a deformation of the Weyl character formula for type G_2 in the spirit of Tokuyama's formula for type A. Using our conjecture we prove a combinatorial version of the Gindikin--Karpelevic formula for G_2, in the spirit of Bump--Nakasuji's formula for type A.
Generalized Dehn-Sommerville relations for hypergraphs
Published in European Journal of Mathematics, 2 (2016) 459--473
• Search Publication
The generalized Dehn-Sommerville relations determine the odd subalgebra of the combinatorial Hopf algebra. We introduce a class of eulerian hypergraphs that satisfy the generalized Dehn-Sommerville relations for the combinatorial Hopf algebra of hypergraphs. We characterize a wide class of eulerian hypergraphs according to the combinatorics of underlying clutters. The analogous results hold for simplicial complexes by the isomorphism which is induced from the correspondence of clutters and simplicial complexes.
A Bound on the Expected Optimality of Random Feasible Solutions to Combinatorial Optimization Problems
This paper investigates and bounds the expected solution quality of combinatorial optimization problems when feasible solutions are chosen at random. Loose general bounds are discovered, as well as families of combinatorial optimization problems for which random feasible solutions are expected to be a constant factor of optimal. One implication of this result is that, for graphical problems, if the average edge weight in a feasible solution is sufficiently small, then any randomly chosen feasible solution to the problem will be a constant factor of optimal. For example, under certain well-defined circumstances, the expected constant of approximation of a randomly chosen feasible solution to the Steiner network problem is bounded above by 3. Empirical analysis supports these bounds and actually suggest that they might be tightened.
2-adic Stirling functions and their zeros
Published
• View Publication
• BIB
Let $P_n(x)=\frac1{n!}\sum\binom n{2i+1}(2i+1)^x$. This extends to a continuous function on the 2-adic integers, the $n$th 2-adic partial Stirling function. We show that $(-1)^{n+1}P_n$ is the only 2-adically continuous approximation to $S(x,n)$, the Stirling number of the second kind. We present extensive information about the zeros of $P_n$, for which there are many interesting patterns. We prove that if $e\ge2$ and $2^e+1\le n\le 2^e+4$, then $P_n$ has exactly $2^{e-1}$ zeros, one in each mod $2^{e-1}$ congruence. We study the relationship between the zeros of $P_{2^e+Δ}$ and $P_Δ$, for $1\leΔ\le 2^e$, and the convergence of $P_{2^e+Δ}(x)$ as $e\to\infty$.
Combinatorial Interpretation of the Scalar Products of State Vectors of Integrable Models
Published in J. Math. Sci., vol. 200, no. 6, (2014), 662-670
• View Publication
• BIB
The representation of the Bethe wave functions of certain integrable models via the Schur functions allows to apply the well-developed theory of the symmetric functions to the calculation of the thermal correlation functions. The algebraic relations arising in the calculation of the scalar products and the correlation functions are based on the Binet-Cauchy formula for the Schur functions. We provide a combinatorial interpretation of the formula for the scalar products of the Bethe state-vectors in terms of nests of the self-avoiding lattice paths constituting the so-called watermelon configurations. The interpretation proposed is, in its turn, related to the enumeration of the boxed plane partitions.
Amoebas, Nonnegative Polynomials and Sums of Squares Supported on Circuits
Published
• View Publication
• BIB
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of the amoeba of $f$, i.e., the Log-absolute-value image of the algebraic variety $\mathcal{V}(f) \subset (\mathbb{C}^*)^n$ of $f$.
These results generalize earlier works both in amoeba theory and real algebraic geometry by Fidalgo, Kovacec, Reznick, Theobald and de Wolff and solve an open problem by Reznick. They establish the first direct connection between amoeba theory and nonnegativity of real polynomials. Additionally, these statements yield a completely new class of nonnegativity certificates independent from sums of squares certificates.