Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On Continuity Properties for Infinite Rectangle Packing
By rectangle packing we mean putting a set of rectangles into an enclosing rectangle, without any overlapping. We begin with perfect rectangle packing problems, then prove two continuity properties for parallel rectangle packing problems, and discuss how they might be used to obtain negative results for perfect rectangle packing problems.
Periodic Steiner networks minimizing length
Published
• View Publication
• BIB
We study a problem of geometric graph theory: We determine the triply periodic graph in Euclidean 3-space which minimizes length among all graphs spanning a fundamental domain of 3-space with the same volume. The minimizer is the so-called srs network with quotient the complete graph on four vertices $K_4$. The network spans the body centred cubic lattice and is related to the gyroid triply periodic surface.
On the maximum and minimum multiplicative Zagreb indices of graphs with given number of cut edges
For a molecular graph, the first multiplicative Zagreb index $Π_1$ is equal to the product of the square of the degree of the vertices, while the second multiplicative Zagreb index $Π_2$ is equal to the product of the endvertex degree of each edge over all edges. Denote by $\mathbb{G}_{n,k}$ the set of graphs with $n$ vertices and $k$ cut edges. In this paper, we explore graphs in terms of a number of cut edges. In addition, the maximum and minimum multiplicative Zagreb indices of graphs with given number of cut edges are provided. Furthermore, we characterize graphs with the largest and smallest $Π_1(G)$ and $Π_2(G)$ in $\mathbb{G}_{n,k}$, and our results extend and enrich some known conclusions.
Proper vertex connection and graph operations
Published
• View Publication
• BIB
A path in a vertex-colored graph is a {\it vertex-proper path} if any two internal adjacent vertices differ in color. A vertex-colored graph is {\it proper vertex $k$-connected} if any two vertices of the graph are connected by $k$ disjoint vertex-proper paths of the graph. For a $k$-connected graph $G$, the {\it proper vertex $k$-connection number} of $G$, denoted by $pvc_{k}(G)$, is defined as the smallest number of colors required to make $G$ proper vertex $k$-connected. A vertex-colored graph is {\it strong proper vertex-connected}, if for any two vertices $u,v$ of the graph, there exists a vertex-proper $u$-$v$ geodesic. For a connected graph $G$, the {\it strong proper vertex-connection number} of $G$, denoted by $spvc(G)$, is the smallest number of colors required to make $G$ strong proper vertex-connected. In this paper, we study the proper vertex $k$-connection number and the strong proper vertex-connection number on the join of two graphs, the Cartesian, lexicographic, strong and direct product, and present exact values or upper bounds for these operations of graphs.
Total proper connection and graph operations
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and vertices of the graph are colored. A path in a total-colored graph is a {\it total proper path} if $(i)$ any two adjacent edges on the path differ in color, $(ii)$ any two internal adjacent vertices on the path differ in color, and $(iii)$ any internal vertex of the path differs in color from its incident edges on the path. A total-colored graph is called {\it total-proper connected} if any two vertices of the graph are connected by a total proper path of the graph. For a connected graph $G$, the {\it total proper connection number} of $G$, denoted by $tpc(G)$, is defined as the smallest number of colors required to make $G$ total-proper connected. In this paper, we study the total proper connection number for the graph operations. We find that $3$ is the total proper connection number for the join, the lexicographic product and the strong product of nearly all graphs. Besides, we study three kinds of graphs with one factor to be traceable for the Cartesian product as well as the permutation graphs of the star and traceable graphs. The values of the total proper connection number for these graphs are all $3$.
Pascal Triangle and Restricted Words
We continue to investigate combinatorial properties of functions $f_m$ and $c_m$ considered in our previous papers. They depend on an initial arithmetic function $f_0$. In this paper, the values of $f_0$ are the binomial coefficients.
We first consider the case when the values of $f_0$ are the binomial coefficients from a row of the Pascal triangle. The values of $f_0$ consider next are the binomial coefficients from a diagonal of the Pascal triangle. In two final cases, the values of $f_0$ are the central binomial coefficients and its adjacent neighbors. In each case, we derive an explicit formula for $c_1(n,k)$ and give its interpretation in terms of restricted words. In the first two cases, we also consider the functions $f_m$ and $c_m$, for $(m>0)$.
Schubert polynomials, 132-patterns, and Stanley's conjecture
Published
• View Publication
• BIB
Motivated by a recent conjecture of R. P. Stanley we offer a lower bound for the sum of the coefficients of a Schubert polynomial in terms of $132$-pattern containment.
Ovoids of Generalized Quadrangles of Order $(q, q^2-q)$ and Delsarte Cocliques in Related Strongly Regular Graphs
Published
• View Publication
• BIB
We investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that $ve^- = m^-(e^- - k)$, where $v$ is the number of vertices, $k$ is the regularity, $e^-$ is the smallest eigenvalue, and $m^-$ is the multiplicity of $e^-$. We show that Delsarte cocliques do not exist for all Taylor's $2$-graphs and for point graphs of generalized quadrangles of order $(q,q^2-q)$ for infinitely many $q$. For cases where equality may hold, we show that for nearly all parameter sets, there are at most two Delsarte cocliques.
Terminal-Pairability in Complete Bipartite Graphs with Non-Bipartite Demands
Published in Theoretical Computer Science, Volume 775, 5 July 2019, Pages 16-25
• View Publication
• BIB
We investigate the terminal-pairability problem in the case when the base graph is a complete bipartite graph, and the demand graph is a (not necessarily bipartite) multigraph on the same vertex set. In computer science, this problem is known as the edge-disjoint paths problem. We improve the lower bound on the maximum value of $Δ(D)$ which still guarantees that the demand graph $D$ has a realization in $K_{n,n}$. We also solve the extremal problem on the number of edges, i.e., we determine the maximum number of edges which guarantees that a demand graph is realizable in $K_{n,n}$.
Lines in Euclidean Ramsey theory
Published
• View Publication
• BIB
Let $\ell_m$ be a sequence of $m$ points on a line with consecutive points of distance one. For every natural number $n$, we prove the existence of a red/blue-coloring of $\mathbb{E}^n$ containing no red copy of $\ell_2$ and no blue copy of $\ell_m$ for any $m \geq 2^{cn}$. This is best possible up to the constant $c$ in the exponent. It also answers a question of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus from 1973. They asked if, for every natural number $n$, there is a set $K \subset \mathbb{E}^1$ and a red/blue-coloring of $\mathbb{E}^n$ containing no red copy of $\ell_2$ and no blue copy of $K$.
Ramsey properties and extending partial automorphisms for classes of finite structures
Published in Fundamenta Mathematicae 253 (2021), 121-153
• View Publication
• BIB
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors' Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with the ordering property. For languages with relational symbols and unary functions we also show the extension property for partial automorphisms (EPPA) of free amalgamation classes. These general results solve several conjectures and provide an easy Ramseyness test for many classes of structures.
Growth in varieties of multioperator algebras and Groebner bases in operads
Published in ISSAC'17. Proceedings of the International Symposium on Symbolic and Algebraic Computation. ACM, New York, 2017. P. 373--380
• View Publication
• BIB
We discuss algorithmic approach to growth of the codimension sequences of varieties of multilinear algebras, or, equivalently, the sequences of the component dimensions of algebraic operads. The (exponentional) generating functions of such sequences are called codimension series of varieties, or generating series of operads.
We show that in general there does not exist an algorithm to decide whether the growth exponent of a codimension sequence of a variety defined by given finite sets of operations and identities is equal to a given rational number. In particular, we solve negatively a recent conjecture by Bremner and Dotsenko by showing that the set generating series of binary quadratic operads with bounded number of generators is infinite. Then we recall algorithms which in many cases calculate the codimension series in the form of a defining algebraic or differential equation. For a more general class of varieties, these algorithms give upper and lower bounds for the codimensions in terms of generating functions and asymptotical bounds for the growth of codimensions. The upper bound (based on an operadic version of the Golod--Shafarevich theorem) is just a formal power series satisfying an algebraic equation defined effectively by the generators and the identities of the variety. The first stage of an algorithm for the lower bound is the construction of a Groebner basis of the operad. If the Groebner basis happens to be finite and satisfies mild restrictions, a recent theorem by the author and Anton Khoroshkin guarantees that the desired generating function is either algebraic or differential algebraic. We describe algorithms producing such equations. In the case of infinite Groebner basis, these algorithms applied to its finite subsets give lower bounds for the generating function of the codimension sequence.
From generalized permutahedra to Grothendieck polynomials via flow polytopes
We study a family of dissections of flow polytopes arising from the subdivision algebra. To each dissection of a flow polytope, we associate a polynomial, called the left-degree polynomial, which we show is invariant of the dissection considered (proven independently by Grinberg). We prove that left-degree polynomials encode integer points of generalized permutahedra. Using that certain left-degree polynomials are related to Grothendieck polynomials, we resolve special cases of conjectures by Monical, Tokcan, and Yong regarding the saturated Newton polytope property of Grothendieck polynomials.
Supercongruences for rigid hypergeometric Calabi--Yau threefolds
Published in Adv. Math. 393 (2021) Article 108058
• View Publication
• BIB
We establish the supercongruences for the fourteen rigid hypergeometric Calabi--Yau threefolds over $\mathbb Q$ conjectured by Rodriguez-Villegas in 2003. Our first method is based on Dwork's theory of $p$-adic unit roots and it allows us to establish the supercongruences between the truncated hypergeometric series and the corresponding unit roots for ordinary primes. The other method makes use of the theory of hypergeometric motives, in particular, adapts the techniques from the recent work of Beukers, Cohen and Mellit on finite hypergeometric sums over $\mathbb Q$. Essential ingredients in executing the both approaches are the modularity of the underlying Calabi--Yau threefolds and a $p$-adic perturbation method applied to hypergeometric functions.
Spectral Radius and Hamiltonicity of graphs
Published
• View Publication
• BIB
In this paper, we study the Hamiltonicity of graphs with large minimum degree. Firstly, we present some conditions for a simple graph to be Hamilton-connected and traceable from every vertex in terms of the spectral radius of the graph or its complement respectively. Secondly, we give the conditions for a nearly balanced bipartite graph to be traceable in terms of spectral radius, signless Laplacian spectral radius of the graph or its quasi-complement respectively.
New bounds for Szemerédi's theorem, III: A polylogarithmic bound for $r_4(N)$
Published
• View Publication
• BIB
Define $r_4(N)$ to be the largest cardinality of a set $A \subset \{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that \[ r_4(N) \ll N(\log \log N)^{-c}\] for some absolute constant $c>0$. In 2005, the authors improved this to \[ r_4(N) \ll N e^{-c\sqrt{\log\log N}}.\] In this paper we further improve this to \[ r_4(N) \ll N(\log N)^{-c},\] which appears to be the limit of our methods.
Near-optimal linear decision trees for k-SUM and related problems
Published
• View Publication
• BIB
We construct near optimal linear decision trees for a variety of decision problems in combinatorics and discrete geometry. For example, for any constant $k$, we construct linear decision trees that solve the $k$-SUM problem on $n$ elements using $O(n \log^2 n)$ linear queries. Moreover, the queries we use are comparison queries, which compare the sums of two $k$-subsets; when viewed as linear queries, comparison queries are $2k$-sparse and have only $\{-1,0,1\}$ coefficients. We give similar constructions for sorting sumsets $A+B$ and for solving the SUBSET-SUM problem, both with optimal number of queries, up to poly-logarithmic terms.
Our constructions are based on the notion of "inference dimension", recently introduced by the authors in the context of active classification with comparison queries. This can be viewed as another contribution to the fruitful link between machine learning and discrete geometry, which goes back to the discovery of the VC dimension.
Incidence Choosability of Graphs
Published
• View Publication
• BIB
An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a mapping from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidence colouring has been introduced by Brualdi and Quinn Massey in 1993 and, since then, studied by several authors. In this paper, we introduce and study the list version of incidence colouring. We determine the exact value of -- or upper bounds on -- the incidence choice number of several classes of graphs, namely square grids, Halin graphs, cactuses and Hamiltonian cubic graphs.
Improved Spectral Clustering for Multi-Objective Controlled Islanding of Power Grid
Published
• View Publication
• BIB
We propose a two-step algorithm for optimal controlled islanding that partitions a power grid into islands of limited volume while optimizing several criteria: high generator coherency inside islands, minimum power flow disruption due to teared lines, and minimum load shedding. Several spectral clustering strategies are used in the first step to lower the problem dimension (taking into account coherency and disruption only), and CPLEX tools for the mixed-integer quadratic problem are employed in the second step to choose a balanced partition of the aggregated grid that minimizes a combination of coherency, disruption and load shedding. A greedy heuristic efficiently limits search space by generating starting solution for exact algorithm. Dimension of the second-step problem depends only on the desired number of islands K instead of the dimension of the original grid. The algorithm is tested on standard systems with 118, 2383, and 9241 nodes showing high quality of partitions and competitive computation time.
On The Number Of Unlabeled Bipartite Graphs
Published
• View Publication
• BIB
This paper solves a problem that was stated by M. A. Harrison in 1973~\cite{harrison1973number}. This problem, that has remained open since then is concerned with counting equivalence classes of $n\times r$ binary matrices under row and column permutations. Let $I$ and $O$ denote two sets of vertices, where $I\cap O =Φ$, $|I| = n$, $|O| = r$, and $B_u(n,r)$ denote the set of unlabeled graphs whose edges connect vertices in $I$ and $O$. Harrison established that the number of equivalence classes of $n\times r$ binary matrices is equal to the number of unlabeled graphs in $B_u(n,r).$ He also computed the number of such matrices (hence such graphs) for small values of $n$ and $r$ without providing an asymptotic formula $|B_u(n,r)|.$ Here, such an asymptotic formula is provided by proving the following two-sided equality using Polya's Counting Theorem.