title: Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract)

abstract: We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. We instantiate this category to finite dimensional vector spaces and linear maps via quantisation functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of this extended calculus: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors


title: Proof Theory of Partially Normal Skew Monoidal Categories

abstract: The skew monoidal categories of Szlach\'anyi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to be isomorphisms but merely transformations in a particular direction. In previous work, we showed that the free skew monoidal category on a set of generating objects can be concretely presented as a sequent calculus. This calculus enjoys cut elimination and admits focusing, i.e. a subsystem of canonical derivations, which solves the coherence problem for skew monoidal categories. In this paper, we develop sequent calculi for partially normal skew monoidal categories, which are skew monoidal categories with one or more structural laws invertible. Each normality condition leads to additional inference rules and equations on them. We prove cut elimination and we show that the calculi admit focusing. The result is a family of sequent calculi between those of skew monoidal categories and (fully normal) monoidal categories. On the level of derivability, these define 8 weakenings of the (unit,tensor) fragment of intuitionistic non-commutative linear logic.


title: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits

abstract: We introduce Reverse Derivative Ascent: a categorical analogue of gradient based methods for machine learning. Our algorithm is defined at the level of so-called reverse differential categories. It can be used to learn the parameters of models which are expressed as morphisms of such categories. Our motivating example is boolean circuits: we show how our algorithm can be applied to such circuits by using the theory of reverse differential categories. Note our methodology allows us to learn the parameters of boolean circuits directly, in contrast to existing binarised neural network approaches. Moreover, we demonstrate its empirical value by giving experimental results on benchmark machine learning datasets.


title: Operations on Metric Thickenings

abstract: Many simplicial complexes arising in practice have an associated metric space structure on the vertex set but not on the complex, e.g. the Vietoris-Rips complex in applied topology. We formalize a remedy by introducing a category of simplicial metric thickenings whose objects have a natural realization as metric spaces. The properties of this category allow us to prove that, for a large class of thickenings including Vietoris-Rips and Cech thickenings, the product of metric thickenings is homotopy equivalent to the metric thickenings of product spaces, and similarly for wedge sums.


title: Behavioral Mereology: A Modal Logic for Passing Constraints

abstract: Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may assume a completely elementary set-theoretic discussion. We consider the relationship between various parts of a whole in terms of how behavioral constraints are passed between them, and give an inter-modal logic that generalizes the usual alethic modalities in the setting of symmetric accessibility.


title: Categorical semantics of a simple differential programming language

abstract: With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been two recent developments to provide the theoretical support for this types of structure. One approach, due to Abadi and Plotkin, provides a simple differential programming language. Another approach is the notion of a reverse differential category. In the present paper we bring these two approaches together. In particular, we show how an extension of reverse derivative categories models Abadi and Plotkin's language, and describe how this categorical model allows one to consider potential improvements to the operational semantics of the language.


title: Fast Non-line-of-sight Imaging with Two-step Deep Remapping

abstract: Conventional imaging only records photons directly sent from the object to the detector, while non-line-of-sight (NLOS) imaging takes the indirect light into account. Most NLOS solutions employ a transient scanning process, followed by a physical based algorithm to reconstruct the NLOS scenes. However, the transient detection requires sophisticated apparatus, with long scanning time and low robustness to ambient environment, and the reconstruction algorithms are typically time-consuming and computationally expensive. Here we propose a new NLOS solution to address the above defects, with innovations on both equipment and algorithm. We apply inexpensive commercial Lidar for detection, with much higher scanning speed and better compatibility to real-world imaging. Our reconstruction framework is deep learning based, with a generative two-step remapping strategy to guarantee high reconstruction fidelity. The overall detection and reconstruction process allows for millisecond responses, with reconstruction precision of millimeter level. We have experimentally tested the proposed solution on both synthetic and real objects, and further demonstrated our method to be applicable to full-color NLOS imaging.


title: Dualizing sup-preserving endomaps of a complete lattice

abstract: It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We have argued in (Santocanale, 2020) that this Girard quantale structure arises from the dual quantale of inf-preserving endomaps of L via Raney's transforms and extends to a Girard quantaloid structure on the full subcategory of SLatt (the category of complete lattices and sup-preserving maps) whose objects are the completely distributive lattices. It is the goal of this talk to illustrate further this connection between the quantale structure, Raney's transforms, and complete distributivity. Raney's transforms are indeed mix maps in the isomix category SLatt and most of the theory can be developed relying on naturality of these maps. We complete then the remarks on cyclic elements of [L,L] developed in (Santocanale, 2020) by investigating its dualizing elements. We argue that if [L,L] has the structure a Frobenius quantale, that is, if it has a dualizing element, not necessarily a cyclic one, then L is once more completely distributive. It follows then from a general statement on involutive residuated lattices that there is a bijection between dualizing elements of [L,L] and automorphisms of L. Finally, we also argue that if L is finite and [L,L] is autodual, then L is distributive.


title: Products in a Category with Only One Object

abstract: We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us to solve problems such as (1) Given a finite set B of elements and an element F, is F a product of members of B? (2) Is the submonoid generated by the finite set B infinite? for certain fragments of the free Cartesian monoid. These fragments include the submonoid of right invertible elements and so our results apply to the Thompson-Higman groups.


title: Transparency in Multi-Human Multi-Robot Interaction

abstract: Transparency is a key factor in improving the performance of human-robot interaction. A transparent interface allows humans to be aware of the state of a robot and to assess the progress of the tasks at hand. When multi-robot systems are involved, transparency is an even greater challenge, due to the larger number of variables affecting the behavior of the robots as a whole. Significant effort has been devoted to studying transparency when single operators interact with multiple robots. However, studies on transparency that focus on multiple human operators interacting with a multi-robot systems are limited. This paper aims to fill this gap by presenting a human-swarm interaction interface with graphical elements that can be enabled and disabled. Through this interface, we study which graphical elements are contribute to transparency by comparing four "transparency modes": (i) no transparency (no operator receives information from the robots), (ii) central transparency (the operators receive information only relevant to their personal task), (iii) peripheral transparency (the operators share information on each others' tasks), and (iv) mixed transparency (both central and peripheral). We report the results in terms of awareness, trust, and workload of a user study involving 18 participants engaged in a complex multi-robot task.


title: A Digital Corpus of St. Lawrence Island Yupik

abstract: St. Lawrence Island Yupik (ISO 639-3: ess) is an endangered polysynthetic language in the Inuit-Yupik language family indigenous to Alaska and Chukotka. This work presents a step-by-step pipeline for the digitization of written texts, and the first publicly available digital corpus for St. Lawrence Island Yupik, created using that pipeline. This corpus has great potential for future linguistic inquiry and research in NLP. It was also developed for use in Yupik language education and revitalization, with a primary goal of enabling easy access to Yupik texts by educators and by members of the Yupik community. A secondary goal is to support development of language technology such as spell-checkers, text-completion systems, interactive e-books, and language learning apps for use by the Yupik community.


title: Dislocation drag and its influence on elastic precursor decay

abstract: Plastic deformation is mediated by the creation and movement of dislocations, and at high stress the latter is dominated by dislocation drag from phonon wind. By simulating a 1-D shock impact problem we analyze the importance of accurately modeling dislocation drag and dislocation density evolution in the high stress regime. Dislocation drag is modeled according to a first-principles derivation as a function of stress and dislocation character, and its temperature and density dependence are approximated to the extent currently known. Much less is known about dislocation density evolution, leading to far greater uncertainty in these model parameters. In studying anisotropic fcc metals with character dependent dislocations, the present work generalizes similar earlier studies by other authors.


title: DNC-Aided SCL-Flip Decoding of Polar Codes

abstract: Successive-cancellation list (SCL) decoding of polar codes has been adopted for 5G. However, the performance is not very satisfactory with moderate code length. Heuristic or deep-learning-aided (DL-aided) flip algorithms have been developed to tackle this problem. The key for successful flip decoding is to accurately identify error bit positions. In this work, we propose a new flip algorithm with help of differentiable neural computer (DNC). New state and action encoding are developed for better DNC training and inference efficiency. The proposed method consists of two phases: i) a flip DNC (F-DNC) is exploited to rank most likely flip positions for multi-bit flipping; ii) if decoding still fails, a flip-validate DNC (FV-DNC) is used to re-select error bit positions for successive flip decoding trials. Supervised training methods are designed accordingly for the two DNCs. Simulation results show that proposed DNC-aided SCL-Flip (DNC-SCLF) decoding demonstrates up to 0.34dB coding gain improvement or 54.2 reduction in average number of decoding attempts compared to prior works.


title: Non-linear Plane Gravitational Waves as Space-time Defects

abstract: We consider non-linear plane gravitational waves as propagating space-time defects, and construct the Burgers vector of the waves. In the context of classical continuum systems, the Burgers vector is a measure of the deformation of the medium, and at a microscopic (atomic) scale, it is a naturally quantized object. One purpose of the present article is ultimately to probe an alternative way on how to quantize plane gravitational waves.


title: ADMM-based Adaptive Sampling Strategy for Nonholonomic Mobile Robotic Sensor Networks

abstract: This paper discusses the adaptive sampling problem in a nonholonomic mobile robotic sensor network for efficiently monitoring a spatial field. It is proposed to employ Gaussian process to model a spatial phenomenon and predict it at unmeasured positions, which enables the sampling optimization problem to be formulated by the use of the log determinant of a predicted covariance matrix at next sampling locations. The control, movement and nonholonomic dynamics constraints of the mobile sensors are also considered in the adaptive sampling optimization problem. In order to tackle the nonlinearity and nonconvexity of the objective function in the optimization problem we first exploit the linearized alternating direction method of multipliers (L-ADMM) method that can effectively simplify the objective function, though it is computationally expensive since a nonconvex problem needs to be solved exactly in each iteration. We then propose a novel approach called the successive convexified ADMM (SC-ADMM) that sequentially convexify the nonlinear dynamic constraints so that the original optimization problem can be split into convex subproblems. It is noted that both the L-ADMM algorithm and our SC-ADMM approach can solve the sampling optimization problem in either a centralized or a distributed manner. We validated the proposed approaches in 1000 experiments in a synthetic environment with a real-world dataset, where the obtained results suggest that both the L-ADMM and SC- ADMM techniques can provide good accuracy for the monitoring purpose. However, our proposed SC-ADMM approach computationally outperforms the L-ADMM counterpart, demonstrating its better practicality.


title: Kummer quartic surfaces, strict self-duality, and more

abstract: In this paper we first show that each Kummer quartic surface (a quartic surface $X$ with 16 singular points) is, in canonical coordinates, equal to its dual surface, and that the Gauss map induces a fixpoint free involution $\gamma$ on the minimal resolution $S$ of $X$. Then we study the corresponding Enriques surfaces $S/ \gamma$. We also describe in detail the remarkable properties of the most symmetric Kummer quartic, which we call the Cefal\'u quartic. We also investigate the Kummer quartic surfaces whose associated Abelian surface is isogenous to a product of elliptic curves through an isogeny with kernel $(\mathbb{Z}/2)^2$, and show the existence of polarized nodal K3 surfaces $X$ of any degree $d=2k$ with the maximal number of nodes, such that $X$ and its nodes are defined over $\mathbb{R}$. We take then as parameter space for Kummer quartics an open set in $\mathbb{P}^3$, parametrizing nondegenerate $(16_6, 16_6)$-configurations, and compare with other parameter spaces. We also extend to positive characteristic some results which were previously known over $\mathbb{C}$. We end with a section devoted to remarks on normal cubic surfaces, and providing some other examples of strictly selfdual hypersurfaces.


title: Model-agnostic interpretation by visualization of feature perturbations

abstract: Interpretation of machine learning models has become one of the most important research topics due to the necessity of maintaining control and avoiding bias in these algorithms. Since many machine learning algorithms are published every day, there is a need for novel model-agnostic interpretation approaches that could be used to interpret a great variety of algorithms. Thus, one advantageous way to interpret machine learning models is to feed different input data to understand the changes in the prediction. Using such an approach, practitioners can define relations among data patterns and a model's decision. This work proposes a model-agnostic interpretation approach that uses visualization of feature perturbations induced by the PSO algorithm. We validate our approach on publicly available datasets, showing the capability to enhance the interpretation of different classifiers while yielding very stable results compared with state-of-the-art algorithms.


title: Human Centric Accessibility Graph For Environment Analysis

abstract: Understanding design decisions in relation to the future occupants of a building is a crucial part of good design. However, limitations in tools and expertise hinder meaningful human-centric decisions during the design process. In this paper, a novel Spatial Human Accessibility graph for Planning and Environment Analysis (SHAPE) is introduced that brings together the technical challenges of discrete representations of digital models, with human-based metrics for evaluating the environment. SHAPE: does not need labeled geometry as input, works with multi-level buildings, captures surface variations (e.g., slopes in a terrain), and can be used with existing graph theory (e.g., gravity, centrality) techniques. SHAPE uses ray-casting to perform a search, generating a dense graph of all accessible locations within the environment and storing the type of travel required in a graph (e.g., up a slope, down a step). The ability to simultaneously evaluate and plan paths from multiple human factors is shown to work on digital models across room, building, and topography scales. The results enable designers and planners to evaluate options of the built environment in new ways, and at higher fidelity, that will lead to more human-friendly and accessible environments.


title: On the Evaluation of Vision-and-Language Navigation Instructions

abstract: Vision-and-Language Navigation wayfinding agents can be enhanced by exploiting automatically generated navigation instructions. However, existing instruction generators have not been comprehensively evaluated, and the automatic evaluation metrics used to develop them have not been validated. Using human wayfinders, we show that these generators perform on par with or only slightly better than a template-based generator and far worse than human instructors. Furthermore, we discover that BLEU, ROUGE, METEOR and CIDEr are ineffective for evaluating grounded navigation instructions. To improve instruction evaluation, we propose an instruction-trajectory compatibility model that operates without reference instructions. Our model shows the highest correlation with human wayfinding outcomes when scoring individual instructions. For ranking instruction generation systems, if reference instructions are available we recommend using SPICE.


title: Multi-messenger Astrophysics with the Pierre Auger Observatory

abstract: While the Pierre Auger Observatory is a very successful instrument for ultra-high energy cosmic ray (UHECR) detection, it is increasingly used as part of various types of multi-messenger searches, in which it contributes with searches for air showers induced by atomic nuclei, neutrons, photons, and neutrinos. We present an overview of the multi-messenger activities of the Pierre Auger Observatory. The overview includes: searches for ultra-high energy photons and neutrinos detected by the Pierre Auger Observatory in coincidence with gravitational wave events detected by LIGO and Virgo; searches for correlations of the arrival directions of UHECRs detected by the Pierre Auger Observatory and high-energy neutrinos detected by IceCube and ANTARES; searches for Galactic neutrons; the multi-messenger campaign "Deeper, Wider, Faster", aiming for common observations of a variety of complementary instruments. We discuss the methods and results of these searches.


title: Finite Sample Analysis of Two-Time-Scale Natural Actor-Critic Algorithm

abstract: Actor-critic style two-time-scale algorithms are one of the most popular methods in reinforcement learning, and have seen great empirical success. However, their performance is not completely understood theoretically. In this paper, we characterize the \emph{global} convergence of an online natural actor-critic algorithm in the tabular setting using a single trajectory of samples. Our analysis applies to very general settings, as we only assume ergodicity of the underlying Markov decision process. In order to ensure enough exploration, we employ an $\epsilon$-greedy sampling of the trajectory. For a fixed and small enough exploration parameter $\epsilon$, we show that the two-time-scale natural actor-critic algorithm has a rate of convergence of $\tilde{\mathcal{O}}(1/T^{1/4})$, where $T$ is the number of samples, and this leads to a sample complexity of $\Tilde{\mathcal{O}}(1/\delta^{8})$ samples to find a policy that is within an error of $\delta$ from the \emph{global optimum}. Moreover, by carefully decreasing the exploration parameter $\epsilon$ as the iterations proceed, we present an improved sample complexity of $\Tilde{\mathcal{O}}(1/\delta^{6})$ for convergence to the global optimum.


title: Relation between non trivial M2-branes and D2-branes with fluxes

abstract: We show the relation between three non trivial sectors of M2-brane theory formulated in the LCG connected among them by canonical transformations. These sectors correspond to the supermembrane theory formulated on a $M_9\times T^2$ on three different constant three-form backgrounds: M2-brane with constant $C_{-}$, M2-brane with constant $C_{\pm}$ and M2-brane with a generic constant $C_3$ denoted as CM2-brane. The first two exhibit a purely discrete supersymmetric spectrum once the central charge condition, or equivalently, the corresponding flux condition has been turned on. The CM2-brane is conjectured to share this spectral property once that fluxes $C_{\pm}$ are turned on. As shown in [1] they are duals to three inequivalent sectors of the D2-branes with specific worldvolume and background RR and NSNS quantization conditions on each case.


title: Insights into the Electron-Electron Interaction from Quantum Monte Carlo Calculations

abstract: The effective electron-electron interaction in the electron gas depends on both the density and spin local field factors. Variational Diagrammatic Quantum Monte Carlo calculations of the spin local field factor are reported and used to quantitatively present the full spin-dependent, electron-electron interaction. Together with the charge local field factor from previous Diffusion Quantum Monte Carlo calculations, we obtain the complete form of the effective electron-electron interaction in the uniform three-dimensional electron gas. Very simple quadratic formulas are presented for the local field factors that quantitatively produce all of the response functions of the electron gas at metallic densities. Exchange and correlation become increasingly important at low densities. At the compressibility divergence at rs = 5.25, both the direct (screened Coulomb) term and the charge-dependent exchange term in the electron-electron interaction at q=0 are separately divergent. However, due to large cancellations, their difference is finite, well behaved, and much smaller than either term separately. As a result, the spin contribution to the electron-electron interaction becomes an important factor. The static electron-electron interaction is repulsive as a function of density but is less repulsive for electrons with parallel spins. The effect of allowing a deformable, rather than rigid, positive background is shown to be as quantitatively important as exchange and correlation. As a simple concrete example, the electron-electron interaction is calculated using the measured bulk modulus of the alkali metals with a linear phonon dispersion. The net electron-electron interaction in lithium is attractive for wave vectors $0-2k_F$, which suggests superconductivity, and is mostly repulsive for the other alkali metals.


title: Continual Learning of Visual Concepts for Robots through Limited Supervision

abstract: For many real-world robotics applications, robots need to continually adapt and learn new concepts. Further, robots need to learn through limited data because of scarcity of labeled data in the real-world environments. To this end, my research focuses on developing robots that continually learn in dynamic unseen environments/scenarios, learn from limited human supervision, remember previously learned knowledge and use that knowledge to learn new concepts. I develop machine learning models that not only produce State-of-the-results on benchmark datasets but also allow robots to learn new objects and scenes in unconstrained environments which lead to a variety of novel robotics applications.


title: A Certainty Equivalent Merton Problem

abstract: The Merton problem is the well-known stochastic control problem of choosing consumption over time, as well as an investment mix, to maximize expected constant relative risk aversion (CRRA) utility of consumption. Merton formulated the problem and provided an analytical solution in 1970; since then a number of extensions of the original formulation have been solved. In this note we identify a certainty equivalent problem, i.e., a deterministic optimal control problem with the same optimal value function and optimal policy, for the base Merton problem, as well as a number of extensions. When time is discretized, the certainty equivalent problem becomes a second-order cone program (SOCP), readily formulated and solved using domain specific languages for convex optimization. This makes it a good starting point for model predictive control, a policy that can handle extensions that are either too cumbersome or impossible to handle exactly using standard dynamic programming methods.


title: Generic Event Boundary Detection: A Benchmark for Event Segmentation

abstract: This paper presents a novel task together with a new benchmark for detecting generic, taxonomy-free event boundaries that segment a whole video into chunks. Conventional work in temporal video segmentation and action detection focuses on localizing pre-defined action categories and thus does not scale to generic videos. Cognitive Science has known since last century that humans consistently segment videos into meaningful temporal chunks. This segmentation happens naturally, without pre-defined event categories and without being explicitly asked to do so. Here, we repeat these cognitive experiments on mainstream CV datasets; with our novel annotation guideline which addresses the complexities of taxonomy-free event boundary annotation, we introduce the task of Generic Event Boundary Detection (GEBD) and the new benchmark Kinetics-GEBD. Our Kinetics-GEBD has the largest number of boundaries (e.g. 32 of ActivityNet, 8 of EPIC-Kitchens-100) which are in-the-wild, taxonomy-free, cover generic event change, and respect human perception diversity. We view GEBD as an important stepping stone towards understanding the video as a whole, and believe it has been previously neglected due to a lack of proper task definition and annotations. Through experiment and human study we demonstrate the value of the annotations. Further, we benchmark supervised and un-supervised GEBD approaches on the TAPOS dataset and our Kinetics-GEBD. We release our annotations and baseline codes at CVPR'21 LOVEU Challenge: https://sites.google.com/view/loveucvpr21.


title: Does the Heisenberg uncertainty principle apply along the time dimension?

abstract: Does the Heisenberg uncertainty principle (HUP) apply along the time dimension in the same way it applies along the three space dimensions? Relativity says it should; current practice says no. With recent advances in measurement at the attosecond scale it is now possible to decide this question experimentally. The most direct test is to measure the time-of-arrival of a quantum particle: if the HUP applies in time, then the dispersion in the time-of-arrival will be measurably increased. We develop an appropriate metric of time-of-arrival in the standard case; extend this to include the case where there is uncertainty in time; then compare. There is -- as expected -- increased uncertainty in the time-of-arrival if the HUP applies along the time axis. The results are fully constrained by Lorentz covariance, therefore uniquely defined, therefore falsifiable. So we have an experimental question on our hands. Any definite resolution would have significant implications with respect to the role of time in quantum mechanics and relativity. A positive result would also have significant practical applications in the areas of quantum communication, attosecond physics (e.g. protein folding), and quantum computing.


title: Why do Meyer sets diffract?

abstract: Given a weak model set in a locally compact Abelian, group we construct a relatively dense set of common Bragg peaks for all its subsets that have non-trivial Bragg spectrum. Next, we construct a relatively dense set of common norm almost periods for the diffraction, pure point, absolutely continuous and singular continuous spectrum, respectively, of all its subsets. We use the Fibonacci model set to illustrate these phenomena. We extend all these results to arbitrary translation bounded weighted Dirac combs supported within some Meyer set. We complete the paper by discussing extensions of the existence of the generalized Eberlein decomposition for measures supported within some Meyer set.


title: How Good is a Video Summary? A New Benchmarking Dataset and Evaluation Framework Towards Realistic Video Summarization

abstract: Automatic video summarization is still an unsolved problem due to several challenges. The currently available datasets either have very short videos or have few long videos of only a particular type. We introduce a new benchmarking video dataset called VISIOCITY (VIdeo SummarIzatiOn based on Continuity, Intent and DiversiTY) which comprises of longer videos across six different categories with dense concept annotations capable of supporting different flavors of video summarization and other vision problems. For long videos, human reference summaries necessary for supervised video summarization techniques are difficult to obtain. We explore strategies to automatically generate multiple reference summaries from indirect ground truth present in VISIOCITY. We show that these summaries are at par with human summaries. We also present a study of different desired characteristics of a good summary and demonstrate how it is normal to have two good summaries with different characteristics. Thus we argue that evaluating a summary against one or more human summaries and using a single measure has its shortcomings. We propose an evaluation framework for better quantitative assessment of summary quality which is closer to human judgment. Lastly, we present insights into how a model can be enhanced to yield better summaries. Sepcifically, when multiple diverse ground truth summaries can exist, learning from them individually and using a combination of loss functions measuring different characteristics is better than learning from a single combined (oracle) ground truth summary using a single loss function. We demonstrate the effectiveness of doing so as compared to some of the representative state of the art techniques tested on VISIOCITY. We release VISIOCITY as a benchmarking dataset and invite researchers to test the effectiveness of their video summarization algorithms on VISIOCITY.


title: Testing Rank of Incomplete Unimodal Matrices

abstract: Several statistics-based detectors, based on unimodal matrix models, for determining the number of sources in a field are designed. A new variance ratio statistic is proposed, and its asymptotic distribution is analyzed. The variance ratio detector is shown to outperform the alternatives. It is shown that further improvements are achievable via optimally selected rotations. Numerical experiments demonstrate the performance gains of our detection methods over the baseline approach.


title: Superconducting coherence lengths of hole-doped cuprates obtained from electron-boson spectral density functions

abstract: Electron-boson spectral density functions (EBSDFs) can be obtained from measured spectra using various spectroscopic techniques, including optical spectroscopy. EBSDFs, known as glue functions, have a magnetic origin. Here, we investigated EBSDFs obtained from the measured optical spectra of hole-doped cuprates with wide doping levels, from underdoped to overdoped cuprates. The average frequency of an EBSDF provides the timescale for the spin fluctuations to form Cooper pairs. This timescale is directly associated with retarded interactions between electrons. Using this timescale and Fermi velocity, a reasonable superconducting coherence length, which reflects the size of the Cooper pair, can be extracted. The obtained coherence lengths were consistent with those measured via other experimental techniques. Therefore, the formation of Cooper pairs in cuprates can be explained by spin fluctuations, the timescales of which appear in EBSDFs. Consequently, EBSDFs provide crucial information on the timescale of the microscopic mechanism of Cooper pair formation.


title: Correspondence between the twisted $N = 2$ super-Yang-Mills and conformal Baulieu-Singer theories

abstract: We characterize the correspondence between the twisted $N=2$ super-Yang-Mills theory and the Baulieu-Singer topological theory quantized in the self-dual Landau gauges. While the first is based on an on-shell supersymmetry, the second is based on an off-shell Becchi-Rouet-Stora-Tyutin symmetry. Because of the equivariant cohomology, the twisted $N=2$ in the ultraviolet regime and Baulieu-Singer theories share the same observables, the Donaldson invariants for 4-manifolds. The triviality of the Gribov copies in the Baulieu-Singer theory in these gauges shows that working in the instanton moduli space on the twisted $N=2$ side is equivalent to working in the self-dual gauges on the Baulieu-Singer one. After proving the vanishing of the $\beta$ function in the Baulieu-Singer theory, we conclude that the twisted $N=2$ in the ultraviolet regime, in any Riemannian manifold, is correspondent to the Baulieu-Singer theory in the self-dual Landau gauges -- a conformal gauge theory defined in Euclidean flat space.


title: Autonomous Vehicle-to-Grid Design for Provision of Frequency Control Ancillary Service and Distribution Voltage Regulation

abstract: We develop a system-level design for the provision of Ancillary Service (AS) for control of electric power grids by in-vehicle batteries, suitably applied to Electric Vehicles (EVs) operated in a sharing service. An architecture for cooperation between transportation and energy management systems is introduced that enables us to design an autonomous Vehicle-to-Grid (V2G) for the provision of multi-objective AS: primary frequency control in a transmission grid and voltage amplitude regulation in a distribution grid connected to EVs. The design is based on the ordinary differential equation model of distribution voltage, which has been recently introduced as a new physics-based model, and is utilized in this paper for assessing and regulating the impact of spatiotemporal charging/charging of a large population of EVs to a distribution grid. Effectiveness of the autonomous V2G design is evaluated with numerical simulations of realistic models for transmission and distribution grids with synthetic operation data on EVs in a sharing service. In addition, we present a hardware-in-the-loop test for evaluating its feasibility in a situation where inevitable latency is involved due to power, control, and communication equipments.


title: PC4 at Age 40

abstract: This article is not a proof of the Poincar\'{e} conjecture but a discussion of the proof, its context, and some of the people who played a prominent role. It is a personal, anecdotal account. There may be omission or transpositions as these recollections are 40 years old and not supported by contemporaneous notes, but memories feel surprisingly fresh. I have not looked up old papers to check details of statements; this article is merely a download from my current mental state.


title: Magnetic-order-driven metal-insulator transitions in the quasi-one-dimensional spin-ladder compounds BaFe$_2$S$_3$ and BaFe$_2$Se$_3$

abstract: The quasi-one-dimensional spin ladder compounds, BaFe$_2$S$_3$ and BaFe$_2$Se$_3$, are investigated by infrared spectroscopy and density functional theory (DFT) calculations. We observe strong anisotropic electronic properties and an optical gap in the leg direction that is gradually filled above the antiferromagnetic (afm) ordering temperature, turning the systems into a metallic phase. Combining the optical data with the DFT calculations we associate the optical gap feature with the $p$-$d$ transition that appears only in the afm ordered state. Hence, the insulating ground state along the leg direction is attributed to Slater physics rather than Mott-type correlations.


title: Lack of simple correlation between switching current density and spin-orbit torque efficiency of perpendicularly magnetized spin-current generator/ferromagnet heterostructures

abstract: Spin-orbit torque can drive electrical switching of magnetic layers. Here, we report that at least for micrometer-sized samples there is no simple correlation between the efficiency of dampinglike spin-orbit torque ({\xi}_DL^j) and the critical switching current density of perpendicularly magnetized spin-current generator/ferromagnet heterostructures. We find that the values of {\xi}_DL^j based on switching current densities can either under- or over-estimated {\xi}_DL^j by up to tens of times in a domain-wall depinning analysis, while in the macrospin analysis based on the switching current density {\xi}_DL^j can be overestimated by up to thousands of times. When comparing the relative strengths of {\xi}_DL^j of spin-current generators, the critical switching current densities by themselves are a poor predictor.


title: PFirewall: Semantics-Aware Customizable Data Flow Control for Smart Home Privacy Protection

abstract: Internet of Things (IoT) platforms enable users to deploy home automation applications. Meanwhile, privacy issues arise as large amounts of sensitive device data flow out to IoT platforms. Most of the data flowing out to a platform actually do not trigger automation actions, while homeowners currently have no control once devices are bound to the platform. We present PFirewall, a customizable data-flow control system to enhance the privacy of IoT platform users. PFirewall automatically generates data-minimization policies, which only disclose minimum amount of data to fulfill automation. In addition, PFirewall provides interfaces for homeowners to customize individual privacy preferences by defining user-specified policies. To enforce these policies, PFirewall transparently intervenes and mediates the communication between IoT devices and the platform, without modifying the platform, IoT devices, or hub. Evaluation results on four real-world testbeds show that PFirewall reduces IoT data sent to the platform by 97% without impairing home automation, and effectively mitigates user-activity inference/tracking attacks and other privacy risks.


title: Study of Graph Theory, Distributed Average Consensus Algorithm and Centralized Algorithm

abstract: In this paper, we hope to bring closer graph theory and consensus algorithms. Firstly, we give a brief introduction to graph theory by listing a concise definition. Then we analyze and visualize some commonly used graphs. Secondly, we record an overview of the consensus algorithm, including its structure and significance. We then visualize and explore how the distributed average scheme will reach consensus node values for different probability distributions. Thirdly, we introduce a centralized algorithm about its organizations and functions. Using nodes with other distributions, we analyze how a centralized algorithm will use those nodes to affect the initialize ones. Fourthly, we bring several root-finding algorithms as a supplement to this paper. Finally, we derive conclusions and list substantial mathematical deviations and algorithms.


title: El Volumen Louder Por Favor: Code-switching in Task-oriented Semantic Parsing

abstract: Being able to parse code-switched (CS) utterances, such as Spanish+English or Hindi+English, is essential to democratize task-oriented semantic parsing systems for certain locales. In this work, we focus on Spanglish (Spanish+English) and release a dataset, CSTOP, containing 5800 CS utterances alongside their semantic parses. We examine the CS generalizability of various Cross-lingual (XL) models and exhibit the advantage of pre-trained XL language models when data for only one language is present. As such, we focus on improving the pre-trained models for the case when only English corpus alongside either zero or a few CS training instances are available. We propose two data augmentation methods for the zero-shot and the few-shot settings: fine-tune using translate-and-align and augment using a generation model followed by match-and-filter. Combining the few-shot setting with the above improvements decreases the initial 30-point accuracy gap between the zero-shot and the full-data settings by two thirds.


title: Evidence of shallow bandgap in ultra-thin 1T'-MoTe2 via infrared spectroscopy

abstract: Although van der Waals (vdW) layered MoS2 shows the phase transformation from the semiconducting 2H-phase to the metallic 1T-phase through chemical lithium intercalation, vdW MoTe2 is thermodynamically reversible between the 2H- and 1T'-phases, and can be further transformed by energetics, laser irradiation, strain or pressure, and electrical doping. Here, thickness- and temperature-dependent optical properties of 1T'-MoTe2 thin films grown by chemical vapor depsition are investigated via Fourier-transformed infrared spectroscopy. An optical gap of 28 +/- 2 meV in a 3-layer (or 2 nm) thick 1T'-MoTe2 is clearly observed at a low temperature region below 50K. No discernible optical bandgap is observed in samples thicker than ~4 nm. The observed thickness-dependent bandgap results agree with the measured dc resistivity data; the thickness-dependent 1T'-MoTe2 clearly demonstrates the metal-semiconductor transition at a crossover below the 2 nm-thick sample.


title: Principal frequency of an ultrashort laser pulse

abstract: We introduce an alternative definition of the main frequency of an ultrashort laser pulse, the principal frequency $\omega_P$. This parameter is complementary to the most accepted and widely used carrier frequency $\omega_0$. Given the fact that these ultrashort pulses, also known as transients, have a temporal width comprising only few cycles of the carrier wave, corresponding to a spectral bandwidth $\Delta\omega$ covering several octaves, $\omega_P$ describes, in a more precise way, the dynamics driven by these sources. We present examples where, for instance, $\omega_P$ is able to correctly predict the high-order harmonic cutoff independently of the carrier envelope phase. This is confirmed by solving the time-dependent Schr\"odinger equation in reduced dimensions, supplemented with the time-analysis of the quantum spectra, where it is possible to observe how the sub-cycle electron dynamics is better described using $\omega_P$. The concept of $\omega_P$, however, can be applied to a large variety of scenarios, not only within the strong field physics domain.


title: Self-Calibrating Indoor Localization with Crowdsourcing Fingerprints and Transfer Learning

abstract: Precise indoor localization is one of the key requirements for fifth Generation (5G) and beyond, concerning various wireless communication systems, whose applications span different vertical sectors. Although many highly accurate methods based on signal fingerprints have been lately proposed for localization, their vast majority faces the problem of degrading performance when deployed in indoor systems, where the propagation environment changes rapidly. In order to address this issue, the crowdsourcing approach has been adopted, according to which the fingerprints are frequently updated in the respective database via user reporting. However, the late crowdsourcing techniques require precise indoor floor plans and fail to provide satisfactory accuracy. In this paper, we propose a low-complexity self-calibrating indoor crowdsourcing localization system that combines historical with frequently updated fingerprints for high precision user positioning. We present a multi-kernel transfer learning approach which exploits the inner relationship between the original and updated channel measurements. Our indoor laboratory experimental results with the proposed approach and using Nexus 5 smartphones at 2.4GHz with 20MHz bandwidth have shown the feasibility of about one meter level accuracy with a reasonable fingerprint update overhead.


title: Artificial neural network approach for turbulence models: A local framework

abstract: A local artificial neural network (LANN) framework is developed for turbulence modeling. The Reynolds-averaged Navier-Stokes (RANS) unclosed terms are reconstructed by artificial neural network (ANN) based on the local coordinate system which is orthogonal to the curved walls. We verify the proposed model for the flows over periodic hills. The correlation coefficients of the RANS unclosed terms predicted by the LANN model can be made larger than 0.96 in an a priori analysis, and the relative error of the unclosed terms can be made smaller than 18%. In an a posteriori analysis, detailed comparisons are made on the results of RANS simulations using the LANN and Spalart-Allmaras (SA) models. It is shown that the LANN model performs better than the SA model in the prediction of the average velocity, wall-shear stress and average pressure, which gives the results that are essentially indistinguishable from the direct numerical simulation (DNS) data. The LANN model trained in low Reynolds number Re = 2800 can be directly applied in the cases of high Reynolds numbers Re = 5600, 10595, 19000, 37000 with accurate predictions. Furthermore, the LANN model is verified for flows over periodic hills with varying slopes. These results suggest that the LANN framework has a great potential to be applied to complex turbulent flows with curved walls.


title: A remark on the relationship $1/p = 1/p_1 + 1/p_2$ for boundedness of bilinear pseudo-differential operators with exotic symbols

abstract: We consider the bilinear pseudo-differential operators with symbols in the bilinear H\"ormander classes $BS_{\rho, \rho}^m$, $0 < \rho < 1$. In this paper, we show that the condition $1/p = 1/p_1 + 1/p_2$ is necessary when we consider the boudnedness from $H^{p_1} \times H^{p_2}$ to $L^p$ of those operators for the critical case.


title: Ocean Circulation on Enceladus With a High Versus Low Salinity Ocean

abstract: Previous studies that have considered the ocean circulation on Enceladus have generally assumed the salinity to be Earth-like. However, according to observations and geochemical constraints, the salinity of Enceladus' ocean is likely to be lower, and importantly, it is probably low enough to reverse the sign of thermal expansivity. We investigate the ocean circulation and stratification of Enceladus' ocean using a combination of theoretical arguments and simulations using the MITgcm. We find that, if the salinity is high, the whole ocean is unstratified, and convection dominates the entire ocean. However, if the salinity is low enough, there exists a stratified layer in the upper ocean, whose thickness depends on the magnitude of the turbulent vertical diffusivity, which remains poorly constrained. Such a layer can suppress the vertical flux of heat and tracers, thereby affecting the heat flux to the ice shell and leading to a vertical tracer mixing time scale across the stratified layer of at least hundreds of years. This time scale is inconsistent with a previous estimate of vertical ocean mixing of several years, based on the size of detected silica nanoparticles in the plumes, leading us to conclude that either the salinity of Enceladus' ocean is higher than previously suggested or the interpretation of silica nanoparticle observations has to be reconsidered.


title: Deep Learning for Scene Classification: A Survey

abstract: Scene classification, aiming at classifying a scene image to one of the predefined scene categories by comprehending the entire image, is a longstanding, fundamental and challenging problem in computer vision. The rise of large-scale datasets, which constitute the corresponding dense sampling of diverse real-world scenes, and the renaissance of deep learning techniques, which learn powerful feature representations directly from big raw data, have been bringing remarkable progress in the field of scene representation and classification. To help researchers master needed advances in this field, the goal of this paper is to provide a comprehensive survey of recent achievements in scene classification using deep learning. More than 200 major publications are included in this survey covering different aspects of scene classification, including challenges, benchmark datasets, taxonomy, and quantitative performance comparisons of the reviewed methods. In retrospect of what has been achieved so far, this paper is also concluded with a list of promising research opportunities.


title: Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid CNN

abstract: Convolutional Neural Networks (CNN) has been extensively studied for Hyperspectral Image Classification (HSIC) more specifically, 2D and 3D CNN models have proved highly efficient in exploiting the spatial and spectral information of Hyperspectral Images. However, 2D CNN only considers the spatial information and ignores the spectral information whereas 3D CNN jointly exploits spatial-spectral information at a high computational cost. Therefore, this work proposed a lightweight CNN (3D followed by 2D-CNN) model which significantly reduces the computational cost by distributing spatial-spectral feature extraction across a lighter model alongside a preprocessing that has been carried out to improve the classification results. Five benchmark Hyperspectral datasets (i.e., SalinasA, Salinas, Indian Pines, Pavia University, Pavia Center, and Botswana) are used for experimental evaluation. The experimental results show that the proposed pipeline outperformed in terms of generalization performance, statistical significance, and computational complexity, as compared to the state-of-the-art 2D/3D CNN models except commonly used computationally expensive design choices.


title: Numerical aspects of shot noise representation of infinitely divisible laws and related processes

abstract: The ever-growing appearance of infinitely divisible laws and related processes in various areas, such as physics, mathematical biology, finance and economics, has fuelled an increasing demand for numerical methods of sampling and sample path generation. In this survey, we review shot noise representation with a view towards sampling infinitely divisible laws and generating sample paths of related processes. In contrast to many conventional methods, the shot noise approach remains practical even in the multidimensional setting. We provide a brief introduction to shot noise representations of infinitely divisible laws and related processes, and discuss the truncation of such series representations towards the simulation of infinitely divisible random vectors, L\'evy processes, infinitely divisible processes and fields and L\'evy-driven stochastic differential equations. Essential notions and results towards practical implementation are outlined, and summaries of simulation recipes are provided throughout along with numerical illustrations. Some future research directions are highlighted.


title: Modern Machine and Deep Learning Systems as a way to achieve Man-Computer Symbiosis

abstract: Man-Computer Symbiosis (MCS) was originally envisioned by the famous computer pioneer J.C.R. Licklider in 1960, as a logical evolution of the then inchoate relationship between computer and humans. In his paper, Licklider provided a set of criteria by which to judge if a Man-Computer System is a symbiotic one, and also provided some predictions about such systems in the near and far future. Since then, innovations in computer networks and the invention of the Internet were major developments towards that end. However, with most systems based on conventional logical algorithms, many aspects of Licklider's MCS remained unfulfilled. This paper explores the extent to which modern machine learning systems in general, and deep learning ones in particular best exemplify MCS systems, and why they are the prime contenders to achieve a true Man-Computer Symbiosis as described by Licklider in his original paper in the future. The case for deep learning is built by illustrating each point of the original criteria as well as the criteria laid by subsequent research into MCS systems, with specific examples and applications provided to strengthen the arguments. The efficacy of deep neural networks in achieving Artificial General Intelligence, which would be the perfect version of an MCS system is also explored.


title: Towards Entity Alignment in the Open World: An Unsupervised Approach

abstract: Entity alignment (EA) aims to discover the equivalent entities in different knowledge graphs (KGs). It is a pivotal step for integrating KGs to increase knowledge coverage and quality. Recent years have witnessed a rapid increase of EA frameworks. However, state-of-the-art solutions tend to rely on labeled data for model training. Additionally, they work under the closed-domain setting and cannot deal with entities that are unmatchable. To address these deficiencies, we offer an unsupervised framework that performs entity alignment in the open world. Specifically, we first mine useful features from the side information of KGs. Then, we devise an unmatchable entity prediction module to filter out unmatchable entities and produce preliminary alignment results. These preliminary results are regarded as the pseudo-labeled data and forwarded to the progressive learning framework to generate structural representations, which are integrated with the side information to provide a more comprehensive view for alignment. Finally, the progressive learning framework gradually improves the quality of structural embeddings and enhances the alignment performance by enriching the pseudo-labeled data with alignment results from the previous round. Our solution does not require labeled data and can effectively filter out unmatchable entities. Comprehensive experimental evaluations validate its superiority.


title: How Thermal Annealing Process Determines the Inherent Structure Evolution in Amorphous Silicon: An Investigation from Atomistic Time Scales to Experimental Time Scales

abstract: The annealing treatment in the advanced manufacturing process, e.g., laser-assisted manufacturing, determines the final state of glasses which is critical to its thermal, electrical and mechanical properties. Energy barriers analysis based on the potential energy surface offers an effective way to study the microscopic evolution of the inherent structures during the annealing process in a broadening timescale range, i.e., from atomistic timescale ( ~ ps) to experimental timescale (~ s). Here, we find the distribution activation energy barriers in the potential energy surface can be divided into three regimes 1, the distribution mainly follows the Rayleigh distribution when the annealing rate Rdot < 1e15 K/s; 2, two different modes, i.e., an exponentially decaying mode and a Rayleigh distribution mode, are found in the spectra when the annealing rate 1e15 K/s < Rdot < instant; 3, the spectra is almost following the exponentially decaying mode when the system is under the instant annealing process. However, the spectra of relaxation energy barriers only show an exponentially decaying mode with a decreasing decay parameter. A multi timescale model for any specific annealing rate, which is beyond the limit of the conventional atomistic simulations, i.e., molecular dynamics simulations, is then proposed based on the distribution of the energy barriers. Such a model enables quantitative explanations and predictions of the heat release during the annealing process of the nanocalorimetry measurements or laser-assisted manufacturing.


title: Application of Lexical Features Towards Improvement of Filipino Readability Identification of Children's Literature

abstract: Proper identification of grade levels of children's reading materials is an important step towards effective learning. Recent studies in readability assessment for the English domain applied modern approaches in natural language processing (NLP) such as machine learning (ML) techniques to automate the process. There is also a need to extract the correct linguistic features when modeling readability formulas. In the context of the Filipino language, limited work has been done [1, 2], especially in considering the language's lexical complexity as main features. In this paper, we explore the use of lexical features towards improving the development of readability identification of children's books written in Filipino. Results show that combining lexical features (LEX) consisting of type-token ratio, lexical density, lexical variation, foreign word count with traditional features (TRAD) used by previous works such as sentence length, average syllable length, polysyllabic words, word, sentence, and phrase counts increased the performance of readability models by almost a 5% margin (from 42% to 47.2%). Further analysis and ranking of the most important features were shown to identify which features contribute the most in terms of reading complexity.


title: Probing Multiple Electric Dipole Forbidden Optical Transitions in Highly Charged Nickel Ions

abstract: Highly charged ions (HCIs) are promising candidates for the next generation of atomic clocks, owing to their tightly bound electron cloud, which significantly suppresses the common environmental disturbances to the quantum oscillator. Here we propose and pursue an experimental strategy that, while focusing on various HCIs of a single atomic element, keeps the number of candidate clock transitions as large as possible. Following this strategy, we identify four adjacent charge states of nickel HCIs that offer as many as six optical transitions. Experimentally, we demonstrated the essential capability of producing these ions in the low-energy compact Shanghai-Wuhan Electron Beam Ion Trap. We measured the wavelengths of four magnetic-dipole ($M$1) and one electric-quadrupole ($E$2) clock transitions with an accuracy of several ppm with a novel calibration method; two of these lines were observed and characterized for the first time in controlled laboratory settings. Compared to the earlier determinations, our measurements improved wavelength accuracy by an order of magnitude. Such measurements are crucial for constraining the range of laser wavelengths for finding the "needle in a haystack" narrow lines. In addition, we calculated frequencies and quality factors, evaluated sensitivity of these six transitions to the hypothetical variation of the electromagnetic fine structure constant $\alpha$ needed for fundamental physics applications. We argue that all the six transitions in nickel HCIs offer intrinsic immunity to all common perturbations of quantum oscillators, and one of them has the projected fractional frequency uncertainty down to the remarkable level of 10$^{-19}$.


title: Arabic aspect based sentiment analysis using bidirectional GRU based models

abstract: Aspect-based Sentiment analysis (ABSA) accomplishes a fine-grained analysis that defines the aspects of a given document or sentence and the sentiments conveyed regarding each aspect. This level of analysis is the most detailed version that is capable of exploring the nuanced viewpoints of the reviews. The bulk of study in ABSA focuses on English with very little work available in Arabic. Most previous work in Arabic has been based on regular methods of machine learning that mainly depends on a group of rare resources and tools for analyzing and processing Arabic content such as lexicons, but the lack of those resources presents another challenge. In order to address these challenges, Deep Learning (DL)-based methods are proposed using two models based on Gated Recurrent Units (GRU) neural networks for ABSA. The first is a DL model that takes advantage of word and character representations by combining bidirectional GRU, Convolutional Neural Network (CNN), and Conditional Random Field (CRF) making up the (BGRU-CNN-CRF) model to extract the main opinionated aspects (OTE). The second is an interactive attention network based on bidirectional GRU (IAN-BGRU) to identify sentiment polarity toward extracted aspects. We evaluated our models using the benchmarked Arabic hotel reviews dataset. The results indicate that the proposed methods are better than baseline research on both tasks having 39.7% enhancement in F1-score for opinion target extraction (T2) and 7.58% in accuracy for aspect-based sentiment polarity classification (T3). Achieving F1 score of 70.67% for T2, and accuracy of 83.98% for T3.


title: Ear Recognition

abstract: Ear recognition can be described as a revived scientific field. Ear biometrics were long believed to not be accurate enough and held a secondary place in scientific research, being seen as only complementary to other types of biometrics, due to difficulties in measuring correctly the ear characteristics and the potential occlusion of the ear by hair, clothes and ear jewellery. However, recent research has reinstated them as a vivid research field, after having addressed these problems and proven that ear biometrics can provide really accurate identification and verification results. Several 2D and 3D imaging techniques, as well as acoustical techniques using sound emission and reflection, have been developed and studied for ear recognition, while there have also been significant advances towards a fully automated recognition of the ear. Furthermore, ear biometrics have been proven to be mostly non-invasive, adequately permanent and accurate, and hard to spoof and counterfeit. Moreover, different ear recognition techniques have proven to be as effective as face recognition ones, thus providing the opportunity for ear recognition to be used in identification and verification applications. Finally, even though some issues still remain open and require further research, the scientific field of ear biometrics has proven to be not only viable, but really thriving.


title: Lensing of Dirac monopole in Berry's phase

abstract: Berry's phase, which is associated with the slow cyclic motion with a finite period, looks like a Dirac monopole when seen from far away but smoothly changes to a dipole near the level crossing point in the parameter space in an exactly solvable model. This topology change of Berry's phase is visualized as a result of lensing effect; the monopole supposed to be located at the level crossing point appears at the displaced point when the variables of the model deviate from the precisely adiabatic movement. The effective magnetic field generated by Berry's phase is determined by a simple geometrical consideration of the magnetic flux coming from the displaced Dirac monopole.


title: Iterative Weak Learnability and Multi-Class AdaBoost

abstract: We construct an efficient recursive ensemble algorithm for the multi-class classification problem, inspired by SAMME (Zhu, Zou, Rosset, and Hastie (2009)). We strengthen the weak learnability condition in Zhu, Zou, Rosset, and Hastie (2009) by requiring that the weak learnability condition holds for any subset of labels with at least two elements. This condition is simpler to check than many proposed alternatives (e.g., Mukherjee and Schapire (2013)). As SAMME, our algorithm is reduced to the Adaptive Boosting algorithm (Schapire and Freund (2012)) if the number of labels is two, and can be motivated as a functional version of the steepest descending method to find an optimal solution. In contrast to SAMME, our algorithm's final hypothesis converges to the correct label with probability 1. For any number of labels, the probability of misclassification vanishes exponentially as the training period increases. The sum of the training error and an additional term, that depends only on the sample size, bounds the generalization error of our algorithm as the Adaptive Boosting algorithm.


title: On $-1$-differential uniformity of ternary APN power functions

abstract: Very recently, a new concept called multiplicative differential and the corresponding $c$-differential uniformity were introduced by Ellingsen et al. A function $F(x)$ over finite field $\mathrm{GF}(p^n)$ to itself is called $c$-differential uniformity $\delta$, or equivalent, $F(x)$ is differentially $(c,\delta)$ uniform, when the maximum number of solutions $x\in\mathrm{GF}(p^n)$ of $F(x+a)-F(cx)=b$, $a,b,c\in\mathrm{GF}(p^n)$, $c\neq1$ if $a=0$, is equal to $\delta$. The objective of this paper is to study the $-1$-differential uniformity of ternary APN power functions $F(x)=x^d$ over $\mathrm{GF}(3^n)$. We obtain ternary power functions with low $-1$-differential uniformity, and some of them are almost perfect $-1$-nonlinear.


title: Streamer Self-Focusing in External Longitudinal Magnetic Field

abstract: The numerical simulation of the development of a streamer discharge in a gap with an external longitudinal magnetic field was used to demonstrate the self-focusing of such discharges. Self-focusing is caused by a sharp deceleration of the radial ionization wave due to a change in the electron energy distribution function, a decrease in the average electron energy, the rate of gas ionization and the electron mobility in crossed electric and magnetic fields as compared to the case of the discharge development without a magnetic field. The self-focusing effect of a streamer discharge in an external longitudinal magnetic field is observed for both positive and negative pulse polarities. The paper proposes an estimate of the critical value of the magnetic field, which makes it possible to control the development of pulsed high-voltage discharges at various gas pressures.


title: RESPER: Computationally Modelling Resisting Strategies in Persuasive Conversations

abstract: Modelling persuasion strategies as predictors of task outcome has several real-world applications and has received considerable attention from the computational linguistics community. However, previous research has failed to account for the resisting strategies employed by an individual to foil such persuasion attempts. Grounded in prior literature in cognitive and social psychology, we propose a generalised framework for identifying resisting strategies in persuasive conversations. We instantiate our framework on two distinct datasets comprising persuasion and negotiation conversations. We also leverage a hierarchical sequence-labelling neural architecture to infer the aforementioned resisting strategies automatically. Our experiments reveal the asymmetry of power roles in non-collaborative goal-directed conversations and the benefits accrued from incorporating resisting strategies on the final conversation outcome. We also investigate the role of different resisting strategies on the conversation outcome and glean insights that corroborate with past findings. We also make the code and the dataset of this work publicly available at https://github.com/americast/resper.


title: Comparison of Minimization Methods for Rosenbrock Functions

abstract: This paper gives an in-depth review of the most common iterative methods for unconstrained optimization using two functions that belong to a class of Rosenbrock functions as a performance test. This study covers the Steepest Gradient Descent Method, the Newton-Raphson Method, and the Fletcher-Reeves Conjugate Gradient method. In addition, four different step-size selecting methods including fixed-step-size, variable step-size, quadratic-fit, and golden section method were considered. Due to the computational nature of solving minimization problems, testing the algorithms is an essential part of this paper. Therefore, an extensive set of numerical test results is also provided to present an insightful and a comprehensive comparison of the reviewed algorithms. This study highlights the differences and the trade-offs involved in comparing these algorithms.


title: High-Harmonic Generation in the Water Window from mid-IR Laser Sources

abstract: We investigate the harmonic response of neon atoms to mid-IR laser fields (2000-3000nm) using a single-active electron (SAE) model and the fully ab initio all-electron R-Matrix with Time-dependence (RMT) method. The laser peak intensity and wavelength are varied to find suitable parameters for high-harmonic imaging in the water window. Comparison of the SAE and RMT results shows qualitative agreement between them as well as parameters such as the cutoff frequency predicted by the classical three-step model. However, there are significant differences in the details, particularly in the predicted conversion efficiency. These details indicate the possible importance of multi-electron effects, as well as a strong sensitivity of quantitative predictions on specific aspects of the numerical model.


title: Exploring the Complicated Relationship Between Patents and Standards, With a Particular Focus on the Telecommunications Sector

abstract: While patents and standards have been identified as essential driving components of innovation and market growth, the inclusion of a patent in a standard poses many difficulties. These difficulties arise from the contradicting natures of patents and standards, which makes their combination really challenging, but, also, from the opposing business and market strategies of different patent owners involved in the standardisation process. However, a varying set of policies has been adopted to address the issues occurring from the unavoidable inclusion of patents in standards concerning certain industry sectors with a constant high degree of innovation, such as telecommunications. As these policies have not always proven adequate enough, constant efforts are being made to improve and expand them. The intriguing and complicated relationship between patents and standards is finally examined through a review of the use cases of well-known standards of the telecommunications sector which include a growing set of essential patents.


title: Robust and Secure Sum-Rate Maximization for Multiuser MISO Downlink Systems with Self-sustainable IRS

abstract: This paper investigates robust and secure multiuser multiple-input single-output (MISO) downlink communications assisted by a self-sustainable intelligent reflection surface (IRS), which can simultaneously reflect and harvest energy from the received signals. We study the joint design of beamformers at an access point (AP) and the phase shifts as well as the energy harvesting schedule at the IRS for maximizing the system sum-rate. The design is formulated as a non-convex optimization problem taking into account the wireless energy harvesting capability of IRS elements, secure communications, and the robustness against the impact of channel state information (CSI) imperfection. Subsequently, we propose a computationally-efficient iterative algorithm to obtain a suboptimal solution to the design problem. In each iteration, S-procedure and the successive convex approximation are adopted to handle the intermediate optimization problem. Our simulation results unveil that: 1) there is a non-trivial trade-off between the system sum-rate and the self-sustainability of the IRS; 2) the performance gain achieved by the proposed scheme is saturated with a large number of energy harvesting IRS elements; 3) an IRS equipped with small bit-resolution discrete phase shifters is sufficient to achieve a considerable system sum-rate of the ideal case with continuous phase shifts.


title: ALMA observation of the protoplanetary disk around WW Cha: faint double-peaked ring and asymmetric structure

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) Band 6 observations of dust continuum emission of the disk around WW Cha. The dust continuum image shows a smooth disk structure with a faint (low-contrast) dust ring, extending from $\sim 40$ au to $\sim 70$ au, not accompanied by any gap. We constructed the simple model to fit the visibility of the observed data by using MCMC method and found that the bump (we call the ring without the gap the bump) has two peaks at $40$ au and $70$ au. The residual map between the model and observation indicates asymmetric structures at the center and the outer region of the disk. These asymmetric structures are also confirmed by model-independent analysis of the imaginary part of the visibility. The asymmetric structure at the outer region is consistent with a spiral observed by SPHERE. To constrain physical quantities of the disk (dust density and temperature), we carried out radiative transfer simulations. We found that the midplane temperature around the outer peak is close to the freezeout temperature of CO on water ice ($\sim 30$ K). The temperature around the inner peak is about $50$ K, which is close to the freezeout temperature of H$_2$S and also close to the sintering temperature of several species. We also discuss the size distribution of the dust grains using the spectral index map obtained within the Band 6 data.


title: $\alpha$-Information-theoretic Privacy Watchdog and Optimal Privatization Scheme

abstract: This paper proposes an $\alpha$-lift measure for data privacy and determines the optimal privatization scheme that minimizes the $\alpha$-lift in the watchdog method. To release data $X$ that is correlated with sensitive information $S$, the ratio $l(s,x) = \frac{p(s|x)}{p(s)} $ denotes the `lift' of the posterior belief on $S$ and quantifies data privacy. The $\alpha$-lift is proposed as the $L_\alpha$-norm of the lift: $\ell_{\alpha}(x) = \| (\cdot,x) \|_{\alpha} = (E[l(S,x)^\alpha])^{1/\alpha}$. This is a tunable measure: When $\alpha < \infty$, each lift is weighted by its likelihood of appearing in the dataset (w.r.t. the marginal probability $p(s)$); For $\alpha = \infty$, $\alpha$-lift reduces to the existing maximum lift. To generate the sanitized data $Y$, we adopt the privacy watchdog method using $\alpha$-lift: Obtain $\mathcal{X}_{\epsilon}$ containing all $x$'s such that $\ell_{\alpha}(x) > e^{\epsilon}$; Apply the randomization $r(y|x)$ to all $x \in \mathcal{X}_{\epsilon}$, while all other $x \in \mathcal{X} \setminus \mathcal{X}_{\epsilon}$ are published directly. For the resulting $\alpha$-lift $\ell_{\alpha}(y)$, it is shown that the Sibson mutual information $I_{\alpha}^{S}(S;Y)$ is proportional to $E[ \ell_{\alpha}(y)]$. We further define a stronger measure $\bar{I}_{\alpha}^{S}(S;Y)$ using the worst-case $\alpha$-lift: $\max_{y} \ell_{\alpha}(y)$. We prove that the optimal randomization $r^*(y|x)$ that minimizes both $I_{\alpha}^{S}(S;Y)$ and $\bar{I}_{\alpha}^{S}(S;Y)$ is $X$-invariant, i.e., $r^*(y|x) = R(y), \forall x\in \mathcal{X}_{\epsilon}$ for any probability distribution $R$ over $y \in \mathcal{X}_{\epsilon}$. Numerical experiments show that $\alpha$-lift can provide flexibility in the privacy-utility tradeoff.


title: A Unified Paths Perspective for Pruning at Initialization

abstract: A number of recent approaches have been proposed for pruning neural network parameters at initialization with the goal of reducing the size and computational burden of models while minimally affecting their training dynamics and generalization performance. While each of these approaches have some amount of well-founded motivation, a rigorous analysis of the effect of these pruning methods on network training dynamics and their formal relationship to each other has thus far received little attention. Leveraging recent theoretical approximations provided by the Neural Tangent Kernel, we unify a number of popular approaches for pruning at initialization under a single path-centric framework. We introduce the Path Kernel as the data-independent factor in a decomposition of the Neural Tangent Kernel and show the global structure of the Path Kernel can be computed efficiently. This Path Kernel decomposition separates the architectural effects from the data-dependent effects within the Neural Tangent Kernel, providing a means to predict the convergence dynamics of a network from its architecture alone. We analyze the use of this structure in approximating training and generalization performance of networks in the absence of data across a number of initialization pruning approaches. Observing the relationship between input data and paths and the relationship between the Path Kernel and its natural norm, we additionally propose two augmentations of the SynFlow algorithm for pruning at initialization.


title: A General Framework Combining Generative Adversarial Networks and Mixture Density Networks for Inverse Modeling in Microstructural Materials Design

abstract: Microstructural materials design is one of the most important applications of inverse modeling in materials science. Generally speaking, there are two broad modeling paradigms in scientific applications: forward and inverse. While the forward modeling estimates the observations based on known parameters, the inverse modeling attempts to infer the parameters given the observations. Inverse problems are usually more critical as well as difficult in scientific applications as they seek to explore the parameters that cannot be directly observed. Inverse problems are used extensively in various scientific fields, such as geophysics, healthcare and materials science. However, it is challenging to solve inverse problems, because they usually need to learn a one-to-many non-linear mapping, and also require significant computing time, especially for high-dimensional parameter space. Further, inverse problems become even more difficult to solve when the dimension of input (i.e. observation) is much lower than that of output (i.e. parameters). In this work, we propose a framework consisting of generative adversarial networks and mixture density networks for inverse modeling, and it is evaluated on a materials science dataset for microstructural materials design. Compared with baseline methods, the results demonstrate that the proposed framework can overcome the above-mentioned challenges and produce multiple promising solutions in an efficient manner.


title: pdfPapers: shell-script utilities for frequency-based multi-word phrase extraction from PDF documents

abstract: Biomedical research is intensive in processing information in the previously published papers. This motivated a lot of efforts to provide tools for text mining and information extraction from PDF documents over the past decade. The *nix (Unix/Linux) operating systems offer many tools for working with text files, however, very few such tools are available for processing the contents of PDF files. This paper reports our effort to develop shell script utilities for *nix systems with the core functionality focused on viewing and searching multiple PDF documents combining logical and regular expressions, and enabling more reliable text extraction from PDF documents with subsequent manipulation of the resulting blocks of text. Furthermore, a procedure for extracting the most frequently occurring multi-word phrases was devised and then demonstrated on several scientific papers in life sciences. Our experiments revealed that the procedure is surprisingly robust to deficiencies in text extraction and the actual scoring function used to rank the phrases in terms of their importance or relevance. The keyword relevance is strongly context dependent, the word stemming did not provide any recognizable advantage, and the stop-words should only be removed from the beginning and the end of phrases. In addition, the developed utilities were used to convert the list of acronyms and the index from a PDF e-book into a large list of biochemical terms which can be exploited in other text mining tasks. All shell scripts and data files are available in a public repository named \pp\ on the Github. The key lesson learned in this work is that semi-automated methods combining the power of algorithms with the capabilities of research experience are the most promising for improving the research efficiency.


title: Generalized Damped Newton Algorithms in Nonsmooth Optimization via Second-Order Subdifferentials

abstract: The paper proposes and develops new globally convergent algorithms of the generalized damped Newton type for solving important classes of nonsmooth optimization problems. These algorithms are based on the theory and calculations of second-order subdifferentials of nonsmooth functions with employing the machinery of second-order variational analysis and generalized differentiation. First we develop a globally superlinearly convergent damped Newton-type algorithm for the class of continuously differentiable functions with Lipschitzian gradients, which are nonsmooth of second order. Then we design such a globally convergent algorithm to solve a structured class of nonsmooth quadratic composite problems with extended-real-valued cost functions, which typically arise in machine learning and statistics. Finally, we present the results of numerical experiments and compare the performance of our main algorithm applied to an important class of Lasso problems with those achieved by other first-order and second-order optimization algorithms.


title: Self Sparse Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are an unsupervised generative model that learns data distribution through adversarial training. However, recent experiments indicated that GANs are difficult to train due to the requirement of optimization in the high dimensional parameter space and the zero gradient problem. In this work, we propose a Self Sparse Generative Adversarial Network (Self-Sparse GAN) that reduces the parameter space and alleviates the zero gradient problem. In the Self-Sparse GAN, we design a Self-Adaptive Sparse Transform Module (SASTM) comprising the sparsity decomposition and feature-map recombination, which can be applied on multi-channel feature maps to obtain sparse feature maps. The key idea of Self-Sparse GAN is to add the SASTM following every deconvolution layer in the generator, which can adaptively reduce the parameter space by utilizing the sparsity in multi-channel feature maps. We theoretically prove that the SASTM can not only reduce the search space of the convolution kernel weight of the generator but also alleviate the zero gradient problem by maintaining meaningful features in the Batch Normalization layer and driving the weight of deconvolution layers away from being negative. The experimental results show that our method achieves the best FID scores for image generation compared with WGAN-GP on MNIST, Fashion-MNIST, CIFAR-10, STL-10, mini-ImageNet, CELEBA-HQ, and LSUN bedrooms, and the relative decrease of FID is 4.76% ~ 21.84%.


title: Direct imaging for the moment tensor point sources of elastic waves

abstract: We investigate an inverse source problem of the time-harmonic elastic wave equation. Some novel sampling-type numerical schemes are proposed to identify the moment tensor point sources in the Lam\'e system from near-field measurements. Rigorous theoretical justifications are provided to show that the locations and moment tensors of the elastic sources can be uniquely determined from the multi-frequency displacement data. Several numerical examples are also presented to illustrate the validity and robustness of the proposed method.


title: Routing Packet Traffic via Enhanced Access Control List for Network Congestion Avoidance

abstract: Filtering packet traffic and rules of permit/denial of data packets into network nodes are granted by facilitating Access Control Lists (ACL). This paper proposes a procedure of adding a link load threshold value to the access control list rules option, which acts on the basis of threshold value. The ultimate goal of this enhanced ACL is to avoid congestion in targeted subnetworks. The link load threshold value allows to decide that packet traffic is rerouted by the router to avoid congestion, or packet drop happens on the basis of packet priorities. The packet rerouting in case of high traffic loads, based on new packet filtering procedure for congestion avoidance, will result in the reduction of the overall packet drop ratio, and of over-subscription in congested subnetworks.


title: Deterministic influence of substrate-induced oxygen vacancy diffusion on $Bi_{2}WO_{6}$ thin film growth

abstract: In oxide epitaxy, the growth temperature and background oxygen partial pressure are considered as the most critical factors that control the phase stability of an oxide thin film. Here, we report an unusual case wherein diffusion of oxygen vacancies from the substrate overpowers the growth temperature and oxygen partial pressure to deterministically influence the phase stability of $Bi_{2}WO_{6}$ thin film grown by the pulsed laser deposition technique. We show that when grown on an oxygen-deficient $SrTiO_{3}$ substrate, the $Bi_{2}WO_{6}$ film exhibits a mixture of (001) and (100)/(010)-oriented domains alongside (001)-oriented impurity $WO_{3}$ phases. The (100)/(010)-oriented $Bi_{2}WO_{6}$ phases form a self-organized 3D nanopillar-structure, yielding a very rough film surface morphology. Oxygen annealing of the substrate or using a few monolayer-thick $SrRuO_{3}$ as the blocking layer for oxygen vacancy diffusion enables growing high-quality single-crystalline $Bi_{2}WO_{6}$ (001) thin film exhibiting an atomically smooth film surface with step-terrace structure. We propose that the large oxide-ion conductivity of $Bi_{2}WO_{6}$ facilitates diffusion of oxygen vacancies from the substrate during the film growth, accelerating the evaporation of volatile Bismuth (Bi), which hinders the epitaxial growth. Our work provides a general guideline for high-quality thin film growth of Aurivillius compounds and other oxide-ion conductors containing volatile elements.


title: Growth and atomically resolved polarization mapping of ferroelectric $Bi_2WO_6$ thin film

abstract: Aurivillius ferroelectric $Bi_2WO_6$ (BWO) encompasses a broad range of functionalities, including robust fatigue-free ferroelectricity, high photocatalytic activity, and ionic conductivity. Despite these promising characteristics, an in-depth study on the growth of BWO thin films and ferroelectric characterization, especially at the atomic scale, is still lacking. Here, we report pulsed laser deposition (PLD) of BWO thin films on (001) $SrTiO_3$ substrates and characterization of ferroelectricity using the scanning transmission electron microscopy (STEM) and piezoresponse force microscopy (PFM) techniques. We show that the background oxygen gas pressure used during PLD growth mainly determines the phase stability of BWO films, whereas the influence of growth temperature is comparatively minor. Atomically resolved STEM study of a fully strained BWO film revealed collective in-plane polar off-centering displacement of W atoms. We estimated the spontaneous polarization value based on polar displacement mapping to be about 54 $\pm$ 4 ${\mu}C cm^{-2}$, which is in good agreement with the bulk polarization value. Furthermore, we found that pristine film is composed of type-I and type-II domains, with mutually orthogonal polar axes. Complementary PFM measurements further elucidated that the coexisting type-I and type-II domains formed a multidomain state that consisted of 90$\deg$ domain walls (DWs) alongside multiple head-to-head and tail-to-tail 180$\deg$ DWs. Application of an electrical bias led to in-plane 180$\deg$ polarization switching and 90$\deg$ polarization rotation, highlighting a unique aspect of domain switching, which is immune to substrate-induced strain.


title: Stripe skyrmions and skyrmion crystals

abstract: Skyrmions are important in topological quantum field theory for being soliton solutions of a nonlinear sigma model and in information technology for their attractive applications. Skyrmions are believed to be circular and stripy spin textures appeared in the vicinity of skyrmion crystals are termed spiral, helical, and cycloid spin orders, but not skyrmions. Here we present convincing evidences showing that those stripy spin textures are skyrmions, "siblings" of circular skyrmions in skyrmion crystals and "cousins" of isolated circular skyrmions. Specifically, isolated skyrmions are excitations when skyrmion formation energy is positive. The skyrmion morphologies are various stripy structures when the ground states of chiral magnetic films are skyrmions. The density of skyrmion number determines the morphology of condensed skyrmion states. At the extreme of one skyrmion in the whole sample, the skyrmion is a ramified stripe. As the skyrmion number density increases, individual skyrmion shapes gradually change from ramified stripes to rectangular stripes, and eventually to disk-like objects. At a low skyrmion number density, the natural width of stripes is proportional to the ratio between the exchange stiffness constant and Dzyaloshinskii-Moriya interaction coefficient. At a high skyrmion number density, skyrmion crystals are the preferred states. Our findings reveal the nature and properties of stripy spin texture, and open a new avenue for manipulating skyrmions, especially condensed skyrmions such as skyrmion crystals.


title: Investigating the significance of adversarial attacks and their relation to interpretability for radar-based human activity recognition systems

abstract: Given their substantial success in addressing a wide range of computer vision challenges, Convolutional Neural Networks (CNNs) are increasingly being used in smart home applications, with many of these applications relying on the automatic recognition of human activities. In this context, low-power radar devices have recently gained in popularity as recording sensors, given that the usage of these devices allows mitigating a number of privacy concerns, a key issue when making use of conventional video cameras. Another concern that is often cited when designing smart home applications is the resilience of these applications against cyberattacks. It is, for instance, well-known that the combination of images and CNNs is vulnerable against adversarial examples, mischievous data points that force machine learning models to generate wrong classifications during testing time. In this paper, we investigate the vulnerability of radar-based CNNs to adversarial attacks, and where these radar-based CNNs have been designed to recognize human gestures. Through experiments with four unique threat models, we show that radar-based CNNs are susceptible to both white- and black-box adversarial attacks. We also expose the existence of an extreme adversarial attack case, where it is possible to change the prediction made by the radar-based CNNs by only perturbing the padding of the inputs, without touching the frames where the action itself occurs. Moreover, we observe that gradient-based attacks exercise perturbation not randomly, but on important features of the input data. We highlight these important features by making use of Grad-CAM, a popular neural network interpretability method, hereby showing the connection between adversarial perturbation and prediction interpretability.


title: The orbit and stellar masses of the archetype colliding-wind binary WR 140

abstract: We present updated orbital elements for the Wolf-Rayet (WR) binary WR\,140 (HD\,193793; WC7pd + O5.5fc). The new orbital elements were derived using previously published measurements along with {\color{black}160} new radial velocity measurements across the 2016 periastron passage of WR 140. Additionally, four new measurements of the orbital astrometry were collected with the CHARA Array. With these measurements, we derive stellar masses of $M_{\rm WR} = 10.31\pm0.45 M_\odot$ and $M_{\rm O} = 29.27\pm1.14 M_{\odot}$. We also include a discussion of the evolutionary history of this system from the Binary Population and Spectral Synthesis (BPASS) model grid to show that this WR star likely formed primarily through mass loss in the stellar winds, with only a moderate amount of mass lost or transferred through binary interactions.


title: The ergodic Mean Field Game system for a type of state constraint condition

abstract: This paper investigates the well-posedness of a type of state constraint ergodic Mean Field Game system in a bounded domain in which the Hamilton-Jacobi-Bellman equation is paired with an infinite Dirichlet boundary condition. In this setting, the infinite boundary condition prevents the underlying stochastic trajectories from reaching the boundary, resulting in a state constraint solution. We consider a class of superlinear power-like Hamiltonians and establish existence and uniqueness results under appropriate assumptions on the coupling. We treat both non-local and local couplings, and establish the uniqueness of the system by exploiting the decay of the density near the boundary.


title: Coloring the Black Box: What Synesthesia Tells Us about Character Embeddings

abstract: In contrast to their word- or sentence-level counterparts, character embeddings are still poorly understood. We aim at closing this gap with an in-depth study of English character embeddings. For this, we use resources from research on grapheme-color synesthesia -- a neuropsychological phenomenon where letters are associated with colors, which give us insight into which characters are similar for synesthetes and how characters are organized in color space. Comparing 10 different character embeddings, we ask: How similar are character embeddings to a synesthete's perception of characters? And how similar are character embeddings extracted from different models? We find that LSTMs agree with humans more than transformers. Comparing across tasks, grapheme-to-phoneme conversion results in the most human-like character embeddings. Finally, ELMo embeddings differ from both humans and other models.


title: Isolated Skyrmions in the $CP^2$ nonlinear $\sigma$-model with a Dzyaloshinskii-Moriya type interaction

abstract: We study two dimensional soliton solutions in the $CP^2$ nonlinear $\sigma$-model with a Dzyaloshinskii-Moriya type interaction. First, we derive such a model as a continuous limit of the $SU(3)$ tilted ferromagnetic Heisenberg model on a square lattice. Then, introducing an additional potential term to the derived Hamiltonian, we obtain exact soliton solutions for particular sets of parameters of the model. The vacuum of the exact solution can be interpreted as a spin nematic state. For a wider range of coupling constants, we construct numerical solutions, which possess the same type of asymptotic decay as the exact analytical solution, both decaying into a spin nematic state.


title: Module category and $C_2$-cofiniteness of affine vertex operator superalgebras

abstract: In this paper, we investigate the Lie algebra structures of weight one subspaces of $C_2$-cofinite vertex operator superalgebras. We also show that for any positive integer $k$, vertex operator superalgebras $L_{sl(1|n+1)}(k,0)$ and $L_{osp(2|2n)}(k,0)$ have infinitely many irreducible admissible modules. As a consequence, we give a proof of the fact that $L_{\mathfrak g}(k,0)$ is $C_2$-cofinite if and only if $\mathfrak g$ is either a simple Lie algebra, or $\mathfrak g=osp(1|2n)$, and $k$ is a nonnegative integer. As an application, we show that $L_{G(3)}(1,0)$ is a vertex operator superalgebra such that the category of $L_{G(3)}(1,0)$-modules is semisimple but $L_{G(3)}(1,0)$ is not $C_2$-cofinite.


title: Galvanic vestibular stimulation produces cross-modal improvements in visual thresholds

abstract: Background: Stochastic resonance (SR) refers to a faint signal being enhanced with the addition of white noise. Previous studies have found that vestibular perceptual thresholds are lowered with noisy galvanic vestibular stimulation (i.e., "in-channel" SR). Auditory white noise has been shown to improve tactile and visual thresholds, suggesting "cross-modal" SR. Objective: We aimed to study the cross-modal impact of noisy galvanic vestibular stimulation (nGVS) (n=9 subjects) on visual and auditory thresholds. Methods: We measured auditory and visual perceptual thresholds of human subjects across a swath of different nGVS levels in order to determine if a subject-specific best nGVS level elicited a reduction in thresholds as compared the no noise condition (sham). Results: We found an 18% improvement in visual thresholds (p = 0.026). Among the 7 of 9 subjects with reduced thresholds, the average improvement was 26%. Subjects with higher (worse) visual thresholds with no stimulation (sham) improved more than those with lower thresholds (p = 0.005). Auditory thresholds were unchanged by vestibular stimulation. Conclusions: These results are the first demonstration of cross-modal improvement with nGVS, indicating galvanic vestibular white noise can produce cross-modal improvements in some sensory channels, but not all.