title: Homogenization and low Mach number limit of compressible Navier-Stokes equations in critically perforated domains

abstract: In this note, we consider the homogenization of the compressible Navier-Stokes equations in a periodically perforated domain in $\mathbb{R}^3$. Assuming that the particle size scales like $\varepsilon^3$, where $\varepsilon>0$ is their mutual distance, and that the Mach number decreases fast enough, we show that in the limit $\varepsilon\to 0$, the velocity and density converge to a solution of the incompressible Navier-Stokes equations with Brinkman term. We strongly follow the methods of H\"ofer, Kowalczik and Schwarzacher [arXiv:2007.09031], where they proved convergence to Darcy's law for the particle size scaling like $\varepsilon^\alpha$ with $\alpha\in (1,3)$.


title: A model theory section conjecture

abstract: We introduce the category of structures and interpretations which allows us to discuss some issues of Grothendieck's anabelian geometry in model-theory terms. Our main result is a formulation in terms of pure stability theory of a problem closely related to Grothendieck's section conjecture


title: What do cells regulate in soft tissues on short time scales?

abstract: Cells within living soft biological tissues seem to promote the maintenance of a mechanical state within a defined range near a so-called set-point. This mechanobiological process is often referred to as mechanical homeostasis. During this process, cells intimately interact with the fibers of the surrounding extracellular matrix (ECM). It remains poorly understood, however, what individual cells actually regulate during these interactions, and how these micromechanical regulations are translated to tissue level to lead to what we macroscopically call mechanical homeostasis. Herein, we examine this question by a combination of experiments, theoretical analysis and computational modeling. We demonstrate that on short time scales (hours) - during which deposition and degradation of ECM fibers can largely be neglected - cells appear to regulate neither the stress / strain in the ECM nor their own shape, but rather only the contractile forces that they exert on the surrounding ECM.


title: The principal transmission condition

abstract: The paper treats pseudodifferential operators $P=Op(p(\xi ))$ with homogeneous complex symbol $p(\xi )$ of order $2a>0$, generalizing the fractional Laplacian $(-\Delta )^a$ but lacking its symmetries, and taken to act on the halfspace $R^n_+$. The operators are seen to satisfy a principal $\mu $-transmission condition relative to $R^n_+$, but generally not the full $\mu $-transmission condition satisfied by $(-\Delta )^a$ and related operators (with $\mu =a$). However, $P$ acts well on the so-called $\mu $-transmission spaces over $R^n_+$ (defined in earlier works), and when $P$ moreover is strongly elliptic, these spaces are the solution spaces for the homogeneous Dirichlet problem for $P$, leading to regularity results with a factor $x_n^\mu $ (in a limited range of Sobolev spaces). The information is then shown to be sufficient to establish an integration by parts formula over $R^n_+$ for $P$ acting on such functions. The formulation in Sobolev spaces, and the results on strongly elliptic operators going beyond operators with real kernels, are new. Furthermore, large solutions with nonzero Dirichlet traces are described, and a halfways Green's formula is established, for this new class of operators. Since the principal $\mu $-transmission condition has weaker requirements than the full $\mu $-transmission condition assumed in earlier papers, new arguments were needed, relying on work of Vishik and Eskin instead of the Boutet de Monvel theory. The results cover the case of nonsymmetric operators with real kernel that were only partially treated in a preceding paper.


title: Efficient modeling of high temperature superconductors surrounded by magnetic components using a reduced H-$\phi$ formulation

abstract: Although the H-formulation has proven to be one of the most versatile formulations used to accurately model superconductors in the finite element method, the use of vector dependent variables in non-conducting regions leads to unnecessarily long computation times. Additionally, in some applications of interest, the combination of multiple magnetic components interacting with superconducting bulks and/or tapes leads to large domains of simulation. In this work, we separate the magnetic field into a source and reaction field and use the H-$\phi$ formulation to efficiently simulate a superconductor surrounded by magnetic bodies. We model a superconducting cube between a pair of Helmholtz coils and a permanent magnet levitating above a superconducting pellet. In both cases, we find excellent agreement with the H-formulation, while the computation times are reduced by factors of nearly three and four in 2-D and 3-D, respectively. Finally, we show that the H-$\phi$ formulation is more accurate and efficient than the H-A formulation in 2-D.


title: Fed-DDM: A Federated Ledgers based Framework for Hierarchical Decentralized Data Marketplaces

abstract: Data marketplaces (DMs) promote the benefits of the Internet of Things (IoT) in smart cities. To facilitate the easy exchanges of real-time IoT data streams between device owners and third-party applications, it is required to provide scalable, interoperable, and secured services for large numbers of distributed IoT devices operated by different application vendors. Thanks to decentralization, immutability, and auditability, Blockchain is promising to enable a tamper-proof and trust-free framework to enhance performance and security issues in centralized DMs. However, directly integrating blockchains into large-scale IoT-based DMs still faces many limitations, such as high resource and energy demands, low transaction throughput, poor scalability, and challenges in privacy preservation. This paper introduces a novel Federated Ledgers-based Framework for Hierarchical Decentralized Data Marketplaces (Fed-DDM). In Fed-DDM, participants are divided into multiple permissioned domains given their registrations. Each domain leverages an efficient Byzantine Fault Tolerance (BFT) consensus protocol to commit transactions of a domain on a private intra-ledger. A public inter-ledger network adopts a scalable Proof-of-Work (PoW) consensus protocol to federate multiple private intra-ledger networks. We design a smart contract-enabled inter-ledger protocol to guarantee the security of the cross-domain operations on a public federated ledger without exposing sensitive privacy information from private ledgers. A proof-of-concept prototype is implemented, and the experimental results verify the feasibility of the proposed Fed-DDM solution with performance and security guarantees.


title: Physics Informed Neural Networks (PINNs)for approximating nonlinear dispersive PDEs

abstract: We propose a novel algorithm, based on physics-informed neural networks (PINNs) to efficiently approximate solutions of nonlinear dispersive PDEs such as the KdV-Kawahara, Camassa-Holm and Benjamin-Ono equations. The stability of solutions of these dispersive PDEs is leveraged to prove rigorous bounds on the resulting error. We present several numerical experiments to demonstrate that PINNs can approximate solutions of these dispersive PDEs very accurately


title: The Strongest Cluster Lenses: An Analysis of the Relation Between Strong Gravitational Lensing Strength and the Physical Properties of Galaxy Clusters

abstract: Strong gravitational lensing provides unique opportunities to investigate the mass distribution at the cores of galaxy clusters and to study high redshift galaxies. Using $94$ strong lensing models of $74$ cluster fields from the \textit{Hubble} Frontier Fields (HFF), Reionization Lensing Cluster Survey (RELICS), and Sloan Giant Arcs Survey (SGAS), modeled with three parametric approaches, we evaluate the lensing strength of each cluster (area with $|\mu|\geq3$ for $z_s=9$). We assess how large scale mass, projected inner core mass, and the inner slope of the projected mass density profile relate to lensing strength. While we do not identify a strong correlation between lensing strength and large scale mass, we reveal that the inner slope ($50$ kpc~$\leq r \leq~200$ kpc) of the projected mass density profile is indicative of lensing strength and can set an upper bound on the possible lensing strength of a cluster. We find that the effective Einstein area correlates with lensing strength, and that a large ($\gtrsim 30^{''}0$) radial extent of lensing evidence is a strong indicator of a powerful lens. These results can help to more efficiently design future observations to maximize lensing strength.


title: Discrete-Time Analysis of Wireless Blockchain Networks

abstract: Blockchain (BC) technology can revolutionize future networks by providing a distributed, secure, and unalterable way to boost collaboration among operators, users, and other stakeholders. Its implementations have traditionally been supported by wired communications, with performance indicators like the high latency introduced by the BC being one of the key technology drawbacks. However, when applied to wireless communications, the performance of BC remains unknown, especially if running over contention-based networks. In this paper, we evaluate the latency performance of BC technology when the supporting communication platform is wireless, specifically we focus on IEEE 802.11ax, for the use case of users' radio resource provisioning. For that purpose, we propose a discrete-time Markov model to capture the expected delay incurred by the BC. Unlike other models in the literature, we consider the effect that timers and forks have on the end-to-end latency.


title: Generalized translation operator and the Heat equation for the canonical Fourier Bessel transform

abstract: The aim of this paper is to introduce a translation operator associated to the canonical Fourier Bessel transform $\mathcal{F}_{\nu}^{\mathbf{m}}$ and study some of the important properties. We derive a convolution product for this transform and as application we study the heat equation and the heat semigroup related to $\Delta_{\nu}^{\mathbf{m}}.$


title: Accelerating Neural Network Training with Distributed Asynchronous and Selective Optimization (DASO)

abstract: With increasing data and model complexities, the time required to train neural networks has become prohibitively large. To address the exponential rise in training time, users are turning to data parallel neural networks (DPNN) to utilize large-scale distributed resources on computer clusters. Current DPNN approaches implement the network parameter updates by synchronizing and averaging gradients across all processes with blocking communication operations. This synchronization is the central algorithmic bottleneck. To combat this, we introduce the Distributed Asynchronous and Selective Optimization (DASO) method which leverages multi-GPU compute node architectures to accelerate network training. DASO uses a hierarchical and asynchronous communication scheme comprised of node-local and global networks while adjusting the global synchronization rate during the learning process. We show that DASO yields a reduction in training time of up to 34% on classical and state-of-the-art networks, as compared to other existing data parallel training methods.


title: Poisson maps between character varieties: gluing and capping

abstract: Let G be a compact Lie group or a complex reductive affine algebraic group. We explore induced mappings between G-character varieties of surface groups by mappings between corresponding surfaces. It is shown that these mappings are generally Poisson. We also given an effective algorithm to compute the Poisson bi-vectors when G=SL(2,C). We demonstrate this algorithm by explicitly calculating the Poisson bi-vector for the 5-holed sphere, the first example for an Euler characteristic -3 surface.


title: A novel Three-step Network-based Ecosystem Modelling Framework

abstract: NEMF is a novel network-based ecosystem modelling framework. It is a flexible and easy-to-use tool for modelling ecosystems with low- to intermediate complexity. It is designed around the idea of visualizing an ecosystem through a network that implicitly defines a set of differential equations. These equations are then solved numerically and can also be inverse modelled. The framework offers the functionality to handle non-equilibrium, non-linear interactions.


title: DATE: Detecting Anomalies in Text via Self-Supervision of Transformers

abstract: Leveraging deep learning models for Anomaly Detection (AD) has seen widespread use in recent years due to superior performances over traditional methods. Recent deep methods for anomalies in images learn better features of normality in an end-to-end self-supervised setting. These methods train a model to discriminate between different transformations applied to visual data and then use the output to compute an anomaly score. We use this approach for AD in text, by introducing a novel pretext task on text sequences. We learn our DATE model end-to-end, enforcing two independent and complementary self-supervision signals, one at the token-level and one at the sequence-level. Under this new task formulation, we show strong quantitative and qualitative results on the 20Newsgroups and AG News datasets. In the semi-supervised setting, we outperform state-of-the-art results by +13.5% and +6.9%, respectively (AUROC). In the unsupervised configuration, DATE surpasses all other methods even when 10% of its training data is contaminated with outliers (compared with 0% for the others).


title: Consequence-aware Sequential Counterfactual Generation

abstract: Counterfactuals have become a popular technique nowadays for interacting with black-box machine learning models and understanding how to change a particular instance to obtain a desired outcome from the model. However, most existing approaches assume instant materialization of these changes, ignoring that they may require effort and a specific order of application. Recently, methods have been proposed that also consider the order in which actions are applied, leading to the so-called sequential counterfactual generation problem. In this work, we propose a model-agnostic method for sequential counterfactual generation. We formulate the task as a multi-objective optimization problem and present a genetic algorithm approach to find optimal sequences of actions leading to the counterfactuals. Our cost model considers not only the direct effect of an action, but also its consequences. Experimental results show that compared to state-of-the-art, our approach generates less costly solutions, is more efficient and provides the user with a diverse set of solutions to choose from.


title: On the Gap-sum and Gap-product Sequences of Integer Sequences

abstract: In this note, we explore two families of sequences associated to a suitable integer sequence: the gap-sum sequence and the gap-product sequence. These are the sums and the products of consecutive numbers not in the original sequence. We give closed forms for both, in terms of the original sequence, and in the case of Horadam sequences, we find the generating function of the gap-sum sequence. For some elementary sequences, we indicate that the gap-product sequences are given by the Fuss-Catalan-Raney numbers.


title: The measurement problem and the completeness of quantum state

abstract: Based on the equivalence of quantum-mechanical reduced state and mixed state which we demonstrate in this paper, we give a possible explanation of the quantum measurement problem. We describe quantum measurement process as two-step physical process: one microscopically controllable process which produces entanglement, and one macroscopic process (uncontrollable microscopically) which detects given states (or properties) of some microscopic objects. With the explanation, we conclude that the measurement postulate is just a corollary of the completeness of quantum state. Our explanation is totally rooted in the unitarity of quantum mechanics, and does not need any extension or modification of the formulation of orthodox quantum mechanics. We also point out that quantum randomness comes from entanglement and wavefunction collapse in quantum mechanics is subjective process.


title: Section and towers

abstract: We discuss the towers of finite \'etale covers which were essentially introduced by A.Tamagawa. The statement about correspondence between sections and cofinal towers is a folklore but perhaps not in a very explicit form. The last section explains how the "injectivity statement" of Grothendieck section conjecture fails for abelian varieties, which is also known in some form. The paper is based on an earlier article which was aimed to reinterpret anabelian setting in model theory terms.


title: Samanantar: The Largest Publicly Available Parallel Corpora Collection for 11 Indic Languages

abstract: We present Samanantar, the largest publicly available parallel corpora collection for Indic languages. The collection contains a total of 49.7 million sentence pairs between English and 11 Indic languages (from two language families). Specifically, we compile 12.4 million sentence pairs from existing, publicly-available parallel corpora, and additionally mine 37.4 million sentence pairs from the web, resulting in a 4x increase. We mine the parallel sentences from the web by combining many corpora, tools, and methods: (a) web-crawled monolingual corpora, (b) document OCR for extracting sentences from scanned documents, (c) multilingual representation models for aligning sentences, and (d) approximate nearest neighbor search for searching in a large collection of sentences. Human evaluation of samples from the newly mined corpora validate the high quality of the parallel sentences across 11 languages. Further, we extract 83.4 million sentence pairs between all 55 Indic language pairs from the English-centric parallel corpus using English as the pivot language. We trained multilingual NMT models spanning all these languages on Samanantar, which outperform existing models and baselines on publicly available benchmarks, such as FLORES, establishing the utility of Samanantar. Our data and models are available publicly at https://ai4bharat.iitm.ac.in/samanantar and we hope they will help advance research in NMT and multilingual NLP for Indic languages.


title: Preemptive periodic epidemic control reduces life and healthcare system costs without aggravation of social and economic losses

abstract: Many countries are managing COVID-19 epidemic by switching between lighter and heavier restrictions. While an open-close and a close-open cycle have comparable socio-economic costs, the former leads to a much heavier burden in terms of deaths and pressure on the healthcare system. An empirical demonstration of the toll ensuing from procrastination was recently observed in Israel, where both cycles were enforced from late August to mid-December 2020, yielding some 1,600 deaths with open-close compared to 440 with close-open.


title: Entropoid Based Cryptography

abstract: By analogy with the developed cryptographic theory of discrete logarithm problems, we define several hard problems in Entropoid based cryptography, such as Discrete Entropoid Logarithm Problem (DELP), Computational Entropoid Diffie-Hellman problem (CEDHP), and Decisional Entropoid Diffie-Hellman Problem (DEDHP). We post a conjecture that DEDHP is hard in Sylow $q$-subquasigroups. Next, we instantiate an entropoid Diffie-Hellman key exchange protocol. Due to the non-commutativity and non-associativity, the entropoid based cryptographic primitives are supposed to be resistant to quantum algorithms. At the same time, due to the proposed succinct notation for the power indices, the communication overhead in the entropoid based Diffie-Hellman key exchange is very low: for 128 bits of security, 64 bytes in total are communicated in both directions, and for 256 bits of security, 128 bytes in total are communicated in both directions. Our final contribution is in proposing two entropoid based digital signature schemes. The schemes are constructed with the Fiat-Shamir transformation of an identification scheme which security relies on a new hardness assumption: computing roots in finite entropoids is hard. If this assumption withstands the time's test, the first proposed signature scheme has excellent properties: for the classical security levels between 128 and 256 bits, the public and private key sizes are between 32 and 64, and the signature sizes are between 64 and 128 bytes. The second signature scheme reduces the finding of the roots in finite entropoids to computing discrete entropoid logarithms. In our opinion, this is a safer but more conservative design, and it pays the price in doubling the key sizes and the signature sizes. We give a proof-of-concept implementation in SageMath 9.2 for all proposed algorithms and schemes in an appendix.


title: Deep Reinforcement Learning Based Controller for Active Heave Compensation

abstract: Heave compensation is an essential part in various offshore operations. It is used in various applications, which include on-loading or off-loading systems, offshore drilling, landing helicopter on oscillating structures, and deploying and retrieving manned submersibles. In this paper, a reinforcement learning (RL) based controller is proposed for active heave compensation using a deep deterministic policy gradient (DDPG) algorithm. A DDPG algorithm which is a model-free, online reinforcement learning method, is adopted to capture the experience of the agent during the training trials. The simulation results demonstrate up to 10 % better heave compensation performance of RL controller as compared to a tuned Proportional-Derivative Control. The performance of the proposed method is compared with respect to heave compensation, offset tracking, disturbance rejection, and noise attenuation.


title: PAC Bayesian Performance Guarantees for Deep (Stochastic) Networks in Medical Imaging

abstract: Application of deep neural networks to medical imaging tasks has in some sense become commonplace. Still, a "thorn in the side" of the deep learning movement is the argument that deep networks are prone to overfitting and are thus unable to generalize well when datasets are small (as is common in medical imaging tasks). One way to bolster confidence is to provide mathematical guarantees, or bounds, on network performance after training which explicitly quantify the possibility of overfitting. In this work, we explore recent advances using the PAC-Bayesian framework to provide bounds on generalization error for large (stochastic) networks. While previous efforts focus on classification in larger natural image datasets (e.g., MNIST and CIFAR-10), we apply these techniques to both classification and segmentation in a smaller medical imagining dataset: the ISIC 2018 challenge set. We observe the resultant bounds are competitive compared to a simpler baseline, while also being more explainable and alleviating the need for holdout sets.


title: Good Coverings of Proximal Alexandrov Spaces. Path Cycles in the Extension of the Mitsuishi-Yamaguchi good covering and Jordan Curve Theorems

abstract: This paper introduces proximal path cycles, which lead to the main results in this paper, namely, extensions of the Mitsuishi-Yamaguchi Good Coverning Theorem with different forms of Tanaka good cover of an Alexandrov space equipped with a proximity relation as well as extension of the Jordan curve theorem. In this work, a {\bf path cycle} is a sequence of maps $h_1,\dots,h_i,\dots,h_{n-1}\mbox{mod}\ n$ in which $h_i:[0,1]\to X$ and $h_i(1) = h_{i+1}(0)$ provide the structure of a path-connected cycle that has no end path. An application of these results is also given for the persistence of proximal video frame shapes that appear in path cycles.


title: Extractive Multi Product-Line Engineering

abstract: Cloning is a general approach to create new functionality within variants as well as new system variants. It is a fast, flexible, intuitive, and economical approach to evolve systems in the short run. However, in the long run, the maintenance effort increases. A common solution to this problem is the extraction of a product line from a set of cloned variants. This process requires a detailed analysis of variants to extract variability information. However, clones within a variant are usually not considered in the process, but are also a cause for unsustainable software. This thesis proposes an extractive multi product-line engineering approach to re-establish the sustainable development of software variants. We propose an approach to re-engineer intra-system and inter-system clones into reusable, configurable components stored in an integrated platform and synthesize a matching multi-layer feature model.


title: On diffusion processes with drift in a Morrey class containing $L_{d+2}$

abstract: We present new conditions on the drift of the Morrey type with mixed norms allowing us to obtain Aleksandrov type estimates of potentials of time inhomogeneous diffusion processes in spaces with mixed norms and, for instance, in $L_{d_{0}+1}$ with $d_{0}<d$.


title: Semantic Frame Forecast

abstract: This paper introduces semantic frame forecast, a task that predicts the semantic frames that will occur in the next 10, 100, or even 1,000 sentences in a running story. Prior work focused on predicting the immediate future of a story, such as one to a few sentences ahead. However, when novelists write long stories, generating a few sentences is not enough to help them gain high-level insight to develop the follow-up story. In this paper, we formulate a long story as a sequence of "story blocks," where each block contains a fixed number of sentences (e.g., 10, 100, or 200). This formulation allows us to predict the follow-up story arc beyond the scope of a few sentences. We represent a story block using the term frequencies (TF) of semantic frames in it, normalized by each frame's inverse document frequency (IDF). We conduct semantic frame forecast experiments on 4,794 books from the Bookcorpus and 7,962 scientific abstracts from CODA-19, with block sizes ranging from 5 to 1,000 sentences. The results show that automated models can forecast the follow-up story blocks better than the random, prior, and replay baselines, indicating the task's feasibility. We also learn that the models using the frame representation as features outperform all the existing approaches when the block size is over 150 sentences. The human evaluation also shows that the proposed frame representation, when visualized as word clouds, is comprehensible, representative, and specific to humans. Our code is available at https://github.com/appleternity/FrameForecasting.


title: Understanding Overparameterization in Generative Adversarial Networks

abstract: A broad class of unsupervised deep learning methods such as Generative Adversarial Networks (GANs) involve training of overparameterized models where the number of parameters of the model exceeds a certain threshold. A large body of work in supervised learning have shown the importance of model overparameterization in the convergence of the gradient descent (GD) to globally optimal solutions. In contrast, the unsupervised setting and GANs in particular involve non-convex concave mini-max optimization problems that are often trained using Gradient Descent/Ascent (GDA). The role and benefits of model overparameterization in the convergence of GDA to a global saddle point in non-convex concave problems is far less understood. In this work, we present a comprehensive analysis of the importance of model overparameterization in GANs both theoretically and empirically. We theoretically show that in an overparameterized GAN model with a $1$-layer neural network generator and a linear discriminator, GDA converges to a global saddle point of the underlying non-convex concave min-max problem. To the best of our knowledge, this is the first result for global convergence of GDA in such settings. Our theory is based on a more general result that holds for a broader class of nonlinear generators and discriminators that obey certain assumptions (including deeper generators and random feature discriminators). We also empirically study the role of model overparameterization in GANs using several large-scale experiments on CIFAR-10 and Celeb-A datasets. Our experiments show that overparameterization improves the quality of generated samples across various model architectures and datasets. Remarkably, we observe that overparameterization leads to faster and more stable convergence behavior of GDA across the board.


title: Spatial Feature Calibration and Temporal Fusion for Effective One-stage Video Instance Segmentation

abstract: Modern one-stage video instance segmentation networks suffer from two limitations. First, convolutional features are neither aligned with anchor boxes nor with ground-truth bounding boxes, reducing the mask sensitivity to spatial location. Second, a video is directly divided into individual frames for frame-level instance segmentation, ignoring the temporal correlation between adjacent frames. To address these issues, we propose a simple yet effective one-stage video instance segmentation framework by spatial calibration and temporal fusion, namely STMask. To ensure spatial feature calibration with ground-truth bounding boxes, we first predict regressed bounding boxes around ground-truth bounding boxes, and extract features from them for frame-level instance segmentation. To further explore temporal correlation among video frames, we aggregate a temporal fusion module to infer instance masks from each frame to its adjacent frames, which helps our framework to handle challenging videos such as motion blur, partial occlusion and unusual object-to-camera poses. Experiments on the YouTube-VIS valid set show that the proposed STMask with ResNet-50/-101 backbone obtains 33.5 % / 36.8 % mask AP, while achieving 28.6 / 23.4 FPS on video instance segmentation. The code is released online https://github.com/MinghanLi/STMask.


title: Non-triviality of the phase transition for percolation on finite transitive graphs

abstract: We prove that if $(G_n)_{n\geq1}=((V_n,E_n))_{n\geq 1}$ is a sequence of finite, vertex-transitive graphs with bounded degrees and $|V_n|\to\infty$ that is at least $(1+\epsilon)$-dimensional for some $\epsilon>0$ in the sense that \[\mathrm{diam} (G_n)=O\left(|V_n|^{1/(1+\epsilon)}\right) \text{ as $n\to\infty$}\] then this sequence of graphs has a non-trivial phase transition for Bernoulli bond percolation. More precisely, we prove under these conditions that for each $0<\alpha <1$ there exists $p_c(\alpha)<1$ such that for each $p\geq p_c(\alpha)$, Bernoulli-$p$ bond percolation on $G_n$ has a cluster of size at least $\alpha |V_n|$ with probability tending to $1$ as $n\to \infty$. In fact, we prove more generally that there exists a universal constant $a$ such that the same conclusion holds whenever \[\mathrm{diam} (G_n)=O\left(\frac{|V_n|}{(\log |V_n|)^a}\right) \text{ as $n\to\infty$.}\] This verifies a conjecture of Benjamini up to the value of the constant $a$, which he suggested should be $1$. We also prove a generalization of this result to quasitransitive graph sequences with a bounded number of vertex orbits and prove that one may indeed take $a=1$ when the graphs $G_n$ are all Cayley graphs of Abelian groups. A key step in our proof is to adapt the methods of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin from infinite graphs to finite graphs. This adaptation also leads to an isoperimetric criterion for infinite graphs to have a nontrivial uniqueness phase (i.e., to have $p_u<1$) which is of independent interest. We also prove that the set of possible values of the critical probability of an infinite quasitransitive graph has a gap at $1$ in the sense that for every $k,n<\infty$ there exists $\epsilon>0$ such that every infinite graph $G$ of degree at most $k$ whose vertex set has at most $n$ orbits under Aut$(G)$ either has $p_c=1$ or $p_c\leq 1-\epsilon$.


title: Equivariant geometric learning for digital rock physics: estimating formation factor and effective permeability tensors from Morse graph

abstract: We present a SE(3)-equivariant graph neural network (GNN) approach that directly predicting the formation factor and effective permeability from micro-CT images. FFT solvers are established to compute both the formation factor and effective permeability, while the topology and geometry of the pore space are represented by a persistence-based Morse graph. Together, they constitute the database for training, validating, and testing the neural networks. While the graph and Euclidean convolutional approaches both employ neural networks to generate low-dimensional latent space to represent the features of the micro-structures for forward predictions, the SE(3) equivariant neural network is found to generate more accurate predictions, especially when the training data is limited. Numerical experiments have also shown that the new SE(3) approach leads to predictions that fulfill the material frame indifference whereas the predictions from classical convolutional neural networks (CNN) may suffer from spurious dependence on the coordinate system of the training data. Comparisons among predictions inferred from training the CNN and those from graph convolutional neural networks (GNN) with and without the equivariant constraint indicate that the equivariant graph neural network seems to perform better than the CNN and GNN without enforcing equivariant constraints.


title: Origin of Galactic sub-PeV diffuse gamma-ray emission: Constraints from high-energy neutrino observations

abstract: Very recently, diffuse gamma rays with $0.1\,{\rm PeV}<E_\gamma <1\,\rm PeV$ have been discovered from the Galactic disk by the Tibet air shower array and muon detector array (Tibet AS+MD array). While the measured sub-PeV flux may be compatible with the hadronic origin in the conventional Galactic cosmic ray propagation model, we find that it is in possible tension with the non-detection of Galactic neutrino emissions by the IceCube neutrino telescope. We further find that the presence of an extra cosmic ray component of relatively hard spectrum, which is probably related to the Cygnus Cocoon region and other PeV cosmic-ray sources in the Galactic disk, would alleviate the tension. This scenario implies the existence of an extreme accelerator of either protons or electrons beyond PeV in the Cygnus region, and predicts the continuation of the gamma-ray spectrum of Cygnus Cocoon up to 1 PeV with a possible hardening beyond $\sim 30-100\,$TeV.


title: A coevolutionary approach to deep multi-agent reinforcement learning

abstract: Traditionally, Deep Artificial Neural Networks (DNN's) are trained through gradient descent. Recent research shows that Deep Neuroevolution (DNE) is also capable of evolving multi-million-parameter DNN's, which proved to be particularly useful in the field of Reinforcement Learning (RL). This is mainly due to its excellent scalability and simplicity compared to the traditional MDP-based RL methods. So far, DNE has only been applied to complex single-agent problems. As evolutionary methods are a natural choice for multi-agent problems, the question arises whether DNE can also be applied in a complex multi-agent setting. In this paper, we describe and validate a new approach based on Coevolution. To validate our approach, we benchmark two Deep Coevolutionary Algorithms on a range of multi-agent Atari games and compare our results against the results of Ape-X DQN. Our results show that these Deep Coevolutionary algorithms (1) can be successfully trained to play various games, (2) outperform Ape-X DQN in some of them, and therefore (3) show that Coevolution can be a viable approach to solving complex multi-agent decision-making problems.


title: Exploring Polarization of Users Behavior on Twitter During the 2019 South American Protests

abstract: Research across different disciplines has documented the expanding polarization in social media. However, much of it focused on the US political system or its culturally controversial topics. In this work, we explore polarization on Twitter in a different context, namely the protest that paralyzed several countries in the South American region in 2019. By leveraging users' endorsement of politicians' tweets and hashtag campaigns with defined stances towards the protest (for or against), we construct a weakly labeled stance dataset with millions of users. We explore polarization in two related dimensions: language and news consumption patterns. In terms of linguistic polarization, we apply recent insights that leveraged machine translation methods, showing that the two communities speak consistently "different" languages, mainly along ideological lines (e.g., fascist translates to communist). Our results indicate that this recently-proposed methodology is also informative in different languages and contexts than originally applied. In terms of news consumption patterns, we cluster news agencies based on homogeneity of their user bases and quantify the observed polarization in its consumption. We find empirical evidence of the "filter bubble" phenomenon during the event, as we not only show that the user bases are homogeneous in terms of stance, but the probability that a user transitions from media of different clusters is low.


title: Implementation of quantum measurements using classical resources and only a single ancillary qubit

abstract: We propose a scheme to implement general quantum measurements, also known as Positive Operator Valued Measures (POVMs) in dimension $d$ using only classical resources and a single ancillary qubit. Our method is based on the probabilistic implementation of $d$-outcome measurements which is followed by postselection of some of the received outcomes. We conjecture that the success probability of our scheme is larger than a constant independent of $d$ for all POVMs in dimension $d$. Crucially, this conjecture implies the possibility of realizing arbitrary nonadaptive quantum measurement protocol on a $d$-dimensional system using a single auxiliary qubit with only a \emph{constant} overhead in sampling complexity. We show that the conjecture holds for typical rank-one Haar-random POVMs in arbitrary dimensions. Furthermore, we carry out extensive numerical computations showing success probability above a constant for a variety of extremal POVMs, including SIC-POVMs in dimension up to 1299. Finally, we argue that our scheme can be favourable for the experimental realization of POVMs, as noise compounding in circuits required by our scheme is typically substantially lower than in the standard scheme that directly uses Naimark's dilation theorem.


title: An Efficient Algorithm for Deep Stochastic Contextual Bandits

abstract: In stochastic contextual bandit (SCB) problems, an agent selects an action based on certain observed context to maximize the cumulative reward over iterations. Recently there have been a few studies using a deep neural network (DNN) to predict the expected reward for an action, and the DNN is trained by a stochastic gradient based method. However, convergence analysis has been greatly ignored to examine whether and where these methods converge. In this work, we formulate the SCB that uses a DNN reward function as a non-convex stochastic optimization problem, and design a stage-wise stochastic gradient descent algorithm to optimize the problem and determine the action policy. We prove that with high probability, the action sequence chosen by this algorithm converges to a greedy action policy respecting a local optimal reward function. Extensive experiments have been performed to demonstrate the effectiveness and efficiency of the proposed algorithm on multiple real-world datasets.


title: A Dynamic Response Recovery Framework Using Ambient Synchrophasor Data

abstract: Wide-area dynamic studies are of paramount importance to ensure the stability and reliability of power grids. The rising deployment synchrophasor and other sensing technologies has made data-driven modeling and analysis possible using the synchronized fast-rate dynamic measurements. This paper presents a general model-free framework of inferring the grid dynamic responses using the ubiquitous ambient data collected during normal grid operations. Building upon the second-order dynamic model, we have established the connection from the cross-correlation of various types of angle, frequency, and line flow data at any two locations, to their corresponding dynamic responses. The theoretical results enabled a fully data-driven framework for estimating the latter using real-time ambient data. Numerical results using the WSCC 9-bus system and a synthetic 2000-bus Texas system have demonstrated the effectiveness of proposed approaches for dynamic modeling of realistic power systems.


title: Solving DWF Dirac Equation Using Multi-splitting Preconditioned Conjugate Gradient with Tensor Cores on NVIDIA GPUs

abstract: We show that using the multi-splitting algorithm as a preconditioner for the domain wall Dirac linear operator, arising in lattice QCD, effectively reduces the inter-node communication cost, at the expense of performing more on-node floating point and memory operations. Correctly including the boundary \textit{snake} terms, the preconditioner is implemented in the QUDA framework, where it is found that utilizing kernel fusion and the tensor cores on NVIDIA GPUs is necessary to achieve a sufficiently performant preconditioner. A reduced-dimension (reduced-$L_s$) strategy is also proposed and tested for the preconditioner. We find the method achieves lower time to solution than regular CG at high node count despite the additional local computational requirements from the preconditioner. This method could be useful for supercomputers with more on-node flops and memory bandwidth than inter-node communication bandwidth.


title: Torsion theories and coverings of V-groups

abstract: For a commutative, unital and integral quantale V, we generalize to V-groups the results developed by Gran and Michel for preordered groups. We first of all show that, in the category V-Grp of V-groups, there exists a torsion theory whose torsion and torsion-free subcategories are given by those of indiscrete and separated V-groups, respectively. It turns out that this torsion theory induces a monotone-light factorization system that we characterize, and it is then possible to describe the coverings in V-Grp. We next classify these coverings as internal actions of a Galois groupoid. Finally, we observe that the subcategory of separated V-groups is also a torsion-free subcategory for a pretorsion theory whose torsion subcategory is the one of symmetric V-groups. As recently proved by Clementino and Montoli, this latter category is actually not only coreflective, as it is the case for any torsion subcategory, but also reflective.


title: Secure and Privacy-Preserving Stored Surveillance Video Sharing atop Permissioned Blockchain

abstract: At present, more than a billion closed-circuit television (CCTV) cameras are watching the world. These cameras garner a lot of visual information that is often processed and stored in remote and centralized cloud servers. Multiple occasions have revealed that this traditional approach is plagued with security and privacy breaches. The breaches could be the interception of raw videos while in transit to distant surveillance analytics centers (SAC), infiltration to cameras and network video records (NVR), or abuse of cameras and stored videos. Hence, the traditional video surveillance system (VSS) cannot guarantee the protection of the privacy of individuals caught on CCTV cameras. Wherefore, this paper proposes a Secure and Privacy-preserving Stored surveillance video sharing (SePriS) mechanism for authorized users/nodes based on smart contracts, blockchain (BC), and the enciphering of video frames using DAB, a mechanism developed based on discrete cosine transform (DCT), advanced encryption standard (AES), and block shuffling (BS) algorithm. The BC-based solution creates an environment auspicious for creating decentralized, reliable SACs and storage sites with secure and privacy-aware sharing of stored surveillance videos across SAC nodes and by law enforcers, police departments, and courts securely connected to the SAC nodes. The experiments and analyses validate that the proposed BC-based SePriS solution achieves the design purpose.


title: Stationary solutions for fast flavor oscillations of a homogeneous dense neutrino gas

abstract: We present a method to find the stationary solutions for fast flavor oscillations of a homogeneous dense neutrino gas. These solutions correspond to collective rotation of all neutrino polarization vectors around a fixed axis in the flavor space on average, and are conveniently studied in the co-rotating frame. We show that these solutions can account for the numerical results of explicit evolution calculations, and that even with the simplest assumption of adiabatic evolution, they can provide the average survival probabilities to good approximation. We also discuss improvement of these solutions and their use as estimates of the effects of fast oscillations in astrophysical environments.


title: A MeerKAT view on galaxy clusters: a radio-optical study of Abell 1300 and MACS J1931.8--2634

abstract: In this paper we present results from a radio-optical study of the galaxy populations of the galaxy clusters Abell 1300 and MACS J1931.8$-$2634, a merger and a relaxed system respectively both located at $z \sim 0.3$, aimed at finding evidence of merger-induced radio emission. Radio observations are taken at 1.28 GHz with the MeerKAT interferometer during its early-stage commissioning phase, and combined with archive optical data. We generated catalogues containing 107 and 162 radio sources in the A$~$1300 and MACS J1931.8--2634 cluster fields respectively, above a 0.2 mJy threshold and within a 30~arcmin radius from the cluster centre (corresponding to 8.1 and 8.8 Mpc respectively). By cross-correlating the radio and optical catalogues, and including spectroscopic information, 9 and 6 sources were found to be cluster members and used to construct the radio luminosity functions respectively for both clusters. The comparison of the radio source catalogues between the two cluster fields leads to a marginal difference, with a $2\sigma$ statistical significance. We derived the radio luminosity function at 1.28 GHz in both clusters, in the power range $22.81 < \rm {log~P_{1.28~GHz}~(W/Hz)} < 25.95$, and obtained that in A 1300 the radio luminosity function averaged over the full radio power interval is only $3.3 \pm 1.9$ times higher than the MACS J1931.8--2634 one, suggesting no statistical difference in their probability to host nuclear radio emission. We conclude that, at least for the two clusters studied here, the role of cluster mergers in affecting the statistical properties of the radio galaxy population is negligible.


title: The shortest confidence interval for Poisson mean

abstract: The existence of the shortest confidence interval for Poisson mean is shown. The method of obtaining such an interval is presented as well.


title: Geometric flow equations for the number of space-time dimensions

abstract: In this paper we consider new geometric flow equations, called D-flow, which describe the variation of space-time geometries under the change of the number of dimensions. The D-flow is originating from the non-trivial dependence of the volume of space-time manifolds on the number of space-time dimensions and it is driven by certain curvature invariants. We will work out specific examples of D-flow equations and their solutions for the case of D-dimensional spheres and Freund-Rubin Compactification. The discussion of the paper is motivated from recent swampland considerations, where the number $D$ of space-time dimensions is treated as a new swampland parameter.


title: Where and What? Examining Interpretable Disentangled Representations

abstract: Capturing interpretable variations has long been one of the goals in disentanglement learning. However, unlike the independence assumption, interpretability has rarely been exploited to encourage disentanglement in the unsupervised setting. In this paper, we examine the interpretability of disentangled representations by investigating two questions: where to be interpreted and what to be interpreted? A latent code is easily to be interpreted if it would consistently impact a certain subarea of the resulting generated image. We thus propose to learn a spatial mask to localize the effect of each individual latent dimension. On the other hand, interpretability usually comes from latent dimensions that capture simple and basic variations in data. We thus impose a perturbation on a certain dimension of the latent code, and expect to identify the perturbation along this dimension from the generated images so that the encoding of simple variations can be enforced. Additionally, we develop an unsupervised model selection method, which accumulates perceptual distance scores along axes in the latent space. On various datasets, our models can learn high-quality disentangled representations without supervision, showing the proposed modeling of interpretability is an effective proxy for achieving unsupervised disentanglement.


title: Rethinking and Improving the Robustness of Image Style Transfer

abstract: Extensive research in neural style transfer methods has shown that the correlation between features extracted by a pre-trained VGG network has a remarkable ability to capture the visual style of an image. Surprisingly, however, this stylization quality is not robust and often degrades significantly when applied to features from more advanced and lightweight networks, such as those in the ResNet family. By performing extensive experiments with different network architectures, we find that residual connections, which represent the main architectural difference between VGG and ResNet, produce feature maps of small entropy, which are not suitable for style transfer. To improve the robustness of the ResNet architecture, we then propose a simple yet effective solution based on a softmax transformation of the feature activations that enhances their entropy. Experimental results demonstrate that this small magic can greatly improve the quality of stylization results, even for networks with random weights. This suggests that the architecture used for feature extraction is more important than the use of learned weights for the task of style transfer.


title: Self-Adjusting Population Sizes for Non-Elitist Evolutionary Algorithms: Why Success Rates Matter

abstract: Evolutionary algorithms (EAs) are general-purpose optimisers that come with several parameters like the sizes of parent and offspring populations or the mutation rate. It is well known that the performance of EAs may depend drastically on these parameters. Recent theoretical studies have shown that self-adjusting parameter control mechanisms that tune parameters during the algorithm run can provably outperform the best static parameters in EAs on discrete problems. However, the majority of these studies concerned elitist EAs and we do not have a clear answer on whether the same mechanisms can be applied for non-elitist EAs. We study one of the best-known parameter control mechanisms, the one-fifth success rule, to control the offspring population size $\lambda$ in the non-elitist $(1,\lambda)$ EA. It is known that the $(1,\lambda)$ EA has a sharp threshold with respect to the choice of $\lambda$ where the expected runtime on the benchmark function OneMax changes from polynomial to exponential time. Hence, it is not clear whether parameter control mechanisms are able to find and maintain suitable values of $\lambda$. For OneMax we show that the answer crucially depends on the success rate $s$ (i.\,e.\ a one-$(s+1)$-th success rule). We prove that, if the success rate is appropriately small, the self-adjusting $(1,\lambda)$ EA optimises OneMax in $O(n)$ expected generations and $O(n \log n)$ expected evaluations, the best possible runtime for any unary unbiased black-box algorithm. A small success rate is crucial: we also show that if the success rate is too large, the algorithm has an exponential runtime on OneMax and other functions with similar characteristics.


title: Defining relations of quantum symmetric pair coideal subalgebras

abstract: We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantized enveloping algebras of Kac-Moody type. Our methods are based on star products on noncommutative $\mathbb{N}$-graded algebras. The resulting defining relations are expressed in terms of continuous q-Hermite polynomials and a new family of deformed Chebyshev polynomials.


title: Towards Collaborative Mobile Crowdsourcing

abstract: Mobile Crowdsourcing (MC) is an effective way of engaging large groups of smart devices to perform tasks remotely while exploiting their built-in features. It has drawn great attention in the areas of smart cities and urban computing communities to provide decentralized, fast, and flexible ubiquitous technological services. The vast majority of previous studies focused on non-cooperative MC schemes in Internet of Things (IoT) systems. Advanced collaboration strategies are expected to leverage the capability of MC services and enable the execution of more complicated crowdsourcing tasks. In this context, Collaborative Mobile Crowdsourcing (CMC) enables task requesters to hire groups of IoT devices' users that must communicate with each other and coordinate their operational activities in order to accomplish complex tasks. In this paper, we present and discuss the novel CMC paradigm in IoT. Then, we provide a detailed taxonomy to classify the different components forming CMC systems. Afterwards, we investigate the challenges in designing CMC tasks and discuss different team formation strategies involving the crowdsourcing platform and selected team leaders. We also analyze and compare the performances of certain proposed CMC recruitment algorithms. Finally, we shed the light on open research directions to leverage CMC service design.


title: Experimental high-dimensional Greenberger-Horne-Zeilinger entanglement with superconducting transmon qutrits

abstract: Multipartite entanglement is one of the core concepts in quantum information science with broad applications that span from condensed matter physics to quantum physics foundations tests. Although its most studied and tested forms encompass two-dimensional systems, current quantum platforms technically allow the manipulation of additional quantum levels. We report the experimental demonstration and certification of a high-dimensional multipartite entangled state in a superconducting quantum processor. We generate the three-qutrit Greenberger-Horne-Zeilinger state by designing the necessary pulses to perform high-dimensional quantum operations. We obtain the fidelity of $76\pm 1\%$, proving the generation of a genuine three-partite and three-dimensional entangled state. To this date, only photonic devices have been able to create and certify the entanglement of these high-dimensional states. Our work demonstrates that another platform, superconducting systems, is ready to exploit genuine high-dimensional entanglement and that a programmable quantum device accessed on the cloud can be used to design and execute experiments beyond binary quantum computation.


title: Confidence-Optimal Random Embeddings

abstract: The seminal result of Johnson and Lindenstrauss on random embeddings has been intensively studied in applied and theoretical computer science. Despite that vast body of literature, we still lack of complete understanding of statistical properties of random projections; a particularly intriguing question is: why are the theoretical bounds that far behind the empirically observed performance? Motivated by this question, this work develops Johnson-Lindenstrauss distributions with optimal, data-oblivious, statistical confidence bounds. These bounds are numerically best possible, for any given data dimension, embedding dimension, and distortion tolerance. They improve upon prior works in terms of statistical accuracy, as well as exactly determine the no-go regimes for data-oblivious approaches. Furthermore, the corresponding projection matrices are efficiently samplable. The construction relies on orthogonal matrices, and the proof uses certain elegant properties of the unit sphere. The following techniques introduced in this work are of independent interest: a) a compact expression for distortion in terms of singular eigenvalues of the projection matrix, b) a parametrization linking the unit sphere and the Dirichlet distribution and c) anti-concentration bounds for the Dirichlet distribution. Besides the technical contribution, the paper presents applications and numerical evaluation along with working implementation in Python.


title: Rainbow Thresholds

abstract: We extend a recent breakthrough result relating expectation thresholds and actual thresholds to include some rainbow versions.


title: Set superpartitions and superspace duality modules

abstract: The superspace ring $\Omega_n$ is a rank $n$ polynomial ring tensor a rank $n$ exterior algebra. Using an extension of the Vandermonde determinant to $\Omega_n$, the authors previously defined a family of doubly graded quotients $\mathbb{W}_{n,k}$ of $\Omega_n$ which carry an action of the symmetric group $\mathfrak{S}_n$ and satisfy a bigraded version of Poincar\'e Duality. In this paper, we examine the duality modules $\mathbb{W}_{n,k}$ in greater detail. We describe a monomial basis of $\mathbb{W}_{n,k}$ and give combinatorial formulas for its bigraded Hilbert and Frobenius series. These formulas involve new combinatorial objects called {\em ordered superpartitions}. These are ordered set partitions $(B_1 \mid \cdots \mid B_k)$ of $\{1,\dots,n\}$ in which the non-minimal elements of any block $B_i$ may be barred or unbarred.


title: On the significance of new physics in $b\to s\ell^+\ell^-$ decays

abstract: Motivated by deviations with respect to Standard Model predictions in $b\to s\ell^+\ell^-$ decays, we evaluate the global significance of the new physics hypothesis in this system by including the {\it look-elsewhere effect} for the first time. We estimate the trial-factor with pseudo-experiments and find that it can be as large as seven. We calculate the global significance for the new physics hypothesis by considering the most general description of a non-standard $b\to s\ell^+\ell^-$ amplitude of short-distance origin. Theoretical uncertainties are treated in a highly conservative way by absorbing the corresponding effects into a redefinition of the Standard Model amplitude. Using the most recent measurements of LHCb, ATLAS and CMS, we obtain the global significance to be $4.3$ standard deviations.


title: Augmented World Models Facilitate Zero-Shot Dynamics Generalization From a Single Offline Environment

abstract: Reinforcement learning from large-scale offline datasets provides us with the ability to learn policies without potentially unsafe or impractical exploration. Significant progress has been made in the past few years in dealing with the challenge of correcting for differing behavior between the data collection and learned policies. However, little attention has been paid to potentially changing dynamics when transferring a policy to the online setting, where performance can be up to 90% reduced for existing methods. In this paper we address this problem with Augmented World Models (AugWM). We augment a learned dynamics model with simple transformations that seek to capture potential changes in physical properties of the robot, leading to more robust policies. We not only train our policy in this new setting, but also provide it with the sampled augmentation as a context, allowing it to adapt to changes in the environment. At test time we learn the context in a self-supervised fashion by approximating the augmentation which corresponds to the new environment. We rigorously evaluate our approach on over 100 different changed dynamics settings, and show that this simple approach can significantly improve the zero-shot generalization of a recent state-of-the-art baseline, often achieving successful policies where the baseline fails.


title: Low Temperature Relaxation of Donor Bound Electron Spins in $^{28}$Si:P

abstract: We measure the spin-lattice relaxation of donor bound electrons in ultrapure, isotopically enriched, phosphorus-doped $^{28}$Si:P. The optical pump-probe experiments reveal at low temperatures extremely long spin relaxation times which exceed 20 h. The $^{28}$Si:P spin relaxation rate increases linearly with temperature in the regime below 1 K and shows a distinct transition to a T$^9$ dependence which dominates the spin relaxation between 2 and 4 K at low magnetic fields. The T$^7$ dependence reported for natural silicon is absent. At high magnetic fields, the spin relaxation is dominated by the magnetic field dependent single phonon spin relaxation process. This process is well documented for natural silicon at finite temperatures but the $^{28}$Si:P measurements validate additionally that the bosonic phonon distribution leads at very low temperatures to a deviation from the linear temperature dependence of $\Gamma$ as predicted by theory.


title: The Undecidability of Conditional Affine Information Inequalities and Conditional Independence Implication with a Binary Constraint

abstract: We establish the undecidability of conditional affine information inequalities, the undecidability of the conditional independence implication problem with a constraint that one random variable is binary, and the undecidability of the problem of deciding whether the intersection of the entropic region and a given affine subspace is empty. This is a step towards the conjecture on the undecidability of conditional independence implication. The undecidability is proved via a reduction from the periodic tiling problem (a variant of the domino problem). Hence, one can construct examples of the aforementioned problems that are independent of ZFC (assuming ZFC is consistent).


title: Classification of Frobenius Forms in five variables

abstract: We classify Frobenius forms, a special class of homogeneous polynomials in characteristic $p>0$, in up to five variables over an algebraically closed field. We also point out some of the similarities with quadratic forms.


title: What Kind of Person Wins the Turing Award?

abstract: Computer science has grown rapidly since its inception in the 1950s and the pioneers in the field are celebrated annually by the A.M. Turing Award. In this paper, we attempt to shed light on the path to influential computer scientists by examining the characteristics of the 72 Turing Award laureates. To achieve this goal, we build a comprehensive dataset of the Turing Award laureates and analyze their characteristics, including their personal information, family background, academic background, and industry experience. The FP-Growth algorithm is used for frequent feature mining. Logistic regression plot, pie chart, word cloud and map are generated accordingly for each of the interesting features to uncover insights regarding personal factors that drive influential work in the field of computer science. In particular, we show that the Turing Award laureates are most commonly white, male, married, United States citizen, and received a PhD degree. Our results also show that the age at which the laureate won the award increases over the years; most of the Turing Award laureates did not major in computer science; birth order is strongly related to the winners' success; and the number of citations is not as important as one would expect.


title: Anomalous beam transport through Gabor (plasma) lens prototype

abstract: An electron plasma lens is a cost-effective, compact, strong-focusing element that can ensure efficient capture of low-energy proton and ion beams from laser-driven sources. A Gabor lens prototype was built for high electron density operation at Imperial College London. The parameters of the stable operation regime of the lens and its performance during a beam test with 1.4 MeV protons are reported here. Narrow pencil beams were imaged on a scintillator screen 67 cm downstream of the lens. The lens converted the pencil beams into rings that show position-dependent shape and intensity modulation that are dependent on the settings of the lens. Characterisation of the focusing effect suggests that the plasma column exhibited an off-axis rotation similar to the $m=1$ diocotron instability. The association of the instability with the cause of the rings was investigated using particle tracking simulations.


title: Observing crossover between quantum speed limits

abstract: Quantum mechanics sets fundamental limits on how fast quantum states can be transformed in time. Two well-known quantum speed limits are the Mandelstam-Tamm and the Margolus-Levitin bounds, which relate the maximum speed of evolution to the system's energy uncertainty and mean energy, respectively. Here, we test concurrently both limits in a multi-level system by following the motion of a single atom in an optical trap using fast matter wave interferometry. Our data reveal two different regimes: one where the Mandelstam-Tamm limit constrains the evolution at all times, and a second where a crossover to the Margolus-Levitin limit is manifested at longer times. We take a geometric approach to quantify the deviation from the speed limit, measuring how much the matter wave's quantum evolution deviates from the geodesic path in the Hilbert space of the multi-level system. Our results, establishing quantum speed limits beyond the simple two-level system, are important to understand the ultimate performance of quantum computing devices and related advanced quantum technologies.


title: Analysis of algebraic flux correction for semi-discrete advection problems

abstract: We present stability and error analysis for algebraic flux correction schemes based on monolithic convex limiting. For a continuous finite element discretization of the time-dependent advection equation, we prove global-in-time existence and the worst-case convergence rate of 1/2 w.r.t. the L2 error of the spatial semi-discretization. Moreover, we address the important issue of stabilization for raw antidiffusive fluxes. Our a priori error analysis reveals that their limited counterparts should satisfy a generalized coercivity condition. We introduce a limiter for enforcing this condition in the process of flux correction. To verify the results of our theoretical studies, we perform numerical experiments for simple one-dimensional test problems. The methods under investigation exhibit the expected behavior in all numerical examples. In particular, the use of stabilized fluxes improves the accuracy of numerical solutions and coercivity enforcement often becomes redundant.


title: Topological weak mixing and diffusion at all times for a class of Hamiltonian systems

abstract: We present examples of nearly integrable analytic Hamiltonian systems with several strong diffusion properties: topological weak mixing and diffusion at all times. These examples are obtained by AbC constructions with several frequencies.


title: Generalization bounds via distillation

abstract: This paper theoretically investigates the following empirical phenomenon: given a high-complexity network with poor generalization bounds, one can distill it into a network with nearly identical predictions but low complexity and vastly smaller generalization bounds. The main contribution is an analysis showing that the original network inherits this good generalization bound from its distillation, assuming the use of well-behaved data augmentation. This bound is presented both in an abstract and in a concrete form, the latter complemented by a reduction technique to handle modern computation graphs featuring convolutional layers, fully-connected layers, and skip connections, to name a few. To round out the story, a (looser) classical uniform convergence analysis of compression is also presented, as well as a variety of experiments on cifar and mnist demonstrating similar generalization performance between the original network and its distillation.


title: Common Limitations of Image Processing Metrics: A Picture Story

abstract: While the importance of automatic image analysis is continuously increasing, recent meta-research revealed major flaws with respect to algorithm validation. Performance metrics are particularly key for meaningful, objective, and transparent performance assessment and validation of the used automatic algorithms, but relatively little attention has been given to the practical pitfalls when using specific metrics for a given image analysis task. These are typically related to (1) the disregard of inherent metric properties, such as the behaviour in the presence of class imbalance or small target structures, (2) the disregard of inherent data set properties, such as the non-independence of the test cases, and (3) the disregard of the actual biomedical domain interest that the metrics should reflect. This living dynamically document has the purpose to illustrate important limitations of performance metrics commonly applied in the field of image analysis. In this context, it focuses on biomedical image analysis problems that can be phrased as image-level classification, semantic segmentation, instance segmentation, or object detection task. The current version is based on a Delphi process on metrics conducted by an international consortium of image analysis experts from more than 60 institutions worldwide.


title: New Methods of Isochrone Mechanics

abstract: Isochrone potentials, as defined by Michel H\'enon in the fifties, are spherically symmetric potentials within which a particle orbits with a radial period that is independent of its angular momentum. Isochrone potentials encompass the Kepler and harmonic potential, along with many other. In this article, we revisit the classical problem of motion in isochrone potentials, from the point of view of Hamiltonian mechanics. First, we use a particularly well-suited set of action-angle coordinates to solve the dynamics, showing that the well-known Kepler equation and eccentric anomaly parametrisation are valid for any isochrone orbit (and not just Keplerian ellipses). Second, by using the powerful machinery of Birkhoff normal forms, we provide a self-consistent proof of the isochrone theorem, that relates isochrone potentials to parabolae in the plane, which is the basis of all literature on the subject. Along the way, we show how some fundamental results of celestial mechanics such as the Bertrand theorem and Kepler's third law are naturally encoded in the formalism.


title: Hairy Black Holes in Disformal Scalar-Tensor Gravity Theories

abstract: We show that the no-hair theorem for scalar-tensor theories with bi-metric structure can be evaded. We find that hairy black hole solutions in the presence of an electric charge admit AdS, flat or dS asymptotics with spherical, flat, or hyperbolic base manifolds. Spherically symmetric, asymptotically flat black holes and asymptotically AdS configurations with any horizon topology are compatible with a regular scalar field on and outside the event horizon. The latter presents a rich thermodynamic behavior induced by the disformal factor that enters as a coupling parameter in the theory. In the grand canonical ensemble, there is an interplay of stability and first-order phase transitions between thermal AdS, the hairy black hole, and the Reissner-Nordstr\"om-AdS black hole, whose thermodynamic phase space resembles a solid-liquid-gas system, with an electric potential playing the role of pressure. In close analogy, there is a triple point where the three phases coexist, being equally probable.


title: Guiding large-scale management of invasive species using network metrics

abstract: Complex socio-environmental interdependencies drive biological invasions, causing damages across large spatial scales. For widespread invasions, targeting of management activities based on optimization approaches may fail due to computational or data constraints. Here we evaluate an alternative approach that embraces complexity by representing the invasion as a network and using network structure to inform management locations. We compare optimal versus network-guided invasive species management at a landscape-scale, considering siting of boat decontamination stations targeting 1.6 million boater movements among 9,182 lakes in Minnesota, USA. Studying performance for 58 counties, we find that when full information is known on invasion status and boater movements, the best-performing network-guided metric achieves a median and lower quartile performance of 100% of optimal. We also find that performance remains relatively high using different network metrics or with less information (median above 80% and lower quartile above 60% of optimal for most metrics), but is more variable, particularly at the lower quartile. Additionally, performance is generally stable across counties with varying lake counts, suggesting viability for large-scale invasion management.


title: Vanishing viscosity for linear-quadratic mean-field control problems

abstract: We consider a mean-field control problem with linear dynamics and quadratic control. We apply the vanishing viscosity method: we add a (regularizing) heat diffusion with a small viscosity coefficient and let such coefficient go to zero. The main result is that, in this case, the limit optimal control is exactly the optimal control of the original problem.


title: Fruit Quality and Defect Image Classification with Conditional GAN Data Augmentation

abstract: Contemporary Artificial Intelligence technologies allow for the employment of Computer Vision to discern good crops from bad, providing a step in the pipeline of selecting healthy fruit from undesirable fruit, such as those which are mouldy or gangrenous. State-of-the-art works in the field report high accuracy results on small datasets (<1000 images), which are not representative of the population regarding real-world usage. The goals of this study are to further enable real-world usage by improving generalisation with data augmentation as well as to reduce overfitting and energy usage through model pruning. In this work, we suggest a machine learning pipeline that combines the ideas of fine-tuning, transfer learning, and generative model-based training data augmentation towards improving fruit quality image classification. A linear network topology search is performed to tune a VGG16 lemon quality classification model using a publicly-available dataset of 2690 images. We find that appending a 4096 neuron fully connected layer to the convolutional layers leads to an image classification accuracy of 83.77%. We then train a Conditional Generative Adversarial Network on the training data for 2000 epochs, and it learns to generate relatively realistic images. Grad-CAM analysis of the model trained on real photographs shows that the synthetic images can exhibit classifiable characteristics such as shape, mould, and gangrene. A higher image classification accuracy of 88.75% is then attained by augmenting the training with synthetic images, arguing that Conditional Generative Adversarial Networks have the ability to produce new data to alleviate issues of data scarcity. Finally, model pruning is performed via polynomial decay, where we find that the Conditional GAN-augmented classification network can retain 81.16% classification accuracy when compressed to 50% of its original size.


title: On the regularity of very weak solutions for an elliptic coupled system of liquid crystal flows

abstract: We consider here an elliptic coupled system describing the dynamics of liquid crystals flows. This system is posed on the whole n-dimensional space. We introduce first the notion of very weak solutions for this system. Then, within the fairly general framework of the Morrey spaces, we derive some sufficient conditions on the very weak solutions which improve their regularity. As a bi-product, we also prove a new regularity criterium for the time-independing Navier-Stokes equations.


title: Transition fronts and their universality classes

abstract: Steadily moving transition (switching) fronts, bringing local transformation, symmetry breaking or collapse, are among the most important dynamic coherent structures. The nonlinear mechanical waves of this type play a major role in many modern applications involving the transmission of mechanical information in systems ranging from crystal lattices and metamaterials to macroscopic civil engineering structures. While many different classes of such dynamic fronts are known, the interrelation between them remains obscure. Here we consider a minimal prototypical mechanical system, the Fermi-Pasta-Ulam (FPU) chain with piecewise linear nonlinearity, and show that there are exactly three distinct classes of switching fronts, which differ fundamentally in how (and whether) they produce and transport oscillations. The fact that all three types of fronts could be obtained as explicit Wiener-Hopf solutions of the same discrete FPU problem, allows one to identify the exact mathematical origin of the particular features of each class. To make the underlying Hamiltonian dynamics analytically transparent, we construct a minimal quasicontinuum approximation of the FPU model that captures all three classes of the fronts and interrelation between them. This approximation is of higher order than conventional ones (KdV, Boussinesq) and involves mixed space-time derivatives. The proposed framework unifies previous attempts to classify the mechanical transition fronts as radiative, dispersive, topological or compressive and categorizes them instead as different types of dynamic lattice defects.


title: The over-topos at a model

abstract: With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the associated sheaf topos, which we call the over-topos at the given model, admits a canonical totally connected morphism to the given base topos and satisfies a universal property generalizing that of the colocalization of a topos at a point. We first treat the case of the base topos of sets, where global elements are sufficient to describe our site of definition; in this context, we also introduce a geometric theory classified by the over-topos, whose models can be identified with the model homomorphisms towards the (internalizations of the) model. Then we formulate and prove the general statement over an arbitrary topos, which involves the stack of generalized elements of the model. Lastly, we investigate the geometric and 2-categorical aspects of the over-topos construction, exhibiting it as a bilimit in the bicategory of Grothendieck toposes.


title: Geometric unfolding of synchronization dynamics on networks

abstract: We study the synchronized state in a population of network-coupled, heterogeneous oscillators. In particular, we show that the steady-state solution of the linearized dynamics may be written as a geometric series whose subsequent terms represent different spatial scales of the network. Namely, each addition term incorporates contributions from wider network neighborhoods. We prove that this geometric expansion converges for arbitrary frequency distributions and for both undirected and directed networks provided that the adjacency matrix is primitive. We also show that the error in the truncated series grows geometrically with the second largest eigenvalue of the normalized adjacency matrix, analogously to the rate of convergence to the stationary distribution of a random walk. Lastly, we derive a local approximation for the synchronized state by truncating the spatial series, at the first neighborhood term, to illustrate the practical advantages of our approach.


title: CAPRI-Net: Learning Compact CAD Shapes with Adaptive Primitive Assembly

abstract: We introduce CAPRI-Net, a neural network for learning compact and interpretable implicit representations of 3D computer-aided design (CAD) models, in the form of adaptive primitive assemblies. Our network takes an input 3D shape that can be provided as a point cloud or voxel grids, and reconstructs it by a compact assembly of quadric surface primitives via constructive solid geometry (CSG) operations. The network is self-supervised with a reconstruction loss, leading to faithful 3D reconstructions with sharp edges and plausible CSG trees, without any ground-truth shape assemblies. While the parametric nature of CAD models does make them more predictable locally, at the shape level, there is a great deal of structural and topological variations, which present a significant generalizability challenge to state-of-the-art neural models for 3D shapes. Our network addresses this challenge by adaptive training with respect to each test shape, with which we fine-tune the network that was pre-trained on a model collection. We evaluate our learning framework on both ShapeNet and ABC, the largest and most diverse CAD dataset to date, in terms of reconstruction quality, shape edges, compactness, and interpretability, to demonstrate superiority over current alternatives suitable for neural CAD reconstruction.


title: Hot planets around cool stars -- two short-period mini-Neptunes transiting the late K-dwarf TOI-1260

abstract: We present the discovery and characterization of two sub-Neptunes in close orbits, as well as a tentative outer planet of a similar size, orbiting TOI-1260 - a low metallicity K6V dwarf star. Photometry from TESS yields radii of $R_{\rm b} = 2.33 \pm 0.10$ $R_{\oplus}$ and $R_{\rm c} = 2.82 \pm 0.15$ $R_{\oplus}$, and periods of 3.13 and 7.49 days for TOI-1260b and TOI-1260c, respectively. We combined the TESS data with a series of ground-based follow-up observations to characterize the planetary system. From HARPS-N high-precision radial velocities we obtain $M_{\rm b} = 8.61_{ - 1.46 } ^ { + 1.36 }$ $M_{\oplus}$ and $M_{\rm c} = 11.84_{ - 3.23 } ^ { + 3.38 }$ $M_{\oplus}$. The star is moderately active with a complex activity pattern, which necessitated the use of Gaussian process regression for both the light curve detrending and the radial velocity modelling, in the latter case guided by suitable activity indicators. We successfully disentangle the stellar-induced signal from the planetary signals, underlining the importance and usefulness of the Gaussian Process approach. We test the system's stability against atmospheric photoevaporation and find that the TOI-1260 planets are classic examples of the structure and composition ambiguity typical for the $2-3$ $R_{\oplus}$ range.


title: Dynamic Matching Markets in Power Grid: Concepts and Solution using Deep Reinforcement Learning

abstract: Traditional bulk load flexibility options, such as load shifting and load curtailment, for managing uncertainty in power markets limit the diversity of options and ignore the preferences of the individual loads, thus reducing efficiency and welfare. This paper proposes an alternative to bulk load flexibility options for managing uncertainty in power markets: a reinforcement learning based dynamic matching market. We propose a novel hybrid learning-based model for maximizing social welfare in the dynamic matching market. The key features of our model is a fixed rule-based function and a learnable component that can be trained by data gathered online with no prior knowledge or expert supervision. The output of the learnable component is a probability distribution over the matching decisions for the individual customers. The proposed hybrid model enables the learning algorithm to find an effective matching policy that simultaneously satisfies the customers' servicing preferences. The simulations show that the learning algorithm learns an effective matching policy for different generation-consumption profiles and exhibits better performance compared to standard online matching heuristics such as Match on Arrival, Match to the Highest, and Match to the Earliest Deadline policies.


title: Spectrally-resolved four-photon interference of time-frequency entangled photons

abstract: Pairs of photons entangled in their time-frequency degree of freedom are of great interest in quantum optics research and applications, due to their relative ease of generation and their high capacity for encoding information. Here we analyze, both theoretically and experimentally, the behavior of phase-insensitive spectrally-resolved interferences arising from two pairs of time-frequency entangled photons. At its core, this is a multimode entanglement swapping experiment, whereby a spectrally resolved joint measurement on the idler photons from both pairs results in projecting the signal photons onto a Bell state whose form depends on the measurement outcome. Our analysis is a thorough exploration of what can be achieved using time-frequency entanglement and spectrally-resolved Bell-state measurements.


title: Muon $(g-2)$ and XENON1T Excess with Boosted Dark Matter in $L_{\mu}-L_{\tau}$ Model

abstract: Motivated by the growing evidence for lepton flavour universality violation after the first results from Fermilab's muon $(g-2)$ measurement, we revisit one of the most widely studied anomaly free extensions of the standard model namely, gauged $L_{\mu}-L_{\tau}$ model, known to be providing a natural explanation for muon $(g-2)$. We also incorporate the presence of dark matter (DM) in this model in order to explain the recently reported electron recoil excess by the XENON1T collaboration. We show that the same neutral gauge boson responsible for generating the required muon $(g-2)$ can also mediate interactions between electron and dark fermions boosted by dark matter annihilation. The required DM annihilation rate into dark fermion require a hybrid setup of thermal and non-thermal mechanisms to generate DM relic density. The tightly constrained parameter space from all requirements remain sensitive to ongoing and near future experiments, keeping the scenario very predictive.


title: End-to-End Mandarin Tone Classification with Short Term Context Information

abstract: In this paper, we propose an end-to-end Mandarin tone classification method from continuous speech utterances utilizing both the spectrogram and the short-term context information as the input. Both spectrograms and context segment features are used to train the tone classifier. We first divide the spectrogram frames into syllable segments using force alignment results produced by an ASR model. Then we extract the short-term segment features to capture the context information across multiple syllables. Feeding both the spectrogram and the short-term context segment features into an end-to-end model could significantly improve the performance. Experiments are performed on a large-scale open-source Mandarin speech dataset to evaluate the proposed method. Results show that this method improves the classification accuracy from 79.5% to 92.6% on the AISHELL3 database.


title: Towards Algorithmic Transparency: A Diversity Perspective

abstract: As the role of algorithmic systems and processes increases in society, so does the risk of bias, which can result in discrimination against individuals and social groups. Research on algorithmic bias has exploded in recent years, highlighting both the problems of bias, and the potential solutions, in terms of algorithmic transparency (AT). Transparency is important for facilitating fairness management as well as explainability in algorithms; however, the concept of diversity, and its relationship to bias and transparency, has been largely left out of the discussion. We reflect on the relationship between diversity and bias, arguing that diversity drives the need for transparency. Using a perspective-taking lens, which takes diversity as a given, we propose a conceptual framework to characterize the problem and solution spaces of AT, to aid its application in algorithmic systems. Example cases from three research domains are described using our framework.


title: Strongly anisotropic spin dynamics in magnetic topological insulators

abstract: The recent discovery of magnetic topological insulators has opened new avenues to explore exotic states of matter that can emerge from the interplay between topological electronic states and magnetic degrees of freedom, be it ordered or strongly fluctuating. Motivated by the effects that the dynamics of the magnetic moments can have on the topological surface states, we investigate the magnetic fluctuations across the (MnBi$_{\text{2}}$Te$_{\text{4}}$)(Bi$_{\text{2}}$Te$_{\text{3}}$)$_{\text{n}}$ family. Our paramagnetic electron spin resonance experiments reveal contrasting Mn spin dynamics in different compounds, which manifests in a strongly anisotropic Mn spin relaxation in MnBi$_{\text{2}}$Te$_{\text{4}}$ while being almost isotropic in MnBi$_{\text{4}}$Te$_{\text{7}}$. Our density-functional calculations explain these striking observations in terms of the sensitivity of the local electronic structure to the Mn spin-orientation, and indicate that the anisotropy of the magnetic fluctuations can be controlled by the carrier density, which may directly affect the electronic topological surface states.


title: Empirical formulae to describe some physical properties of small groups of protogalaxies with multiplicity

abstract: By means of identical cubic elements, we generate a partition of a volume in which a particle-based cosmological simulation is carried out. In each cubic element, we determine the gas particles with a normalized density greater than an arbitrarily chosen density threshold. By using a proximity parameter, we calculate the neighboring cubic elements and generate a list of neighbors. By imposing dynamic conditions on the gas particles, we identify gas clumps and their neighbors, so that we calculate and fit some properties of the groups so identified, including the mass, size and velocity dispersion, in terms of their multiplicity (here defined simply as the number of member galaxies). Finally, we report the value of the ratio of kinetic energy to gravitational energy of such dense gas clumps, which will be useful as initial conditions in simulations of gravitational collapse of gas clouds and clusters of gas clouds.


title: Extraction and Analysis of Highway On-Ramp Merging Scenarios from Naturalistic Trajectory Data

abstract: Connected and Automated Vehicles (CAVs) are envisioned to transform the future industrial and private transportation sectors. However, due to the system's enormous complexity, functional verification and validation of safety aspects are essential before the technology merges into the public domain. Therefore, in recent years, a scenario-driven approach has gained acceptance, emphasizing the requirement of a solid data basis of scenarios. The large-scale research facility Test Bed Lower Saxony (TFNDS) enables the provision of ample information for a database of scenarios on highways. For that purpose, however, the scenarios of interest must be identified and extracted from the collected Naturalistic Trajectory Data (NTD). This work addresses this problem and proposes a methodology for onramp scenario extraction, enabling scenario categorization and assessment. An Hidden Markov Model (HMM) and Dynamic Time Warping (DTW) is utilized for extraction and a decision tree with the Surrogate Measure of Safety (SMoS) Post Enroachment Time (PET) for categorization and assessment. The efficacy of the approach is shown with a dataset of NTD collected on the TFNDS.


title: Pressure-induced high-temperature superconductivity retained at ambient

abstract: To raise the superconducting-transition temperature (Tc) has been the driving force for the long, sustained effort in superconductivity research. Recent progress in hydrides with Tcs up to 287 K under 267 GPa has heralded a new era of room-temperature superconductivity (RTS) with immense technological promise. Indeed, RTS has lifted the temperature barrier for the ubiquitous application of superconductivity. Unfortunately, formidable pressure is required to attain such high Tcs. The most effective relief to this impasse is to remove the pressure needed while retaining the pressure-induced Tc without pressure. Here we show such a possibility in the pure and doped high-temperature superconductor (HTS) FeSe by retaining, at ambient via pressure-quenching (PQ), its Tc up to 37 K (quadrupling that of a pristine FeSe) and other pressure-induced phases. We have also observed that some phases remain stable without pressure at up to 300 K and for at least 7 days. The observations are in qualitative agreement with our ab initio simulations using the solid-state nudged elastic band (SSNEB) method. We strongly believe that the PQ technique developed here can be adapted to the RTS hydrides and other materials of value with minimal effort.


title: Number-phase uncertainty relations and bipartite entanglement detection in spin ensembles

abstract: We present a method to detect bipartite entanglement based on number-phase-like uncertainty relations in split spin ensembles. First, we derive an uncertainty relation that plays the role of a number-phase uncertainty for spin systems. It is important that the relation is given with well-defined and easily measurable quantities, and that it does not need assuming infinite dimensional systems. Based on this uncertainty relation, we show how to detect bipartite entanglement in an unpolarized Dicke state of many spin-1/2 particles. The particles are split into two subensembles, then collective angular momentum measurements are carried out locally on the two parts. First, we present a bipartite Einstein-Podolsky-Rosen (EPR) steering criterion. Then, we present an entanglement condition that can detect bipartite entanglement in such systems. We demonstrate the utility of the criteria by applying them to a recent experiment given in K. Lange et al. [Science 360, 416 (2018)] realizing a Dicke state in a Bose-Einstein condensate of cold atoms, in which the two subensembles were spatially separated from each other. Our methods also work well if split spin-squeezed states are considered. We show in a comprehensive way how to handle experimental imperfections, such as the nonzero particle number variance including the partition noise, and the fact that, while ideally BECs occupy a single spatial mode, in practice the population of other spatial modes cannot be fully suppressed.


title: Around the Chevalley-Weil Theorem

abstract: We present a proof of the Chevalley-Weil Theorem that is somewhat different from the proofs appearing in the literature and with somewhat weaker hypotheses, of purely topological type. We also provide a discussion of the assumptions, and an application to solutions of generalized Fermat equations, where our statement allows to simplify the original argument of Darmon and Granville.


title: Grundy domination of forests and the strong product conjecture

abstract: A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $\gamma_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $\gamma_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Bre\v{s}ar, Cs. Bujt\'{a}s, T. Gologranc, S. Klav\v{z}ar, G. Ko\v{s}mrlj, B. Patk\'{o}s, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $\gamma_{gr}(G \boxtimes H) = \gamma_{gr}(G) \gamma_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $\gamma_{gr}(G)\le \gamma_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.


title: View-Guided Point Cloud Completion

abstract: This paper presents a view-guided solution for the task of point cloud completion. Unlike most existing methods directly inferring the missing points using shape priors, we address this task by introducing ViPC (view-guided point cloud completion) that takes the missing crucial global structure information from an extra single-view image. By leveraging a framework that sequentially performs effective cross-modality and cross-level fusions, our method achieves significantly superior results over typical existing solutions on a new large-scale dataset we collect for the view-guided point cloud completion task.


title: A stochastic homotopy tracking algorithm for parametric systems of nonlinear equations

abstract: The homotopy continuation method has been widely used in solving parametric systems of nonlinear equations. But it can be very expensive and inefficient due to singularities during the tracking even though both start and end points are non-singular. The current tracking algorithms focus on the adaptivity of the stepsize by estimating the distance to the singularities but cannot avoid these singularities during the tracking. We present a stochastic homotopy tracking algorithm that perturbs the original parametric system randomly each step to avoid the singularities. We then prove that the stochastic solution path introduced by this new method is still closed to the original solution path theoretically. Moreover, several homotopy examples have been tested to show the efficiency of the stochastic homotopy tracking method.