title: Cluster-based Mention Typing for Named Entity Disambiguation

abstract: An entity mention in text such as "Washington" may correspond to many different named entities such as the city "Washington D.C." or the newspaper "Washington Post." The goal of named entity disambiguation is to identify the mentioned named entity correctly among all possible candidates. If the type (e.g. location or person) of a mentioned entity can be correctly predicted from the context, it may increase the chance of selecting the right candidate by assigning low probability to the unlikely ones. This paper proposes cluster-based mention typing for named entity disambiguation. The aim of mention typing is to predict the type of a given mention based on its context. Generally, manually curated type taxonomies such as Wikipedia categories are used. We introduce cluster-based mention typing, where named entities are clustered based on their contextual similarities and the cluster ids are assigned as types. The hyperlinked mentions and their context in Wikipedia are used in order to obtain these cluster-based types. Then, mention typing models are trained on these mentions, which have been labeled with their cluster-based types through distant supervision. At the named entity disambiguation phase, first the cluster-based types of a given mention are predicted and then, these types are used as features in a ranking model to select the best entity among the candidates. We represent entities at multiple contextual levels and obtain different clusterings (and thus typing models) based on each level. As each clustering breaks the entity space differently, mention typing based on each clustering discriminates the mention differently. When predictions from all typing models are used together, our system achieves better or comparable results based on randomization tests with respect to the state-of-the-art levels on four defacto test sets.


title: Fault Localization in Cloud using Centrality Measures

abstract: Fault localization is an imperative method in fault tolerance in a distributed environment that designs a blueprint for continuing the ongoing process even when one or many modules are non-functional. Visualizing a distributed environment as a graph, whose nodes represent faults (fault graph), allows us to introduce probabilistic weights to both edges and nodes that cause the faults. With multiple modules like databases, run-time cloud, etc. making up a distributed environment and extensively, a cloud environment, we aim to address the problem of optimally and accurately performing fault localization in a distributed environment by modifying the Graph optimization approach to localization and centrality, specific to fault graphs.


title: Unified FSM treatment of CP physics extended to hidden sector giving (i) $\delta_{CP}$ for leptons as prediction, (ii) new hints on the material content of the universe

abstract: A unified treatment of CP physics for quarks and leptons in the framed standard model (FSM) is extended to include the predicted hidden sector giving as consequences: (i) that an earlier part-estimate of the Jarlskog invariant $J'$ for leptons is turned into a prediction for its actual value, i.e., $J' \sim -0.012$ ($\delta'_{CP} \sim 1.11 \pi$), which is of the right order of magnitude, of the right sign, and in the range of values favoured by present experiment, (ii) some novel twists to the effects of CP-violation on the material content of the universe.


title: An Efficient Simulation-Based Travel Demand Calibration Algorithm for Large-Scale Metropolitan Traffic Models

abstract: Metropolitan scale vehicular traffic modeling is used by a variety of private and public sector urban mobility stakeholders to inform the design and operations of road networks. High-resolution stochastic traffic simulators are increasingly used to describe detailed demand-supply interactions. The design of efficient calibration techniques remains a major challenge. This paper considers a class of high-dimensional calibration problems known as origin-destination (OD) calibration. We formulate the problem as a continuous simulation-based optimization problem. Our proposed algorithm builds upon recent metamodel methods that tackle the simulation-based problem by solving a sequence of approximate analytical optimization problems, which rely on the use of analytical network models. In this paper, we formulate a network model defined as a system of linear equations, the dimension of which scales linearly with the number of roads with field data and independently of the dimension of the route choice set. This makes the approach suitable for large-scale metropolitan networks. The approach has enhanced efficiency compared with past metamodel formulations that are based on systems of nonlinear, rather than linear, equations. It also has enhanced efficiency compared to traditional calibration methods that resort to simulation-based estimates of traffic assignment matrices, while the proposed approach uses analytical approximations of these matrices. We benchmark the approach considering a peak period Salt Lake City case study and calibrate based on field vehicular count data. The new formulation yields solutions with good performance and is suitable for large-scale road networks.


title: Cross Attention-guided Dense Network for Images Fusion

abstract: In recent years, various applications in computer vision have achieved substantial progress based on deep learning, which has been widely used for image fusion and shown to achieve adequate performance. However, suffering from limited ability in modeling the spatial correspondence of different source images, it still remains a great challenge for existing unsupervised image fusion models to extract appropriate feature and achieves adaptive and balanced fusion. In this paper, we propose a novel cross-attention-guided image fusion network, which is a unified and unsupervised framework for multi-modal image fusion, multi-exposure image fusion, and multi-focus image fusion. Different from the existing self-attention module, our cross-attention module focus on modeling the cross-correlation between different source images. Using the proposed cross attention module as a core block, a densely connected cross attention-guided network is built to dynamically learn the spatial correspondence to derive better alignment of important details from different input images. Meanwhile, an auxiliary branch is also designed to model the long-range information, and a merging network is attached to finally reconstruct the fusion image. Extensive experiments have been carried out on publicly available datasets, and the results demonstrate that the proposed model outperforms the state-of-the-art quantitatively and qualitatively.


title: Unitary description of the black hole by prime numbers

abstract: In this paper, we study the thermofield double states of doubly-holographic gravity in two copies of the horizons. We show that the asymptotically AdS spacetimes describe an entangled states of a pair of CFTs based on the Farey sequence. We propose a new technique to geometrize the black hole horizon. Our protocol is based on the so-called Farey diagram. We construct states and entropies to describe the unit cells on the horizon. As a result, we have proved that the quantum states on the horizon are encoded by prime numbers. Therefore, we found that the entropy of the code space and area law are writtens in logarithmic form of the prime numbers. We show that the number of connected components of the Farey sequence can build the Fermi--Dirac distribution. To solve the information paradox problem, we find that the Hawking radiation follows geodesic of the Farey diagram, then he turns around and falls on the horizon. Our aim is to show that there is appearance of several Page times, because of discontinuous emission of these radiations. Finally, we mention the possibility to describe the quantum Hall effect by using the Farey diagram. In this paper, we find a link between quantum information and the theory of numbers passing through geometry.


title: Generalisations and improvements of New Q-Newton's method Backtracking

abstract: In this paper, we propose a general framework for the algorithm New Q-Newton's method Backtracking, developed in the author's previous work. For a symmetric, square real matrix $A$, we define $minsp(A):=\min _{||e||=1} ||Ae||$. Given a $C^2$ cost function $f:\mathbb{R}^m\rightarrow \mathbb{R}$ and a real number $0<\tau $, as well as $m+1$ fixed real numbers $\delta _0,\ldots ,\delta _m$, we define for each $x\in \mathbb{R}^m$ with $\nabla f(x)\not= 0$ the following quantities: $\kappa :=\min _{i\not= j}|\delta _i-\delta _j|$; $A(x):=\nabla ^2f(x)+\delta ||\nabla f(x)||^{\tau}Id$, where $\delta$ is the first element in the sequence $\{\delta _0,\ldots ,\delta _m\}$ for which $minsp(A(x))\geq \kappa ||\nabla f(x)||^{\tau}$; $e_1(x),\ldots ,e_m(x)$ are an orthonormal basis of $\mathbb{R}^m$, chosen appropriately; $w(x)=$ the step direction, given by the formula: $$w(x)=\sum _{i=1}^m\frac{<\nabla f(x),e_i(x)>}{||A(x)e_i(x)||}e_i(x);$$ (we can also normalise by $w(x)/\max \{1,||w(x)||\}$ when needed) $\gamma (x)>0$ learning rate chosen by Backtracking line search so that Armijo's condition is satisfied: $$f(x-\gamma (x)w(x))-f(x)\leq -\frac{1}{3}\gamma (x)<\nabla f(x),w(x)>.$$ The update rule for our algorithm is $x\mapsto H(x)=x-\gamma (x)w(x)$. In New Q-Newton's method Backtracking, the choices are $\tau =1+\alpha >1$ and $e_1(x),\ldots ,e_m(x)$'s are eigenvectors of $\nabla ^2f(x)$. In this paper, we allow more flexibility and generality, for example $\tau$ can be chosen to be $<1$ or $e_1(x),\ldots ,e_m(x)$'s are not necessarily eigenvectors of $\nabla ^2f(x)$. New Q-Newton's method Backtracking (as well as Backtracking gradient descent) is a special case, and some versions have flavours of quasi-Newton's methods. Several versions allow good theoretical guarantees. An application to solving systems of polynomial equations is given.


title: On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$

abstract: The weighted binomial sum $f_m(r)=2^{-r}\sum_{i=0}^r\binom{m}{i}$ arises in coding theory and information theory. We prove that,for $m\not \in\{0,3,6,9,12\}$, the maximum value of $f_m(r)$ with $0\leqslant r\leqslant m$ occurs when $r=\lfloor m/3\rfloor+1$. We also show this maximum value is asymptotic to $\frac{3}{\sqrt{{\pi}m}}\left(\frac{3}{2}\right)^m$ as $m\to\infty$.


title: Position Paper: Goals of the Luau Type System

abstract: Luau is the scripting language that powers user-generated experiences on the Roblox platform. It is a statically-typed language, based on the dynamically-typed Lua language, with type inference. These types are used for providing editor assistance in Roblox Studio, the IDE for authoring Roblox experiences. Due to Roblox's uniquely heterogeneous developer community, Luau must operate in a somewhat different fashion than a traditional statically-typed language. In this paper, we describe some of the goals of the Luau type system, focusing on where the goals differ from those of other type systems.


title: Scene Graph Generation for Better Image Captioning?

abstract: We investigate the incorporation of visual relationships into the task of supervised image caption generation by proposing a model that leverages detected objects and auto-generated visual relationships to describe images in natural language. To do so, we first generate a scene graph from raw image pixels by identifying individual objects and visual relationships between them. This scene graph then serves as input to our graph-to-text model, which generates the final caption. In contrast to previous approaches, our model thus explicitly models the detection of objects and visual relationships in the image. For our experiments we construct a new dataset from the intersection of Visual Genome and MS COCO, consisting of images with both a corresponding gold scene graph and human-authored caption. Our results show that our methods outperform existing state-of-the-art end-to-end models that generate image descriptions directly from raw input pixels when compared in terms of the BLEU and METEOR evaluation metrics.


title: A Skeleton-Driven Neural Occupancy Representation for Articulated Hands

abstract: We present Hand ArticuLated Occupancy (HALO), a novel representation of articulated hands that bridges the advantages of 3D keypoints and neural implicit surfaces and can be used in end-to-end trainable architectures. Unlike existing statistical parametric hand models (e.g.~MANO), HALO directly leverages 3D joint skeleton as input and produces a neural occupancy volume representing the posed hand surface. The key benefits of HALO are (1) it is driven by 3D key points, which have benefits in terms of accuracy and are easier to learn for neural networks than the latent hand-model parameters; (2) it provides a differentiable volumetric occupancy representation of the posed hand; (3) it can be trained end-to-end, allowing the formulation of losses on the hand surface that benefit the learning of 3D keypoints. We demonstrate the applicability of HALO to the task of conditional generation of hands that grasp 3D objects. The differentiable nature of HALO is shown to improve the quality of the synthesized hands both in terms of physical plausibility and user preference.


title: Detection of energy levels of a spin system on a quantum computer by probe spin evolution

abstract: We propose a method for detection of energy levels of arbitrary spin system on a quantum computer based on studies of evolution of only one probe spin. On the basis of the proposed method energy levels of spin systems are found on IBM's quantum computer ibmq-bogota, among them are spin chain in magnetic field, triangle spin cluster, Ising model on squared lattice in magnetic field. The results of quantum calculations are in agreement with the theoretical ones. The method is efficient for estimation of the energy levels of many-spin systems and opens a possibility to achieve quantum supremacy in solving eigenvalue problem with development of multi-qubit quantum computers.


title: Gamma-Ray Flash in the Interaction of a Tightly Focused Single-Cycle Ultraintense Laser Pulse with a Solid Target

abstract: We employ the $\lambda^3$ regime where a near-single-cycle laser pulse is tightly focused, thus providing the highest possible intensity for the minimal energy at a certain laser power. The quantum electrodynamics processes in the course of the interaction of the ultraintense laser with a solid target are studied via three-dimensional particle-in-cell simulations, revealing the generation of copious $\gamma$-photons and electron-positron pairs. The parametric study on the laser polarisation, target thickness and electron number density shows that the radially polarised laser provides the optimal regime for $\gamma$-photon generation. By varying the laser power in the range of 1 to 300 petawatt we find the scaling of the laser to $\gamma$-photon energy conversion efficiency. The laser-generated $\gamma$-photon interaction with a high-Z target is further studied by using Monte Carlo simulations revealing further electron-positron pair generation and radioactive nuclides creation.


title: Amplitude death in coupled replicator map lattice: averting migration dilemma

abstract: Populations composed of a collection of subpopulations (demes) with random migration between them are quite common occurrences. The emergence and sustenance of cooperation in such a population is a highly researched topic in the evolutionary game theory. If the individuals in every deme are considered to be either cooperators or defectors, the migration dilemma can be envisaged: The cooperators would not want to migrate to a defector-rich deme as they fear of facing exploitation; but without migration, cooperation can not be established throughout the network of demes. With a view to studying the aforementioned scenario, in this paper, we set up a theoretical model consisting of a coupled map lattice of replicator maps based on two-player--two-strategy games. The replicator map considered is capable of showing a variety of evolutionary outcomes, like convergent (fixed point) outcomes and nonconvergent (periodic and chaotic) outcomes. Furthermore, this coupled network of the replicator maps undergoes the phenomenon of amplitude death leading to non-oscillatory stable synchronized states. We specifically explore the effect of (i) the nature of coupling that models migration between the maps, (ii) the heterogenous demes (in the sense that not all the demes have same game being played by the individuals), (iii) the degree of the network, and (iv) the cost associated with the migration. In the course of investigation, we are intrigued by the effectiveness of the random migration in sustaining a uniform cooperator fraction across a population irrespective of the details of the replicator dynamics and the interaction among the demes.


title: Deep Neural Network Algorithms for Parabolic PIDEs and Applications in Insurance Mathematics

abstract: In recent years a large literature on deep learning based methods for the numerical solution partial differential equations has emerged; results for integro-differential equations on the other hand are scarce. In this paper we study deep neural network algorithms for solving linear and semilinear parabolic partial integro-differential equations with boundary conditions in high dimension. To show the viability of our approach we discuss several case studies from insurance and finance.


title: Hierarchical Memory Matching Network for Video Object Segmentation

abstract: We present Hierarchical Memory Matching Network (HMMN) for semi-supervised video object segmentation. Based on a recent memory-based method [33], we propose two advanced memory read modules that enable us to perform memory reading in multiple scales while exploiting temporal smoothness. We first propose a kernel guided memory matching module that replaces the non-local dense memory read, commonly adopted in previous memory-based methods. The module imposes the temporal smoothness constraint in the memory read, leading to accurate memory retrieval. More importantly, we introduce a hierarchical memory matching scheme and propose a top-k guided memory matching module in which memory read on a fine-scale is guided by that on a coarse-scale. With the module, we perform memory read in multiple scales efficiently and leverage both high-level semantic and low-level fine-grained memory features to predict detailed object masks. Our network achieves state-of-the-art performance on the validation sets of DAVIS 2016/2017 (90.8% and 84.7%) and YouTube-VOS 2018/2019 (82.6% and 82.5%), and test-dev set of DAVIS 2017 (78.6%). The source code and model are available online: https://github.com/Hongje/HMMN.


title: Learning the noise fingerprint of quantum devices

abstract: Noise sources unavoidably affect any quantum technological device. Noise's main features are expected to strictly depend on the physical platform on which the quantum device is realized, in the form of a distinguishable fingerprint. Noise sources are also expected to evolve and change over time. Here, we first identify and then characterize experimentally the noise fingerprint of IBM cloud-available quantum computers, by resorting to machine learning techniques designed to classify noise distributions using time-ordered sequences of measured outcome probabilities.


title: Named Entity Recognition and Classification on Historical Documents: A Survey

abstract: After decades of massive digitisation, an unprecedented amount of historical documents is available in digital format, along with their machine-readable texts. While this represents a major step forward with respect to preservation and accessibility, it also opens up new opportunities in terms of content mining and the next fundamental challenge is to develop appropriate technologies to efficiently search, retrieve and explore information from this 'big data of the past'. Among semantic indexing opportunities, the recognition and classification of named entities are in great demand among humanities scholars. Yet, named entity recognition (NER) systems are heavily challenged with diverse, historical and noisy inputs. In this survey, we present the array of challenges posed by historical documents to NER, inventory existing resources, describe the main approaches deployed so far, and identify key priorities for future developments.


title: Photonic Crystal Terahertz Leaky-Wave Antenna

abstract: Current wireless systems are experiencing unprecedented pressure that could be relieved by shifting carrier frequencies towards the terahertz spectrum. Yet, components are required to enable spectrally efficient communications at such high frequencies. Recently, the photonic crystal platform has been shown to enable signal processing at the chip-scale. Similarly, leaky-wave antennas were used to generate highly directional THz beams. Here, we combine photonic crystals with leaky-wave antennas. Practically, we propose to use an array of cylinders sandwiched between two plates, and we demonstrate a bandgap in the 250-350 GHz range by judicious geometric design. We introduce a linear defect in the crystal by removing a row of cylinders, allowing to guide the THz beam. Then, a careful study of the relation dispersion of the guided mode shows that its propagation constant is larger to that of free space. This allows the mode to efficiently outcouple when a thin aperture slot is introduced above the defect. We numerically demonstrate that the far-field diffracted beam can cover a wide angular range from 30 to 90 degrees. Finally, we show how the photonic crystals can be further engineered to enable coverage in two opposite angular directions.


title: Reinforced Natural Language Interfaces via Entropy Decomposition

abstract: In this paper, we study the technical problem of developing conversational agents that can quickly adapt to unseen tasks, learn task-specific communication tactics, and help listeners finish complex, temporally extended tasks. We find that the uncertainty of language learning can be decomposed to an entropy term and a mutual information term, corresponding to the structural and functional aspect of language, respectively. Combined with reinforcement learning, our method automatically requests human samples for training when adapting to new tasks and learns communication protocols that are succinct and helpful for task completion. Human and simulation test results on a referential game and a 3D navigation game prove the effectiveness of the proposed method.


title: Canalization acoustic phonon polaritons in metal-MoO3-metal sandwiched structures for nano-light guiding and manipulation

abstract: We theoretically propose and study in-plane anisotropic acoustic phonon polaritons (APhPs) based on a layered structure consisting of a monolayer (or few layers) {\alpha}-phase molybdenum trioxide ({\alpha}-MoO3) sandwiched between two metal layers. We find that the APhPs in the proposed sandwiched structures are a canalization (highly directional) electromagnetic mode propagating along with the layers and at the same time exhibit extreme electromagnetic-field confinement surpassing any other type of phonon-polariton modes. When a double layer of {\alpha}-MoO3 is sandwiched by two Au layers, twisting the two {\alpha}-MoO3 layers can adjust the interlayer polaritonic coupling and thus manipulate the in-plane propagation of the highly confined APhPs. Our results illustrate that the metal-MoO3-metal sandwiched structures are a promising platform for light guiding and manipulation at ultimate scale.


title: Learning to Robustly Aggregate Labeling Functions for Semi-supervised Data Programming

abstract: A critical bottleneck in supervised machine learning is the need for large amounts of labeled data which is expensive and time consuming to obtain. However, it has been shown that a small amount of labeled data, while insufficient to re-train a model, can be effectively used to generate human-interpretable labeling functions (LFs). These LFs, in turn, have been used to generate a large amount of additional noisy labeled data, in a paradigm that is now commonly referred to as data programming. However, previous approaches to automatically generate LFs make no attempt to further use the given labeled data for model training, thus giving up opportunities for improved performance. Moreover, since the LFs are generated from a relatively small labeled dataset, they are prone to being noisy, and naively aggregating these LFs can lead to very poor performance in practice. In this work, we propose an LF based reweighting framework \ouralgo{} to solve these two critical limitations. Our algorithm learns a joint model on the (same) labeled dataset used for LF induction along with any unlabeled data in a semi-supervised manner, and more critically, reweighs each LF according to its goodness, influencing its contribution to the semi-supervised loss using a robust bi-level optimization algorithm. We show that our algorithm significantly outperforms prior approaches on several text classification datasets.


title: Induced CP-violation in the Euler-Heisenberg Lagrangian

abstract: In this paper, we examine the behaviour of the Euler-Heisenberg effective action in the presence of a novel axial coupling among the gauge field and the fermionic matter. This axial coupling is responsible to induce a CP-violating term in the extended form of the Euler-Heisenberg effective action, which is generated naturally through the analysis of the box diagram. However, this anomalous model is not a viable extension of QED, and we explicitly show that the induced CP-violating term in the Euler-Heisenberg effective Lagrangian is obtained only by adding an axial coupling to the ordinary QED Lagrangian. In order to perform our analysis, we use a parametrization of the vector and axial coupling constants, $g_{v}$ and $g_{a}$, in terms of a new coupling $\beta$. Interestingly, this parametrization allows us to explore a hidden symmetry under the change of $g_{v}\leftrightarrow g_{a}$ in some diagrams. This symmetry is explicitly observed in the analysis of the box diagram, where we determine the $\lambda_i$ coefficients of $\cal{L}_{\rm ext.}^{\rm \small EH}=\lambda_{1}\cal{F}^{2}+\lambda_{2}\cal{G}^{2}+\lambda_{3}\cal{F}\cal{G}$, specially the coefficient $\lambda_3$ related with the CP-violating term due to the axial coupling. As a phenomenological application of the results, we compute the relevant cross section for the light by light scattering through the extended Euler-Heisenberg effective action.


title: Optimal attosecond pulses generation from oscillating plasma surfaces driven at relativistic intensity

abstract: The creation of attosecond pulses via laser-plasma interaction has been a subject of great scientific interest for more than three decades. This process is investigated by using particle-in-cell simulation with varying the plasma and laser parameters. The steepness of the density gradient at the plasma-vacuum interface is examined to see how this parameter affects the high-order harmonic generations and isolated-attosecond pulse creation. The optimal density gradient lengths $L$ are explored within the relativistic oscillating mirror mechanism. Although the ideal gradient lengths for the full width at half maximum and peak intensity of an isolated-attosecond pulse depend on the driving laser intensity independently, they are both found near $L$=0.2$\lambda$ for high laser intensities.


title: Nonresonant two-level transitions: Lessons from quantum thermodynamics

abstract: Based on concepts from quantum thermodynamics the two-level system coupled to a single electromagnetic mode is analyzed. Focusing on the case of detuning, where the mode frequency does not match the transition frequency, effective energies are derived for the levels and the photon energy. It is shown that these should be used for energy exchange with fermionic and bosonic reservoirs in the steady state in order to achieve a thermodynamically consistent description. While recovering known features such as frequency pulling or Bloch gain, this sheds light on their thermodynamic background and allows for a coherent understanding.


title: Blind super-resolution of point sources via fast iterative hard thresholding

abstract: In this work, we develop a provable fast algorithm for blind super-resolution based on the low rank structure of vectorized Hankel matrix associated with the target matrix. Theoretical results show that the proposed method converges to the ground truth with linear convergence rate. Numerical experiments are also conducted to illustrate the linear convergence and effectiveness of the proposed approach.


title: A survey of Bayesian Network structure learning

abstract: Bayesian Networks (BNs) have become increasingly popular over the last few decades as a tool for reasoning under uncertainty in fields as diverse as medicine, biology, epidemiology, economics and the social sciences. This is especially true in real-world areas where we seek to answer complex questions based on hypothetical evidence to determine actions for intervention. However, determining the graphical structure of a BN remains a major challenge, especially when modelling a problem under causal assumptions. Solutions to this problem include the automated discovery of BN graphs from data, constructing them based on expert knowledge, or a combination of the two. This paper provides a comprehensive review of combinatoric algorithms proposed for learning BN structure from data, describing 74 algorithms including prototypical, well-established and state-of-the-art approaches. The basic approach of each algorithm is described in consistent terms, and the similarities and differences between them highlighted. Methods of evaluating algorithms and their comparative performance are discussed including the consistency of claims made in the literature. Approaches for dealing with data noise in real-world datasets and incorporating expert knowledge into the learning process are also covered.


title: Evolution of Kelvin-Helmholtz Instability in the Fan-Spine Topology

abstract: We use multiwavelength imaging observations from the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) to study the evolution of Kelvin-Helmholtz (K-H) instability in a fan-spine magnetic field configuration. This magnetic topology exists near an active region AR12297 and is rooted in a nearby sunspot. In this magnetic configuration, two layers of cool plasma flow in parallel and interact with each other inside an elongated spine. The slower plasma flow (5 $km s^{-1}$) is the reflected stream along the spine field lines from the top, which interacts with the impulsive plasma upflows (114-144 km s$^{-1}$) from below. This process generates a shear motion and subsequent evolution of the K--H instability. The amplitude and characteristic wavelength of the K-H unstable vortices increase, satisfying the criterion of the fastest growing mode of this instability. We also describe that the velocity difference between two layers and velocity of K-H unstable vortices are greater than the Alfven speed in the second denser layer, which also satisfies the criterion of the growth of K-H instability. In the presence of the magnetic field and sheared counter streaming plasma as observed in the fan-spine topology, we estimate the parametric constant, $\Lambda\ge$1, that confirms the dominance of velocity shear and the evolution of the linear phase of the K-H instability. This observation indicates that in the presence of complex magnetic field structuring and flows, the fan-spine configuration may evolve into rapid heating, while the connectivity changes due to the fragmentation via the K-H instability.


title: A machine learning approach to commutative algebra: Distinguishing table vs non-table ideals

abstract: We propose a novel approach to distinguish table vs non-table ideals by using different machine learning algorithms. We introduce the reader to table ideals, assuming some knowledge on commutative algebra and describe their main properties. We create a data set containing table and non-table ideals, and we use a feedforward neural network model, a decision tree and a graph neural networks for the classification. Our results indicate that there exists an algorithm to distinguish table ideals from non-table ideals, and we prove it along some novel results on table ideals.


title: Layered Neural Atlases for Consistent Video Editing

abstract: We present a method that decomposes, or "unwraps", an input video into a set of layered 2D atlases, each providing a unified representation of the appearance of an object (or background) over the video. For each pixel in the video, our method estimates its corresponding 2D coordinate in each of the atlases, giving us a consistent parameterization of the video, along with an associated alpha (opacity) value. Importantly, we design our atlases to be interpretable and semantic, which facilitates easy and intuitive editing in the atlas domain, with minimal manual work required. Edits applied to a single 2D atlas (or input video frame) are automatically and consistently mapped back to the original video frames, while preserving occlusions, deformation, and other complex scene effects such as shadows and reflections. Our method employs a coordinate-based Multilayer Perceptron (MLP) representation for mappings, atlases, and alphas, which are jointly optimized on a per-video basis, using a combination of video reconstruction and regularization losses. By operating purely in 2D, our method does not require any prior 3D knowledge about scene geometry or camera poses, and can handle complex dynamic real world videos. We demonstrate various video editing applications, including texture mapping, video style transfer, image-to-video texture transfer, and segmentation/labeling propagation, all automatically produced by editing a single 2D atlas image.


title: The Lie algebraic structure of colored networks

abstract: In the computation of the normal form of a colored network vector field, following the semigroup(oid) approach in [19], one would like to be able to say something about the structure of the Lie algebra of linear colored network vector fields. Unlike the purely abstract approach in [10], we describe here a concrete algorithm that gives us the Levi decomposition. If we apply this algorithm to a given subalgebra, it does put the elements in the subalgebra in the block form given by the Levi decomposition, but this need not be the Levi decomposition of the given subalgebra. We show that for $N$-dimensional vector fields with C colors (different functions describing different types of cells in the network) this Lie algebra $net_{C,N}$ is isomorphic to the semidirect sum of a semisimple part, consisting of two simple components $\mathfrak{sl}_C$ and $\mathfrak{sl}_B$, with $B=N-C$, which we write as a block-matrix and a solvable part, consisting of two elements representing the identity $C$ in $c\simeq glC$ and B in $b \simeq glB$, and an abelian algebra $a\simeq\mathfrak{Gr}(C,N)$, the Grassmannian, consisting of the $C$-dimensional subspaces of $\mathbb{R}^N$. The methods in this paper can be immediately applied to study the linear maps of colored networks.


title: Computing Funnels Using Numerical Optimization Based Falsifiers

abstract: In this paper, we present an~algorithm that computes funnels along trajectories of systems of ordinary differential equations. A funnel is a time-varying set of states containing the given trajectory, for which the evolution from within the set at any given time stays in the funnel. Hence it generalizes the behavior of single trajectories to sets around them, which is an important task, for example, in robot motion planning. In contrast to approaches based on sum-of-squares programming, which poorly scale to high dimensions, our approach is based on falsification and tackles the funnel computation task directly, through numerical optimization. This approach computes accurate funnel estimates far more efficiently and leaves formal verification to the end, outside all funnel size optimization loops.


title: An Algorithm for Generating Gap-Fill Multiple Choice Questions of an Expert System

abstract: This research is aimed to propose an artificial intelligence algorithm comprising an ontology-based design, text mining, and natural language processing for automatically generating gap-fill multiple choice questions (MCQs). The simulation of this research demonstrated an application of the algorithm in generating gap-fill MCQs about software testing. The simulation results revealed that by using 103 online documents as inputs, the algorithm could automatically produce more than 16 thousand valid gap-fill MCQs covering a variety of topics in the software testing domain. Finally, in the discussion section of this paper we suggest how the proposed algorithm should be applied to produce gap-fill MCQs being collected in a question pool used by a knowledge expert system.


title: Programming and Training Rate-Independent Chemical Reaction Networks

abstract: Embedding computation in biochemical environments incompatible with traditional electronics is expected to have wide-ranging impact in synthetic biology, medicine, nanofabrication and other fields. Natural biochemical systems are typically modeled by chemical reaction networks (CRNs), and CRNs can be used as a specification language for synthetic chemical computation. In this paper, we identify a class of CRNs called non-competitive (NC) whose equilibria are absolutely robust to reaction rates and kinetic rate law, because their behavior is captured solely by their stoichiometric structure. Unlike prior work on rate-independent CRNs, checking non-competition and using it as a design criterion is easy and promises robust output. We also present a technique to program NC-CRNs using well-founded deep learning methods, showing a translation procedure from rectified linear unit (ReLU) neural networks to NC-CRNs. In the case of binary weight ReLU networks, our translation procedure is surprisingly tight in the sense that a single bimolecular reaction corresponds to a single ReLU node and vice versa. This compactness argues that neural networks may be a fitting paradigm for programming rate-independent chemical computation. As proof of principle, we demonstrate our scheme with numerical simulations of CRNs translated from neural networks trained on traditional machine learning datasets (IRIS and MNIST), as well as tasks better aligned with potential biological applications including virus detection and spatial pattern formation.


title: Tuning magnetic antiskyrmion stability in tetragonal inverse Heusler alloys

abstract: The identification of materials supporting complex, tunable magnetic order at ambient temperatures is foundational to the development of new magnetic device architectures. We report the design of Mn2XY tetragonal inverse Heusler alloys that are capable of hosting magnetic antiskyrmions whose stability is sensitive to elastic strain. We first construct a universal magnetic Hamiltonian capturing the short- and long- range magnetic order which can be expected in these materials. This model reveals critical combinations of magnetic interactions that are necessary to approach a magnetic phase boundary, where the magnetic structure is highly susceptible to small perturbations such as elastic strain. We then computationally search for quaternary Mn2(X1,X2)Y alloys where these critical interactions may be realized and which are likely to be synthesizable in the inverse Heusler structure. We identify the Mn2Pt(1-z)X(z)Ga family of materials with X=Au, Ir, Ni as an ideal system for accessing all possible magnetic phases, with several critical compositions where magnetic phase transitions may be actuated mechanically.


title: Big Data driven Product Design: A Survey

abstract: With the improvement of living standards, user requirements of modern products are becoming increasingly more diversified and personalized. Traditional product design methods can no longer satisfy the market needs due to their strong subjectivity, small survey scope, poor real-time data, and lack of visual display, which calls for the development of big data driven product design methodology. Big data in the product lifecycle contains valuable information for guiding product design, such as customer preferences, market demands, product evaluation, and visual display: online product reviews reflect customer evaluations and requirements; product images contain information of shape,color, and texture which can inspire designers to get initial design schemes more quickly or even directly generate new product images. How to efficiently collect product design related data and exploit them effectively during the whole product design process is thus critical to modern product design. This paper aims to conduct a comprehensive survey on big data driven product design. It will help researchers and practitioners to comprehend the latest development of relevant studies and applications centered on how big data can be processed, analyzed, and exploited in aiding product design. We first introduce several representative traditional product design methods and highlight their limitations. Then we discuss current and potential applications of textual data, image data, audio data, and video data in product design cycles. Finally, major deficiencies of existing data driven product design studies and future research directions are summarized. We believe that this study can draw increasing attention to modern data driven product design.


title: Projecting the Impact of Covid-19 Variants and Vaccination Strategies in Disease Transmission using a Multilayer Network Model in Costa Rica

abstract: For countries starting to receive steady supplies of vaccines against SARS-CoV-2, the course of Covid-19 for the following months will be determined by the emergence of new variants and successful roll-out of vaccination campaigns. To anticipate this scenario, we used a multilayer network model developed to forecast the transmission dynamics of Covid-19 in Costa Rica, and to estimate the impact of the introduction of the Delta variant in the country, under two plausible vaccination scenarios, one sustaining Costa Rica's July 2021 vaccination pace of 30,000 doses per day and with high acceptance from the population and another with declining vaccination pace to 13,000 doses per day and with lower acceptance. Results suggest that the introduction and gradual dominance of the Delta variant would increase Covid-19 hospitalizations and ICU admissions between $35\%$ and $33.25\%$, from August 2021 to December 2021, depending on vaccine administration and acceptance. In the presence of the Delta variant, new Covid-19 hospitalizations and ICU admission would experience an average increase of $24.26\%$ and $27.19\%$ respectively in the same period if the vaccination pace drops. Our results can help decision-makers better prepare for the COVID-19 pandemic in the months to come.


title: Remarks on MOBS and cryptosystems using semidirect products

abstract: Recently, several cryptosystems have been proposed based semidirect products of various algebraic structures. Efficient attacks against several of them have already been given, along with a very general attack. The purpose of this note is to provide an observation that can be used as a point-of-attack for similar systems, and show how it can be used to efficiently cryptanalyze the MOBS system.


title: Automated Fact-Checking: A Survey

abstract: As online false information continues to grow, automated fact-checking has gained an increasing amount of attention in recent years. Researchers in the field of Natural Language Processing (NLP) have contributed to the task by building fact-checking datasets, devising automated fact-checking pipelines and proposing NLP methods to further research in the development of different components. This paper reviews relevant research on automated fact-checking covering both the claim detection and claim validation components.


title: An Evaluation of Anomaly Detection and Diagnosis in Multivariate Time Series

abstract: Several techniques for multivariate time series anomaly detection have been proposed recently, but a systematic comparison on a common set of datasets and metrics is lacking. This paper presents a systematic and comprehensive evaluation of unsupervised and semi-supervised deep-learning based methods for anomaly detection and diagnosis on multivariate time series data from cyberphysical systems. Unlike previous works, we vary the model and post-processing of model errors, i.e. the scoring functions independently of each other, through a grid of 10 models and 4 scoring functions, comparing these variants to state of the art methods. In time-series anomaly detection, detecting anomalous events is more important than detecting individual anomalous time-points. Through experiments, we find that the existing evaluation metrics either do not take events into account, or cannot distinguish between a good detector and trivial detectors, such as a random or an all-positive detector. We propose a new metric to overcome these drawbacks, namely, the composite F-score ($Fc_1$), for evaluating time-series anomaly detection. Our study highlights that dynamic scoring functions work much better than static ones for multivariate time series anomaly detection, and the choice of scoring functions often matters more than the choice of the underlying model. We also find that a simple, channel-wise model - the Univariate Fully-Connected Auto-Encoder, with the dynamic Gaussian scoring function emerges as a winning candidate for both anomaly detection and diagnosis, beating state of the art algorithms.


title: Robin Hood and Matthew Effects: Differential Privacy Has Disparate Impact on Synthetic Data

abstract: Generative models trained with Differential Privacy (DP) can be used to generate synthetic data while minimizing privacy risks. We analyze the impact of DP on these models vis-a-vis underrepresented classes/subgroups of data, specifically, studying: 1) the size of classes/subgroups in the synthetic data, and 2) the accuracy of classification tasks run on them. We also evaluate the effect of various levels of imbalance and privacy budgets. Our analysis uses three state-of-the-art DP models (PrivBayes, DP-WGAN, and PATE-GAN) and shows that DP yields opposite size distributions in the generated synthetic data. It affects the gap between the majority and minority classes/subgroups; in some cases by reducing it (a "Robin Hood" effect) and, in others, by increasing it (a "Matthew" effect). Either way, this leads to (similar) disparate impacts on the accuracy of classification tasks on the synthetic data, affecting disproportionately more the underrepresented subparts of the data. Consequently, when training models on synthetic data, one might incur the risk of treating different subpopulations unevenly, leading to unreliable or unfair conclusions.


title: Non-Radial Neutrino Emission upon Black Hole Formation in Core Collapse Supernovae

abstract: Black hole formation in a core-collapse supernova is expected to lead to a distinctive, abrupt drop in neutrino luminosity due to the engulfment of the main neutrino-producing regions as well as the strong gravitational redshift of those remaining neutrinos which do escape. Previous analyses of the shape of the cut-off have focused on specific trajectories or simplified models of bulk neutrino transport. In this article, we integrate over simple "ballistic" geodesics to investigate potential effects on the cut-off profile of including all neutrino emission angles from a collapsing surface in the Schwarzschild metric, and from a contracting equatorial mass ring in the Kerr metric. We find that the non-radial geodesics contribute to a softening of the cut-off in both cases. In addition, extreme rotation introduces significant changes to the shape of the tail which may be observable in future neutrino detectors, or combinations of detectors.


abstract: Diagnostic imaging plays a critical role in healthcare, serving as a fundamental asset for timely diagnosis, disease staging and management as well as for treatment choice, planning, guidance, and follow-up. Among the diagnostic imaging options, ultrasound imaging is uniquely positioned, being a highly cost-effective modality that offers the clinician an unmatched and invaluable level of interaction, enabled by its real-time nature. Ultrasound probes are becoming increasingly compact and portable, with the market demand for low-cost pocket-sized and (in-body) miniaturized devices expanding. At the same time, there is a strong trend towards 3D imaging and the use of high-frame-rate imaging schemes; both accompanied by dramatically increasing data rates that pose a heavy burden on the probe-system communication and subsequent image reconstruction algorithms. With the demand for high-quality image reconstruction and signal extraction from less (e.g unfocused or parallel) transmissions that facilitate fast imaging, and a push towards compact probes, modern ultrasound imaging leans heavily on innovations in powerful digital receive channel processing. Beamforming, the process of mapping received ultrasound echoes to the spatial image domain, naturally lies at the heart of the ultrasound image formation chain. In this chapter on Deep Learning for Ultrasound Beamforming, we discuss why and when deep learning methods can play a compelling role in the digital beamforming pipeline, and then show how these data-driven systems can be leveraged for improved ultrasound image reconstruction.


title: On a problem of Angelo Bella

abstract: The main result of this note is the following theorem. "If $X$ is any Hausdorff space with $\kappa = \widehat{F}(X) \cdot \widehat{\mu}(X)$ then $L(X_{< \kappa}) \le \varrho(\kappa)$". Here $\widehat{F}(X)$ is the smallest cardinal $\varphi$ so that $|S| < \varphi$ for any set $S$ that is free in $X$ and $\widehat{\mu}(X)$ is the smallest cardinal $\mu$ so that, for every set $S$ that is free in $X$, any open cover of $\overline {S}$ has a subcover of size $< \mu$. Moreover, $X_{< \kappa}$ is the $G_{< \kappa}$-modification of $X$ and $\varrho(\kappa) = \min \{\varrho : \varrho ^{< \kappa} = \varrho\}$. As a corollary we obtain that if $X$ is a linearly Lindel\"of regular space of countable tightness then $L(X_\delta) \le \mathfrak{c}$, provided that $ \mathfrak{c} = 2^{< \mathfrak{c}}$. This yields a consistent affirmative answer to a question of Angelo Bella.


title: Resource theoretic efficacy of the single copy of a two-qubit entangled state in a sequential network

abstract: How best one can recycle a given quantum resource, mitigating the various difficulties involved in its preparation and preservation, is of considerable importance for ensuring efficient applications in quantum technology. Here we demonstrate quantitatively the resource theoretic advantage of reusing a single copy of a two-qubit entangled state towards information processing. To this end, we consider a scenario of sequential entanglement detection of a given two-qubit state by multiple independent observers on each of the two spatially separated wings. In particular, we consider equal numbers of sequential observers on the two wings. We first determine the upper bound on the number of observers who can detect entanglement employing suitable entanglement witness operators. In terms of the parameters characterizing the entanglement consumed and the robustness of measurements, we then compare the above scenario with the corresponding scenario involving multiple pairs of entangled qubits shared among the two wings. This reveals a clear resource theoretic advantage of recycling a single copy of a two-qubit entangled state in the sequential network.


title: Exploring Machine Teaching with Children

abstract: Iteratively building and testing machine learning models can help children develop creativity, flexibility, and comfort with machine learning and artificial intelligence. We explore how children use machine teaching interfaces with a team of 14 children (aged 7-13 years) and adult co-designers. Children trained image classifiers and tested each other's models for robustness. Our study illuminates how children reason about ML concepts, offering these insights for designing machine teaching experiences for children: (i) ML metrics (e.g. confidence scores) should be visible for experimentation; (ii) ML activities should enable children to exchange models for promoting reflection and pattern recognition; and (iii) the interface should allow quick data inspection (e.g. images vs. gestures).


title: What Makes Agile Software Development Agile?

abstract: Together with many success stories, promises such as the increase in production speed and the improvement in stakeholders' collaboration have contributed to making agile a transformation in the software industry in which many companies want to take part. However, driven either by a natural and expected evolution or by contextual factors that challenge the adoption of agile methods as prescribed by their creator(s), software processes in practice mutate into hybrids over time. Are these still agile? In this article, we investigate the question: what makes a software development method agile? We present an empirical study grounded in a large-scale international survey that aims to identify software development methods and practices that improve or tame agility. Based on 556 data points, we analyze the perceived degree of agility in the implementation of standard project disciplines and its relation to used development methods and practices. Our findings suggest that only a small number of participants operate their projects in a purely traditional or agile manner (under 15%). That said, most project disciplines and most practices show a clear trend towards increasing degrees of agility. Compared to the methods used to develop software, the selection of practices has a stronger effect on the degree of agility of a given discipline. Finally, there are no methods or practices that explicitly guarantee or prevent agility. We conclude that agility cannot be defined solely at the process level. Additional factors need to be taken into account when trying to implement or improve agility in a software company. Finally, we discuss the field of software process-related research in the light of our findings and present a roadmap for future research.


title: Piecewise Pad\'e-Chebyshev Reconstruction of Bivariate Piecewise Smooth Functions

abstract: We extend the idea of approximating piecewise smooth univariate functions using rational approximation introduced in \cite{aka_bas-19a} to two-dimensional space. This article aims to implement the novel piecewise Maehly based Pad\'e-Chebyshev approximation \cite{mae_60a}. We first develop a method referred to as PiPC to approximate univariate piecewise smooth functions and then extend the same to a two-dimensional space, leading to a bivariate piecewise Pad\'e-Chebyshev approximation (Pi2DPC) for approximating piecewise smooth functions in two-dimension. We study the utility of the proposed techniques in minimizing the Gibbs phenomenon while approximating piecewise smooth functions. The chief advantage of these methods lies in their non-dependence on any apriori knowledge of the locations and types of singularities (if any) present in the original function. Finally, we supplement our methods with numerical results to validate their effectiveness in diminishing the Gibbs phenomenon to negligible levels.


title: Enhancing high frequency sensitivity of gravitational wave detectors with sloshing-Sagnac interferometer

abstract: Sensitivity of gravitational-wave detectors is limited in the high-frequency band by quantum shot noise and eventually limited by the optical loss in signal recycling cavity. This limit is the main obstacle on the way to detect gravitational waves from the binary neutron star mergers in the current and the future generation detectors, as it does not depend on either the arm length, or the injected squeezing level. In this paper, we come up with the sloshing Sagnac interferometer topology, which can be obtained from the Michelson interferometer by optically connecting the end mirrors into an additional optical cavity. This transforms the interferometer into a triply-coupled cavity system capable of beating the loss-induced high-frequency limit of the signal-recycled Michelson interferometer. With advanced LIGO+ comparable parameters, a sloshing-Sagnac scheme can achieve 7 times better sensitivity at 2.5\,kHz or 4 times better signal to noise ratio for a typical waveform of binary neutron post merge. Being an evolution of Michelson interferometer, the sloshing-Sagnac interferometer can possibly be used as a topology for the future generation detectors and upgrade of current detectors.


title: A special case of Vu's conjecture: Coloring nearly disjoint graphs of bounded maximum degree

abstract: A collection of graphs is \textit{nearly disjoint} if every pair of them intersects in at most one vertex. We prove that if $G_1, \dots, G_m$ are nearly disjoint graphs of maximum degree at most $D$, then the following holds. For every fixed $C$, if each vertex $v \in \bigcup_{i=1}^m V(G_i)$ is contained in at most $C$ of the graphs $G_1, \dots, G_m$, then the (list) chromatic number of $\bigcup_{i=1}^m G_i$ is at most $D + o(D)$. This result confirms a special case of a conjecture of Vu and generalizes Kahn's bound on the list chromatic index of linear uniform hypergraphs of bounded maximum degree. In fact, this result holds for the correspondence (or DP) chromatic number and thus implies a recent result of Molloy, and we derive this result from a more general list coloring result in the setting of `color degrees' that also implies a result of Reed and Sudakov.


title: DeepRare: Generic Unsupervised Visual Attention Models

abstract: Human visual system is modeled in engineering field providing feature-engineered methods which detect contrasted/surprising/unusual data into images. This data is "interesting" for humans and leads to numerous applications. Deep learning (DNNs) drastically improved the algorithms efficiency on the main benchmark datasets. However, DNN-based models are counter-intuitive: surprising or unusual data is by definition difficult to learn because of its low occurrence probability. In reality, DNN-based models mainly learn top-down features such as faces, text, people, or animals which usually attract human attention, but they have low efficiency in extracting surprising or unusual data in the images. In this paper, we propose a new visual attention model called DeepRare2021 (DR21) which uses the power of DNNs feature extraction and the genericity of feature-engineered algorithms. This algorithm is an evolution of a previous version called DeepRare2019 (DR19) based on a common framework. DR21 1) does not need any training and uses the default ImageNet training, 2) is fast even on CPU, 3) is tested on four very different eye-tracking datasets showing that the DR21 is generic and is always in the within the top models on all datasets and metrics while no other model exhibits such a regularity and genericity. Finally DR21 4) is tested with several network architectures such as VGG16 (V16), VGG19 (V19) and MobileNetV2 (MN2) and 5) it provides explanation and transparency on which parts of the image are the most surprising at different levels despite the use of a DNN-based feature extractor. DeepRare2021 code can be found at https://github.com/numediart/VisualAttention-RareFamil}.


title: Local invertibility and sensitivity of atomic structure-feature mappings

abstract: The increasingly common applications of machine-learning schemes to atomic-scale simulations have triggered efforts to better understand the mathematical properties of the mapping between the Cartesian coordinates of the atoms and the variety of representations that can be used to convert them into a finite set of symmetric descriptors or features. Here, we analyze the sensitivity of the mapping to atomic displacements, showing that the combination of symmetry and smoothness leads to mappings that have singular points at which the Jacobian has one or more null singular values (besides those corresponding to infinitesimal translations and rotations). This is in fact desirable, because it enforces physical symmetry constraints on the values predicted by regression models constructed using such representations. However, besides these symmetry-induced singularities, there are also spurious singular points, that we find to be linked to the incompleteness of the mapping, i.e. the fact that, for certain classes of representations, structurally distinct configurations are not guaranteed to be mapped onto different feature vectors. Additional singularities can be introduced by a too aggressive truncation of the infinite basis set that is used to discretize the representations.


title: Correlated insulators, density wave states, and their nonlinear optical response in magic-angle twisted bilayer graphene

abstract: The correlated insulator (CI) states and the recently discovered density wave (DW) states in magic-angle twisted bilayer graphene (TBG) have stimulated intense research interest. However, up to date, the nature of these "featureless" correlated states with zero Chern numbers are still elusive, and are lack of characteristic experimental signature. Thus, an experimental probe to identify the characters of these featureless CI and DW states are urgently needed. In this work, we theoretically study the correlated insulators and density-wave states at different integer and fractional fillings of the flat bands in magic-angle TBG based on extended unrestricted Hartree-Fock calculations including the Coulomb screening effects from the remote bands. We further investigate the nonlinear optical response of the various correlated states, and find that the nonlinear optical conductivities can be used to identify the nature of these CI and DW states at most of the fillings. Therefore, we propose that nonlinear optical response can serve as a promising experimental probe to unveil the nature of the CI and DW states observed in magic-angle TBG.


title: Corpus and Models for Lemmatisation and POS-tagging of Old French

abstract: Old French is a typical example of an under-resourced historic languages, that furtherly displays animportant amount of linguistic variation. In this paper, we present the current results of a long going project (2015-...) and describe how we broached the difficult question of providing lemmatisation andPOS models for Old French with the help of neural taggers and the progressive constitution of dedicated corpora.


title: Viability of a Dyson Swarm as a Form of Dyson Sphere

abstract: First conceptualised in Olaf Stapledon's 1937 novel 'Star Maker', before being popularised by Freeman Dyson in the 1960s, Dyson Spheres are structures which surround a civilisation's sun to collect all the energy it radiates. Through discussion of the features of such a feat of engineering, the viability, scale and likely design of a Dyson structure is evaluated, before details about each stage of its construction and operation are investigated. It is found that a Dyson Swarm, a large array of individual satellites orbiting another planetary body, is the ideal design for such a structure over the solid sun-surrounding structure which is typically associated with the Dyson Sphere. In our solar system, such a structure based around Mars would be able to account for the Earth's 2019 global power consumption of 18.35 TW within fifty years once its construction has begun, which itself could start by 2040. The swarm of over 5.5 billion satellites would be constructed on the surface of Mars before being launched by electromagnetic accelerators into a Martian orbit. Efficiency of the Dyson Swarm ranges from around 0.74 - 2.77% of the Sun's $3.85\times10^{26}$ W output, with large potential for growth as both current technologies improve and future concepts are brought to reality in the time before and during the swarm's construction. Not only would a Dyson Swarm provide a near infinite, renewable power source for Earth, it would allow for significant expansions in human space exploration and for our civilisation as a whole.


title: Comments on Combining Switched TMAs and FDAs to Synthesize Dot-Shaped Beampatterns

abstract: The idea of frequency diverse array (FDA) has been invigorated in the recent years by supposing to have the ability of stopping the electromagnetic wave propagation and producing secretive direct connections between distant points. However, it was based on a theoretical mistake in a series of published papers beginning from 2014. In fact, the issue was not very clear since 2018; hence the researchers should be very careful in relying on the papers of this topic.


title: Critical temperatures of a model cuprate

abstract: The problem of competing orderings in the high-temperature cuprate materials is widely discussed for the last years. We present the mean-field approximation results for the spin-pseudospin model accounting for the on-site and inter-site correlations, the antiferromagnetic exchange coupling, the one- and two-particle transport. The explicit form of the equations for the critical temperatures of the most significant order parameters of the model are given.


title: Learning Dynamics from Noisy Measurements using Deep Learning with a Runge-Kutta Constraint

abstract: Measurement noise is an integral part while collecting data of a physical process. Thus, noise removal is a necessary step to draw conclusions from these data, and it often becomes quite essential to construct dynamical models using these data. We discuss a methodology to learn differential equation(s) using noisy and sparsely sampled measurements. In our methodology, the main innovation can be seen in of integration of deep neural networks with a classical numerical integration method. Precisely, we aim at learning a neural network that implicitly represents the data and an additional neural network that models the vector fields of the dependent variables. We combine these two networks by enforcing the constraint that the data at the next time-steps can be given by following a numerical integration scheme such as the fourth-order Runge-Kutta scheme. The proposed framework to learn a model predicting the vector field is highly effective under noisy measurements. The approach can handle scenarios where dependent variables are not available at the same temporal grid. We demonstrate the effectiveness of the proposed method to learning models using data obtained from various differential equations. The proposed approach provides a promising methodology to learn dynamic models, where the first-principle understanding remains opaque.


title: Even factors in edge-chromatic-critical graphs with a small number of divalent vertices

abstract: A finite simple connected graph $G$ with maximum degree $k$ is $k$-critical if it has chromatic index $\chi'(G)=k+1$ and $\chi'(G-e)=k$ for every edge $e\in E(G)$. Bej and the first author raised the question whether every $k$-critical graph has an even factor. We prove that every $k$-critical graph with at most $2k-6$ vertices of degree 2 has an even factor.


title: On the differential transcendentality of the Morita p-adic gamma function

abstract: In this note we prove that for any given prime number $p$ the Morita $p$-adic gamma function $\Gamma_p$ is differentially transcendental over $\mathbb{C}_p(X)$.


title: Dynamic Mixture of Experts Models for Online Prediction

abstract: A mixture of experts models the conditional density of a response variable using a mixture of regression models with covariate-dependent mixture weights. We extend the finite mixture of experts model by allowing the parameters in both the mixture components and the weights to evolve in time by following random walk processes. Inference for time-varying parameters in richly parameterized mixture of experts models is challenging. We propose a sequential Monte Carlo algorithm for online inference and based on a tailored proposal distribution built on ideas from linear Bayes methods and the EM algorithm. The method gives a unified treatment for mixtures with time-varying parameters, including the special case of static parameters. We assess the properties of the method on simulated data and on industrial data where the aim is to predict software faults in a continuously upgraded large-scale software project.


title: An Improved Authentication & Key Exchange Protocol Based on ECDH for WSNs

abstract: The widespread use of wireless sensor networks (WSNs) that are consisted of resource-constrained sensor nodes in communication with gateways in open-space environments and industries has highlighted the need for a secure yet fast communication protocol between users, gateways, and sensor nodes. Due to the properties of the network, elliptic-curve cryptography seems to be the most viable choice as it requires fewer resources than most other options. In this paper, we analyze the protocol suggested by Moghadam et al. which is based on ECDH (elliptic-curve Diffie-Hellman), and mention some of the flaws in their proposed authentication and key exchange protocol. Some attacks are also mentioned to further explain the shortcomings of their schema. Then a modified version of the protocol is proposed, analyzed, and checked against the same attacks as an informal security proof.


title: MedKnowts: Unified Documentation and Information Retrieval for Electronic Health Records

abstract: Clinical documentation can be transformed by Electronic Health Records, yet the documentation process is still a tedious, time-consuming, and error-prone process. Clinicians are faced with multi-faceted requirements and fragmented interfaces for information exploration and documentation. These challenges are only exacerbated in the Emergency Department -- clinicians often see 35 patients in one shift, during which they have to synthesize an often previously unknown patient's medical records in order to reach a tailored diagnosis and treatment plan. To better support this information synthesis, clinical documentation tools must enable rapid contextual access to the patient's medical record. MedKnowts is an integrated note-taking editor and information retrieval system which unifies the documentation and search process and provides concise synthesized concept-oriented slices of the patient's medical record. MedKnowts automatically captures structured data while still allowing users the flexibility of natural language. MedKnowts leverages this structure to enable easier parsing of long notes, auto-populated text, and proactive information retrieval, easing the documentation burden.


title: Revisit Geophysical Imaging in A New View of Physics-informed Generative Adversarial Learning

abstract: Seismic full waveform inversion (FWI) is a powerful geophysical imaging technique that produces high-resolution subsurface models by iteratively minimizing the misfit between the simulated and observed seismograms. Unfortunately, conventional FWI with least-squares function suffers from many drawbacks such as the local-minima problem and computation of explicit gradient. It is particularly challenging with the contaminated measurements or poor starting models. Recent works relying on partial differential equations and neural networks show promising performance for two-dimensional FWI. Inspired by the competitive learning of generative adversarial networks, we proposed an unsupervised learning paradigm that integrates wave equation with a discriminate network to accurately estimate the physically consistent models in a distribution sense. Our framework needs no labelled training data nor pretraining of the network, is flexible to achieve multi-parameters inversion with minimal user interaction. The proposed method faithfully recovers the well-known synthetic models that outperforms the classical algorithms. Furthermore, our work paves the way to sidestep the local-minima issue via reducing the sensitivity to initial models and noise.


title: Semantic Segmentation-assisted Scene Completion for LiDAR Point Clouds

abstract: Outdoor scene completion is a challenging issue in 3D scene understanding, which plays an important role in intelligent robotics and autonomous driving. Due to the sparsity of LiDAR acquisition, it is far more complex for 3D scene completion and semantic segmentation. Since semantic features can provide constraints and semantic priors for completion tasks, the relationship between them is worth exploring. Therefore, we propose an end-to-end semantic segmentation-assisted scene completion network, including a 2D completion branch and a 3D semantic segmentation branch. Specifically, the network takes a raw point cloud as input, and merges the features from the segmentation branch into the completion branch hierarchically to provide semantic information. By adopting BEV representation and 3D sparse convolution, we can benefit from the lower operand while maintaining effective expression. Besides, the decoder of the segmentation branch is used as an auxiliary, which can be discarded in the inference stage to save computational consumption. Extensive experiments demonstrate that our method achieves competitive performance on SemanticKITTI dataset with low latency. Code and models will be released at https://github.com/jokester-zzz/SSA-SC.


title: Modulating internal transition kinetics in responsive macromolecules by collective crowding

abstract: Packing and crowding are used in biology as mechanisms to (self-)regulate internal molecular or cellular processes based on collective signalling. Here, we study how the transition kinetics of an internal switch of responsive macromolecules is modified collectively by their spatial packing. We employ Brownian dynamics simulations of a model of responsive colloids (RCs), in which an explicit internal degree of freedom, here, the particle size, moving in a bimodal energy landscape responds self-consistently to the density fluctuations of the crowded environment. We demonstrate that populations and transition times for the two-state switching kinetics can be tuned over one order of magnitude by self-crowding. An exponential scaling law derived from a combination of Kramers' and liquid state perturbation theory is in very good agreement with the simulations.


title: Multi-angle Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) generates an approximate solution to combinatorial optimization problems using a variational ansatz circuit defined by parameterized layers of quantum evolution. In theory, the approximation improves with increasing ansatz depth but gate noise and circuit complexity undermine performance in practice. Here, we introduce a multi-angle ansatz for QAOA that reduces circuit depth and improves the approximation ratio by increasing the number of classical parameters. Even though the number of parameters increases, our results indicate that good parameters can be found in polynomial time. This new ansatz gives a 33\% increase in the approximation ratio for an infinite family of MaxCut instances over QAOA. The optimal performance is lower bounded by the conventional ansatz, and we present empirical results for graphs on eight vertices that one layer of the multi-angle anstaz is comparable to three layers of the traditional ansatz on MaxCut problems. Similarly, multi-angle QAOA yields a higher approximation ratio than QAOA at the same depth on a collection of MaxCut instances on fifty and one-hundred vertex graphs. Many of the optimized parameters are found to be zero, so their associated gates can be removed from the circuit, further decreasing the circuit depth. These results indicate that multi-angle QAOA requires shallower circuits to solve problems than QAOA, making it more viable for near-term intermediate-scale quantum devices.


title: Angular analysis of $B^+ \to \rho^+\rho^0$ decays reconstructed in 2019-2020 Belle II data

abstract: We report on the first Belle II measurement of the branching fraction ($\mathcal{B}$) and longitudinal polarization fraction ($f_L$) of $B^+\to \rho^+\rho^0$ decays. We reconstruct $B^+\to \rho^+(\to \pi^+\pi^0(\to \gamma\gamma))\rho^0(\to \pi^+\pi^-)$ decays in a sample of SuperKEKB electron-positron collisions collected by the Belle II experiment in 2019 and 2020 at the $\Upsilon$(4S) resonance and corresponding to $62.8$ fb$^{-1}$ of integrated luminosity. We fit the distributions of the difference between expected and observed $B$ candidate energy, continuum-suppression variable, dipion masses, and angular distributions of the resulting samples, to determine a signal yield of $104\pm16$ events. The signal yields are corrected for efficiencies determined from simulation and control data samples to obtain $\mathcal{B}(B^+ \to \rho^+\rho^0) = [20.6 \pm 3.2(\rm stat) \pm 4.0(\rm syst)]\times 10^{-6}$, and $f_L(B^+ \to \rho^+\rho^0) = 0.936 ^{+0.049}_{-0.041}(\rm stat)\pm 0.021(\rm syst)$. This first Belle II $B^+ \to \rho^+\rho^0$ angular analysis yields results compatible with previous determinations, and indicates Belle II performance superior to early Belle results.


title: The TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI). Part I: Dry Cases -- The fellowship of the GCMs

abstract: With the commissioning of powerful, new-generation telescopes such as the James Webb Space Telescope (JWST) and the ground-based Extremely Large Telescopes, the first characterization of a high molecular weight atmosphere around a temperate rocky exoplanet is imminent. Atmospheric simulations and synthetic observables of target exoplanets are essential to prepare and interpret these observations. Here we report the results of the first part of the TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI) project, which compares 3D numerical simulations performed with four state-of-the-art global climate models (ExoCAM, LMD-Generic, ROCKE-3D, Unified Model) for the potentially habitable target TRAPPIST-1e. In this first part, we present the results of dry atmospheric simulations. These simulations serve as a benchmark to test how radiative transfer, subgrid-scale mixing (dry turbulence and convection), and large-scale dynamics impact the climate of TRAPPIST-1e and consequently the transit spectroscopy signature as seen by JWST. To first order, the four models give results in good agreement. The intermodel spread in the global mean surface temperature amounts to 7K (6K) for the N2-dominated (CO2-dominated) atmosphere. The radiative fluxes are also remarkably similar (intermodel variations less than 5%), from the surface (1 bar) up to atmospheric pressures around 5 mbar. Moderate differences between the models appear in the atmospheric circulation pattern (winds) and the (stratospheric) thermal structure. These differences arise between the models from (1) large-scale dynamics, because TRAPPIST-1e lies at the tipping point between two different circulation regimes (fast and Rhines rotators) in which the models can be alternatively trapped, and (2) parameterizations used in the upper atmosphere such as numerical damping.


title: Existence, Uniqueness and Regularity of the Fractional Harmonic Gradient Flow in General Target Manifolds

abstract: In this paper, we continue to study the fractional harmonic gradient flow on $S^{n-1}$ taking values in a general closed manifold $N \subset \mathbb{R}^n$, addressing global existence and uniqueness of solutions of energy class with sufficiently small energy, adding to the existing body of knowledge pertaining to the half-harmonic gradient flow and expanding upon our previous work in [34]. We extend the techniques by Struwe in [30] and Rivi\`ere in [22] to the non-local framework analogous to [34] to derive uniqueness, employ commutator estimates as in [8] for regularity and follow [30] for a general existence result.


title: The TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI). Part II: Moist Cases -- The Two Waterworlds

abstract: To identify promising exoplanets for atmospheric characterization and to make the best use of observational data, a thorough understanding of their atmospheres is needed. 3D general circulation models (GCMs) are one of the most comprehensive tools available for this task and will be used to interpret observations of temperate rocky exoplanets. Due to parameterization choices made in GCMs, they can produce different results, even for the same planet. Employing four widely-used exoplanetary GCMs -- ExoCAM, LMD-G, ROCKE-3D and the UM -- we continue the TRAPPIST-1 Habitable Atmosphere Intercomparison by modeling aquaplanet climates of TRAPPIST-1e with a moist atmosphere dominated by either nitrogen or carbon dioxide. Although the GCMs disagree on the details of the simulated regimes, they all predict a temperate climate with neither of the two cases pushed out of the habitable state. Nevertheless, the inter-model spread in the global mean surface temperature is non-negligible: 14 K and 24 K in the nitrogen and carbon dioxide dominated case, respectively. We find substantial inter-model differences in moist variables, with the smallest amount of clouds in LMD-Generic and the largest in ROCKE-3D. ExoCAM predicts the warmest climate for both cases and thus has the highest water vapor content and the largest amount and variability of cloud condensate. The UM tends to produce colder conditions, especially in the nitrogen-dominated case due to a strong negative cloud radiative effect on the day side of TRAPPIST-1e. Our study highlights various biases of GCMs and emphasizes the importance of not relying solely on one model to understand exoplanet climates.


title: The TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI). Part III: Simulated Observables -- The return of the spectrum

abstract: The TRAPPIST-1 Habitable Atmosphere Intercomparison (THAI) is a community project that aims to quantify how dfferences in general circulation models (GCMs) could impact the climate prediction for TRAPPIST-1e and, subsequently its atmospheric characterization in transit. Four GCMs have participated in THAI so far: ExoCAM, LMD-Generic, ROCKE-3D and the UM. This paper, focused on the simulated observations, is the third part of a trilogy, following the analysis of two land planet scenarios (part I) and two aquaplanet scenarios (part II). Here, we show a robust agreement between the simulated spectra and the number of transits estimated to detect the land planet atmospheres. For the aquaplanet ones, using atmospheric data from any of the four GCMs would require at least 17 transits. This prediction corresponds to UM simulated data which produces the lowest and thinnest clouds. Between 35-40% more clouds are predicted by ExoCAM or LMD-G due to higher thick terminator clouds. For the first time this work provides "GCM uncertainty error bars" of 35-40% that need to be considered in future analyses of transmission spectra. We also analyzed the inter-transit variability induced by weather patterns and changes of terminator cloudiness between transits. Its magnitude differs significantly between the GCMs but its impact on the transmission spectra is within the measurement uncertainties. THAI has demonstrated the importance of model intercomparison for exoplanets and also paved the way for a larger project to develop an intercomparison meta-framework, namely the Climates Using Interactive Suites of Intercomparisons Nested for Exoplanet Studies (CUISINES).


title: Some Results on Backward Stochastic Differential Equations of Fractional Order

abstract: In this article, we deal with fractional stochastic differential equations, so-called Caputo type fractional backward stochastic differential equations (Caputo fBSDEs, for short), and study the well-posedness of an adapted solution to Caputo fBSDEs of order $\alpha \in (\frac{1}{2},1)$ whose coefficients satisfy a Lipschitz condition. A novelty of the article is that we introduce a new weighted norm in the square integrable measurable function space that is useful for proving a fundamental lemma and its well-posedness. For this class of systems, we then show the coincidence between the notion of stochastic Volterra integral equation and the mild solution.


title: Acceleration based PSO for Multi-UAV Source-Seeking

abstract: This paper presents a novel algorithm for a swarm of unmanned aerial vehicles (UAVs) to search for an unknown source. The proposed method is inspired by the well-known PSO algorithm and is called acceleration-based particle swarm optimization (APSO) to address the source-seeking problem with no a priori information. Unlike the conventional PSO algorithm, where the particle velocity is updated based on the self-cognition and social-cognition information, here the update is performed on the particle acceleration. A theoretical analysis is provided, showing the stability and convergence of the proposed APSO algorithm. Conditions on the parameters of the resulting third order update equations are obtained using Jurys stability test. High fidelity simulations performed in CoppeliaSim, shows the improved performance of the proposed APSO algorithm for searching an unknown source when compared with the state-of-the-art particle swarm-based source seeking algorithms. From the obtained results, it is observed that the proposed method performs better than the existing methods under scenarios like different inter-UAV communication network topologies, varying number of UAVs in the swarm, different sizes of search region, restricted source movement and in the presence of measurements noise.


title: Cyclically presented groups as Labelled Oriented Graph groups

abstract: We use results concerning the Smith forms of circulant matrices to identify when cyclically presented groups have free abelianisation and so can be Labelled Oriented Graph (LOG) groups. We generalize a theorem of Odoni and Cremona to show that for a fixed defining word, whose corresponding representer polynomial has an irreducible factor that is not cyclotomic and not equal to $\pm t$, there are at most finitely many $n$ for which the corresponding $n$-generator cyclically presented group has free abelianisation. We classify when Campbell and Robertson's generalized Fibonacci groups $H(r,n,s)$ are LOG groups and when the Sieradski groups are LOG groups. We prove that amongst Johnson and Mawdesley's groups of Fibonacci type, the only ones that can be LOG groups are Gilbert-Howie groups $H(n,m)$. We conjecture that if a Gilbert-Howie group is a LOG group, then it is a Sieradski group, and prove this in certain cases (in particular, for fixed $m$, the conjecture can only be false for finitely many $n$). We obtain necessary conditions for a cyclically presented group to be a connected LOG group in terms of the representer polynomial and apply them to the Prishchepov groups.


title: Reduction Techniques to Identify Connected Components of Mutation Quivers

abstract: Important objects of study in $\tau$-tilting theory include the $\tau$-tilting pairs over an algebra on the form $kQ/I$, with $kQ$ being a path algebra and $I$ an admissible ideal. In this paper, we study aspects of the combinatorics of mutation quivers of support $\tau$-tilting pairs, simply called mutation quivers. In particular, we are interested in identifying connected components of the underlying graphs of such quivers. We give a class of algebras with two simple modules such that every algebra in the class has at most two connected components in its mutation quiver, generalizing a result by Demonet, Iyama and Jasso (2017). We also give examples of algebras with strictly more than two components in their mutation quivers.


title: Laplace-Carleson embeddings and infinity-norm admissibility

abstract: New results on the boundedness of Laplace-Carleson embeddings on $L^\infty$ and Orlicz spaces are proved. These findings are crucial for characterizing admissibility of control operators for linear diagonal semigroup systems in a variety of contexts. A particular focus is laid on essentially bounded inputs.


title: Explosive growth for a constrained Hastings-Levitov aggregation model

abstract: We consider a constrained version of the HL$(0)$ Hastings--Levitov model of aggregation in the complex plane, in which particles can only attach to the part of the cluster that has already been grown. Although one might expect that this gives rise to a non-trivial limiting shape, we prove that the cluster grows explosively: in the upper half plane, the aggregate accumulates infinite diameter as soon as it reaches positive capacity. More precisely, we show that after $nt$ particles of (half-plane) capacity $1/(2n)$ have attached, the diameter of the shape is highly concentrated around $\sqrt{t\log n}$, uniformly in $t\in [0,T]$. This illustrates a new instability phenomenon for the growth of single trees/fjords in unconstrained HL$(0)$.


title: Quantum Hamiltonian Reduction for Polar Representations

abstract: Let $G$ be a reductive complex Lie group with Lie algebra $\mathfrak{g}$ and suppose that $V$ is a polar $G$-representation. We prove the existence of a radial parts map $\mathrm{rad}: \mathcal{D}(V)^G\to A_{\kappa}$ from the $G$-invariant differential operators on $V$ to the spherical subalgebra $A_{\kappa}$ of a rational Cherednik algebra. Under mild hypotheses $\mathrm{rad}$ is shown to be surjective. If $V$ is a symmetric space, then $\mathrm{rad}$ is always surjective, and we determine exactly when $A_{\kappa}$ is a simple ring. When $A_{\kappa}$ is simple, we also show that the kernel of $\mathrm{rad}$ is $\left(\mathcal{D}(V)\tau(\mathfrak{g}\right)^G$, where $\tau:\mathfrak{g}\to \mathcal{D}(V)$ is the differential of the $G$-action.


title: The Burau representations of loop braid groups

abstract: We give a simple topological construction of the Burau representations of the loop braid groups. There are four versions: defined either on the non-extended or extended loop braid groups, and in each case there is an unreduced and a reduced version. Three are not surprising, and one could easily guess the correct matrices to assign to generators. The fourth is more subtle, and does not seem combinatorially obvious, although it is topologically very natural.


title: Big quantum cohomology of even dimensional intersections of two quadrics

abstract: For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the invariants of length 4 and show that, besides a special invariant, all genus zero Gromov-Witten invariants can be reconstructed from the invariants of length 4. In dimension 4, we compute the special invariant by solving a curve counting problem. We show that the generating function of genus zero Gromov-Witten invariants has a positive radius of convergence. We show that, although the small quantum cohomology is not semisimple, the associated Frobenius manifold is generically tame semisimple.


title: Projective metric geometry and Clifford algebras

abstract: Each vector space that is endowed with a quadratic form determines its Clifford algebra. This algebra, in turn, contains a distinguished group, known as the Lipschitz group. We show that only a quotient of this group remains meaningful in the context of projective metric geometry. This quotient of the Lipschitz group can be viewed as a point set in the projective space on the Clifford algebra and, under certain restrictions, leads to an algebraic description of so-called kinematic mappings.


title: Safe-Planner: A Single-Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non-Deterministic Domains

abstract: Replanners are efficient methods for solving non-deterministic planning problems. Despite showing good scalability, existing replanners often fail to solve problems involving a large number of misleading plans, i.e., weak plans that do not lead to strong solutions, however, due to their minimal lengths, are likely to be found at every replanning iteration. The poor performance of replanners in such problems is due to their all-outcome determinization. That is, when compiling from non-deterministic to classical, they include all compiled classical operators in a single deterministic domain which leads replanners to continually generate misleading plans. We introduce an offline replanner, called Safe-Planner (SP), that relies on a single-outcome determinization to compile a non-deterministic domain to a set of classical domains, and ordering heuristics for ranking the obtained classical domains. The proposed single-outcome determinization and the heuristics allow for alternating between different classical domains. We show experimentally that this approach can allow SP to avoid generating misleading plans but to generate weak plans that directly lead to strong solutions. The experiments show that SP outperforms state-of-the-art non-deterministic solvers by solving a broader range of problems. We also validate the practical utility of SP in real-world non-deterministic robotic tasks.


title: The longest edge in discrete and continuous long-range percolation

abstract: We consider the random connection model in which an edge between two Poisson points at distance $r$ is present with probability $g(r)$. We conduct an extreme value analysis on this model, namely by investigating the longest edge with at least one endpoint within some finite observation window, as the volume of this window tends to infinity. We show that the length of the latter, after normalizing by some appropriate centering and scaling sequences, asymptotically behaves like one of each of the three extreme value distributions, depending on choices of the probability $g(r)$. We prove our results by giving a formal construction of the model by means of a marked Poisson point process and a Poisson coupling argument adapted to this construction. In addition, we study a discrete variant of the model. We obtain parameter regimes with varying behavior in our findings and an unexpected singularity.


title: Measurement and Simulation of the Magnetic Fields from a 555 Timer Integrated Circuit using a Quantum Diamond Microscope and Finite Element Analysis

abstract: Quantum Diamond Microscope (QDM) magnetic field imaging is an emerging interrogation and diagnostic technique for integrated circuits (ICs). To date, the ICs measured with a QDM were either too complex for us to predict the expected magnetic fields and benchmark the QDM performance, or were too simple to be relevant to the IC community. In this paper, we establish a 555 timer IC as a "model system" to optimize QDM measurement implementation, benchmark performance, and assess IC device functionality. To validate the magnetic field images taken with a QDM, we used a SPICE electronic circuit simulator and Finite Element Analysis (FEA) to model the magnetic fields from the 555 die for two functional states. We compare the advantages and the results of three IC-diamond measurement methods, confirm that the measured and simulated magnetic images are consistent, identify the magnetic signatures of current paths within the device, and discuss using this model system to advance QDM magnetic imaging as an IC diagnostic tool.


title: Relaxation times for Bose-Einstein condensation by self-interaction and gravity

abstract: In this paper, we study the Bose-Einstein condensation of a scalar field with an attractive self-interaction, with or without gravitational interactions. We confirm through full dynamical simulation that the condensation timescale due to self-interaction is inversely proportional to the square of the number density $n$ and the self-coupling constant $g$ : $\tau \propto n^{-2} g^{-2}$. We also investigate the condensation timescale when self-interaction and gravity are both important by solving the Gross-Pitaevskii-Poisson equations, and find that the condensation time scales according to an additive model for the cross section. We discuss the relevance of our results to theoretical models of boson star formation by condensation.


title: Self-supervised Learning for Semi-supervised Temporal Language Grounding

abstract: Given a text description, Temporal Language Grounding (TLG) aims to localize temporal boundaries of the segments that contain the specified semantics in an untrimmed video. TLG is inherently a challenging task, as it requires comprehensive understanding of both sentence semantics and video contents. Previous works either tackle this task in a fully-supervised setting that requires a large amount of temporal annotations or in a weakly-supervised setting that usually cannot achieve satisfactory performance. Since manual annotations are expensive, to cope with limited annotations, we tackle TLG in a semi-supervised way by incorporating self-supervised learning, and propose Self-Supervised Semi-Supervised Temporal Language Grounding (S^4TLG). S^4TLG consists of two parts: (1) A pseudo label generation module that adaptively produces instant pseudo labels for unlabeled samples based on predictions from a teacher model; (2) A self-supervised feature learning module with inter-modal and intra-modal contrastive losses to learn video feature representations under the constraints of video content consistency and video-text alignment. We conduct extensive experiments on the ActivityNet-CD-OOD and Charades-CD-OOD datasets. The results demonstrate that our proposed S^4TLG can achieve competitive performance compared to fully-supervised state-of-the-art methods while only requiring a small portion of temporal annotations.