title: When Does Group Invariant Learning Survive Spurious Correlations?

abstract: By inferring latent groups in the training data, recent works introduce invariant learning to the case where environment annotations are unavailable. Typically, learning group invariance under a majority/minority split is empirically shown to be effective in improving out-of-distribution generalization on many datasets. However, theoretical guarantee for these methods on learning invariant mechanisms is lacking. In this paper, we reveal the insufficiency of existing group invariant learning methods in preventing classifiers from depending on spurious correlations in the training set. Specifically, we propose two criteria on judging such sufficiency. Theoretically and empirically, we show that existing methods can violate both criteria and thus fail in generalizing to spurious correlation shifts. Motivated by this, we design a new group invariant learning method, which constructs groups with statistical independence tests, and reweights samples by group label proportion to meet the criteria. Experiments on both synthetic and real data demonstrate that the new method significantly outperforms existing group invariant learning methods in generalizing to spurious correlation shifts.


title: Power-efficient Joint Link Selection and Multi-hop Routing for Throughput Maximization in UAV Assisted FANETs

abstract: This paper considers a multi-UAV network with a ground station (GS) that uses multi-hop relaying structure for data transmission in a power-efficient manner. The objective is to investigate the best possible multi-hop routing structure for data transmission to maximize the overall network throughput of a flying ad-hoc network (FANET) of UAVs. We formulate a problem to jointly optimize the multi-hop routing structure with the communication link selection for a given power budget so that the overall network throughput can be maximized. It appears that the formulated problem belongs to a class of nonconvex and integer optimization problems, thus making it NP-hard. To solve this problem efficiently, it is decoupled into two subproblems $\textbf{i)}$ power allocation with known Bellman Ford-based multi-hop routing structure and $\textbf{ii)}$ link selection problem. Further, these two subproblems are independently converted into convex problems by relaxation and solved in tandem for the best suboptimal solution to the main problem. Simulation results indicate that the proposed multi-hop routing schemes can achieve a significant improvement in network throughput compared to the other benchmark scheme.


title: An improved lower bound of $P(G, L)-P(G,k)$ for $k$-assignments $L$

abstract: Let $G=(V,E)$ be a simple graph with $n$ vertices and $m$ edges, $P(G,k)$ be the chromatic polynomial of $G$, and $P(G,L)$ be the number of $L$-colorings of $G$ for any $k$-assignment $L$. In this article, we show that when $k\ge m-1\ge 3$, $P(G,L)-P(G,k)$ is bounded below by $\left ( (k-m+1)k^{n-3}+\frac{(k-m+3)c}{3} k^{n-5}\right )\sum\limits_{uv\in E}|L(u)\setminus L(v)|$, where $c\ge \frac{(m-1)(m-3)}{8}$, and in particular, if $G$ is $K_3$-free, then $c\ge {m-2\choose 2}+2\sqrt m-3$. Consequently, $P(G,L)\ge P(G,k)$ whenever $k\ge m-1$.


title: Spectral clustering of Markov chain transition matrices with complex eigenvalues

abstract: The Robust Perron Cluster Analysis (PCCA+) has become a popular spectral clustering algorithm for coarse-graining transition matrices of nearly decomposable Markov chains with transition states. Originally developed for reversible Markov chains, the algorithm only worked for transition matrices with real eigenvalues. In this paper, we therefore extend the theoretical framework of PCCA+ to Markov chains with a complex eigen-decomposition. We show that by replacing a complex conjugate pair of eigenvectors by their real and imaginary components, a real representation of the same subspace is obtained, which is suitable for the cluster analysis. We show that our approach leads to the same results as the generalized PCCA+ (GenPCCA), which replaces the complex eigen-decomposition by a conceptually more difficult real Schur decomposition. We apply the method on non-reversible Markov chains, including circular chains,and demonstrate its efficiency compared to GenPCCA. The experiments are performed in the Matlab programming language and codes are provided.


title: vMFNet: Compositionality Meets Domain-generalised Segmentation

abstract: Training medical image segmentation models usually requires a large amount of labeled data. By contrast, humans can quickly learn to accurately recognise anatomy of interest from medical (e.g. MRI and CT) images with some limited guidance. Such recognition ability can easily generalise to new images from different clinical centres. This rapid and generalisable learning ability is mostly due to the compositional structure of image patterns in the human brain, which is less incorporated in medical image segmentation. In this paper, we model the compositional components (i.e. patterns) of human anatomy as learnable von-Mises-Fisher (vMF) kernels, which are robust to images collected from different domains (e.g. clinical centres). The image features can be decomposed to (or composed by) the components with the composing operations, i.e. the vMF likelihoods. The vMF likelihoods tell how likely each anatomical part is at each position of the image. Hence, the segmentation mask can be predicted based on the vMF likelihoods. Moreover, with a reconstruction module, unlabeled data can also be used to learn the vMF kernels and likelihoods by recombining them to reconstruct the input image. Extensive experiments show that the proposed vMFNet achieves improved generalisation performance on two benchmarks, especially when annotations are limited. Code is publicly available at: https://github.com/vios-s/vMFNet.


title: Current Challenges of Cyber Threat and Vulnerability Identification Using Public Enumerations

abstract: Identification of cyber threats is one of the essential tasks for security teams. Currently, cyber threats can be identified using knowledge organized into various formats, enumerations, and knowledge bases. This paper studies the current challenges of identifying vulnerabilities and threats in cyberspace using enumerations and data about assets. Although enumerations are used in practice, we point out several issues that still decrease the quality of vulnerability and threat identification. Since vulnerability identification methods are based on network monitoring and agents, the issues are related to the asset discovery, the precision of vulnerability discovery, and the amount of data. On the other hand, threat identification utilizes graph-based, nature-language, machine-learning, and ontological approaches. The current trend is to propose methods that utilize tactics, techniques, and procedures instead of low-level indicators of compromise to make cyber threat identification more mature. Cooperation between standards from threat, vulnerability, and asset management is also an unresolved issue confirmed by analyzing relationships between public enumerations and knowledge bases. Last, we studied the usability of techniques from the MITRE ATT&CK knowledge base for threat modeling using network monitoring to capture data. Although network traffic is not the most used data source, it allows the modeling of almost all tactics from the MITRE ATT&CK.


title: Hardy-Sobolev inequalities with distance to the boundary weight functions

abstract: This is the first part of our research on certain sharp Hardy-Sobolev inequalities and the related elliptic equations. In this part we shall establish some sharp weighted Hardy-Sobolev inequalities whose weights are distance functions to the boundary.


title: Why patient data cannot be easily forgotten?

abstract: Rights provisioned within data protection regulations, permit patients to request that knowledge about their information be eliminated by data holders. With the advent of AI learned on data, one can imagine that such rights can extent to requests for forgetting knowledge of patient's data within AI models. However, forgetting patients' imaging data from AI models, is still an under-explored problem. In this paper, we study the influence of patient data on model performance and formulate two hypotheses for a patient's data: either they are common and similar to other patients or form edge cases, i.e. unique and rare cases. We show that it is not possible to easily forget patient data. We propose a targeted forgetting approach to perform patient-wise forgetting. Extensive experiments on the benchmark Automated Cardiac Diagnosis Challenge dataset showcase the improved performance of the proposed targeted forgetting approach as opposed to a state-of-the-art method.


title: Comparative Study of Inference Methods for Interpolative Decomposition

abstract: In this paper, we propose a probabilistic model with automatic relevance determination (ARD) for learning interpolative decomposition (ID), which is commonly used for low-rank approximation, feature selection, and identifying hidden patterns in data, where the matrix factors are latent variables associated with each data dimension. Prior densities with support on the specified subspace are used to address the constraint for the magnitude of the factored component of the observed matrix. Bayesian inference procedure based on Gibbs sampling is employed. We evaluate the model on a variety of real-world datasets including CCLE $EC50$, CCLE $IC50$, Gene Body Methylation, and Promoter Methylation datasets with different sizes, and dimensions, and show that the proposed Bayesian ID algorithms with automatic relevance determination lead to smaller reconstructive errors even compared to vanilla Bayesian ID algorithms with fixed latent dimension set to matrix rank.


title: Novel phases in rotating Bose-condensed gas: vortices and quantum correlation

abstract: We present the exact diagonalization study of rotating Bose-condensed gas interacting via finite-range Gaussian potential confined in a quasi-2D harmonic trap. The system of many-body Hamiltonian matrix is diagonalized in given subspaces of quantized total angular momentum to obtain the lowest-energy eigenstate employing the beyond lowest-Landau-level approximation. In the co-rotating frame, the quantum mechanical stability of angular momentum states is discussed for the existence of phase transition between the stable states of interacting system. Thereby analyzing the von Neumann entanglement entropy and degree of condensation provide the information about quantum phase correlation in the many-body states. Calculating the conditional probability distribution, we further probe the internal structure of quantum mechanically stable and unstable states. Much emphasis is put on finding the spatial correlation of bosonic atoms in the rotating system for the formation and entry of singly quantized vortices, and then organizing into canonical polygons with and without a central vortex at the trap center. Results are summarized in the form of a movie depicting the vortex patterns having discrete p-fold rotational symmetry with $p = 2,3,4,5,6$.


title: A baseline correction algorithm for FAST

abstract: The Five-hundred-meter Aperture Spherical radio Telescope (FAST) is the most sensitive ground-based, single-dish radio telescope on Earth. However, the original HI spectra produced by FAST are affected by standing waves. To maximize the power of FAST for high-sensitivity observations, we proposed an algorithm that combines fast Fourier transforms and extreme envelope curves to automatically correct the baselines of FAST HI spectra and remove standing waves from the baselines. This algorithm can reduce the amplified noise level caused by standing waves to a near-ideal level without losing signals or introducing false signals. The root mean square of the average baseline reaches $\sim$ 8 mK, approaching the theoretical sensitivity of an HI spectrum produced by FAST for an integration time of 335 minutes, i.e., $\sim$ 6 mK.


title: The rotational kinetic Sunyaev-Zeldovich contribution to the temperature asymmetry toward the M31 halo

abstract: Temperature asymmetry in the cosmic microwave background (CMB) data by the Planck satellite has been discovered and analyzed toward several nearby edge-on spiral galaxies. It provides a way to probe galactic halo rotation, and to constrain the baryon fraction in the galactic halos. The frequency independence of the observed data provides a strong indication of the Doppler shift nature of the effect, due to the galactic halo rotation. It was proposed that this effect may arise from the emission of cold gas clouds populating the galactic halos. However, in order to confirm this view, other effects that might give rise to a temperature asymmetry in the CMB data, have to be considered and studied in detail. The main aim of the present paper is to estimate the contribution in the CMB temperature asymmetry data due to the free-free emission by hot gas (particularly electrons) through the rotational kinetic Sunyaev-Zeldovich (rkSZ) effect. We concentrate, in particular, on the M31 galactic halo and compare the estimated values of the rkSZ induced temperature asymmetry with those obtained by using the SMICA pipeline of the Planck data release, already employed to project out the SZ sources and for lensing studies. As an additional consistency check, we also verified that the hot gas diffuse emission in the X-ray band does not exceed that detected in the soft X-ray band by ROSAT observations. We note that our results clearly show that the rkSZ effect gives only a minor contribution to the observed M31 halo temperature asymmetry by Planck data.


title: Optimization of Sensor-Placement on Vehicles using Quantum-Classical Hybrid Methods

abstract: Placement of sensors on vehicles for safety and autonomous capability is a complex optimization problem when considered in the full-blown form, with different constraints. Considering that Quantum Computers are expected to be able to solve certain optimization problems more "easily" in the future, the problem was posted as part of the BMW Quantum Computing Challenge 2021. In this paper, we have presented two formulations for quantum-enhanced solutions in a systematic manner. In the process, necessary simplifications are invoked to accommodate the current capabilities of Quantum Simulators and Hardware. The presented results and observations from elaborate simulation studies demonstrate the correct functionality and usefulness of the proposals.


title: A Novel Attack to the Permuted Kernel Problem

abstract: The Permuted Kernel Problem (PKP) asks to find a permutation of a given vector belonging to the kernel of a given matrix. The PKP is at the basis of PKP-DSS, a post-quantum signature scheme deriving from the identification scheme proposed by Shamir in 1989. The most efficient solver for PKP is due to a recent paper by Koussa et al. In this paper we propose an improvement of such an algorithm, which we achieve by considering an additional collision search step applied on kernel equations involving a small number of coordinates. We study the conditions for such equations to exist from a coding theory perspective, and we describe how to efficiently find them with methods borrowed from coding theory, such as information set decoding. We assess the complexity of the resulting algorithm and show that it outperforms previous approaches in several cases. We also show that, taking the new solver into account, the security level of some instances of PKP-DSS turns out to be slightly overestimated.


title: Environmental-Social-Governance Preferences and Investments in Crypto-Assets

abstract: Individuals invest in Environmental-Social-Governance (ESG)-assets not only because of (higher) expected returns but also driven by ethical and social considerations. Less is known about ESG-conscious investor subjective beliefs about crypto-assets and how do these compare to traditional assets. Controversies surrounding the ESG footprint of certain crypto-asset classes - mainly on grounds of their energy-intensive crypto mining - offer a potentially informative object of inquiry. Leveraging a unique representative household finance survey for the Austrian population, we examine whether investors' ESG preferences can explain cross-sectional differences in individual portfolio exposure to crypto-assets. We find a strong association between investors' ESG preferences and the crypto-investment exposure. The ESG-conscious investor attention is higher for crypto-assets compared to traditional asset classes such as bonds and shares.


title: Algebraic Groups over Finite Fields: Connections Between Subgroups and Isogenies

abstract: Let G be a linear algebraic group defined over a finite field F_q. We present several connections between the isogenies of G and the finite groups of rational points G(F_q^n). We show that an isogeny from G' to G over F_q gives rise to a subgroup of fixed index in G(F_q^n) for infinitely many n. Conversely, we show that if G is reductive the existence of a subgroup of fixed index k for infinitely many n implies the existence of an isogeny of order k. In particular, we show that every infinite sequence of subgroups is controlled by a finite number of isogenies. This result applies to classical groups GLm, SLm, SOm, SUm, Sp2m and can be extended to non-reductive groups if k is prime to the characteristic. As a special case, we see that if G is simply connected the minimal indexes of proper subgroups of G(F_q^n) diverge to infinity. Similar results are investigated regarding the sequence G(F_p) by varying the characteristic p.


title: SALO: An Efficient Spatial Accelerator Enabling Hybrid Sparse Attention Mechanisms for Long Sequences

abstract: The attention mechanisms of transformers effectively extract pertinent information from the input sequence. However, the quadratic complexity of self-attention w.r.t the sequence length incurs heavy computational and memory burdens, especially for tasks with long sequences. Existing accelerators face performance degradation in these tasks. To this end, we propose SALO to enable hybrid sparse attention mechanisms for long sequences. SALO contains a data scheduler to map hybrid sparse attention patterns onto hardware and a spatial accelerator to perform the efficient attention computation. We show that SALO achieves 17.66x and 89.33x speedup on average compared to GPU and CPU implementations, respectively, on typical workloads, i.e., Longformer and ViL.


title: Notes on Pseudo Entropy Amplification

abstract: We study pseudo entropy for a particular linear combination of entangled states in qubit systems, two-dimensional free conformal field theories (CFT), and two-dimensional holographic CFT. We observe phenomena that the pseudo entropy can be parametrically large compared with the logarithm of the dimension of Hilbert space. We call these phenomena pseudo entropy amplification. The pseudo entropy amplification is analogous to the amplification of the weak value. In particular, our result suggests the holographic CFT does not lead the amplification as long as the non-perturbative effects are negligible. We also give a heuristic argument when such (non-)amplification can occur.


title: Translocation of a single Arg9 peptide across a DOPC/DOPG(4:1) model membrane using the weighted ensemble method

abstract: It is difficult to observe a spontaneous translocation of cell-penetrating peptides(CPPs) within a short time scale (e.g., a few hundred ns) in all-atom molecular dynamics(MD) simulations because the time required for the translocation of usual CPPs is on the order of minutes or so. In this work, we report a spontaneous translocation of a single Arg$_9$(R9) across a DOPC/DOPG(4:1) model membrane within an order of a few tens ns scale by using the weighted ensemble(WE) method. We identify how water molecules and the orientation of Arg$_9$ play a role in translocation. We also show how lipid molecules are transported along with Arg$_9$. In addition, we present free energy profiles of the translocation across the membrane using umbrella sampling and show that a single Arg$_9$ translocation is energetically unfavorable. We expect that the WE method can help study interactions of CPPs with various model membranes within MD simulation approaches.


title: ITLingo Research Initiative in 2022

abstract: Several surveys and studies have noticed that cost, and quality problems result from mistakes that occurred in the early phases of the projects, for instance: poor definition of the project vision and respective value for the organization; misalignment between IT and business resources; failures in project management practices; or poor and low-quality technical documentation. These facts have emphasized the need for improving socio-technical disciplines such as project management, enterprise architecture, requirements engineering, or system design. These studies also noted the need to reduce the efforts involved in traditional development processes, for example, by automating some human-intensive and error-prone tasks. This article presents the scientific project we have conducted in these last years named "ITLingo". ITLingo is a research initiative that has proposed new languages, tools, and techniques to support users to improve such practices, mainly related to those disciplines. ITLingo users are IT engineers and managers in multiple roles like project managers, enterprise architects, business analysts, system architects, requirements engineers, or even system developers. The article describes the innovative nature of the activities carried out under the ITLingo umbrella and identifies future and open challenges.


title: Uncertainty-aware Panoptic Segmentation

abstract: Reliable scene understanding is indispensable for modern autonomous systems. Current learning-based methods typically try to maximize their performance based on segmentation metrics that only consider the quality of the segmentation. However, for the safe operation of a system in the real world it is crucial to consider the uncertainty in the prediction as well. In this work, we introduce the novel task of uncertainty-aware panoptic segmentation, which aims to predict per-pixel semantic and instance segmentations, together with per-pixel uncertainty estimates. We define two novel metrics to facilitate its quantitative analysis, the uncertainty-aware Panoptic Quality (uPQ) and the panoptic Expected Calibration Error (pECE). We further propose the novel top-down Evidential Panoptic Segmentation Network (EvPSNet) to solve this task. Our architecture employs a simple yet effective panoptic fusion module that leverages the predicted uncertainties. Furthermore, we provide several strong baselines combining state-of-the-art panoptic segmentation networks with sampling-free uncertainty estimation techniques. Extensive evaluations show that our EvPSNet achieves the new state-of-the-art for the standard Panoptic Quality (PQ), as well as for our uncertainty-aware panoptic metrics. We make the code available at: \url{https://github.com/kshitij3112/EvPSNet}


title: Technical Report for CVPR 2022 LOVEU AQTC Challenge

abstract: This technical report presents the 2nd winning model for AQTC, a task newly introduced in CVPR 2022 LOng-form VidEo Understanding (LOVEU) challenges. This challenge faces difficulties with multi-step answers, multi-modal, and diverse and changing button representations in video. We address this problem by proposing a new context ground module attention mechanism for more effective feature mapping. In addition, we also perform the analysis over the number of buttons and ablation study of different step networks and video features. As a result, we achieved the overall 2nd place in LOVEU competition track 3, specifically the 1st place in two out of four evaluation metrics. Our code is available at https://github.com/jaykim9870/ CVPR-22_LOVEU_unipyler.


title: Linearizing Partial Search Orders

abstract: In recent years, questions about the construction of special orderings of a given graph search were studied by several authors. On the one hand, the so called end-vertex problem introduced by Corneil et al. in 2010 asks for search orderings ending in a special vertex. On the other hand, the problem of finding orderings that induce a given search tree was introduced already in the 1980s by Hagerup and received new attention most recently by Beisegel et al. Here, we introduce a generalization of some of these problems by studying the question whether there is a search ordering that is a linear extension of a given partial order on a graph's vertex set. We show that this problem can be solved in polynomial time on chordal bipartite graphs for LBFS, which also implies the first polynomial-time algorithms for the end-vertex problem and two search tree problems for this combination of graph class and search. Furthermore, we present polynomial-time algorithms for LBFS and MCS on split graphs which generalize known results for the end-vertex and search tree problems.


title: Hopf and pre-Lie algebras in regularity structures

abstract: These lecture notes aim to present the algebraic theory of regularity structures as developed in arXiv:1303.5113, arXiv:1610.08468, and arXiv:1711.10239. The main aim of this theory is to build a systematic approach to renormalisation of singular SPDEs; together with complementary analytic results, these works give a general solution theory for a wide class of semilinear parabolic singular SPDEs in the subcritical regime. We demonstrate how "positive" and "negative" renormalisation can be described using interacting Hopf algebras, and how the renormalised non-linearities in SPDEs can be computed. For the latter, of crucial importance is a pre-Lie structure on non-linearities on which the negative renormalisation group acts through pre-Lie morphisms. To show the main aspects of these results without introducing many notations and assumptions, we focus on a special case of the general theory in which there is only one equation and one noise. These lectures notes are an expansion of the material presented at a minicourse with the same title at the Master Class and Workshop "Higher Structures Emerging from Renormalisation" at the ESI, Vienna, in November 2021.


title: Optical conductivity of semi-Dirac and pseudospin-1 models: Zitterbewegung approach

abstract: We present a method to calculate the optical conductivity of semi-Dirac and pseudospin models based on the evaluation of quasiparticle velocity correlators which also describe the phenomenon of zitterbewegung. Applying this method to the semi-Dirac model with merging Dirac cones and gapped dice and Lieb lattice models we find exact analytical expressions for optical longitudinal and Hall conductivities. For the semi-Dirac model the obtained expressions allow us to analyze the role of spectrum anisotropy, van Hove singularities and Dirac cones in longitudinal conductivity. In addition, we predict signatures of topological phase transition with changing gap parameter in such a system that are manifested in dc transport at low temperatures. For the dice and Lieb lattices we emphasize the role of spectral gap, which defines frequency thresholds related to transitions to and from flat band.


title: Generalized Pitchfork Bifurcations in D-Concave Nonautonomous Scalar Ordinary Differential Equations

abstract: The global bifurcation diagrams for two different one-parametric perturbations ($+\lambda x$ and $+\lambda x^2$) of a dissipative scalar nonautonomous ordinary differential equation $x'=f(t,x)$ are described assuming that 0 is a constant solution, that $f$ is recurrent in $t$, and that its first derivative with respect to $x$ is a strictly concave function. The use of the skewproduct formalism allows us to identify bifurcations with changes in the number of minimal sets and in the shape of the global attractor. In the case of perturbation $+\lambda x$, a so-called global generalized pitchfork bifurcation may arise, with the particularity of lack of an analogue in autonomous dynamics. This new bifurcation pattern is extensively investigated in this work.


title: A note on a Code-Based Signature Scheme

abstract: In this work, we exploit a serious security flaw in a code-based signature scheme from a 2019 work by Liu, Yang, Han and Wang. They adapt the McEliece cryptosystem to obtain a new scheme and, on top of this, they design an efficient digital signature. We show that the new encryption scheme based on McEliece, even if it has longer public keys, is not more secure than the standard one. Moreover, the choice of parameters for the signature leads to a significant performance improvement, but it introduces a vulnerability in the protocol.


title: Disorder-induced topological phase transition in HgCdTe crystals

abstract: Using the self-consistent Born approximation, we study a topological phase transition appearing in bulk HgCdTe crystals induced \emph{uncorrelated} disorder due to both randomly distributed impurities and fluctuations in Cd composition. By following the density-of-states evolution, we clearly demonstrate the topological phase transition, which can be understood in terms of the disorder-renormalized mass of Kane fermions. We find that the presence of heavy-hole band in HgCdTe crystals leads to the topological phase transition at much lower disorder strength than it is expected for conventional 3D topological insulators. Our theoretical results can be also applied to other narrow-gap zinc-blende semiconductors such as InAs, InSb and their ternary alloys InAsSb.


title: Observer-Based Coordinated Tracking Control for Nonlinear Multi-Agent Systems with Intermittent Communication under Heterogeneous Coupling Framework

abstract: In this article, the observer-based coordinated tracking control problem for a class of nonlinear multi-agent systems(MASs) with intermittent communication and information constraints is studied under dynamic switching topology. First, a state observer is designed to estimate the unmeasurable actual state information in the system. Second, adjustable heterogeneous coupling weighting parameters are introduced in the dynamic switching topology, and the distributed coordinated tracking control protocol under heterogeneous coupling framework is proposed. Then, a new Lemma is constructed to realize the cooperative design of observer gain, state feedback gain and heterogeneous coupling gain matrices. Furthermore, the stability of the system is further proved, and the range of communication rate is obtained. On this basis, the intermittent communication mode is extended to three time interval cases, namely normal communication, leader-follower communication interruption and all agents communication interruption, and then the distributed coordinated tracking control method is improved to solve this problem. Finally, simulation experiments are conducted with nonlinear MASs to verify the correctness of methods.


title: Resonance excitations in $^7$Be(d,p)$^8$Be$^\ast$ to address the cosmological lithium problem

abstract: The anomaly in lithium abundance is a well-known unresolved problem in nuclear astrophysics. A recent revisit to the problem tried the avenue of resonance enhancement to account for the primordial $^7$Li abundance in standard big-bang nucleosynthesis (BBN). Prior measurements of the $^7$Be(d,p)$^8$Be* reaction could not account for the individual contributions of the different excited states involved, particularly at higher energies close to the Q-value of the reaction. We carried out an experiment at HIE-ISOLDE, CERN to study this reaction at E$_{cm}$ = 7.8 MeV, populating excitations up to 22 MeV in $^8$Be for the first time. The angular distributions of the several excited states have been measured and the contributions of the higher excited states in the total cross section at the relevant big-bang energies were obtained by extrapolation to the Gamow window using the TALYS code. The results show that by including the contribution of the 16.63 MeV state, the maximum value of the total S-factor inside the Gamow window comes out to be 167 MeV b as compared to earlier estimate of 100 MeV b. However, this still does not account for the lithium discrepancy.


title: Online coloring of disk graphs

abstract: In this paper, we give a family of online algorithms for the classical coloring problem of intersection graphs of discs with bounded diameter. Our algorithms make use of a geometric representation of such graphs and are inspired by an algorithm of Fiala et al., but have better competitive ratios. The improvement comes from using two techniques of partitioning the set of vertices before coloring them. One of whichis an application of a b-fold coloring of the plane. The method is more general and we show how it can be applied to coloring other shapes on the plane as well as adjust it for online L(2, 1)-labeling.


title: On the uniqueness and non-uniqueness of the steady planar Navier-Stokes equations in an exterior domain

abstract: In this paper we investigate the uniqueness of solutions of the steady planar Navier-Stokes equations with different boundary conditions in the exterior domain. For a class of incompressible flow with constant vorticity, we prove the uniqueness of the solution under the enhanced Navier boundary conditions. At the same time, some counterexamples are given to show that the uniqueness of the solution fails under the Navier boundary conditions. For the general incompressible flow with Dirichlet boundary condition, we prove various sufficient conditions for the uniqueness of the solution.


title: Using Interpretable Machine Learning to Massively Increase the Number of Antibody-Virus Interactions Across Studies

abstract: A central challenge in every field of biology is to use existing measurements to predict the outcomes of future experiments. In this work, we consider the wealth of antibody inhibition data against variants of the influenza virus. Due to this viru's genetic diversity and evolvability, the variants examined in one study will often have little-to-no overlap with other studies, making it difficult to discern common patterns or unify datasets for further analysis. To that end, we develop a computational framework that predicts how an antibody or serum would inhibit any variant from any other study. We use this framework to greatly expand seven influenza datasets utilizing hemagglutination inhibition, validating our method upon 200,000 existing measurements and predicting 2,000,000 new values along with their uncertainties. With these new values, we quantify the transferability between seven vaccination and infection studies in humans and ferrets, show that the serum potency is negatively correlated with breadth, and present a tool for pandemic preparedness. This data-driven approach does not require any information beyond each virus's name and measurements, and even datasets with as few as 5 viruses can be expanded, making this approach widely applicable. Future influenza studies using hemagglutination inhibition can directly utilize our curated datasets to predict newly measured antibody responses against ~80 H3N2 influenza viruses from 1968-2011, whereas immunological studies utilizing other viruses or a different assay only need a single partially-overlapping dataset to extend their work. In essence, this approach enables a shift in perspective when analyzing data from "what you see is what you get" into "what anyone sees is what everyone gets."


title: Contributions to Context-Aware Smart Healthcare: A Security and Privacy Perspective

abstract: The management of health data, from their gathering to their analysis, arises a number of challenging issues due to their highly confidential nature. In particular, this dissertation contributes to several security and privacy challenges within the smart health paradigm. More concretely, we firstly develop some contributions to context-aware environments enabling smart health scenarios. We present an extensive analysis on the security aspects of the underlying sensors and networks deployed in such environments, a novel user-centred privacy framework for analysing ubiquitous computing systems, and a complete analysis on the security and privacy challenges that need to be faced to implement cognitive cities properly. Second, we contribute to process mining, a popular analytical field that helps analyse business processes within organisations. Despite its popularity within the healthcare industry, we address two major issues: the high complexity of healthcare processes and the scarce research on privacy aspects. Regarding the first issue, we present a novel process discovery algorithm with a built-in heuristic that simplifies complex processes and, regarding the second, we propose two novel privacy-preserving process mining methods, which achieve a remarkable trade-off between accuracy and privacy. Last but not least, we present some smart health applications, namely a context-aware recommender system for routes, a platform supporting early mobilization programmes in hospital settings, and a health-oriented geographic information system. The results of this dissertation are intended to help the research community to enhance the security of the intelligent environments of the future as well as the privacy of the citizens regarding their personal and health data.


title: ADARP: A Multi Modal Dataset for Stress and Alcohol Relapse Quantification in Real Life Setting

abstract: Stress detection and classification from wearable sensor data is an emerging area of research with significant implications for individuals' physical and mental health. In this work, we introduce a new dataset, ADARP, which contains physiological data and self-report outcomes collected in real-world ambulatory settings involving individuals diagnosed with alcohol use disorders. We describe the user study, present details of the dataset, establish the significant correlation between physiological data and self-reported outcomes, demonstrate stress classification, and make our dataset public to facilitate research.


title: Scalable Composites Benefiting from Transition-Metal Oxides as Cathode Materials for Efficient Lithium-Sulfur Batteries

abstract: Composite materials achieved by including transition-metal oxides with different structures and morphologies in sulfur are suggested as scalable cathodes for high-energy lithium-sulfur (Li-S) batteries. The composites contain 80 wt.% sulfur and 20 wt.% of either MnO2 or TiO2, leading to a sulfur content in the electrode of 64 wt.% and revealing a reversible, fast, and lowly polarized conversion process in the cell with limited interphase resistance. The S-TiO2 composite exhibits an excellent rate capability between C/10 and 2C, and a cycle life extended over 400 cycles at 2C, owing to the effects of the nanometric TiO2 additive in boosting the reaction kinetics. Instead, the micrometric sized particles of MnO2 partially limit the electrochemical activity of S-MnO2 to the current rate of 1C. Nevertheless, both S-MnO2 and S-TiO2 withstand a sulfur loading up to values approaching 6 mgcm-2, and deliver an areal capacit ranging from about 4.5 to 5.5 mAhcm-2 at C/5. The excellent performances of the metal oxide-sulfur electrodes, even at high active material loading, and the possible scalability of the synthetic pathway adopted in the work suggest that the composites are viable cathodes for next-generation Li-S batteries with high energy density and efficient electrochemical process.


title: Bias and Excess Variance in Election Polling: A Not-So-Hidden Markov Model

abstract: With historic misses in the 2016 and 2020 US Presidential elections, interest in measuring polling errors has increased. The most common method for measuring directional errors and non-sampling excess variability during a postmortem for an election is by assessing the difference between the poll result and election result for polls conducted within a few days of the day of the election. Analyzing such polling error data is notoriously difficult with typical models being extremely sensitive to the time between the poll and the election. We leverage hidden Markov models traditionally used for election forecasting to flexibly capture time-varying preferences and treat the election result as a peak at the typically hidden Markovian process. Our results are much less sensitive to the choice of time window, avoid conflating shifting preferences with polling error, and are more interpretable despite a highly flexible model. We demonstrate these results with data on polls from the 2004 through 2020 US Presidential elections and 1992 through 2020 US Senate elections, concluding that previously reported estimates of bias in Presidential elections were too extreme by 10\%, estimated bias in Senatorial elections was too extreme by 25\%, and excess variability estimates were also too large.


title: Should Social Robots in Retail Manipulate Customers?

abstract: Against the backdrop of structural changes in the retail trade, social robots have found their way into retail stores and shopping malls in order to attract, welcome, and greet customers; to inform them, advise them, and persuade them to make a purchase. Salespeople often have a broad knowledge of their product and rely on offering competent and honest advice, whether it be on shoes, clothing, or kitchen appliances. However, some frequently use sales tricks to secure purchases. The question arises of how consulting and sales robots should "behave". Should they behave like human advisors and salespeople, i.e., occasionally manipulate customers? Or should they be more honest and reliable than us? This article tries to answer these questions. After explaining the basics, it evaluates a study in this context and gives recommendations for companies that want to use consulting and sales robots. Ultimately, fair, honest, and trustworthy robots in retail are a win-win situation for all concerned.


title: Proof of Weierstrass gap theorem

abstract: In this expository note we give proof of the Weierstrass gap theorem in Cohomology terminology. We analyze gap sequence for finding possible gaps and non-gaps on X.


title: Separating internal and externally-forced contributions to global temperature variability using a Bayesian stochastic energy balance framework

abstract: Earth's temperature variability can be partitioned into internal and externally-forced components. Yet, underlying mechanisms and their relative contributions remain insufficiently understood, especially on decadal to centennial timescales. Important reasons for this are difficulties in isolating internal and externally-forced variability. Here, we provide a physically-motivated emulation of global mean surface temperature (GMST) variability, which allows for the separation of internal and external variations. To this end, we introduce the ``ClimBayes'' software package, which infers climate parameters from a stochastic energy balance model (EBM) with a Bayesian approach. We apply our method to GMST data from temperature observations and 20 last millennium simulations from climate models of intermediate to high complexity. This yields the best estimates of the EBM's forced and forced + internal response, which we refer to as emulated variability. The timescale-dependent variance is obtained from spectral analysis. In particular, we contrast the emulated forced and forced + internal variance on interannual to centennial timescales with that of the GMST target. Our findings show that a stochastic EBM closely approximates the power spectrum and timescale-dependent variance of GMST as simulated by modern climate models. Small deviations at interannual timescales can be attributed to the simplified representation of internal variability and, in particular, the absence of (pseudo-)oscillatory modes in the stochastic EBM. Altogether, we demonstrate the potential of combining Bayesian inference with conceptual climate models to emulate statistics of climate variables across timescales.


title: Knowledge Graph Fusion for Language Model Fine-tuning

abstract: Language Models such as BERT have grown in popularity due to their ability to be pre-trained and perform robustly on a wide range of Natural Language Processing tasks. Often seen as an evolution over traditional word embedding techniques, they can produce semantic representations of text, useful for tasks such as semantic similarity. However, state-of-the-art models often have high computational requirements and lack global context or domain knowledge which is required for complete language understanding. To address these limitations, we investigate the benefits of knowledge incorporation into the fine-tuning stages of BERT. An existing K-BERT model, which enriches sentences with triplets from a Knowledge Graph, is adapted for the English language and extended to inject contextually relevant information into sentences. As a side-effect, changes made to K-BERT for accommodating the English language also extend to other word-based languages. Experiments conducted indicate that injected knowledge introduces noise. We see statistically significant improvements for knowledge-driven tasks when this noise is minimised. We show evidence that, given the appropriate task, modest injection with relevant, high-quality knowledge is most performant.


title: Why Robust Natural Language Understanding is a Challenge

abstract: With the proliferation of Deep Machine Learning into real-life applications, a particular property of this technology has been brought to attention: robustness Neural Networks notoriously present low robustness and can be highly sensitive to small input perturbations. Recently, many methods for verifying networks' general properties of robustness have been proposed, but they are mostly applied in Computer Vision. In this paper we propose a Verification specification for Natural Language Understanding classification based on larger regions of interest, and we discuss the challenges of such task. We observe that, although the data is almost linearly separable, the verifier struggles to output positive results and we explain the problems and implications.


title: Using cognitive psychology to understand GPT-3

abstract: We study GPT-3, a recent large language model, using tools from cognitive psychology. More specifically, we assess GPT-3's decision-making, information search, deliberation, and causal reasoning abilities on a battery of canonical experiments from the literature. We find that much of GPT-3's behavior is impressive: it solves vignette-based tasks similarly or better than human subjects, is able to make decent decisions from descriptions, outperforms humans in a multi-armed bandit task, and shows signatures of model-based reinforcement learning. Yet we also find that small perturbations to vignette-based tasks can lead GPT-3 vastly astray, that it shows no signatures of directed exploration, and that it fails miserably in a causal reasoning task. These results enrich our understanding of current large language models and pave the way for future investigations using tools from cognitive psychology to study increasingly capable and opaque artificial agents.


title: Eliminating solvents and polymers in high-performance Si anodes by gas-phase assembly of nanowire fabrics

abstract: Developing sustainable battery electrode manufacturing methods is particularly pressing for alloying-type active materials, such as silicon, which often require additional energy-intensive and solvent-based processing to reinforce them with a buffer matrix. This work introduces a new method to fabricate Si anodes as continuous, tough fabrics of arbitrary thickness, without processing solvents, polymeric binders, carbon additive, or any reinforcing matrix. The anodes consist of percolated networks of long Si nanowires directly assembled from suspension in the gas phase, where they are grown via floating catalyst chemical vapour deposition. A high Si content above 75 wt.% in a textile-like network structure leads to high-performance electrode properties. Their gravimetric capacity is 2330 mAh g-1 at C/20 for all thicknesses produced, reaching areal capacities above 9.3 mAh cm-2 at C/20 and 3.4 mAh cm-2 at 1C (with 3.4 mg cm-2). Analysis of rating data gives a high transport coefficient (6.6x10-12 m2 s-1) due to a high out-of-plane electrical conductivity (0.6 S m-1) and short solid-state diffusion length. Si remains a percolated network of elongated elements after extended cycling, preserving electrical conductivity and leading to a capacity retention of 80% after 100 cycles at C/5 and ~60% after 500 cycles at C/2. When integrated with NMC111 cathode, a full cell gravimetric energy density of 480 Wh kg-1 is demonstrated.


title: Evaluating Generative Patent Language Models

abstract: Generative language models are promising for assisting human writing in various domains. This manuscript aims to build generative language models in the patent domain and evaluate model performance from a human-centric perspective. The perspective is to measure the ratio of keystrokes that can be saved by autocompletion based on generative patent language models. A higher ratio means a more effective model which can save more keystrokes. This metric can be used to benchmark model performance. The metric is different from conventional machine-centric metrics that are token-based instead of keystroke-based. In terms of model size, the largest model built in this manuscript is 6B, which is state-of-the-art in the patent domain. Based on the metric, it is found that the largest model is not necessarily the best for the human-centric metric. The finding means that keeping increasing model sizes in the patent domain might be unnecessary if the purpose is to assist human writing with autocompletion. Several patent language models are pre-trained from scratch in this research. The pre-trained models are released for future researchers. Several visualization tools are also provided. The importance of building a generative language model in the patent domain is the potential to facilitate creativity and innovations in the future.


title: Competence-based Multimodal Curriculum Learning for Medical Report Generation

abstract: Medical report generation task, which targets to produce long and coherent descriptions of medical images, has attracted growing research interests recently. Different from the general image captioning tasks, medical report generation is more challenging for data-driven neural models. This is mainly due to 1) the serious data bias and 2) the limited medical data. To alleviate the data bias and make best use of available data, we propose a Competence-based Multimodal Curriculum Learning framework (CMCL). Specifically, CMCL simulates the learning process of radiologists and optimizes the model in a step by step manner. Firstly, CMCL estimates the difficulty of each training instance and evaluates the competence of current model; Secondly, CMCL selects the most suitable batch of training instances considering current model competence. By iterating above two steps, CMCL can gradually improve the model's performance. The experiments on the public IU-Xray and MIMIC-CXR datasets show that CMCL can be incorporated into existing models to improve their performance.


title: Language-specific Characteristic Assistance for Code-switching Speech Recognition

abstract: Dual-encoder structure successfully utilizes two language-specific encoders (LSEs) for code-switching speech recognition. Because LSEs are initialized by two pre-trained language-specific models (LSMs), the dual-encoder structure can exploit sufficient monolingual data and capture the individual language attributes. However, most existing methods have no language constraints on LSEs and underutilize language-specific knowledge of LSMs. In this paper, we propose a language-specific characteristic assistance (LSCA) method to mitigate the above problems. Specifically, during training, we introduce two language-specific losses as language constraints and generate corresponding language-specific targets for them. During decoding, we take the decoding abilities of LSMs into account by combining the output probabilities of two LSMs and the mixture model to obtain the final predictions. Experiments show that either the training or decoding method of LSCA can improve the model's performance. Furthermore, the best result can obtain up to 15.4% relative error reduction on the code-switching test set by combining the training and decoding methods of LSCA. Moreover, the system can process code-switching speech recognition tasks well without extra shared parameters or even retraining based on two pre-trained LSMs by using our method.


title: On-device Synaptic Memory Consolidation using Fowler-Nordheim Quantum-tunneling

abstract: Synaptic memory consolidation has been heralded as one of the key mechanisms for supporting continual learning in neuromorphic Artificial Intelligence (AI) systems. Here we report that a Fowler-Nordheim (FN) quantum-tunneling device can implement synaptic memory consolidation similar to what can be achieved by algorithmic consolidation models like the cascade and the elastic weight consolidation (EWC) models. The proposed FN-synapse not only stores the synaptic weight but also stores the synapse's historical usage statistic on the device itself. We also show that the operation of the FN-synapse is near-optimal in terms of the synaptic lifetime and we demonstrate that a network comprising FN-synapses outperforms a comparable EWC network for a small benchmark continual learning task. With an energy footprint of femtojoules per synaptic update, we believe that the proposed FN-synapse provides an ultra-energy-efficient approach for implementing both synaptic memory consolidation and persistent learning.


title: Complexity Analysis of Wind Energy, Wind Speed and Wind Direction in the light of nonlinear technique

abstract: Wind energy has an inherent intermittent character due to certain inevitable factors of nature, such as availability of wind at different weather conditions, wind direction etc. To study the intermittent character of wind energy, its daily data along with the two other important quantities, wind speed and wind direction measured in a "showcase" wind farm for a span of ten years are analyzed applying a nonlinear robust tool Multifractal Detrended Cross-correlation Analysis (MFDXA). MFDXA is a meticulous application for computation of cross-correlation between simultaneously measured nonstationary time series. Significant difference in degree of multifractality is observed for wind energy, wind speed and wind direction. Wind direction is found to possess the highest degree of multifractality implying that the degree of complexity of wind direction is higher than wind speed or energy. Further strong cross-correlation between wind energy and wind direction is an indication that the direction of wind is one of the crucial factors in generation of wind energy. Thus, the cross-correlation analysis between wind energy - wind speed, and between wind energy - wind direction gives significant information about the scaling behavior, which may have necessary inputs towards optimization of wind power generation.


title: How should we proxy for race/ethnicity? Comparing Bayesian improved surname geocoding to machine learning methods

abstract: Bayesian Improved Surname Geocoding (BISG) is the most popular method for proxying race/ethnicity in voter registration files that do not contain it. This paper benchmarks BISG against a range of previously untested machine learning alternatives, using voter files with self-reported race/ethnicity from California, Florida, North Carolina, and Georgia. This analysis yields three key findings. First, machine learning consistently outperforms BISG at individual classification of race/ethnicity. Second, BISG and machine learning methods exhibit divergent biases for estimating regional racial composition. Third, the performance of all methods varies substantially across states. These results suggest that pre-trained machine learning models are preferable to BISG for individual classification. Furthermore, mixed results across states underscore the need for researchers to empirically validate their chosen race/ethnicity proxy in their populations of interest.


title: Calculating spin correlations with a quantum computer

abstract: We calculate spin correlation functions using IBM quantum processors, accessed online. We demonstrate the rotational invariance of the singlet state, interesting properties of the triplet states, and surprising features of a state of three entangled qubits. This exercise is ideal for remote learning and generates data with real quantum mechanical systems that are impractical to investigate in the local laboratory. Students learn a wide variety of skills, including calculation of multipartite spin correlation functions, design and analysis of quantum circuits, and remote measurement with real quantum processors.


title: Ultra-High Carrier Mobilities in Ferroelectric Domain Wall Corbino Cones at Room Temperature

abstract: Recently, electrically conducting heterointerfaces between dissimilar band-insulators (such as lanthanum aluminate and strontium titanate) have attracted considerable research interest. Charge transport has been thoroughly explored and fundamental aspects of conduction firmly established. Perhaps surprisingly, similar insights into conceptually much simpler conducting homointerfaces, such as the domain walls that separate regions of different orientations of electrical polarisation within the same ferroelectric band-insulator, are not nearly so well-developed. Addressing this disparity, we herein report magnetoresistance in approximately conical 180o charged domain walls, which occur in partially switched ferroelectric thin film single crystal lithium niobate. This system is ideal for such measurements: firstly, the conductivity difference between domains and domain walls is extremely and unusually large (a factor of at least 1013) and hence currents driven through the thin film, between planar top and bottom electrodes, are overwhelmingly channelled along the walls; secondly, when electrical contact is made to the top and bottom of the domain walls and a magnetic field is applied along their cone axes (perpendicular to the thin film surface), then the test geometry mirrors that of a Corbino disc, which is a textbook arrangement for geometric magnetoresistance measurement. Our data imply carriers at the domain walls with extremely high room temperature Hall mobilities of up to ~ 3,700cm2V-1s-1. This is an unparalleled value for oxide interfaces (and for bulk oxides too) and is most comparable to mobilities in other systems typically seen at cryogenic, rather than at room, temperature.


title: Hilbert transform on the Dunkl-Hardy Spaces

abstract: For $p>p_0=\frac{2\lambda}{2\lambda+1}$ with $\lambda>0$, the Hardy space $H_{\lambda}^p(\mathbb{R}_+^2)$ associated with the Dunkl transform $\mathcal{F}_\lambda$ and the Dunkl operator $D$ on the real line $\mathbb{R}$, where $D_xf(x)=f'(x)+\frac{\lambda}{x}[f(x)-f(-x)]$, is the set of functions $F=u+iv$ on the upper half plane $\mathbb{R}^2_+=\left\{(x, y): x\in\mathbb{R}, y>0\right\}$, satisfying $\lambda$-Cauchy-Riemann equations: $ D_xu-\partial_y v=0$, $\partial_y u +D_xv=0$, and $\sup\limits_{y>0}\int_{\mathbb{R}}|F(x+iy)|^p|x|^{2\lambda}dx<\infty$ in [7]. Then it is proved in [11] that the real Dunkl-Hardy Spaces $H_{\lambda}^p(\mathbb{R})$ for $\frac{1}{1+\gamma_\lambda}<p\leq1$ are Homogeneous Hardy Spaces. In this paper, we will continue to investigate $\lambda$-Hilbert transform on the real Dunkl-Hardy Spaces $H_{\lambda}^p(\mathbb{R})$ for $\frac{1}{1+\gamma_\lambda}<p\leq1$ with $\gamma_\lambda=1/(4\lambda+2)$ and extend the results of $\lambda$-Hilbert transform in [7].


title: Tailoring the switching efficiency of magnetic tunnel junctions by the fieldlike spin-orbit torque

abstract: Current-induced spin-orbit torques provide a versatile tool for switching magnetic devices. In perpendicular magnets, the dampinglike component of the torque is the main driver of magnetization reversal. The degree to which the fieldlike torque assists the switching is a matter of debate. Here we study the switching of magnetic tunnel junctions with a CoFeB free layer and either W or Ta underlayers, which have a ratio of fieldlike to dampinglike torque of 0.3 and 1, respectively. We show that the fieldlike torque can either assist or hinder the switching of CoFeB when the static in-plane magnetic field required to define the polarity of spin-orbit torque switching has a component transverse to the current. In particular, the non-collinear alignment of the field and current can be exploited to increase the switching efficiency and reliability compared to the standard collinear alignment. By probing individual switching events in real-time, we also show that the combination of transverse magnetic field and fieldlike torque can accelerate or decelerate the reversal onset. We validate our observations using micromagnetic simulations and extrapolate the results to materials with different torque ratios. Finally, we propose device geometries that leverage the fieldlike torque for density increase in memory applications and synaptic weight generation.


title: Mechanical Bistability in Kerr-modified Cavity Magnomechanics

abstract: Bistable mechanical vibration is observed in a cavity magnomechanical system, which consists of a microwave cavity mode, a magnon mode, and a mechanical vibration mode of a ferrimagnetic yttrium-iron-garnet (YIG) sphere. The bistability manifests itself in both the mechanical frequency and linewidth under a strong microwave drive field, which simultaneously activates three different kinds of nonlinearities, namely, magnetostriction, magnon self-Kerr, and magnon-phonon cross-Kerr nonlinearities. The magnon-phonon cross-Kerr nonlinearity is first predicted and measured in magnomechanics. The system enters a regime where Kerr-type nonlinearities strongly modify the conventional cavity magnomechanics that possesses only a radiation-pressure-like magnomechanical coupling. Three different kinds of nonlinearities are identified and distinguished in the experiment. Our work demonstrates a new mechanism for achieving mechanical bistability by combining magnetostriction and Kerr-type nonlinearities, and indicates that such Kerr-modified cavity magnomechanics provides a unique platform for studying many distinct nonlinearities in a single experiment.


title: Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models

abstract: In Spoken Language Understanding (SLU) the task is to extract important information from audio commands, like the intent of what a user wants the system to do and special entities like locations or numbers. This paper presents a simple method for embedding intents and entities into Finite State Transducers, and, in combination with a pretrained general-purpose Speech-to-Text model, allows building SLU-models without any additional training. Building those models is very fast and only takes a few seconds. It is also completely language independent. With a comparison on different benchmarks it is shown that this method can outperform multiple other, more resource demanding SLU approaches.


title: Monitoring Timed Properties (Revisited)

abstract: In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed B\"uchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.


title: Treatment Effect Estimation with Observational Network Data using Machine Learning

abstract: Causal inference methods for treatment effect estimation usually assume independent units. However, this assumption is often questionable because units may interact, resulting in spillover effects between units. We develop augmented inverse probability weighting (AIPW) for estimation and inference of the direct effect of the treatment with observational data from a single (social) network with spillover effects. We use plugin machine learning and sample splitting to obtain a semiparametric treatment effect estimator that converges at the parametric rate and asymptotically follows a Gaussian distribution. We apply our AIPW method to the Swiss StudentLife Study data to investigate the effect of hours spent studying on exam performance accounting for the students' social network.


title: Generalizing Monin-Obukhov similarity theory (1954) for complex atmospheric turbulence

abstract: Monin-Obukhov similarity theory (MOST) stands at the center of understanding of atmospheric surface-layer turbulence. Based on the hypothesis that a single length scale determined by surface fluxes governs the turbulent exchange of momentum, mass, and energy between the Earth's surface and the atmosphere, MOST has been widely used in parametrizations of turbulent processes in virtually all numerical models of atmospheric flows. However, its inherent limitations to flat and horizontally homogeneous terrain, the non-scaling of horizontal velocity variances, and stable turbulence have plagued the theory since its inception. Thus, the limitations of MOST, and its use beyond its intended range of validity contribute to large uncertainty in weather, climate, and air-pollution models, particularly in polar regions and over complex terrain. Here we present a first generalized extension of MOST encompassing a wide range of realistic surface and flow conditions. The novel theory incorporates information on the directionality of turbulence exchange (anisotropy of the Reynolds stress tensor) as a key missing variable. The constants in the standard empirical MOST relations are shown to be functions of anisotropy, thus allowing a seamless transition between traditional MOST and its novel generalization. The new scaling relations, based on measurements from 13 well-known datasets ranging from flat to highly complex mountainous terrain, show substantial improvements to scaling under all stratifications. The results also highlight the role of anisotropy in explaining general characteristics of complex terrain and stable turbulence, adding to the mounting evidence that anisotropy fully encodes the information on the complexity of the boundary conditions.


title: Investigating charge trapping in ferroelectric thin films through transient measurements

abstract: A measurement technique is presented to quantify the polarization loss in ferroelectric thin films as a function of delay time during the first 100s after switching. This technique can be used to investigate charge trapping in ferroelectric thin films by analyzing the magnitude and rate of polarization loss. Exemplary measurements have been performed on Hf0.5Zr0.5O2 (HZO) and HZO/Al2O3 films, as a function of pulse width and temperature. It is found that the competing effects of the depolarization field, internal bias field and charge trapping lead to a characteristic Gaussian dependence of the rate of polarization loss on the delay time. From this, a charge trapping and screening model could be identified which describes the dynamics of polarization loss on short timescales.


title: Ion Current Rectification and Long-Range Interference in Conical Silicon Micropores

abstract: Fluidic devices exhibiting ion current rectification (ICR), or ionic diodes, are of broad interest for applications including desalination, energy harvesting, and sensing, amongst others. For such applications a large conductance is desirable which can be achieved by simultaneously using thin membranes and wide pores. In this paper we demonstrate ICR in micron sized conical channels in a thin silicon membrane with pore diameters comparable to the membrane thickness but both much larger than the electrolyte screening length. We show that for these pores the entrance resistance is not only key to Ohmic conductance around 0 V, but also for understanding ICR, both of which we measure experimentally and capture within a single analytic theoretical framework. The only fit parameter in this theory is the membrane surface potential, for which we find that it is voltage dependent and its value is excessively large compared to literature. From this we infer that surface charge outside the pore strongly contributes to the observed Ohmic conductance and rectification by a different extent. We experimentally verify this hypothesis in a small array of pores and find that ICR vanishes due to pore-pore interactions mediated through the membrane surface, while Ohmic conductance around 0 V remains unaffected. We find that the pore-pore interaction for ICR is set by a long-ranged decay of the concentration which explains the surprising finding that the ICR vanishes for even a sparsely populated array with a pore-pore spacing as large as 7 $\mu$m.


title: Sessile drop evaporation in a gap -- crossover between diffusion-limited and phase transition-limited regime

abstract: We consider the time evolution of a sessile drop of volatile partially wetting liquid on a rigid solid substrate. Thereby, the drop evaporates under strong confinement, namely, it sits on one of the two parallel plates that form a narrow gap. First, we develop an efficient mesoscopic thin-film description in gradient dynamics form. It couples the diffusive dynamics of the vertically averaged vapour density in the narrow gap to an evolution equation for the profile of the volatile drop. The underlying free energy functional incorporates wetting, interface and bulk energies of the liquid and gas entropy. The model allows us to investigate the transition between diffusion-limited and phase transition-limited evaporation for shallow droplets. Its gradient dynamics character also allows for a full-curvature formulation. Second, we compare results obtained with the mesoscopic model to corresponding direct numerical simulations solving the Stokes equation for the drop coupled to the diffusion equation for the vapour as well as to selected experiments. In passing, we discuss the influence of contact line pinning.


title: Workload Equity in Multi-Period Vehicle Routing Problems

abstract: An equitable distribution of workload is essential when deploying vehicle routing solutions in practice. For this reason, previous studies have formulated vehicle routing problems with workload-balance objectives or constraints, leading to trade-off solutions between routing costs and workload equity. These methods consider a single planning period; however, equity is often sought over several days in practice. In this work, we show that workload equity over multiple periods can be achieved without impact on transportation costs when the planning horizon is sufficiently large. To achieve this, we design a two-phase method to solve multi-period vehicle routing problems with workload balance. Firstly, our approach produces solutions with minimal distance for each period. Next, the resulting routes are allocated to drivers to obtain equitable workloads over the planning horizon. We conduct extensive numerical experiments to measure the performance of the proposed approach and the level of workload equity achieved for different planning-horizon lengths. For horizons of five days or more, we observe that near-optimal workload equity and optimal routing costs are jointly achievable.


title: Generative Anomaly Detection for Time Series Datasets

abstract: Traffic congestion anomaly detection is of paramount importance in intelligent traffic systems. The goals of transportation agencies are two-fold: to monitor the general traffic conditions in the area of interest and to locate road segments under abnormal congestion states. Modeling congestion patterns can achieve these goals for citywide roadways, which amounts to learning the distribution of multivariate time series (MTS). However, existing works are either not scalable or unable to capture the spatial-temporal information in MTS simultaneously. To this end, we propose a principled and comprehensive framework consisting of a data-driven generative approach that can perform tractable density estimation for detecting traffic anomalies. Our approach first clusters segments in the feature space and then uses conditional normalizing flow to identify anomalous temporal snapshots at the cluster level in an unsupervised setting. Then, we identify anomalies at the segment level by using a kernel density estimator on the anomalous cluster. Extensive experiments on synthetic datasets show that our approach significantly outperforms several state-of-the-art congestion anomaly detection and diagnosis methods in terms of Recall and F1-Score. We also use the generative model to sample labeled data, which can train classifiers in a supervised setting, alleviating the lack of labeled data for anomaly detection in sparse settings.


title: Analytical expressions for pulse profile of neutron stars in plasma environments

abstract: We present an analytical study of light curves of slowly rotating radio pulsars with emphasis on the chromatic effects derived from the presence of a plasma environment; analyzing the effects of the compactness, the metric model, and the electronic plasma density profile. After doing a numerical integration of the trajectories and luminosity curves of pulsars for different spherically symmetric metrics representing the exterior region of the pulsar, we generalize the approximate Beloborodov formula in order to include plasma corrections, obtaining simple analytical expressions for the trajectories and the observed flux and significantly simplifying the calculation of the pulse profiles by a drastic reduction of their computational cost. We study the errors committed by our approximation, comparing the numerical and analytical procedures. We also show how to use the new formalism to model the flux coming from different emission caps, not necessarily circular or antipodal and including the case of ring-shaped hot spots. Finally, we extend the classification introduced by Beloborodov to the case of two distinguishable, non-antipodal, finite size emission caps, showing the respective classification maps and some of the characteristic pulse profiles.


title: Information geometry of excess and housekeeping entropy production

abstract: A nonequilibrium system is characterized by a set of thermodynamic forces and fluxes which give rise to entropy production (EP). We show that these forces and fluxes have an information-geometric structure, which allows us to decompose EP into contributions from different types of forces in general (linear and nonlinear) discrete systems. We focus on the excess and housekeeping decomposition, which separates contributions from conservative and nonconservative forces. Unlike the Hatano-Sasa decomposition, our housekeeping/excess terms are always well-defined, including in systems with odd variables and nonlinear systems without steady states. Our decomposition leads to far-from-equilibrium thermodynamic uncertainty relations and speed limits. As an illustration, we derive a thermodynamic bound on the time necessary for one cycle in a chemical oscillator.


title: Pair correlations of logarithms of complex lattice points

abstract: We study the correlations of pairs of complex logarithms of $\mathbb Z$-lattice points in the complex line at various scalings, proving the existence of pair correlation functions. We prove that at the linear scaling, the pair correlations exhibit level repulsion, as it sometimes occurs in statistical physics. We prove total loss of mass phenomena at superlinear scalings, and Poissonian behaviour at sublinear scalings. The case of Euler weights has applications to the pair correlation of the lengths of common perpendicular geodesic arcs from the maximal Margulis cusp neighborhood to itself in the Bianchi orbifold $\mathrm{PSL}_2(\mathbb Z[i]) \backslash\mathbb H^3_{\mathbb R}$.


title: A variational principle, wave-particle duality, and the Schr\"{o}dinger equation

abstract: A principle is proposed according to which the dynamics of a quantum particle in a one-dimensional configuration space (OCS) is determined by a variational problem for two functionals: one is based on the mean value of the Hamilton operator, while the second one is based on the mean value of the total energy of the particle, which is determined through the phase of the wave function with help of the generalized Planck-Einstein relation. The first functional contains information about the corpuscular properties of a quantum particle, and the second one comprises its wave properties. The true dynamics is described by a wave function for which the variations of these two functionals are equal. This variational principle, which can also be viewed as a mathematical formulation of wave-particle duality, leads to the Schr\"{o}dinger equation.


title: Coo: Consistency Check for Transactional Databases

abstract: In modern databases, transaction processing technology provides ACID (Atomicity, Consistency, Isolation, Durability) features. Consistency refers to the correctness of databases and is a crucial property for many applications, such as financial and banking services. However, there exist typical challenges for consistency. Theoretically, the current two definitions of consistency express quite different meanings, which are causal and sometimes controversial. Practically, it is notorious to check the consistency of databases, especially in terms of the verification cost. This paper proposes Coo, a framework to check the consistency of databases. Specifically, Coo has the following advancements. First, Coo proposes partial order pair (POP) graph, which has a better expressiveness on transaction conflicts in a schedule by considering stateful information like Commit and Abort. By POP graph with no cycle, Coo defines consistency completely. Secondly, Coo can construct inconsistent test cases based on POP cycles. These test cases can be used to check the consistency of databases in accurate (all types of anomalies), user-friendly (SQL-based test), and cost-effective (one-time checking in a few minutes) ways. We evaluate Coo with eleven databases, both centralized and distributed, under all supported isolation levels. The evaluation shows that databases did not completely follow the ANSI SQL standard (e.g., Oracle claimed to be serializable but appeared in some inconsistent cases), and have different implementation methods and behaviors for concurrent controls (e.g., PostgreSQL, MySQL, and SQL Server performed quite differently at Repeatable Read level). Coo aids to comprehend the gap between coarse levels, finding more detailed and complete inconsistent behaviors.


title: Species of spaces

abstract: Classical limits of quantum systems are shown to lead to different conceptions of spaces different from the classical one underlying the process of quantization of such systems. The accent is put in situations where traces of noncommutativity, witness of an emblematic feature of quantum mechanise remains when the Planck constant vanishes, in the framework of noncommutative geometry. Complex canonical transformations, spin-statistics, topological quantum fields theory, long time semiclassical approximation and underlying chaotic dynamics are considered, together with a comparison/fusion of classical unpredictability with quantum indeterminism.


title: Mining Seasonal Temporal Patterns in Time Series

abstract: Very large time series are increasingly available from an ever wider range of IoT-enabled sensors, from which significant insights can be obtained through mining temporal patterns from them. A useful type of patterns found in many real-world applications exhibits periodic occurrences, and is thus called seasonal temporal pattern (STP). Compared to regular patterns, mining seasonal temporal patterns is more challenging since traditional measures such as support and confidence do not capture the seasonality characteristics. Further, the anti-monotonicity property does not hold for STPs, and thus, resulting in an exponential search space. This paper presents our Frequent Seasonal Temporal Pattern Mining from Time Series (FreqSTPfTS) solution providing: (1) The first solution for seasonal temporal pattern mining (STPM) from time series that can mine STP at different data granularities. (2) The STPM algorithm that uses efficient data structures and two pruning techniques to reduce the search space and speed up the mining process. (3) An approximate version of STPM that uses mutual information, a measure of data correlation, to prune unpromising time series from the search space. (4) An extensive experimental evaluation showing that STPM outperforms the baseline in runtime and memory consumption, and can scale to big datasets. The approximate STPM is up to an order of magnitude faster and less memory consuming than the baseline, while maintaining high accuracy.


title: Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps

abstract: Ranked voting systems, such as instant-runoff voting (IRV) and single transferable vote (STV), are used in many places around the world. They are more complex than plurality and scoring rules, presenting a challenge for auditing their outcomes: there is no known risk-limiting audit (RLA) method for STV other than a full hand count. We present a new approach to auditing ranked systems that uses a statistical model, a Dirichlet-tree, that can cope with high-dimensional parameters in a computationally efficient manner. We demonstrate this approach with a ballot-polling Bayesian audit for IRV elections. Although the technique is not known to be risk-limiting, we suggest some strategies that might allow it to be calibrated to limit risk.


title: Building a Secure Software Supply Chain with GNU Guix

abstract: The software supply chain is becoming a widespread analogy to designate the series of steps taken to go from source code published by developers to executables running on the users? computers. A security vulnerability in any of these steps puts users at risk, and evidence shows that attacks on the supply chain are becoming more common. The consequences of an attack on the software supply chain can be tragic in a society that relies on many interconnected software systems, and this has led research interest as well as governmental incentives for supply chain security to rise. GNU Guix is a software deployment tool and software distribution that supports provenance tracking, reproducible builds, and reproducible software environments. Unlike many software distributions, it consists exclusively of source code: it provides a set of package definitions that describe how to build code from source. Together, these properties set it apart from many deployment tools that center on the distribution of binaries. This paper focuses on one research question: how can Guix and similar systems allow users to securely update their software? Guix source code is distributed using the Git version control system; updating Guix-installed software packages means, first, updating the local copy of the Guix source code. Prior work on secure software updates focuses on systems very different from Guix -- systems such as Debian, Fedora, or PyPI where updating consists in fetching metadata about the latest binary artifacts available -- and is largely inapplicable in the context of Guix. By contrast, the main threats for Guix are attacks on its source code repository, which could lead users to run inauthentic code or to downgrade their system. Deployment tools that more closely resemble Guix, from Nix to Portage, either lack secure update mechanisms or suffer from shortcomings. Our main contribution is a model and tool to authenticate new Git revisions. We further show how, building on Git semantics, we build protections against downgrade attacks and related threats. We explain implementation choices. This work has been deployed in production two years ago, giving us insight on its actual use at scale every day. The Git checkout authentication at its core is applicable beyond the specific use case of Guix, and we think it could benefit to developer teams that use Git. As attacks on the software supply chain appear, security research is now looking at every link of the supply chain. Secure updates are one important aspect of the supply chain, but this paper also looks at the broader context: how Guix models and implements the supply chain, from upstream source code to binaries running on computers. While much recent work focuses on attestation -- certifying each link of the supply chain -- Guix takes a more radical approach: enabling independent verification of each step, building on reproducible builds, "bootstrappable" builds, and provenance tracking. The big picture shows how Guix can be used as the foundation of secure software supply chains.


title: NERDA-Con: Extending NER models for Continual Learning -- Integrating Distinct Tasks and Updating Distribution Shifts

abstract: With increasing applications in areas such as biomedical information extraction pipelines and social media analytics, Named Entity Recognition (NER) has become an indispensable tool for knowledge extraction. However, with the gradual shift in language structure and vocabulary, NERs are plagued with distribution shifts, making them redundant or not as profitable without re-training. Re-training NERs based on Large Language Models (LLMs) from scratch over newly acquired data poses economic disadvantages. In contrast, re-training only with newly acquired data will result in Catastrophic Forgetting of previously acquired knowledge. Therefore, we propose NERDA-Con, a pipeline for training NERs with LLM bases by incorporating the concept of Elastic Weight Consolidation (EWC) into the NER fine-tuning NERDA pipeline. As we believe our work has implications to be utilized in the pipeline of continual learning and NER, we open-source our code as well as provide the fine-tuning library of the same name NERDA-Con at https://github.com/SupritiVijay/NERDA-Con and https://pypi.org/project/NERDA-Con/.


title: Traffic Management of Autonomous Vehicles using Policy Based Deep Reinforcement Learning and Intelligent Routing

abstract: Deep Reinforcement Learning (DRL) uses diverse, unstructured data and makes RL capable of learning complex policies in high dimensional environments. Intelligent Transportation System (ITS) based on Autonomous Vehicles (AVs) offers an excellent playground for policy-based DRL. Deep learning architectures solve computational challenges of traditional algorithms while helping in real-world adoption and deployment of AVs. One of the main challenges in AVs implementation is that it can worsen traffic congestion on roads if not reliably and efficiently managed. Considering each vehicle's holistic effect and using efficient and reliable techniques could genuinely help optimise traffic flow management and congestion reduction. For this purpose, we proposed a intelligent traffic control system that deals with complex traffic congestion scenarios at intersections and behind the intersections. We proposed a DRL-based signal control system that dynamically adjusts traffic signals according to the current congestion situation on intersections. To deal with the congestion on roads behind the intersection, we used re-routing technique to load balance the vehicles on road networks. To achieve the actual benefits of the proposed approach, we break down the data silos and use all the data coming from sensors, detectors, vehicles and roads in combination to achieve sustainable results. We used SUMO micro-simulator for our simulations. The significance of our proposed approach is manifested from the results.


title: ABC for model selection and parameter estimation of drill-string bit-rock interaction models and stochastic stability

abstract: The bit-rock interaction considerably affects the dynamics of a drill string. One critical condition is the stick-slip oscillations, where torsional vibrations are high; the bit angular speed varies from zero to about two times (or more) the top drive nominal angular speed. In addition, uncertainties should be taken into account when calibrating (identifying) the bit-rock interaction parameters. This paper proposes a procedure to estimate the parameters of four bit-rock interaction models, one of which is new, and at the same time select the most suitable model, given the available field data. The approximate Bayesian computation (ABC) is used for this purpose. An approximate posterior probability density function is obtained for the parameters of each model, which allows uncertainty to be analyzed. Furthermore, the impact of the uncertainties of the selected models on the torsional stability map (varying the nominal top drive angular speed and the weight on bit) of the system is evaluated.


title: Analysis of Weakly Symmetric Mixed Finite Elements for Elasticity

abstract: We consider mixed finite element methods for linear elasticity where the symmetry of the stress tensor is weakly enforced. Both an a priori and a posteriori error analysis are given for several known families of methods that are uniformly valid in the incompressible limit. A posteriori estimates are derived for both the compressible and incompressible cases. The results are verified by numerical examples.


title: Tidal excitation of autoresonant oscillations in stars with close-by planets

abstract: Close-by planets may excite various kinds of oscillations in their host stars through their time-varying tidal potential. Magnetostrophic oscillations with a frequency much smaller than the stellar rotation frequency have recently been proposed to account for the spin-orbit commensurability observed in several planet-hosting stars. In principle, they can be resonantly excited in an isolated slender magnetic flux tube by a Fourier component of the time-varying tidal potential with a very low frequency in the reference frame rotating with the host. However, due to the weakness of such high-order tidal components, a mechanism is required to lock the oscillations in phase with the forcing for long time intervals ($10^{3}-10^{7}$ years) in order to allow the oscillation amplitude to grow. We propose that the locking mechanism is an autoresonance produced by the non-linear dependence of the oscillation frequency on its amplitude. We suggest that the angular momentum loss rate is remarkably reduced in hosts entering autoresonance that contributes to maintain those systems in that regime for a long time. We apply our model to a sample of ten systems showing spin-orbit commensurability and estimate the maximum drifts of the relevant tidal potential frequencies that allow them to enter the autoresonant regime. Such drifts are compared with the expected drifts owing to the tidal evolution of the planetary orbits and the stellar angular momentum loss in the magnetized winds finding that autoresonance is a viable mechanism in eight systems, at least in our idealized model. The duration of the autoresonant regime and the associated spin-orbit commensurability may be comparable with the main-sequence lifetimes of the host stars, indicating that gyrochronology may not be applicable to those hosts.


title: Schools as a Safety-net: The Impact of School Closures and Reopenings on Rates of Reporting of Violence Against Children

abstract: Ongoing school closures and gradual reopenings have been occurring since the beginning of the COVID-19 pandemic. One substantial cost of school closure is breakdown in channels of reporting of violence against children, in which schools play a considerable role. There is, however, little evidence documenting how widespread such a breakdown in reporting of violence against children has been, and scant evidence exists about potential recovery in reporting as schools re-open. We study all formal criminal reports of violence against children occurring in Chile up to December 2021, covering physical, psychological, and sexual violence. This is combined with administrative records of school re-opening, attendance, and epidemiological and public health measures. We observe sharp declines in violence reporting at the moment of school closure across all classes of violence studied. Estimated reporting declines range from -17% (rape), to -43% (sexual abuse). While reports rise with school re-opening, recovery of reporting rates is slow. Conservative projections suggest that reporting gaps remained into the final quarter of 2021, nearly two years after initial school closures. Our estimates suggest that school closure and incomplete re-opening resulted in around 2,800 `missing' reports of intra-family violence, 2,000 missing reports of sexual assault, and 230 missing reports of rape against children, equivalent to between 10-25 weeks of reporting in baseline periods. The immediate and longer term impacts of school closures account for between 40-70% of `missing' reports in the post-COVID period.


title: The differential spectrum and boomerang spectrum of a class of locally-APN functions

abstract: In this paper, we study the boomerang spectrum of the power mapping $F(x)=x^{k(q-1)}$ over ${\mathbb F}_{q^2}$, where $q=p^m$, $p$ is a prime, $m$ is a positive integer and $\gcd(k,q+1)=1$. We first determine the differential spectrum of $F(x)$ and show that $F(x)$ is locally-APN. This extends a result of [IEEE Trans. Inf. Theory 57(12):8127-8137, 2011] from $(p,k)=(2,1)$ to general $(p,k)$. We then determine the boomerang spectrum of $F(x)$ by making use of its differential spectrum, which shows that the boomerang uniformity of $F(x)$ is 4 if $p=2$ and $m$ is odd and otherwise it is 2. Our results not only generalize the results in [Des. Codes Cryptogr. 89:2627-2636, 2021] and [arXiv:2203.00485, 2022] but also extend the example $x^{45}$ over ${\mathbb F}_{2^8}$ in [Des. Codes Cryptogr. 89:2627-2636, 2021] into an infinite class of power mappings with boomerang uniformity 2.


title: AGENT: An Adaptive Grouping Entrapping Method of Flocking Systems

abstract: This study proposes a distributed algorithm that makes agents' adaptive grouping entrap multiple targets via automatic decision making, smooth flocking, and well-distributed entrapping. Agents make their own decisions about which targets to surround based on environmental information. An improved artificial potential field method is proposed to enable agents to smoothly and naturally change the formation to adapt to the environment. The proposed strategies guarantee that the coordination of swarm agents develops the phenomenon of multiple targets entrapping at the swarm level. We validate the performance of the proposed method using simulation experiments and design indicators for the analysis of these simulation and physical experiments.


title: Quantification of Deep Neural Network Prediction Uncertainties for VVUQ of Machine Learning Models

abstract: Recent performance breakthroughs in Artificial intelligence (AI) and Machine learning (ML), especially advances in Deep learning (DL), the availability of powerful, easy-to-use ML libraries (e.g., scikit-learn, TensorFlow, PyTorch.), and increasing computational power have led to unprecedented interest in AI/ML among nuclear engineers. For physics-based computational models, Verification, Validation and Uncertainty Quantification (VVUQ) have been very widely investigated and a lot of methodologies have been developed. However, VVUQ of ML models has been relatively less studied, especially in nuclear engineering. In this work, we focus on UQ of ML models as a preliminary step of ML VVUQ, more specifically, Deep Neural Networks (DNNs) because they are the most widely used supervised ML algorithm for both regression and classification tasks. This work aims at quantifying the prediction, or approximation uncertainties of DNNs when they are used as surrogate models for expensive physical models. Three techniques for UQ of DNNs are compared, namely Monte Carlo Dropout (MCD), Deep Ensembles (DE) and Bayesian Neural Networks (BNNs). Two nuclear engineering examples are used to benchmark these methods, (1) time-dependent fission gas release data using the Bison code, and (2) void fraction simulation based on the BFBT benchmark using the TRACE code. It was found that the three methods typically require different DNN architectures and hyperparameters to optimize their performance. The UQ results also depend on the amount of training data available and the nature of the data. Overall, all these three methods can provide reasonable estimations of the approximation uncertainties. The uncertainties are generally smaller when the mean predictions are close to the test data, while the BNN methods usually produce larger uncertainties than MCD and DE.


title: Random groups do not have Property (T) at densities below 1/4

abstract: We prove that random groups in the Gromov density model at density d <1/4 do not have Property (T), answering a conjecture of Przytycki. We also prove similar results in the k-angular model of random groups.


title: Perspective (In)consistency of Paint by Text

abstract: Type "a sea otter with a pearl earring by Johannes Vermeer" or "a photo of a teddy bear on a skateboard in Times Square" into OpenAI's DALL-E-2 paint-by-text synthesis engine and you will not be disappointed by the delightful and eerily pertinent results. The ability to synthesize highly realistic images -- with seemingly no limitation other than our imagination -- is sure to yield many exciting and creative applications. These images are also likely to pose new challenges to the photo-forensic community. Motivated by the fact that paint by text is not based on explicit geometric modeling, and the human visual system's often obliviousness to even glaring geometric inconsistencies, we provide an initial exploration of the perspective consistency of DALL-E-2 synthesized images to determine if geometric-based forensic analyses will prove fruitful in detecting this new breed of synthetic media.