Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Congruences related to Miki's identity
Given an odd prime p, we present three independent ways of relating modulo p certain truncated convolutions of divided Bernoulli numbers to certain full convolutions of divided Bernoulli numbers.
Graphs with no induced house nor induced hole have the de Bruijn-Erdős property
Published
• View Publication
• BIB
A set of n points in the plane which are not all collinear defines at least n distinct lines. Chen and Chvátal conjectured in 2008 that a similar result can be achieved in the broader context of finite metric spaces. This conjecture remains open even for graph metrics. In this article we prove that graphs with no induced house nor induced cycle of length at least~5 verify the desired property. We focus on lines generated by vertices at distance at most 2, define a new notion of ``good pairs'' that might have application in larger families, and finally use a discharging technique to count lines in irreducible graphs.
Partial and global representations of finite groups
Published in Algebr Represent Theor (2022)
• View Publication
• BIB
Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of permutations fixing 1: this provides a natural extension of the classical representation theory of the symmetric group.
Decidability and k-Regular Sequences
Published
• View Publication
• BIB
In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a deterministic finite automaton) of preimages, and - factors, such as squares and palindromes of such sequences. We show that the decision problems are undecidable.
On the closed Ramsey numbers $R^{cl}(ω+n,3)$
Published
• View Publication
• BIB
In this paper, we contribute to the study of topological partition relations for pairs of countable ordinals and prove that, for all integers $n \geq 3$, \begin{align*} R^{cl}(ω+n,3) &\geq ω^2 \cdot n + ω\cdot (R(n,3)-n)+n\\ R^{cl}(ω+n,3) &\leq ω^2 \cdot n + ω\cdot (R(2n-3,3)+1)+1 \end{align*} where $R^{cl}(\cdot,\cdot)$ and $R(\cdot,\cdot)$ denote the closed Ramsey numbers and the classical Ramsey numbers respectively. We also establish the following asymptotically weaker upper bound \[ R^{cl}(ω+n,3) \leq ω^2 \cdot n + ω\cdot (n^2-4)+1\] eliminating the use of Ramsey numbers. These results improve the previously known upper and lower bounds.
Large facing tuples and a strengthened sector lemma
Published in Tunisian J. Math. 4 (2022) 55-86
• View Publication
• BIB
We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact CAT(0) cube complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every quarterspace contains a halfspace. In aid of this, we present simplified proofs of known results about loxodromic isometries of the contact graph, avoiding the use of disc diagrams.
This paper has an expository element; in particular, we collect results about cube complexes proved by combining Ramsey's theorem and Dilworth's theorem. We illustrate the use of these tricks with a discussion of the Tits alternative for cubical groups, and ask some questions about "quantifying" statements related to rank-rigidity and the Tits alternative.
Growth of bilinear maps
Published in Linear Algebra and its Applications, Volume 624, 2021, Pages 198-213
• View Publication
• BIB
For a bilinear map $*:\mathbb R^d\times \mathbb R^d\to \mathbb R^d$ of nonnegative coefficients and a vector $s\in \mathbb R^d$ of positive entries, among an exponentially number of ways combining $n$ instances of $s$ using $n-1$ applications of $*$ for a given $n$, we are interested in the largest entry over all the resulting vectors. An asymptotic behavior is that the $n$-th root of this largest entry converges to a growth rate $λ$ when $n$ tends to infinity. In this paper, we prove the existence of this limit by a special structure called linear pattern. We also pose a question on the possibility of a relation between the structure and whether $λ$ is algebraic.
Notes on Hamiltonian threshold and chain graphs
We revisit results obtained in [F. Harary, U. Peled, Hamiltonian threshold graphs, Discrete Appl.~Math., 16 (1987), 11--15], where several necessary and necessary and sufficient conditions for a connected threshold graph to be Hamiltonian were obtained. We present these results in new forms, now stated in terms of structural parameters that uniquely define the threshold graph and we extend them to chain graphs. We also identify the chain graph with minimum number of Hamilton cycles within the class of Hamiltonian chain graphs of a given order.
A Frameless 2-Coloring of the Plane Lattice
Published
• View Publication
• BIB
A picture frame in two dimensions is a rectangular array of symbols, with at least two rows and columns, where the first and last rows are identical, and the first and last columns are identical. If a coloring of the plane lattice has no picture frames, we call it frameless. In this note we show how to create a simple 2-coloring of the plane lattice that is frameless.
Lattice polytopes from Schur and symmetric Grothendieck polynomials
Published
• View Publication
• BIB
Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials.
Marstrand type slicing statements in $\mathbb{Z}^{2}\subset \mathbb{R}^{2}$ are false for the counting dimension
We show that for $1$ separated subsets of $\R^{2}$, the natural Marstrand type slicing statements are false with the counting dimension that was used earlier by Moreira and Lima and variants of which were introduced earlier in different contexts. We construct a $1$ separated subset $E$ of the plane which has counting dimension $1$, while for a positive Lebesgue measure parameter set of tubes of width $1$, the intersection of the tube with the set $E$ has counting dimension $1$. This is in contrast to the behavior of such sets with the mass dimension where the slicing theorems hold true.
Coarse distinguishability of graphs with symmetric growth
Let $X$ be a connected, locally finite graph with symmetric growth. We prove that there is a vertex coloring $φ\colon X\to\{0,1\}$ and some $R\in\mathbb{N}$ such that every automorphism $f$ preserving $φ$ is $R$-close to the identity map; this can be seen as a coarse geometric version of symmetry breaking. We also prove that the infinite motion conjecture is true for graphs where at least one vertex stabilizer $S_x$ satisfies the following condition: for every non-identity automorphism $f\in S_x$, there is a sequence $x_n$ such that $\lim d(x_n,f(x_n))=\infty$.
Balance constants for Coxeter groups
Published in Trans. Amer. Math. Soc. 376 (2023), 8973-9000
• View Publication
• BIB
The $1/3$-$2/3$ Conjecture, originally formulated in 1968, is one of the best-known open problems in the theory of posets, stating that the balance constant (a quantity determined by the linear extensions) of any non-total order is at least $1/3$. By reinterpreting balance constants of posets in terms of convex subsets of the symmetric group, we extend the study of balance constants to convex subsets $C$ of any Coxeter group. Remarkably, we conjecture that the lower bound of $1/3$ still applies in any finite Weyl group, with new and interesting equality cases appearing.
We generalize several of the main results towards the $1/3$-$2/3$ Conjecture to this new setting: we prove our conjecture when $C$ is a weak order interval below a fully commutative element in any acyclic Coxeter group (an generalization of the case of width-two posets), we give a uniform lower bound for balance constants in all finite Weyl groups using a new generalization of order polytopes to this context, and we introduce generalized semiorders for which we resolve the conjecture.
We hope this new perspective may shed light on the proper level of generality in which to consider the $1/3$-$2/3$ Conjecture, and therefore on which methods are likely to be successful in resolving it.
Motif Discovery Algorithms in Static and Temporal Networks: A Survey
Published
• View Publication
• BIB
Motifs are the fundamental components of complex systems. The topological structure of networks representing complex systems and the frequency and distribution of motifs in these networks are intertwined. The complexities associated with graph and subgraph isomorphism problems, as the core of frequent subgraph mining, have direct impacts on the performance of motif discovery algorithms. To cope with these complexities, researchers have adopted different strategies for candidate generation and enumeration, and frequency computation. In the past few years, there has been an increasing interest in the analysis and mining of temporal networks. These networks, in contrast to their static counterparts, change over time in the form of insertion, deletion, or substitution of edges or vertices or their attributes. In this paper, we provide a survey of motif discovery algorithms proposed in the literature for mining static and temporal networks and review the corresponding algorithms based on their adopted strategies for candidate generation and frequency computation. As we witness the generation of a large amount of network data in social media platforms, bioinformatics applications, and communication and transportation networks and the advance in distributed computing and big data technology, we also conduct a survey on the algorithms proposed to resolve the CPU-bound and I/O bound problems in mining static and temporal networks.
Characterization of the lengths of binary circular words containing no squares other than 00, 11, and 0101
Published
• View Publication
• BIB
We characterize exactly the lengths of binary circular words containing no squares other than 00, 11, and 0101. Key words: combinatorics on words, circular words, necklaces, square-free words, non-repetitive sequences
Many flows in the group connectivity setting
Two well-known results in the world of nowhere-zero flows are Jaeger's 4-flow theorem asserting that every 4-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow and Seymour's 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero $\mathbb{Z}_6$-flow. Dvořák and the last two authors of this paper extended these results by proving the existence of exponentially many nowhere-zero flows under the same assumptions. We revisit this setting and provide extensions and simpler proofs of these results.
The concept of a nowhere-zero flow was extended in a significant paper of Jaeger, Linial, Payan, and Tarsi to a choosability-type setting. For a fixed abelian group $Γ$, an oriented graph $G = (V,E)$ is called $Γ$-connected if for every function $f : E \rightarrow Γ$ there is a flow $φ: E \rightarrow Γ$ with $φ(e) \neq f(e)$ for every $e \in E$ (note that taking $f = 0$ forces $φ$ to be nowhere-zero). Jaeger et al. proved that every oriented 3-edge-connected graph is $Γ$-connected whenever $|Γ| \ge 6$. We prove that there are exponentially many solutions whenever $|Γ| \ge 8$. For the group $\mathbb{Z}_6$ we prove that for every oriented 3-edge-connected $G = (V,E)$ with $\ell = |E| - |V| \ge 11$ and every $f: E \rightarrow \mathbb{Z}_6$, there are at least $2^{ \sqrt{\ell} / \log \ell}$ flows $φ$ with $φ(e) \neq f(e)$ for every $e \in E$.
An Experimental Mathematics Approach to Several Combinatorial Problems
Experimental mathematics is an experimental approach to mathematics in which programming and symbolic computation are used to investigate mathematical objects, identify properties and patterns, discover facts and formulas and even automatically prove theorems. With an experimental mathematics approach, this dissertation deals with several combinatorial problems and demonstrates the methodology of experimental mathematics. We start with parking functions and their moments of certain statistics. Then we discuss about spanning trees and "almost diagonal" matrices to illustrate the methodology of experimental mathematics. We also apply experimental mathematics to Quicksort algorithms to study the running time. Finally we talk about the interesting peaceable queens problem.
Another Problem of Jónsson and McKenzie from 1982: Refinement Properties for Connected Powers of Posets
Published
• View Publication
• BIB
In 1982, Jónsson and McKenzie posed the following problem: "Find counter examples (or prove that none exist) to the refinement of $A^C\cong B^D$ [$A$, $B$, $C$, and $D$ non-empty posets] under" the condition "$C$, $D$, and $A^C$ are finite and connected." That is, in this situation, are there posets $E$, $X$, $Y$, and $Z$ such that $A\cong E^X$, $B\cong E^Y$, $C\cong Y\times Z$, and $D\cong X\times Z$?
In this note, this problem is solved.
Bijections on $r$-Shi and $r$-Catalan Arrangements
Published
• View Publication
• BIB
Associated with the $r$-Shi arrangement and $r$-Catalan arrangement in $\Bbb{R}^n$, we introduce a cubic matrix for each region to establish two bijections in a uniform way. Firstly, the positions of minimal positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Shi arrangement to $O$-rooted labeled $r$-trees. Secondly, the numbers of positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Catalan arrangement to pairings of permutation and $r$-Dyck path. Moreover, the numbers of positive entries in row slices of the cubic matrix will recover the Pak-Stanley labeling, a celebrated bijection from regions of the $r$-Shi arrangement to $r$-parking functions.
Rescaled entropy of cellular automata
Published
• View Publication
• BIB
For a d-dimensional cellular automaton with d $\ge$ 1 we introduce a rescaled entropy which estimates the growth rate of the entropy at small scales by generalizing previous approaches [1, 9]. We also define a notion of Lyapunov exponent and proves a Ruelle inequality as already established for d = 1 in [16, 15]. Finally we generalize the entropy formula for 1-dimensional permutative cellular automata [18] to the rescaled entropy in higher dimensions. This last result extends recent works [17] of Shinoda and Tsukamoto dealing with the metric mean dimensions of two-dimensional symbolic dynamics.