Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A branch and cut algorithm for minimum spanning trees under conflict constraints
Published
• View Publication
• BIB
We study approaches for the exact solution of the \NP--hard minimum spanning tree problem under conflict constraints. Given a graph $G(V,E)$ and a set $C \subset E \times E$ of conflicting edge pairs, the problem consists of finding a conflict-free minimum spanning tree, i.e. feasible solutions are allowed to include at most one of the edges from each pair in $C$. The problem was introduced recently in the literature, with several results on its complexity and approximability. Some formulations and both exact and heuristic algorithms were also discussed, but computational results indicate considerably large duality gaps and a lack of optimality certificates for benchmark instances. In this paper, we build on the representation of conflict constraints using an auxiliary conflict graph $\hat{G}(E,C)$, where stable sets correspond to conflict-free subsets of $E$. We introduce a general preprocessing method and a branch and cut algorithm using an IP formulation with exponentially sized classes of valid inequalities for both the spanning tree and the stable set polytopes. Encouraging computational results indicate that the dual bounds of our approach are significantly stronger than those previously available, already in the initial LP relaxation, and we are able to provide new feasibility and optimality certificates.
BGG reciprocity for current algebras
Published in Compositio Mathematica 151 (2015) 1265-1287
• View Publication
• BIB
It was conjectured by Bennett, Chari, and Manning that a BGG-type reciprocity holds for the category of graded representations with finite-dimensional graded components for the current algebra associated to a simple Lie algebra. We associate a current algebra to any indecomposable affine Lie algebra and show that, in this generality, the BGG reciprocity is true for the corresponding category of representations.
Efficiently determining Convergence in Polynomial Recurrence Sequences
We derive the necessary and sufficient condition, for a given Polynomial Recurrence Sequence to converge to a given target rational K. By converge, we mean that the Nth term of the sequence, is equal to K, as N tends to positive infinity. The basic idea of our approach is to construct a univariate polynomial equation in x, whose coefficients correspond to the terms of the Sequence. The approach then obtains the condition by analyzing five cases that cover all possible real values of x. The condition can be evaluated within time that is a polynomial function of the size of the description of the Polynomial Recurrence Sequence, hence convergence or non-convergence can be efficiently determined.
Sum-free cyclic multi-bases and constructions of Ramsey algebras
Published in Discrete Applied Mathematics, (180), 2015, p. 204-212
• View Publication
• BIB
Given $X\subseteq \mathbb{Z}_N$, $X$ is called a \emph{cyclic basis} if $(X+X)\cup X=\mathbb{Z}_N$, \emph{symmetric} if $x\in X$ implies $-x \in X$, and \emph{sum-free} if $(X+X)\cap X=\varnothing$. We ask, for which $m$, $N\in\mathbb{Z}^+$ can the set of non-identity elements of $\mathbb{Z}_N$ be partitioned into $m$ symmetric sum-free cyclic bases? If, in addition, we require that distinct cyclic bases interact in a certain way, we get a proper relation algebra called a Ramsey algebra. Ramsey algebras (which have also been called Monk algebras) have been constructed previously for $2\leq m\leq 7$. In this manuscript, we provide constructions of Ramsey algebras for every positive integer $m$ with $2\leq m\leq 400$, with the exception of $m=8$ and $m=13$.
Algorithm and Complexity for a Network Assortativity Measure
We show that finding a graph realization with the minimum Randić index for a given degree sequence is solvable in polynomial time by formulating the problem as a minimum weight perfect b-matching problem. However, the realization found via this reduction is not guaranteed to be connected. Approximating the minimum weight b-matching problem subject to a connectivity constraint is shown to be NP-Hard. For instances in which the optimal solution to the minimum Randić index problem is not connected, we describe a heuristic to connect the graph using pairwise edge exchanges that preserves the degree sequence. In our computational experiments, the heuristic performs well and the Randić index of the realization after our heuristic is within 3% of the unconstrained optimal value on average. Although we focus on minimizing the Randić index, our results extend to maximizing the Randić index as well. Applications of the Randić index to synchronization of neuronal networks controlling respiration in mammals and to normalizing cortical thickness networks in diagnosing individuals with dementia are provided.
Regular systems of paths and families of convex sets in convex position
Published
• View Publication
• BIB
In this paper we show that every sufficiently large family of convex bodies in the plane has a large subfamily in convex position provided that the number of common tangents of each pair of bodies is bounded and every subfamily of size five is in convex position. (If each pair of bodies have at most two common tangents it is enough to assume that every triple is in convex position, and likewise, if each pair of bodies have at most four common tangents it is enough to assume that every quadruple is in convex position.) This confirms a conjecture of Pach and Toth, and generalizes a theorem of Bisztriczky and Fejes Toth. Our results on families of convex bodies are consequences of more general Ramsey-type results about the crossing patterns of systems of graphs of continuous functions $f:[0,1] \to \mathbb{R}$. On our way towards proving the Pach-Toth conjecture we obtain a combinatorial characterization of such systems of graphs in which all subsystems of equal size induce equivalent crossing patterns. These highly organized structures are what we call regular systems of paths and they are natural generalizations of the notions of cups and caps from the famous theorem of Erdos and Szekeres. The characterization of regular systems is combinatorial and introduces some auxiliary structures which may be of independent interest.
Fractal patterns related to dividing coins
Published in Chaos, Solitons & Fractals 66, 51-57 (2014)
• View Publication
• BIB
The present paper formulates and solves a problem of dividing coins. The basic form of the problem seeks the set of the possible ways of dividing coins of face values 1,2,4,8,... between three people. We show that this set possesses a nested structure like the Sierpinski-gasket fractal. For a set of coins with face values power of r, the number of layer of the gasket becomes r. A higher-dimensional Sierpinski gasket is obtained if the number of people is more than three. In addition to Sierpinski-type fractals, the Cantor set is also obtained in dividing an incomplete coin set between two people.
Enumeration of chord diagrams on many intervals and their non-orientable analogs
Published in Adv. Math. 289, 1056-1081 (2016)
• View Publication
• BIB
Two types of connected chord diagrams with chord endpoints lying in a collection of ordered and oriented real segments are considered here: the real segments may contain additional bivalent vertices in one model but not in the other. In the former case, we record in a generating function the number of fatgraph boundary cycles containing a fixed number of bivalent vertices while in the latter, we instead record the number of boundary cycles of each fixed length. Second order, non-linear, algebraic partial differential equations are derived which are satisfied by these generating functions in each case giving efficient enumerative schemes. Moreover, these generating functions provide multi-parameter families of solutions to the KP hierarchy. For each model, there is furthermore a non-orientable analog, and each such model likewise has its own associated differential equation. The enumerative problems we solve are interpreted in terms of certain polygon gluings. As specific applications, we discuss models of several interacting RNA molecules. We also study a matrix integral which computes numbers of chord diagrams in both orientable and non-orientable cases in the model with bivalent vertices, and the large-N limit is computed using techniques of free probability.
Edge-disjoint double rays in infinite graphs: a Halin type result
Published
• View Publication
• BIB
We show that any graph that contains k edge-disjoint double rays for any k>0 contains also infinitely many edge-disjoint double rays. This was conjectured by Andreae in 1981.
Upper bound on the number of edges of an almost planar bipartite graph
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 737-746
• View Publication
• BIB
Let $G$ be a bipartite graph without loops and multiple edges on $v\ge 4$ vertices, which can be drawn on the plane such that any edge intersects at most one other edge. We prove that such graph has at most $3v-8$ edges for even $v\ne 6$ and at most $3v-9$ edges for odd $v$ and $v=6$. For all $v\ge 4$ examples showing that these bounds are tight are constructed.
In the end of paper we discuss a question about drawings of complete bipartite graphs on the plane such that any edge intersects at most one other edge.
{\sc Keywords:} topological graphs, planar graphs, bipartite graphs.
Geometric realization of toroidal quadrangulations without hidden symmetries
Published in Geombinatorics 24 (2014), No. 1, 11-20
• Search Publication
It is shown that each quadrangulation of the 2-torus by the Cartesian product of two cycles can be geometrically realized in (Euclidean) 4-space without hidden symmetries---that is, so that each combinatorial cellular automorphism of the quadrangulation extends to a geometric symmetry of its Euclidean realization. Such realizations turn out to be new regular toroidal geometric 2-polyhedra which are inscribed in the Clifford 2-torus in 4-space, just as the five regular spherical 2-polyhedra are inscribed in the 2-sphere in 3-space. The following are two open problems: Realize geometrically (1) the regular triangulations and (2) the regular hexagonizations of the 2-torus without hidden symmetries in 4-space.
On the minimal teaching sets of two-dimensional threshold functions
Published in SIAM J. Discrete Math. 29(1), pp. 157-165 (2015)
• View Publication
• BIB
It is known that a minimal teaching set of any threshold function on the twodimensional rectangular grid consists of 3 or 4 points. We derive exact formulae for the numbers of functions corresponding to these values and further refine them in the case of a minimal teaching set of size 3. We also prove that the average cardinality of the minimal teaching sets of threshold functions is asymptotically 7/2.
We further present corollaries of these results concerning some special arrangements of lines in the plane.
On a theorem of Erdős and Simonovits on graphs not containing the cube
The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erdős and Simonovits concerning the Turán number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.
The Combinatorics of Flat Folds: a Survey
Published in Origami3: The Third International Meeting of Origami Science, Mathematics, and Education, T. Hull ed., AK Peters, 2002
• Search Publication
We survey results on the foldability of flat origami models. The main topics are the question of when a given crease pattern can fold flat, the combinatorics of mountain and valley creases, and counting how many ways a given crease pattern can be folded. In particular, we explore generalizations of Maekawa's and Kawasaki's Theorems, develop a necessary and sufficient condition for a given assignment of mountains and valleys to fold up in a special case of single vertex folds, and describe recursive formulas to enumerate the number of ways that single vertex in a crease pattern can be folded.
Forbidden Families of Configurations
A simple matrix is a (0,1)-matrix with no repeated columns. For a (0,1)-matrix $F$, we say that a (0,1)-matrix $A$ has $F$ as a configuration if there is a submatrix of $A$ which is a row and column permutation of $F$ (trace is the set system version of a configuration). Let $\ncols{A}$ denote the number of columns of $A$. Let ${\cal F}$ be a family of matrices. We define the extremal function $forb(m,{\cal F})=\max{\ncols{A} : A is m-rowed simple matrix and has no configuration F\in{\cal F}}$. We consider some families ${\cal F}=\{F_1,F_2,\ldots, F_t\}$ such that individually each $\forb(m,F_i)$ has greater asymptotic growth than $\forb(m,{\cal F})$.
Convex geometric (k+2)-quasiplanar representations of semi-bar k-visibility graphs
Published
• View Publication
• BIB
We examine semi-bar visibility graphs in the plane and on a cylinder in which sightlines can pass through k objects. We show every semi-bar k-visibility graph has a (k+2)-quasiplanar representation in the plane with vertices drawn as points in convex position and edges drawn as segments. We also show that the graphs having cylindrical semi-bar k-visibility representations with semi-bars of different lengths are the same as the (2k+2)-degenerate graphs having edge-maximal (k+2)-quasiplanar representations in the plane with vertices drawn as points in convex position and edges drawn as segments.
New steps in walks with small steps in the quarter plane
Published in Annals of Combinatorics 19 (2015) 461-511
• View Publication
• BIB
In this article we obtain new expressions for the generating functions counting (non-singular) walks with small steps in the quarter plane. Those are given in terms of infinite series, while in the literature, the standard expressions use solutions to boundary value problems. We illustrate our results with three examples (an algebraic case, a transcendental D-finite case, and an infinite group model).
The Fractal and The Recurrence Equations Concerning The Integer Partitions
Published
• View Publication
• BIB
This paper introduced a way of fractal to solve the problem of taking count of the integer partitions, furthermore, using the method in this paper some recurrence equations concerning the integer partitions can be deduced, including the pentagonal number theorem.
Coxeter groups and their quotients arising from cluster algebras
Published in Int. Math. Res. Notices (2016), 5135-5186
• View Publication
• BIB
In a recent paper, Barot and Marsh presented an explicit construction of presentation of a finite Weyl group by any seed of corresponding cluster algebra, i.e. by any diagram mutation-equivalent to an orientation of a Dynkin diagram with given Weyl group. Extending their construction to the affine case, we obtain presentations for all affine Coxeter groups. Furthermore, we generalize the construction to the settings of diagrams arising from unpunctured triangulated surfaces and orbifolds, which leads to presentations of corresponding groups as quotients of numerous distinct Coxeter groups.
A Set of Questions in Combinatorial and Metric Geometry
We briefly introduce several problems: (1) a generalization of the convex fair partition conjecture, (2) on non-trivial invariants among polyhedrons that can be formed from the same set of face polygons, (3) two questions on assembling rectangular tiles to form larger rectangles and (4) on convex regions which maximize and minimize the diameter for specified area and perimeter. For each question, we discuss partial solutions and indicate aspects that to our knowledge, await exploration.