Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Depth with respect to a family of convex sets
We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $\text{dep}_\mathcal{F}$. We begin showing that $\text{dep}_\mathcal{F}$ satisfies some expected properties for a measure of depth and that this definition is closely related to the notion of depth proposed by J. Tukey. We show that some properties of Tukey depth extend to $\text{dep}_\mathcal{F}$ and we point out some key differences.
We then focus on the following centerpoint-type question: what is the best depth $α_{d,k}$ that we can guarantee under the hypothesis that the family $\mathcal{F}$ is $k$-intersecting? We show a key connection between this problem and a purely combinatorial problem on hitting sets. The relationship is useful in both directions. On the one hand, for values of $k$ close to $d$ the combinatorial interpretation gives a good bound for $k$. On the other hand, for low values of $k$ we can use the classic Rado's centerpoint theorem to get combinatorial results of independent interest. For intermediate values of $k$ we present a probabilistic framework to improve the bounds and illustrate its use in the case $k\approx d/2$. These results can be though of as an interpolation between Helly's theorem and Rado's centerpoint theorem.
As an application of these results we find a Helly-type theorem for fractional hyperplane transversals. We also give an alternative and simpler proof for a transversal result of A. Holmsen.
Coloring problem of signed interval graphs
The chromatic number of signed graphs is defined recently. The coloring and clique problem of interval graphs has been studied and polynomial time algorithms are established. Here we consider these problems for signed interval graphs and prove that the coloring problem of signed interval graphs is NP-complete whereas their ordinary clique problem is in P. We also study the complexity of further related problems.
A Note on Some Recent Results for the Bernoulli Numbers of the Second Kind
Published in Journal of Integer Sequences, vol. 20, no. 3, Article 17.3.8, pp. 1-7, 2017
• Search Publication
In a recent issue of the Bulletin of the Korean Mathematical Society, Qi and Zhang discovered an interesting integral representation for the Bernoulli numbers of the second kind (also known as Gregory's coefficients, Cauchy numbers of the first kind, and the reciprocal logarithmic numbers). The same representation also appears in many other sources, either with no references to its author, or with references to various modern researchers. In this short note, we show that this representation is a rediscovery of an old result obtained in the XIXth century by Ernst Schröder. We also demonstrate that the same integral representation may be readily derived by means of complex integration. Moreover, we discovered that the asymptotics of these numbers were also the subject of several rediscoveries, including very recent ones. In particular, the first-order asymptotics, which are usually (and erroneously) credited to Johan F. Steffensen, actually date back to the mid-XIXth century, and probably were known even earlier.
The isoperimetric number of the incidence graph of PG(n,q)
Published in Electronic Journal of Combinatorics 25.3 (2018), 3-20
• View Publication
• BIB
Let $Γ_{n,q}$ be the point-hyperplane incidence graph of the projective space $\operatorname{PG}(n,q)$, where $n \ge 2$ is an integer and $q$ a prime power. We determine the order of magnitude of $1-i_V(Γ_{n,q})$, where $i_V(Γ_{n,q})$ is the vertex-isoperimetric number of $Γ_{n,q}$. We also obtain the exact values of $i_V(Γ_{2,q})$ and the related incidence-free number of $Γ_{2,q}$ for $q \le 16$.
Polychromatic colorings of complete graphs with respect to 1-,2-factors and Hamiltonian cycles
Published
• View Publication
• BIB
If G is a graph and H is a set of subgraphs of G, then an edge-coloring of G is called H-polychromatic if every graph from H gets all colors present in G on its edges. The H-polychromatic number of G, denoted poly_H(G), is the largest number of colors in an H-polychromatic coloring. In this paper, poly_H(G) is determined exactly when G is a complete graph and H is the family of all 1-factors. In addition poly_H(G) is found up to an additive constant term when G is a complete graph and H is the family of all 2-factors, or the family of all Hamiltonian cycles.
A counterexample to a strong variant of the Polynomial Freiman-Ruzsa conjecture in Euclidean space
Published in Discrete Analysis, 2017:8
• View Publication
• BIB
The Polynomial Freiman-Ruzsa conjecture is one of the central open problems in additive combinatorics. If true, it would give tight quantitative bounds relating combinatorial and algebraic notions of approximate subgroups. In this note, we restrict our attention to subsets of Euclidean space. In this regime, the original conjecture considers approximate algebraic subgroups as the set of lattice points in a convex body. Green asked in 2007 whether this can be simplified to a generalized arithmetic progression, while not losing more than a polynomial factor in the underlying parameters. We give a negative answer to this question, based on a recent reverse Minkowski theorem combined with estimates for random lattices.
Three pearls of Bernoulli numbers
The Bernoulli numbers are fascinating and ubiquitous numbers, they occur in several domains of Mathematics like Number theory (FLT), Group theory, Calculus and even in Physics. Since Bernoulli's work, they are yet studied to understand their deep nature and particularly to find relationships between them. In this paper, we give, firstly, a short response to a problem stated, in 1971, by Carlitz and studied by many authors like Prodinger \cite{PRO}, the second pearl is an answer to a question raised, in 2008, by Tom Apostol .The third pearl is another proof of a relationship already given in 2011, by the authors.
W-Operator and Differential Equation for 3-Hurwitz Number
We consider a new type of Hurwitz number, the number of ordered transitive factorizations of an arbitrary permutation into d-cycles. In this paper, we focus on the special case d = 3. The minimal number of transitive factorizations of any permutation into 3-cycles has been worked out by David, Goulden and Jackson. Also, such factorizations for transpositions, the case d = 2, have been considered by Crescimanno and Taylor. Goulden and Jackson have proved the differential equation for the generating series of simple Hurwitz numbers. Based on their results, we use W-operator to prove a differential equation for the generating function of the new type Hurwitz number.
Kochen-Specker sets and Hadamard matrices
Published in Theoretical Computer Science 800 (2019), 142-145
• View Publication
• BIB
We introduce a new class of complex Hadamard matrices which have not been studied previously. We use these matrices to construct a new infinite family of parity proofs of the Kochen-Specker theorem. We show that the recently discovered simple parity proof of the Kochen-Specker theorem is the initial member of this infinite family.
A sextuple equidistribution arising in Pattern Avoidance
Published
• View Publication
• BIB
We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.
Equivalence of the Generalized Zhang-Zhang Polynomial and the Generalized Cube Polynomial
In this paper we study the resonance graphs of benzenoid systems, tubulenes, and fullerenes. The resonance graph reflects the interactions between the Kekul e structures of a molecule. The equivalence of the Zhang-Zhang polynomial (which counts Clar covers) of the molecular graph and the cube polynomial (which counts hypercubes) of its resonance graph is known for all three families of molecular graphs.
Instead of considering only interactions between 6-cycles (Clar covers), we also consider 10-cycles, which contribute to the resonance energy of a molecule as well. Therefore, we generalize the concepts of the Zhang-Zhang polynomial and the cube polynomial and prove the equality of these two polynomials.
Classification of 2-extendable bipartite and cubic non-bipartite vertex-transitive graphs
In \cite{Chan95}, the authors classified the 2-extendable abelian Cayley graphs and posed the problem of characterizing all 2-extendable Cayley graphs. We first show that a connected bipartite Cayley (vertex-transitive) graph is 2-extendable if and only if it is not a cycle. It is known that a non-bipartite Cayley (vertex-transitive) graph is 2-extendable when it is of minimum degree at least five \cite{sun}. We next classify all 2-extendable cubic non-bipartite Cayley graphs and obtain that: a cubic non-bipartite Cayley graph with girth $g$ is 2-extendable if and only if $g\geq 4$ and it doesn't isomorphic to $Z_{4n}(1,4n-1,2n)$ or $Z_{4n+2}(2,4n,2n+1)$ with $n\geq 2$. Indeed, we prove a more stronger result that a cubic non-bipartite vertex-transitive graph with girth $g$ is 2-extendable if and only if $g\geq 4$ and it doesn't isomorphic to $Z_{4n}(1,4n-1,2n)$ or $Z_{4n+2}(2,4n,2n+1)$ with $n\geq 2$ or the Petersen graph.
Some Counterexamples for Compatible Triangulations
We consider the conjecture by Aichholzer, Aurenhammer, Hurtado, and Krasser that any two points sets with the same cardinality and the same size convex hull can be triangulated in the "same" way, more precisely via \emph{compatible triangulations}. We show counterexamples to various strengthened versions of this conjecture.
A Plancherel measure associated to set partitions and its limit
Published
• View Publication
• BIB
In recent years increasing attention has been paid on the area of supercharacter theories, especially to those of the upper unitriangular group. A particular supercharacter theory, in which supercharacters are indexed by set partitions, has several interesting properties, which make it object of further study. We define a natural generalization of the Plancherel measure, called superplancherel measure, and prove a limit shape result for a random set partition according to this distribution. We also give a description of the asymptotical behavior of two set partition statistics related to the supercharacters. The study of these statistics when the set partitions are uniformly distributed has been done by Chern, Diaconis, Kane and Rhoades.
Generalized Algorithm for Wythoff's Game with Basis Vector $(2^b,2^b)$
Wythoff's Game is a variation of Nim in which players may take an equal number of stones from each pile or make valid Nim moves. W. A. Wythoff proved that the set of P-Positions (losing position), $C$, for Wythoff's Game is given by $C := \left\{ (\lfloor kφ\rfloor, \lfloor kφ^2 \rfloor), (\lfloor kφ^2 \rfloor, \lfloor kφ\rfloor) : k \in \mathbb Z_{\geq 0} \right\}$. An open Wythoff problem remains where players make the valid Nim moves or remove $kb$ stones from each pile, where $b$ is a fixed integer. We denote this as the $(b,b)$ game. For example, regular Wythoff's Game is just the $(1,1)$ game. In 2009, Duch${ê}$ne and Gravier proved an algorithm to generate the set of P-Positions for the $(2,2)$ game by exploiting the periodic nature of the differences of stones between the two piles modulo $4$. We observe similar cyclic behaviour for any $b$, where $b$ is a power of $2$, modulo $b^2$, and construct an algorithm to generate the set of P-Positions for this game. Let $a$ be a power of $2$. We prove our algorithm works by first showing that it holds for the first $a^2$ terms in the $(a,a)$ game. Next, we construct an ordered multiset for the $(2a,2a)$ game from the $a^2$ terms, and an inductive proof follows. Moreover, we conjecture that all cyclic games require $a$ to be a power of $2$, suggesting that there is no similar structure in the generalised $(b,b)$ game where $b$ isn't a power of $2$. Future directions for generalising this result would likely utilise numeration systems, particularly the PV numbers.
Spectrally arbitrary pattern extensions
Published
• View Publication
• BIB
A matrix pattern is often either a sign pattern with entries in {0,+,-} or, more simply, a nonzero pattern with entries in {0,*}. A matrix pattern A is spectrally arbitrary if for any choice of a real matrix spectrum, there is a real matrix having the pattern A and the chosen spectrum. We describe a graphical technique, a triangle extension, for constructing spectrally arbitrary patterns out of some known lower order spectrally arbitrary patterns. These methods provide a new way of viewing some known spectrally arbitrary patterns, as well as providing many new families of spectrally arbitrary patterns. We also demonstrate how the technique can be applied to certain inertially arbitrary patterns to obtain larger inertially arbitrary patterns. We then provide an additional extension method for zero-nonzero patterns.
Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules
Published in Journal of Algebra and Its Applications, Vol. 16, No. 11 (2017), 42 pp
• View Publication
• BIB
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus, $\mathscr U_k (H)$ is the union of all sets of lengths containing $k$).
The Structure Theorem for Unions states that, for all sufficiently large $k$, the sets $\mathscr U_k (H)$ are almost arithmetical progressions with the same difference and global bound. We present a new approach to this result in the framework of arithmetic combinatorics, by deriving, for suitably defined families of subsets of the non-negative integers, a characterization of when the Structure Theorem holds.
This abstract approach allows us to verify, for the first time, the Structure Theorem for a variety of possibly non-cancellative semigroups, including semigroups of (not necessarily invertible) ideals and semigroups of modules. Furthermore, we provide the very first example of a semigroup (actually, a locally tame Krull monoid) that does not satisfy the Structure Theorem.
Geometric Decomposition of Feed Forward Neural Networks
There have been several attempts to mathematically understand neural networks and many more from biological and computational perspectives. The field has exploded in the last decade, yet neural networks are still treated much like a black box. In this work we describe a structure that is inherent to a feed forward neural network. This will provide a framework for future work on neural networks to improve training algorithms, compute the homology of the network, and other applications. Our approach takes a more geometric point of view and is unlike other attempts to mathematically understand neural networks that rely on a functional perspective.
Limits of random tree-like discrete structures
Published
• View Publication
• BIB
We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence around fixed and random points in this general context, limit theorems for component sizes when $\mathcal{R}$ is a composite class, and a Gromov--Hausdorff scaling limit of random metric spaces patched together from independently drawn metrics on the $\mathcal{R}$-structures. Our main applications treat a selection of examples encompassed by this model. We consider random outerplanar maps sampled according to arbitrary weights assigned to their inner faces, and classify in complete generality distributional limits for both the asymptotic local behaviour near the root-edge and near a uniformly at random drawn vertex. We consider random connected graphs drawn according to weights assigned to their blocks and establish a Benjamini--Schramm limit. We also apply our framework to recover in a probabilistic way a central limit theorem for the size of the largest $2$-connected component in random graphs from planar-like classes. We prove Benjamini--Schramm convergence of random $k$-dimensional trees and establish both scaling limits and local weak limits for random planar maps drawn according to Boltzmann-weights assigned to their $2$-connected components.
Tropical Computations in polymake
Published in Algorithmic and experimental methods in algebra, geometry, and number theory, 361-385, Springer, Cham, 2017
• View Publication
• BIB
We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of tropical plane curves, tropical linear spaces and Grassmannians, lines on tropical cubic surfaces as well as intersection rings of matroids