title: A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification

abstract: We prove a general structural theorem for a wide family of local algorithms, which includes property testers, local decoders, and PCPs of proximity. Namely, we show that the structure of every algorithm that makes $q$ adaptive queries and satisfies a natural robustness condition admits a sample-based algorithm with $n^{1- 1/O(q^2 \log^2 q)}$ sample complexity, following the definition of Goldreich and Ron (TOCT 2016). We prove that this transformation is nearly optimal. Our theorem also admits a scheme for constructing privacy-preserving local algorithms. Using the unified view that our structural theorem provides, we obtain results regarding various types of local algorithms, including the following. - We strengthen the state-of-the-art lower bound for relaxed locally decodable codes, obtaining an exponential improvement on the dependency in query complexity; this resolves an open problem raised by Gur and Lachish (SICOMP 2021). - We show that any (constant-query) testable property admits a sample-based tester with sublinear sample complexity; this resolves a problem left open in a work of Fischer, Lachish, and Vasudev (FOCS 2015) by extending their main result to adaptive testers. - We prove that the known separation between proofs of proximity and testers is essentially maximal; this resolves a problem left open by Gur and Rothblum (ECCC 2013, Computational Complexity 2018) regarding sublinear-time delegation of computation. Our techniques strongly rely on relaxed sunflower lemmas and the Hajnal-Szemer\'edi theorem.


title: Ferroelectricity and ferromagnetism in VOI$_2$ monolayer: the role of Dzyaloshinskii-Moriya interaction

abstract: Multiferroics with intrinsic ferromagnetism and ferroelectricity are highly desired but rather rare, while most ferroelectric magnets are antiferromagnetic. A recent theoretical work [Phys. Rev. B {\bf 99}, 195434 (2019)] predicted that oxyhalides VO$X_2$ ($X$: halogen) monolayers are two-dimensional multiferroics by violating the empirical $d^0$ rule. Most interestingly, the member VOI$_2$ are predicted to exhibit spontaneous ferromagnetism and ferroelectricity. In this work, we extend the previous study on the structure and magnetism of VOI$_2$ monolayer by using density functional theory and Monte Carlo simulation. The presence of the heavy element iodine with a strong spin-orbit coupling leads an effective Dzyaloshinskii-Moriya interaction in the polar structure, which favors a short-period spiral a magnetic structure.. Another interesting result is that the on-site Coulomb interaction can strongly suppress the polar distortion thus leading to a ferromagnetic metallic state. Therefore, the VOI2 monolayer is either a ferroelectric insulator with spiral magnetism or a ferromagnetic metal, instead of a ferromagnetic ferroelectric system. Our study highlights the key physical role of the Dzyaloshinskii-Moriya interaction.


title: FIND: Human-in-the-Loop Debugging Deep Text Classifiers

abstract: Since obtaining a perfect training dataset (i.e., a dataset which is considerably large, unbiased, and well-representative of unseen cases) is hardly possible, many real-world text classifiers are trained on the available, yet imperfect, datasets. These classifiers are thus likely to have undesirable properties. For instance, they may have biases against some sub-populations or may not work effectively in the wild due to overfitting. In this paper, we propose FIND -- a framework which enables humans to debug deep learning text classifiers by disabling irrelevant hidden features. Experiments show that by using FIND, humans can improve CNN text classifiers which were trained under different types of imperfect datasets (including datasets with biases and datasets with dissimilar train-test distributions).


title: Weak Greenberg's generalized conjecture for imaginary quadratic fields

abstract: Let $p$ be an odd prime number and $k$ an imaginary quadratic field in which $p$ splits. In this paper, we consider a weak form of Greenberg's generalized conjecture for $p$ and $k$, which states that the non-trivial Iwasawa module of the maximal multiple $\mathbb{Z}_p$-extension field over $k$ has a non-trivial pseudo-null submodule. We prove this conjecture for $p$ and $k$ under the assumption that the Iwasawa $\lambda$-invariant for a certain $\mathbb{Z}_p$-extension over a finite abelian extension of $k$ vanishes and that the characteristic ideal of the Iwasawa module associated to the cyclotomic $\mathbb{Z}_p$-extension over $k$ has a square-free generator.


title: Zero-Shot Translation Quality Estimation with Explicit Cross-Lingual Patterns

abstract: This paper describes our submission of the WMT 2020 Shared Task on Sentence Level Direct Assessment, Quality Estimation (QE). In this study, we empirically reveal the \textit{mismatching issue} when directly adopting BERTScore to QE. Specifically, there exist lots of mismatching errors between the source sentence and translated candidate sentence with token pairwise similarity. In response to this issue, we propose to expose explicit cross-lingual patterns, \textit{e.g.} word alignments and generation score, to our proposed zero-shot models. Experiments show that our proposed QE model with explicit cross-lingual patterns could alleviate the mismatching issue, thereby improving the performance. Encouragingly, our zero-shot QE method could achieve comparable performance with supervised QE method, and even outperforms the supervised counterpart on 2 out of 6 directions. We expect our work could shed light on the zero-shot QE model improvement.


title: The emergence of Explainability of Intelligent Systems: Delivering Explainable and Personalised Recommendations for Energy Efficiency

abstract: The recent advances in artificial intelligence namely in machine learning and deep learning, have boosted the performance of intelligent systems in several ways. This gave rise to human expectations, but also created the need for a deeper understanding of how intelligent systems think and decide. The concept of explainability appeared, in the extent of explaining the internal system mechanics in human terms. Recommendation systems are intelligent systems that support human decision making, and as such, they have to be explainable in order to increase user trust and improve the acceptance of recommendations. In this work, we focus on a context-aware recommendation system for energy efficiency and develop a mechanism for explainable and persuasive recommendations, which are personalized to user preferences and habits. The persuasive facts either emphasize on the economical saving prospects (Econ) or on a positive ecological impact (Eco) and explanations provide the reason for recommending an energy saving action. Based on a study conducted using a Telegram bot, different scenarios have been validated with actual data and human feedback. Current results show a total increase of 19\% on the recommendation acceptance ratio when both economical and ecological persuasive facts are employed. This revolutionary approach on recommendation systems, demonstrates how intelligent recommendations can effectively encourage energy saving behavior.


title: Entropy rigidity for foliations by strictly convex projective manifolds

abstract: Let $N$ be a compact manifold with a foliation $\mathscr{F}_N$ whose leaves are compact strictly convex projective manifolds. Let $M$ be a compact manifold with a foliation $\mathscr{F}_M$ whose leaves are compact hyperbolic manifolds of dimension bigger than or equal to $3$. Suppose to have a foliation-preserving homeomorphism $f:(N,\mathscr{F}_N) \rightarrow (M,\mathscr{F}_M)$ which is $C^1$-regular when restricted to leaves. In the previous situation there exists a well-defined notion of foliated volume entropies $h(N,\mathscr{F}_N)$ and $h(M,\mathscr{F}_M)$ and it holds $h(M,\mathscr{F}_M) \leq h(N,\mathscr{F}_N)$. Additionally, if equality holds, then the leaves must be homothetic.


title: A Recursive Markov Boundary-Based Approach to Causal Structure Learning

abstract: Constraint-based methods are one of the main approaches for causal structure learning that are particularly valued as they are asymptotically guaranteed to find a structure that is Markov equivalent to the causal graph of the system. On the other hand, they may require an exponentially large number of conditional independence (CI) tests in the number of variables of the system. In this paper, we propose a novel recursive constraint-based method for causal structure learning that significantly reduces the required number of CI tests compared to the existing literature. The idea of the proposed approach is to use Markov boundary information to identify a specific variable that can be removed from the set of variables without affecting the statistical dependencies among the other variables. Having identified such a variable, we discover its neighborhood, remove that variable from the set of variables, and recursively learn the causal structure over the remaining variables. We further provide a lower bound on the number of CI tests required by any constraint-based method. Comparing this lower bound to our achievable bound demonstrates the efficiency of the proposed approach. Our experimental results show that the proposed algorithm outperforms state-of-the-art both on synthetic and real-world structures.


title: Fair Pricing In Heterogeneous Internet of Things Wireless Access Networks Using Crowdsourcing

abstract: Price and the quality of service are two key factors taken into account by wireless network users when they choose their network provider. The recent advances in wireless technology and massive infrastructure deployments has led to better coverage, and currently at each given wirelessly covered area there are a few network providers and each have different pricing strategies. These providers can potentially set unfair expensive prices for their services. In this paper, we propose a novel crowdsourcing-based approach for fair wireless service pricing in Internet of Things (IoT). In our considered oligopoly, the regulatory sets a dynamic maximum allowed price of service to prevent anti-trust behaviour and unfair service pricing. We propose a three-tire pricing model where the regulator, wireless network providers and clients are the players of our game. Our method takes client preferences into account in pricing and discovers the fair service pricing just above the marginal costs of each network provider. Our results show that our model is not prone to collusion and will converges only if one network announces the fair price


title: A Locally Conservative Mixed Finite Element Framework for Coupled Hydro-Mechanical-Chemical Processes in Heterogeneous Porous Media

abstract: This paper presents a mixed finite element framework for coupled hydro-mechanical-chemical processes in heterogeneous porous media. The framework combines two types of locally conservative discretization schemes: (1) an enriched Galerkin method for reactive flow, and (2) a three-field mixed finite element method for coupled fluid flow and solid deformation. This combination ensures local mass conservation, which is critical to flow and transport in heterogeneous porous media, with a relatively affordable computational cost. A particular class of the framework is constructed for calcite precipitation/dissolution reactions, incorporating their nonlinear effects on the fluid viscosity and solid deformation. Linearization schemes and algorithms for solving the nonlinear algebraic system are also presented. Through numerical examples of various complexity, we demonstrate that the proposed framework is a robust and efficient computational method for simulation of reactive flow and transport in deformable porous media, even when the material properties are strongly heterogeneous and anisotropic.


title: Two Point Functions in Defect CFTs

abstract: This paper is designed to be a practical tool for constructing and investigating two-point correlation functions in defect conformal field theory, directly in physical space, between any two bulk primaries or between a bulk primary and a defect primary, with arbitrary spin. Although geometrically elegant and ultimately a more powerful approach, the embedding space formalism gets rather cumbersome when dealing with mixed symmetry tensors, especially in the projection to physical space. The results in this paper provide an alternative method for studying two-point correlation functions for a generic $d$-dimensional conformal field theory with a flat $p$-dimensional defect and $d-p=q$ co-dimensions. We tabulate some examples of correlation functions involving a conserved current, an energy momentum tensor and a Maxwell field strength, while analysing the constraints arising from conservation and the equations of motion. A method for obtaining bulk-to-defect correlators is also explained. Some explicit examples are considered: free scalar theory on $\mathbb{R}^p \times ({\mathbb R}^q / {\mathbb Z}_2)$ and a free four dimensional Maxwell theory on a wedge.


title: Zero cycles on rationally connected varieties over Laurent fields

abstract: We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined over such fields. In general, the degree map is an isomorphism if rationally connected varieties defined over algebraically closed fields of characteristic zero satisfy the integral Hodge/Tate conjecture for one cycles, or if the Tate conjecture is true for divisor classes on surfaces defined over finite fields. To prove these results, we introduce techniques from the minimal model program to study the homology of certain complexes defined by Kato/Bloch-Ogus.


title: Comment on: "On the effects of the Lorentz symmetry violation yielded by a tensor field on the interaction of a scalar particle and a Coulomb-type field" Ann. Phys. 399 (2018) 117-123

abstract: We analyze the eigenvalues and eigenfunctions stemming from a recent study of the interaction of a scalar particle with a Coulomb potential in the presence of a background of the violation of the Lorentz symmetry established by a tensor field. We show, beyond any doubt, that the physical conclusions drawn by the authors from a truncation of a power series, coming from the application of the Frobenius method, are meaningless and nonsensical.


title: Breakdown of universality in three-dimensional Dirac semimetals with random impurities

abstract: Dirac-Weyl semimetals are unique three-dimensional (3D) phases of matter with gapless electrons and novel electrodynamic properties believed to be robust against weak perturbations. Here, we unveil the crucial influence of the disorder statistics and impurity diversity in the stability of incompressible electrons in 3D semimetals. Focusing on the critical role played by rare impurity configurations, we show that the abundance of low-energy resonances in the presence of diluted random potential wells endows rare localized zero-energy modes with statistical significance, thus lifting the nodal density of states. The strong nonperturbative effect here reported converts the 3D Dirac-Weyl semimetal into a compressible metal even at the lowest impurity densities. Our analytical results are validated by high-resolution real-space simulations in record-large 3D lattices with up to 536 000 000 orbitals.

categories: cond-mat.mes-hall cond-mat.dis-nn physics.comp-ph quant-ph


title: Axion Monodromy Inflation, Trapping Mechanisms and the Swampland

abstract: We study the effects of particle production on the evolution of the inflaton field in an axion monodromy model with the goal of discovering in which situations the resulting dynamics will be consistent with the {\it swampland constraints}. In the presence of a modulated potential the evolving background field (solution of the inflaton homogeneous in space) induces the production of long wavelength inflaton fluctuation modes. However, this either has a negligible effect on the inflaton dynamics (if the field spacing between local minima of the modulated potential is large), or else it traps the inflaton in a local minimum and leads to a graceful exit problem. On the other hand, the production of moduli fields at enhanced symmetry points can lead to a realization of {\it trapped inflation} consistent with the swampland constraints, as long as the coupling between the inflaton and the moduli fields is sufficiently large.


title: On the commuting graphs of Brandt semigroups

abstract: The commuting graph of a finite non-commutative semigroup S, denoted by \Delta(S), is the simple graph whose vertices are the non-central elements of S and two distinct vertices x; y are adjacent if xy = yx. In the present paper, we study various graph-theoretic properties of the commuting graph \Delta(B_n) of Brandt semigroup B_n including its diameter, clique number, chromatic number, independence number, strong metric dimension and dominance number. Moreover, we obtain the automorphism group Aut(\Delta(Bn)) and the endomorphism monoid End(\Delta(Bn)) of \Delta(Bn). We show that Aut(\Delta(Bn)) = S_n \times Z_2, where S_n is the symmetric group of degree n and Z_2 is the additive group of integers modulo 2. Further, for n \geq 4, we prove that End(\Delta(Bn)) =Aut(\Delta(Bn)). In order to provide an answer to the question posed in [2], we ascertained a class of inverse semigroups whose commuting graph is Hamiltonian.


title: Beyond Language: Learning Commonsense from Images for Reasoning

abstract: This paper proposes a novel approach to learn commonsense from images, instead of limited raw texts or costly constructed knowledge bases, for the commonsense reasoning problem in NLP. Our motivation comes from the fact that an image is worth a thousand words, where richer scene information could be leveraged to help distill the commonsense knowledge, which is often hidden in languages. Our approach, namely Loire, consists of two stages. In the first stage, a bi-modal sequence-to-sequence approach is utilized to conduct the scene layout generation task, based on a text representation model ViBERT. In this way, the required visual scene knowledge, such as spatial relations, will be encoded in ViBERT by the supervised learning process with some bi-modal data like COCO. Then ViBERT is concatenated with a pre-trained language model to perform the downstream commonsense reasoning tasks. Experimental results on two commonsense reasoning problems, i.e. commonsense question answering and pronoun resolution, demonstrate that Loire outperforms traditional language-based methods. We also give some case studies to show what knowledge is learned from images and explain how the generated scene layout helps the commonsense reasoning process.


title: Compressing Transformer-Based Semantic Parsing Models using Compositional Code Embeddings

abstract: The current state-of-the-art task-oriented semantic parsing models use BERT or RoBERTa as pretrained encoders; these models have huge memory footprints. This poses a challenge to their deployment for voice assistants such as Amazon Alexa and Google Assistant on edge devices with limited memory budgets. We propose to learn compositional code embeddings to greatly reduce the sizes of BERT-base and RoBERTa-base. We also apply the technique to DistilBERT, ALBERT-base, and ALBERT-large, three already compressed BERT variants which attain similar state-of-the-art performances on semantic parsing with much smaller model sizes. We observe 95.15% ~ 98.46% embedding compression rates and 20.47% ~ 34.22% encoder compression rates, while preserving greater than 97.5% semantic parsing performances. We provide the recipe for training and analyze the trade-off between code embedding sizes and downstream performances.


title: Second-Order Neural Dependency Parsing with Message Passing and End-to-End Training

abstract: In this paper, we propose second-order graph-based neural dependency parsing using message passing and end-to-end neural networks. We empirically show that our approaches match the accuracy of very recent state-of-the-art second-order graph-based neural dependency parsers and have significantly faster speed in both training and testing. We also empirically show the advantage of second-order parsing over first-order parsing and observe that the usefulness of the head-selection structured constraint vanishes when using BERT embedding.


title: On the unsteady throttling dynamics and scaling analysis in a typical hypersonic inlet-isolator flow

abstract: The flow field in a two-dimensional three-ramp hypersonic mixed-compression inlet in a freestream Mach number of $M_\infty=5$ is numerically solved to understand the unsteady throttling dynamics. Throttling conditions are simulated by varying the exit area of the isolator in the form of plug insets. Different throttling ratios between $0\leq \zeta \leq 0.7$ in steps of 0.1 are considered. No unsteadiness is observed for $\zeta\leq 0.2$ and severe unsteadiness is found for $0.3 \leq \zeta \leq 0.7$. The frequency of unsteadiness ($f$) increases rapidly with $\zeta$. As $\zeta$ increases, the amount of reversed mass inside the isolator scales with the frequency and the exit mass flow rate. A general framework is attempted to scale the unsteady events based on the gathered knowledge from the numerical study. The inlet-isolator flow is modeled as an oscillating flow through a duct with known upstream design conditions like the freestream Mach number ($M_\infty$) and the isolator inlet Mach number ($M_i$). Factors like the mass occupied by the duct volume, the characteristic unsteady frequency, throttling ratio, and the exit mass flow rate through the duct are used to form a non-dimensional parameter $\beta$, which scales with the upstream design parameter $\xi=M_i/M_\infty$. The scaling parameters are further exploited to formulate a semi-empirical relation using the existing experimental results at different throttling ratios from the open literature. The unsteady frequencies from the present two-dimensional numerical exercise are also shown to agree with the proposed scaling and the resulting semi-empirical relation.


title: Generalizations of Length Limited Huffman Coding for Hierarchical Memory Settings

abstract: In this paper, we study the problem of designing prefix-free encoding schemes having minimum average code length that can be decoded efficiently under a decode cost model that captures memory hierarchy induced cost functions. We also study a special case of this problem that is closely related to the length limited Huffman coding (LLHC) problem; we call this the {\em soft-length limited Huffman coding} problem. In this version, there is a penalty associated with each of the $n$ characters of the alphabet whose encodings exceed a specified bound $D$($\leq n$), where the penalty increases linearly with the length of the encoding beyond $D$. The goal of the problem is to find a prefix-free encoding having minimum average code length and total penalty within a pre-specified bound ${\cal P}$. This generalizes the LLHC problem. We present an algorithm to solve this problem that runs in time $O( nD )$. We study a further generalization in which the penalty function and the objective function can both be arbitrary monotonically non-decreasing functions of the codeword length. We provide dynamic programming based exact and PTAS algorithms for this setting.


title: Automated Concatenation of Embeddings for Structured Prediction

abstract: Pretrained contextualized embeddings are powerful word representations for structured prediction tasks. Recent work found that better word representations can be obtained by concatenating different types of embeddings. However, the selection of embeddings to form the best concatenated representation usually varies depending on the task and the collection of candidate embeddings, and the ever-increasing number of embedding types makes it a more difficult problem. In this paper, we propose Automated Concatenation of Embeddings (ACE) to automate the process of finding better concatenations of embeddings for structured prediction tasks, based on a formulation inspired by recent progress on neural architecture search. Specifically, a controller alternately samples a concatenation of embeddings, according to its current belief of the effectiveness of individual embedding types in consideration for a task, and updates the belief based on a reward. We follow strategies in reinforcement learning to optimize the parameters of the controller and compute the reward based on the accuracy of a task model, which is fed with the sampled concatenation as input and trained on a task dataset. Empirical results on 6 tasks and 21 datasets show that our approach outperforms strong baselines and achieves state-of-the-art performance with fine-tuned embeddings in all the evaluations.


title: Category-Learning with Context-Augmented Autoencoder

abstract: Finding an interpretable non-redundant representation of real-world data is one of the key problems in Machine Learning. Biological neural networks are known to solve this problem quite well in unsupervised manner, yet unsupervised artificial neural networks either struggle to do it or require fine tuning for each task individually. We associate this with the fact that a biological brain learns in the context of the relationships between observations, while an artificial network does not. We also notice that, though a naive data augmentation technique can be very useful for supervised learning problems, autoencoders typically fail to generalize transformations from data augmentations. Thus, we believe that providing additional knowledge about relationships between data samples will improve model's capability of finding useful inner data representation. More formally, we consider a dataset not as a manifold, but as a category, where the examples are objects. Two these objects are connected by a morphism, if they actually represent different transformations of the same entity. Following this formalism, we propose a novel method of using data augmentations when training autoencoders. We train a Variational Autoencoder in such a way, that it makes transformation outcome predictable by auxiliary network in terms of the hidden representation. We believe that the classification accuracy of a linear classifier on the learned representation is a good metric to measure its interpretability. In our experiments, present approach outperforms $\beta$-VAE and is comparable with Gaussian-mixture VAE.


title: A generalized Catoni's ${\rm M}$-estimator under finite {$\alpha$-th moment assumption} with $\alpha \in (1,2)$

abstract: We generalize the { ${\rm M}$-estimator} put forward by Catoni in his seminal paper [C12] to the case in which samples can have finite $\alpha$-th moment with $\alpha \in (1,2)$ rather than finite variance, our approach is by slightly modifying the influence function $\varphi$ therein. The choice of the new influence function is inspired by the Taylor-like expansion developed in [C-N-X]. We obtain a deviation bound of the estimator, as $\alpha \rightarrow 2$, this bound is the same as that in [C12]. Experiment shows that our generalized ${\rm M}$-estimator performs better than the empirical mean estimator, the smaller the $\alpha$ is, the better the performance will be. As an application, we study an $\ell_{1}$ regression considered by Zhang et al. [Z-Z] who assumed that samples have finite variance, and relax their assumption to be finite {$\alpha$-th} moment with $\alpha \in (1,2)$.


title: Crosscap number and epimorphisms of two-bridge knot groups

abstract: We consider the relationship between the crosscap number $\gamma$ of knots and a partial order on the set of all prime knots, which is defined as follows. For two knots $K$ and $J$, we say $K \geq J$ if there exists an epimorphism $f:\pi_1(S^3-K) \longrightarrow \pi_1(S^3-J)$. We prove that if $K$ and $J$ are 2-bridge knots and $K> J$, then $\gamma(K) \geq 3\gamma(J) -4$. We also classify all pairs $(K,J)$ for which the inequality is sharp. A similar result relating the genera of two knots has been proven by Suzuki and Tran. Namely, if $K$ and $J$ are 2-bridge knots and $K >J$, then $g(K) \geq 3 g(J)-1$, where $g(K)$ denotes the genus of the knot $K$.


title: Structural Knowledge Distillation: Tractably Distilling Information for Structured Predictor

abstract: Knowledge distillation is a critical technique to transfer knowledge between models, typically from a large model (the teacher) to a more fine-grained one (the student). The objective function of knowledge distillation is typically the cross-entropy between the teacher and the student's output distributions. However, for structured prediction problems, the output space is exponential in size; therefore, the cross-entropy objective becomes intractable to compute and optimize directly. In this paper, we derive a factorized form of the knowledge distillation objective for structured prediction, which is tractable for many typical choices of the teacher and student models. In particular, we show the tractability and empirical effectiveness of structural knowledge distillation between sequence labeling and dependency parsing models under four different scenarios: 1) the teacher and student share the same factorization form of the output structure scoring function; 2) the student factorization produces more fine-grained substructures than the teacher factorization; 3) the teacher factorization produces more fine-grained substructures than the student factorization; 4) the factorization forms from the teacher and the student are incompatible.


title: Proofs for certain conjectures of Gosper on q-trigonometric identities

abstract: Applying the theory of elliptic functions we establish two Jacobi theta function identities. From these identities we confirm two q-trigonometric identities conjectured by Gosper. As an application, we give a new and simple proof of a Pi_{q}-identity of Gosper.


title: Outbursting Quasi-Hilda Asteroid P/2010 H2 (Vales)

abstract: Quasi-Hilda asteroid P/2010 H2 (Vales) underwent a spectacular photometric outburst by 7.5 magnitudes (factor of 1000) in 2010. Here, we present our optical observations of this event in the four month period from April 20 to August 10. The outburst, starting UT 2010 April 15.76, released dust particles of total cross-section 17,600 sq km (albedo 0.1 assumed) and mass 1.2e9 kg, this being about 1e-4 of the mass of the nucleus, taken as a sphere of radius 1.5 km and density 500 kg/m3. While the rising phase of the outburst was very steep (brightness doubling time of hours), subsequent fading occurred slowly (fading timescales increasing from weeks to months), as large, low velocity particles drifted away from the nucleus. A simple model of the fading lightcurve indicates that the ejected particles occupied a broad range of sizes, from microns to centimeters, and followed a differential power-law distribution with index 3.6+/-0.1 (similar to that in other comets). The fastest particles had speeds 210 m/s, indicating gas-drag acceleration of small grains well-coupled to the flow. Low energy processes known to drive mass loss in active asteroids, including rotational disruption, thermal and desiccation stress cracking, and electrostatic repulsion, cannot generate the high particles speeds measured in P/Vales, and are discounted. Impact origin is unlikely given the short dynamical lifetimes of the quasi-Hildas and the low collision probabilities of these objects. The specific energy of the ejecta is estimated at 220 J/kg. The outburst follows a series of encounters with Jupiter in the previous century, consistent with the delayed activation of buried supervolatiles (and/or the crystallization of sub-surface amorphous ice) by conducted heat following an inward displacement of the perihelion. A potential origin in the debris cloud produced by avalanche is also considered.


title: An Encoder-Decoder CNN for Hair Removal in Dermoscopic Images

abstract: The process of removing occluding hair has a relevant role in the early and accurate diagnosis of skin cancer. It consists of detecting hairs and restore the texture below them, which is sporadically occluded. In this work, we present a model based on convolutional neural networks for hair removal in dermoscopic images. During the network's training, we use a combined loss function to improve the restoration ability of the proposed model. In order to train the CNN and to quantitatively validate their performance, we simulate the presence of skin hair in hairless images extracted from publicly known datasets such as the PH2, dermquest, dermis, EDRA2002, and the ISIC Data Archive. As far as we know, there is no other hair removal method based on deep learning. Thus, we compare our results with six state-of-the-art algorithms based on traditional computer vision techniques by means of similarity measures that compare the reference hairless image and the one with hair simulated. Finally, a statistical test is used to compare the methods. Both qualitative and quantitative results demonstrate the effectiveness of our network.


title: Manifestly exotic pentaquarks with a single heavy quark

abstract: Inspired by the observed $X(2900)$, we study systematically the mass spectra of the ground pentaquark states with the $qqqq\bar{Q}$ ($Q=c,b$; $q=n,s$; $n=u,d$) configuration in the framework of the Chromomagnetic Interaction model. We present a detailed analysis of their stabilities and decay behaviors. Our results indicate that there may exist narrow states or even stable states. We hope that the present study may inspire experimentalist's interest in searching for such a type of the exotic pentaquark state.


title: On a polyanalytic a approach to noncommutative de Branges-Rovnyak spaces and Schur analysis

abstract: In this paper we begin the study of Schur analysis and de Branges-Rovnyak spaces in the framework of Fueter hyperholomorphic functions. The difference with other approaches is that we consider the class of functions spanned by Appell-like polynomials. This approach is very efficient from various points of view, for example in operator theory, and allows to make connections with the recently developed theory of slice polyanalytic functions. We tackle a number of problems: we describe a Hardy space, Schur multipliers and related results. We also discuss Blaschke functions, Herglotz multipliers and their associated kernels and Hilbert spaces. Finally, we consider the counterpart of the half-space case, and the corresponding Hardy space, Schur multipliers and Carath\'eodory multipliers.


title: Smooth braneworld in $6$-dimensional asymptotically AdS spacetime

abstract: In this paper, we investigate a $6$-dimensional smooth thick braneworld model which contains a compact extra dimension and an infinite large one. The braneworld is generated by a real scalar field with a $\phi^6$ potential and the bulk is asymptotically $\text{AdS}_6$ spacetime. The geometry achieves the localization of the free $U(1)$ gauge field, which is a problem in the $5$-dimensional Randall-Sundrum-like models. In addition, we analyze the stability of the braneworld system and the localization of gravitons.


title: Near-field imaging of dipole emission modulated by an optical grating

abstract: Multiphoton-ionized electrons are born into a strong light field that will determine their short-term future. By controlling the infrared beam, we enable atoms or molecules to generate extreme ultraviolet (XUV) pulses and synthesize attosecond pulses - the shortest controlled events ever produced. Here we show that a weak obliquely incident beam imposes an optical grating on the fundamental beam, resulting in a spatially modulated attosecond pulse. We observe the modulation on a spectrally resolved near-field XUV image, encoding all information of the spectral phase of the recollision electron and, therefore, the attosecond pulse produced by structureless atoms. Near-field imaging is an efficient method for measuring the duration of attosecond pulses, especially important for soft X-ray pulses created in helium. For more complex systems, it includes auto ionization and giant plasmon resonances.


title: Inequalities for Taylor series involving the divisor function

abstract: Let $$ T(q)=\sum_{k=1}^\infty d(k) q^k, \quad |q|<1, $$ where $d(k)$ denotes the number of positive divisors of the natural number $k$. We present monotonicity properties of functions defined in terms of $T$. More specifically, we proved that $$ H(q) := T(q)- \frac{\log(1-q)}{\log(q)} $$ is strictly increasing in $ (0,1) $ while $$ F(q) := \frac{1-q}{q} \,H(q) $$ is strictly decreasing in $ (0,1) $. These results are then applied to obtain various inequalities, one of which states that the double-inequality $$ \alpha \,\frac{q}{1-q}+\frac{\log(1-q)}{\log(q)} < T(q)< \beta \,\frac{q}{1-q}+\frac{\log(1-q)}{\log(q)}, \quad 0<q<1, $$ holds with the best possible constant factors $\alpha=\gamma$ and $\beta=1$. Here, $\gamma$ denotes Euler's constant. This refines a result of Salem, who proved the inequalities with $\alpha=1/2$ and $\beta=1$.


title: Band-selective third-harmonic generation in superconducting MgB$_2$: Possible evidence for Higgs amplitude mode in the dirty limit

abstract: We report on time-resolved linear and nonlinear terahertz spectroscopy of the two-band superconductor MgB$_2$ with the superconducting transition temperature $T_c \approx 36$ K. Third-harmonic generation (THG) is observed below $T_c$ by driving the system with intense narrowband THz pulses. For the pump-pulse frequencies $f=$ 0.3, 0.4, and 0.5 THz, temperature-dependent evolution of the THG signals exhibits a resonance maximum at the temperatures with the resonance conditions $2f=2\Delta_\pi(T)$ fulfilled, for the dirty-limit superconducting gap $2\Delta_\pi$. In contrast, for $f=$ 0.6 and 0.7 THz with $2f>2\Delta_\pi(T\rightarrow0)=1.03$ THz, the THG intensity increases monotonically with decreasing temperature. Moreover, for $2f<2\Delta_\pi(T\rightarrow0)$ the THG is found nearly isotropic with respect to the pump-pulse polarization. These results suggest a predominant contribution of the driven Higgs amplitude mode of the dirty-limit $\pi$-band superconducting gap, pointing to the importance of scattering for observation of the Higgs mode in superconductors.


title: On Symmetry Groups of Some Quadratic Programming Problems

abstract: Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut the search space by linear cuts or obtain new local optima from the ones previously found. While the previous studies of symmetries in the mathematical programming usually dealt with permutations of coordinates of the solutions space, the present paper considers a larger group of invertible linear transformations. We study a special case of the quadratic programming problem, where the objective function and constraints are given by quadratic forms, and the sum of all matrices of quadratic forms, involved in the constraints, is a positive definite matrix. In this setting, it is sufficient to consider only orthogonal transformations of the solution space. In this group of orthogonal transformations, we describe the structure of the subgroup which gives the symmetries of the problem. Besides that, a method for finding such symmetries is outlined, and illustrated in two simple examples.


title: Comparison of Short Blocklength Sphere Shaping and Nonlinearity Compensation in WDM Systems

abstract: In optical communication systems, short blocklength probabilistic enumerative sphere shaping (ESS) provides both linear shaping gain and nonlinear tolerance. In this work, we investigate the performance and complexity of ESS in comparison with fiber nonlinearity compensation via digital back propagation (DBP) with different steps per span. We evaluate the impact of the shaping blocklength in terms of nonlinear tolerance and also consider the case of ESS with a Volterra-based nonlinear equalizer (VNLE), which provides lower complexity than DBP. In single-channel transmission, ESS with VNLE achieves similar performance in terms of finite length bit-metric decoding rate to uniform signaling with one step per span DBP. In the context of a dense wavelength-division multiplexing (WDM) transmission system, we show that ESS outperforms uniform signaling with DBP for different step sizes.


title: Kondo signatures in Dirac spin liquids: Non-Abelian bosonization after Chern-Simons fermionization

abstract: Quantum impurities serve as in-situ probes of the frustrated quantum magnets, and Dirac spin liquids are an important class of quantum spin liquids. Here, we present a general method, a combination of the Chern-Simons fermionization and the Wess-Zumino-Witten theory, to study the quantum impurity in Dirac spin liquids. Under the Chern-Simons fermionization, the gauge fluctuations are apparently suppressed and the low-energy physics is described by a number of Dirac valleys with valley-dependent pseudospin-momentum locking. The (2+1)D effective theory can be further reduced into the (1+1)D Wess-Zumino-Witten theory by rotational symmetry, where the pseudospin-exchange between Dirac fermions and the impurity can then be solved by the non-Abelian bosonization. Consequently, fixed points of Fermi liquid and non-Fermi liquid are identified, respectively, depending on the relevance of the impurity scattering among the Dirac valleys. This leads to experimental fingerprints for Dirac spin liquids, including a Kondo-induced magneto-thermal effect, a non-monotonous thermal conductivity during the crossover, and an anisotropic spin correlation function.


title: Cuv\'ee: Blending SMT-LIB with Programs and Weakest Preconditions

abstract: Cuv\'ee is a program verification tool that reads SMT-LIB-like input files where terms may additionally contain weakest precondition operators over abstract programs. Cuv\'ee translates such inputs into first-order SMT-LIB by symbolically executing these programs. The input format used by Cuv\'ee is intended to achieve a similar unification of tools for that for example synthesize loop summaries. A notable technical aspect of Cuv\'ee itself is the consequent use of loop pre-/postconditions instead of invariants, and we demonstrate how this lowers the annotation burden on some simple while programs.


title: Reinforcement Learning on Computational Resource Allocation of Cloud-based Wireless Networks

abstract: Wireless networks used for Internet of Things (IoT) are expected to largely involve cloud-based computing and processing. Softwarised and centralised signal processing and network switching in the cloud enables flexible network control and management. In a cloud environment, dynamic computational resource allocation is essential to save energy while maintaining the performance of the processes. The stochastic features of the Central Processing Unit (CPU) load variation as well as the possible complex parallelisation situations of the cloud processes makes the dynamic resource allocation an interesting research challenge. This paper models this dynamic computational resource allocation problem into a Markov Decision Process (MDP) and designs a model-based reinforcement-learning agent to optimise the dynamic resource allocation of the CPU usage. Value iteration method is used for the reinforcement-learning agent to pick up the optimal policy during the MDP. To evaluate our performance we analyse two types of processes that can be used in the cloud-based IoT networks with different levels of parallelisation capabilities, i.e., Software-Defined Radio (SDR) and Software-Defined Networking (SDN). The results show that our agent rapidly converges to the optimal policy, stably performs in different parameter settings, outperforms or at least equally performs compared to a baseline algorithm in energy savings for different scenarios.


title: Historical Credibility for Movie Reviews and Its Application to Weakly Supervised Classification

abstract: In this study, we deal with the problem of judging the credibility of movie reviews. The problem is challenging because even experts cannot clearly and efficiently judge the credibility of a movie review and the number of movie reviews is very large. To tackle this problem, we propose historical credibility that judges the credibility of reviews based on the historical ratings and textual reviews written by each reviewer. For this, we present three kinds of criteria that can clearly classify the reviews into trusted or distrusted ones. We validate the effectiveness of the proposed historical credibility through extensive analysis. Specifically, we show that characteristics between the trusted or distrusted reviews are quite distinguishable in terms of three viewpoints: 1) distribution, 2) statistics, and 3) correlation. Then, we apply historical credibility to a weakly supervised model to classify a given review as a trusted or distrusted one. First, we show that it is significantly efficient because the entire data set is annotated according to the predefined criteria. Indeed, it can annotate 6,400 movie reviews only in 0.093 seconds, which occupy only 0.55%~1.88% of the total learning time when we use LSTM and SVM as the learning model. Second, we show that the historical credibility-based classification model clearly outperforms the textual review-based classification model. Specifically, the classification accuracy of the former outperforms that of the latter by up to 11.7%~13.4%. In addition, we clearly confirm that our classification model shows higher accuracy as the data size increases.


title: Vehicle predictive trajectory patterns from isochronous data

abstract: Measuring and analyzing sensor data is the basic technique in vehicle dynamics development and with the advancement of embedded and data acquisition systems it is possible to analyze large data sets. In this paper a detailed method is presented for assessing and mapping isochronous trajectory patterns in Graz (Austria) by using data fusion from video, ArduinoUno and the compass sensor HDMM01. The predictive isochronous trajectory patterns are derived from the data values for a predefined time horizon. Both extreme driving behavior and hazardous road geometries can be identified. It is possible to provide instant road sensor data which can be used to compare the data from a trajectory path as well as for different time instances. Results of this study show that the trajectory patterns are successful in predicting the likely evolution of a current trajectory pattern and can provide assessment on future driving situations. The obtained data from this study can be useful as reference in future city planning for energy saving driving pathways as well as vehicle design and engineering improvements based on quantitative and relevant dynamic measurements.


title: Boosted EfficientNet: Detection of Lymph Node Metastases in Breast Cancer Using Convolutional Neural Network

abstract: In recent years, advances in the development of whole-slide images have laid a foundation for the utilization of digital images in pathology. With the assistance of computer images analysis that automatically identifies tissue or cell types, they have greatly improved the histopathologic interpretation and diagnosis accuracy. In this paper, the Convolutional Neutral Network (CNN) has been adapted to predict and classify lymph node metastasis in breast cancer. Unlike traditional image cropping methods that are only suitable for large resolution images, we propose a novel data augmentation method named Random Center Cropping (RCC) to facilitate small resolution images. RCC enriches the datasets while retaining the image resolution and the center area of images. In addition, we reduce the downsampling scale of the network to further facilitate small resolution images better. Moreover, Attention and Feature Fusion (FF) mechanisms are employed to improve the semantic information of images. Experiments demonstrate that our methods boost performances of basic CNN architectures. And the best-performed method achieves an accuracy of 97.96% and an AUC of 99.68% on RPCam datasets, respectively.


title: Homogenization of immiscible compressible two--phase flow in random porous media

abstract: The paper deals with homogenization of a model problem describing an immiscible compressible two-phase flow in random statistically homogeneous porous media. We derive the effective (macroscopic) problem and prove the convergence of solutions. Our approach relies on stochastic two-scale convergence techniques, the realization-wise notion of stochastic two-scale convergence being used. Also, we exploit various a priori estimates as well as monotonicity and compactness arguments.


title: Accessing Excited State Molecular Vibrations by Femtosecond Stimulated Raman Spectroscopy

abstract: Excited-state vibrations are crucial for determining photophysical and photochemical properties of molecular compounds. Stimulated Raman scattering can coherently stimulate and probe molecular vibrations with optical pulses, but it is generally restricted to ground state properties. Working in resonance conditions, indeed, enables cross-section enhancement and selective excitation to a targeted electronic level, but is hampered by an increased signal complexity due to the presence of overlapping spectral contributions. Here, we show how detailed information on ground and excited state vibrations can be disentangled, by exploiting the relative time delay between Raman and probe pulses to control the excited state population, combined with a diagrammatic formalism to dissect the pathways concurring to the signal generation. The proposed method is then exploited to elucidate the vibrational properties of ground and excited electronic states in the paradigmatic case of Cresyl Violet. We anticipate that the presented approach holds the potential for selective mapping the reaction coordinates pertaining to transient electronic stages implied in photo-active compounds.


title: Non-trivial $t$-intersecting families for symplectic polar spaces

abstract: Let $\mathscr{P}$ be a symplectic polar space over a finite field $\mathbb{F}_q$, and $\mathscr{P}_m$ denote the set of all $m$-dimensional subspaces in $\mathscr{P}$. We say a $t$-intersecting subfamily of $\mathscr{P}_m$ is trivial if there exists a $t$-dimensional subspace contained in each member of this family. In this paper, we determine the structure of maximum sized non-trivial $t$-intersecting subfamilies of $\mathscr{P}_m$.


title: Understanding Cloud Workloads Performance in a Production like Environment

abstract: Understanding inter-VM interference is of paramount importance to provide a sound knowledge and understand where performance degradation comes from in the current public cloud. With this aim, this paper devises a workload taxonomy that classifies applications according to how the major system resources affect their performance (e.g., tail latency) as a function of the level of load (e.g., QPS). After that, we present three main studies addressing three major concerns to improve the cloud performance: impact of the level of load on performance, impact of hyper-threading on performance, and impact of limiting the major system resources (e.g., last level cache) on performance. In all these studies we identified important findings that we hope help cloud providers improve their system utilization.


title: Concurrence of ferroelectric, dielectric and magnetic behaviour in Tb2Ti2O7 pyrochlore

abstract: We report the ferroelectric property in Tb2Ti2O7 pyrochlore, prepared by a two-step solid-state reaction method. A concave P-E (polarisation vs electric field) loop observed from 382 K confirms ferroelectricity, below which the loop remains as pointed or banana-shaped. Dielectric plots clearly show an anomaly at 383 K and the magnetic data reveals a deviation from 380 K supporting the observed ferroelectric ordering. The origin of ferroelectricity in Tb2Ti2O7 is discussed which is due to the structural distortion in TiO6 octahedron.


title: A quick route to unique factorization in quadratic orders

abstract: We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.


title: All the PAHs: an AKARI-Spitzer Cross Archival Spectroscopic Survey of Aromatic Emission in Galaxies

abstract: We present a large sample of 2.5-38 $\mu m$ galaxy spectra drawn from a cross-archival comparison in the AKARI-Spitzer Extragalactic Spectral Survey (ASESS), and investigate a subset of 113 star-forming galaxies with prominent polycyclic aromatic hydrocarbon (PAH) emission spanning a wide range of star formation properties. With AKARI's extended 2.5-5 $\mu m$ wavelength coverage, we self-consistently model for the first time all PAH emission bands using a modified version of PAHFIT. We find $L_\mathrm{PAH\,3.3}/L_\mathrm{IR}$ $\sim$ 0.1% and the 3.3 $\mu m$ PAH feature contributes $\sim$1.5-3% to the total PAH power -- somewhat less than earlier dust models have assumed. We establish a calibration between 3.3 $\mu m$ PAH emission and star formation rate, but also find regimes where it loses reliability, including at high luminosity and low metallicity. The 3.4 $\mu m$ aliphatic emission and a broad plateau feature centered at 3.47 $\mu m$ are also modeled. As the shortest wavelength PAH feature, 3.3 $\mu m$ is susceptible to attenuation, leading to a factor of $\sim$ 3 differences in the inferred star formation rate at high obscuration with different assumed attenuation geometries. Surprisingly, $L_\mathrm{PAH\, 3.3} / L_\mathrm{\Sigma\, PAH}$ shows no sign of decline at high luminosities, and the low metallicity dwarf galaxy II Zw 40 exhibits an unusually strong 3.3 $\mu m$ band; both results suggest either that the smallest PAHs are better able to survive under intense radiation fields than presumed, or that PAH emission is shifted to shorter wavelengths in intense and high energy radiation environments. A photometric surrogate for 3.3 $\mu m$ PAH luminosity using JWST/NIRCam is provided and found to be highly reliable at low redshift.


title: Witness Operator Provides Better Estimate of the Lower Bound of Concurrence of Bipartite Bound Entangled States in $d_{1}\otimes d_{2}$ Dimensional System

abstract: It is known that the witness operator is useful in the detection and quantification of entangled states. This motivated us for the construction of the family of witness operators that can detect many mixed entangled states. This family of witness operators is then used to estimate the lower bound of concurrence of the detected mixed entangled states. Our method of construction of witness operator is important in the sense that it will estimate a better lower bound of concurrence of the entangled states in arbitrary $d_{1}\otimes d_{2} (d_{1}\leq d_{2})$ dimensional system compared to the lower bound of the concurrence given in \cite{kchen}. We have shown the significance of our constructed witness operator by detecting many bound entangled states that are not detected by the earlier methods and then we use the expectation value of the witness operator to estimate the lower bound of the concurrence of those bound entangled states.


title: Predicting Developers' IDE Commands with Machine Learning

abstract: When a developer is writing code they are usually focused and in a state-of-mind which some refer to as flow. Breaking out of this flow can cause the developer to lose their train of thought and have to start their thought process from the beginning. This loss of thought can be caused by interruptions and sometimes slow IDE interactions. Predictive functionality has been harnessed in user applications to speed up load times, such as in Google Chrome's browser which has a feature called "Predicting Network Actions". This will pre-load web-pages that the user is most likely to click through. This mitigates the interruption that load times can introduce. In this paper we seek to make the first step towards predicting user commands in the IDE. Using the MSR 2018 Challenge Data of over 3000 developer session and over 10 million recorded events, we analyze and cleanse the data to be parsed into event series, which can then be used to train a variety of machine learning models, including a neural network, to predict user induced commands. Our highest performing model is able to obtain a 5 cross-fold validation prediction accuracy of 64%.


title: Cross-Stack Workload Characterization of Deep Recommendation Systems

abstract: Deep learning based recommendation systems form the backbone of most personalized cloud services. Though the computer architecture community has recently started to take notice of deep recommendation inference, the resulting solutions have taken wildly different approaches - ranging from near memory processing to at-scale optimizations. To better design future hardware systems for deep recommendation inference, we must first systematically examine and characterize the underlying systems-level impact of design decisions across the different levels of the execution stack. In this paper, we characterize eight industry-representative deep recommendation models at three different levels of the execution stack: algorithms and software, systems platforms, and hardware microarchitectures. Through this cross-stack characterization, we first show that system deployment choices (i.e., CPUs or GPUs, batch size granularity) can give us up to 15x speedup. To better understand the bottlenecks for further optimization, we look at both software operator usage breakdown and CPU frontend and backend microarchitectural inefficiencies. Finally, we model the correlation between key algorithmic model architecture features and hardware bottlenecks, revealing the absence of a single dominant algorithmic component behind each hardware bottleneck.


title: Topological studies of light-flavor hadron production in pp, p-Pb, and Pb-Pb collisions with ALICE at the LHC

abstract: Recent results for high multiplicity pp and p-Pb collisions have revealed that they exhibit heavy-ion-like behaviors. To understand the origin(s) of these unexpected phenomena, event shape observables such as transverse spherocity ($S_{\rm 0}^{p_{\rm T} = 1}$) and the relative transverse activity classifier ($R_{\rm{T}}$) can be exploited as a powerful tools to disentangle soft (non-perturbative) and hard (perturbative) particle production. Here, the production of light-flavor hadrons is shown for various $S_{\rm 0}^{p_{\rm T} = 1}$ classes in pp collisions at $\sqrt{s}$ = 13 $\textrm{TeV}$ measured with the ALICE detector at the LHC are presented. The evolution of average transverse momentum ($\langle p_{\rm T}\rangle$) with charged-particle multiplicity, and identified particle ratios as a function of $p_{\rm T}$ for different $S_{\rm 0}^{p_{\rm T} = 1}$ are also presented. In addition, the system size dependence of charged-particle production in pp, p-Pb, and Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV is presented. The evolution of $\langle p_{\rm T}\rangle$ in different topological regions as a function of $R_{\rm{T}}$ are presented. Finally, using the same approach, we present a search for jet quenching behavior in small collision systems.


title: Pinched Hysteresis Loops In Nonlinear Resonators

abstract: This paper shows that pinched hysteresis can be observed in simple nonlinear resonance circuits containing a single diode that behaves as a voltage-controlled switch. Mathematical models are derived and numerically validated for both series and parallel resonator circuits. The lobe area of the pinched loop is found to increase with increased frequency and multiple pinch-points are possible with an odd symmetrical nonlinearity such as a cubic nonlinearity. Experiments have been performed to prove the existence of pinched hysteresis with a single diode and with two anti-parallel diodes. The formation of a pinched loop in these circuits confirms that: 1) pinched hysteresis is not a finger-print of memristors and that 2) the existence of a nonlinearity is essential for generating this behavior. Finally, an application in a digital logic circuit is validated.


title: Oscillations of hypermassive compact stars with gravitational radiation and viscosity

abstract: Binary neutron star mergers, such as the multimessenger GW170817 event, may produce hypermassive compact objects which are supported against collapse by the internal circulation of the fluid within the star. We compute their unstable modes of oscillations driven by gravitational wave radiation and shear viscosity, modeling them as triaxial Riemann ellipsoids. We work in a perturbative regime, where the gravitational radiation reaction force is taken into account at 2.5-post-Newtonian order and find unstable modes with dissipation timescales $\gtrsim 1$ ms which are relevant to the transient state of a hypermassive remnant of a merger. We show that the secular instabilities are dominated by gravitational wave radiation. If the shear viscosity is included, it can increase the growth times or even stabilize the unstable modes, but it must have values several orders of magnitude larger than predicted for cold neutron stars.


title: Structural Ramsey Theory and the Extension Property for Partial Automorphisms

abstract: We survey recent developments concerning two properties of classes of finite structures: the Ramsey property and the extension property for partial automorphisms (EPPA).


title: EB-DEVS: A Formal Framework for Modeling and Simulation of Emergent Behavior in Dynamic Complex Systems

abstract: Emergent behavior is a key feature defining a system under study as a complex system. Simulation has been recognized as the only way to deal with the study of the emergency of properties (at a macroscopic level) among groups of system components (at a microscopic level), for the manifestations of emergent structures cannot be deduced from analysing components in isolation. A systems-oriented generalisation must consider the presence of feedback loops (micro components react to macro properties), interaction among components of different classes (modular composition) and layered interaction of subsystems operating at different spatio-temporal scales (hierarchical organisation). In this work we introduce Emergent Behavior-DEVS (EB-DEVS) a Modeling and Simulation (M&S) formalism that permits reasoning about complex systems where emergent behavior is placed at the forefront of the analysis activity. EB-DEVS builds on the DEVS formalism, adding upward/downward communication channels to well-established capabilities for modular and hierarchical M&S of heterogeneous multi-formalism systems. EB-DEVS takes a minimalist stance on expressiveness, introducing a small set of extensions on Classic DEVS that can cope with emergent behavior, and making both formalisms interoperable (the modeler decides which subsystems deserve to be expressed via micro-macro dynamics). We present three case studies: flocks of birds with learning, population epidemics with vaccination and sub-cellular dynamics with homeostasis, through which we showcase how EB-DEVS performs by placing emergent properties at the center of the M&S process.


title: Hamiltonians generated by Parseval frames

abstract: It is known that self-adjoint Hamiltonians with purely discrete eigenvalues can be written as (infinite) linear combination of mutually orthogonal projectors with eigenvalues as coefficients of the expansion. The projectors are defined by the eigenvectors of the Hamiltonians. In some recent papers, this expansion has been extended to the case in which these eigenvectors form a Riesz basis or, more recently, a $\D$-quasi basis, \cite{bell,bit}, rather than an orthonormal basis. Here we discuss what can be done when these sets are replaced by Parseval frames. This interest is motivated by physical reasons, and in particular by the fact that the {\em mathematical } Hilbert space where the physical system is originally defined, contains sometimes also states which cannot really be occupied by the {\em physical} system itself. In particular, we show what changes in the spectrum of the observables, when going from orthonormal bases to Parseval frames. In this perspective we propose the notion of $E$-connection for observables. Several examples are discussed.


title: Spiral- and scroll-wave dynamics in mathematical models for canine and human ventricular tissue with varying Potassium and Calcium currents

abstract: We conduct a systematic,direct-numerical-simulation study,in mathematical models for ventricular tissue,of the dependence of spiral-and scroll-wave dynamics on $G_{Kr}$, the maximal conductance of the delayed rectifier Potassium current($I_{Kr}$) channel,and the parameter $\gamma_{Cao}$,which determines the magnitude and shape of the current $I_{CaL}$ for the L-type calcium-current channel,in both square and anatomically realistic,whole-ventricle simulation domains using canine and human models. We use ventricular geometry with fiber-orientation details and employ a physiologically realistic model for a canine ventricular myocyte. We restrict ourselves to an HRD-model parameter regime, which does not produce spiral- and scroll-wave instabilities because of other,well-studied causes like a very sharp action-potential-duration-restitution (APDR) curve or early after depolarizations(EADs) at the single-cell level. We find that spiral- or scroll-wave dynamics are affected predominantly by a simultaneous change in $I_{CaL}$ and $I_{Kr}$,rather than by a change in any one of these currents;other currents do not have such a large effect on these wave dynamics in this parameter regime of the HRD model.We obtain stability diagrams in the $G_{Kr} -\gamma_{Cao}$ plane.In the 3D domain,the geometry of the domain supports the confinement of the scroll waves and makes them more stable compared to their spiral-wave counterparts in 2D domain. We have also carried out a comparison of our HRD results with their counterparts for the human-ventricular TP06 model and have found important differences. In both these models,to make a transition,(from broken-wave to stable-scroll states or vice versa) we must simultaneously increase $I_{Kr}$ and decrease $I_{CaL}$;a modification of only one of these currents is not enough to effect this transition.


title: Interpreting Multivariate Shapley Interactions in DNNs

abstract: This paper aims to explain deep neural networks (DNNs) from the perspective of multivariate interactions. In this paper, we define and quantify the significance of interactions among multiple input variables of the DNN. Input variables with strong interactions usually form a coalition and reflect prototype features, which are memorized and used by the DNN for inference. We define the significance of interactions based on the Shapley value, which is designed to assign the attribution value of each input variable to the inference. We have conducted experiments with various DNNs. Experimental results have demonstrated the effectiveness of the proposed method.


title: The Color of Habitability

abstract: From life on other planets to virtual classrooms this thesis spans a wide array of research topics all based on how we see other worlds. Our understanding of everything from moon phases, the planets in our Solar System, and exoplanet atmospheres come from our interpretation of light and one day, our knowledge of light will be used as evidence for the discovery of life on another planet. In the time before we scattered rovers, landers, and brave souls across the Solar System we only knew of the planets and moons from the light they reflected from the Sun back to us. We are in much the same situation with exoplanets today. Our telescopes can gather the light from distant worlds but they are too far out of reach to confirm our observations with in-situ measurements. Soon we will be able to gather light from even smaller exoplanets and eventually Earth-sized exoplanets orbiting in their star's habitable zone. As a reference guide to these upcoming observations what better place to compare to than our own Solar System. What we've done is take measurements of planets in our own Solar System and treat them as exoplanets to determine how different surface types can be differentiated. The result is a database of the spectra, geometric albedos, and color of 19 Solar System objects for use as an exoplanetary field guide. A step beyond the field guide is a way to explore worlds only physics and our imaginations are limited by. By using computer models, we can create thousands of planets to determine the physical and chemical stability of any environment. One parameter domain of interest is the role of surface color on a planet's habitability. Different materials have unique thermal properties that either cool or heat a surface depending on their color and the light that hits them. Dark oceans absorb light well and heat up while white sand is highly reflective and keeps cool...


title: Drawing with AI -- Exploring Collaborative Inking Experiences Based on Mid-air Pointing and Reinforcement Learning

abstract: Digitalization is changing the nature of tools and materials, which are used in artistic practices in professional and non-professional settings. For example, today it is common that even children express their ideas and explore their creativity by drawing on tablets as digital canvases. While there are many software-based tools, which resemble traditional tools, such as various forms of virtual brushes, erasers, etc. in contrast to traditional materials there is potential in augmenting software-based tools and digital canvases with artificial intelligence. Curious about how it would feel to interact with a digital canvas, which would be in contrast to a traditional canvas dynamic, responsive, and potentially able to continuously adapt to its user's input, we developed a drawing application and conducted a qualitative study with 14 users. In this paper, we describe details of our design process, which lead up to using a k-armed bandit as a simple form of reinforcement learning and a LeapMotion sensor to allow people from all walks of like, old and young to draw on pervasive displays, small and large, positioned near or far.


title: Evidence of a "current-mediated" turbulent regime in space and astrophysical plasmas

abstract: How the turbulent energy cascade develops below the magnetohydrodynamic scales in space and astrophysical plasmas is a major open question. Here, we measure the power spectrum of magnetic fluctuations in Parker Solar Probe's observations close to the Sun and in state-of-the-art numerical simulations of plasma turbulence. Both reveal a power-law behavior with a slope compatible with $-11/3$ at scales smaller than the ion characteristic scales, steeper than what is typically observed in the solar wind and in the Earth's magnetosheath. We explain such behavior by developing a simple two-fluid model which does not require any kinetic processes nor electron-inertia effects. This is characterized by a significant contribution of the ion kinetic energy to the total turbulent energy cascade at sub-ion scales, although the dynamics is driven by the magnetic field through the current density. We expect that this regime may be relevant for a broad class of low-beta plasmas, e.g. the solar corona, non-relativistic magnetized jets and disks, and laboratory plasmas.


title: A Predictive Autoscaler for Elastic Batch Jobs

abstract: Large batch jobs such as Deep Learning, HPC and Spark require far more computational resources and higher cost than conventional online service. Like the processing of other time series data, these jobs possess a variety of characteristics such as trend, burst, and seasonality. Cloud providers offer short-term instances to achieve scalability, stability, and cost-efficiency. Given the time lag caused by joining into the cluster and initialization, crowded workloads may lead to a violation in the scheduling system. Based on the assumption that there are infinite resources and ideal placements available for users to require in the cloud environment, we propose a predictive autoscaler to provide an elastic interface for the customers and overprovision instances based on the trained regression model. We contribute to a method to embed heterogeneous resource requirements in continuous space into discrete resource buckets and an autoscaler to do predictive expand plans on the time series of resource bucket counts. Our experimental evaluation of the production resources usage data validates the solution and the results show that the predictive autoscaler relieves the burden of making scaling plans, avoids long launching time at lower cost and outperforms other prediction methods with fine-tuned settings.


title: Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis

abstract: Probabilistic software analysis aims at quantifying the probability of a target event occurring during the execution of a program processing uncertain incoming data or written itself using probabilistic programming constructs. Recent techniques combine symbolic execution with model counting or solution space quantification methods to obtain accurate estimates of the occurrence probability of rare target events, such as failures in a mission-critical system. However, they face several scalability and applicability limitations when analyzing software processing with high-dimensional and correlated multivariate input distributions. In this paper, we present SYMbolic Parallel Adaptive Importance Sampling (SYMPAIS), a new inference method tailored to analyze path conditions generated from the symbolic execution of programs with high-dimensional, correlated input distributions. SYMPAIS combines results from importance sampling and constraint solving to produce accurate estimates of the satisfaction probability for a broad class of constraints that cannot be analyzed by current solution space quantification methods. We demonstrate SYMPAIS's generality and performance compared with state-of-the-art alternatives on a set of problems from different application domains.


title: Exact relations and links for two-dimensional thermoelectric composites

abstract: This is a report of the massive multi-year effort by the author and two graduate students Huilin Chen and Sarah Childs to compute all exact relations and links for two-dimensional thermoelectric composites. At the moment I have no time to prepare a proper "archival quality" manuscript with a good introduction and references. However, I believe that the results, concisely summarized in the last three sections of this report, should be made available to the research community even in this unfinished form.


title: Tiling of regular polygon with similar right triangles

abstract: A tiling is a decomposition of a polygon into finitely many non-overlapping triangles. We prove that if a regular n-gon, $n \geq 5$, $n \neq 28$, can be tiled with similar right triangles, then one of the angles of these triangles is in $\left\{\frac{\pi}{n},\frac{2\pi}{n}, \frac{\pi} {6}+\frac{2\pi}{3n}\right\}$. Some related results were previously obtained by M.Laczkovich and B. Szegedy.


title: On the hypergraph connectivity of skeleta of polytopes

abstract: We show that for every $d$-dimensional polytope, the hypergraph whose nodes are $k$-faces and whose hyperedges are $(k+1)$-faces of the polytope is strongly $(d-k)$-vertex connected, for each $0 \leq k \leq d- 1$.


title: Dileptonic Scalar Dark Matter and Exotic Leptons

abstract: A simple scenario of long-lived dark matter is presented. Assuming lepton number $(L)$ conservation with Dirac neutrinos, the neutral component of an $SU(2)_L$ scalar triplet with $L=2$ is a suitable candidate, which decays to two neutrinos. Exotic leptons with $L=-1$ may also play a role, and act as anchors for small seesaw Dirac neutrino masses.


title: Bilinear expansions of lattices of KP $\tau$-functions in BKP $\tau$-functions: a fermionic approach

abstract: We derive a bilinear expansion expressing elements of a lattice of KP $\tau$-functions, labelled by partitions, as a sum over products of pairs of elements of an associated lattice of BKP $\tau$-functions, labelled by strict partitions. This generalizes earlier results relating determinants and Pfaffians of minors of skew symmetric matrices, with applications to Schur functions and Schur $Q$-functions. It is deduced using the representations of KP and BKP $\tau$-functions as vacuum expectation values (VEV's) of products of fermionic operators of charged and neutral type, respectively. The lattice is generated by insertion of products of pairs of charged creation and annihilation operators. The result follows from expanding the product as a sum of monomials in the neutral fermionic generators and applying a factorization theorem for VEV's of products of operators in the mutually commuting subalgebras. Applications include the case of inhomogeneous polynomial $\tau$-functions of KP and BKP type.


title: TOTOPO: Classifying univariate and multivariate time series with Topological Data Analysis

abstract: This work is devoted to a comprehensive analysis of topological data analysis fortime series classification. Previous works have significant shortcomings, such aslack of large-scale benchmarking or missing state-of-the-art methods. In this work,we propose TOTOPO for extracting topological descriptors from different types ofpersistence diagrams. The results suggest that TOTOPO significantly outperformsexisting baselines in terms of accuracy. TOTOPO is also competitive with thestate-of-the-art, being the best on 20% of univariate and 40% of multivariate timeseries datasets. This work validates the hypothesis that TDA-based approaches arerobust to small perturbations in data and are useful for cases where periodicity andshape help discriminate between classes.


title: Fairness-aware Agnostic Federated Learning

abstract: Federated learning is an emerging framework that builds centralized machine learning models with training data distributed across multiple devices. Most of the previous works about federated learning focus on the privacy protection and communication cost reduction. However, how to achieve fairness in federated learning is under-explored and challenging especially when testing data distribution is different from training distribution or even unknown. Introducing simple fairness constraints on the centralized model cannot achieve model fairness on unknown testing data. In this paper, we develop a fairness-aware agnostic federated learning framework (AgnosticFair) to deal with the challenge of unknown testing distribution. We use kernel reweighing functions to assign a reweighing value on each training sample in both loss function and fairness constraint. Therefore, the centralized model built from AgnosticFair can achieve high accuracy and fairness guarantee on unknown testing data. Moreover, the built model can be directly applied to local sites as it guarantees fairness on local data distributions. To our best knowledge, this is the first work to achieve fairness in federated learning. Experimental results on two real datasets demonstrate the effectiveness in terms of both utility and fairness under data shift scenarios.


title: Valid t-ratio Inference for IV

abstract: In the single IV model, current practice relies on the first-stage F exceeding some threshold (e.g., 10) as a criterion for trusting t-ratio inferences, even though this yields an anti-conservative test. We show that a true 5 percent test instead requires an F greater than 104.7. Maintaining 10 as a threshold requires replacing the critical value 1.96 with 3.43. We re-examine 57 AER papers and find that corrected inference causes half of the initially presumed statistically significant results to be insignificant. We introduce a more powerful test, the tF procedure, which provides F-dependent adjusted t-ratio critical values.


title: Card Guessing with Partial Feedback

abstract: Consider the following experiment: a deck with $m$ copies of $n$ different card types is randomly shuffled, and a guesser attempts to guess the cards sequentially as they are drawn. Each time a guess is made, some amount of "feedback" is given. For example, one could tell the guesser the true identity of the card they just guessed (the complete feedback model) or they could be told nothing at all (the no feedback model). In this paper we explore a partial feedback model, where upon guessing a card, the guesser is only told whether or not their guess was correct. We show in this setting that, uniformly in $n$, at most $m+O(m^{3/4}\log m)$ cards can be guessed correctly in expectation. This resolves a question of Diaconis and Graham from 1981, where even the $m=2$ case was open.


title: Firefighting on the Hexagonal Grid and on Infinite Trees

abstract: The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The firefighters' goal is to eventually stop the spread of the fire. If there exists a strategy for $k$ firefighters to eventually stop the spread of the fire, then we say $G$ is $k$-containable. We consider the firefighter problem on the hexagonal grid, which is the graph whose vertices and edges are exactly the vertices and edges of a regular hexagonal tiling of the plane. It is not known if the hexagonal grid is $1$-containable. In arXiv:1305.7076 [math.CO], it was shown that if the firefighters have one firefighter per turn and one extra firefighter on two turns, the firefighters can contain the fire. We improve on this result by showing that even with only one extra firefighter on one turn, the firefighters can still contain the fire. In addition, we explore $k$-containability for birth sequence trees, which are infinite rooted trees that have the property that every vertex at the same level has the same degree. A birth sequence forest is an infinite forest, each component of which is a birth sequence tree. For birth sequence trees and forests, the fire always starts at the root of each tree. We provide a pseudopolynomial time algorithm to decide if all the vertices at a fixed level can be protected or not.


title: Repulsive regions in Lema\^itre-Tolman-Bondi gravitational collapse

abstract: We show that in the inhomogeneous Lema{\^i}tre-Tolman-Bondi space-time there are specific regions in which repulsive gravity exists. To find these regions, we use an invariant definition of repulsive gravity based upon the behavior of the curvature eigenvalues. In addition, we analyze the effects of repulsive gravity on the dynamics of the gravitational collapse. In particular, we investigate the collapse in the case of the parabolic solution for the effective scale factor of the Lema{\^i}tre-Tolman-Bondi metric, corresponding to the marginally bound case. Exploring the corresponding cut-offs at which gravity becomes repulsive, we notice that black holes with dominant repulsive effects are not excluded \emph{a priori}. Indeed, we demonstrate that the collapse leads, in general, to the formation of a central naked singularity; however, for particular values of the free parameters entering the model, black holes with dominant repulsive gravity can exist. We show that the expected physical process is not modified as the marginally bound condition is dropped out. Moreover, we show that this is true independently of the hypothesis that the energy-momentum tensor is built up in terms of pressureless matter. Further, we demonstrate that geodesic deviations can depend on the sign of the curvature eigenvalues. Finally, we give an astrophysical interpretation of black holes with dominant repulsive gravity. Indeed, we argue that compact objects with dominant repulsive gravity could be interpreted as progenitors of Gamma Ray Bursts.


title: Controlling the anisotropy of a van der Waals antiferromagnet with light

abstract: Magnetic van der Waals materials provide an ideal playground for exploring the fundamentals of low-dimensional magnetism and open new opportunities for ultrathin spin processing devices. The Mermin-Wagner theorem dictates that as in reduced dimensions isotropic spin interactions cannot retain long-range correlations; the order is stabilized by magnetic anisotropy. Here, using ultrashort pulses of light, we demonstrate all-optical control of magnetic anisotropy in the two-dimensional van der Waals antiferromagnet NiPS$_3$. Tuning the photon energy in resonance with an orbital transition between crystal-field split levels of the nickel ions, we demonstrate the selective activation of a sub-THz two-dimensional magnon mode. The pump polarization control of the magnon amplitude confirms that the activation is governed by the instantaneous magnetic anisotropy axis emergent in response to photoexcitation of orbital states with a lowered symmetry. Our results establish pumping of orbital resonances as a universal route for manipulating magnetic order in low-dimensional (anti)ferromagnets.


title: Adaptive Aggregation Networks for Class-Incremental Learning

abstract: Class-Incremental Learning (CIL) aims to learn a classification model with the number of classes increasing phase-by-phase. An inherent problem in CIL is the stability-plasticity dilemma between the learning of old and new classes, i.e., high-plasticity models easily forget old classes, but high-stability models are weak to learn new classes. We alleviate this issue by proposing a novel network architecture called Adaptive Aggregation Networks (AANets), in which we explicitly build two types of residual blocks at each residual level (taking ResNet as the baseline architecture): a stable block and a plastic block. We aggregate the output feature maps from these two blocks and then feed the results to the next-level blocks. We adapt the aggregation weights in order to balance these two types of blocks, i.e., to balance stability and plasticity, dynamically. We conduct extensive experiments on three CIL benchmarks: CIFAR-100, ImageNet-Subset, and ImageNet, and show that many existing CIL methods can be straightforwardly incorporated into the architecture of AANets to boost their performances.


title: MUSE observations of comet 67P/Churyumov-Gerasimenko: A reference for future comet observations with MUSE

abstract: Observations of comet 67P/Churyumov-Gerasimenko were performed with MUSE at large heliocentric distances post-perihelion, between March 3 and 7, 2016. Those observations were part of a simultaneous ground-based campaign aimed at providing large-scale information about comet 67P that complement the ESA/Rosetta mission. We obtained a total of 38 datacubes over 5 nights. We take advantage of the integral field unit (IFU) nature of the instrument to study simultaneously the spectrum of 67P's dust and its spatial distribution in the coma. We also look for evidence of gas emission in the coma. We produce a high quality spectrum of the dust coma over the optical range that could be used as a reference for future comet observations with the instrument. The slope of the dust reflectivity is of 10%$/100$ nm over the 480-900 nm interval, with a shallower slope towards redder wavelengths. We use the $\mathrm{Af\rho}$ to quantify the dust production and measure values of 65$\pm$4 cm, 75$\pm$4 cm, and 82$\pm$4 cm in the V, R, and I bands respectively. We detect several jets in the coma, as well as the dust trail. Finally, using a novel method combining spectral and spatial information, we detect the forbidden oxygen emission line at 630 nm. Using this line we derive a water production rate of $1.5\pm0.6 \times 10^{26} \mathrm{molec./s}$, assuming all oxygen atoms come from the photo-dissociation of water.


title: A proof of Brouwer's toughness conjecture

abstract: The toughness $t(G)$ of a connected graph $G$ is defined as $t(G)=\min\{\frac{|S|}{c(G-S)}\}$, in which the minimum is taken over all proper subsets $S\subset V(G)$ such that $c(G-S)>1$, where $c(G-S)$ denotes the number of components of $G-S$. Let $\lambda$ denote the second largest absolute eigenvalue of the adjacency matrix of a graph. For any connected $d$-regular graph $G$, it has been shown by Alon that $t(G)>\frac{1}{3}(\frac{d^2}{d\lambda+\lambda^2}-1)$, through which, Alon was able to show that for every $t$ and $g$ there are $t$-tough graphs of girth strictly greater than $g$, and thus disproved in a strong sense a conjecture of Chv\'atal on pancyclicity. Brouwer independently discovered a better bound $t(G)>\frac{d}{\lambda}-2$ for any connected $d$-regular graph $G$, while he also conjectured that the lower bound can be improved to $t(G)\ge \frac{d}{\lambda} - 1$. We confirm this conjecture.


title: LSMAT Least Squares Medial Axis Transform

abstract: The medial axis transform has applications in numerous fields including visualization, computer graphics, and computer vision. Unfortunately, traditional medial axis transformations are usually brittle in the presence of outliers, perturbations and/or noise along the boundary of objects. To overcome this limitation, we introduce a new formulation of the medial axis transform which is naturally robust in the presence of these artifacts. Unlike previous work which has approached the medial axis from a computational geometry angle, we consider it from a numerical optimization perspective. In this work, we follow the definition of the medial axis transform as "the set of maximally inscribed spheres". We show how this definition can be formulated as a least squares relaxation where the transform is obtained by minimizing a continuous optimization problem. The proposed approach is inherently parallelizable by performing independant optimization of each sphere using Gauss-Newton, and its least-squares form allows it to be significantly more robust compared to traditional computational geometry approaches. Extensive experiments on 2D and 3D objects demonstrate that our method provides superior results to the state of the art on both synthetic and real-data.


title: Hopf Forms and Hopf-Galois Theory

abstract: Let $K$ be a finite field extension of $\Q$ and let $N$ be a finite group with automorphism group $F=\Aut(N)$. R. Haggenm\"{u}ller and B. Pareigis have shown that there is a bijection \[\Theta: {\mathcal Gal}(K,F)\rightarrow {\mathcal Hopf}(K[N])\] from the collection of $F$-Galois extensions of $K$ to the collection of Hopf forms of the group ring $K[N]$. For $N=C_n$, $n\ge 1$, $C_p^m$, $p$ prime, $m\ge 1$, and $N=D_3,D_4,Q_8$, we show that $\Q[N]$ admits an absolutely semisimple Hopf form $H$ and find $L$ for which $\Theta (L)=H$. Moreover, if $H$ is the Hopf algebra given by a Hopf-Galois structure on a Galois extension $E/K$, we show how to construct the preimage of $H$ under $\Theta$ assuming certain conditions.


title: Integrable and Superintegrable Potentials of 2d Autonomous Conservative Dynamical Systems

abstract: We consider the generic quadratic first integral (QFI) of the form $I=K_{ab}(t,q)\dot{q}^{a}\dot{q}^{b}+K_{a}(t,q)\dot{q}^{a}+K(t,q)$ and require the condition $dI/dt=0$. The latter results in a system of partial differential equations which involve the tensors $K_{ab}(t,q)$, $K_{a}(t,q)$, $K(t,q)$ and the dynamical quantities of the dynamical equations. These equations divide in two sets. The first set involves only geometric quantities of the configuration space and the second set contains the interaction of these quantities with the dynamical fields. A theorem is presented which provides a systematic solution of the system of equations in terms of the collineations of the kinetic metric in the configuration space. This solution being geometric and covariant, applies to higher dimensions and curved spaces. The results are applied to the simple but interesting case of two-dimensional (2d) autonomous conservative Newtonian potentials. It is found that there are two classes of 2d integrable potentials and that superintegrable potentials exist in both classes. We recover most main previous results, which have been obtained by various methods, in a single and systematic way.


title: Hybrid-S2S: Video Object Segmentation with Recurrent Networks and Correspondence Matching

abstract: One-shot Video Object Segmentation~(VOS) is the task of pixel-wise tracking an object of interest within a video sequence, where the segmentation mask of the first frame is given at inference time. In recent years, Recurrent Neural Networks~(RNNs) have been widely used for VOS tasks, but they often suffer from limitations such as drift and error propagation. In this work, we study an RNN-based architecture and address some of these issues by proposing a hybrid sequence-to-sequence architecture named HS2S, utilizing a dual mask propagation strategy that allows incorporating the information obtained from correspondence matching. Our experiments show that augmenting the RNN with correspondence matching is a highly effective solution to reduce the drift problem. The additional information helps the model to predict more accurate masks and makes it robust against error propagation. We evaluate our HS2S model on the DAVIS2017 dataset as well as Youtube-VOS. On the latter, we achieve an improvement of 11.2pp in the overall segmentation accuracy over RNN-based state-of-the-art methods in VOS. We analyze our model's behavior in challenging cases such as occlusion and long sequences and show that our hybrid architecture significantly enhances the segmentation quality in these difficult scenarios.


title: $\Lambda NN $ three-body problem within $s$-wave inverse scattering on theoretical data

abstract: $\Lambda N $ potentials recovered through the application of $s$-wave inverse scattering on theoretical data are demonstrated on the $\Lambda NN $ three-body problem. The spin-dependent Malfliet-Tjon I/III potential, with benchmark parameters that bind the deuteron at -2.2307 MeV, represents the $NN$ interaction. The three-body problem is solved through the hyperspherical method. From spin-averaged effective $\Lambda N $ potentials with one-quarter spin singlet and three-quarters spin triplet contributions, the binding energy and root-mean-square radius of $\Lambda n p$ ($J^{\pi}=1/2^+$) computed is found to be -3.0759 MeV and 7.7 fm, respectively. This is higher than the current experimental binding energy for $\Lambda n p$ ($J^{\pi}=1/2^+$), but consistent with recent trends in high-precision measurements on the lifetime of the same hypernucleus. With charge symmetry breaking in the $\Lambda N $ potentials, this $\Lambda n p$ ($J^{\pi}=1/2^+$) binding energy was found to be consistent with a bound $\Lambda n n$ ($J^{\pi}=1/2^+$) state.


title: Implications of the NANOGrav result on primordial gravitational waves in nonstandard cosmologies

abstract: Recently, the NANOGrav collaboration has reported evidence for a common-spectrum stochastic process, which might be interpreted as the first ever detection of stochastic gravitational wave (GW) background. We discuss the possibility of the signal arising from the first and second-order GWs in nonstandard cosmological history. We show that the NANOGrav observation can be explained by the first order GWs in the nonstandard thermal history with an early matter-dominated era, whereas the parameter space required to explain the NANOGrav observation in the standard cosmology or in the nonstandard epoch of kination domination is ruled out by the BBN and CMB observations. For the second-order GWs arising from the large primordial scalar fluctuations, we study the standard radiation domination and two specific nonstandard cases with a few forms of the primordial power spectrum $P_{\zeta}(k)$ to achieve abundant primordial black hole (PBH) production. We find that the NANOGrav observation can be explained with standard radiation domination for all of these $P_{\zeta}(k)$. Furthermore, a dustlike epoch leads to abundant PBH formation for a lower amplitude of $P_{\zeta}(k)$ than the radiation dominated case and complies with the NANOGrav observation only for a few of the all $P_{\zeta}(k)$ forms considered here, where the peak wavenumber is larger than the wavenumber range probed by the NANOGrav. In this nonstandard epoch, for a broad power spectrum, PBHs are produced in a wide mass range in the planetary mass regime. A nonstandard epoch of kination domination cannot produce enough PBH for any of the $P_{\zeta}(k)$ if the NANOGrav result is to be satisfied.


title: Star formation and nuclear activity in luminous infrared galaxies: An infrared through radio review

abstract: Nearby galaxies offer unique laboratories allowing multi-wavelength spatially resolved studies of the interstellar medium, star formation and nuclear activity across a broad range of physical conditions. In particular, detailed studies of individual local luminous infrared galaxies (LIRGs) are crucial for gaining a better understanding of these processes and for developing and testing models that are used to explain statistical studies of large populations of such galaxies at high redshift for which it is currently impossible to reach a sufficient physical resolution. Here, we provide an overview of the impact of spatially resolved infrared, sub-millimetre and radio observations in the study of the interstellar medium, star formation and active galactic nuclei as well as their interplay in local LIRGs. We also present an overview of the modelling of their spectral energy distributions using state-of-the-art radiative transfer codes. These contribute necessary and powerful 'workhorse' tools for the study of LIRGs (and their more luminous counterparts) at higher redshifts which are unresolved in observations. We describe how spatially-resolved time domain observations have recently opened a new window to study the nuclear activity in LIRGs. We describe in detail the observational characteristics of Arp 299 which is one of the best studied local LIRGs and exemplifies the power of the combination of high-resolution observations at infrared to radio wavelengths together with radiative transfer modelling used to explain the spectral energy distributions of its different components. We summarise the previous achievements obtained using high-spatial resolution observations and provide an outlook into what we can expect to achieve with future facilities.