We gratefully acknowledge support from
the Simons Foundation and member institutions.

Combinatorics

New submissions

[ total of 23 entries: 1-23 ]
[ showing up to 1000 entries per page: fewer | more ]

New submissions for Wed, 28 Jul 21

[1]  arXiv:2107.12741 [pdf, ps, other]
Title: Partitioning all $k$-subsets into $r$-wise intersecting families
Authors: Noga Alon
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

Let $r \geq 2$, $n$ and $k$ be integers satisfying $k \leq \frac{r-1}{r}n$. We conjecture that the family of all $k$-subsets of an $n$-set cannot be partitioned into fewer than $\lceil n-\frac{r}{r-1}(k-1) \rceil$ $r$-wise intersecting families. If true this is tight for all values of the parameters. The case $r=2$ is Kneser's conjecture, proved by Lov\'asz. Here we observe that the assertion also holds provided $r$ is either a prime number or a power of $2$.

[2]  arXiv:2107.12844 [pdf, ps, other]
Title: Boolean intersection ideals of permutations in the Bruhat order
Comments: 7 pages, 2 figures
Subjects: Combinatorics (math.CO)

Motivated by recent work with Mazorchuk, we characterize the conditions under which the intersection of two principal order ideals in the Bruhat order is boolean. That characterization is presented in three versions: in terms of reduced words, in terms of permutation patterns, and in terms of permutation support. The equivalence of these properties follows from an analysis of what it means to have a specific letter repeated in a permutation's reduced words; namely, that a specific 321-pattern appears.

[3]  arXiv:2107.12881 [pdf, ps, other]
Title: Choice Functions
Comments: 23 pages, survey paper
Subjects: Combinatorics (math.CO)

This is a survey paper on rainbow sets (another name for ``choice functions''). The main theme is the distinction between two types of choice functions: those having a large (in the sense of belonging to some specified filter, namely closed up set of sets) image, and those that have a large domain and small image, where ``smallness'' means belonging to some specified complex (a closed-down set). The paper contains some new results: (1) theorems on scrambled versions, in which the sets are re-shuffled before choosing the rainbow set, and (2) results on weighted and cooperative versions - to be defined below.

[4]  arXiv:2107.12926 [pdf, ps, other]
Title: Saturation of Rota's basis conjecture
Subjects: Combinatorics (math.CO)

We prove an asymptotic saturation-type version of Rota's basis conjecture. It relies on the connection of Tao's slice rank with unstable tensors from geometric invariant theory.

[5]  arXiv:2107.12935 [pdf, other]
Title: Large vertex-flames in uncountable digraphs
Subjects: Combinatorics (math.CO)

The study of minimal subgraphs witnessing a connectivity property is an important field in graph theory. The foundation for large flames has been laid by Lov\'asz: Let $ D=(V,E) $ be a finite digraph and let $ r\in V $. The local connectivity $ \kappa_D(r,v) $ from $ r $ to $ v $ is defined to be the maximal number of internally disjoint $ r\rightarrow v $ paths in $ D $. A spanning subdigraph $ L $ of $ D $ with $ \kappa_L(r,v)=\kappa_D(r,v) $ for every $ v\in V-r $ must have at least $\sum_{v\in V-r}\kappa_D(r,v) $ edges. Lov\'asz proved that, maybe surprisingly, this lower bound is sharp for every finite digraph.
The optimality of an $ L $ sufficing the min-max criteria from Lov\'asz' theorem may instead also be captured by the following structural characterization: For every $ v\in V-r $ there is a system $ \mathcal{P}_v $ of internally disjoint $ r\rightarrow v $ paths in $ L $ covering all the ingoing edges of $ v $ in $ L $ such that one can choose from each $ P\in \mathcal{P}_v $ either an edge or an internal vertex in such a way that the resulting set meets every $ r\rightarrow v $ path of $ D $.
The positive result for countably infinite digraphs based on this structural infinite generalisation were obtained by the second author. In this paper we extend this to digraphs of size $ \aleph_1 $ which requires significantly more complex techniques. Despite solving yet the smallest uncountable case, the complete understanding of the concept and potentially a proof for arbitrary cardinality still seems to be far.

[6]  arXiv:2107.12955 [pdf, other]
Title: Multiplicity-Free Gonality on Graphs
Comments: 18 pages, 16 figures
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)

The divisorial gonality of a graph is the minimum degree of a positive rank divisor on that graph. We introduce the multiplicity-free gonality of a graph, which restricts our consideration to divisors that place at most \(1\) chip on each vertex. We give a sufficient condition in terms of vertex-connectivity for these two versions of gonality to be equal; and we show that no function of gonality can bound multiplicity-free gonality, even for simple graphs. We also prove that multiplicity-free gonality is NP-hard to compute, while still determining it for graph families for which gonality is currently unknown. We also present new gonalities, such as for the wheel graphs.

Cross-lists for Wed, 28 Jul 21

[7]  arXiv:2107.12459 (cross-list from math.PR) [pdf, other]
Title: The Variance and the Asymptotic Distribution of the Length of Longest $k$-alternating Subsequences
Comments: 13 pages, 1 figure
Subjects: Probability (math.PR); Combinatorics (math.CO)

We obtain an explicit formula for the variance of the length of longest $k$-alternating subsequence in a uniformly random permutation. Also a central limit is proved for the same statistic.

[8]  arXiv:2107.12906 (cross-list from math.DS) [pdf, other]
Title: A rigorous formulation of and partial results on Lorenz's "consensus strikes back" phenomenon for the Hegselmann-Krause model
Authors: Edvin Wedin
Comments: 37 pages, 2 figures. See the README file for instructions on how to run the code in the ancillary files
Subjects: Dynamical Systems (math.DS); Multiagent Systems (cs.MA); Systems and Control (eess.SY); Combinatorics (math.CO)

In a 2006 paper, Jan Lorenz observed a curious behaviour in numerical simulations of the Hegselmann-Krause model: Under some circumstances, making agents more closed-minded can produce a consensus from a dense configuration of opinions which otherwise leads to fragmentation. Suppose one considers initial opinions equally spaced on an interval of length $L$. As first observed by Lorenz, simulations suggest that there are three intervals $[0, L_1)$, $(L_1, L_2)$ and $(L_2, L_3)$, with $L_1 \approx 5.23$, $L_2 \approx 5.67$ and $L_3 \approx 6.84$ such that, when the number of agents is sufficiently large, consensus occurs in the first and third intervals, whereas for the second interval the system fragments into three clusters. In this paper, we prove consensus for $L \leq 5.2$ and for $L$ sufficiently close to 6. These proofs include large computations and in principle the set of $L$ for which consensus can be proven using our approach may be extended with the use of more computing power. We also prove that the set of $L$ for which consensus occurs is open. Moreover, we prove that, when consensus is assured for the equally spaced systems, this in turn implies asymptotic almost sure consensus for the same values of $L$ when initial opinions are drawn independently and uniformly at random. We thus conjecture a pair of phase transitions, making precise the formulation of Lorenz's "consensus strikes back" hypothesis. Our approach makes use of the continuous agent model introduced by Blondel, Hendrickx and Tsitsiklis. Indeed, one contribution of the paper is to provide a presentation of the relationships between the three different models with equally spaced, uniformly random and continuous agents, respectively, which is more rigorous than what can be found in the existing literature.

[9]  arXiv:2107.12927 (cross-list from math.RA) [pdf, ps, other]
Title: Combinatorial classification of $(\pm 1)$-skew projective spaces
Comments: 14 pages
Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)

The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.

Replacements for Wed, 28 Jul 21

[10]  arXiv:1811.08261 (replaced) [pdf, ps, other]
Title: On double sum generating functions in connection with some classical partition theorems
Authors: Ali K. Uncu
Comments: 24 pages
Subjects: Combinatorics (math.CO); Number Theory (math.NT)
[11]  arXiv:1907.05817 (replaced) [pdf, ps, other]
Title: Characterization of $k$-spectrally monomorphic Hermitian matrices
Subjects: Combinatorics (math.CO)
[12]  arXiv:1907.11777 (replaced) [pdf, ps, other]
Title: The simplicity index of tournaments
Subjects: Combinatorics (math.CO)
[13]  arXiv:1910.06911 (replaced) [pdf, ps, other]
Title: Complex Hadamard matrices and applications
Authors: Teo Banica
Comments: 300 pages
Subjects: Combinatorics (math.CO); Probability (math.PR)
[14]  arXiv:2012.02808 (replaced) [pdf, other]
Title: Persistent Laplacians: properties, algorithms and implications
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
[15]  arXiv:2012.12972 (replaced) [pdf, ps, other]
Title: A triangle process on regular graphs
Comments: 19 pages, 17 figures
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[16]  arXiv:2102.03651 (replaced) [pdf, ps, other]
Title: Toric Codes from Order Polytopes
Comments: To appear in Discrete and Computational Geometry
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[17]  arXiv:2104.08254 (replaced) [pdf, other]
Title: The m=2 amplituhedron and the hypersimplex: signs, clusters, triangulations, Eulerian numbers
Comments: 72 pages, many figures, comments welcome. v3: Strengthened results on triangulations and realizability of amplituhedron sign chambers. v2: Results added to Section 11.4, minor edits
Subjects: Combinatorics (math.CO); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Algebraic Geometry (math.AG)
[18]  arXiv:2106.15621 (replaced) [pdf, ps, other]
Title: On the general no-three-in-line problem
Authors: Theophilus Agama
Comments: 8 pages; submitted to journal discrete and computational geometry. arXiv admin note: substantial text overlap with arXiv:2006.05269. text overlap with arXiv:2002.00502
Subjects: Combinatorics (math.CO); Metric Geometry (math.MG)
[19]  arXiv:2107.08857 (replaced) [pdf, ps, other]
Title: Rectangular Heffter arrays: a reduction theorem
Subjects: Combinatorics (math.CO)
[20]  arXiv:2107.11663 (replaced) [pdf, other]
Title: RAC-drawability is $\exists\mathbb{R}$-complete
Authors: Marcus Schaefer
Comments: Appears in the Proceedings of the 29th International Symposium on Graph Drawing and Network Visualization (GD 2021)
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)
[21]  arXiv:2005.09990 (replaced) [pdf, ps, other]
Title: Babai's conjecture for high-rank classical groups with random generators
Comments: 44 pages. Several typos corrected. Referee comments incorporated
Subjects: Group Theory (math.GR); Combinatorics (math.CO)
[22]  arXiv:2009.04762 (replaced) [pdf, ps, other]
Title: Infinite p-adic random matrices and ergodic decomposition of p-adic Hua measures
Comments: Minor revision according to referee reports. To appear Transactions of AMS
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO)
[23]  arXiv:2103.10800 (replaced) [pdf, ps, other]
Title: Towards quantized complex numbers: $q$-deformed Gaussian integers and the Picard group
Comments: 21 pages
Subjects: Quantum Algebra (math.QA); Combinatorics (math.CO)
[ total of 23 entries: 1-23 ]
[ showing up to 1000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2107, contact, help  (Access key information)