title: Multimodal analysis of the predictability of hand-gesture properties

abstract: Embodied conversational agents benefit from being able to accompany their speech with gestures. Although many data-driven approaches to gesture generation have been proposed in recent years, it is still unclear whether such systems can consistently generate gestures that convey meaning. We investigate which gesture properties (phase, category, and semantics) can be predicted from speech text and/or audio using contemporary deep learning. In extensive experiments, we show that gesture properties related to gesture meaning (semantics and category) are predictable from text features (time-aligned FastText embeddings) alone, but not from prosodic audio features, while rhythm-related gesture properties (phase) on the other hand can be predicted from audio features better than from text. These results are encouraging as they indicate that it is possible to equip an embodied agent with content-wise meaningful co-speech gestures using a machine-learning model.


title: Formation of the First Two Black Hole-Neutron Star Mergers (GW200115 and GW200105) from Isolated Binary Evolution

abstract: In this work we study the formation of the first two black hole-neutron star (BHNS) mergers detected in gravitational waves (GW200115 and GW200105) from massive stars in wide isolated binary systems - the isolated binary evolution channel. We use 560 BHNS binary population synthesis model realizations from Broekgaarden et al. (2021a) and show that the system properties (chirp mass, component masses and mass ratios) of both GW200115 and GW200105 match predictions from the isolated binary evolution channel. We also show that most model realizations can account for the local BHNS merger rate densities inferred by LIGO-Virgo. However, to simultaneously also match the inferred local merger rate densities for BHBH and NSNS systems we find we need models with moderate kick velocities ($\sigma\lesssim 10^2\,\rm{km}\,\rm{s}^{-1}$) or high common-envelope efficiencies ($\alpha_{\rm{CE}}\gtrsim 2$) within our model explorations. We conclude that the first two observed BHNS mergers can be explained from the isolated binary evolution channel for reasonable model realizations.


title: Gilbarg-Serrin Equation and Lipschitz Regularity

abstract: We discuss conditions for Lipschitz and C^1 regularity for a uniformly elliptic equation in divergence form with coefficients that were introduced by Gilbarg & Serrin. In particular, we find cases where Lipschitz or C^1 regularity holds but the coefficients are not Dini continuous, or do not even have Dini mean oscillation. The form of the coefficients also enables us to obtain specific conditions and examples for which there exists a weak solution that is not Lipschitz continuous.


title: Dynamic Attention-based Communication-Efficient Federated Learning

abstract: Federated learning (FL) offers a solution to train a global machine learning model while still maintaining data privacy, without needing access to data stored locally at the clients. However, FL suffers performance degradation when client data distribution is non-IID, and a longer training duration to combat this degradation may not necessarily be feasible due to communication limitations. To address this challenge, we propose a new adaptive training algorithm $\texttt{AdaFL}$, which comprises two components: (i) an attention-based client selection mechanism for a fairer training scheme among the clients; and (ii) a dynamic fraction method to balance the trade-off between performance stability and communication efficiency. Experimental results show that our $\texttt{AdaFL}$ algorithm outperforms the usual $\texttt{FedAvg}$ algorithm, and can be incorporated to further improve various state-of-the-art FL algorithms, with respect to three aspects: model accuracy, performance stability, and communication efficiency.


title: Fast Approximation of Persistence Diagrams with Guarantees

abstract: This paper presents an algorithm for the efficient approximation of the saddle-extremum persistence diagram of a scalar field. Vidal et al. introduced recently a fast algorithm for such an approximation (by interrupting a progressive computation framework). However, no theoretical guarantee was provided regarding its approximation quality. In this work, we revisit the progressive framework of Vidal et al. and we introduce in contrast a novel approximation algorithm, with a user controlled approximation error, specifically, on the Bottleneck distance to the exact solution. Our approach is based on a hierarchical representation of the input data, and relies on local simplifications of the scalar field to accelerate the computation, while maintaining a controlled bound on the output error. The locality of our approach enables further speedups thanks to shared memory parallelism. Experiments conducted on real life datasets show that for a mild error tolerance (5% relative Bottleneck distance), our approach improves runtime performance by 18% on average (and up to 48% on large, noisy datasets) in comparison to standard, exact, publicly available implementations. In addition to the strong guarantees on its approximation error, we show that our algorithm also provides in practice outputs which are on average 5 times more accurate (in terms of the L2-Wasserstein distance) than a naive approximation baseline. We illustrate the utility of our approach for interactive data exploration and we document visualization strategies for conveying the uncertainty related to our approximations.


title: Probabilistic methods for approximate archetypal analysis

abstract: Archetypal analysis is an unsupervised learning method for exploratory data analysis. One major challenge that limits the applicability of archetypal analysis in practice is the inherent computational complexity of the existing algorithms. In this paper, we provide a novel approximation approach to partially address this issue. Utilizing probabilistic ideas from high-dimensional geometry, we introduce two preprocessing techniques to reduce the dimension and representation cardinality of the data, respectively. We prove that provided the data is approximately embedded in a low-dimensional linear subspace and the convex hull of the corresponding representations is well approximated by a polytope with a few vertices, our method can effectively reduce the scaling of archetypal analysis. Moreover, the solution of the reduced problem is near-optimal in terms of prediction errors. Our approach can be combined with other acceleration techniques to further mitigate the intrinsic complexity of archetypal analysis. We demonstrate the usefulness of our results by applying our method to summarize several moderately large-scale datasets.


title: Subgap states at ferromagnetic and spiral-ordered magnetic chains in two-dimensional superconductors. II. Topological classification

abstract: We investigate the topological classification of the subgap bands induced in a two-dimensional superconductor by a densely packed chain of magnetic moments with ferromagnetic or spiral alignments. The wave functions for these bands are composites of Yu-Shiba-Rusinov-type states and magnetic scattering states and have a significant spatial extension away from the magnetic moments. We show that this spatial structure prohibits a straightforward extraction of a Hamiltonian useful for the topological classification. To address the latter correctly we construct a family of spatially varying topological Hamiltonians for the subgap bands adapted for the broken translational symmetry caused by the chain. The spatial dependence in particular captures the transition to the topologically trivial bulk phase when moving away from the chain by showing how this, necessarily discontinuous, transition can be understood from an alignment of zeros with poles of Green's functions. Through the latter the topological Hamiltonians reflect a characteristic found otherwise primarily in strongly interacting systems.


title: Enhanced Multi-Resolution Analysis for Multi-Dimensional Data Utilizing Line Filtering Techniques

abstract: In this article we introduce Line Smoothness-Increasing Accuracy-Conserving Multi-Resolution Analysis\linebreak (LSIAC-MRA). This is a procedure for exploiting convolution kernel post-processors for obtaining more accurate multi-dimensional multi-resolution analysis (MRA) in terms of error reduction. This filtering-projection tool allows for the transition of data between different resolutions while simultaneously decreasing errors in the fine grid approximation. It specifically allows for defining detail multi-wavelet coefficients when translating coarse data onto finer meshes. These coefficients are usually not defined in such cases. We show how to analytically evaluate the resulting convolutions and express the filtered approximation in a new basis. This is done by combining the filtering procedure with projection operators that allow for computational implementation of this scale transition procedure. Further, this procedure can be applied to piecewise constant approximations to functions, as it provides error reduction. We demonstrate the effectiveness of this technique in two and three dimensions.


title: Minkowski-Lyapunov Functions: Alternative Characterization and Implicit Representation

abstract: An alternative characterization of Minkowski--Lyapunov functions is derived. The derived characterization enables a computationally efficient utilization of Minkowski--Lyapunov functions in arbitrary finite dimensions. Due to intrinsic duality, the developed results apply in a direct manner to the characterization and utilization of robust positively invariant sets.


title: Fourier dimension of the cone

abstract: It is shown that the cone in $\mathbb{R}^{d+1}$ has Fourier dimension $d-1$. This verifies a conjecture of Fraser and Kroon.


title: Stability Analysis of Geodesics and Quasinormal Modes of a Dual Stringy Black Hole Via Lyapunov Exponents

abstract: We investigate the stability of both timelike as well as null circular geodesics in the vicinity of a dual (3+1) dimensional stringy black hole (BH) spacetime by using an excellent tool so-called Lyapunov exponent. The proper time ($\tau$) Lyapunov exponent ($\lambda_{p}$) and coordinate time ($t$) Lyapunov exponent~($\lambda_{c}$) are explicitly derived to analyze the stability of equatorial circular geodesics for the stringy BH spacetime with \emph{electric charge} parameter ($\alpha$) and \emph{magnetic charge} parameter~($Q$). By computing these exponents for both the cases of BH spacetime, it is observed that the coordinate time Lyapunov exponent of magnetically charged stringy BH for both timelike and null geodesics are independent of magnetic charge parameter $(Q)$. The variation of the ratio of Lyapunov exponents with radius of timelike circular orbits ($r_{0}/M$) for both the cases of stringy BH are presented. The behavior of instability exponent for null circular geodesics with respect to charge parameters ($\alpha$ and $Q$) are also observed for both the cases of BH. Further, by establishing a relation between quasinormal modes (QNMs) and parameters related to null circular geodesics (like angular frequency and Lyapunov exponent), we deduced the QNMs (or QNM frequencies) for a massless scalar field perturbation around \emph{both} the cases of stringy BH spacetime in the eikonal limit. The variation of scalar field potential with charge parameters and angular momentum of perturbation ($l$) are visually presented and discussed accordingly.


title: Correlate-and-Excite: Real-Time Stereo Matching via Guided Cost Volume Excitation

abstract: Volumetric deep learning approach towards stereo matching aggregates a cost volume computed from input left and right images using 3D convolutions. Recent works showed that utilization of extracted image features and a spatially varying cost volume aggregation complements 3D convolutions. However, existing methods with spatially varying operations are complex, cost considerable computation time, and cause memory consumption to increase. In this work, we construct Guided Cost volume Excitation (GCE) and show that simple channel excitation of cost volume guided by image can improve performance considerably. Moreover, we propose a novel method of using top-k selection prior to soft-argmin disparity regression for computing the final disparity estimate. Combining our novel contributions, we present an end-to-end network that we call Correlate-and-Excite (CoEx). Extensive experiments of our model on the SceneFlow, KITTI 2012, and KITTI 2015 datasets demonstrate the effectiveness and efficiency of our model and show that our model outperforms other speed-based algorithms while also being competitive to other state-of-the-art algorithms. Codes will be made available at https://github.com/antabangun/coex.


title: HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations

abstract: Recently, several Knowledge Graph Embedding (KGE) approaches have been devised to represent entities and relations in dense vector space and employed in downstream tasks such as link prediction. A few KGE techniques address interpretability, i.e., mapping the connectivity patterns of the relations (i.e., symmetric/asymmetric, inverse, and composition) to a geometric interpretation such as rotations. Other approaches model the representations in higher dimensional space such as four-dimensional space (4D) to enhance the ability to infer the connectivity patterns (i.e., expressiveness). However, modeling relation and entity in a 4D space often comes at the cost of interpretability. This paper proposes HopfE, a novel KGE approach aiming to achieve the interpretability of inferred relations in the four-dimensional space. We first model the structural embeddings in 3D Euclidean space and view the relation operator as an SO(3) rotation. Next, we map the entity embedding vector from a 3D space to a 4D hypersphere using the inverse Hopf Fibration, in which we embed the semantic information from the KG ontology. Thus, HopfE considers the structural and semantic properties of the entities without losing expressivity and interpretability. Our empirical results on four well-known benchmarks achieve state-of-the-art performance for the KG completion task.


title: Optimal control for parameter estimation in partially observed hypoelliptic stochastic differential equations

abstract: We deal with the problem of parameter estimation in stochastic differential equations (SDEs) in a partially observed framework. We aim to design a method working for both elliptic and hypoelliptic SDEs, the latters being characterized by degenerate diffusion coefficients. This feature often causes the failure of contrast estimators based on Euler Maruyama discretization scheme and dramatically impairs classic stochastic filtering methods used to reconstruct the unobserved states. All of theses issues make the estimation problem in hypoelliptic SDEs difficult to solve. To overcome this, we construct a well-defined cost function no matter the elliptic nature of the SDEs. We also bypass the filtering step by considering a control theory perspective. The unobserved states are estimated by solving deterministic optimal control problems using numerical methods which do not need strong assumptions on the diffusion coefficient conditioning. Numerical simulations made on different partially observed hypoelliptic SDEs reveal our method produces accurate estimate while dramatically reducing the computational price comparing to other methods.


title: Learning from Matured Dumb Teacher for Fine Generalization

abstract: The flexibility of decision boundaries in neural networks that are unguided by training data is a well-known problem typically resolved with generalization methods. A surprising result from recent knowledge distillation (KD) literature is that random, untrained, and equally structured teacher networks can also vastly improve generalization performance. It raises the possibility of existence of undiscovered assumptions useful for generalization on an uncertain region. In this paper, we shed light on the assumptions by analyzing decision boundaries and confidence distributions of both simple and KD-based generalization methods. Assuming that a decision boundary exists to represent the most general tendency of distinction on an input sample space (i.e., the simplest hypothesis), we show the various limitations of methods when using the hypothesis. To resolve these limitations, we propose matured dumb teacher based KD, conservatively transferring the hypothesis for generalization of the student without massive destruction of trained information. In practical experiments on feed-forward and convolution neural networks for image classification tasks on MNIST, CIFAR-10, and CIFAR-100 datasets, the proposed method shows stable improvement to the best test performance in the grid search of hyperparameters. The analysis and results imply that the proposed method can provide finer generalization than existing methods.


title: Divergent Integrals of Certain Analytical Functions In the Sense of Zeta Regularization

abstract: In this paper we extend the Zeta function regularization technique, which gives a meaningful solution to divergent power series, in order to assign finite values to divergent integral of certain transcendental functions $f(x)$. The functions are assumed to be analytical and hence they have a convergent Maclaurin series with infinity radius of convergence. Using Maclaurin series and binomial expansion, we equivalently convert the divergent integral to an infinite series in terms of Riemann zeta function. It is shown that the infinite series is convergent under a certain condition and consequently the solution of the divergent integral becomes $\int_0^{\infty} f(x) dx = \sum_{k=0}^{\infty} \frac{(-1)^{k+1}}{(k+2)!} f^{(k)}(0)$. The advantage of this Zeta regularization technique is that it does not not require introducing any cut-off function to calculate such divergent integrals. This formula is applied to calculate the divergent integral of several common transcendental functions.


title: Photochemistry of Venus-Like Planets Orbiting K- and M-Dwarf Stars

abstract: Compared to the diversity seen in exoplanets, Venus is a veritable astrophysical twin of the Earth, however its global cloud layer truncates features in transmission spectroscopy, masking its non-Earth-like nature. Observational indicators that can distinguish an exo-Venus from an exo-Earth must therefore survive above the cloud layer. The above-cloud atmosphere is dominated by photochemistry, which depends on the spectrum of the host star and therefore changes between stellar systems. We explore the systematic changes in photochemistry above the clouds of Venus-like exoplanets orbiting K-Dwarf or M-Dwarf host stars, using a recently validated model of the full Venus atmosphere (0-115 km) and stellar spectra from the MUSCLES Treasury survey. SO2, OCS and H2S are key gas species in Venus-like planets that are not present in Earth-like planets, and could therefore act as observational discriminants if their atmospheric abundances are high enough to be detected. We find that SO2, OCS and H2S all survive above the cloud layer when irradiated by the coolest K-Dwarf and all seven M-Dwarfs, whereas these species are heavily photochemically depleted above the clouds of Venus. The production of sulfuric acid molecules that form the cloud layer decreases for decreasing stellar effective temperature. Less steady-state photochemical oxygen and ozone forms with decreasing stellar effective temperature, and the effect of chlorine-catalysed reaction cycles diminish in favour of HOx and SOx catalysed cycles. We conclude that trace sulfur gases will be prime observational indicators of Venus-like exoplanets around M-Dwarf host stars, potentially capable of distinguishing an exo-Venus from an exo-Earth.


title: DiagViB-6: A Diagnostic Benchmark Suite for Vision Models in the Presence of Shortcut and Generalization Opportunities

abstract: Common deep neural networks (DNNs) for image classification have been shown to rely on shortcut opportunities (SO) in the form of predictive and easy-to-represent visual factors. This is known as shortcut learning and leads to impaired generalization. In this work, we show that common DNNs also suffer from shortcut learning when predicting only basic visual object factors of variation (FoV) such as shape, color, or texture. We argue that besides shortcut opportunities, generalization opportunities (GO) are also an inherent part of real-world vision data and arise from partial independence between predicted classes and FoVs. We also argue that it is necessary for DNNs to exploit GO to overcome shortcut learning. Our core contribution is to introduce the Diagnostic Vision Benchmark suite DiagViB-6, which includes datasets and metrics to study a network's shortcut vulnerability and generalization capability for six independent FoV. In particular, DiagViB-6 allows controlling the type and degree of SO and GO in a dataset. We benchmark a wide range of popular vision architectures and show that they can exploit GO only to a limited extent.


title: Theory of Topological Superconductivity in Doped IV-VI Semiconductors

abstract: We theoretically study potential unconventional superconductivity in doped AB-type IV-VI semi-conductors, based on a minimal effective model with interaction up to the next-nearest neighbors. According to the experimental implications, we focus on the spin-triplet channels and obtain the superconducting phase diagram with respect to the anisotropy of the Fermi surfaces and the interaction strength. Abundant nodal and nodeless states with different symmetry breaking appear in the phase diagram, and all the states are time reversal invariant and topologically nontrivial. Specifically, the various nodal superconducting ground states, dubbed as the topological Dirac superconductors, are featured by Dirac nodes in the bulk and Majorana arcs on the surface; among the full-gap states, there exist a mirror-symmetry-protected second-order topological superconductor state favoring helical Majorana hinge cones, and different first-order topological superconductor states supporting 4 surface Majorana cones. The experimental verification of the different kinds of superconducting ground states is also discussed.


title: Networked Twins and Twins of Networks: an Overview on the Relationship Between Digital Twins and 6G

abstract: Digital Twin (DT) is a promising technology for the new immersive digital life with a variety of applications in areas such as Industry 4.0, aviation, and healthcare. Proliferation of this technology requires higher data rates, reliability, resilience, and lower latency beyond what is currently offered by 5G. Thus, DT can become a major driver for 6G research and development. Alternatively, 6G network development can benefit from Digital Twin technology and its powerful features such as modularity and remote intelligence. Using DT, a 6G network (or some of its components) will have the opportunity to use Artificial Intelligence more proactively in order to enhance its resilience. DT's application in telecommunications is still in its infancy. In this article we highlight some of the most promising research and development directions for this technology.


title: Strength, corrosion resistance and cellular response of interfaces in bioresorbable poly-lactic acid/Mg fiber composites for orthopedic applications

abstract: The shear strength and the corrosion resistance of the fiber/matrix interface after immersion in simulated body fluid was studied in poly-lactic acid/Mg fiber composites. The shear strength of the interface was measured by means of push-out tests in thin slices of the composite perpendicular to the fibers. It was found that the interface strength dropped from 15.2 \pm 1.4 MPa to 7.8 \pm 3.7 MPa after the composite was immersed in simulated body fluid for 148 hours. The reduction of the interface strength was associated to the fast corrosion of the fibers as water diffused to the interface through the polymer. The expansion of the fibers due to the formation of corrosion products was enough to promote radial cracks in the polymer matrix which facilitate the ingress of water and the development of corrosion pitting in the fibers. Moreover, cell culture testing on the material showed that early degradation of the Mg fibers affected the proliferation of pre-osteoblasts near the Mg fibers due to the local changes in the environment produced by the fiber corrosion. Thus, surface modification of Mg fibers to delay degradation seems to be a critical point for further development of Mg/PLA composites for biomedical applications.


title: Sparse Temporal Disaggregation

abstract: Temporal disaggregation is a method commonly used in official statistics to enable high-frequency estimates of key economic indicators, such as GDP. Traditionally, such methods have relied on only a couple of high-frequency indicator series to produce estimates. However, the prevalence of large, and increasing, volumes of administrative and alternative data-sources motivates the need for such methods to be adapted for high-dimensional settings. In this article, we propose a novel sparse temporal-disaggregation procedure and contrast this with the classical Chow-Lin method. We demonstrate the performance of our proposed method through simulation study, highlighting various advantages realised. We also explore its application to disaggregation of UK gross domestic product data, demonstrating the method's ability to operate when the number of potential indicators is greater than the number of low-frequency observations.


title: Maps from 3-manifolds to 4-manifolds that induce isomorphisms on $\pi_1$

abstract: In this paper, we prove that any closed orientable 3-manifold $M$ other than $\#^k S^1\times S^2$ and $S^3$ satisfies the following properties: (1) For any compact orientable 4-manifold $N$ bounded by $M$, the inclusion does not induce an isomorphism on their fundamental groups $\pi_1$. (2) For any map $f:M\to N$ from $M$ to a closed orientable 4-manifold $N$, $f$ does not induce an isomorphism on $\pi_1$. Relevant results on higher dimensional manifolds are also obtained.


title: Some convexity and monotonicity results of trace functionals

abstract: In this paper, we prove the convexity of trace functionals $$(A,B,C)\mapsto \text{Tr}|B^{p}AC^{q}|^{s},$$ for parameters $(p,q,s)$ that are best possible, where $B$ and $C$ are any $n$-by-$n$ positive definite matrices, and $A$ is any $n$-by-$n$ matrix. We also obtain the monotonicity versions of trace functionals of this type. As applications, we extend some results in \cite{HP12quasi,CFL16some} and resolve a conjecture in \cite{RZ14} in the matrix setting. Other conjectures in \cite{RZ14} will also be discussed. We also show that some related trace functionals are not concave in general. Such concavity results were expected to hold in different problems.


title: CJ15 global PDF analysis with new electroweak data from the STAR and SeaQuest experiments

abstract: We present updates to a recent CTEQ-Jefferson Lab (CJ) global analysis of parton distribution functions with a new set of electroweak data that provide unique access to quark flavor separation in the proton. In particular, recent $W$ and $Z$ boson measurements from the STAR experiment at RHIC put additional constraints on light quarks and antiquarks near the valence regime. The new measurement of the Drell-Yan lepton pair production ratio in $p+p$ and $p+d$ collisions by the SeaQuest experiment at Fermilab extends the large-$x$ coverage of the previous E866 experiment and sheds new light on the light antiquarks distribution. In this report, the impact of these new data sets on parton distribution functions will be presented with emphasis given to the flavor asymmetry of the light antiquark sea at large values of the parton momentum $x$.


title: Majorana Neutrinos, Exceptional Jordan Algebra, and Mass Ratios for Charged Fermions

abstract: We provide theoretical evidence that the neutrino is a Majorana fermion. This evidence comes from assuming that the standard model and beyond-standard-model physics can be described through division algebras, coupled to a quantum dynamics. We use the division algebras scheme to derive mass ratios for the standard model charged fermions of three generations. The predicted ratios agree well with the observed values if the neutrino is assumed to be Majorana. However, the theoretically calculated ratios completely disagree with known values if the neutrino is taken to be a Dirac particle. Towards the end of the article we discuss prospects for unification of the standard model with gravitation if the assumed symmetry group of the theory is $E_6$, and if it is assumed that space-time is an 8D octonionic space-time, with 4D Minkowski space-time being an emergent approximation. Remarkably, we find evidence that the precursor of classical gravitation, described by the symmetry $SU(3)_{grav} \times SU(2)_R \times U(1)_{grav}$ is the right-handed counterpart of the standard model $SU(3)_{color} \times SU(2)_L \times U(1)_Y$.


title: Equivalent definitions of Arthur packets for real classical groups

abstract: Arthur has conjectured the existence of what are now known as Arthur packets of representations of reductive algebraic groups over local and global fields. In the case of classical groups he subsequently gave a definition of these packets, using local and global methods. For general real groups, an alternative approach to the definition of Arthur packets has been given by Adams-Barbasch-Vogan. This construction is purely local and uses geometric methods. Our main result is that these two definitions agree in the case of real classical groups.


title: Presenting an extensive lab- and field-image dataset of crops and weeds for computer vision tasks in agriculture

abstract: We present two large datasets of labelled plant-images that are suited towards the training of machine learning and computer vision models. The first dataset encompasses as the day of writing over 1.2 million images of indoor-grown crops and weeds common to the Canadian Prairies and many US states. The second dataset consists of over 540,000 images of plants imaged in farmland. All indoor plant images are labelled by species and we provide rich etadata on the level of individual images. This comprehensive database allows to filter the datasets under user-defined specifications such as for example the crop-type or the age of the plant. Furthermore, the indoor dataset contains images of plants taken from a wide variety of angles, including profile shots, top-down shots, and angled perspectives. The images taken from plants in fields are all from a top-down perspective and contain usually multiple plants per image. For these images metadata is also available. In this paper we describe both datasets' characteristics with respect to plant variety, plant age, and number of images. We further introduce an open-access sample of the indoor-dataset that contains 1,000 images of each species covered in our dataset. These, in total 14,000 images, had been selected, such that they form a representative sample with respect to plant age and ndividual plants per species. This sample serves as a quick entry point for new users to the dataset, allowing them to explore the data on a small scale and find the parameters of data most useful for their application without having to deal with hundreds of thousands of individual images.


title: Heat kernel estimates on manifolds with ends with mixed boundary condition

abstract: We obtain two-sided heat kernel estimates for Riemannian manifolds with ends with mixed boundary condition, provided that the heat kernels for the ends are well understood. These results extend previous results of Grigor'yan and Saloff-Coste by allowing for Dirichlet boundary condition. The proof requires the construction of a global harmonic function which is then used in the $h$-transform technique.


title: Risk sharing under heterogeneous beliefs without convexity

abstract: We consider the problem of finding Pareto-optimal allocations of risk among finitely many agents. The associated individual risk measures are law invariant, but with respect to agent-dependent and potentially heterogeneous reference probability measures. Moreover, we assume that the individual risk assessments are consistent with the respective second-order stochastic dominance relations. We do not assume their convexity though. A simple sufficient condition for the existence of Pareto optima is provided. The proof combines local comonotone improvement with a Dieudonn\'e-type argument, which also establishes a link of the optimal allocation problem to the realm of "collapse to the mean" results. Finally, we extend the results to capital requirements with multidimensional security markets.


title: From market-ready ROVs to low-cost AUVs

abstract: Autonomous Underwater Vehicles (AUVs) are becoming increasingly important for different types of industrial applications. The generally high cost of (AUVs) restricts the access to them and therefore advances in research and technological development. However, recent advances have led to lower cost commercially available Remotely Operated Vehicles (ROVs), which present a platform that can be enhanced to enable a high degree of autonomy, similar to that of a high-end (AUV). In this article, we present how a low-cost commercial-off-the-shelf (ROV) can be used as a foundation for developing versatile and affordable (AUVs). We introduce the required hardware modifications to obtain a system capable of autonomous operations as well as the necessary software modules. Additionally, we present a set of use cases exhibiting the versatility of the developed platform for intervention and mapping tasks.


title: Progressive Coordinate Transforms for Monocular 3D Object Detection

abstract: Recognizing and localizing objects in the 3D space is a crucial ability for an AI agent to perceive its surrounding environment. While significant progress has been achieved with expensive LiDAR point clouds, it poses a great challenge for 3D object detection given only a monocular image. While there exist different alternatives for tackling this problem, it is found that they are either equipped with heavy networks to fuse RGB and depth information or empirically ineffective to process millions of pseudo-LiDAR points. With in-depth examination, we realize that these limitations are rooted in inaccurate object localization. In this paper, we propose a novel and lightweight approach, dubbed {\em Progressive Coordinate Transforms} (PCT) to facilitate learning coordinate representations. Specifically, a localization boosting mechanism with confidence-aware loss is introduced to progressively refine the localization prediction. In addition, semantic image representation is also exploited to compensate for the usage of patch proposals. Despite being lightweight and simple, our strategy leads to superior improvements on the KITTI and Waymo Open Dataset monocular 3D detection benchmarks. At the same time, our proposed PCT shows great generalization to most coordinate-based 3D detection frameworks. The code is available at: https://github.com/amazon-research/progressive-coordinate-transforms .


title: On the number of zeros to the equation $f(x_1)+...+f(x_n)=a$ over finite fields

abstract: Let $p$ be a prime, $k$ a positive integer and let $\mathbb{F}_q$ be the finite field of $q=p^k$ elements. Let $f(x)$ be a polynomial over $\mathbb F_q$ and $a\in\mathbb F_q$. We denote by $N_{s}(f,a)$ the number of zeros of $f(x_1)+\cdots+f(x_s)=a$. In this paper, we show that $$\sum_{s=1}^{\infty}N_{s}(f,0)x^s=\frac{x}{1-qx} -\frac{x { M_f^{\prime}}(x)}{qM_f(x)},$$ where $$M_f(x):=\prod_{m\in\mathbb F_q^{\ast}\atop{S_{f, m}\ne 0}}\Big(x-\frac{1}{S_{f,m}}\Big)$$ with $S_{f, m}:=\sum_{x\in \mathbb F_q}\zeta_p^{{\rm Tr}(mf(x))}$, $\zeta_p$ being the $p$-th primitive unit root and ${\rm Tr}$ being the trace map from $\mathbb F_q$ to $\mathbb F_p$. This extends Richman's theorem which treats the case of $f(x)$ being a monomial. Moreover, we show that the generating series $\sum_{s=1}^{\infty}N_{s}(f,a)x^s$ is a rational function in $x$ and also present its explicit expression in terms of the first $2d+1$ initial values $N_{1}(f,a), ..., N_{2d+1}(f,a)$, where $d$ is a positive integer no more than $q-1$. From this result, the theorems of Chowla-Cowles-Cowles and of Myerson can be derived.


title: The Stoop-Squat-Index: a simple but powerful measure for quantifying lifting behavior

abstract: The widely held belief that squat lifting should be preferred over stoop lifting to prevent back injury is increasingly being challenged by recent biomechanical evidence. However, most of these studies only focus on very localized parameters such as lumbar spine flexion, while evaluations of whole-body lifting strategies are largely lacking. For this reason, a novel index, the Stoop-Squat-Index, was developed, which describes the proportion between trunk forward lean and lower extremity joint flexion, with possible values ranging from 0 (full squat lifting) to 100 (full stoop lifting). To enable the interpretation of the index in a real-life setting, normative values were established using motion capture data from 30 healthy pain-free individuals that were collected in the context of a previous study. The results showed mean index values of lower than 30 and higher than 90 for the most relevant phases of the squat and stoop movements, respectively, with mean index values differing significantly from each other for the full duration of the lifting phases. The main advantages of the index are that it is simple to calculate and can not only be derived from motion capture data but also from conventional video recordings, which enables large-scale in-field measurements with relatively low expenditure. When used in combination with lumbar spine flexion measurements, the index can contribute important information, which is necessary for comprehensively evaluating whole-body lifting strategies and to shed more light on the debate over the connection between lifting posture and back complaints.


title: Goal scoring in Premier League with Poisson regression

abstract: Premier League is known as one of the most competitive football league in the world, hence there are many goals are scored here every match. Which are the factors that affect to the number of goal scored in each match? We use Poisson regression to find out the relation between many factors as shots on target, corners, red cards, to the goals home team can score in their match.


title: Generating extreme electric fields in 2D materials by dual ionic gating

abstract: We demonstrate a new type of dual gate transistor to induce record electric fields through two-dimensional materials (2DMs). At the heart of this device is a 2DM suspended between two volumes of ionic liquid (IL) with independently controlled potentials. The potential difference between the ILs falls across an ultrathin layer consisting of the 2DM and the electrical double layers above and below it, thereby producing an intense electric field across the 2DM. We determine the field strength via i) electrical transport measurements and ii) direct measurements of electrochemical potentials of the ILs using semiconducting 2DM, WSe2. The field strength across the material reaches more than 3.5 V/nm, the largest static electric field through any electronic device to date. We demonstrate that this field is strong enough to close the bandgap of trilayer WSe2 driving a semiconductor-to-metal transition. Our approach grants access to previously-inaccessible phenomena occurring in ultrastrong electric fields.


title: Deep Learning for Real-Time Aerodynamic Evaluations of Arbitrary Vehicle Shapes

abstract: The aerodynamic optimization process of cars requires multiple iterations between aerodynamicists and stylists. Response Surface Modeling and Reduced-Order Modeling are commonly used to eliminate the overhead due to Computational Fluid Dynamics, leading to faster iterations. However, a primary drawback of these models is that they can work only on the parametrized geometric features they were trained with. This study evaluates if deep learning models can predict the drag coefficient for an arbitrary input geometry without explicit parameterization. We use two similar data sets based on the publicly available DrivAer geometry for training. We use a modified U-Net architecture that uses Signed Distance Fields to represent the input geometries. Our models outperform the existing models by at least 11% in prediction accuracy for the drag coefficient. We achieved this improvement by combining multiple data sets that were created using different parameterizations, which is not possible with the methods currently used. We have also shown that it is possible to predict velocity fields and drag coefficient concurrently and that simple data augmentation methods can improve the results. In addition, we have performed an occlusion sensitivity study on our models to understand what information is used to make predictions. From the occlusion sensitivity study, we showed that the models were able to identify the geometric features and have discovered that the model has learned to exploit the global information present in the SDF. In contrast to the currently operational method, where design changes are restricted to the initially defined parameters, this study brings surrogate models one step closer to the long-term goal of having a model that can be used for approximate aerodynamic evaluation of unseen, arbitrary vehicle shapes, thereby providing complete design freedom to the vehicle stylists.


title: Scalable pragmatic communication via self-supervision

abstract: Models of context-sensitive communication often use the Rational Speech Act framework (RSA; Frank & Goodman, 2012), which formulates listeners and speakers in a cooperative reasoning process. However, the standard RSA formulation can only be applied to small domains, and large-scale applications have relied on imitating human behavior. Here, we propose a new approach to scalable pragmatics, building upon recent theoretical results (Zaslavsky et al., 2020) that characterize pragmatic reasoning in terms of general information-theoretic principles. Specifically, we propose an architecture and learning process in which agents acquire pragmatic policies via self-supervision instead of imitating human data. This work suggests a new principled approach for equipping artificial agents with pragmatic skills via self-supervision, which is grounded both in pragmatic theory and in information theory.


title: On Liquidity Mining for Uniswap v3

abstract: The recently proposed Uniswap v3 replaces the fungible liquidity provider token (LP token) into non-fungible ones, making the design for liquidity mining more difficult. In this paper, we propose a flexible liquidity mining scheme that realizes the overall liquidity distribution through the fine control of local rewards. From the liquidity provider's point of view, the liquidity provision strategy forms a multiplayer zero-sum game. We analyze the Nash Equilibrium and the corresponding strategy, approximately, deploying the liquidity proportional to the reward distribution, in some special cases and use it to guide the general situations. Based on the strategic response above, such a scheme allows the mining rewards provider to optimize the distribution of liquidity for the purpose such as low slippage and price stabilization.


title: A Hybrid Learning Approach to Detecting Regime Switches in Financial Markets

abstract: Financial markets are of much interest to researchers due to their dynamic and stochastic nature. With their relations to world populations, global economies and asset valuations, understanding, identifying and forecasting trends and regimes are highly important. Attempts have been made to forecast market trends by employing machine learning methodologies, while statistical techniques have been the primary methods used in developing market regime switching models used for trading and hedging. In this paper we present a novel framework for the detection of regime switches within the US financial markets. Principal component analysis is applied for dimensionality reduction and the k-means algorithm is used as a clustering technique. Using a combination of cluster analysis and classification, we identify regimes in financial markets based on publicly available economic data. We display the efficacy of the framework by constructing and assessing the performance of two trading strategies based on detected regimes.


title: Weak Solution and Invariant Probability Measure for McKean-Vlasov SDEs with Integrable Drifts

abstract: In this paper, by utilizing Wang's Harnack inequality with power and the Banach fixed point theorem, the weak well-posedness for McKean-Vlasov SDEs with integrable drift is investigated. In addition, using the decoupled method, some regularity such as relative entropy and Sobolev's estimate of invariant probability measure are proved. Finally, by Banach's fixed theorem, the existence and uniqueness of invariant probability measure for symmetric McKean-Vlasov SDEs and stochastic Hamiltonian system with integrable drifts are obtained.


title: Averaged circuit eigenvalue sampling

abstract: We introduce ACES, a method for scalable noise metrology of quantum circuits that stands for Averaged Circuit Eigenvalue Sampling. It simultaneously estimates the individual error rates of all the gates in collections of quantum circuits, and can even account for space and time correlations between these gates. ACES strictly generalizes randomized benchmarking (RB), interleaved RB, simultaneous RB, and several other related techniques. However, ACES provides much more information and provably works under strictly weaker assumptions than these techniques. Finally, ACES is extremely scalable: we demonstrate with numerical simulations that it simultaneously and precisely estimates all the Pauli error rates on every gate and measurement in a 100 qubit quantum device using fewer than 20 relatively shallow Clifford circuits and an experimentally feasible number of samples. By learning the detailed gate errors for large quantum devices, ACES opens new possibilities for error mitigation, bespoke quantum error correcting codes and decoders, customized compilers, and more.


title: Pre-burst events of gamma-ray bursts with light speed variation

abstract: Previous researches on high-energy photon events from gamma-ray bursts~(GRBs) suggest a light speed variation $v(E)=c(1-E/E_{\mathrm{LV}})$ with $E_{\mathrm{LV}}=3.6\times10^{17}~\mathrm{ GeV}$, together with a pre-burst scenario that hight-energy photons come out about 10 seconds earlier than low-energy photons at the GRB source. However, in the Lorentz invariance violating scenario with an energy dependent light speed considered here, high-energy photons travel slower than low-energy photons due to the light speed variation, so that they are usually detected after low-energy photons in observed GRB data. Here we find four high-energy photon events which were observed earlier than low-energy photons from Fermi Gamma-ray Space Telescope~(FGST), and analysis on these photon events supports the pre-burst scenario of high energy photons from GRBs and the energy dependence of light speed listed above.


title: Reimagining an autonomous vehicle

abstract: The self driving challenge in 2021 is this century's technological equivalent of the space race, and is now entering the second major decade of development. Solving the technology will create social change which parallels the invention of the automobile itself. Today's autonomous driving technology is laudable, though rooted in decisions made a decade ago. We argue that a rethink is required, reconsidering the autonomous vehicle (AV) problem in the light of the body of knowledge that has been gained since the DARPA challenges which seeded the industry. What does AV2.0 look like? We present an alternative vision: a recipe for driving with machine learning, and grand challenges for research in driving.


title: Inverse Optimization on Hierarchical Networks: An Application to Breast Cancer Clinical Pathways

abstract: Clinical pathways are standardized processes that outline the steps required for managing a specific disease. However, patient pathways often deviate from clinical pathways. Measuring the concordance of patient pathways to clinical pathways is important for health system monitoring and informing quality improvement initiatives. In this paper, we develop an inverse optimization-based approach to measuring pathway concordance in breast cancer, a complex disease. We capture this complexity in a hierarchical network that models the patient's journey through the health system. A novel inverse shortest path model is formulated and solved on this hierarchical network to estimate arc costs, which are used to form a concordance metric to measure the distance between patient pathways and shortest paths (i.e., clinical pathways). Using real breast cancer patient data from Ontario, Canada, we demonstrate that our concordance metric has a statistically significant association with survival for all breast cancer patient subgroups. We also use it to quantify the extent of patient pathway discordances across all subgroups, finding that patients undertaking additional clinical activities constitute the primary driver of discordance in the population.


title: The streamlines of $\infty$-harmonic functions obey the inverse mean curvature flow

abstract: Given an $\infty$-harmonic function $u_\infty$ on a domain $\Omega \subseteq \mathbb{R}^2$, consider the function $w = -\log |\nabla u_\infty|$. If $u_\infty \in C^2(\Omega)$ with $\nabla u_\infty \neq 0$ and $\nabla |\nabla u_\infty| \neq 0$, then it is easy to check that (1) the streamlines of $u_\infty$ are the level sets of $w$ and (2) $w$ solves the level set formulation of the inverse mean curvature flow. For less regular solutions, neither statement is true in general, but even so, $w$ is still a weak solution of the inverse mean curvature flow under far weaker assumptions. This is proved through an approximation of $u_\infty$ by $p$-harmonic functions, the use of conjugate $p'$-harmonic functions, and the known connection of the latter with the inverse mean curvature flow. A statement about the regularity of $|\nabla u_\infty|$ arises as a by-product.


title: Different molecular filament widths as tracers of accretion onto filaments

abstract: We explore how dense filament widths, when measured using different molecular species, may change as a consequence of gas accretion toward the filament. As a gas parcel falls into the filament, it will experience different density, temperature, and extinction values. The rate at which this environment changes will affect differently the abundance of different molecules. So, a molecule that forms quickly will better reflect the local physical conditions a gas parcel experiences than a slower-forming molecule. Since these differences depend on how the respective timescales compare, the different molecular distributions should reflect how rapidly the environment changes, i.e., the accretion rate toward the filament. We find that the filament widths measured from time-dependent abundances for C2H, CO, CN, CS, and C3H2, are sensitive the most to this effect, being those molecules the ones presenting also the wider filament widths. On the contrary, molecules such as N2H+, NH3, H2CO, HNC or CH3OH are not so sensitive to accretion and present the narrowest filament widths. We propose that ratios of filament widths for different tracers could be a useful tool to estimate the accretion rate onto the filament.


title: Competency Model Approach to AI Literacy: Research-based Path from Initial Framework to Model

abstract: The recent developments in Artificial Intelligence (AI) technologies challenge educators and educational institutions to respond with curriculum and resources that prepare students of all ages with the foundational knowledge and skills for success in the AI workplace. Research on AI Literacy could lead to an effective and practical platform for developing these skills. We propose and advocate for a pathway for developing AI Literacy as a pragmatic and useful tool for AI education. Such a discipline requires moving beyond a conceptual framework to a multi-level competency model with associated competency assessments. This approach to an AI Literacy could guide future development of instructional content as we prepare a range of groups (i.e., consumers, co-workers, collaborators, and creators). We propose here a research matrix as an initial step in the development of a roadmap for AI Literacy research, which requires a systematic and coordinated effort with the support of publication outlets and research funding, to expand the areas of competency and assessments.


title: Emergent Symmetry in Brownian SYK Models and Charge Dependent Scrambling

abstract: In this work, we introduce a symmetry-based approach to study the scrambling and operator dynamics of Brownian SYK models at large finite $N$ and in the infinite $N$ limit. We compute the out-of-time-ordered correlator (OTOC) in the Majorana model without charge conservation and the complex model with charge conservation, and demonstrate that in both models taking the random average of the couplings gives rise to emergent symmetry structures. The random averaging exactly maps the operator dynamics of the Majorana model and the complex model to the imaginary time dynamics of an SU(2) spin and an SU(4) spin respectively, which become solvable in the large $N$ limit. Furthermore, the symmetry structure drastically reduces the size of the Hilbert space required to calculate the OTOC from exponential to linear in $N$, providing full access to the operator dynamics at all times for large finite $N$. In the case of the complex model with charge conservation, using this approach, we obtain the OTOC within each charge sector both numerically at finite $N$ and analytically in the large $N$ limit. We find that the time scale of the scrambling dynamics for all times and in each sector is characterized by the charge density. Furthermore, after proper rescaling, the OTOC corresponding to different finite charge densities collapses into a single curve at large finite $N$. In the large $N$ limit, the rescaled OTOCs at finite density are described by the same hydrodynamic equation as in the Majorana case.


title: Matching arc complexes: connectedness and hyperbolicity

abstract: Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic.


title: The Eliahou-Kervaire resolution over a skew polynomial ring

abstract: In a 1987 paper, Eliahou and Kervaire constructed a minimal resolution of a class of monomial ideals in a polynomial ring, called stable ideals. As a consequence of their construction they deduced several homological properties of stable ideals. Furthermore they showed that this resolution admits an associative, graded commutative product that satisfies the Leibniz rule. In this paper we show that their construction can be extended to stable ideals in skew polynomial rings. As a consequence we show that the homological properties of stable ideals proved by Eliahou and Kervaire hold also for stable ideals in skew polynomial rings. Finally we show that the resolution we construct admits a product generalizing the one given by Eliahou and Kervaire in the commutative case.


title: Measuring obscured OAM spectrum using Stokes fluctuations

abstract: A novel technique to measure the orbital angular momentum (OAM) spectrum of the beam obscured by a complex random media is proposed and experimentally demonstrated. This is realized by measuring the complex correlation polarization function (CPCF) with the help of a two-point Stokes fluctuations correlation of the random light. The OAM spectrum analysis is implemented by projecting a complex field of the CPCF into spiral harmonics. A detailed theoretical framework is developed to measure complex amplitude and to decompose different integer OAM states of the obscured beam. The developed theoretical framework is verified by numerical simulation and tested by experimental demonstration of OAM mode compositions of the fractional optical vortex (FOV) beam.


title: Decoder Fusion RNN: Context and Interaction Aware Decoders for Trajectory Prediction

abstract: Forecasting the future behavior of all traffic agents in the vicinity is a key task to achieve safe and reliable autonomous driving systems. It is a challenging problem as agents adjust their behavior depending on their intentions, the others' actions, and the road layout. In this paper, we propose Decoder Fusion RNN (DF-RNN), a recurrent, attention-based approach for motion forecasting. Our network is composed of a recurrent behavior encoder, an inter-agent multi-headed attention module, and a context-aware decoder. We design a map encoder that embeds polyline segments, combines them to create a graph structure, and merges their relevant parts with the agents' embeddings. We fuse the encoded map information with further inter-agent interactions only inside the decoder and propose to use explicit training as a method to effectively utilize the information available. We demonstrate the efficacy of our method by testing it on the Argoverse motion forecasting dataset and show its state-of-the-art performance on the public benchmark.


title: Communication-free and Parallel Simulation of Neutral Biodiversity Models

abstract: We present a novel communication-free algorithm for individual-based probabilistic neutral biodiversity simulations. The algorithm transforms a neutral Moran ecosystem model into an embarrassingly parallel problem by trading off inter-process communication at the cost of some redundant computation. Specifically, by careful design of the random number generator that drives the simulation, we arrange for evolutionary parent-child interactions to be modelled without requiring knowledge of the interaction, its participants, or which processor is performing the computation. Critically, this means that every individual can be simulated entirely independently. The simulation is thus fully reproducible irrespective of the number of processors it is distributed over. With our novel algorithm, a simulation can be (1) split up into independent batch jobs and (2) simulated across any number of heterogeneous machines - all without affecting the simulation result. We use the Rust programming language to build the extensible and statically checked simulation package $\texttt{necsim-rust}$. We evaluate our parallelisation approach by comparing three traditional simulation algorithms against a CPU and GPU implementation of our Independent algorithm. These experiments show that as long as some local state is maintained to cull redundant individuals, our Independent algorithm is as efficient as existing sequential solutions. The GPU implementation further outperforms all algorithms on the CPU by a factor ranging from $\sim 2$ to $\sim 80$, depending on the model parameterisation and the analysis that is performed. Amongst the parallel algorithms we have investigated, our Independent algorithm provides the only non-approximate parallelisation strategy that can scale to large simulation domains.


title: PineAPPL: NLO EW corrections for PDF processes

abstract: Modern parton distribution function (PDF) determinations either neglect higher-order corrections in the electroweak (EW) coupling or implement them approximately for a subset of PDF processes. We present a new tool, PineAPPL, which supports perturbative correction in arbitrary powers of the EW and strong coupling constant, and stores theoretical predictions independently of the used PDFs in so-called interpolation grids. These are the foundation of any PDF determination, and will allow us to perform a PDF fit taking into account EW corrections for all processes consistently. Apart from PDF determinations PineAPPL can also be used in precision phenomenology to study the impact of different choices of PDF sets, without rerunning the time-consuming computation. As an application of this tool we show Drell-Yan (DY) lepton-pair production were larger effects of NLO EW corrections can be seen that will potentially influence the PDF fit and comment about which observables are particularly suited and NLO EW PDF fit and which are not.


title: Hong Kong Air Traffic: Explanation and Prediction based on Sparse Seasonal ARIMA Model

abstract: The monthly air traffic of a city is a time series with an obvious seasonal pattern, and is closely related to the economic situation and social environment of the city. In Hong Kong, for example, July, August, and October tend to be the peak season of traffic flow, while there is also a relatively fixed off-season. In the case of a stable social environment, a carefully identified and fitted seasonal ARIMA model can predict the traffic flow in the future months well. This work selects the air traffic data, including arrival and departure passengers of Hong Kong, after the financial crisis and before the political storm. A sparse seasonal ARIMA$(0,1,1)\times(4,1,0)_{12}$ is built, which can correctly predict the air traffic from January to July in 2020 within its $95\%$ confidence interval. Furthermore, this work decomposes the time-series and find that important events, like the financial crisis, political storm, and the COVID-19 outbreak, affect the level of air traffic to some extent. For example, the political storm and epidemic prevention and control that happened after 2019 made the air traffic drop significantly. According to my sparse seasonal ARIMA model, the air traffic from February to November in 2020 is only $5\%$ of what it should be without these two events. This is a valuable application of the time-series model in the air traffic loss estimation.


title: PatrickStar: Parallel Training of Pre-trained Models via Chunk-based Memory Management

abstract: The pre-trained model (PTM) is revolutionizing Artificial Intelligence (AI) technology. However, the hardware requirement of PTM training is prohibitively high, making it a game for a small proportion of people. Therefore, we proposed PatrickStar system to lower the hardware requirements of PTMs and make them accessible to everyone. PatrickStar uses the CPU-GPU heterogeneous memory space to store the model data. Different from existing works, we organize the model data in memory chunks and dynamically distribute them in the heterogeneous memory. Guided by the runtime memory statistics collected in a warm-up iteration, chunks are orchestrated efficiently in heterogeneous memory and generate lower CPU-GPU data transmission volume and higher bandwidth utilization. Symbiosis with the Zero Redundancy Optimizer, PatrickStar scales to multiple GPUs on multiple nodes. % using data parallelism. The system can train tasks on bigger models and larger batch sizes, which cannot be accomplished by existing works. Experimental results show that PatrickStar extends model scales 2.27 and 2.5 times of DeepSpeed, and consistently exhibits significantly higher execution speed. PatricStar also successfully runs the 175B GPT3 training task on a 32 GPU cluster. Our code is publicly available at https://github.com/Tencent/PatrickStar.


title: A cosmologically consistent millicharged dark matter solution to the EDGES anomaly of possible string theory origin

abstract: Analysis of EDGES data shows an absorption signal of the redshifted 21-cm line of atomic hydrogen at $z\sim 17$ which is stronger than expected from the standard $\Lambda$CDM model. The absorption signal interpreted as brightness temperature $T_{21}$ of the 21-cm line gives an amplitude of $-$500$_{-500}^{+200}$ mK at 99\% C.L. which is a 3.8$\sigma$ deviation from what the standard $\Lambda$CDM cosmology gives. We present a particle physics model for the baryon cooling where a fraction of the dark matter resides in the hidden sector with a $U(1)$ gauge symmetry and a Stueckelberg mechanism operates mixing the visible and the hidden sectors with the hidden sector consisting of dark Dirac fermions and dark photons. The Stueckelberg mass mixing mechanism automatically generates a millicharge for the hidden sector dark fermions providing a theoretical basis for using millicharged dark matter to produce the desired cooling of baryons seen by EDGES by scattering from millicharged dark matter. We compute the relic density of the millicharged dark matter by solving a set of coupled equations for the dark fermion and dark photon yields and for the temperature ratio of the hidden sector and the visible sector heat baths. For the analysis of baryon cooling, we analyze the evolution equations for the temperatures of baryons and millicharged dark matter as a function of the redshift. We exhibit regions of the parameter space which allow consistency with the EDGES data. We note that the Stueckelberg mechanism arises naturally in strings and the existence of a millicharge would point to its string origin.


title: On networks with order close to the Moore bound

abstract: The degree/diameter problem for mixed graphs asks for the largest possible order of a mixed graph with given diameter and degree parameters. Similarly the \emph{degree/geodecity} problem concerns the smallest order of a $k$-geodetic mixed graph with given minimum undirected and directed degrees; this is a generalisation of the classical degree/girth problem. In this paper we present new bounds on the order of mixed graphs with given diameter or geodetic girth and exhibit new examples of directed and mixed geodetic cages. In particular, we show that any $k$-geodetic mixed graph with excess one must have geodetic girth two and be totally regular, thereby proving an earlier conjecture of the authors.


title: TF-Blender: Temporal Feature Blender for Video Object Detection

abstract: Video objection detection is a challenging task because isolated video frames may encounter appearance deterioration, which introduces great confusion for detection. One of the popular solutions is to exploit the temporal information and enhance per-frame representation through aggregating features from neighboring frames. Despite achieving improvements in detection, existing methods focus on the selection of higher-level video frames for aggregation rather than modeling lower-level temporal relations to increase the feature representation. To address this limitation, we propose a novel solution named TF-Blender,which includes three modules: 1) Temporal relation mod-els the relations between the current frame and its neighboring frames to preserve spatial information. 2). Feature adjustment enriches the representation of every neigh-boring feature map; 3) Feature blender combines outputs from the first two modules and produces stronger features for the later detection tasks. For its simplicity, TF-Blender can be effortlessly plugged into any detection network to improve detection behavior. Extensive evaluations on ImageNet VID and YouTube-VIS benchmarks indicate the performance guarantees of using TF-Blender on recent state-of-the-art methods.


title: Global QCD Analysis of Pion Parton Distributions with Threshold Resummation

abstract: We perform the first global QCD analysis of pion valence, sea quark, and gluon distributions within a Bayesian Monte Carlo framework with threshold resummation on Drell-Yan cross sections at next-to-leading log accuracy. Exploring various treatments of resummation, we find that the large-$x$ asymptotics of the valence quark distribution $\sim (1-x)^{\beta_v}$ can differ significantly, with $\beta_v$ ranging from $\approx 1$ to $> 2.5$ at the input scale. Regardless of the specific implementation, however, the resummation induced redistribution of the momentum between valence quarks and gluons boosts the total momentum carried by gluons to $\approx 40\%$, increasing the gluon contribution to the pion mass to $\approx 40$ MeV.


title: Machine-learning detection of the Berezinskii-Kosterlitz-Thouless transitions in the q-state clock models

abstract: We demonstrate that a machine learning technique with a simple feedforward neural network can sensitively detect two successive phase transitions associated with the Berezinskii-Kosterlitz-Thouless (BKT) phase in q-state clock models simultaneously by analyzing the weight matrix components connecting the hidden and output layers. We find that the method requires only a data set of the raw spatial spin configurations for the learning procedure. This data set is generated by Monte-Carlo thermalizations at selected temperatures. Neither prior knowledge of, for example, the transition temperatures, number of phases, and order parameters nor processed data sets of, for example, the vortex configurations, histograms of spin orientations, and correlation functions produced from the original spin-configuration data are needed, in contrast with most of previously proposed machine learning methods based on supervised learning. Our neural network evaluates the transition temperatures as T_2/J=0.921 and T_1/J=0.410 for the paramagnetic-to-BKT transition and BKT-to-ferromagnetic transition in the eight-state clock model on a square lattice. Both critical temperatures agree well with those evaluated in the previous numerical studies.


title: Large-scale cortex-core structure formation in brain organoids

abstract: Brain organoids recapitulate a number of brain properties, including neuronal diversity. However, do they recapitulate brain structure? Using a hydrodynamic description for cell nuclei as particles interacting initially via an effective, attractive force as mediated by the respective, surrounding cytoskeletons, we quantify structure development in brain organoids to determine what physical mechanism regulates the number of cortex-core structures. Regions of cell nuclei overdensity in the linear regime drive the initial seeding for cortex-core structures, which ultimately develop in the non-linear regime, as inferred by the emergent form of an effective interaction between cell nuclei and with the extracellular environment, as mediated by a dynamic cytoskeleton. Individual cortex-core structures then provide a basis upon which we build an extended version of the buckling without bending morphogenesis (BWBM) model, with its proliferating cortex and constraining core, to predict foliations/folds of the cortex in the presence of a nonlinearity due to cortical cells actively regulating strain. In doing so, we obtain asymmetric foliations/folds with respect to the trough (sulci) and the crest (gyri). In addition to laying new groundwork for the design of more familiar and less familiar brain structures, the hydrodynamic description for cell nuclei during the initial stages of brain organoid development provides an intriguing quantitative connection with large-scale structure formation in the universe.


title: Discrete symmetries control mechanical response in parallelogram-based origami

abstract: Geometric compatibility constraints dictate the mechanical response of soft systems that can be utilized for the design of mechanical metamaterials such as the negative Poisson ratio Miura-ori origami crease pattern. Here, we develop a formalism for linear compatibility that enables explicit investigation of the interplay between geometric symmetries and functionality in origami crease patterns. We apply this formalism to a particular class of periodic crease patterns with unit cells composed of four arbitrary parallelogram faces and establish that their mechanical response is characterized by an anticommuting symmetry. In particular, we show that the modes are eigenstates of this symmetry operator and that these modes are simultaneously diagonalizable with the symmetric strain operator and the antisymmetric curvature operator. This feature reveals that the anticommuting symmetry defines an equivalence class of crease pattern geometries which possess equal and opposite in-plane and out-of-plane Poisson's ratios.


title: Unified discontinuous Galerkin scheme for a large class of elliptic equations

abstract: We present a discontinuous Galerkin internal-penalty scheme that is applicable to a large class of linear and nonlinear elliptic partial differential equations. The unified scheme can accommodate all second-order elliptic equations that can be formulated in first-order flux form, encompassing problems in linear elasticity, general relativity, and hydrodynamics, including problems formulated on a curved manifold. It allows for a wide range of linear and nonlinear boundary conditions, and accommodates curved and nonconforming meshes. Our generalized internal-penalty numerical flux and our Schur-complement strategy of eliminating auxiliary degrees of freedom make the scheme compact without requiring equation-specific modifications. We demonstrate the accuracy of the scheme for a suite of numerical test problems. The scheme is implemented in the open-source SpECTRE numerical relativity code.


title: Fluctuation in background synaptic activity controls synaptic plasticity

abstract: Synaptic plasticity is vital for learning and memory in the brain. It consists of long-term potentiation (LTP) and long-term depression (LTD). Spike frequency is one of the major components of synaptic plasticity in the brain, a noisy environment. Recently, we mathematically analysed the frequency-dependent synaptic plasticity (FDP) in vivo and found that LTP is more likely to occur with an increase in the frequency of background synaptic activity. Previous studies suggest fluctuation in the amplitude of background synaptic activity. However, little is understood about the relationship between synaptic plasticity and the fluctuation in the background synaptic activity. To address this issue, we performed numerical simulations of a calcium-based synapse model. Then, we found attenuation of the tendency to become LTD due to an increase in the fluctuation of background synaptic activity, leading to an enhancement of synaptic weight. Our result suggests that the fluctuation affect synaptic plasticity in the brain.


title: A general class of surrogate functions for stable and efficient reinforcement learning

abstract: Common policy gradient methods rely on the maximization of a sequence of surrogate functions. In recent years, many such surrogate functions have been proposed, most without strong theoretical guarantees, leading to algorithms such as TRPO, PPO or MPO. Rather than design yet another surrogate function, we instead propose a general framework (FMA-PG) based on functional mirror ascent that gives rise to an entire family of surrogate functions. We construct surrogate functions that enable policy improvement guarantees, a property not shared by most existing surrogate functions. Crucially, these guarantees hold regardless of the choice of policy parameterization. Moreover, a particular instantiation of FMA-PG recovers important implementation heuristics (e.g., using forward vs reverse KL divergence) resulting in a variant of TRPO with additional desirable properties. Via experiments on simple bandit problems, we evaluate the algorithms instantiated by FMA-PG. The proposed framework also suggests an improved variant of PPO, whose robustness and efficiency we empirically demonstrate on the MuJoCo suite.


title: A proof of the Palamodov's total instability conjecture

abstract: We give for the first time a detailed proof of the Palamodov's total instability conjecture in Lagrangian dynamics. This proves an older related Lyapunov instability conjecture posed by Lyapunov and Arnold and reduces the Lagrange-Dirichlet converse problem in the class of real analytic potentials to the Lyapunov instability of non strict minimum critical points. It also proves the instability of charged rigid bodies under the presence of an external electrostatic field.


title: Spatio-temporal evolution of resistance state in simulated memristive networks

abstract: Originally studied for their suitability to store information compactly, memristive networks are now being analysed as implementations of neuromorphic circuits. An extremely high number of elements is thus mandatory. To surpass the limited achievable connectivity - due to the featuring size - exploiting self-assemblies has been proposed as an alternative, in turn posing more challenges. In an attempt for offering insight on what to expect when characterizing the collective electrical response of switching assemblies, in this work, networks of memristive elements are simulated. Collective electrical behaviour and maps of resistance states are characterized upon different electrical stimuli. By comparing the response of homogeneous and heterogeneous networks, we delineate differences that might be experimentally observed when the number of memristive units is scaled up and disorder arises as an inevitable feature.


title: Asymptotic Mean-Value Formulas for Solutions of General Second-Order Elliptic Equations

abstract: We obtain asymptotic mean-value formulas for solutions of second-order elliptic equations. Our approach is very flexible and allows us to consider several families of operators obtained as an infimum, a supremum, or a combination of both infimum and supremum, of linear operators. The families of equations that we consider include well-known operators such as Pucci, Issacs, and $k$-Hessian operators.


title: Polarized neutron scattering studies of magnetic excitations in iron-selenide superconductor (Li$_{0.8}$Fe$_{0.2}$)ODFeSe ($T_c$ = 41 K)

abstract: We report polarized neutron scattering measurements of the low energy spin fluctuations of the iron-selenide superconductor Li$_{0.8}$Fe$_{0.2}$ODFeSe below and above its superconducting transition temperature $T_c=41$ K. Our experiments confirmed that the resonance mode near 21 meV is magnetic. Moreover, the spin excitations are essentially isotropic in spin space at 5$\leq E\leq$ 29 meV in the superconducting and normal states. Our results suggest that the resonance mode in iron-based superconductors becomes isotropic when the influence of spin-orbit coupling and magnetic/nematic order is minimized, similar to those observed in cuprate superconductors.


title: Another invariant for AT actions

abstract: We construct a collection of numerical invariants for approximately transitive (AT) actions (of $\Z$). We use them (sometimes supplemented by other invariants to show that members of various one-parameter families of AT actions are mutually non-isomorphic.


title: Orbital Periods and Waveforms of Dwarf Novae Observed by Kepler

abstract: Kepler high cadence data are used to measure the orbital periods and to determine the orbital waveforms of five dwarf novae. A significant improvement of the period of V1504 Cyg is achieved, while for the other systems periods are derived which are compatible with previous determinations. The orbital waveforms of the short period systems V1504 Cyg, V344 Lyr and V516 Lyr are very nearly sinusoidal, while the longer period dwarf nova V447 Lyr appears almost to be a twin of U Gem. The unusual system KIC 9202990 exhibits distinct variations of its waveform as a function of brightness during its outburst cycle.


title: Sharding-Based Proof-of-Stake Blockchain Protocols: Security Analysis

abstract: Blockchain technology has been gaining great interest from a variety of sectors, including healthcare, supply chain and cryptocurrencies. However, Blockchain suffers from its limited ability to scale (i.e. low throughput and high latency). Several solutions have been appeared to tackle this issue. In particular, sharding proved that it is one of the most promising solutions to Blockchain scalability. Sharding can be divided into two major categories: (1) Sharding-based Proof-of-Work (PoW) Blockchain protocols, and (2) Sharding-based Proof-of-Stake (PoS) Blockchain protocols. The two categories achieve a good performances (i.e. good throughput with a reasonable latency), but raise security issues. This article attends that analyze the security of the second category. More specifically, we compute the probability of committing a faulty block and measure the security by computing the number of years to fail. Finally, to show the effectiveness of the proposed model, we conduct a numerical analysis and evaluate the results obtained.


title: AdaFit: Rethinking Learning-based Normal Estimation on Point Clouds

abstract: This paper presents a neural network for robust normal estimation on point clouds, named AdaFit, that can deal with point clouds with noise and density variations. Existing works use a network to learn point-wise weights for weighted least squares surface fitting to estimate the normals, which has difficulty in finding accurate normals in complex regions or containing noisy points. By analyzing the step of weighted least squares surface fitting, we find that it is hard to determine the polynomial order of the fitting surface and the fitting surface is sensitive to outliers. To address these problems, we propose a simple yet effective solution that adds an additional offset prediction to improve the quality of normal estimation. Furthermore, in order to take advantage of points from different neighborhood sizes, a novel Cascaded Scale Aggregation layer is proposed to help the network predict more accurate point-wise offsets and weights. Extensive experiments demonstrate that AdaFit achieves state-of-the-art performance on both the synthetic PCPNet dataset and the real-word SceneNN dataset.


title: City-wide modeling of Vehicle-to-Grid Economics to Understand Effects of Battery Performance

abstract: Vehicle-to-grid (V2G) is a promising approach to solve the problem of grid-level intermittent supply and demand mismatch, caused due to renewable energy resources, because it uses the existing resource of electric vehicle (EV) batteries as the energy storage medium. EV battery design together with an impetus on profitability for participating EV owners is pivotal for V2G success. To better understand what battery device parameters are most important for V2G adoption, we model the economics of V2G process under realistic conditions. Most previous studies that perform V2G economic analysis, assume ideal driving conditions, use linear battery degradation models, or only consider V2G for ancillary services. Our model accounts realistic battery degradation, empirical charging efficiencies, for randomness in commute behavior, and historic hourly electricity prices in six cities in the United States. We model user behavior with Bayesian optimization to provide a best-case scenario for V2G. Across all cities, we find that charging rate and efficiency are the most important factors that determine EV users' profits. Surprisingly, EV battery cost and thus degradation due to cycling has little effect. These findings should help focus research on figures of merit that better reflect real usage of batteries in a V2G economy.


title: Combining (second-order) graph-based and headed-span-based projective dependency parsing

abstract: Graph-based methods, which decompose the score of a dependency tree into scores of dependency arcs, are popular in dependency parsing for decades. Recently, \citet{Yang2022Span} propose a headed-span-based method that decomposes the score of a dependency tree into scores of headed spans. They show improvement over first-order graph-based methods. However, their method does not score dependency arcs at all, and dependency arcs are implicitly induced by their cubic-time algorithm, which is possibly sub-optimal since modeling dependency arcs is intuitively useful. In this work, we aim to combine graph-based and headed-span-based methods, incorporating both arc scores and headed span scores into our model. First, we show a direct way to combine with $O(n^4)$ parsing complexity. To decrease complexity, inspired by the classical head-splitting trick, we show two $O(n^3)$ dynamic programming algorithms to combine first- and second-order graph-based and headed-span-based methods. Our experiments on PTB, CTB, and UD show that combining first-order graph-based and headed-span-based methods is effective. We also confirm the effectiveness of second-order graph-based parsing in the deep learning age, however, we observe marginal or no improvement when combining second-order graph-based and headed-span-based methods. Our code is publicly available at \url{https://github.com/sustcsonglin/span-based-dependency-parsing}.


title: Logit Attenuating Weight Normalization

abstract: Over-parameterized deep networks trained using gradient-based optimizers are a popular choice for solving classification and ranking problems. Without appropriately tuned $\ell_2$ regularization or weight decay, such networks have the tendency to make output scores (logits) and network weights large, causing training loss to become too small and the network to lose its adaptivity (ability to move around) in the parameter space. Although regularization is typically understood from an overfitting perspective, we highlight its role in making the network more adaptive and enabling it to escape more easily from weights that generalize poorly. To provide such a capability, we propose a method called Logit Attenuating Weight Normalization (LAWN), that can be stacked onto any gradient-based optimizer. LAWN controls the logits by constraining the weight norms of layers in the final homogeneous sub-network. Empirically, we show that the resulting LAWN variant of the optimizer makes a deep network more adaptive to finding minimas with superior generalization performance on large-scale image classification and recommender systems. While LAWN is particularly impressive in improving Adam, it greatly improves all optimizers when used with large batch sizes


title: A unified framework for coordination of thermostatically controlled loads

abstract: A collection of thermostatically controlled loads (TCLs) -- such as air conditioners and water heaters -- can vary their power consumption within limits to help the balancing authority of a power grid maintain demand supply balance. Doing so requires loads to coordinate their on/off decisions so that the aggregate power consumption profile tracks a grid-supplied reference. At the same time, each consumer's quality of service (QoS) must be maintained. While there is a large body of work on TCL coordination, there are several limitations. One is that they do not provide guarantees on the reference tracking performance and QoS maintenance. A second limitation of past work is that they do not provide a means to compute a suitable reference signal for power demand of a collection of TCLs. In this work we provide a framework that addresses these weaknesses. The framework enables coordination of an arbitrary number of TCLs that: (i) is computationally efficient, (ii) is implementable at the TCLs with local feedback and low communication, and (iii) enables reference tracking by the collection while ensuring that temperature and cycling constraints are satisfied at every TCL at all times. The framework is based on a Markov model obtained by discretizing a pair of Fokker-Planck equations derived in earlier work by Malhame and Chong [21]. We then use this model to design randomized policies for TCLs. The balancing authority broadcasts the same policy to all TCLs, and each TCL implements this policy which requires only local measurement to make on/off decisions. Simulation results are provided to support these claims.


title: Relations between strong decay widths of the $P_c$ pentaquarks in the SU(4) flavor-spin model

abstract: In a previous work we have studied the isospin 1/2 lowest positive and negative parity states of the pentaquark $uudc\overline{c}$, in a constituent quark model with a linear confinement and an SU(4) flavor-spin hyperfine interaction and we compared the results with the $P^+_c(4312)$, $P^+_c(4440)$ and $P^+_c(4457)$ pentaquarks observed at LHCb in 2019. Here we extend the previous work by calculating ratios of decay rates of the $P_c$ pentaquarks to $J/\Psi$ and $\eta_c$ and similarly the ratio of decay rates to $\Lambda_c {\bar D}^*$ and $\Lambda_c \bar D$. Our predictions are based on the SU(4)$\times$SU(2) structure of compact pentaquarks.


title: Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it

abstract: Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. The Note corrects an error in one of the reduction steps in the paper.


title: Floquet theory of photoinduced topological phase transitions in the organic salt $\alpha$-(BEDT-TTF)$_2$I$_3$ irradiated with elliptically polarized light

abstract: We theoretically investigate possible photoinduced topological phase transitions in the organic salt $\alpha$-(BEDT-TTF)$_2$I$_3$, which possesses a pair of inclined massless Dirac-cone bands between the conduction and valence bands under uniaxial pressure. The Floquet analyses of a driven tight-binding model for this material reveal rich photoinduced variations of band structures, Chern numbers, and Hall conductivities under irradiation with elliptically polarized light. The obtained phase diagrams contain a variety of nonequilibrium steady phases, e.g., the Floquet Chern insulator, Floquet semimetal, and Floquet normal insulator phases. This work widens a scope of target materials for research on photoinduced topological phase transitions and contributes to development of research on the optical manipulations of electronic states in matters.


title: Magnetic, charge, and transport properties of graphene nanoflakes

abstract: We investigate magnetic, charge and transport properties of hexagonal graphene nanoflakes (GNFs) connected to two metallic leads by using the functional renormalization group (fRG) method. The interplay between the on-site and long-range interactions leads to a competition of semimetal (SM), spin density wave (SDW), and charge-density-wave (CDW) phases. The ground-state phase diagrams are presented for the GNF systems with screened realistic long-range electron interaction [T. O. Wehling, et. al., Phys. Rev. Lett. 106, 236805 (2011)], as well as uniformly screened long-range Coulomb potential $\propto 1/r$. We demonstrate that the realistic screening of Coulomb interaction by $\sigma$ bands causes moderate (strong) enhancement of critical long-range interaction strength, needed for the SDW (CDW) instability, compared to the results for the uniformly screened Coulomb potential. This enhancement gives rise to a wide region of stability of the SM phase for realistic interaction, such that freely suspended GNFs are far from both SM-SDW and SM-CDW phase-transition boundaries and correspond to the SM phase. Close relation between the linear conductance and the magnetic or charge states of the systems is discussed. A comparison of the results with those of other studies on GNFs systems and infinite graphene sheet is presented.


title: Topological Photonic Systems: Virtuous Platforms to Study Topological Quantum Matter

abstract: Topological insulators are a new class of materials that have engendered considerable research interest among the condensed matter community owing primarily to their application prospects in quantum computations and spintronics. Many of the associated phenomena, however, can be well reproduced in classical photonic systems with the additional advantage of relatively less demanding fabrication and engineered system characteristics. Therefore, the photonic analogs of topological materials have gained prominence in the last decade, not only in the field of optics but as an active research front of the topological physics at large. In this article, we succinctly review the fundamental concepts of topological physics and provide a concise description of the photonic topological insulators.


title: Automating the Removal of Obsolete TODO Comments

abstract: TODO comments are very widely used by software developers to describe their pending tasks during software development. However, after performing the task developers sometimes neglect or simply forget to remove the TODO comment, resulting in obsolete TODO comments. These obsolete TODO comments can confuse development teams and may cause the introduction of bugs in the future, decreasing the software's quality and maintainability. In this work, we propose a novel model, named TDCleaner (TODO comment Cleaner), to identify obsolete TODO comments in software projects. TDCleaner can assist developers in just-in-time checking of TODO comments status and avoid leaving obsolete TODO comments. Our approach has two main stages: offline learning and online prediction. During offline learning, we first automatically establish <code_change, todo_comment, commit_msg> training samples and leverage three neural encoders to capture the semantic features of TODO comment, code change and commit message respectively. TDCleaner then automatically learns the correlations and interactions between different encoders to estimate the final status of the TODO comment. For online prediction, we check a TODO comment's status by leveraging the offline trained model to judge the TODO comment's likelihood of being obsolete. We built our dataset by collecting TODO comments from the top-10,000 Python and Java Github repositories and evaluated TDCleaner on them. Extensive experimental results show the promising performance of our model over a set of benchmarks. We also performed an in-the-wild evaluation with real-world software projects, we reported 18 obsolete TODO comments identified by TDCleaner to Github developers and 9 of them have already been confirmed and removed by the developers, demonstrating the practical usage of our approach.


title: New Constructions of Exceptional Simple Lie Superalgebras with Integer Cartan Matrix in Characteristics 3 and 5 via Tensor Categories

abstract: Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbf{\alpha}_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is the semisimplification of the representation category $\mathrm{Rep} \ \mathbf{\alpha}_p$, and $\mathrm{Ver}_p$ contains the category of super vector spaces as a full subcategory. Each exceptional Lie superalgebra we construct is realized as the image of an exceptional Lie algebra equipped with a nilpotent derivation of order at most $p$ under the semisimplification functor from $\mathrm{Rep} \ \mathbf{\alpha}_p$ to $\mathrm{Ver}_p$.


title: Eliminating unwanted patterns with minimal interference

abstract: Artificial synthesis of DNA molecules is an essential part of the study of biological mechanisms. The design of a synthetic DNA molecule usually involves many objectives. One of the important objectives is to eliminate short sequence patterns that correspond to binding sites of restriction enzymes or transcription factors. While many design tools address this problem, no adequate formal solution exists for the pattern elimination problem. In this work, we present a formal description of the elimination problem and suggest efficient algorithms that eliminate unwanted patterns and allow optimization of other objectives with minimal interference to the desired DNA functionality. Our approach is flexible, efficient, and straightforward, and therefore can be easily incorporated in existing DNA design tools, making them considerably more powerful.


title: Quantum coherence with incomplete set of pointers and corresponding wave-particle duality

abstract: Quantum coherence quantifies the amount of superposition in a quantum system, and is the reason and resource behind several phenomena and technologies. It depends on the natural basis in which the quantum state of the system is expressed, which in turn hinges on the physical set-up being analyzed and utilized. While quantum coherence has hitherto been conceptualized by employing different categories of complete bases, there do exist interesting physical situations, where the natural basis is an incomplete one, an example being an interferometric set-up with the observer controlling only a certain fraction of all the slits. We introduce a quantification of quantum coherence with respect to an arbitrary incomplete basis for general quantum states, and develop the corresponding resource theory, identifying the free states and operations. Moreover, we obtain a complementarity relation between the so-defined quantum coherence and the which-path information in an interferometric set-up with several slits, of which only a section is in control of the observer or is accessible to her. This therefore provides us with another face of the wave-particle duality in quantum systems, demonstrating that the complementarity is functional in more general set-ups than thus far considered.