Showing 20 papers (Total: 83076 papers, 47999 authors in database)
High order free hyperplane arrangements in 3-dimensional vector spaces
Holm introduced $m$-free $\ell$-arrangements which is a generalization of free arrangements, while he asked whether all $\ell$-arrangements are $m$-free for $m$ large enough. Recently Abe and the author verified that this question is in the negative when $\ell\geq 4$. In this paper we verify that $3$-arrangements $\mathscr{A}$ are $m$-free and compute the $m$-exponents for all $m\geq |\mathscr{A}|+2$, where $|\mathscr{A}|$ is the cardinality of $\mathscr{A}$. Hence Holm's question is in the positive when $\ell=3$. Finally we prove that $3$-dimensional Weyl arrangements of types A and B are $m$-free for all $m\geq 0$.
The united proofs for three $q$-extensions of Dougall's $_2H_2$ summation formula
In terms of the analytic continuation method, we give the united proofs for three $q$-extensions of Dougall's $_2H_2$ summation formula. Some related results are also discussed in this paper.
A Probabilistic Two-Pile Game
We consider a game with two piles, in which two players take turn to add $a$ or $b$ chips ($a$, $b$ are not necessarily positive) randomly and independently to their respective piles. The player who collects $n$ chips first wins the game. We derive general formulas for $p_n$, the probability of the second player winning the game by collecting $n$ chips first and show the calculation for the cases $\{a,b\}$ = $\{-1,1\}$ and $\{-1,2\}$. The latter case was asked by Wong and Xu \cite{WX}. At the end, we derive the general formula for $p_{n_1,n_2}$, the probability of the second player winning the game by collecting $n_2$ chips before the first player collects $n_1$ chips.
On Eisenstein polynomials and zeta polynomials II
Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In the previous paper, the first author provided new analogous properties of Eisenstein polynomials and zeta polynomials for the Type II case. In this paper, the analogous properties of Eisenstein polynomials and zeta polynomials are shown to also hold for the Type I, Type III, and Type IV cases. These properties are finite analogies of certain properties of Eisenstein series.
Optimal proper connection of graphs
An edge-colored graph $G$ is called properly colored if no two adjacent edges share a color in $G$. An edge-colored connected graph $G$ is called properly connected if between every pair of distinct vertices, there exists a path that is properly colored. In this paper, we discuss how to make a connected graph properly connected efficiently. More precisely, we consider the problem to convert a given monochromatic graph into properly connected by recoloring $p$ edges with $q$ colors so that $p+q$ is as small as possible. We discuss how this can be done efficiently for some restricted graphs, such as trees, complete bipartite graphs and graphs with independence number $2$.
A 3-regular matchstick graph of girth 5 consisting of 54 vertices
Published in Geombinatorics Quarterly Vol. XXIX, Nr. 3 (2020), Pages 116-121
• Search Publication
In 2010 it was proved that a 3-regular matchstick graph of girth 5 must consist at least of 30 vertices. The smallest known example consisted of 180 vertices. In this article we construct an example consisting of 54 vertices and prove its geometrical correctness.
Two generalizations of Markov blankets
In a probabilistic graphical model on a set of variables $V$, the Markov blanket of a random vector $B$ is the minimal set of variables conditioned to which $B$ is independent from the remaining of the variables $V \backslash B$. We generalize Markov blankets to study how a set $C$ of variables of interest depends on~$B$. Doing that, we must choose if we authorize vertices of $C$ or vertices of $V \backslash C$ in the blanket. We therefore introduce two generalizations. The Markov blanket of $B$ in $C$ is the minimal subset of $C$ conditionally to which $B$ and $C$ are independent. It is naturally interpreted as the inner boundary through which $C$ depends on $B$, and finds applications in feature selection. The Markov blanket of $B$ in the direction of $C$ is the nearest set to $B$ among the minimal sets conditionally to which ones $B$ and $C$ are independent, and finds applications in causality. It is the outer boundary of $B$ in the direction of $C$. We provide algorithms to compute them that are not slower than the usual algorithms for finding a d-separator in a directed graphical model. All our definitions and algorithms are provided for directed and undirected graphical models.
Zero-sum subsets of decomposable sets in Abelian groups
A subset $D$ of an Abelian group is $decomposable$ if $\emptyset\ne D\subset D+D$. In the paper we give partial answer to an open problem asking whether every finite decomposable subset $D$ of an Abelian group contains a non-empty subset $Z\subset D$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a decomposable subset $D$ of cardinality $|D|=n$ in the cyclic group of order $2^n-1$ such that $\sum D=0$, but $\sum T\ne 0$ for any proper non-empty subset $T\subset D$. On the other hand, we prove that every decomposable subset $D\subset\mathbb R$ of cardinality $|D|\le 7$ contains a non-empty subset $Z\subset D$ of cardinality $|Z|\le\frac12|D|$ with $\sum Z=0$. For every $n\in\mathbb N$ we present a subset $D\subset\mathbb Z$ of cardinality $|D|=2n$ such that $\sum Z=0$ for some subset $Z\subset D$ of cardinality $|Z|=n$ and $\sum T\ne 0$ for any non-empty subset $T\subset D$ of cardinality $|T|<n=\frac12|D|$. Also we prove that every finite decomposable subset $D$ of an Abelian group contains two non-empty subsets $A,B$ such that $\sum A+\sum B=0$.
Complexity of packing common bases in matroids
One of the most intriguing unsolved questions of matroid optimization is the characterization of the existence of $k$ disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases, such as Woodall's conjecture on packing disjoint dijoins in a directed graph, or Rota's beautiful conjecture on rearrangements of bases.
In the present paper we prove that the problem is difficult under the rank oracle model, i.e., we show that there is no algorithm which decides if the common ground set of two matroids can be partitioned into $k$ common bases by using a polynomial number of independence queries. Our complexity result holds even for the very special case when $k=2$.
Through a series of reductions, we also show that the abstract problem of packing common bases in two matroids includes the NAE-SAT problem and the Perfect Even Factor problem in directed graphs. These results in turn imply that the problem is not only difficult in the independence oracle model but also includes NP-complete special cases already when $k=2$, one of the matroids is a partition matroid, while the other matroid is linear and is given by an explicit representation.
The 5-Way Scale
In this paper, we discuss coin-weighing problems that use a 5-way scale which has five different possible outcomes: MUCH LESS, LESS, EQUAL, MORE, and MUCH MORE. The 5-way scale provides more information than the regular 3-way scale. We study the problem of finding two fake coins from a pile of identically looking coins in a minimal number of weighings using a 5-way scale. We discuss similarities and differences between the 5-way and 3-way scale. We introduce a strategy for a 5-way scale that can find both counterfeit coins among $2^k$ coins in $k+1$ weighings, which is better than any strategy for a 3-way scale.
Expected value of the one-dimensional Earth Mover's Distance
Published in Alg. Stat. 11 (2020) 53-78
• View Publication
• BIB
From a combinatorial point of view, we consider the Earth Mover's Distance (EMD) associated with a metric measure space. The specific case considered is deceptively simple: Let the finite set [n] = {1,...,n} be regarded as a metric space by restricting the usual Euclidean distance on the real numbers. The EMD is defined on ordered pairs of probability distributions on [n]. We provide an easy method to compute a generating function encoding the values of EMD in its coefficients, which is related to the Segre embedding from projective algebraic geometry. As an application we use the generating function to compute the expected value of EMD in this one-dimensional case. The EMD is then used in clustering analysis for a specific data set.
(Re)constructing Code Loops
Published in American Mathematical Monthly 128 Issue 2 (2021) 151-161
• View Publication
• BIB
The Moufang loop named for Richard Parker is a central extension of the extended binary Golay code. It the prototypical example of a general class of nonassociative structures known today as code loops, which have been studied from a number of different algebraic and combinatorial perspectives. This expository article aims to highlight an experimental approach to computing in code loops, by a combination of a small amount of precomputed information and making use of the rich identities that code loops' twisted cocycles satisfy. As a byproduct we demonstrate that one can reconstruct the multiplication in Parker's loop from a mere fragment of its twisted cocycle. We also give relatively large subspaces of the Golay code over which Parker's loop splits as a direct product.
On semi-transitive orientability of Kneser graphs and their complements
An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no edge between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an edge for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs include several important classes of graphs such as 3-colorable graphs, comparability graphs, and circle graphs, and they are precisely the class of word-representable graphs studied extensively in the literature.
In this paper, we study semi-transitive orientability of the celebrated Kneser graph $K(n,k)$, which is the graph whose vertices correspond to the $k$-element subsets of a set of $n$ elements, and where two vertices are adjacent if and only if the two corresponding sets are disjoint. We show that for $n\geq 15k-24$, $K(n,k)$ is not semi-transitive, while for $k\leq n\leq 2k+1$, $K(n,k)$ is semi-transitive. Also, we show computationally that a subgraph $S$ on 16 vertices and 36 edges of $K(8,3)$, and thus $K(8,3)$ itself on 56 vertices and 280 edges, is non-semi-transitive. $S$ and $K(8,3)$ are the first explicit examples of triangle-free non-semi-transitive graphs, whose existence was established via Erdős' theorem by Halldórsson et al. in 2011. Moreover, we show that the complement graph $\overline{K(n,k)}$ of $K(n,k)$ is semi-transitive if and only if $n\geq 2k$.
Note on the diversity of intersecting families
Let $n=2k+1$ be odd with $k\geq3$. In this note, we give two intersecting families with diversity larger than $\sum_{i=k+1}^{2k} \binom {2k}{i}$, which disprove a conjecture of Huang.
The covering radius and a discrete surface area for non-hollow simplices
Published in Discrete Comput. Geom., 67 (2022), 65-111
• View Publication
• BIB
We explore upper bounds on the covering radius of non-hollow lattice polytopes. In particular, we conjecture a general upper bound of $d/2$ in dimension $d$, achieved by the "standard terminal simplices" and direct sums of them. We prove this conjecture up to dimension three and show it to be equivalent to the conjecture of González-Merino \& Schymura (2017) that the $d$-th covering minimum of the standard terminal $n$-simplex equals $d/2$, for every $n>d$.
We also show that these two conjectures would follow from a discrete analog for lattice simplices of Hadwiger's formula bounding the covering radius of a convex body in terms of the ratio of surface area versus volume. To this end, we introduce a new notion of discrete surface area of non-hollow simplices. We prove our discrete analog in dimension two and we give strong evidence for its validity in arbitrary dimension.
Colouring Non-Even Digraphs
A colouring of a digraph as defined by Erdos and Neumann-Lara in 1980 is a vertex-colouring such that no monochromatic directed cycles exist. The minimal number of colours required for such a colouring of a loopless digraph is defined to be its dichromatic number. This quantity has been widely studied in the last decades and can be considered as a natural directed analogue of the chromatic number of a graph. A digraph D is called even if for every 0-1-weighting of the edges it contains a directed cycle of even total weight. We show that every non-even digraph has dichromatic number at most 2 and an optimal colouring can be found in polynomial time. We strengthen a previously known NP-hardness result by showing that deciding whether a directed graph is 2-colourable remains NP-hard even if it contains a feedback vertex set of bounded size.
Signed partitions - A balls into urns approach
Using Reiner's definition of Stirling numbers of type B of the second kind, we provide a 'balls into urns' approach for proving a generalization of a well-known identity concerning the classical Stirling numbers of the second kind: $x^n=\sum\limits_{k=0}^n{S(n,k)[x]_k}.$
The new dinv is not so new
Published
• View Publication
• BIB
In (Duane, Garsia, Zabrocki 2013) the authors introduced a new dinv statistic, denoted ndinv, on the two part case of the shuffle conjecture (Haglund et al. 2005) in order to prove a compositional refinement. Though in (Hicks, Kim 2013) a non-recursive (but algorithmic) definition of ndinv has been given, this statistic still looks a bit unnatural. In this paper we "unveil the mystery" around the ndinv, by showing bijectively that the ndinv actually matches the usual dinv statistic in a special case of the generalized Delta conjecture in (Haglund, Remmel, Wilson 2018). Moreover, we give also a non-compositional proof of the "$ehh$" case of the shuffle conjecture (after (Garsia, Xin, Zabrocki 2014)) by bijectively proving a relation with the two part case of the Delta conjecture.
On the rank (nullity) of a connected graph
The rank $r(G)$ of a graph $G$ is the rank of its adjacency matrix $A(G)$ and the nullity $η(G)$ of $G$ is the multiplicity of $0$ as an eigenvalue of $A(G)$. In this paper, we prove that if $G$ is a connected graph of order $n$ with rank $r$, then $G$ contains a nonsingular connected induced subgraph of order $r$. As an application of the result, we completely solve the following problem posed by Zhou, Wong and Sun in [Linear Algebra and its Applications, 555 (2018) 314-320]: Let $G$ be a connected graph of order $n$ with nullity $η(G)$ and the maximum degree $Δ$. Then $$η(G)\le\frac{(Δ-2)n+2}{Δ-1},$$
the equality holds if and only if $G\cong C_n$ ($n\equiv 0$ $(mod\ 4)$) or $G\cong K_{Δ, Δ}$.
Measurable Hall's theorem for actions of abelian groups
We prove a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. In particular, it implies that for free measure-preserving actions of such groups, if two equidistributed measurable sets are equidecomposable, then they are equidecomposable using measurable pieces. The latter generalizes a recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring and confirms a special case of a conjecture of Gardner.