title: Primal-dual extrapolation methods for monotone inclusions under local Lipschitz continuity with applications to variational inequality, conic constrained saddle point, and convex conic optimization problems

abstract: In this paper we consider a class of structured monotone inclusion (MI) problems that consist of finding a zero in the sum of two monotone operators, in which one is maximal monotone while another is locally Lipschitz continuous. In particular, we first propose a primal-dual extrapolation (PDE) method for solving a structured strongly MI problem by modifying the classical forward-backward splitting method by using a point and operator extrapolation technique, in which the parameters are adaptively updated by a backtracking line search scheme. The proposed PDE method is almost parameter-free, equipped with a verifiable termination criterion, and enjoys an operation complexity of ${\cal O}(\log \epsilon^{-1})$, measured by the amount of fundamental operations consisting only of evaluations of one operator and resolvent of another operator, for finding an $\epsilon$-residual solution of the structured strongly MI problem. We then propose another PDE method for solving a structured non-strongly MI problem by applying the above PDE method to approximately solve a sequence of structured strongly MI problems. The resulting PDE method is parameter-free, equipped with a verifiable termination criterion, and enjoys an operation complexity of ${\cal O}(\epsilon^{-1}\log \epsilon^{-1})$ for finding an $\epsilon$-residual solution of the structured non-strongly MI problem. As a consequence, we apply the latter PDE method to convex conic optimization, conic constrained saddle point, and variational inequality problems, and obtain complexity results for finding an $\epsilon$-KKT or $\epsilon$-residual solution of them under local Lipschitz continuity. To the best of our knowledge, no prior studies were conducted to investigate methods with complexity guarantees for solving the aforementioned problems under local Lipschitz continuity. All the complexity results obtained in this paper are entirely new.


title: Multilevel simulation of hard-sphere mixtures

abstract: We present a multilevel Monte Carlo simulation method for analysing multi-scale physical systems via a hierarchy of coarse-grained representations, to obtain numerically-exact results, at the most detailed level. We apply the method to a mixture of size-asymmetric hard spheres, in the grand canonical ensemble. A three-level version of the method is compared with a previously-studied two-level version. The extra level interpolates between the full mixture and a coarse-grained description where only the large particles are present -- this is achieved by restricting the small particles to regions close to the large ones. The three-level method improves the performance of the estimator, at fixed computational cost. We analyse the asymptotic variance of the estimator, and discuss the mechanisms for the improved performance.


title: A Fast Randomized Algorithm for Computing an Approximate Null Space

abstract: Randomized algorithms in numerical linear algebra can be fast, scalable and robust. This paper examines the effect of sketching on the right singular vectors corresponding to the smallest singular values of a tall-skinny matrix. We analyze a fast algorithm by Gilbert, Park and Wakin for finding the trailing right singular vectors using randomization by examining the quality of the solution using multiplicative perturbation theory. For an $m\times n$ ($m\geq n$) matrix, the algorithm runs with complexity $O(mn\log n +n^3)$ which is faster than the standard $O(mn^2)$ methods. In applications, numerical experiments show great speedups including a $30\times$ speedup for the AAA algorithm and $10\times$ speedup for the total least squares problem.


title: Distributed Edge Coloring in Time Polylogarithmic in $\Delta$

abstract: We provide new deterministic algorithms for the edge coloring problem, which is one of the classic and highly studied distributed local symmetry breaking problems. As our main result, we show that a $(2\Delta-1)$-edge coloring can be computed in time $\mathrm{poly}\log\Delta + O(\log^* n)$ in the LOCAL model. This improves a result of Balliu, Kuhn, and Olivetti [PODC '20], who gave an algorithm with a quasi-polylogarithmic dependency on $\Delta$. We further show that in the CONGEST model, an $(8+\varepsilon)\Delta$-edge coloring can be computed in $\mathrm{poly}\log\Delta + O(\log^* n)$ rounds. The best previous $O(\Delta)$-edge coloring algorithm that can be implemented in the CONGEST model is by Barenboim and Elkin [PODC '11] and it computes a $2^{O(1/\varepsilon)}\Delta$-edge coloring in time $O(\Delta^\varepsilon + \log^* n)$ for any $\varepsilon\in(0,1]$.


title: Impact of ultralight bosonic dark matter on the dynamical bar-mode instability of rotating neutron stars

abstract: We investigate the effects ultralight bosonic field dark matter may have on the dynamics of unstable differentially-rotating neutron stars prone to the bar-mode instability. To this aim we perform numerical simulations in general relativity of rotating neutron stars accreting an initial spherically symmetric bosonic field cloud, solving the Einstein-(complex, massive) Klein-Gordon-Euler and the Einstein-(complex) Proca-Euler systems. We find that the presence of the bosonic field can critically modify the development of the bar-mode instability of neutron stars, depending on the total mass of the bosonic field and on the boson particle mass. In some cases, the accreting bosonic field can even quench the dominant $\ell=m=2$ mode of the bar-deformation by dynamically forming a mixed (fermion-boson) star that retains part of the angular momentum of the original neutron star. However, the mixed star undergoes the development of a mixed bar that leads to significant gravitational-wave emission, substantially different to that of the isolated neutron star. Our results indicate that dark-matter accretion in neutron stars could change the frequency of the expected emission of the bar-mode instability, which would have an important impact on ongoing searches for continuous gravitational waves.


title: First demonstration of a post-quantum key-exchange with a nanosatellite

abstract: We demonstrate a post-quantum key-exchange with the nanosatellite SpooQy-1 in low Earth orbit using Kyber-512, a lattice-based key-encapsulation mechanism and a round three finalist in the NIST PQC standardization process. Our firmware solution runs on an on-board computer that is based on the Atmel AVR32 RISC microcontroller, a widely used platform for nanosatellites. We uploaded the new firmware with a 436.2 MHz UHF link using the CubeSat Space Protocol (CSP) and performed the steps of the key exchange in several passes over Switzerland. The shared secret key generated in this experiment could potentially be used to encrypt RF links with AES-256. This implementation demonstrates the feasibility of a quantum-safe authenticated key-exchange and encryption system on SWaP constrained nanosatellites.


title: Multi-scale Wasserstein Shortest-path Graph Kernels for Graph Classification

abstract: Graph kernels are conventional methods for computing graph similarities. However, the existing R-convolution graph kernels cannot resolve both of the two challenges: 1) Comparing graphs at multiple different scales, and 2) Considering the distributions of substructures when computing the kernel matrix. These two challenges limit their performances. To mitigate both of the two challenges, we propose a novel graph kernel called the Multi-scale Wasserstein Shortest-Path graph kernel (MWSP), at the heart of which is the multi-scale shortest-path node feature map, of which each element denotes the number of occurrences of the shortest path around a node. The shortest path is represented by the concatenation of all the labels of nodes in it. Since the shortest-path node feature map can only compare graphs at local scales, we incorporate into it the multiple different scales of the graph structure, which are captured by the truncated BFS trees of different depths rooted at each node in a graph. We use the Wasserstein distance to compute the similarity between the multi-scale shortest-path node feature maps of two graphs, considering the distributions of shortest paths. We empirically validate MWSP on various benchmark graph datasets and demonstrate that it achieves state-of-the-art performance on most datasets.


title: Integral Laplacian graphs with a unique double Laplacian eigenvalue, I

abstract: The set $S_{i,n}=\{0,1,2,\ldots,n-1,n\}\setminus\{i\}$, $1\leqslant i\leqslant n$ is called Laplacian realizable if there exists an undirected simple graph whose Laplacian spectrum is $S_{i,n}$. The existence of such graphs was established by S. Fallat et al. in 2005. In this paper, we investigate graphs whose Laplacian spectra have the form $$ S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\qquad 0<i<j\leqslant n, $$ and completely describe those ones with $m=n-1$ and $m=n$. We also show close relations between graphs realizing $S_{i,n}$ and $S_{\{i,j\}_{n}^{m}}$, and discuss the so-called $S_{n,n}$-conjecture and the correspondent conjecture for $S_{\{i,n\}_{n}^{m}}$.


title: Homological stability for $O_{n,n}$ over a local ring with infinite residue field

abstract: Let $R$ be a commutative local ring with infinite residue field such that $2 \in R^{*}$. We prove that the natural homomorphism $H_{k}(O_{n,n}(R) ; \mathbb{Z}) \rightarrow H_{k}(O_{n+1,n+1}(R); \mathbb{Z})$ is an isomorphism for $k \leq n-1$ and surjective for $k \leq n$. This improves the range for homological stability given by Mirzaii by 1 and generalises the analogous result for fields obtained by Sprehn and Wahl to the case of local rings.


title: Strategic Innovation Through Outsourcing: A Theoretical Review

abstract: Competition in the Information Technology Outsourcing (ITO) and Business Process Outsourcing (BPO) industry is increasingly moving from being motivated by cost savings towards strategic benefits that service providers can offer to their clients. Innovation is one such benefit that is expected nowadays in outsourcing engagements. The rising importance of innovation has been noticed and acknowledged not only in the Information Systems (IS) literature, but also in other management streams such as innovation and strategy. However, to date, these individual strands of research remain largely isolated from each other. Our theoretical review addresses this gap by consolidating and analyzing research on strategic innovation in the ITO and BPO context. The article set includes 95 papers published between 1998 to 2020 in outlets from the IS and related management fields. We craft a four-phase framework that integrates prior insights about (1) the antecedents of the decision to pursue strategic innovation in outsourcing settings; (2) arrangement options that facilitate strategic innovation in outsourcing relationships; (3) the generation of strategic innovations; and (4) realized strategic innovation outcomes, as assessed in the literature. We find that the research landscape to date is skewed, with many studies focusing on the first two phases. The last two phases remain relatively uncharted. We also discuss how innovation-oriented outsourcing insights compare with established research on cost-oriented outsourcing engagements. Finally, we offer directions for future research.


title: On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach

abstract: We study the effectiveness of Knowledge Graph Embeddings (KGE) for knowledge graph (KG) completion with rule mining. More specifically, we mine rules from KGs before and after they have been completed by a KGE to compare possible differences in the rules extracted. We apply this method to classical KGEs approaches, in particular, TransE, DistMult and ComplEx. Our experiments indicate that there can be huge differences between the extracted rules, depending on the KGE approach for KG completion. In particular, after the TransE completion, several spurious rules were extracted.


title: Asymptotic convergence of heterogeneous first-order aggregation models: from the sphere to the unitary group

abstract: We provide the detailed asymptotic behavior for first-order aggregation models of heterogeneous oscillators. Due to the dissimilarity of natural frequencies, one could expect that all relative distances converge to definite positive value and furthermore that each oscillator converges to a possibly different stationary point. In order to establish the desired results, we introduce a novel method, called dimension reduction method that can be applied to a specific situation when the degree of freedom of the natural frequency is one. In this way, we would say that although a small perturbation is allowed, convergence toward an equilibrium of the gradient flow is still guaranteed. Several first-order aggregation models are provided as concrete examples by using the dimension reduction method to study the structure of the equilibrium, and numerical simulations are conducted to support theoretical results.


title: Finite-temperature optical conductivity with density-matrix renormalization group methods for the Holstein polaron and bipolaron with dispersive phonons

abstract: A comprehensive picture of polaron and bipolaron physics is essential to understand the optical absorption spectrum in many materials with electron-phonon interactions. In particular, the finite-temperature properties are of interest since they play an important role in many experiments. Here, we combine the parallel two-site time-dependent variational principle algorithm (p2TDVP) with local basis optimization (LBO) and purification to calculate time-dependent current-current correlation functions. From this information, we extract the optical conductivity for the Holstein polaron and bipolaron with dispersive phonons at finite temperatures. For the polaron in the weak and intermediate electron-phonon coupling regimes, we analyze the influence of phonon dispersion relations on the spectra. For strong electron-phonon coupling, the known result of an asymmetric Gaussian is reproduced for a flat phonon band. For a finite phonon bandwidth, the center of the Gaussian is either shifted to larger or smaller frequencies, depending on the sign of the phonon hopping. We illustrate that this can be well understood by considering the Born-Oppenheimer surfaces. A similar behavior is seen for the bipolaron for strong coupling. For the bipolaron with weak and intermediate coupling strengths and a flat phonon band, we obtain two very different spectra. The latter also has a temperature-dependent resonance at a frequency below the phonon frequency.


title: The Banach algebras $AC(\sigma)$ and $BV(\sigma)$

abstract: The spaces $BV(\sigma)$ and $AC(\sigma)$ were introduced as part of a program to find a general theory which covers both well-bounded operators and trigonometrically well-bounded operators acting on a Banach space. Since their initial appearance it has become clear that the definitions could be simplified somewhat. In this paper we give a self-contained exposition of the main properties of these spaces using this simplified approach.


title: Bilayer borophene: The effects of substrate and stacking

abstract: Bilayer borophene has recently attracted much interest due to its outstanding mechanical and electronic properties. The interlayer interactions of these bilayers are reported differently in theoretical and experimental studies. Herein, we design and investigate bilayer beta12-borophene, by first-principles calculations. Our results show that the interlayer distance of the relaxed AA-stacked bilayer is about 2.5 A, suggesting a van der Waals (vdW) interlayer interaction. However, this is not supported by previous experiments, therefore by constraining the interlayer distance, we propose a preferred model which is close to experimental records. This preferred model has one covalent interlayer bond in every unit cell (single-pillar). Further, we argue that the preferred model is nothing but the relaxed model under a 2% compression. Additionally, we designed three substrate-supported bilayers on the Ag, Al, and Au substrates, which lead to double-pillar structures. Afterward, we investigate the AB stacking, which forms covalent bonds in the relaxed form, without the need for compression or substrate. Moreover, phonon dispersion shows that, unlike the AA stacking, the AB stacking is stable in freestanding form. Subsequently, we calculate the mechanical properties of the AA and AB stackings. The ultimate strengths of the AA and the AB stackings are 29.72 N/m at 12% strain and 23.18 N/m at 8% strain, respectively. Moreover, the calculated Young's moduli are 419 N/m and 356 N/m for the AA and the AB stackings, respectively. These results show the superiority of bilayer borophene over bilayer MoS2 in terms of stiffness and compliance. Our results can pave the way for future studies on bilayer borophene structures.


title: Optimal Control of the 3D Damped Navier-Stokes-Voigt Equations with Control Constraints

abstract: In this paper, we consider the 3D Navier-Stokes-Voigt (NSV) equations with nonlinear damping $|u|^{r-1}u, r\in[1,\infty)$ in bounded and space-periodic domains. We formulate an optimal control problem of minimizing the curl of the velocity field in the energy norm subject to the flow velocity satisfying the damped NSV equation with a distributed control force. The control also needs to obey box-type constraints. For any $r\geq 1,$ the existence and uniqueness of a weak solution is discussed when the domain $\Omega$ is periodic/bounded in $\mathbb R^3$ while a unique strong solution is obtained in the case of space-periodic boundary conditions. We prove the existence of an optimal pair for the control problem. Using the classical adjoint problem approach, we show that the optimal control satisfies a first-order necessary optimality condition given by a variational inequality. Since the optimal control problem is non-convex, we obtain a second-order sufficient optimality condition showing that an admissible control is locally optimal. Further, we derive optimality conditions in terms of adjoint state defined with respect to the growth of the damping term for a global optimal control.


title: Magnitudes, distance moduli, bolometric corrections, and so much more

abstract: This pedagogical document about stellar photometry - aimed at those for whom astronomical arcana seem arcane - endeavours to explain the concepts of magnitudes, color indices, absolute magnitudes, distance moduli, extinctions, attenuations, color excesses, K corrections, and bolometric corrections. I include some discussion of observational technique, and some discussion of epistemology, but the primary focus here is on the theoretical or interpretive connections between the observational astronomical quantities and the physical properties of the observational targets.


title: Mechanical dissipation by substrate-mode coupling in SiN resonators

abstract: State-of-the-art nanomechanical resonators are heralded as a central component for next-generation clocks, filters, resonant sensors and quantum technologies. To practically build these technologies will require monolithic integration of microchips, resonators and readout systems. While it is widely seen that mounting microchip substrates into a system can greatly impact the performance of high-Q resonators, a systematic study has remained elusive, owing to the variety of physical processes and factors that influence the dissipation. Here, we analytically analyze a mechanism by which substrates couple to resonators manufactured on them, and experimentally demonstrate that this coupling can increase the mechanical dissipation of nanomechanical resonators when the resonance frequencies of resonator and substrate coincide. More generally, we then show a similar coupling mechanism can exist between two adjacent resonators. Since the substrate-mode coupling mechanism strongly depends on both the resonator position on the substrate and the mounting of the substrate, this work provides key design guidelines for high-precision nanomechanical technologies.


title: StopNet: Scalable Trajectory and Occupancy Prediction for Urban Autonomous Driving

abstract: We introduce a motion forecasting (behavior prediction) method that meets the latency requirements for autonomous driving in dense urban environments without sacrificing accuracy. A whole-scene sparse input representation allows StopNet to scale to predicting trajectories for hundreds of road agents with reliable latency. In addition to predicting trajectories, our scene encoder lends itself to predicting whole-scene probabilistic occupancy grids, a complementary output representation suitable for busy urban environments. Occupancy grids allow the AV to reason collectively about the behavior of groups of agents without processing their individual trajectories. We demonstrate the effectiveness of our sparse input representation and our model in terms of computation and accuracy over three datasets. We further show that co-training consistent trajectory and occupancy predictions improves upon state-of-the-art performance under standard metrics.


title: A one-dimensional three-state run-and-tumble model with a `cell cycle'

abstract: We study a one-dimensional three-state run-and-tumble model motivated by the bacterium Caulobacter crescentus which displays a cell cycle between two non-proliferation mobile phase and a proliferating sedentary phase. Our model implements kinetic transitions between the two mobile and one sedentary states described in terms of their number densities, where mobility is allowed with different running speeds in forward and backward direction. We start by analyzing the stationary states of the system and compute the mean and squared-displacements for the distribution of all cells, as well as for the number density of settled cells. The latter displays a surprising super-ballistic scaling ~t^3 at early times. Including repulsive and attractive interactions between the mobile cell populations and the settled cells, we explore the stability of the system and then employ numerical methods to study structure formation in the fully nonlinear system. We find traveling waves of bacteria, whose occurrence is quantified in a nonequilibrium state diagram.


title: Relaxed bound on performance of quantum key repeaters and secure content of generic private and independent bits

abstract: Quantum key repeater is the backbone of the future Quantum Internet. It is an open problem for an arbitrary mixed bipartite state shared between stations of a quantum key repeater, how much of the key can be generated between its two end-nodes. We place a novel bound on quantum key repeater rate, which uses relative entropy distance from, in general, entangled quantum states. It allows us to generalize bound on key repeaters of M. Christandl and R. Ferrara [Phys. Rev. Lett. 119, 220506]. The bound, albeit not tighter, holds for a more general class of states. In turn, we show that the repeated key of the so called key-correlated states can exceed twice the one-way distillable entanglement at most by twice the max-relative entropy of entanglement of its attacked version. We also provide a non-trivial upper bound on the amount of private randomness of a generic independent bit.


title: A new fluid-based strategy for the connection of non-matching lattice materials

abstract: We present a new algorithm for the design of the connection region between different lattice materials. We solve a Stokes-type topology optimization problem on a narrow morphing region to smoothly connect two different unit cells. The proposed procedure turns out to be effective and provides a local re-design of the materials, leading to a very mild modification of the mechanical behaviour characterizing the original lattices. The robustness of the algorithm is assessed in terms of sensitivity of the final layout to different parameters. Both the cases of Cartesian and non-Cartesian morphing regions are successfully investigated.


title: On the Lie complexity of Sturmian words

abstract: Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic techniques, that the Lie complexity is bounded above by the first difference of the factor complexity plus one; hence, it is uniformly bounded for words with linear factor complexity, and, in particular, it is at most 2 for Sturmian words, which are precisely the words with factor complexity $n+1$ for every $n$. In this note, we provide an elementary combinatorial proof of the result of Bell and Shallit and give an exact formula for the Lie complexity of any Sturmian word.


title: The involution kernel and the dual potential for functions in the Walters family

abstract: Our notation: Points in $\{0,1\}^{\mathbb{Z}-\{0\}} =\{0,1\}^\mathbb{N}\times \{0,1\}^\mathbb{N}=\Omega^{-} \times \Omega^{+}$, are denoted by $( y|x) =(...,y_2,y_1|x_1,x_2,...)$, where $(x_1,x_2,...) \in \{0,1\}^\mathbb{N}$, and $(y_1,y_2,...) \in \{0,1\}^\mathbb{N}$. The bijective map $\hat{\sigma}(...,y_2,y_1|x_1,x_2,...)= (...,y_2,y_1,x_1|x_2,...)$ is called the bilateral shift and acts on $\{0,1\}^{\mathbb{Z}-\{0\}}$. Given $A: \{0,1\}^\mathbb{N}=\Omega^+\to \mathbb{R}$ we express $A$ in the variable $x$, like $A(x)$. In a similar way, given $B: \{0,1\}^\mathbb{N}=\Omega^{-}\to \mathbb{R}$ we express $B$ in the variable $y$, like $B(y)$. Finally, given $W: \Omega^{-} \times \Omega^{+}\to \mathbb{R}$, we express $W$ in the variable $(y|x)$, like $W(y|x)$. By abuse of notation we write $A(y|x)=A(x)$ and $B(y|x)=B(y).$ The probability $\mu_A$ denotes the equilibrium probability for $A: \{0,1\}^\mathbb{N}\to \mathbb{R}$. Given a continuous potential $A: \Omega^+\to \mathbb{R}$, we say that the continuous potential $A^*: \Omega^{-}\to \mathbb{R}$ is the dual potential of $A$, if there exists a continuous $W: \Omega^{-} \times \Omega^{+}\to \mathbb{R}$, such that, for all $(y|x) \in \{0,1\}^{\mathbb{Z}-\{0\}}$ $$ A^* (y) = \left[ A \circ \hat{\sigma}^{-1} + W \circ \hat{\sigma}^{-1} - W \right] (y|x). $$ We say that $W$ is an involution kernel for $A$. The function $W$ allows you to define an spectral projection in the linear space of the main eigenfunction of the Ruelle operator for $A$. Given $A$, we describe explicit expressions for $W$ and the dual potential $A^*$, for $A$ in a family of functions introduced by P. Walters. We present conditions for $A$ to be symmetric and to be of twist type.

categories: math.DS cond-mat.stat-mech math-ph math.MP math.OC math.PR


title: Is Mapping Necessary for Realistic PointGoal Navigation?

abstract: Can an autonomous agent navigate in a new environment without building an explicit map? For the task of PointGoal navigation ('Go to $\Delta x$, $\Delta y$') under idealized settings (no RGB-D and actuation noise, perfect GPS+Compass), the answer is a clear 'yes' - map-less neural models composed of task-agnostic components (CNNs and RNNs) trained with large-scale reinforcement learning achieve 100% Success on a standard dataset (Gibson). However, for PointNav in a realistic setting (RGB-D and actuation noise, no GPS+Compass), this is an open question; one we tackle in this paper. The strongest published result for this task is 71.7% Success. First, we identify the main (perhaps, only) cause of the drop in performance: the absence of GPS+Compass. An agent with perfect GPS+Compass faced with RGB-D sensing and actuation noise achieves 99.8% Success (Gibson-v2 val). This suggests that (to paraphrase a meme) robust visual odometry is all we need for realistic PointNav; if we can achieve that, we can ignore the sensing and actuation noise. With that as our operating hypothesis, we scale the dataset and model size, and develop human-annotation-free data-augmentation techniques to train models for visual odometry. We advance the state of art on the Habitat Realistic PointNav Challenge from 71% to 94% Success (+23, 31% relative) and 53% to 74% SPL (+21, 40% relative). While our approach does not saturate or 'solve' this dataset, this strong improvement combined with promising zero-shot sim2real transfer (to a LoCoBot) provides evidence consistent with the hypothesis that explicit mapping may not be necessary for navigation, even in a realistic setting.


title: AAfrag 2.01: Interpolation routines for Monte Carlo results on secondary production including light antinuclei in hadronic interactions

abstract: Light antinuclei, like antideuteron and antihelium-3, are ideal probes for new, exotic physics because their astrophysical backgrounds are suppressed at low energies. In order to exploit fully the inherent discovery potential of light antinuclei, a reliable description of their production cross sections in cosmic ray interactions is crucial. We provide therefore the cross sections of antideuteron and antihelium-3 production in $pp$, $p$He, He$p$, HeHe, $\bar pp$ and $\bar p$He collisions at energies relevant for secondary production in the Milky Way, in a tabulated form which is convinient to use. These predictions are based on QGSJET-II-04m and the state of the art coalescence model WiFunC, which evaluates the coalesence probability on an event-by-event basis, including both momentum correlations and the dependence on the emission volume. In addition, we comment on the importance of a Monte Carlo description of the antideuteron production and on the use of event generators in general. In particular, we discuss the effect of two-particle momentum correlations provided by Monte Carlo event generators on antinuclei production.


title: Randomization Inference Tests for Shift-Share Designs

abstract: We consider the problem of inference in shift-share research designs. The choice between existing approaches that allow for unrestricted spatial correlation involves tradeoffs, varying in terms of their validity when there are relatively few or concentrated shocks, and in terms of the assumptions on the shock assignment process and treatment effects heterogeneity. We propose alternative randomization inference methods that combine the advantages of different approaches. These methods are valid in finite samples under relatively stronger assumptions, while asymptotically valid under weaker assumptions.


title: Simulating quantum circuits using tree tensor networks

abstract: We develop and analyze a method for simulating quantum circuits on classical computers by representing quantum states as rooted tree tensor networks. Our algorithm first determines a suitable, fixed tree structure adapted to the expected entanglement generated by the quantum circuit. The gates are sequentially applied to the tree by absorbing single-qubit gates into leaf nodes, and splitting two-qubit gates via singular value decomposition and threading the resulting virtual bond through the tree. We theoretically analyze the applicability of the method as well as its computational cost and memory requirements, and identify advantageous scenarios in terms of required bond dimensions as compared to a matrix product state representation. The study is complemented by numerical experiments for different quantum circuit layouts up to 37 qubits.


title: The prime spectrum of an $L$-algebra

abstract: We prove that the lattice of ideals of an arbitrary $L$-algebra is distributive. As a consequence, a spectral theory applies with no restriction. We also study the spectrum (i.e. the set of prime ideals) of $L$-algebras and characterize prime ideals in topological terms.


title: Introducing One Sided Margin Loss for Solving Classification Problems in Deep Networks

abstract: This paper introduces a new loss function, OSM (One-Sided Margin), to solve maximum-margin classification problems effectively. Unlike the hinge loss, in OSM the margin is explicitly determined with corresponding hyperparameters and then the classification problem is solved. In experiments, we observe that using OSM loss leads to faster training speeds and better accuracies than binary and categorical cross-entropy in several commonly used deep models for classification and optical character recognition problems. OSM has consistently shown better classification accuracies over cross-entropy and hinge losses for small to large neural networks. it has also led to a more efficient training procedure. We achieved state-of-the-art accuracies for small networks on several benchmark datasets of CIFAR10(98.82\%), CIFAR100(91.56\%), Flowers(98.04\%), Stanford Cars(93.91\%) with considerable improvements over other loss functions. Moreover, the accuracies are rather better than cross-entropy and hinge loss for large networks. Therefore, we strongly believe that OSM is a powerful alternative to hinge and cross-entropy losses to train deep neural networks on classification tasks.


title: Shortest Path Networks for Graph Property Prediction

abstract: Most graph neural network models rely on a particular message passing paradigm, where the idea is to iteratively propagate node representations of a graph to each node in the direct neighborhood. While very prominent, this paradigm leads to information propagation bottlenecks, as information is repeatedly compressed at intermediary node representations, which causes loss of information, making it practically impossible to gather meaningful signals from distant nodes. To address this, we propose shortest path message passing neural networks, where the node representations of a graph are propagated to each node in the shortest path neighborhoods. In this setting, nodes can directly communicate between each other even if they are not neighbors, breaking the information bottleneck and hence leading to more adequately learned representations. Our framework generalizes message passing neural networks, resulting in a class of more expressive models, including some recent state-of-the-art models. We verify the capacity of a basic model of this framework on dedicated synthetic experiments, and on real-world graph classification and regression benchmarks, and obtain state-of-the art results.


title: Nonlinear Equalization for Optical Communications Based on Entropy-Regularized Mean Square Error

abstract: An entropy-regularized mean square error (MSE-X) cost function is proposed for nonlinear equalization of short-reach optical channels. For a coherent optical transmission experiment, MSE-X achieves the same bit error rate as the standard MSE cost function and a significantly higher achievable information rate.


title: Equivariant motivic integration on special formal schemes

abstract: We construct, based on Nicaise's article in Math. Ann. in 2009, an equivariant geometric motivic integration for special formal schemes, such that when applying to algebraizable formal schemes, we can revisit our previous work in 2020 on equivariant motivic integration for algebraic varieties. We prove the change of variable formula for the integral by pointing out the existence of an equivariant N\'eron smoothening for a flat generically smooth special formal scheme. We also define the motivic Milnor fiber of a formal power series and predict that it is the right quantity to define the motivic Milnor fiber of a germ of complex analytic functions.


title: Self-energy correction to the energy levels of heavy muonic atoms

abstract: The first fully relativistic, rigorous QED calculations of the self-energy correction to the fine-structure levels of heavy muonic atoms are reported. We discuss nuclear model and parameter dependence for this contribution as well as numerical convergence issues. The presented results show sizable disagreement with previously reported estimations, including ones used for the determination of the nuclear root-mean-square radii, and underline the importance of rigorous QED calculations for the theoretical prediction of the spectra of muonic atoms.


title: Photometric calibration methods for wide-field photometric surveys

abstract: Uniform and accurate photometric calibration plays an important role in the current and next-generation wide-field imaging surveys. Herein, we review the modern photometric calibration methods, including the classic standard star method, "hardware/observation-driven" methods (such as the Ubercalibration, Hypercalibration, and Forward Global Calibration Methods), and "software/physics-driven" methods (e.g., the Stellar Locus Regression, Stellar Locus, and Stellar Color Regression Methods). Further, we discuss their advantages, limitations, and future developments toward millimagnitude precision calibration.


title: Approximate Network Motif Mining Via Graph Learning

abstract: Frequent and structurally related subgraphs, also known as network motifs, are valuable features of many graph datasets. However, the high computational complexity of identifying motif sets in arbitrary datasets (motif mining) has limited their use in many real-world datasets. By automatically leveraging statistical properties of datasets, machine learning approaches have shown promise in several tasks with combinatorial complexity and are therefore a promising candidate for network motif mining. In this work we seek to facilitate the development of machine learning approaches aimed at motif mining. We propose a formulation of the motif mining problem as a node labelling task. In addition, we build benchmark datasets and evaluation metrics which test the ability of models to capture different aspects of motif discovery such as motif number, size, topology, and scarcity. Next, we propose MotiFiesta, a first attempt at solving this problem in a fully differentiable manner with promising results on challenging baselines. Finally, we demonstrate through MotiFiesta that this learning setting can be applied simultaneously to general-purpose data mining and interpretable feature extraction for graph classification tasks.


title: Unified Recurrence Modeling for Video Action Anticipation

abstract: Forecasting future events based on evidence of current conditions is an innate skill of human beings, and key for predicting the outcome of any decision making. In artificial vision for example, we would like to predict the next human action before it happens, without observing the future video frames associated to it. Computer vision models for action anticipation are expected to collect the subtle evidence in the preamble of the target actions. In prior studies recurrence modeling often leads to better performance, the strong temporal inference is assumed to be a key element for reasonable prediction. To this end, we propose a unified recurrence modeling for video action anticipation via message passing framework. The information flow in space-time can be described by the interaction between vertices and edges, and the changes of vertices for each incoming frame reflects the underlying dynamics. Our model leverages self-attention as the building blocks for each of the message passing functions. In addition, we introduce different edge learning strategies that can be end-to-end optimized to gain better flexibility for the connectivity between vertices. Our experimental results demonstrate that our proposed method outperforms previous works on the large-scale EPIC-Kitchen dataset.


title: Long-tailed Recognition by Learning from Latent Categories

abstract: In this work, we address the challenging task of long-tailed image recognition. Previous long-tailed recognition methods commonly focus on the data augmentation or re-balancing strategy of the tail classes to give more attention to tail classes during the model training. However, due to the limited training images for tail classes, the diversity of tail class images is still restricted, which results in poor feature representations. In this work, we hypothesize that common latent features among the head and tail classes can be used to give better feature representation. Motivated by this, we introduce a Latent Categories based long-tail Recognition (LCReg) method. Specifically, we propose to learn a set of class-agnostic latent features shared among the head and tail classes. Then, we implicitly enrich the training sample diversity via applying semantic data augmentation to the latent features. Extensive experiments on five long-tailed image recognition datasets demonstrate that our proposed LCReg is able to significantly outperform previous methods and achieve state-of-the-art results.


title: Policy Gradient Algorithms with Monte-Carlo Tree Search for Non-Markov Decision Processes

abstract: Policy gradient (PG) is a reinforcement learning (RL) approach that optimizes a parameterized policy model for an expected return using gradient ascent. Given a well-parameterized policy model, such as a neural network model, with appropriate initial parameters, the PG algorithms work well even when environment does not have the Markov property. Otherwise, they can be trapped on a plateau or suffer from peakiness effects. As another successful RL approach, algorithms based on Monte-Carlo Tree Search (MCTS), which include AlphaZero, have obtained groundbreaking results especially on the board game playing domain. They are also suitable to be applied to non-Markov decision processes. However, since the standard MCTS does not have the ability to learn state representation, the size of the tree-search space can be too large to search. In this work, we examine a mixture policy of PG and MCTS to complement each other's difficulties and take advantage of them. We derive conditions for asymptotic convergence with results of a two-timescale stochastic approximation and propose an algorithm that satisfies these conditions. The effectivity of the proposed methods is verified through numerical experiments on non-Markov decision processes.


title: Bayesian high-dimensional covariate selection in non-linear mixed-effects models using the SAEM algorithm

abstract: High-dimensional variable selection, with many more covariates than observations, is widely documented in standard regression models, but there are still few tools to address it in non-linear mixed-effects models where data are collected repeatedly on several individuals. In this work, variable selection is approached from a Bayesian perspective and a selection procedure is proposed, combining the use of a spike-and-slab prior and the Stochastic Approximation version of the Expectation Maximisation (SAEM) algorithm. Similarly to Lasso regression, the set of relevant covariates is selected by exploring a grid of values for the penalisation parameter. The SAEM approach is much faster than a classical MCMC (Markov chain Monte Carlo) algorithm and our method shows very good selection performances on simulated data. Its flexibility is demonstrated by implementing it for a variety of nonlinear mixed effects models. The usefulness of the proposed method is illustrated on a problem of genetic markers identification, relevant for genomic-assisted selection in plant breeding.


title: Computer simulations of the glass transition and glassy materials

abstract: We provide an overview of the different types of computational techniques developed over the years to study supercooled liquids, glassy materials and the physics of the glass transition. We organise these numerical strategies into four broad families. For each of them, we describe the general ideas without discussing any technical details. We summarise the type of questions which can be addressed by any given approach and outline the main results which have been obtained. Finally we describe two important directions for future computational studies of glassy systems.


title: Suggestive Annotation of Brain MR Images with Gradient-guided Sampling

abstract: Machine learning has been widely adopted for medical image analysis in recent years given its promising performance in image segmentation and classification tasks. The success of machine learning, in particular supervised learning, depends on the availability of manually annotated datasets. For medical imaging applications, such annotated datasets are not easy to acquire, it takes a substantial amount of time and resource to curate an annotated medical image set. In this paper, we propose an efficient annotation framework for brain MR images that can suggest informative sample images for human experts to annotate. We evaluate the framework on two different brain image analysis tasks, namely brain tumour segmentation and whole brain segmentation. Experiments show that for brain tumour segmentation task on the BraTS 2019 dataset, training a segmentation model with only 7% suggestively annotated image samples can achieve a performance comparable to that of training on the full dataset. For whole brain segmentation on the MALC dataset, training with 42% suggestively annotated image samples can achieve a comparable performance to training on the full dataset. The proposed framework demonstrates a promising way to save manual annotation cost and improve data efficiency in medical imaging applications.


title: An extended range of stable flux reconstruction schemes on quadrilaterals for various polynomial bases

abstract: An extended range of energy stable flux reconstruction schemes, developed using a summation-by-parts approach, is presented on quadrilateral elements for various sets of polynomial bases. For the maximal order bases, a new set of correction functions which result in stable schemes is found. However, for a range of orders it is shown that only a single correction function can be cast as a tensor-product. Subsequently, correction functions are identified using a generalised analytic framework that results in stable schemes for total order and approximate Euclidean order polynomial bases on quadrilaterals -- which have not previously been explored in the context of flux reconstruction. It is shown that the approximate Euclidean order basis can provide similar numerical accuracy as the maximal order basis but with fewer points per element, and thus lower cost.


title: When is a Minkowski norm strictly sub-convex?

abstract: The aim of this paper is to give two complete and simple characterizations of Minkowski norms N on an arbitrary topological real vector space such that the sublevel sets of N are strictly convex. We first show that this property is equivalent to the continuity of N together with the fact that any open chord between two points of the boundary of the sublevel set N^{-1}([0, 1)) lies inside that set (geometric characterization). On the other hand, we prove that this is also the same as saying that N is continuous and that for an arbitrary real number $\alpha$ > 1 the function N^$\alpha$ is strictly convex (analytic characterization).


title: Structured Two-stream Attention Network for Video Question Answering

abstract: To date, visual question answering (VQA) (i.e., image QA and video QA) is still a holy grail in vision and language understanding, especially for video QA. Compared with image QA that focuses primarily on understanding the associations between image region-level details and corresponding questions, video QA requires a model to jointly reason across both spatial and long-range temporal structures of a video as well as text to provide an accurate answer. In this paper, we specifically tackle the problem of video QA by proposing a Structured Two-stream Attention network, namely STA, to answer a free-form or open-ended natural language question about the content of a given video. First, we infer rich long-range temporal structures in videos using our structured segment component and encode text features. Then, our structured two-stream attention component simultaneously localizes important visual instance, reduces the influence of background video and focuses on the relevant text. Finally, the structured two-stream fusion component incorporates different segments of query and video aware context representation and infers the answers. Experiments on the large-scale video QA dataset \textit{TGIF-QA} show that our proposed method significantly surpasses the best counterpart (i.e., with one representation for the video input) by 13.0%, 13.5%, 11.0% and 0.3 for Action, Trans., TrameQA and Count tasks. It also outperforms the best competitor (i.e., with two representations) on the Action, Trans., TrameQA tasks by 4.1%, 4.7%, and 5.1%.


title: Score-Based Generative Models Detect Manifolds

abstract: Score-based generative models (SGMs) need to approximate the scores $\nabla \log p_t$ of the intermediate distributions as well as the final distribution $p_T$ of the forward process. The theoretical underpinnings of the effects of these approximations are still lacking. We find precise conditions under which SGMs are able to produce samples from an underlying (low-dimensional) data manifold $\mathcal{M}$. This assures us that SGMs are able to generate the "right kind of samples". For example, taking $\mathcal{M}$ to be the subset of images of faces, we find conditions under which the SGM robustly produces an image of a face, even though the relative frequencies of these images might not accurately represent the true data generating distribution. Moreover, this analysis is a first step towards understanding the generalization properties of SGMs: Taking $\mathcal{M}$ to be the set of all training samples, our results provide a precise description of when the SGM memorizes its training data.


title: Nonequilibrium Transport Induced by Biological Nanomachines

abstract: Biological nanomachines are nanometer-size macromolecular complexes that catalyze chemical reactions in the presence of substrate molecules. The catalytic functions carried out by such nanomachines in the cytoplasm, and biological membranes are essential for cellular metabolism and homeostasis. During catalytic reactions, enzymes undergo conformational changes induced by substrate binding and product release. In recent years, these conformational dynamics have been considered to account for the nonequilibrium transport phenomena such as diffusion enhancement, chemotaxis, and substantial change in rheological properties, which are observed in biological systems. In this review article, we shall give an overview of the recent theoretical and experimental investigations that deal with nonequilibrium transport phenomena induced by biological nanomachines such as enzymes or proteins.


title: STORM: A Model for Sustainably Onboarding Software Testers

abstract: Recruiting and onboarding software testing professionals are complex and cost intensive activities. Whether onboarding is successful and sustainable depends on both the employee as well as the organization and is influenced by a number of often highly individual factors. Therefore, we propose the Software Testing Onboarding Model (STORM) for sustainably onboarding software testing professionals based on existing frameworks and models taking into account onboarding processes, sustainability, and test processes. We provide detailed instructions on how to use the model and apply it to real-world onboarding processes in two industrial case studies.


title: On the properties of 0.11 keV to 344 MeV ion spectra in the inner heliosheath using regularized $\kappa$-distributions

abstract: The shape of the ion energy spectra plays a critical role toward determining the ion energetics, the acceleration mechanisms and the possible sources of different plasma and suprathermal ion populations. The determination of the exact shape of the total particle spectrum, provide the necessary means to address the inner heliosheath (IHS) dynamics. Apart from various modeling efforts, a direct fit to the measured ion spectra for an extended energy range of $\sim$0.11 to 344 MeV has not been performed to date. We use an extended set of combined 0.11-55 keV ENA measurements from the Interstellar Boundary Explorer (IBEX-Lo and IBEX-Hi) and Cassini/Ion and Neutral Camera (INCA), converted to protons, together with $\sim$28 keV to 344 MeV ion measurements from the Low Energy Charged Particle (LECP) and Cosmic Ray Subsystem (CRS) experiments on Voyager 2, over the declining phase of Solar Cyle 23 (SC23) and ascending phase Solar Cylce 24 (SC24) (2009-2016) to study the characteristics of the particle energy spectrum. We fit the 0.11 keV to 344 MeV composite spectra with a set of regularized isotropic $\kappa$-distribution functions (RKD) allowing the determination of the macroscopic physical properties. We demonstrate that the 2009-2012 spectrum that corresponds to the declining phase of SC23 is well fitted by three different RKDs, while the 2013-2016 spectrum, associated with the rise of SC24, can only be approximated with six different RKDs. Our results are generally consistent with shock accelerated particles that undergo additional acceleration inside the IHS. We identify a low energy transmitted population of particles, a suprathermal reflected population and a very high energy component that is modulated by GCRs. The 2013-2016 time period is most likely associated with a mixture of particles from SC23 and SC24, which is reflected by the need to employ six RDKs.


title: Learning Disentangled Representations for Counterfactual Regression via Mutual Information Minimization

abstract: Learning individual-level treatment effect is a fundamental problem in causal inference and has received increasing attention in many areas, especially in the user growth area which concerns many internet companies. Recently, disentangled representation learning methods that decompose covariates into three latent factors, including instrumental, confounding and adjustment factors, have witnessed great success in treatment effect estimation. However, it remains an open problem how to learn the underlying disentangled factors precisely. Specifically, previous methods fail to obtain independent disentangled factors, which is a necessary condition for identifying treatment effect. In this paper, we propose Disentangled Representations for Counterfactual Regression via Mutual Information Minimization (MIM-DRCFR), which uses a multi-task learning framework to share information when learning the latent factors and incorporates MI minimization learning criteria to ensure the independence of these factors. Extensive experiments including public benchmarks and real-world industrial user growth datasets demonstrate that our method performs much better than state-of-the-art methods.


title: A Multi-Fluid Dust Module in Athena++: Algorithms and Numerical Tests

abstract: We describe the algorithm, implementation and numerical tests of a multifluid dust module in the Athena++ magnetohydrodynamic (MHD) code. The module can accommodate an arbitrary number of dust species interacting with the gas via aerodynamic drag (characterized by the stopping time), with a number of numerical solvers. In particular, we describe two second-order accurate, two-stage, fully-implicit solvers that are stable in stiff regimes including short stopping time and high dust mass loading, and they are paired with the second-order explicit van-Leer and Runge-Kutta gas dynamics solvers in Athena++, respectively. Moreover, we formulate a consistent treatment of dust concentration diffusion with dust back-reaction, which incorporates momentum diffusion and ensures Galilean invariance. The new formulation and stiff drag solvers are implemented to be compatible with most existing features of Athena++, including different coordinate systems, mesh refinement, shearing-box and orbital advection. We present a large suite of test problems, including the streaming instability in linear and nonlinear regimes, as well as local and global setting, which demonstrate that the code achieves the desired performance. This module will be particularly useful for studies of dust dynamics and planet formation in protoplanetary disks.


title: A Constraint and Object Oriented Fifth Generation Programming Language and its Compiler and Runtime System

abstract: Since the advent of LISP, the fifth generation programming language has developed for decades. However, compared with the fourth generation programming language, the fifth generation programming language has not been widely used because of its obscure semantics, rigorous representation of problems, and limited inference ability. For this reason, COOL (Constraint and Object Ordered Language), a fifth generation programming language proposed in this paper, overcomes the problems of intuitive semantics, rigorous restrictions on handling problem conditions, and improves the inference ability of previous fifth generation programming languages. Specific improvements are as follows: First, COOL supports process-oriented and object-oriented for easy application in production projects; Second, COOL supports expression as function declaration and function return, which improves language affinity for mathematical formulas, and supports embedding function parameters into function name strings to make function naming closer to natural languages. Make mathematical problems easier to describe; Third, COOL introduces a weighting mechanism and accelerates the inference process through cumulative weighting. Fourth, COOL introduces the concepts of forward and reverse functions in programming so that computers can infer and execute problems with logical sequential constraints. Fifth, the computer can deduce the reverse solution process by using the forward solution process through the back-tracking algorithm and the dynamic programming algorithm, so that the computer can deduce the problem with time-sequential constraints. Sixth, the pre-execution step is introduced to separate the inference and function query process of the program from the execution process, so as to improve the execution speed of the program.


title: Theoretical study of the stability of the tetradymite-like phases of Sb$_2$S$_3$, Bi$_2$S$_3$, and Sb$_2$Se$_3$

abstract: We report a comparative theoretical study of the \textit{Pnma} and \textit{R-3m} phases of Sb$_2$S$_3$, Bi$_2$S$_3$, and Sb$_2$Se$_3$ close to ambient pressure. Our enthalpy calculations at 0 K show that at ambient pressure the \textit{R-3m} (tetradymite-like) phase of Sb$_2$Se$_3$ is energetically more stable than the \textit{Pnma} phase, contrary to what is observed for Sb$_2$S$_3$ and Bi$_2$S$_3$, and irrespective of the exchange-correlation functional employed in the calculations. The result for Sb$_2$Se$_3$ is in contradiction to experiments where all three compounds are usually grown in the \textit{Pnma} phase. This result is further confirmed by free-energy calculations taking into account the temperature dependence of the unit-cell volumes and phonon frequencies. Lattice dynamics and elastic tensor calculations further show that both \textit{Pnma} and \textit{R-3m} phases of Sb$_2$Se$_3$ are dynamically and mechanically stable at zero applied pressure. Since these results suggest that the formation of the \textit{R-3m} phase for Sb$_2$Se$_3$ should be feasible at close to ambient conditions, we provide a theoretical crystal structure and simulated Raman and infrared spectra to help in its identification. We also discuss the results of the two published works that have claimed to have synthesized tetradymite-like Sb$_2$Se$_3$. Finally, the stability of the \textit{R-3m} phase across the three group-15 \textit{A$_2$X$_3$} sesquichalcogenides is analysed based on their van der Waals gap and X-X in-plane geometry.


title: Haagerup's phase transition at polydisc slicing

abstract: We establish a sharp comparison inequality between the negative moments and the second moment of the magnitude of sums of independent random vectors uniform on three-dimensional Euclidean spheres. This provides a probabilistic extension of the Oleszkiewicz-Pelczy\'nski polydisc slicing result. The Haagerup-type phase transition occurs exactly when the p-norm recovers volume, in contrast to the real case. We also obtain partial results in higher dimensions.


title: Proof of Vogan's conjecture on Arthur packets: irreducible parameters of p-adic general linear groups

abstract: In this paper we prove Vogan's conjecture on local Arthur packets, for Arthur parameters of $p$-adic general linear groups that are irreducible as representations of $W_F \times SL_2(\mathbb{C}) \times SL_2(\mathbb{C})$ - we refer to such parameters as irreducible Arthur parameters. This result shows that these Arthur packets may be characterized by properties of simple perverse sheaves on a moduli space of Langlands parameters.


title: Impact of Sampling on Locally Differentially Private Data Collection

abstract: With the recent bloom of data, there is a huge surge in threats against individuals' private information. Various techniques for optimizing privacy-preserving data analysis are at the focus of research in the recent years. In this paper, we analyse the impact of sampling on the utility of the standard techniques of frequency estimation, which is at the core of large-scale data analysis, of the locally deferentially private data-release under a pure protocol. We study the case in a distributed environment of data sharing where the values are reported by various nodes to the central server, e.g., cross-device Federated Learning. We show that if we introduce some random sampling of the nodes in order to reduce the cost of communication, the standard existing estimators fail to remain unbiased. We propose a new unbiased estimator in the context of sampling each node with certain probability and compute various statistical summaries of the data using it. We propose a way of sampling each node with personalized sampling probabilities as a step to further generalisation, which leads to some interesting open questions in the end. We analyse the accuracy of our proposed estimators on synthetic datasets to gather some insight on the trade-off between communication cost, privacy, and utility.


title: Trajectory of Mini-Batch Momentum: Batch Size Saturation and Convergence in High Dimensions

abstract: We analyze the dynamics of large batch stochastic gradient descent with momentum (SGD+M) on the least squares problem when both the number of samples and dimensions are large. In this setting, we show that the dynamics of SGD+M converge to a deterministic discrete Volterra equation as dimension increases, which we analyze. We identify a stability measurement, the implicit conditioning ratio (ICR), which regulates the ability of SGD+M to accelerate the algorithm. When the batch size exceeds this ICR, SGD+M converges linearly at a rate of $\mathcal{O}(1/\sqrt{\kappa})$, matching optimal full-batch momentum (in particular performing as well as a full-batch but with a fraction of the size). For batch sizes smaller than the ICR, in contrast, SGD+M has rates that scale like a multiple of the single batch SGD rate. We give explicit choices for the learning rate and momentum parameter in terms of the Hessian spectra that achieve this performance.


title: The Integrated Sachs-Wolfe Effect in Interacting Dark Matter-Dark Energy Models

abstract: Interacting dark matter-dark energy (IDMDE) models can be taken to account as one of the present challenges that may affect the cosmic structures. In this work, we study the integrated Sachs-Wolfe (ISW) effect in IDMDE models. To this end, we initially introduce a theoretical framework for IDMDE models. Moreover, we briefly discuss the stability conditions of IDMDE models and by specifying a simple functional form for the energy density transfer rate, we calculate the perturbation equations. In the following, we calculate the amplitude of the matter power spectrum for the IDMDE model and compare it with the corresponding result obtained from the $\Lambda$CDM model. Furthermore, we calculate the amplitude of the ISW auto-power spectrum as a function of multipole order l for the IDMDE model. The results indicate that the amplitude of the ISW auto-power spectrum in the IDMDE model for different phantom dark energy equations of state behaves similar to the one for the $\Lambda$CDM model, whereas, for the quintessence dark energy equations of state, the amplitude of the ISW-auto power spectrum for the IDMDE model should be higher than the one for the $\Lambda$CDM model. Also, it turns out that the corresponding results by different values of the coupling parameter demonstrate that $\xi$ is inversely proportional to the amplitude of the ISW-auto power spectrum in the IDMDE model. Finally, by employing four different surveys, we calculate the amplitude of the ISW-cross power spectrum as a function of multipole order $l$ for the IDMDE model. The results exhibit that the amplitude of the ISW-cross power spectrum for the IDMDE model for all values of $\omega_{\rm x}$ is higher than the one obtained for the $\Lambda$CDM model. Also, it turns out that the amplitude of the ISW-cross power spectrum in the IDMDE model changes inversely with the value of coupling parameter $\xi$.


title: Representations of the rank two Racah algebra and orthogonal multivariate polynomials

abstract: The algebraic structure of the rank two Racah algebra is studied in detail. We provide an automorphism group of this algebra, which is isomorphic to the permutation group of five elements. This group can be geometrically interpreted as the symmetry of a folded icosidodecahedron. It allows us to study a class of equivalent irreducible representations of this Racah algebra. They can be chosen symmetric so that their transition matrices are orthogonal. We show that their entries can be expressed in terms of Racah polynomials. This construction gives an alternative proof of the recurrence, difference and orthogonal relations satisfied by the Tratnik polynomials, as well as their expressions as a product of two monovariate Racah polynomials. Our construction provides a generalization of these bivariate polynomials together with their properties.


title: A more abstract bounded exploration postulate

abstract: In article "Sequential abstract state machines capture sequential algorithms", one of us axiomatized sequential algorithms by means of three postulates: sequential time, abstract state, and bounded exploration postulates. Here we give a more abstract version of the bounded exploration postulate which is closer in spirit to the abstract state postulate. In the presence of the sequential time and abstract state postulates, our postulate is equivalent to the original bounded exploration postulate.


title: Quasi-exactly solvable extensions of the Kepler-Coulomb potential on the sphere

abstract: We consider a family of extensions of the Kepler-Coulomb potential on a $d$-dimensional sphere and analyze it in a deformed supersymmetric framework, wherein the starting potential is known to exhibit a deformed shape invariance property. We show that the members of the extended family are also endowed with such a property, provided some constraint conditions relating the potential parameters are satisfied, in other words they are conditionally deformed shape invariant. Since, in the second step of the construction of a partner potential hierarchy, the constraint conditions change, we impose compatibility conditions between the two sets to build quasi-exactly solvable potentials with known ground and first-excited states. Some explicit results are obtained for the first three members of the family. We then use a generating function method, wherein the first two superpotentials, the first two partner potentials, and the first two eigenstates of the starting potential are built from some generating function $W_+(r)$ [and its accompanying function $W_-(r)$]. From the results obtained for the latter for the first three family members, we propose some formulas for $W_{\pm}(r)$ valid for the $m$th family member, depending on $m+1$ constants $a_0$, $a_1$, \ldots, $a_m$. Such constants satisfy a system of $m+1$ linear equations. Solving the latter allows us to extend the results up to the seventh family member and then to formulate a conjecture giving the general structure of the $a_i$ constants in terms of the parameters of the problem.


title: Adversarial Laser Spot: Robust and Covert Physical-World Attack to DNNs

abstract: Most existing deep neural networks (DNNs) are easily disturbed by slight noise. However, there are few researches on physical attacks by deploying lighting equipment. The light-based physical attacks has excellent covertness, which brings great security risks to many vision-based applications (such as self-driving). Therefore, we propose a light-based physical attack, called adversarial laser spot (AdvLS), which optimizes the physical parameters of laser spots through genetic algorithm to perform physical attacks. It realizes robust and covert physical attack by using low-cost laser equipment. As far as we know, AdvLS is the first light-based physical attack that perform physical attacks in the daytime. A large number of experiments in the digital and physical environments show that AdvLS has excellent robustness and covertness. In addition, through in-depth analysis of the experimental data, we find that the adversarial perturbations generated by AdvLS have superior adversarial attack migration. The experimental results show that AdvLS impose serious interference to advanced DNNs, we call for the attention of the proposed AdvLS. The code of AdvLS is available at: https://github.com/ChengYinHu/AdvLS


title: Random matrices theory elucidates the critical nonequilibrium phenomena

abstract: The earlier times of evolution of a magnetic system contain more information than we can imagine. Capturing correlation matrices G of different time evolutions of a simple testbed spin system, as the Ising model, we analyzed the density of eigenvalues of G^{T}G for different temperatures. We observe a transition of the shape of the distribution that presents a gap of eigenvalues from critical temperature with a continuous migration to the Marchenko-Pastur law for the paramagnetic phase. We consider the analysis a promising method to be applied in other spin systems to characterize phase transitions. Our approach is different from alternatives in the literature since it uses the magnetization matrix and not the spatial matrix of spins.


title: Grain-size dependence of water retention in a model aggregated soil

abstract: We experimentally examined the amount of water retention in a model soil composed of aggregated glass beads. The model soil was characterized by two size parameters: size of aggregates $D$ and size of monomer particles (composing aggregates) $d$. In the experiment, water was sprinkled on the model-soil system that has an open top surface and drainable sieve bottom. When the sprinkled water amount exceeded a threshold (retainable limit), draining flux balanced with the sprinkled flux. The weight variations of retained and drained water were measured to confirm this balanced (steady) state and quantify the retained water. We defined the weight of the retained water in this steady state as $W_0$ and examined the relationship among $W_0$, $d$ and $D$. As a result, it was revealed that $W_0$ increases as $d$ decreases simply due to the capillary effects. Regarding $D$ dependence, it turned out that $W_0$ becomes the maximum around $D\simeq 500$~$\mu$m. The value of $D$ maximizing water retention is determined by the void formation due to the aggregated structure, capillary effect, and gravity.


title: Impact drag force exerting on a projectile penetrating into a hierarchical granular bed

abstract: Impact of a solid object onto a small-body surface can be modeled by the solid impact onto a hierarchically structured granular target. Impact drag force model for the hierarchically structured granular target is developed based on the experiment. We perform a set of granular impact experiments in which mechanical strength and porosity of target grains are systematically varied. Tiny glass beads ($5$~$\mu$m in diameter) are agglomerated to form porous grains of $2$--$4$~mm in diameter. Then, the grains are sintered to control their strength. A polyethylene sphere ($12.7$~mm in diameter) is dropped onto a hierarchical granular target consisting of these porous grains. Motion of the penetrating sphere is captured by a high-speed camera and analyzed. We find that impact drag force produced by the hierarchically structured granular target can be modeled by the sum of inertial drag and depth-proportional drag. The depth-proportional drag in hierarchical granular impact is much greater than that of the usual granular target consisting of rigid grains. The ratio between grain strength and impact dynamic pressure is a key dimensionless parameter to characterize this extraordinary large depth-proportional drag. Grain fracturing plays an important role in the impact dynamics when the impact dynamic pressure is sufficiently larger than the grain strength. This implies that the effect of grain fracturing should be considered also for the impact on a small body. Perhaps, effective strength of the surface grains can be estimated based on the kinematic observation of the intrusion or touchdown of the planetary explorator.


title: A Survey on Video Action Recognition in Sports: Datasets, Methods and Applications

abstract: To understand human behaviors, action recognition based on videos is a common approach. Compared with image-based action recognition, videos provide much more information. Reducing the ambiguity of actions and in the last decade, many works focused on datasets, novel models and learning approaches have improved video action recognition to a higher level. However, there are challenges and unsolved problems, in particular in sports analytics where data collection and labeling are more sophisticated, requiring sport professionals to annotate data. In addition, the actions could be extremely fast and it becomes difficult to recognize them. Moreover, in team sports like football and basketball, one action could involve multiple players, and to correctly recognize them, we need to analyse all players, which is relatively complicated. In this paper, we present a survey on video action recognition for sports analytics. We introduce more than ten types of sports, including team sports, such as football, basketball, volleyball, hockey and individual sports, such as figure skating, gymnastics, table tennis, tennis, diving and badminton. Then we compare numerous existing frameworks for sports analysis to present status quo of video action recognition in both team sports and individual sports. Finally, we discuss the challenges and unsolved problems in this area and to facilitate sports analytics, we develop a toolbox using PaddlePaddle, which supports football, basketball, table tennis and figure skating action recognition.


title: Primordial black holes and scalar-induced gravitational waves from the generalized Brans-Dicke theory

abstract: The power spectrum of the scalar-tensor inflation with a quadratic form Ricci scalar coupling function $\Omega(\phi)=1- 2\phi/\phi_c+(1+\delta^2)(\phi/\phi_c)^2$ can be enhanced enough to produce primordial black holes and generate scalar-induced gravitational waves. The masses of primordial black holes and the frequencies of scalar-induced gravitational waves are controlled by the parameter $\phi_c$, and their amplitudes are determined by the parameter $\delta$. Primordial black holes with stellar masses, planetary masses, and masses around $10^{-12} M_\odot$ are produced and their abundances are obtained from the peak theory. The frequencies of the corresponding scalar-induced gravitational waves are around $10^{-9}$ Hz, $10^{-6}$ Hz, and $10^{-3}$ Hz, respectively. The primordial black holes with masses around $10^{-12} M_\odot$ can account for almost all of the dark matter, and the scalar-induced gravitational waves with frequencies around $10^{-9}$ Hz can explain the NANOGrav 12.5yrs signal.


title: Continuous space core-periphery model with transport costs in differentiated agriculture

abstract: The core-periphery model with transport costs in differentiated agriculture is extended to continuous space. A homogeneous stationary solution is unstable but exhibits redispersion that it is stabilized by sufficiently low manufacturing transport costs or sufficiently strong preference for manufacturing variety. It is numerically observed that a solution starting from around the unstable homogeneous solution eventually forms a spike-like agglomeration. Moreover, the redispersion also appears in the sense that the number of the spikes goes from decreasing to increasing as the manufacturing transport costs decrease. It is also observed that lower agricultural transport costs and stronger preference for agricultural variety promote agglomeration.


title: End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs

abstract: This paper presents an approach to provide strong assurance of the secure execution of distributed event-driven applications on shared infrastructures, while relying on a small Trusted Computing Base. We build upon and extend security primitives provided by Trusted Execution Environments (TEEs) to guarantee authenticity and integrity properties of applications, and to secure control of input and output devices. More specifically, we guarantee that if an output is produced by the application, it was allowed to be produced by the application's source code based on an authentic trace of inputs. We present an integrated open-source framework to develop, deploy, and use such applications across heterogeneous TEEs. Beyond authenticity and integrity, our framework optionally provides confidentiality and a notion of availability, and facilitates software development at a high level of abstraction over the platform-specific TEE layer. We support event-driven programming to develop distributed enclave applications in Rust and C for heterogeneous TEE, including Intel SGX, ARM TrustZone and Sancus. In this article we discuss the workings of our approach, the extensions we made to the Sancus processor, and the integration of our development model with commercial TEEs. Our evaluation of security and performance aspects show that TEEs, together with our programming model, form a basis for powerful security architectures for dependable systems in domains such as Industrial Control Systems and the Internet of Things, illustrating our framework's unique suitability for a broad range of use cases which combine cloud processing, mobile and edge devices, and lightweight sensing and actuation.


title: Mechanisms of high harmonic generation in solids

abstract: The long standing issue of separating resonant from non-resonant processes in extreme nonlinear optics is resolved. The theoretical formalism is applied to high harmonic generation (HHG) in solids and reveals a deeper view into the dominant laser and material dependent mechanisms. Mid-infrared driven HHG in semiconductors is dominated by the resonant interband current. As a result of the dynamic Stark shift, virtual processes gain in importance in near-infrared driven HHG in dielectrics. Finally, our analysis identifies limitations of microscopic one-electron-hole theories.


title: Multi-objective Inverse Design of Solid-state Quantum Emitter Single-photon Sources

abstract: Single solid-state quantum emitters offer considerable potential for the implementation of sources of indistinguishable single-photons, which are central to many photonic quantum information systems. Nanophotonic geometry optimization with multiple performance metrics is imperative to convert a bare quantum emitter into a single-photon source that approaches the necessary levels of purity, indistinguishability, and brightness for quantum photonics. We present an inverse design methodology that simultaneously targets two important figures-of-merit for high-performance quantum light sources: the Purcell radiative rate enhancement and the coupling efficiency into a desired light collection channel. We explicitly address geometry-dependent power emission, a critical but often overlooked aspect of gradient-based optimization of quantum emitter single-photon sources. We illustrate the efficacy of our method through the design of a single-photon source based on a quantum emitter in a GaAs nanophotonic structure that provides a Purcell factor $F_p=21$ with a 94% waveguide coupling efficiency, while respecting a geometric constraint to minimize emitter decoherence by etched sidewalls. Our results indicate that multi-objective inverse design can yield competitive performance with more favorable trade-offs than conventional approaches based on pre-established waveguide or cavity geometries.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Artificial Open World for Evaluating AGI: a Conceptual Design

abstract: How to evaluate Artificial General Intelligence (AGI) is a critical problem that is discussed and unsolved for a long period. In the research of narrow AI, this seems not a severe problem, since researchers in that field focus on some specific problems as well as one or some aspects of cognition, and the criteria for evaluation are explicitly defined. By contrast, an AGI agent should solve problems that are never-encountered by both agents and developers. However, once a developer tests and debugs the agent with a problem, the never-encountered problem becomes the encountered problem, as a result, the problem is solved by the developers to some extent, exploiting their experience, rather than the agents. This conflict, as we call the trap of developers' experience, leads to that this kind of problems is probably hard to become an acknowledged criterion. In this paper, we propose an evaluation method named Artificial Open World, aiming to jump out of the trap. The intuition is that most of the experience in the actual world should not be necessary to be applied to the artificial world, and the world should be open in some sense, such that developers are unable to perceive the world and solve problems by themselves before testing, though after that they are allowed to check all the data. The world is generated in a similar way as the actual world, and a general form of problems is proposed. A metric is proposed aiming to quantify the progress of research. This paper describes the conceptual design of the Artificial Open World, though the formalization and the implementation are left to the future.


title: Landau-Ginzburg/Conformal Field Theory Correspondence for $x^d$ and Module Tensor Categories

abstract: The Landau-Ginzburg/Conformal Field Theory correspondence predicts tensor equivalences between categories of matrix factorisations of certain polynomials and categories associated to the $N=2$ supersymmetric conformal field theories. We realise this correspondence for $x^d$ for any $d$, where previous results were limited to odd $d$. Our proof uses the fact that both sides of the correspondence carry the structure of module tensor categories over the category of $\mathbb{Z}_d$-graded vector spaces equipped with a non-degenerate braiding. This allows us to describe the CFT side as generated by a single object, and use this to efficiently provide a functor realising the tensor equivalence.


title: Optimal Cooling of Multiple Levitated Particles: Theory of Far-Field Wavefront-Shaping

abstract: The opportunity to manipulate small-scale objects pushes us to the limits of our understanding of physics. Particularly promising in this regard is the interdisciplinary field of levitation, in which light fields can be harnessed to isolate nano-particles from their environment by levitating them optically. When cooled down towards their motional quantum ground state, levitated systems offer the tantalizing prospect of displaying mesoscopic quantum properties. Currently restricted to single objects with simple shapes, the interest in levitation is currently moving towards the manipulation of more complex structures, such as those featuring multiple particles or different degrees of freedom. Unfortunately, current cooling techniques are mostly designed for single objects and thus cannot easily be multiplexed to address such coupled many-body systems. Here, we present an approach based on the spatial modulation of light in the far-field to cool down multiple nano-objects in parallel. Our procedure is based on the experimentally measurable scattering matrix and on its changes with time. We demonstrate how to compose from these ingredients a linear energy-shift operator, whose eigenstates are identified as the incoming wavefronts that implement the most efficient cooling of complex moving ensembles of levitated particles. Submitted in parallel with arxiv:2103.12592, this article provides a theoretical and numerical study of the expected cooling performance as well as of the robustness of the method against environmental parameters.


title: Drug Repurposing For SARS-COV-2 Using Molecular Docking

abstract: Drug repurposing is an unconventional approach that is used to investigate new therapeutic aids of existing and shelved drugs. Recent advancement in technologies and the availability of the data of genomics, proteomics, transcriptomics, etc., and with the accessibility of large and reliable database resources, there are abundantly of opportunities to discover drugs by drug repurposing in an efficient manner. The recent pandemic of SARS-COV-2, that caused the death of 6,245,750 human beings to date, has tremendously increase the exceptional usage of bioinformatics tools in interpreting the molecular characterizations of viral infections. In this paper, we have employed various bioinformatics tools such as AutoDock-Vina, PyMol etc. We have found a leading drug candidate Cepharanthine that has shown better results and effectiveness than recently used antiviral drug candidates such as Favipiravir, IDX184, Remedesivir, Ribavirin and etc. This paper has analyzed Cepharanthine potential therapeutic importance as a drug of choice in managing COVID-19 cases. It is anticipated that proposed study would be beneficial for researchers and medical practitioners in handling SARS-CoV-2 and its variant related diseases.


title: Universal van der Waals Force Between Heavy Polarons in Superfluids

abstract: We investigate the long-range behavior of the induced Casimir interaction between two spinless heavy impurities, or polarons, in superfluid cold atomic gases. With the help of effective field theory (EFT) of a Galilean invariant superfluid, we show that the induced impurity-impurity potential at long distance universally shows a relativistic van der Waals-like attraction ($\sim 1/r^7$) resulting from the exchange of two superfluid phonons. We also clarify finite temperature effects from the same two-phonon exchange process. The temperature $T$ introduces the additional length scale $c_s/T$ with the speed of sound $c_s$. Leading corrections at finite temperature scale as $T^6/r$ for distances $r \ll c_s/T$ smaller than the thermal length. For larger distances the potential shows a nonrelativistic van der Waals behavior ($\sim T/r^6$) instead of the relativistic one. Our EFT formulation applies not only to weakly coupled Bose or Fermi superfluids but also to that composed of strongly-coupled unitary fermions with a weakly coupled impurity. The sound velocity controls the magnitude of the van der Waals potential, which we evaluate for the fermionic superfluid in the BCS-BEC crossover.


title: A path-dependent stochastic Gronwall inequality and strong convergence rate for stochastic functional differential equations

abstract: We derive a stochastic Gronwall lemma with suprema over the paths in the upper bound of the assumed affine-linear growth assumption. This allows applications to It\^o processes with coefficients which depend on earlier time points such as stochastic delay equations or Euler-type approximations of stochastic differential equations. We apply our stochastic Gronwall lemma with path-suprema to stochastic functional differential equations and prove a strong convergence rate for coefficient functions which depend on path-suprema.


title: Detection of an extremely large impact flash on Jupiter by high-cadence multiwavelength observations

abstract: We report the detection of an optical impact flash on Jupiter on 15 October 2021 by a dedicated telescope, Planetary ObservatioN Camera for Optical Transient Surveys (PONCOTS), for the first time. Our temporally resolved three-band observations of the flash allowed investigations of its optical energy without the need for approximations on the impact brightness temperature. The kinetic energy of the impactor was equivalent to approximately two megatons of TNT, an order of magnitude greater than that of previously detected flashes on Jupiter and comparable with the Tunguska impact on Earth in 1908. This detection indicates that Tunguska-like impact events on Jupiter occur approximately once per year, two-three orders of magnitude more frequent than terrestrial impacts. The observed flash displayed a single-temperature blackbody spectrum with an effective temperature of approximately 8300 K without clear temporal variation, possibly representing common radiative features of terrestrial Tunguska-class superbolides.


title: Multi-stage Moving Target Defense: A Security-enhanced D-FACTS Implementation Approach

abstract: In recent studies, moving target defense (MTD) has been applied to detect false data injection (FDI) attacks using distributed flexible AC transmission system (D-FACTS) devices. However, the inherent conflict between the security goals of MTD (i.e., detecting FDI attacks) and the economic goals of D-FACTS devices (i.e., reducing power losses) would impede the application of MTD in real systems. Moreover, the detection capabilities of existing MTDs are often insufficient. This paper proposes a multi-stage MTD (MMTD) approach to resolve these two issues by adding a group of designed security-oriented schemes before D-FACTS' economic-oriented scheme to detect FDI attacks. We keep these security-oriented schemes for a very short time interval and then revert to the economic-oriented scheme for the remaining time to ensure the economic requirements. We prove that a designed MMTD can significantly improve the detection capability compared to existing one-stage MTDs. We find the supremum of MMTD's detection capability and study its relationship with system topology and D-FACTS deployment. Meanwhile, a greedy algorithm is proposed to search the MMTD strategy to reach this supremum. Simulation results show that the proposed MMTD can achieve the supremum against FDI attacks while outperforming current MTD strategies on economic indicators.


title: Unflavored Leptogenesis and Neutrino Masses in Flavored SUSY SU(5) model

abstract: We propose a model with $D_4$ flavor symmetry for leptogenesis in the framework of supersymmetric $SU(5)$ grand unified theory. Neutrino masses arise from the type I seesaw mechanism where the spontaneous symmetry breaking of the flavor symmetry leads to the well-known trimaximal mixing ($TM_2$). We find that this model predicts the normal hierarchy (NH) for neutrino masses. We also find that the predicted range of the effective neutrino mass $m_{\beta\beta}$ can be tested at future neutrinoless double beta decay experiments. For the generation of the baryon asymmetry of the Universe (BAU), we consider the unflavored leptogenesis regime and we take into account the decay of the three righ-handed neutrinos $N_i$. We conclude that the BAU originates from a correction to the Dirac operator giving rise to a new coupling and a $CP$ phase which both play an important role in generating the observed BAU.


title: Molecular precursors of the RNA-world in space: new nitriles in the G+0.693-0.027 molecular cloud

abstract: Nitriles play a key role as molecular precursors in prebiotic experiments based on the RNA-world scenario for the origin of life. These chemical compounds could have been partially delivered to the young Earth from extraterrestrial objects, stressing the importance of establishing the reservoir of nitriles in the interstellar medium. We report here the detection towards the molecular cloud G+0.693-0.027 of several nitriles, including cyanic acid (HOCN), and three C$_4$H$_3$N isomers (cyanoallene, CH$_2$CCHCN; propargyl cyanide, HCCCH$_2$CN; and cyanopropyne (CH$_3$CCCN), and the tentative detections of cyanoformaldehyde (HCOCN), and glycolonitrile (HOCH$_2$CN). We have also performed the first interstellar search of cyanoacetaldehyde (HCOCH$_2$CN), which was not detected. Based on the derived molecular abundances of the different nitriles in G+0.693-0.027 and other interstellar sources, we have discussed their formation mechanisms in the ISM. We propose that the observed HOCN abundance in G+0.693-0.027 is mainly due to surface chemistry and subsequent shock-induced desorption, while HCOCN might be mainly formed through gas-phase chemistry. In the case of HOCH$_2$CN, several grain-surface routes from abundant precursors could produce it. The derived abundances of the three C$_4$H$_3$N isomers in G+0.693-0.027 are very similar, and also similar to those previously reported in the dark cold cloud TMC-1. This suggests that the three isomers are likely formed through gas-phase chemistry from common precursors, possibly unsaturated hydrocarbons (CH$_3$CCH and CH$_2$CCH$_2$) that react with the cyanide radical (CN). The rich nitrile feedstock found towards G+0.693-0.027 confirms that interstellar chemistry is able to synthesize in space molecular species that could drive the prebiotic chemistry of the RNA-world.


title: Automorphism group of the reduced power (di)graph of a finite group

abstract: We describe the automorphism group of the directed reduced power graph and the undirected reduced power graph of a finite group.


title: Quasi-periodic motions in generic nearly-integrable mechanical systems

abstract: In this note we present and briefly discuss results, which include as a particular case the theorem announced in [L. Biasco, and L. Chierchia. On the measure of Lagrangian invariant tori in nearly-integrable mechanical systems. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 26 (2015), 1-10], concerning the typical behaviour of nearly-integrable mechanical systems with generic analytic potentials.


title: Looking out for the Galileon in the nanohertz gravitational wave sky

abstract: We study the polarizations induced by the Galileon as a stochastic gravitational wave background in the cross correlated power in a pulsar timing array. Working within Galileon gravity, we first show that the scalar gravitational wave signature of the Galileon is encoded solely in its effective mass, which is controlled by the bare mass, conformal coupling, and a tadpole. Then, we study the phenomenology of the Galileon induced scalar polarizations and place observational constraints on these using the present NANOGrav data set. Our results feature longitudinal spatial correlation, indicative of a $10^{-22}$ eV {subluminal} Galileon, and show the Galileon polarizations as a statistically compelling source of the observed spatial correlation across millisecond pulsars, if there is any.


title: Controlling Fermi level pinning in near-surface InAs quantum wells

abstract: Hybrid superconductor-semiconductor heterostructures are a promising platform for quantum devices based on mesoscopic and topological superconductivity. In these structures, a semiconductor must be in close proximity to a superconductor and form an ohmic contact. This can be accommodated in narrow band gap semiconductors such as InAs, where the surface Fermi level is positioned close to the conduction band. In this work, we study the structural properties of near-surface InAs quantum wells and find that surface morphology is closely connected to low-temperature transport, where electron mobility is highly sensitive to the growth temperature of the underlying graded buffer layer. By introducing an In$_{0.81}$Al$_{0.19}$As capping layer, we show that we can modify the surface Fermi level pinning within the first nanometer of the In$_{0.81}$Al$_{0.19}$As thin film. Experimental measurements show a strong agreement with Schr\"odinger-Poisson calculations of the electron density, suggesting the conduction band energy of the In$_{0.81}$Ga$_{0.19}$As and In$_{0.81}$Al$_{0.19}$As surface is pinned to \SI{40}{\milli eV} and \SI{309}{\milli eV} above the Fermi level respectively.


title: On the hydrostatic limit of stably stratified fluids with isopycnal diffusivity

abstract: This article is concerned with rigorously justifying the hydrostatic limit for continuously stratified incompressible fluids under the influence of gravity. The main distinction of this work compared to previous studies is the absence of any (regularizing) viscosity contribution added to the fluid-dynamics equations; only thickness diffusivity effects are considered. Motivated by applications to oceanography, the diffusivity effects in this work arise from an additional advection term, the specific form of which was proposed by Gent and McWilliams in the 1990s to model the effective contributions of geostrophic eddy correlations in non-eddy-resolving systems. The results of this paper heavily rely on the assumption of stable stratification. We establish the well-posedness of the hydrostatic equations and the original (non-hydrostatic) equations for stably stratified fluids, along with their convergence in the limit of vanishing shallow-water parameter. These results are obtained in high but finite Sobolev regularity and carefully account for the various parameters involved. A key element of our analysis is the reformulation of the systems using isopycnal coordinates, enabling us to provide meticulous energy estimates that are not readily apparent in the original Eulerian coordinate system.


title: Recognizing the Commuting Graph of a Finite Group

abstract: In this paper we study the realizability question for commuting graphs of finite groups: Given an undirected graph $X$ is it the commuting graph of a group $G$? And if so, to determine such a group. We seek efficient algorithms for this problem. We make some general observations on this problem, and obtain a polynomial-time algorithm for the case of extraspecial groups.