Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Smooth centrally symmetric polytopes in dimension 3 are IDP
Published in Ann. Comb. 23 (2019), no. 2, 255-262
• View Publication
• BIB
In 1997 Oda conjectured that every smooth lattice polytope has the integer decomposition property. We prove Oda's conjecture for centrally symmetric $3$-dimensional polytopes, by showing they are covered by lattice parallelepipeds and unimodular simplices.
Persistent Homology and the Upper Box Dimension
Published
• View Publication
• BIB
We introduce a fractal dimension for a metric space defined in terms of the persistent homology of extremal subsets of that space. We exhibit hypotheses under which this dimension is comparable to the upper box dimension; in particular, the dimensions coincide for subsets of $\mathbb{R}^2$ whose upper box dimension exceeds $1.5.$ These results are related to extremal questions about the number of persistent homology intervals of a set of $n$ points in a metric space.
Asymptotic behavior of lifetime sums for random simplicial complex processes
Published in J. Math. Soc. Japan, Vol. 71, No.3 (2019), 765-804
• View Publication
• BIB
We study the homological properties of random simplicial complexes. In particular, we obtain the asymptotic behavior of lifetime sums for a class of increasing random simplicial complexes; this result is a higher-dimensional counterpart of Frieze's $ζ(3)$-limit theorem for the Erdős-Rényi graph process. The main results include solutions to questions posed in an earlier study by Hiraoka and Shirai about the Linial-Meshulam complex process and the random clique complex process. One of the key elements of the arguments is a new upper bound on the Betti numbers of general simplicial complexes in terms of the number of small eigenvalues of Laplacians on links. This bound can be regarded as a quantitative version of the cohomology vanishing theorem.
Goethals--Seidel difference families with symmetric or skew base blocks
Published in Math.Comput.Sci. (2018) 12:373-388
• View Publication
• BIB
We single out a class of difference families which is widely used in some constructions of Hadamard matrices and which we call Goethals--Seidel (GS) difference families. They consist of four subsets (base blocks) of a finite abelian group of order $v$, which can be used to construct Hadamard matrices via the well-known Goethals--Seidel array. We consider the special class of these families in cyclic groups, where each base block is either symmetric or skew. We omit the well-known case where all four blocks are symmetric. By extending previous computations by several authors, we complete the classification of GS-difference families of this type for odd $v<50$. In particular, we have constructed the first examples of so called good matrices, G-matrices and best matrices of order 43, and good matrices and G-matrices of order 45. We also point out some errors in one of the cited references.
Discriminants of classical quasi-orthogonal polynomials, with combinatorial and number-theoretic applications
Published
• View Publication
• BIB
We derive explicit formulas for the resultants and discriminants of classical quasi-orthogonal polynomials, as a full generalization of the results of Dilcher and Stolarsky (2005) and Gishe and Ismail (2008). We consider a certain system of Diophantine equations, originally designed by Hausdorff (1909) as a simplification of Hilbert's solution (1909) of Waring's problem, and then create the relationship to quadrature formulas and quasi-Hermite polynomials. We reduce these equations to the existence problem of rational points on a hyperelliptic curve associated with discriminants of quasi-Hermite polynomials, and thereby show a nonexistence theorem for solutions of Hausdorff-type equations.
On the enumeration of closures and environments with an application to random generation
Published in Logical Methods in Computer Science, Volume 15, Issue 4 (October 17, 2019) lmcs:4998
• View Publication
• BIB
Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables. In this paper we investigate some dynamic aspects of evaluation in lambda-calculus considering the quantitative, combinatorial properties of environments and closures. Focusing on two classes of environments and closures, namely the so-called plain and closed ones, we consider the problem of their asymptotic counting and effective random generation. We provide an asymptotic approximation of the number of both plain environments and closures of size $n$. Using the associated generating functions, we construct effective samplers for both classes of combinatorial structures. Finally, we discuss the related problem of asymptotic counting and random generation of closed environemnts and closures.
On the complexity of the outer-connected bondage and the outer-connected reinforcement problems
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is a dominating set of $G$ if every vertex not in $S$ is adjacent to a vertex in $S$. A set $\tilde{D} \subseteq V$ of a graph $G=(V,E) $ is called an outer-connected dominating set for $G$ if (1) $\tilde{D}$ is a dominating set for $G$, and (2) $G [V \setminus \tilde{D}]$, the induced subgraph of $G$ by $V \setminus \tilde{D}$, is connected. The minimum size among all outer-connected dominating sets of $G$ is called the outer-connected domination number of $G$ and is denoted by $\tildeγ_c(G)$. We define the outer-connected bondage number of a graph $G$ as the minimum number of edges whose removal from $G$ results in a graph with an outer-connected domination number larger than the one for $G$. Also, the outer-connected reinforcement number of a graph $G$ is defined as the minimum number of edges whose addition to $G$ results in a graph with an outer-connected domination number, which is smaller than the one for $G$. This paper shows that the decision problems for the outer-connected bondage and the outer-connected reinforcement numbers are $\mathbf{NP}$-hard. Also, the exact values of the bondage number are determined for several classes of graphs.
A version of the Loebl-Komlós-Sós conjecture for skewed trees
Loebl, Komlós, and Sós conjectured that any graph with at least half of its vertices of degree at least k contains every tree with at most k edges. We propose a version of this conjecture for skewed trees, i.e., we consider the class of trees with at most k edges such that the sizes of the colour classes of the trees have a given ratio. We show that our conjecture is asymptotically correct for dense graphs. The proof relies on the regularity method. Our result implies bounds on Ramsey number of several trees of given skew.
Some Ulam's reconstruction problems for quantum states
Published in J. Phys. A: Math. Theor. 51 435301 (2018)
• View Publication
• BIB
Provided a complete set of putative $k$-body reductions of a multipartite quantum state, can one determine if a joint state exists? We derive necessary conditions for this to be true. In contrast to what is known as the quantum marginal problem, we consider a setting where the labeling of the subsystems is unknown. The problem can be seen in analogy to Ulam's reconstruction conjecture in graph theory. The conjecture - still unsolved - claims that every graph on at least three vertices can uniquely be reconstructed from the set of its vertex-deleted subgraphs. When considering quantum states, we demonstrate that the non-existence of joint states can, in some cases, already be inferred from a set of marginals having the size of just more than half of the parties. We apply these methods to graph states, where many constraints can be evaluated by knowing the number of stabilizer elements of certain weights that appear in the reductions. This perspective links with constraints that were derived in the context of quantum error-correcting codes and polynomial invariants. Some of these constraints can be interpreted as monogamy-like relations that limit the correlations arising from quantum states. Lastly, we provide an answer to Ulam's reconstruction problem for generic quantum states.
Stirling Numbers in Braid Matroid Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials.
Flip Graphs, Yoke Graphs and Diameter
Published in Séminaire Lotharingien de Combinatoire 79 (2020): B79f
• Search Publication
In this paper we introduce Yoke graphs, a family of flip graphs that generalizes several previously studied families of graphs: colored triangle free triangulations, arc permutations and caterpillars. Our main result is the computation of the diameter of an arbitrary Yoke graph.
Algebraic formulas for the structure constants in symmetric functions
Littlewood-Richardson rule gives the decomposition formula for the multiplication of two Schur functions, while the decomposition formula for the multiplication of two Hall-Littlewood functions or two universal characters is also given by the combinatorial method. In this paper, using the vertex operator realizations of these symmetric functions, we construct the algebraic forms of these decomposition formulas.
Total perfect codes in graphs realized by commutative rings
Let $R$ be a commutative ring with unity not equal to zero and let $Γ(R)$ be a zero-divisor graph realized by $R$. For a simple, undirected, connected graph $G = (V, E)$, a {\it total perfect code} denoted by $C(G)$ in $G$ is a subset $C(G) \subseteq V(G)$ such that $|N(v) \cap C(G)| = 1$ for all $v \in V(G)$, where $N(v)$ denotes the open neighbourhood of a vertex $v$ in $G$. In this paper, we study total perfect codes in graphs which are realized as zero-divisor graphs. We show a zero-divisor graph realized by a local commutative ring with unity admits a total perfect code if and only if the graph has degree one vertices. We also show that if $Γ(R)$ is a regular graph on $|Z^*(R)|$ vertices, then $R$ is a reduced ring and $|Z^*(R)| \equiv 0(mod ~2)$, where $Z^*(R)$ is a set of non-zero zero-divisors of $R$. We provide a characterization for all commutative rings with unity of which the realized zero-divisor graphs admit total perfect codes. Finally, we determine the cardinality of a total perfect code in $Γ(R)$ and discuss the significance of the study of total perfect codes in graphs realized by commutative rings with unity.
The Hackbusch conjecture on tensor formats - part two
We prove a conjecture of W.~Hackbusch in a bigger generality than in our previous article. Here we consider Tensor Train (TT) model with an arbitrary number of leaves and a corresponding "almost binary tree" for Hierarchical Tucker (HT) model, i.e. the deepest tree with the same number of leaves. Our main result is an algorithm that computes the flattening rank of a generic tensor in a Tensor Network State (TNS) model on a given tree with respect to any flattening coming from combinatorics of the space. The methods also imply that the tensor rank (which is also called CP-rank) of most tensors in a TNS model grows exponentially with the growth of the number of leaves for any shape of the tree.
On indicated coloring of some classes of graphs
Published
• View Publication
• BIB
Indicated coloring is a type of game coloring in which two players collectively color the vertices of a graph in the following way. In each round the first player (Ann) selects a vertex, and then the second player (Ben) colors it properly, using a fixed set of colors. The goal of Ann is to achieve a proper coloring of the whole graph, while Ben is trying to prevent the realization of this project. The smallest number of colors necessary for Ann to win the game on a graph $G$ (regardless of Ben's strategy) is called the indicated chromatic number of $G$, denoted by $χ_i(G)$. In this paper, we obtain structural characterization of connected $\{P_5,K_4,Kite,Bull\}$-free graphs which contains an induced $C_5$ and connected $\{P_6,C_5, K_{1,3}\}$-free graphs that contains an induced $C_6$. Also, we prove that $\{P_5,K_4,Kite,Bull\}$-free graphs that contains an induced $C_5$ and $\{P_6,C_5,\overline{P_5}, K_{1,3}\}$-free graphs which contains an induced $C_6$ are $k$-indicated colorable for all $k\geqχ(G)$. In addition, we show that $\mathbb{K}[C_5]$ is $k$-indicated colorable for all $k\geqχ(G)$ and as a consequence, we exhibit that $\{P_2\cup P_3, C_4\}$-free graphs, $\{P_5,C_4\}$-free graphs are $k$-indicated colorable for all $k\geqχ(G)$. This partially answers one of the questions which was raised by A. Grzesik in \cite{and}.
Characterization of finite metric space by their isometric sequences
Let $(X,d)$ be a finite metric space with $|X|=n$. For a positive integer $k$ we define $A_k(X)$ to be the quotient set of all $k$-subsets of $X$ by isometry, and we denote $|A_k(X)|$ by $a_k$. The sequence $(a_1,a_2,\ldots,a_{n})$ is called the isometric sequence of $(X,d)$. In this article we aim to characterize finite metric spaces by their isometric sequences under one of the following assumptions: (i) $a_k=1$ for some $k$ with $2\leq k\leq n-2$; (ii) $a_k=2$ for some $k$ with $4\leq k\leq \frac{1+\sqrt{1+4n}}{2}$; (iii) $a_3=2$; (iv) $a_2=a_3=3$. Furthermore, we give some criterion on how to embed such finite metric spaces to Euclidean spaces. We give some maximum cardinalities of subsets in the $d$-dimensional Euclidean space with small $a_3$, which are analogue problems on a sets with few distinct triangles discussed by Epstein, Lott, Miller and Palsson.
Characterization of finite colored spaces with certain conditions
A colored space is the pair $(X,r)$ of a set $X$ and a function $r$ whose domain is $\binom{X}{2}$. Let $(X,r)$ be a finite colored space and $Y,Z\subseteq X$. We shall write $Y\simeq_r Z$ if there exists a bijection $f:Y\to Z$ such that $r(U)=r(f(U))$ for each $U\in\binom{Y}{2}$. We denote the numbers of equivalence classes with respect to $\simeq_r$ contained in $\binom{X}{2}$ and $\binom{X}{3}$ by $a_2(r)$ and $a_3(r)$, respectively. In this paper we prove that $a_2(r)\leq a_3(r)$ when $5\leq |X|$, and show what happens when the equality holds.
Common factors in automatic and Sturmian sequences
In this short note we show that a k-automatic sequence and a Sturmian sequence cannot have arbitrarily large factors in common.
An $L^2$-identity and pinned distance problem
Published in Geom. Funct. Anal. 29 (2019), no. 1, 283-294
• View Publication
• BIB
Let $μ$ be a Frostman measure on $E\subset\mathbb{R}^d$. The spherical average decay $$\int_{S^{d-1}}|\widehatμ(rω)|^2\,dω\lesssim r^{-β} $$ was originally used to attack Falconer distance conjecture, via Mattila's integral. In this paper we consider the pinned distance problem, a stronger version of Falconer distance problem, and show that spherical average decay implies the same dimensional threshold on both of them. In particular, with the best known spherical average estimates, we improve Peres-Schlag's result on pinned distance problem significantly.
The idea is to reduce the pinned distance problem to an integral where spherical averages apply. The key ingredient is the following identity. Using a group action argument, we show that for any Schwartz function $f$ on $\mathbb{R}^d$ and any $x\in\mathbb{R}^d$, $$\int_0^\infty |ω_t*f(x)|^2\,t^{d-1}dt\,=\int_0^\infty|\widehat{ω_r}*f(x)|^2\,r^{d-1}dr,$$ where $ω_r$ is the normalized surface measure on $r S^{d-1}$. An interesting remark is that the right hand side can be easily seen equal to $$c_d\int\left|D_x^{-\frac{d-1}{2}}e^{-2πi t\sqrt{-Δ}}f(x)\right|^2\,dt=c_d'\int\left|D_x^{-\frac{d-2}{2}}e^{2πi tΔ}f(x)\right|^2\,dt.$$ An alternative derivation of Mattila's integral via group actions is also given in the Appendix.
How many randomly colored edges make a randomly colored dense graph rainbow hamiltonian or rainbow connected?
Published
• View Publication
• BIB
In this paper we study the randomly edge colored graph that is obtained by adding randomly colored random edges to an arbitrary randomly edge colored dense graph. In particular we ask how many colors and how many random edges are needed so that the resultant graph contains a fixed number of edge disjoint rainbow Hamilton cycles. We also ask when in the resultant graph every pair of vertices is connected by a rainbow path.