title: Enhancing the Usability of Self-service Kiosks for Older Adults: Effects of Using Privacy Partitions and Chairs

abstract: This study aimed to evaluate the effects of possible physical design features of self-service kiosks (SSK), side and back partitions and chairs, on workload and task performance of older users during a typical SSK task. The study comparatively evaluated eight physical SSK design alternatives, and younger and older participants performed a menu ordering task using each physical design alternative. Older participants showed a large variation in task performance across the design alternatives indicating stronger impacts of the physical design features. In particular, sitting significantly reduced task completion time and workload in multiple dimensions, including time pressure and frustration. In addition, the use of either side or back partitions reduced mean ratings of mental demand and effort. The study suggests placing chairs and either side or back partitions to enhance older adults' user experience. The use of the proposed physical design recommendations would greatly help them use SSK more effectively.


title: Sobolev Norm Learning Rates for Conditional Mean Embeddings

abstract: We develop novel learning rates for conditional mean embeddings by applying the theory of interpolation for reproducing kernel Hilbert spaces (RKHS). We derive explicit, adaptive convergence rates for the sample estimator under the misspecifed setting, where the target operator is not Hilbert-Schmidt or bounded with respect to the input/output RKHSs. We demonstrate that in certain parameter regimes, we can achieve uniform convergence rates in the output RKHS. We hope our analyses will allow the much broader application of conditional mean embeddings to more complex ML/RL settings involving infinite dimensional RKHSs and continuous state spaces.


title: Non-Fungible Token (NFT): Overview, Evaluation, Opportunities and Challenges

abstract: The Non-Fungible Token (NFT) market is mushrooming in recent years. The concept of NFT originally comes from a token standard of Ethereum, aiming to distinguish each token with distinguishable signs. This type of token can be bound with virtual/digital properties as their unique identifications. With NFTs, all marked properties can be freely traded with customized values according to their ages, rarity, liquidity, etc. It has greatly stimulated the prosperity of the decentralized application (DApp) market. At the time of writing (May 2021), the total money used on completed NFT sales has reached $34,530,649.86$ USD. The thousandfold return on its increasing market draws huge attention worldwide. However, the development of the NFT ecosystem is still in its early stage, and the technologies of NFTs are pre-mature. Newcomers may get lost in their frenetic evolution due to the lack of systematic summaries. In this technical report, we explore the NFT ecosystems in several aspects. We start with an overview of state-of-the-art NFT solutions, then provide their technical components, protocols, standards, and desired proprieties. Afterward, we give a security evolution, with discussions on the perspectives of their design models, opportunities, and challenges. To the best of our knowledge, this is the first systematic study on the current NFT ecosystems.


title: Entanglement in the quantum Hall fluid of dipoles

abstract: We revisit a model for gapped fractonic order in (2+1) dimensions (a symmetric-traceless tensor gauge theory with conservation of dipole and trace-quadrupole moments described in \cite{Prem:2017kxc}) and compute its ground-state entanglement entropy on $\mathbb R^2$. Along the way, we quantize the theory on open subsets of $\mathbb R^2$ which gives rise to gapless edge excitations that are Lifshitz-type scalar theories. We additionally explore varieties of gauge-invariant extended operators and rephrase the fractonic physics in terms of the local deformability of these operators. We explore similarities of this model to the effective field theories describing quantum Hall fluids: in particular, quantization of dipole moments through a novel compact symmetry leads us to interpret the vacuum of this theory as a dipole condensate atop of which dipoles with fractionalized moments appear as quasi-particle excitations with Abelian anyonic statistics. This interpretation is reflected in the subleading "topological entanglement" correction to the entanglement entropy. We extend this result to a series of models with conserved multipole moments.


title: The maximum likelihood degree of sparse polynomial systems

abstract: We consider statistical models arising from the common set of solutions to a sparse polynomial system with general coefficients. The maximum likelihood degree counts the number of critical points of the likelihood function restricted to the model. We prove the maximum likelihood degree of a sparse polynomial system is determined by its Newton polytopes and equals the mixed volume of a related Lagrange system of equations.


title: Seiberg-like dualities for orthogonal and symplectic 3d $\mathcal{N} = 2$ gauge theories with boundaries

abstract: We propose dualities of $\mathcal{N} = (0,2)$ supersymmetric boundary conditions for 3d $\mathcal{N} = 2$ gauge theories with orthogonal and symplectic gauge groups. We show that the boundary 't Hooft anomalies and half-indices perfectly match for each pair of the proposed dual boundary conditions.


title: MSRF-Net: A Multi-Scale Residual Fusion Network for Biomedical Image Segmentation

abstract: Methods based on convolutional neural networks have improved the performance of biomedical image segmentation. However, most of these methods cannot efficiently segment objects of variable sizes and train on small and biased datasets, which are common for biomedical use cases. While methods exist that incorporate multi-scale fusion approaches to address the challenges arising with variable sizes, they usually use complex models that are more suitable for general semantic segmentation problems. In this paper, we propose a novel architecture called Multi-Scale Residual Fusion Network (MSRF-Net), which is specially designed for medical image segmentation. The proposed MSRF-Net is able to exchange multi-scale features of varying receptive fields using a Dual-Scale Dense Fusion (DSDF) block. Our DSDF block can exchange information rigorously across two different resolution scales, and our MSRF sub-network uses multiple DSDF blocks in sequence to perform multi-scale fusion. This allows the preservation of resolution, improved information flow and propagation of both high- and low-level features to obtain accurate segmentation maps. The proposed MSRF-Net allows to capture object variabilities and provides improved results on different biomedical datasets. Extensive experiments on MSRF-Net demonstrate that the proposed method outperforms the cutting-edge medical image segmentation methods on four publicly available datasets. We achieve the dice coefficient of 0.9217, 0.9420, and 0.9224, 0.8824 on Kvasir-SEG, CVC-ClinicDB, 2018 Data Science Bowl dataset, and ISIC-2018 skin lesion segmentation challenge dataset respectively. We further conducted generalizability tests and achieved a dice coefficient of 0.7921 and 0.7575 on CVC-ClinicDB and Kvasir-SEG, respectively.


title: How is BERT surprised? Layerwise detection of linguistic anomalies

abstract: Transformer language models have shown remarkable ability in detecting when a word is anomalous in context, but likelihood scores offer no information about the cause of the anomaly. In this work, we use Gaussian models for density estimation at intermediate layers of three language models (BERT, RoBERTa, and XLNet), and evaluate our method on BLiMP, a grammaticality judgement benchmark. In lower layers, surprisal is highly correlated to low token frequency, but this correlation diminishes in upper layers. Next, we gather datasets of morphosyntactic, semantic, and commonsense anomalies from psycholinguistic studies; we find that the best performing model RoBERTa exhibits surprisal in earlier layers when the anomaly is morphosyntactic than when it is semantic, while commonsense anomalies do not exhibit surprisal at any intermediate layer. These results suggest that language models employ separate mechanisms to detect different types of linguistic anomalies.


title: The phase diagram and vortex properties of PT-symmetric non-Hermitian two-component superfluid

abstract: We discuss the phase diagram and properties of global vortices in the non-Hermitian parity-time-symmetric relativistic model possessing two interacting scalar complex fields. The phase diagram contains stable PT-symmetric regions and unstable PT-broken regions, which intertwine nontrivially with the U(1)-symmetric and U(1)-broken phases, thus forming rich patterns in the space of parameters of the model. The notion of the PT-symmetry breaking is generalized to the interacting theory. At finite quartic couplings, the non-Hermitian model possesses classical vortex solutions in the PT-symmetric regions characterized by broken U(1) symmetry. In the long-range limit of two-component Bose-Einstein condensates, the vortices from different condensates experience mutual dissipative dynamics unless their cores overlap precisely. For comparison, we also consider a close Hermitian analog of the system and demonstrate that the non-Hermitian two-component model possesses much richer dynamics than its Hermitian counterpart.


title: A Synchronized Action Framework for Responsible Detection of Coordination on Social Media

abstract: The study of coordinated manipulation of conversations on social media has become more prevalent as social media's role in amplifying misinformation, hate, and polarization has come under scrutiny. We discuss the implications of successful coordination detection algorithms based on shifts of power, and consider how responsible coordination detection may be carried out through synchronized action. We then propose a Synchronized Action Framework for detection of automated coordination through construction and analysis of multi-view networks. We validate our framework by examining the Reopen America conversation on Twitter, discovering three coordinated campaigns. We further investigate covert coordination surrounding the protests and find the task to be far more complex than examples seen in prior work, demonstrating the need for our multi-view approach. A cluster of suspicious users is identified and the activity of three members is detailed. These users amplify protest messages using the same hashtags at very similar times, though they all focus on different states. Through this analysis, we emphasize both the potential usefulness of coordination detection algorithms in investigating amplification, and the need for careful and responsible deployment of such tools.


title: An all-sky search in early O3 LIGO data for continuous gravitational-wave signals from unknown neutron stars in binary systems

abstract: We present a search for continuous gravitational waves emitted by neutron stars in binary systems conducted on data from the early third observing run of the Advanced LIGO and Advanced Virgo detectors using the semicoherent, GPU-accelerated, BinarySkyHough pipeline. The search analyzes the most sensitive frequency band of the LIGO detectors, 50 - 300 Hz. Binary orbital parameters are split into four regions, comprising orbital periods of 3 - 45 days and projected semimajor axes of 2 - 40 light-seconds. No detections are reported. We estimate the sensitivity of the search using simulated continuous wave signals, achieving the most sensitive results to date across the analyzed parameter space.


title: Generic properties of homeomorphisms preserving a given dynamical simplex

abstract: Given a dynamical simplex $K$ on a Cantor space $X$, we consider the set $G_K^*$ of all homeomorphisms of $X$ which preserve all elements of $K$ and have no nontrivial clopen invariant subset. Generalising a theorem of Yingst, we prove that for a generic element $g$ of $G_K^*$ the set of invariant measures of $g$ is equal to $K$. We also investigate when there exists a generic conjugacy class in $G_K^*$ and prove that this happens exactly when $K$ has only one element, which is the unique invariant measure associated to some odometer; and that in that case the conjugacy class of this odometer is generic in $G_K^*$.


title: Constructive strong regularity and the extension property of a compactification

abstract: In contexts in which the principle of dependent choice may not be available, as toposes or Constructive Set Theory, standard locale theoretic results related to complete regularity may fail to hold. To resolve this difficulty, B. Banaschewski and A. Pultr introduced strongly regular locales. Unfortunately, Banaschewski and Pultr's notion relies on non-constructive set existence principles that hinder its use in Constructive Set Theory. In this article, a fully constructive formulation of strong regularity for locales is introduced by replacing non-constructive set existence with coinductive set definitions, and exploiting the Relation Reflection Scheme. As an application, every strongly regular locale $L$ is proved to have a compact regular compactification. The construction of this compactification is then used to derive the main result of this article: a characterization of locale compactifications (and thus, classically, of the compactifications of a space) in terms of their ability of extending continuous functions with compact regular codomains. Finally, an open problem related to the existence of the compact regular reflection of a locale is presented.


title: On summation formulas in probability theory

abstract: We offer some summation formulas that appear to have great utility in probability theory. The proofs require some recent results from analysis that have thus far been applied to basic hypergeometric functions.


title: Formal Security Analysis on dBFT Protocol of NEO

abstract: NEO is one of the top public chains worldwide. We focus on its backbone consensus protocol, called delegated Byzantine Fault Tolerance (dBFT). The dBFT protocol has been adopted by a variety of blockchain systems such as ONT. dBFT claims to guarantee the security when no more than $f = \lfloor \frac{n}{3} \rfloor$ nodes are Byzantine, where $n$ is the total number of consensus participants. However, we identify attacks to break the claimed security. In this paper, we show our results by providing a security analysis on its dBFT protocol. First, we evaluate NEO's source code and formally present the procedures of dBFT via the state machine replication (SMR) model. Next, we provide a theoretical analysis with two example attacks. These attacks break the security of dBFT with no more than $f$ nodes. Then, we provide recommendations on how to fix the system against the identified attacks. The suggested fixes have been accepted by the NEO official team. Finally, we further discuss the reasons causing such issues, the relationship with current permissioned blockchain systems, and the scope of potential influence.


title: On the recursion formulas of Lauricella matrix functions

abstract: In this paper, we find the recursion formulas for generalized Lauricella matrix function. We also give the recursion formulas for the three variable Lauricella matrix functions.


title: Existence for a singular nonlocal phase field system with inertial term

abstract: In this paper we deal with a singular nonlocal phase field system with inertial term. The system has the logarithm of the absolute temperature $\theta$ under time derivative. Although the system has a difficult mathematical point caused by the combination of $(\ln \theta)_{t}$, the inertial term and the nonlocal diffusion term for the order parameter $\varphi$ (see Section 1.1), we can establish existence of solutions by a key estimate (see Remark 1.1).


title: Parton wave function for the fractional quantum Hall effect at $\nu=6/17$

abstract: We consider the fractional quantum Hall effect at the filling $\nu=6/17$, where experiments have observed features of incompressibility in the form of a minimum in the longitudinal resistance. We propose a parton state denoted as "$3\bar{2}1^{3}$" and show it to be a feasible candidate to capture the ground state at $\nu=6/17$. We work out the low-energy effective theory of the $3\bar{2}1^{3}$ edge and make several predictions for experimentally measurable properties of the state which can help detect its underlying topological order. Intriguingly, we find that the $3\bar{2}1^{3}$ state likely lies in the same universality class as the state obtained from composite-fermionizing the 1+1/5 Laughlin state.


title: Sparse to Dense Dynamic 3D Facial Expression Generation

abstract: In this paper, we propose a solution to the task of generating dynamic 3D facial expressions from a neutral 3D face and an expression label. This involves solving two sub-problems: (i)modeling the temporal dynamics of expressions, and (ii) deforming the neutral mesh to obtain the expressive counterpart. We represent the temporal evolution of expressions using the motion of a sparse set of 3D landmarks that we learn to generate by training a manifold-valued GAN (Motion3DGAN). To better encode the expression-induced deformation and disentangle it from the identity information, the generated motion is represented as per-frame displacement from a neutral configuration. To generate the expressive meshes, we train a Sparse2Dense mesh Decoder (S2D-Dec) that maps the landmark displacements to a dense, per-vertex displacement. This allows us to learn how the motion of a sparse set of landmarks influences the deformation of the overall face surface, independently from the identity. Experimental results on the CoMA and D3DFACS datasets show that our solution brings significant improvements with respect to previous solutions in terms of both dynamic expression generation and mesh reconstruction, while retaining good generalization to unseen data. The code and the pretrained model will be made publicly available.


title: Few-NERD: A Few-Shot Named Entity Recognition Dataset

abstract: Recently, considerable literature has grown up around the theme of few-shot named entity recognition (NER), but little published benchmark data specifically focused on the practical and challenging task. Current approaches collect existing supervised NER datasets and re-organize them to the few-shot setting for empirical study. These strategies conventionally aim to recognize coarse-grained entity types with few examples, while in practice, most unseen entity types are fine-grained. In this paper, we present Few-NERD, a large-scale human-annotated few-shot NER dataset with a hierarchy of 8 coarse-grained and 66 fine-grained entity types. Few-NERD consists of 188,238 sentences from Wikipedia, 4,601,160 words are included and each is annotated as context or a part of a two-level entity type. To the best of our knowledge, this is the first few-shot NER dataset and the largest human-crafted NER dataset. We construct benchmark tasks with different emphases to comprehensively assess the generalization capability of models. Extensive empirical results and analysis show that Few-NERD is challenging and the problem requires further research. We make Few-NERD public at https://ningding97.github.io/fewnerd/.


title: SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain

abstract: Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language specifications are not available. While deep learning techniques promise to learn such language specifications from sample models, deep learning needs a large number of training data to work well. SLGPT addresses this problem by using transfer learning to leverage the powerful Generative Pre-trained Transformer 2 (GPT-2) model, which has been pre-trained on a large set of training data. SLGPT adapts GPT-2 to Simulink with both randomly generated models and models mined from open-source repositories. SLGPT produced Simulink models that are both more similar to open-source models than its closest competitor, DeepFuzzSL, and found a super-set of the Simulink development toolchain bugs found by DeepFuzzSL.


title: Particle description of the interaction between wave packets and point vortices

abstract: This paper explores an idealized model of the ocean surface in which widely separated surface-wave packets and point vortices interact in two horizontal dimensions. We start with a Lagrangian which, in its general form, depends on the \emph{fields} of wave action, wave phase, stream function, and two additional fields that label and track the vertical component of vorticity. By assuming that the wave action and vorticity are confined to infinitesimally small, widely separated regions of the flow, we obtain model equations that are analogous to, but significantly more general than, the familiar system consisting solely of point vortices. We analyze stable and unstable harmonic solutions, solutions in which wave packets eventually coincide with point vortices (violating our assumptions), and solutions in which the wave vector eventually blows up. Additionally, we show that a wave packet induces a net drift on a passive vortex in the direction of wave propagation which is equivalent to Darwin drift. Generalizing our analysis to many wave packets and vortices, we examine the influence of wave packets on an otherwise unstable vortex street and show analytically, according to linear stability analysis, that the wave packet induced drift can stabilize the vortex street. The system is then numerically integrated for long times and an example is shown in which the configuration remains stable, which may be particularly relevant for the upper ocean.


title: Focus U-Net: A novel dual attention-gated CNN for polyp segmentation during colonoscopy

abstract: Background: Colonoscopy remains the gold-standard screening for colorectal cancer. However, significant miss rates for polyps have been reported, particularly when there are multiple small adenomas. This presents an opportunity to leverage computer-aided systems to support clinicians and reduce the number of polyps missed. Method: In this work we introduce the Focus U-Net, a novel dual attention-gated deep neural network, which combines efficient spatial and channel-based attention into a single Focus Gate module to encourage selective learning of polyp features. The Focus U-Net further incorporates short-range skip connections and deep supervision. Furthermore, we introduce the Hybrid Focal loss, a new compound loss function based on the Focal loss and Focal Tversky loss, to handle class-imbalanced image segmentation. For our experiments, we selected five public datasets containing images of polyps obtained during optical colonoscopy: CVC-ClinicDB, Kvasir-SEG, CVC-ColonDB, ETIS-Larib PolypDB and EndoScene test set. To evaluate model performance, we use the Dice similarity coefficient (DSC) and Intersection over Union (IoU) metrics. Results: Our model achieves state-of-the-art results for both CVC-ClinicDB and Kvasir-SEG, with a mean DSC of 0.941 and 0.910, respectively. When evaluated on a combination of five public polyp datasets, our model similarly achieves state-of-the-art results with a mean DSC of 0.878 and mean IoU of 0.809, a 14% and 15% improvement over the previous state-of-the-art results of 0.768 and 0.702, respectively. Conclusions: This study shows the potential for deep learning to provide fast and accurate polyp segmentation results for use during colonoscopy. The Focus U-Net may be adapted for future use in newer non-invasive screening and more broadly to other biomedical image segmentation tasks involving class imbalance and requiring efficiency.


title: TSDF++: A Multi-Object Formulation for Dynamic Object Tracking and Reconstruction

abstract: The ability to simultaneously track and reconstruct multiple objects moving in the scene is of the utmost importance for robotic tasks such as autonomous navigation and interaction. Virtually all of the previous attempts to map multiple dynamic objects have evolved to store individual objects in separate reconstruction volumes and track the relative pose between them. While simple and intuitive, such formulation does not scale well with respect to the number of objects in the scene and introduces the need for an explicit occlusion handling strategy. In contrast, we propose a map representation that allows maintaining a single volume for the entire scene and all the objects therein. To this end, we introduce a novel multi-object TSDF formulation that can encode multiple object surfaces at any given location in the map. In a multiple dynamic object tracking and reconstruction scenario, our representation allows maintaining accurate reconstruction of surfaces even while they become temporarily occluded by other objects moving in their proximity. We evaluate the proposed TSDF++ formulation on a public synthetic dataset and demonstrate its ability to preserve reconstructions of occluded surfaces when compared to the standard TSDF map representation.


title: Uncertainty in Minimum Cost Multicuts for Image and Motion Segmentation

abstract: The minimum cost lifted multicut approach has proven practically good performance in a wide range of applications such as image decomposition, mesh segmentation, multiple object tracking, and motion segmentation. It addresses such problems in a graph-based model, where real-valued costs are assigned to the edges between entities such that the minimum cut decomposes the graph into an optimal number of segments. Driven by a probabilistic formulation of minimum cost multicuts, we provide a measure for the uncertainties of the decisions made during the optimization. We argue that access to such uncertainties is crucial for many practical applications and conduct an evaluation by means of sparsifications on three different, widely used datasets in the context of image decomposition (BSDS-500) and motion segmentation (DAVIS2016 and FBMS59) in terms of variation of information (VI) and Rand index (RI).


title: On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques

abstract: We show that for any unambiguous finite automaton with $n$ states there exists an unambiguous finite automaton with $\sqrt{n+1} \cdot 2^{n/2}$ states that recognizes the complement language. This builds and improves upon a similar result by Jir\'asek et al. [Int. J. Found. Comput. Sci. 29 (5) (2018)]. Our improvement is based on a reduction to and an analysis of a problem from extremal graph theory: we show that for any graph with $n$ vertices, the product of the number of its cliques with the number of its cocliques (independent sets) is bounded by $(n+1) 2^n$.


title: A global view on star formation: The GLOSTAR Galactic plane survey III. 6.7 GHz methanol maser survey in Cygnus X

abstract: The Cygnus X complex is covered by the Global View of Star Formation in the Milky Way (GLOSTAR) survey, an unbiased radio-wavelength Galactic plane survey, in 4--8 GHz continuum radiation and several spectral lines. The GLOSTAR survey observed the 6.7~GHz transition of methanol (CH$_3$OH), an exclusive tracer of high-mass young stellar objects. Using the Very Large Array in both the B and D configurations, we observed an area in Cygnus~X of $7^{\rm o}\times3^{\rm o}$ in size and simultaneously covered the methanol line and the continuum, allowing cross-registration. We detected thirteen sources with Class~II methanol maser emission and one source with methanol absorption. Two methanol maser sources are newly detected; in addition, we found four new velocity components associated with known masers. Five masers are concentrated in the DR21 ridge and W75N. We determined the characteristics of the detected masers and investigated the association with infrared, (sub)millimeter, and radio continuum emission. All maser sources are associated with (sub)millimeter dust continuum emission, which is consistent with the picture of masers tracing regions in an active stage of star formation. On the other hand, only five masers ($38\pm17\%$) have radio continuum counterparts seen with GLOSTAR within $\sim$1$''$, testifying to their youth. Comparing the distributions of the bolometric luminosity and the luminosity-to-mass ratio of cores that host 6.7~GHz methanol masers with those of the full core population, we identified lower limits $L_{\rm Bol}\sim200~L_\odot$ and $L_{\rm Bol}/M_{\rm core}\sim1~L_\odot~M^{-1}_\odot$ for a dust source to host maser emission.


title: Lexicographic Enumeration of Set Partitions

abstract: In this report, we summarize the set partition enumeration problems and thoroughly explain the algorithms used to solve them. These algorithms iterate through the partitions in lexicographic order and are easy to understand and implement in modern high-level programming languages, without recursive structures and jump logic. We show that they require linear space in respect to the set cardinality and advance the enumeration in constant amortized time. The methods discussed in this document are not novel. Our goal is to demonstrate the process of enumerating set partitions and highlight the ideas behind it. This work is an aid for learners approaching this enumeration problem and programmers undertaking the task of implementing it.


title: A Realizable Filtered Intrusive Polynomial Moment Method

abstract: Intrusive uncertainty quantification methods for hyperbolic problems exhibit spurious oscillations at shocks, which leads to a significant reduction of the overall approximation quality. Furthermore, a challenging task is to preserve hyperbolicity of the gPC moment system. An intrusive method which guarantees hyperbolicity is the intrusive polynomial moment (IPM) method, which performs the gPC expansion on the entropy variables. The method, while still being subject to oscillations, requires solving a convex optimization problem in every spatial cell and every time step. The aim of this work is to mitigate oscillations in the IPM solution by applying filters. Filters reduce oscillations by damping high order gPC coefficients. Naive filtering, however, may lead to unrealizable moments, which means that the IPM optimization problem does not have a solution and the method breaks down. In this paper, we propose and analyze two separate strategies to guarantee the existence of a solution to the IPM problem. First, we propose a filter which maintains realizability by being constructed from an underlying Fokker-Planck equation. Second, we regularize the IPM optimization problem to be able to cope with non-realizable gPC coefficients. Consequently, standard filters can be applied to the regularized IPM method. We demonstrate numerical results for the two strategies by investigating the Euler equations with uncertain shock structures in one- and two-dimensional spatial settings. We are able to show a significant reduction of spurious oscillations by the proposed filters.


title: Fast-GANFIT: Generative Adversarial Network for High Fidelity 3D Face Reconstruction

abstract: A lot of work has been done towards reconstructing the 3D facial structure from single images by capitalizing on the power of Deep Convolutional Neural Networks (DCNNs). In the recent works, the texture features either correspond to components of a linear texture space or are learned by auto-encoders directly from in-the-wild images. In all cases, the quality of the facial texture reconstruction is still not capable of modeling facial texture with high-frequency details. In this paper, we take a radically different approach and harness the power of Generative Adversarial Networks (GANs) and DCNNs in order to reconstruct the facial texture and shape from single images. That is, we utilize GANs to train a very powerful facial texture prior \edit{from a large-scale 3D texture dataset}. Then, we revisit the original 3D Morphable Models (3DMMs) fitting making use of non-linear optimization to find the optimal latent parameters that best reconstruct the test image but under a new perspective. In order to be robust towards initialisation and expedite the fitting process, we propose a novel self-supervised regression based approach. We demonstrate excellent results in photorealistic and identity preserving 3D face reconstructions and achieve for the first time, to the best of our knowledge, facial texture reconstruction with high-frequency details.


title: Combinatorial Data Augmentation: A Key Enabler to Bridge Geometry- and Data-Driven WiFi Positioning

abstract: Due to the emergence of various wireless sensing technologies, numerous positioning algorithms have been introduced in the literature, categorized into \emph{geometry-driven positioning} (GP) and \emph{data-driven positioning} (DP). These approaches have respective limitations, e.g., a non-line-of-sight issue for GP and the lack of a labeled dataset for DP, which can be complemented by integrating both methods. To this end, this paper aims to introduce a novel principle called \emph{combinatorial data augmentation} (CDA), a catalyst for the two approaches' seamless integration. Specifically, GP-based datasets augmented from different combinations of positioning entities, called \emph{preliminary estimate locations} (PELs), can be used as DP's inputs. We confirm the CDA's effectiveness from field experiments based on WiFi \emph{round-trip times} (RTTs) and \emph{inertial measurement units} (IMUs) by designing several CDA-based positioning algorithms. First, we show that CDA offers various metrics quantifying each PEL's reliability, thereby filtering out unreliable PELs for WiFi RTT positioning. Second, CDA helps compute the measurement covariance matrix of a Kalman filter for fusing two position estimates derived by WiFi RTT and IMUs. Third, we use the above position estimate as the corresponding PEL's real-time label for fingerprint-based positioning as a representative DP algorithm. It provides accurate and reliable positioning results, says an average positioning error of $1.51$ (m) with a standard deviation of $0.88$~(m).


title: Data Augmentation for Sign Language Gloss Translation

abstract: Sign language translation (SLT) is often decomposed into video-to-gloss recognition and gloss-to-text translation, where a gloss is a sequence of transcribed spoken-language words in the order in which they are signed. We focus here on gloss-to-text translation, which we treat as a low-resource neural machine translation (NMT) problem. However, unlike traditional low-resource NMT, gloss-to-text translation differs because gloss-text pairs often have a higher lexical overlap and lower syntactic overlap than pairs of spoken languages. We exploit this lexical overlap and handle syntactic divergence by proposing two rule-based heuristics that generate pseudo-parallel gloss-text pairs from monolingual spoken language text. By pre-training on the thus obtained synthetic data, we improve translation from American Sign Language (ASL) to English and German Sign Language (DGS) to German by up to 3.14 and 2.20 BLEU, respectively.


title: Torsional rigidity and isospectral planar sets

abstract: We prove that a certain pair of isospectral planar sets are distinguished by torsional rigidity.


title: A short proof for Hopf bifurcation in Gurtin-MacCamy's population dynamics model

abstract: In this paper, we provide a short proof for the Hopf bifurcation theorem in the Gurtin-MacCamy's population dynamics model. Here we use the Crandall and Rabinowitz's approach, based on the implicit function theorem. Compared with previous methods, here we require the age-specific birth rate to be slightly smoother (roughly of bounded variation), but we have a huge gain for the length of the proof.


title: An integrated semigroup approach for age structured equations with diffusion and non-homogeneous boundary conditions

abstract: In this work, we consider a linear age-structured problem with diffusion and non-homogeneous boundary conditions both for the age and the space variables. We handle this linear problem by re-writing it as a non-densely defined abstract Cauchy problem. To that aim we develop a new result on the closedness of a commutative sum of two non-densely defined operators by using the theory of integrated semigroups. As an application of this abstract result, we are able to associate a suitable integrated semigroup to some age-structured problem with spatial diffusion and equipped with non-homogeneous boundary conditions. This integrated semigroup is characterized by the description of its infinitesimal generator. Further applications of our abstract result are also given to the commutative sum of two almost sectorial operators, for which we derive a closedness results.


title: In Congestion Games, Taxes Achieve Optimal Approximation

abstract: In this work, we consider the problem of minimising the social cost in atomic congestion games. For this problem, we provide tight computational lower bounds along with taxation mechanisms yielding polynomial time algorithms with optimal approximation. Perhaps surprisingly, our results show that indirect interventions, in the form of efficiently computed taxation mechanisms, yield the same performance achievable by the best polynomial time algorithm, even when the latter has full control over the agents' actions. It follows that no other tractable approach geared at incentivizing desirable system behavior can improve upon this result, regardless of whether it is based on taxations, coordination mechanisms, information provision, or any other principle. In short: Judiciously chosen taxes achieve optimal approximation. Three technical contributions underpin this conclusion. First, we show that computing the minimum social cost is NP-hard to approximate within a given factor depending solely on the admissible resource costs. Second, we design a tractable taxation mechanism whose efficiency (price of anarchy) matches this hardness factor, and thus is worst-case optimal. As these results extend to coarse correlated equilibria, any no-regret algorithm inherits the same performances, allowing us to devise polynomial time algorithms with optimal approximation.


title: Primordial Black Holes from First-Order Cosmological Phase Transitions

abstract: We discuss the possibility of forming primordial black holes during a first-order phase transition in the early Universe. As is well known, such a phase transition proceeds through the formation of true-vacuum bubbles in a Universe that is still in a false vacuum. When there is a particle species whose mass increases significantly during the phase transition, transmission of the corresponding particles through the advancing bubble walls is suppressed. Consequently, an overdensity can build up in front of the walls and become sufficiently large to trigger primordial black hole formation. We track this process quantitatively by solving a Boltzmann equation, and we determine the resulting black hole density and mass distribution as a function of model parameters.


title: Impact of screening and relaxation onto weakly coupled 2D heterostructures

abstract: The stacking of different 2D materials provides a promising approach to realize new states of quantum matter. In this combined scanning tunneling microscopy (STM) and density functional theory (DFT) study we show that the structure in weakly bound, purely van der Waals (vdW) interacting systems is strongly influenced by screening and relaxation. We studied in detail the physisorption of lead phthalocyanine (PbPc) molecules on epitaxial monolayer graphene on SiC(0001) as well as on highly ordered pyrolytic graphite (HOPG), resembling truly 2D and anisotropic, semi-infinite 3D supports. Our analysis demonstrates that the different deformation ability of the vdW coupled systems, i.e. their actual thickness and buckling, triggers the molecular morphology and exhibits a proximity coupled band structure. It thus provides important implications for future 2D design concepts.


title: Phase driven magnetic and optoelectronic properties ofLa2CrNiO6: A DFT and Monte Carlo perspective

abstract: In search of the ferromagnetic insulators for spintronic device applications, we have studied the electronic, optical, and magnetic properties ofLa2CrNiO6(LCNO) using the first principle density functional theory (DFT)and monte carlo simulation technique. Firstly, we have adopted the sol-gel method for preparation of LCNO and refined the X-ray diffracted value using the fullprof suite under the Rietveld mechanism. The obtained orthorhombic Pbnm and cubic Fm-3m space groups are used as the input of the DFT calculations. Both the structures have shown the half metallicity and insult-ing bandgap towards the majority and minority spin direction respectively. From the magnetic moment calculations, we have seen the low spin state ofNi3+and the double exchange (DE) interaction is responsible for the ferro-magneticity of LCNO. The optical dielectric constant is 10 and the refractive index is 3.2 for orthorhombic structure. The transition temperature (TC) is determined to 110 K from MCS study, which has well agreed with experimental value (111 K). The RCP value is determined to 12 J/Kg with a 5 tesla applied field, which is good for magnetocaloric applications.


title: Leveraging Semantic Scene Characteristics and Multi-Stream Convolutional Architectures in a Contextual Approach for Video-Based Visual Emotion Recognition in the Wild

abstract: In this work we tackle the task of video-based visual emotion recognition in the wild. Standard methodologies that rely solely on the extraction of bodily and facial features often fall short of accurate emotion prediction in cases where the aforementioned sources of affective information are inaccessible due to head/body orientation, low resolution and poor illumination. We aspire to alleviate this problem by leveraging visual context in the form of scene characteristics and attributes, as part of a broader emotion recognition framework. Temporal Segment Networks (TSN) constitute the backbone of our proposed model. Apart from the RGB input modality, we make use of dense Optical Flow, following an intuitive multi-stream approach for a more effective encoding of motion. Furthermore, we shift our attention towards skeleton-based learning and leverage action-centric data as means of pre-training a Spatial-Temporal Graph Convolutional Network (ST-GCN) for the task of emotion recognition. Our extensive experiments on the challenging Body Language Dataset (BoLD) verify the superiority of our methods over existing approaches, while by properly incorporating all of the aforementioned modules in a network ensemble, we manage to surpass the previous best published recognition scores, by a large margin.


title: AtomAI: A Deep Learning Framework for Analysis of Image and Spectroscopy Data in (Scanning) Transmission Electron Microscopy and Beyond

abstract: AtomAI is an open-source software package bridging instrument-specific Python libraries, deep learning, and simulation tools into a single ecosystem. AtomAI allows direct applications of the deep convolutional neural networks for atomic and mesoscopic image segmentation converting image and spectroscopy data into class-based local descriptors for downstream tasks such as statistical and graph analysis. For atomically-resolved imaging data, the output is types and positions of atomic species, with an option for subsequent refinement. AtomAI further allows the implementation of a broad range of image and spectrum analysis functions, including invariant variational autoencoders (VAEs). The latter consists of VAEs with rotational and (optionally) translational invariance for unsupervised and class-conditioned disentanglement of categorical and continuous data representations. In addition, AtomAI provides utilities for mapping structure-property relationships via im2spec and spec2im type of encoder-decoder models. Finally, AtomAI allows seamless connection to the first principles modeling with a Python interface, including molecular dynamics and density functional theory calculations on the inferred atomic position. While the majority of applications to date were based on atomically resolved electron microscopy, the flexibility of AtomAI allows straightforward extension towards the analysis of mesoscopic imaging data once the labels and feature identification workflows are established/available. The source code and example notebooks are available at https://github.com/pycroscopy/atomai.

categories: physics.data-an cond-mat.dis-nn cond-mat.mtrl-sci cs.LG


title: Rheology of immiscible two-phase flow in mixed wet porous media: Dynamic pore network model and capillary fiber bundle model results

abstract: Immiscible two-phase flow in porous media with mixed wet conditions was examined using a capillary fiber bundle model, which is analytically solvable, and a dynamic pore network model. The mixed wettability was implemented in the models by allowing each tube or link to have a different wetting angle chosen randomly from a given distribution. Both models showed that mixed wettability can have significant influence on the rheology in terms of the dependence of the global volumetric flow rate on the global pressure drop. In the capillary fiber bundle model, for small pressure drops when only a small fraction of the tubes were open, it was found that the volumetric flow rate depended on the excess pressure drop as a power law with an exponent equal to 3/2 or 2 depending on the minimum pressure drop necessary for flow. When all the tubes were open due to a high pressure drop, the volumetric flow rate depended linearly on the pressure drop, independent of the wettability. In the transition region in between where most of the tubes opened, the volumetric flow depended more sensitively on the wetting angle distribution function and was in general not a simple power law. The dynamic pore network model results also showed a linear dependence of the flow rate on the pressure drop when the pressure drop is large. However, out of this limit the dynamic pore network model demonstrated a more complicated behaviour that depended on the mixed wettability condition and the saturation. In particular, the exponent relating volumetric flow rate to the excess pressure drop could take on values anywhere between 1.0 and 1.8. The values of the exponent were highest for saturations approaching 0.5, also, the exponent generally increased when the difference in wettability of the two fluids were larger and when this difference was present for a larger fraction of the porous network.


title: Reconstructing propagators of confined particles in the presence of complex singularities

abstract: Propagators of confined particles, especially the Landau-gauge gluon propagator, may have complex singularities as suggested by recent numerical works as well as several theoretical models, e.g., motivated by the Gribov problem. In this paper, we study formal aspects of propagators with complex singularities in reconstructing Minkowski propagators starting from Euclidean propagators by the analytic continuation. We derive the following properties rigorously for propagators with arbitrary complex singularities satisfying some boundedness condition. The two-point Schwinger function with complex singularities violates the reflection positivity. In the presence of complex singularities, while the holomorphy in the usual tube is maintained, the reconstructed Wightman function on the Minkowski spacetime becomes a non-tempered distribution and violates the positivity condition. On the other hand, the Lorentz symmetry and locality are kept intact under this reconstruction. Finally, we argue that complex singularities can be realized in a state space with an indefinite metric and correspond to confined states. We also discuss consequences of complex singularities in the BRST formalism. Our results could open up a new way of understanding a confinement mechanism, mainly in the Landau-gauge Yang-Mills theory.


title: More on Fuzzy Topological Spaces on Fuzzy Space

abstract: The fuzzy topological space was introduced by Dip in 1999 depending on the notion of fuzzy spaces. Dip's approach helps to rectify the deviation in some definitions of fuzzy subsets in fuzzy topological spaces. In this paper, further definitions, and theorems on fuzzy topological space fill the lack in Dip's article. Different types of fuzzy topological space on fuzzy space are presented such as co-finite, co-countable, right and left ray, and usual fuzzy topology. Furthermore, boundary, exterior, and isolated points of fuzzy sets are investigated and illustrated based on fuzzy spaces. Finally, separation axioms are studied on fuzzy spaces.


title: Dynamics of 2D Material Membranes

abstract: The dynamics of suspended two-dimensional (2D) materials has received increasing attention during the last decade, yielding new techniques to study and interpret the physics that governs the motion of atomically thin layers. This has led to insights into the role of thermodynamic and nonlinear effects as well as the mechanisms that govern dissipation and stiffness in these resonators. In this review, we present the current state-of-the-art in the experimental study of the dynamics of 2D membranes. The focus will be both on the experimental measurement techniques and on the interpretation of the physical phenomena exhibited by atomically thin membranes in the linear and nonlinear regimes. We will show that resonant 2D membranes have emerged both as sensitive probes of condensed matter physics in ultrathin layers, and as sensitive elements to monitor small external forces or other changes in the environment. New directions for utilizing suspended 2D membranes for material characterization, thermal transport, and gas interactions will be discussed and we conclude by outlining the challenges and opportunities in this upcoming field.

categories: cond-mat.mes-hall nlin.CD physics.app-ph physics.ins-det


title: Entropy Maximization for Partially Observable Markov Decision Processes

abstract: We study the problem of synthesizing a controller that maximizes the entropy of a partially observable Markov decision process (POMDP) subject to a constraint on the expected total reward. Such a controller minimizes the predictability of an agent's trajectories to an outside observer while guaranteeing the completion of a task expressed by a reward function. We first prove that an agent with partial observations can achieve an entropy at most as well as an agent with perfect observations. Then, focusing on finite-state controllers (FSCs) with deterministic memory transitions, we show that the maximum entropy of a POMDP is lower bounded by the maximum entropy of the parametric Markov chain (pMC) induced by such FSCs. This relationship allows us to recast the entropy maximization problem as a so-called parameter synthesis problem for the induced pMC. We then present an algorithm to synthesize an FSC that locally maximizes the entropy of a POMDP over FSCs with the same number of memory states. In numerical examples, we illustrate the relationship between the maximum entropy, the number of memory states in the FSC, and the expected reward.


title: Exact Landau Level Description of Geometry and Interaction in a Flatband

abstract: Flatbands appear in many condensed matter systems, such as in high magnetic fields, correlated materials and moire heterostructures. They are characterized by intrinsic geometric properties such as the Berry curvature and Fubini-Study metric. In general the band geometry is nonuniform in momentum space, making its influence on electron-electron interactions a difficult problem to understand analytically. In this work, we study this problem in a topological flatband of Chern number C=1 with the ideal properties that the Berry curvature is positive definite and fluctuates in sync with Fubini-Study metric. We derive an exact correspondence between such ideal flatbands and Landau levels by showing how the band geometry fluctuation in ideal flatbands gives raise to a new type of interaction in Landau levels which depends on the center-of-mass of two particles. We characterize such interaction by generalizing the usual Haldane pseudopotentials. This mapping gives exact zero-energy ground states for short-ranged repulsive generalized pseudopotentials in flatbands, in analogy to fractional quantum Hall systems. Driving the center-of-mass interactions beyond the repulsive regime leads to a dramatic reconstruction of the ground states towards gapless phases. The generalized pseudopotential could be a useful basis for future numerical studies.


title: Ahlfors-Weill extensions for harmonic mappings

abstract: We provide two new formulas for quasiconformal extension to $\overline{\mathbb{C}}$ for harmonic mappings defined in the unit disk and having sufficiently small Schwarzian derivative. Both are generalizations of the Ahlfors-Weill extension for holomorphic functions.


title: Superposition type coherent states in all dimensional loop quantum gravity

abstract: We propose a new kind of coherent state for the general $SO(D+1)$ formulation of loop quantum gravity in the $(1+D)$-dimensional space-time. Instead of Thiemann's coherent state for $SO(D+1)$ gauge theory, our coherent spin-network state is given by constructing proper superposition over quantum numbers of the spin-networks with vertices labelled by the coherent intertwiners. Such superposition type coherent states are labelled by the so-called generalized twisted geometric variables which capture the geometric meaning of discretized general relativity. We study the basic properties of this kind of coherent states, i.e., the completeness and peakedness property. Moreover, we show that the superposition type coherent states are consistent with Thiemann's coherent state for $SO(D+1)$ gauge theory in large $\eta$ limit.


title: Generic simplicity of resonances in obstacle scattering

abstract: We show that all resonances in Dirichlet obstacle scattering (in $\mathbb{C}$ in odd dimensions and in the logarithmic cover of $\mathbb{C}\setminus\{0\}$ in even dimensions) are generically simple in the class of obstacles with $C^k$ (and $C^\infty$) boundaries, $k \geq 2$.


title: Capsule GAN for Prostate MRI Super-Resolution

abstract: Prostate cancer is a very common disease among adult men. One in seven Canadian men is diagnosed with this cancer in their lifetime. Super-Resolution (SR) can facilitate early diagnosis and potentially save many lives. In this paper, a robust and accurate model is proposed for prostate MRI SR. The model is trained on the Prostate-Diagnosis and PROSTATEx datasets. The proposed model outperformed the state-of-the-art prostate SR model in all similarity metrics with notable margins. A new task-specific similarity assessment is introduced as well. A classifier is trained for severe cancer detection and the drop in the accuracy of this model when dealing with super-resolved images is used for evaluating the ability of medical detail reconstruction of the SR models. The proposed SR model is a step towards an efficient and accurate general medical SR platform.


title: Possible multiband superconductivity in the quaternary carbide YRe2SiC

abstract: We report for the first time the occurrence of superconductivity in the quaternary silicide carbide YRe2SiC with Tc = 5.9 K. The emergence of superconductivity was confirmed by means of magnetic susceptibility, electrical resistivity, and heat capacity measurements. The presence of a well developed heat capacity feature at Tc confirms that superconductivity is a bulk phenomenon, while a second feature in the heat capacity near 0.5 Tc combined with the unusual temperature dependence of the upper critical field Hc2(T) indicate the presence of a multiband superconducting state. Additionally, the linear dependence of the lower critical field Hc1 with temperature resemble the behavior found in compounds with unconventional pairing symmetry. Band structure calculations reveal YRe2SiC could harbor a non-trivial topological state and that the low-energy states occupy multiple disconnected sheets at the Fermi surface, with different degrees of hybridization, nesting, and screening effects, therefore making unconventional multiband superconductivity plausible.


title: Intra-process Caching and Reuse of Threads

abstract: Creating and destroying threads on modern Linux systems incurs high latency, absent concurrency, and fails to scale as we increase concurrency. To address this concern we introduce a process-local cache of idle threads. Specifically, instead of destroying a thread when it terminates, we cache and then recycle that thread in the context of subsequent thread creation requests. This approach shows significant promise in various applications and benchmarks that create and destroy threads rapidly and illustrates the need for and potential benefits of improved concurrency infrastructure. With caching, the cost of creating a new thread drops by almost an order of magnitude. As our experiments demonstrate, this results in significant performance improvements for multiple applications that aggressively create and destroy numerous threads.


title: Evolution of bare quark stars in full general relativity: Single star case

abstract: We introduce our approaches, in particular the modifications of the primitive recovery procedure, to handle bare quark stars in numerical relativity simulations. Reliability and convergence of our implementation are demonstrated by evolving two triaxially rotating quark star models with different mass as well as a differentially rotating quark star model which has sufficiently large kinetic energy to be dynamically unstable. These simulations allow us to verify that our method is capable of resolving the evolution of the discontinuous surface of quark stars and possible mass ejection from them. The evolution of the triaxial deformation and the properties of the gravitational-wave emission from triaxially rotating quark stars have been also studied, together with the mass ejection of the differentially rotating case. It is found that supramassive quark stars are not likely to be ideal sources of continuous gravitational wave as the star recovers axisymmetry much faster than models with smaller mass and gravitational-wave amplitude decays rapidly in a timescale of $10\,$ms, although the instantaneous amplitude from more massive models is larger. As with the differentially rotating case, our result confirms that quark stars could experience non-axisymmetric instabilities similar to the neutron star case but with quite small degree of differential rotation, which is expected according to previous initial data studies.


title: Left Dihedral Codes over Finite Chain Rings

abstract: Let $R$ be a finite commutative chain ring, $D_{2n}$ be the dihedral group of size $2n$ and $R[D_{2n}]$ be the dihedral group ring. In this paper, we completely characterize left ideals of $R[D_{2n}]$ (called left $D_{2n}$-codes) when ${\rm gcd}(char(R),n)=1$. In this way, we explore the structure of some skew-cyclic codes of length 2 over $R$ and also over $R\times S$, where $S$ is an isomorphic copy of $R$. As a particular result, we give the structure of cyclic codes of length 2 over $R$. In the case where $R=\F_{p^m}$ is a Galois field, we give a classification for left $D_{2N}$-codes over $\F_{p^m}$, for any positive integer $N$. In both cases we determine dual codes and identify self-dual ones.


title: Universal Mass Scale for Bosonic Fields in Multi-Brane Worlds

abstract: In this paper we find an universal mass scale for all $p-$forms in multi-brane worlds model. It is a known fact the this model provides an ultralight mode for the fields. However, to get this, the Lagrangians considered in the literature are not covariant. In order to solve this, we propose a covariant version to multi-localize $q-$form fields. As a consequence of the covariance, we show that all the $q$-form fields have an ultralight mode with the same mass that the gravitational one. That way we show that there is an universal mass scale for the ultralight modes of the bosonic fields. This suggests that a new physics must emerge, for all theses fields, at the same scale. After that, we revisit the results that consider a crystal manyfold background in the Randall-Sundrum scenary (RS), and add the discussion related to geometrical couplings in such a configuration. The wave functions of fields trapped in the crystal are Bloch-like waves, and their behavior is very similar to electrons inside a lattice, just like in the Kronig-Penney model (KP). We compute the mass dispersion relations for those fields with and without a dilaton coupling. It leads to new results for the band gap structure of these fields. In the case of the Kalb-Ramond field, and with the correct dispersion relation, there is no gap between the mass bands. Also, always that the field is coupled with the dilaton, its first mass mode decreases. When the generalization to the $q-$form is done, we show that it is not possible to suppress or generate mass for the fields by controlling the dilaton coupling, differently of what was argued previously.


title: Analysis of Bitcoin Vulnerability to Bribery Attacks Launched Through Large Transactions

abstract: Bitcoin uses blockchain technology to maintain transactions order and provides probabilistic guarantee to prevent double-spending, assuming that an attacker's computational power does not exceed %50 of the network power. In this paper, we design a novel bribery attack and show that this guarantee can be hugely undermined. Miners are assumed to be rational in this setup and they are given incentives that are dynamically calculated. In this attack, the adversary misuses the Bitcoin protocol to bribe miners and maximize their gained advantage. We will reformulate the bribery attack to propose a general mathematical foundation upon which we build multiple strategies. We show that, unlike Whale Attack, these strategies are practical. If the rationality assumption holds, this shows how vulnerable blockchain-based systems like Bitcoin are. We suggest a soft fork on Bitcoin to fix this issue at the end.


title: Neutrinos as a probe of the Universe

abstract: A brief essay on how studying neutrinos can help us to better understand the Universe.


title: Low degree Lorentz invariant polynomials as potential entanglement invariants for multiple Dirac spinors

abstract: A system of multiple spacelike separated Dirac particles is considered and a method for constructing polynomial invariants under the spinor representations of the local proper orthochronous Lorentz groups is described. The method is a generalization of the method used in [Phys. Rev. A {\bf 105}, 032402 (2022), arXiv:2103.07784] for the case of two Dirac particles. All polynomials constructed by this method are identically zero for product states. The behaviour of the polynomials under local unitary evolution that acts unitarily on any subspace defined by fixed particle momenta is described. By design all of the polynomials have invariant absolute values on this kind of subspaces if the evolution is locally generated by zero-mass Dirac Hamiltonians. Depending on construction some polynomials have invariant absolute values also for the case of nonzero-mass or additional couplings. Because of these properties the polynomials are considered potential candidates for describing the spinor entanglement of multiple Dirac particles, with either zero or arbitrary mass or additional couplings. Polynomials of degree 2 and 4 are derived for the cases of three and four Dirac spinors. For three spinors no non-zero degree 2 polynomials are found but 67 linearly independent polynomials of degree 4 are identified. For four spinors 16 linearly independent polynomials of degree 2 are constructed as well as 26 polynomials of degree 4 selected from a much larger number. The relations of these polynomials to the polynomial spin entanglement invariants of three and four non-relativistic spin-$\frac{1}{2}$ particles are described. Moreover, it is described how degree 4 polynomials for five spinors can be constructed and how degree 2 polynomials can be constructed for any even number of spinors.


title: Mean curvature flow in homology and foliations of hyperbolic $3$-manifolds

abstract: We study global aspects of the mean curvature flow of non-separating hypersurfaces $S$ in closed manifolds. For instance, if $S$ has non-vanishing mean curvature, we show its level set flow converges smoothly towards an embedded minimal hypersurface $\Gamma$. We prove a similar result for the flow with surgery in dimension 2. As an application we show the existence of monotone incompressible isotopies in manifolds with negative curvature. Combining this result with min-max theory, we show that quasi-Fuchsian and hyperbolic $3$-manifolds fibered over $\mathrm{S}^1$ admit smooth entire foliations whose leaves are either minimal or have non-vanishing mean curvature. We also conclude the existence of outermost minimal surfaces for quasi-Fuchsian ends and study their continuity with respect to variations of the quasi-Fuchsian metric.


title: Distinguishing Aerial Intruders from Trajectory Data: A Model-Based Hypothesis-Testing Approach

abstract: Motivated by security needs in unmanned aerial system (UAS) operations, an algorithm for identifying airspace intruders (e.g., birds vs. drones) is developed. The algorithm is structured to use sensed intruder velocity data from Internet-of-Things platforms together with limited knowledge of physical models. The identification problem is posed as a statistical hypothesis testing or detection problem, wherein inertial feedback-controlled objects subject to stochastic actuation must be distinguished by speed data. The maximum a posteriori probability detector is obtained, and then is simplified to an explicit computation based on two points in the sample autocorrelation of the data. The simplified form allows computationally-friendly implementation of the algorithm, and simplified learning from archived data. Also, the total probability of error of the detector is computed and characterized. Simulations based on synthesized data are presented to illustrate and supplement the formal analyses.


title: Variations of the Hartree-Fock fractional-spin error for one electron

abstract: Fractional-spin errors are inherent in all current approximate density functionals, including Hartree-Fock theory, and their origin has been related to strong static correlation effects. The conventional way to encode fractional-spin calculations is to construct an ensemble density that scales between the high-spin and low-spin densities. In this article, we explore the variation of the Hartree-Fock fractional-spin (or ghost-interaction) error in one-electron systems using restricted and unrestricted ensemble densities, and the exact generalized Hartree-Fock representation. By considering the hydrogen atom and H$_2^+$ cation, we analyze how the unrestricted and generalized Hartree-Fock schemes minimize this error by localizing the electrons or rotating the spin coordinates. We also reveal a clear similarity between the Coulomb hole of He-like ions and the density depletion near the nucleus induced by the fractional-spin error in the unpolarized hydrogen atom. Finally, we analyze the effect of the fractional-spin error on the M{\o}ller-Plesset adiabatic connection, excited states, and functional- and density-driven errors.


title: Odd dynamics of living chiral crystals

abstract: Active crystals are highly ordered structures that emerge from the self-organization of motile objects, and have been widely studied in synthetic and bacterial active matter. Whether collective crystallization phenomena can occur in groups of autonomously developing multicellular organisms is currently unknown. Here, we show that swimming starfish embryos spontaneously assemble into chiral crystals that span thousands of spinning organisms and persist for tens of hours. Combining experiments, theory, and simulations, we demonstrate that the formation, dynamics, and dissolution of these living crystals are controlled by the hydrodynamic properties and natural development of embryos. Remarkably, living chiral crystals exhibit self-sustained chiral oscillations as well as various unconventional deformation response behaviors recently predicted for odd elastic materials. Our results provide direct experimental evidence for how nonreciprocal interactions between autonomous multicellular components may facilitate novel nonequilibrium phases of chiral active matter.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.flu-dyn


title: Abstraction, Validation, and Generalization for Explainable Artificial Intelligence

abstract: Neural network architectures are achieving superhuman performance on an expanding range of tasks. To effectively and safely deploy these systems, their decision-making must be understandable to a wide range of stakeholders. Methods to explain AI have been proposed to answer this challenge, but a lack of theory impedes the development of systematic abstractions which are necessary for cumulative knowledge gains. We propose Bayesian Teaching as a framework for unifying explainable AI (XAI) by integrating machine learning and human learning. Bayesian Teaching formalizes explanation as a communication act of an explainer to shift the beliefs of an explainee. This formalization decomposes any XAI method into four components: (1) the inference to be explained, (2) the explanatory medium, (3) the explainee model, and (4) the explainer model. The abstraction afforded by Bayesian Teaching to decompose any XAI method elucidates the invariances among them. The decomposition of XAI systems enables modular validation, as each of the first three components listed can be tested semi-independently. This decomposition also promotes generalization through recombination of components from different XAI systems, which facilitates the generation of novel variants. These new variants need not be evaluated one by one provided that each component has been validated, leading to an exponential decrease in development time. Finally, by making the goal of explanation explicit, Bayesian Teaching helps developers to assess how suitable an XAI system is for its intended real-world use case. Thus, Bayesian Teaching provides a theoretical framework that encourages systematic, scientific investigation of XAI.


title: Characterizing Biautomatic Groups

abstract: This paper corrects the characterisation of biautomatic groups presented in Lemma 2.5.5 in the book Word Processing in Groups by Epstein et al. We present a counterexample to the lemma, and we reformulate the lemma to give a valid characterisation of biautomatic groups.


title: Doc2Dict: Information Extraction as Text Generation

abstract: Typically, information extraction (IE) requires a pipeline approach: first, a sequence labeling model is trained on manually annotated documents to extract relevant spans; then, when a new document arrives, a model predicts spans which are then post-processed and standardized to convert the information into a database entry. We replace this labor-intensive workflow with a transformer language model trained on existing database records to directly generate structured JSON. Our solution removes the workload associated with producing token-level annotations and takes advantage of a data source which is generally quite plentiful (e.g. database records). As long documents are common in information extraction tasks, we use gradient checkpointing and chunked encoding to apply our method to sequences of up to 32,000 tokens on a single GPU. Our Doc2Dict approach is competitive with more complex, hand-engineered pipelines and offers a simple but effective baseline for document-level information extraction. We release our Doc2Dict model and code to reproduce our experiments and facilitate future work.


title: Efficient Algorithms for Quantitative Attack Tree Analysis

abstract: Numerous analysis methods for quantitative attack tree analysis have been proposed. These algorithms compute relevant security metrics, i.e. performance indicators that quantify how good the security of a system is, such as the most likely attack, the cheapest, or the most damaging one. This paper classifies attack trees in two dimensions: proper trees vs. directed acyclic graphs (i.e. with shared subtrees); and static vs. dynamic gates. For each class, we propose novel algorithms that work over a generic attribute domain, encompassing a large number of concrete security metrics defined on the attack tree semantics. We also analyse the computational complexity of our methods.


title: Substitutional Neural Image Compression

abstract: We describe Substitutional Neural Image Compression (SNIC), a general approach for enhancing any neural image compression model, that requires no data or additional tuning of the trained model. It boosts compression performance toward a flexible distortion metric and enables bit-rate control using a single model instance. The key idea is to replace the image to be compressed with a substitutional one that outperforms the original one in a desired way. Finding such a substitute is inherently difficult for conventional codecs, yet surprisingly favorable for neural compression models thanks to their fully differentiable structures. With gradients of a particular loss backpropogated to the input, a desired substitute can be efficiently crafted iteratively. We demonstrate the effectiveness of SNIC, when combined with various neural compression models and target metrics, in improving compression quality and performing bit-rate control measured by rate-distortion curves. Empirical results of control precision and generation speed are also discussed.


title: Decision Making with Differential Privacy under a Fairness Lens

abstract: Agencies, such as the U.S. Census Bureau, release data sets and statistics about groups of individuals that are used as input to a number of critical decision processes. To conform to privacy and confidentiality requirements, these agencies are often required to release privacy-preserving versions of the data. This paper studies the release of differentially private data sets and analyzes their impact on some critical resource allocation tasks under a fairness perspective. {The paper shows that, when the decisions take as input differentially private data}, the noise added to achieve privacy disproportionately impacts some groups over others. The paper analyzes the reasons for these disproportionate impacts and proposes guidelines to mitigate these effects. The proposed approaches are evaluated on critical decision problems that use differentially private census data.


title: The Cluster Depth Tests: Toward Point-Wise Strong Control of the Family-Wise Error Rate in Massively Univariate Tests with Application to M/EEG

abstract: The cluster mass test has been widely used for massively univariate tests in M/EEG, fMRI and, recently, pupillometry analysis. It is a powerful method for detecting effects while controlling weakly the family-wise error rate (FWER), although its correct interpretation can only be performed at the cluster level without any point-wise conclusion. It implies that the discoveries of a cluster mass test cannot be precisely localized in time or in space. We propose a new multiple comparison procedure, the cluster depth tests, that both controls the FWER while allowing an interpretation at the time point level. The simulation study shows that the cluster depth tests achieve large power and guarantee the FWER even in the presence of physiologically plausible effects. By having an interpretation at the time point/voxel level, the cluster depth tests make it possible to take full advantage of the high temporal resolution of EEG recording to precisely time the appearance of an effect.


title: Experimental observation and spin texture of Dirac node arcs in tetradymite topological metals

abstract: We report the observation of a non-trivial spin texture in Dirac node arcs, novel topological objects formed when Dirac cones of massless particles extend along an open one-dimensional line in momentum space. We find that such states are present in all the compounds of the tetradymite M$_2$Te$_2$X family (M$=$Ti, Zr or Hf and X$=$P or As), regardless of the weak or strong character of the topological invariant. The Dirac node arcs in tetradymites are thus the simplest possible, textbook example, of a type-I Dirac system with a single spin-polarized node arc.


title: Thermal Trigger for Solar Flares II: Effect of the Guide Magnetic Field

abstract: We investigate the effect of the thermal imbalance on the structural stability of the magnetohydrodynamic model of the preflare current layer (Ledentsov, Sol. Phys. 296, 74, 2021). The piecewise homogeneous model of the current layer is supplemented by a magnetic field longitudinal with respect to the direction of the current. It is shown that the presence of a weak longitudinal field does not change the previously calculated spatial period of the thermal instability in the most expected range of the parameters of the preflare current layer and, moreover, contributes to the formation of the instability. On the other hand, a strong longitudinal magnetic field contributes to the spatial stabilization of the current layer.


title: A Stress-Free Sum-of-Squares Lower Bound for Coloring

abstract: We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, a natural $n^{O(\varepsilon^2 \log n)}$-time, degree $O(\varepsilon^2 \log n)$ sum-of-squares semidefinite program cannot refute the existence of a valid $k$-coloring of $G$ for $k = n^{1/2 +\varepsilon}$. Our result implies that the refutation guarantee of the basic semidefinite program (a close variant of the Lov\'asz theta function) cannot be appreciably improved by a natural $o(\log n)$-degree sum-of-squares strengthening, and this is tight up to a $n^{o(1)}$ slack in $k$. To the best of our knowledge, this is the first lower bound for coloring $G(n,1/2)$ for even a single round strengthening of the basic SDP in any SDP hierarchy. Our proof relies on a new variant of instance-preserving non-pointwise complete reduction within SoS from coloring a graph to finding large independent sets in it. Our proof is (perhaps surprisingly) short, simple and does not require complicated spectral norm bounds on random matrices with dependent entries that have been otherwise necessary in the proofs of many similar results [BHK+16, HKP+17, KB19, GJJ+20, MRX20]. Our result formally holds for a constraint system where vertices are allowed to belong to multiple color classes; we leave the extension to the formally stronger formulation of coloring, where vertices must belong to unique colors classes, as an outstanding open problem.


title: Near-Optimal Time-Energy Trade-Offs for Deterministic Leader Election

abstract: We consider the energy complexity of the leader election problem in the single-hop radio network model, where each device has a unique identifier in $\{1, 2, \ldots, N\}$. Energy is a scarce resource for small battery-powered devices. For such devices, most of the energy is often spent on communication, not on computation. To approximate the actual energy cost, the energy complexity of an algorithm is defined as the maximum over all devices of the number of time slots where the device transmits or listens. Much progress has been made in understanding the energy complexity of leader election in radio networks, but very little is known about the trade-off between time and energy. $\textbf{Time-energy trade-off:}$ For any $k \geq \log \log N$, we show that a leader among at most $n$ devices can be elected deterministically in $O(k \cdot n^{1+\epsilon}) + O(k \cdot N^{1/k})$ time and $O(k)$ energy if each device can simultaneously transmit and listen, where $\epsilon > 0$ is any small constant. This improves upon the previous $O(N)$-time $O(\log \log N)$-energy algorithm by Chang et al. [STOC 2017]. We provide lower bounds to show that the time-energy trade-off of our algorithm is near-optimal. $\textbf{Dense instances:}$ For the dense instances where the number of devices is $n = \Theta(N)$, we design a deterministic leader election algorithm using only $O(1)$ energy. This improves upon the $O(\log^* N)$-energy algorithm by Jurdzi\'{n}ski et al. [PODC 2002] and the $O(\alpha(N))$-energy algorithm by Chang et al. [STOC 2017]. More specifically, we show that the optimal deterministic energy complexity of leader election is $\Theta\left(\max\left\{1, \log \frac{N}{n}\right\}\right)$ if the devices cannot simultaneously transmit and listen, and it is $\Theta\left(\max\left\{1, \log \log \frac{N}{n}\right\}\right)$ if they can.


title: Graph-Free Knowledge Distillation for Graph Neural Networks

abstract: Knowledge distillation (KD) transfers knowledge from a teacher network to a student by enforcing the student to mimic the outputs of the pretrained teacher on training data. However, data samples are not always accessible in many cases due to large data sizes, privacy, or confidentiality. Many efforts have been made on addressing this problem for convolutional neural networks (CNNs) whose inputs lie in a grid domain within a continuous space such as images and videos, but largely overlook graph neural networks (GNNs) that handle non-grid data with different topology structures within a discrete space. The inherent differences between their inputs make these CNN-based approaches not applicable to GNNs. In this paper, we propose to our best knowledge the first dedicated approach to distilling knowledge from a GNN without graph data. The proposed graph-free KD (GFKD) learns graph topology structures for knowledge transfer by modeling them with multivariate Bernoulli distribution. We then introduce a gradient estimator to optimize this framework. Essentially, the gradients w.r.t. graph structures are obtained by only using GNN forward-propagation without back-propagation, which means that GFKD is compatible with modern GNN libraries such as DGL and Geometric. Moreover, we provide the strategies for handling different types of prior knowledge in the graph data or the GNNs. Extensive experiments demonstrate that GFKD achieves the state-of-the-art performance for distilling knowledge from GNNs without training data.


title: Dynamic Pooling Improves Nanopore Base Calling Accuracy

abstract: In nanopore sequencing, electrical signal is measured as DNA molecules pass through the sequencing pores. Translating these signals into DNA bases (base calling) is a highly non-trivial task, and its quality has a large impact on the sequencing accuracy. The most successful nanopore base callers to date use convolutional neural networks (CNN) to accomplish the task. Convolutional layers in CNNs are typically composed of filters with constant window size, performing best in analysis of signals with uniform speed. However, the speed of nanopore sequencing varies greatly both within reads and between sequencing runs. Here, we present dynamic pooling, a novel neural network component, which addresses this problem by adaptively adjusting the pooling ratio. To demonstrate the usefulness of dynamic pooling, we developed two base callers: Heron and Osprey. Heron improves the accuracy beyond the experimental high-accuracy base caller Bonito developed by Oxford Nanopore. Osprey is a fast base caller that can compete in accuracy with Guppy high-accuracy mode, but does not require GPU acceleration and achieves a near real-time speed on common desktop CPUs. Availability: https://github.com/fmfi-compbio/osprey, https://github.com/fmfi-compbio/heron Keywords: nanopore sequencing, base calling, convolutional neural networks, pooling


title: Covariance Group for Null Geodesic Expansion Calculations, and its Application to the Apparent Horizon

abstract: We show that the recipe for computing the expansions $\theta_\ell$ and $\theta_n$ of outgoing and ingoing null geodesics normal to a surface admits a covariance group with nonconstant scalar $\kappa(x)$, corresponding to the mapping $\theta_\ell \to \kappa \theta_\ell$, $\theta_n \to \kappa^{-1} \theta_n$. Under this mapping, the product $\theta_\ell \theta_n$ is invariant, and thus the marginal surface computed from the vanishing of $\theta_\ell$, which is used to define the apparent horizon, is invariant. This covariance group naturally appears in comparing the expansions computed with different choices of coordinate system.


title: Sparse system identification by low-rank approximation

abstract: In this document, some general results in approximation theory and matrix analysis with applications to sparse identification of time series models and nonlinear discrete-time dynamical systems are presented. The aforementioned theoretical methods are translated into algorithms that can be used for sparse model identification of discrete-time dynamical systems, based on structured data measured from the systems. The approximation of the state-transition operators that are determined primarily by matrices of parameters to be identified based on data measured from a given system, is approached by identifying conditions for the existence of low-rank approximations of submatrices of the trajectory matrices corresponding to the measured data, that can be used to compute approximate sparse representations of the matrices of parameters. One of the main advantages of the low-rank approximation approach presented in this document, concerns the parameter estimation for linear and nonlinear models where numerical or measurement noise could affect the estimates significantly. Prototypical algorithms based on the aforementioned techniques together with some applications to approximate identification and predictive simulation of time series models with symmetries and nonlinear structured dynamical systems in theoretical physics, fluid dynamics and weather forecasting are presented.

categories: math.NA cs.NA cs.SY eess.SY math.OC nlin.AO nlin.PS


title: Analyzing the "Sleeping Giants" Activism Model in Brazil

abstract: In 2020, amidst the COVID pandemic and a polarized political climate, the Sleeping Giants online activist movement gained traction in Brazil. Its rationale was simple: to curb the spread of misinformation by harming the advertising revenue of sources that produce this type of content. Like its international counterparts, Sleeping Giants Brasil (SGB) campaigned against media outlets using Twitter to ask companies to remove ads from the targeted outlets. This work presents a thorough quantitative characterization of this activism model, analyzing the three campaigns carried out by SGB between May and September 2020. To do so, we use digital traces from both Twitter and Google Trends, toxicity and sentiment classifiers trained for the Portuguese language, and an annotated corpus of SGB's tweets. Our key findings were threefold. First, we found that SGB's requests to companies were largely successful (with 83.85\% of all 192 targeted companies responding positively) and that user pressure was correlated to the speed of companies' responses. Second, there were no significant changes in the online attention and the user engagement going towards the targeted media outlets in the six months that followed SGB's campaign (as measured by Google Trends and Twitter engagement). Third, we observed that user interactions with companies changed only transiently, even if the companies did not respond to SGB's request. Overall, our results paint a nuanced portrait of internet activism. On the one hand, they suggest that SGB was successful in getting companies to boycott specific media outlets, which may have harmed their advertisement revenue stream. On the other hand, they also suggest that the activist movement did not impact the online attention these media outlets received nor the online image of companies that did not respond positively to their requests.


title: Optimal Reinsurance and Investment under Common Shock Dependence Between Financial and Actuarial Markets

abstract: We study optimal proportional reinsurance and investment strategies for an insurance company which experiences both ordinary and catastrophic claims and wishes to maximize the expected exponential utility of its terminal wealth. We propose a model where the insurance framework is affected by environmental factors, and aggregate claims and stock prices are subject to common shocks, i.e. drastic events such as earthquakes, extreme weather conditions, or even pandemics, that have an immediate impact on the financial market and simultaneously induce insurance claims. Using the classical stochastic control approach based on the Hamilton-Jacobi-Bellman equation, we provide a verification result for the value function via classical solutions to two backward partial differential equations and characterize the optimal reinsurance and investment strategies. Finally, we make a comparison analysis to discuss the effect of common shock dependence.


title: Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus

abstract: In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals (PCR/$\mathbb{Q}$). We show that there is a set of polynomial constraints $Q_n$ over Boolean variables that has both SOS and PCR/$\mathbb{Q}$ refutations of degree 2 and thus with only polynomially many monomials, but for which any SOS or PCR/$\mathbb{Q}$ refutation must have exponential bit-complexity, when the rational coefficients are represented with their reduced fractions written in binary.


title: DRAS-CQSim: A Reinforcement Learning based Framework for HPC Cluster Scheduling

abstract: For decades, system administrators have been striving to design and tune cluster scheduling policies to improve the performance of high performance computing (HPC) systems. However, the increasingly complex HPC systems combined with highly diverse workloads make such manual process challenging, time-consuming, and error-prone. We present a reinforcement learning based HPC scheduling framework named DRAS-CQSim to automatically learn optimal scheduling policy. DRAS-CQSim encapsulates simulation environments, agents, hyperparameter tuning options, and different reinforcement learning algorithms, which allows the system administrators to quickly obtain customized scheduling policies.


title: Improving Vulnerability Prediction of JavaScript Functions Using Process Metrics

abstract: Due to the growing number of cyber attacks against computer systems, we need to pay special attention to the security of our software systems. In order to maximize the effectiveness, excluding the human component from this process would be a huge breakthrough. The first step towards this is to automatically recognize the vulnerable parts in our code. Researchers put a lot of effort into creating machine learning models that could determine if a given piece of code, or to be more precise, a selected function, contains any vulnerabilities or not. We aim at improving the existing models, building on previous results in predicting vulnerabilities at the level of functions in JavaScript code using the well-known static source code metrics. In this work, we propose to include several so-called process metrics (e.g., code churn, number of developers modifying a file, or the age of the changed source code) into the set of features, and examine how they affect the performance of the function-level JavaScript vulnerability prediction models. We can confirm that process metrics significantly improve the prediction power of such models. On average, we observed a 8.4% improvement in terms of F-measure (from 0.764 to 0.848), 3.5% improvement in terms of precision (from 0.953 to 0.988) and a 6.3% improvement in terms of recall (from 0.697 to 0.760).


title: Positive scalar curvature and strongly inessential manifolds

abstract: We prove that a closed $n$-manifold $M$ with positive scalar curvature and abelian fundamental group admits a finite covering $M'$ which is strongly inessential. The latter means that a classifying map $u:M'\to K(\pi_1(M'),1)$ can be deformed to the $(n-2)$-skeleton. This is proven for all $n$-manifolds with the exception of 4-manifolds with spin universal coverings.


title: Infinitely growing configurations in Emil Post's tag system problem

abstract: Emil Post's tag system problem is the question of whether or not a tag system $\{N=3, P(0)=00, P(1)=1101\}$ has a configuration, simulation of which will never halt or end up in a loop. For the past decades, there were several attempts to find an answer to this question, including a recent study by Wolfram (2021), during which the first $2^{84}$ initial configurations were checked. This paper presents a family of configurations of this type in a form of strings $a^{n} b c^{m}$, that evolve to $a^{n+1} b c^{m+1}$ after a finite amount of steps. The proof of this behavior for all non-negative $n$ and $m$ is described further in a paper as a finite verification procedure, which is computationally bounded by 20000 iterations of tag. All corresponding code can be found at https://github.com/nikitakurilenko/post-tag-infinitely-growing-configurations.


title: Advances in Multi-Variate Analysis Methods for New Physics Searches at the Large Hadron Collider

abstract: Between the years 2015 and 2019, members of the Horizon 2020-funded Innovative Training Network named "AMVA4NewPhysics" studied the customization and application of advanced multivariate analysis methods and statistical learning tools to high-energy physics problems, as well as developed entirely new ones. Many of those methods were successfully used to improve the sensitivity of data analyses performed by the ATLAS and CMS experiments at the CERN Large Hadron Collider; several others, still in the testing phase, promise to further improve the precision of measurements of fundamental physics parameters and the reach of searches for new phenomena. In this paper, the most relevant new tools, among those studied and developed, are presented along with the evaluation of their performances.


title: First-Order Reasoning and Efficient Semi-Algebraic Proofs

abstract: Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebraic proofs lead to conjecturally optimal polynomial-time approximation algorithms for important NP-hard optimization problems. Motivated by the need to allow a more streamlined and uniform framework for working with SoS proofs than the restrictive propositional level, we initiate a systematic first-order logical investigation into the kinds of reasoning possible in algebraic and semi-algebraic proof systems. Specifically, we develop first-order theories that capture in a precise manner constant degree algebraic and semi-algebraic proof systems: every statement of a certain form that is provable in our theories translates into a family of constant degree polynomial calculus or SoS refutations, respectively; and using a reflection principle, the converse also holds. This places algebraic and semi-algebraic proof systems in the established framework of bounded arithmetic, while providing theories corresponding to systems that vary quite substantially from the usual propositional-logic ones. We give examples of how our semi-algebraic theory proves statements such as the pigeonhole principle, we provide a separation between algebraic and semi-algebraic theories, and we describe initial attempts to go beyond these theories by introducing extensions that use the inequality symbol, identifying along the way which extensions lead outside the scope of constant degree SoS. Moreover, we prove new results for propositional proofs, and specifically extend Berkholz's dynamic-by-static simulation of polynomial calculus (PC) by SoS to PC with the radical rule.


title: Towards Synthetic Multivariate Time Series Generation for Flare Forecasting

abstract: One of the limiting factors in training data-driven, rare-event prediction algorithms is the scarcity of the events of interest resulting in an extreme imbalance in the data. There have been many methods introduced in the literature for overcoming this issue; simple data manipulation through undersampling and oversampling, utilizing cost-sensitive learning algorithms, or by generating synthetic data points following the distribution of the existing data. While synthetic data generation has recently received a great deal of attention, there are real challenges involved in doing so for high-dimensional data such as multivariate time series. In this study, we explore the usefulness of the conditional generative adversarial network (CGAN) as a means to perform data-informed oversampling in order to balance a large dataset of multivariate time series. We utilize a flare forecasting benchmark dataset, named SWAN-SF, and design two verification methods to both quantitatively and qualitatively evaluate the similarity between the generated minority and the ground-truth samples. We further assess the quality of the generated samples by training a classical, supervised machine learning algorithm on synthetic data, and testing the trained model on the unseen, real data. The results show that the classifier trained on the data augmented with the synthetic multivariate time series achieves a significant improvement compared with the case where no augmentation is used. The popular flare forecasting evaluation metrics, TSS and HSS, report 20-fold and 5-fold improvements, respectively, indicating the remarkable statistical similarities, and the usefulness of CGAN-based data generation for complicated tasks such as flare forecasting.