title: Two-Stage Electricity Markets with Renewable Energy Integration: Market Mechanisms and Equilibrium Analysis

abstract: We consider a two-stage market mechanism for trading electricity including renewable generation as an alternative to the widely used multi-settlement market structure. The two-stage market structure allows for recourse decisions by the market operator, which are not possible in today's markets. We allow for different conventional generation cost curves in the forward and the real-time stages. We have considered costs of demand response programs and black outs, and adopt a DC power flow model to account for network constraints. Our first result is to show existence (by construction) of a sequential competitive equilibrium (SCEq) in such a two-stage market. We argue social welfare properties of such an SCEq, and then design a market mechanism that achieves social welfare maximization when the market participants are non-strategic. We also show that under either a congestion-free or a monopoly-free condition, an efficient Nash equilibrium exists.


title: Hole superconductivity in infinite-layer nickelates

abstract: We propose that the superconductivity recently observed in Nd$_{0.8}$Sr$_{0.2}$NiO$_2$ with critical temperature in the range $9$ K to $15$ K results from the same charge carriers and the same mechanism that we have proposed give rise to superconductivity in both hole-doped and electron-doped cuprates: pairing of hole carriers in oxygen $p\pi$ orbitals, driven by a correlated hopping term in the effective Hamiltonian that lowers the kinetic energy, as described by the theory of hole superconductivity. We predict a large increase in $T_c$ with compressive epitaxial strain.


title: A Geometrical Branch-and-Price (GEOM-BP) Algorithm for Big Bin Packing Problems

abstract: Bin packing problem examines the minimum number of identical bins needed to pack a set of items of various weights. This problem arises in various areas of the artificial intelligence demanding derivation of the exact solutions in the shortest amount of time. Employing branch-and-bound and column generation techniques to derive the exact solutions to this problem, usually requires designation of problem-specific branching rules compatible with the nature of the polluted pricing sub-problem of column generation. In this work, we present a new approach to deal with the forbidden bins which handles two-dimensional knapsack problems. Furthermore, a set of diving criteria are introduced which emphasize the importance of the geometrical features of the bins. It is further shown that efficiency of the column generation technique could significantly get improved using an implicit sectional pricing scheme. The proposed algorithm outperforms the current state-of-the-art algorithms in number of the benchmark instances solved in less than one minute.


title: On the $\mu$-invariants of abelian varieties over function fields of positive characteristic

abstract: Let $A$ be an abelian variety over a global function field $K$ of characteristic $p$. We study the $\mu$-invariant appearing in the Iwasawa theory of $A$ over the unramified $\mathbb{Z}_p$-extension of $K$. Ulmer suggests that this invariant is equal to what he calls the dimension of the Tate-Shafarevich group of $A$ and that it is indeed the dimension of some canonically defined group scheme. Our first result is to verify his suggestions. He also gives a formula for the dimension of the Tate-Shafarevich group (which is now the $\mu$-invariant) in terms of other quantities including the Faltings height of $A$ and Frobenius slopes of the numerator of the Hasse-Weil $L$-function of $A / K$ assuming the conjectural Birch-Swinnerton-Dyer formula. Our next result is to prove this $\mu$-invariant formula unconditionally for Jacobians and for semistable abelian varieties. Finally, we show that the "$\mu=0$" locus of the moduli of isomorphism classes of minimal elliptic surfaces endowed with a section and with fixed large enough Euler characteristic is a dense open subset.


title: How Contextual are Contextualized Word Representations? Comparing the Geometry of BERT, ELMo, and GPT-2 Embeddings

abstract: Replacing static word embeddings with contextualized word representations has yielded significant improvements on many NLP tasks. However, just how contextual are the contextualized representations produced by models such as ELMo and BERT? Are there infinitely many context-specific representations for each word, or are words essentially assigned one of a finite number of word-sense representations? For one, we find that the contextualized representations of all words are not isotropic in any layer of the contextualizing model. While representations of the same word in different contexts still have a greater cosine similarity than those of two different words, this self-similarity is much lower in upper layers. This suggests that upper layers of contextualizing models produce more context-specific representations, much like how upper layers of LSTMs produce more task-specific representations. In all layers of ELMo, BERT, and GPT-2, on average, less than 5% of the variance in a word's contextualized representations can be explained by a static embedding for that word, providing some justification for the success of contextualized representations.


title: Causal Discovery by Kernel Intrinsic Invariance Measure

abstract: Reasoning based on causality, instead of association has been considered as a key ingredient towards real machine intelligence. However, it is a challenging task to infer causal relationship/structure among variables. In recent years, an Independent Mechanism (IM) principle was proposed, stating that the mechanism generating the cause and the one mapping the cause to the effect are independent. As the conjecture, it is argued that in the causal direction, the conditional distributions instantiated at different value of the conditioning variable have less variation than the anti-causal direction. Existing state-of-the-arts simply compare the variance of the RKHS mean embedding norms of these conditional distributions. In this paper, we prove that this norm-based approach sacrifices important information of the original conditional distributions. We propose a Kernel Intrinsic Invariance Measure (KIIM) to capture higher order statistics corresponding to the shapes of the density functions. We show our algorithm can be reduced to an eigen-decomposition task on a kernel matrix measuring intrinsic deviance/invariance. Causal directions can then be inferred by comparing the KIIM scores of two hypothetic directions. Experiments on synthetic and real data are conducted to show the advantages of our methods over existing solutions.


title: Progress towards Nash-Williams' Conjecture on Triangle Decompositions

abstract: Partitioning the edges of a graph into edge disjoint triangles forms a triangle decomposition of the graph. A famous conjecture by Nash-Williams from 1970 asserts that any sufficiently large, triangle divisible graph on $n$ vertices with minimum degree at least $0.75 n$ admits a triangle decomposition. In the light of recent results, the fractional version of this problem is of central importance. A fractional triangle decomposition is an assignment of non-negative weights to each triangle in a graph such that the sum of the weights along each edge is precisely 1. We show that for any graph on $n$ vertices with minimum degree at least $0.827327 n$ admits a fractional triangle decomposition. Combined with results of Barber, K\"{u}hn, Lo, and Osthus, this implies that for every sufficiently large triangle divisible graph on $n$ vertices with minimum degree at least $0.82733 n$ admits a triangle decomposition.


title: Bayesian Neural Tree Models for Nonparametric Regression

abstract: Frequentist and Bayesian methods differ in many aspects, but share some basic optimal properties. In real-life classification and regression problems, situations exist in which a model based on one of the methods is preferable based on some subjective criterion. Nonparametric classification and regression techniques, such as decision trees and neural networks, have frequentist (classification and regression trees (CART) and artificial neural networks) as well as Bayesian (Bayesian CART and Bayesian neural networks) approaches to learning from data. In this work, we present two hybrid models combining the Bayesian and frequentist versions of CART and neural networks, which we call the Bayesian neural tree (BNT) models. Both models exploit the architecture of decision trees and have lesser number of parameters to tune than advanced neural networks. Such models can simultaneously perform feature selection and prediction, are highly flexible, and generalize well in settings with a limited number of training observations. We study the consistency of the proposed models, and derive the optimal value of an important model parameter. We also provide illustrative examples using a wide variety of real-life regression data sets.


title: Beyond The Wall Street Journal: Anchoring and Comparing Discourse Signals across Genres

abstract: Recent research on discourse relations has found that they are cued not only by discourse markers (DMs) but also by other textual signals and that signaling information is indicative of genres. While several corpora exist with discourse relation signaling information such as the Penn Discourse Treebank (PDTB, Prasad et al. 2008) and the Rhetorical Structure Theory Signalling Corpus (RST-SC, Das and Taboada 2018), they both annotate the Wall Street Journal (WSJ) section of the Penn Treebank (PTB, Marcus et al. 1993), which is limited to the news domain. Thus, this paper adapts the signal identification and anchoring scheme (Liu and Zeldes, 2019) to three more genres, examines the distribution of signaling devices across relations and genres, and provides a taxonomy of indicative signals found in this dataset.


title: Study of pulsational instabilities in models of $\delta\,$Scuti pulsators discovered under the Nainital-Cape Survey

abstract: Under the Nainital-Cape Survey, eight $\delta\,$Scuti type pulsators have been discovered with the pulsation periods in the range of several minutes to few hours. In order to understand these observed pulsational variabilities, we have performed non-adiabatic linear stability analyses in models of these stars having mass in the range of 1 to 3 M$_{\odot}$. Several low order p-modes are found to be unstable where the pulsation periods associated with these unstable modes are in good agreement with the observed periods. Particularly for HD$\,$118660, HD$\,$113878, HD$\,$102480, HD$\,$98851, and HD$\,$25515, we demonstrate that the observed variabilities can be explained with the low order radial p-mode pulsations.


title: Bulk, surface and corner free energies of the anisotropic triangular Ising model: series expansions and critical behaviour

abstract: We consider the anisotropic Ising model on the triangular lattice with finite boundaries, and use Kaufman's spinor method to calculate low-temperature series expansions for the partition function to high order. From these we can obtain 108-term series expansions for the bulk, surface and corner free energies. We extrapolate these to all terms and thereby conjecture the exact results for each. Our results agree with the exactly known bulk free energy. For the isotropic case, they also agree with Vernier and Jacobsen's conjecture for the $60^{\circ}$ corners, and with Cardy and Peschel's conformal invariance predictions for the dominant behaviour at criticality.


title: Toward Understanding The Effect Of Loss function On Then Performance Of Knowledge Graph Embedding

abstract: Knowledge graphs (KGs) represent world's facts in structured forms. KG completion exploits the existing facts in a KG to discover new ones. Translation-based embedding model (TransE) is a prominent formulation to do KG completion. Despite the efficiency of TransE in memory and time, it suffers from several limitations in encoding relation patterns such as symmetric, reflexive etc. To resolve this problem, most of the attempts have circled around the revision of the score function of TransE i.e., proposing a more complicated score function such as Trans(A, D, G, H, R, etc) to mitigate the limitations. In this paper, we tackle this problem from a different perspective. We show that existing theories corresponding to the limitations of TransE are inaccurate because they ignore the effect of loss function. Accordingly, we pose theoretical investigations of the main limitations of TransE in the light of loss function. To the best of our knowledge, this has not been investigated so far comprehensively. We show that by a proper selection of the loss function for training the TransE model, the main limitations of the model are mitigated. This is explained by setting upper-bound for the scores of positive samples, showing the region of truth (i.e., the region that a triple is considered positive by the model). Our theoretical proofs with experimental results fill the gap between the capability of translation-based class of embedding models and the loss function. The theories emphasise the importance of the selection of the loss functions for training the models. Our experimental evaluations on different loss functions used for training the models justify our theoretical proofs and confirm the importance of the loss functions on the performance.


title: DRAT and Propagation Redundancy Proofs Without New Variables

abstract: We study the complexity of a range of propositional proof systems which allow inference rules of the form: from a set of clauses $\Gamma$ derive the set of clauses $\Gamma \cup \{ C \}$ where, due to some syntactic condition, $\Gamma \cup \{ C \}$ is satisfiable if $\Gamma$ is, but where $\Gamma$ does not necessarily imply $C$. These inference rules include BC, RAT, SPR and PR (respectively short for blocked clauses, resolution asymmetric tautologies, subset propagation redundancy and propagation redundancy), which arose from work in satisfiability (SAT) solving. We introduce a new, more general rule SR (substitution redundancy). If the new clause $C$ is allowed to include new variables then the systems based on these rules are all equivalent to extended resolution. We focus on restricted systems that do not allow new variables. The systems with deletion, where we can delete a clause from our set at any time, are denoted DBC${}^-$, DRAT${}^-$, DSPR${}^-$, DPR${}^-$ and DSR${}^-$. The systems without deletion are BC${}^-$, RAT${}^-$, SPR${}^-$, PR${}^-$ and SR${}^-$. With deletion, we show that DRAT${}^-$, DSPR${}^-$ and DPR${}^-$ are equivalent. By earlier work of Kiesl, Rebola-Pardo and Heule, they are also equivalent to DBC${}^-$. Without deletion, we show that SPR${}^-$ can simulate PR${}^-$ provided only short clauses are inferred by SPR inferences. We also show that many of the well-known "hard" principles have small SPR${}^-$ refutations. These include the pigeonhole principle, bit pigeonhole principle, parity principle, Tseitin tautologies and clique-coloring tautologies. SPR${}^-$ can also handle or-fication and xor-ification, and lifting with an index gadget. Our final result is an exponential size lower bound for RAT${}^-$ refutations, giving exponential separations between RAT${}^-$ and both DRAT${}^-$ and SPR${}^-$.


title: Modeling Long-Range Context for Concurrent Dialogue Acts Recognition

abstract: In dialogues, an utterance is a chain of consecutive sentences produced by one speaker which ranges from a short sentence to a thousand-word post. When studying dialogues at the utterance level, it is not uncommon that an utterance would serve multiple functions. For instance, "Thank you. It works great." expresses both gratitude and positive feedback in the same utterance. Multiple dialogue acts (DA) for one utterance breeds complex dependencies across dialogue turns. Therefore, DA recognition challenges a model's predictive power over long utterances and complex DA context. We term this problem Concurrent Dialogue Acts (CDA) recognition. Previous work on DA recognition either assumes one DA per utterance or fails to realize the sequential nature of dialogues. In this paper, we present an adapted Convolutional Recurrent Neural Network (CRNN) which models the interactions between utterances of long-range context. Our model significantly outperforms existing work on CDA recognition on a tech forum dataset.


title: All Roads Lead to UD: Converting Stanford and Penn Parses to English Universal Dependencies with Multilayer Annotations

abstract: We describe and evaluate different approaches to the conversion of gold standard corpus data from Stanford Typed Dependencies (SD) and Penn-style constituent trees to the latest English Universal Dependencies representation (UD 2.2). Our results indicate that pure SD to UD conversion is highly accurate across multiple genres, resulting in around 1.5% errors, but can be improved further to fewer than 0.5% errors given access to annotations beyond the pure syntax tree, such as entity types and coreference resolution, which are necessary for correct generation of several UD relations. We show that constituent-based conversion using CoreNLP (with automatic NER) performs substantially worse in all genres, including when using gold constituent trees, primarily due to underspecification of phrasal grammatical functions.


title: Flexible Auto-weighted Local-coordinate Concept Factorization: A Robust Framework for Unsupervised Clustering

abstract: Concept Factorization (CF) and its variants may produce inaccurate representation and clustering results due to the sensitivity to noise, hard constraint on the reconstruction error and pre-obtained approximate similarities. To improve the representation ability, a novel unsupervised Robust Flexible Auto-weighted Local-coordinate Concept Factorization (RFA-LCF) framework is proposed for clustering high-dimensional data. Specifically, RFA-LCF integrates the robust flexible CF by clean data space recovery, robust sparse local-coordinate coding and adaptive weighting into a unified model. RFA-LCF improves the representations by enhancing the robustness of CF to noise and errors, providing a flexible constraint on the reconstruction error and optimizing the locality jointly. For robust learning, RFA-LCF clearly learns a sparse projection to recover the underlying clean data space, and then the flexible CF is performed in the projected feature space. RFA-LCF also uses a L2,1-norm based flexible residue to encode the mismatch between the recovered data and its reconstruction, and uses the robust sparse local-coordinate coding to represent data using a few nearby basis concepts. For auto-weighting, RFA-LCF jointly preserves the manifold structures in the basis concept space and new coordinate space in an adaptive manner by minimizing the reconstruction errors on clean data, anchor points and coordinates. By updating the local-coordinate preserving data, basis concepts and new coordinates alternately, the representation abilities can be potentially improved. Extensive results on public databases show that RFA-LCF delivers the state-of-the-art clustering results compared with other related methods.


title: Low-Complexity Linear Equalizers for OTFS Exploiting Two-Dimensional Fast Fourier Transform

abstract: Orthogonal time frequency space (OTFS) modulation can effectively convert a doubly dispersive channel into an almost non-fading channel in the delay-Doppler domain. However, one critical issue for OTFS is the very high complexity of equalizers. In this letter, we first reveal the doubly block circulant feature of OTFS channel represented in the delay-Doppler domain. By exploiting this unique feature, we further propose zero-forcing (ZF) and minimum mean squared error (MMSE) equalizers that can be efficiently implemented with the two-dimensional fast Fourier transform. The complexity of our proposed equalizers is gracefully reduced from $\mathcal{O}\left(\left(NM\right)^{3}\right)$ to $\mathcal{O}\left(NM\mathrm{log_{2}}\left(NM\right)\right)$, where $N$ and $M$ are the number of OTFS symbols and subcarriers, respectively. Analysis and simulation results show that compared with other existing linear equalizers for OTFS, our proposed linear equalizers enjoy a much lower computational complexity without any performance loss.


title: Active Collaborative Sensing for Energy Breakdown

abstract: Residential homes constitute roughly one-fourth of the total energy usage worldwide. Providing appliance-level energy breakdown has been shown to induce positive behavioral changes that can reduce energy consumption by 15%. Existing approaches for energy breakdown either require hardware installation in every target home or demand a large set of energy sensor data available for model training. However, very few homes in the world have installed sub-meters (sensors measuring individual appliance energy); and the cost of retrofitting a home with extensive sub-metering eats into the funds available for energy saving retrofits. As a result, strategically deploying sensing hardware to maximize the reconstruction accuracy of sub-metered readings in non-instrumented homes while minimizing deployment costs becomes necessary and promising. In this work, we develop an active learning solution based on low-rank tensor completion for energy breakdown. We propose to actively deploy energy sensors to appliances from selected homes, with a goal to improve the prediction accuracy of the completed tensor with minimum sensor deployment cost. We empirically evaluate our approach on the largest public energy dataset collected in Austin, Texas, USA, from 2013 to 2017. The results show that our approach gives better performance with a fixed number of sensors installed when compared to the state-of-the-art, which is also proven by our theoretical analysis.


title: An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis

abstract: The majority of existing Linear Temporal Logic (LTL) planning methods rely on the construction of a discrete product automaton, that combines a discrete abstraction of robot mobility and a B$\ddot{\text{u}}$chi automaton that captures the LTL specification. Representing this product automaton as a graph and using graph search techniques, optimal plans that satisfy the LTL task can be synthesized. However, constructing expressive discrete abstractions makes the synthesis problem computationally intractable. In this paper, we propose a new sampling-based LTL planning algorithm that does not require any discrete abstraction of robot mobility. Instead, it incrementally builds trees that explore the product state-space, until a maximum number of iterations is reached or a feasible plan is found. The use of trees makes data storage and graph search tractable, which significantly increases the scalability of our algorithm. To accelerate the construction of feasible plans, we introduce bias in the sampling process which is guided by transitions in the B$\ddot{\text{u}}$chi automaton that belong to the shortest path to the accepting states. We show that our planning algorithm, with and without bias, is probabilistically complete and asymptotically optimal. Finally, we present numerical experiments showing that our method outperforms relevant temporal logic planning methods.


title: Magnetically induced/enhanced coarsening in thin films

abstract: External magnetic fields influence the microstructure of polycrystalline materials. We explore the influence of strong external magnetic fields on the long time scaling of grain size during coarsening in thin films with an extended phase-field-crystal model. Additionally, the change of various geometrical and topological properties is studied. In a situation which leads to stagnation, an applied external magnetic field can induce further grain growth. The induced driving force due to the magnetic anisotropy defines the magnetic influence of the external magnetic field. Different scaling regimes are identified dependent on the magnetization. At the beginning, the scaling exponent increases with the strength of the magnetization. Later, when the texture becomes dominated by grains preferably aligned with the external magnetic field, the scaling exponent becomes independent of the strength of the magnetization or stagnation occurs. We discuss how the magnetic influence change the effect of retarding or pinning forces, which are known to influence the scaling exponent. We further study the influence of the magnetic field on the grain size distribution (GSD), next neighbor distribution (NND) as well as grain shape and orientation. If possible, we compare our predictions with experimental findings.


title: Survey Observation of CH$_3$NH$_2$ and Its Formation Process

abstract: We present the observational result of a glycine precursor, methylamine (CH$_3$NH$_2$), together with methanol (CH$_3$OH) and methanimine (CH$_2$NH) towards high-mass star-forming regions, NGC6334I, G10.47+0.03, G31.41+0.3, and W51~e1/e2 using ALMA. The molecular abundances toward these sources were derived using the rotational diagram method and compared with our state-of-the-art chemical model. We found that the observed ratio of "CH$_3$NH$_2$/CH$_3$OH" is in between 0.11 and 2.2. We also found that the observed "CH$_3$NH$_2$/CH$_3$OH" ratio agrees well with our chemical model by considering the formation of CH$_3$NH$_2$ on the grain surface via hydrogenation process to HCN. This result clearly shows the importance of hydrogenation processes to form CH$_3$NH$_2$. NGC63343I MM3, where CH$_3$NH$_2$ was not detected in this study and showed "CH$_3$NH$_2$/CH$_3$OH" ratio of less than 0.02, is clearly distinguished from the other cores.


title: The equivariant coarse Novikov conjecture and coarse embedding

abstract: The equivariant coarse Novikov conjecture provides an algorithm for determining nonvanishing of equivariant higher index of elliptic differential operators on noncompact manifolds. In this article, we prove the equivariant coarse Novikov conjecture under certain coarse embeddability conditions. More precisely, if a discrete group $\Gamma$ acts on a bounded geometric space $X$ properly, isometrically, and with bounded distortion, $X/\Gamma$ and $\Gamma$ admit coarse embeddings into Hilbert space, then the $\Gamma$-equivariant coarse Novikov conjecture holds for $X$. Here bounded distortion means that for any $\gamma\in\Gamma$, $\sup_{x\in Y} d(\gamma x,x)<\infty$, where $Y$ is a fundamental domain of the $\Gamma$-action on $X$.


title: Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs

abstract: Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} \rceil$ rounds. We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $\delta$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{\delta+1}}$ rounds. In particular, for dense graphs with $\delta \in \Theta(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $\delta$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} \rceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} \rceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.


title: Improving Context-aware Neural Machine Translation with Target-side Context

abstract: In recent years, several studies on neural machine translation (NMT) have attempted to use document-level context by using a multi-encoder and two attention mechanisms to read the current and previous sentences to incorporate the context of the previous sentences. These studies concluded that the target-side context is less useful than the source-side context. However, we considered that the reason why the target-side context is less useful lies in the architecture used to model these contexts. Therefore, in this study, we investigate how the target-side context can improve context-aware neural machine translation. We propose a weight sharing method wherein NMT saves decoder states and calculates an attention vector using the saved states when translating a current sentence. Our experiments show that the target-side context is also useful if we plug it into NMT as the decoder state when translating a previous sentence.


title: Semantic Segmentation of Panoramic Images Using a Synthetic Dataset

abstract: Panoramic images have advantages in information capacity and scene stability due to their large field of view (FoV). In this paper, we propose a method to synthesize a new dataset of panoramic image. We managed to stitch the images taken from different directions into panoramic images, together with their labeled images, to yield the panoramic semantic segmentation dataset denominated as SYNTHIA-PANO. For the purpose of finding out the effect of using panoramic images as training dataset, we designed and performed a comprehensive set of experiments. Experimental results show that using panoramic images as training data is beneficial to the segmentation result. In addition, it has been shown that by using panoramic images with a 180 degree FoV as training data the model has better performance. Furthermore, the model trained with panoramic images also has a better capacity to resist the image distortion.


title: Linear conjugacy of chemical kinetic systems

abstract: Two networks are said to be linearly conjugate if the solution of their dynamic equations can be transformed into each other by a positive linear transformation. The study on dynamical equivalence in chemical kinetic systems was initiated by Craciun and Pantea in 2008 and eventually led to the Johnston-Siegel Criterion for linear conjugacy (JSC). Several studies have applied Mixed Integer Linear Programming (MILP) approach to generate linear conjugates of MAK (mass action kinetic) systems, Bio-CRNs (which is a subset of hill-type kinetic systems when the network is restricted to digraphs), and PL-RDK (complex factorizable power law kinetic) systems. In this study, we present a general computational solution to construct linear conjugates of any "rate constant-interaction function decomposable" (RID) chemical kinetic systems, wherein each of its rate function is the product of a rate constant and an interaction function. We generate an extension of the JSC to the complex factorizable (CF) subset of RID kinetic systems and show that any non-complex factorizable (NF) RID kinetic system can be dynamically equivalent to a CF system via transformation. We show that linear conjugacy can be generated for any RID kinetic systems by applying the JSC to any NF kinetic system that are transformed to CF kinetic system.


title: Conditional expectation on non-commutative $H^{(r,s)}_{p}(\mathcal A;\ell_{\infty})$ and $H_{p}(\mathcal A;\ell_{1})$ spaces : semifinite case

abstract: In this paper we investigate the conditional expectation on the non-commutative $H^{(r,s)}_{p}(\mathcal A;\ell_{\infty})$ and $H_{p}(\mathcal A;\ell_{1})$ spaces associated with semifinite subdiagonal algebra, and prove the contractibility of the underlying conditional expectation on these spaces.


title: Randomized methods to characterize large-scale vortical flow network

abstract: We demonstrate the effective use of randomized methods for linear algebra to perform network-based analysis of complex vortical flows. Network theoretic approaches can reveal the connectivity structures among a set of vortical elements and analyze their collective dynamics. These approaches have recently been generalized to analyze high-dimensional turbulent flows, for which network computations can become prohibitively expensive. In this work, we propose efficient methods to approximate network quantities, such as the leading eigendecomposition of the adjacency matrix, using randomized methods. Specifically, we use the Nystr\"om method to approximate the leading eigenvalues and eigenvectors, achieving significant computational savings and reduced memory requirements. The effectiveness of the proposed technique is demonstrated on two high-dimensional flow fields: two-dimensional flow past an airfoil and two-dimensional turbulence. We find that quasi-uniform column sampling outperforms uniform column sampling, while both feature the same computational complexity.

categories: math.NA cs.NA physics.data-an physics.flu-dyn


title: Quantum synchronization and correlations of two qutrits in a non-Markovian bath

abstract: We investigate quantum synchronization and correlations of two qutrits in one non-Markovian environment using the hierarchy equation method. There is no direct interaction between two qutrits and each qutrit interacts with the same non-Markovian environment. The influence of the temperature of the bath, correlation time, and coupling strength between qutrits and bath on the quantum synchronzation and correlations of two qutrits are studied without the Markovian, Born, and rotating wave approximations. We also discuss the influence of dissipation and dephasing on the synchronization of two qutrits. In the presence of dissipation, the phase locking between two qutrits without any direct interaction can be achieved when each qutrit interacts with the common bath. Two qutrits within one common bath can not be syncrhonized in the purely dephasing case. In addition, the Arnold tongue can be significantly broadened by decreasing the correlation time of two qutrits and bath.


title: Global stability of nonhomogeneous equilibrium solution for the diffusive Lotka-Volterra competition model

abstract: A diffusive Lotka-Volterra competition model is considered for the combined effect of spatial dispersal and spatial variations of resource on the population persistence and exclusion. First it is shown that in a two-species system in which the diffusion coefficients, resource functions and competition rates are all spatially heterogeneous, the positive equilibrium solution is globally asymptotically stable when it exists. Secondly the existence and global asymptotic stability of the positive and semi-trivial equilibrium solutions are obtained for the model with arbitrary number of species under the assumption of spatially heterogeneous resource distribution. A new Lyapunov functional method is developed to prove the global stability of a non-constant equilibrium solution in heterogeneous environment.


title: Equivariant Bifurcation from Relative Equilibria via Isomorphic Vector Fields

abstract: We present a framework for studying the dynamics of equivariant vector fields near relative equilibria. To overcome the lack of linearization at a relative equilibrium or the possible non-smoothness of the orbit space, we categorify the space of equivariant vector fields. A category where the objects are equivariant vector fields was first introduced by Hepworth in the context of smooth stacks [Hepworth, Theory Appl. Categ. 22 (2009), 542-587]. Central to our approach is the ensuing notion of isomorphic equivariant vector fields. The idea is that considering equivariant vector fields, and their corresponding dynamics, up to isomorphism is a way to take into account the symmetries of the group action without passing to the orbit space. In particular, the category of equivariant vector fields near a relative equilibrium is equivalent to the category of equivariant vector fields on the slice representation of the relative equilibrium. In this paper we apply this to bifurcations to and from relative equilibria, and to the genericity of conditions for equivariant bifurcation from relative equilibria.


title: Design, fabrication and 3-DOF control of legless capsule robot

abstract: In this paper, a legless capsule robot (capsubot) comprised of a sealed external body, an internal body, and a rotational actuator is proposed. The aim of this robot is to move in a two-dimensional viscous environment. After the robot is designed and modeled, a four-stage angular velocity profile is proposed to move the robot in one direction. In addition, a camera is used to obtain the position of the robot in the environment while the orientation and the velocity of the robot is estimated with Kalman filter by fusing the IMU, gyro, and the magnetometer sensors. Furthermore, to control the robot a state feedback control is implemented. Finally, experimental results are provided to demonstrate the performance of the robots and the proposed algorithms.


title: Analytic self-gravitating $4$-Baryons, traversable NUT-AdS wormholes, flat space-time multi-Skyrmions at finite volume and a novel transition in the $SU(3)$-Skyrme model

abstract: We construct the first analytic self-gravitating Skyrmions with higher Baryon charge in four dimensions for the $SU(3)$-Skyrme-Einstein-$\Lambda$ theory by combining the generalized hedgehog ansatz with the approach developed by Balachandran et al. to describe the first (numerical) example of a non-embedded solution. These are genuine $SU(3)$ analytic solutions instead of trivial embeddings of $SU(2)$ into $SU(3)$ and its geometry is that of a Bianchi IX Universe. The Skyrme ansatz is chosen in such a way that the Skyrme field equations are identically satisfied in the sector with Baryon charge 4. The field equations reduce to a dynamical system for the three Bianchi IX scale factors. Particular solutions are explicitly analyzed. Traversable wormholes with NUT-AdS asymptotics supported by a topologically non-trivial $SU(3)$-sigma soliton are also constructed. The self-gravitating solutions admit also a suitable flat limit giving rise to Skyrmions of charge 4 confined in a box of finite volume maintaining the integrability of the $SU(3)$ Skyrme field equations. This formalism discloses a novel transition at finite Baryon density arising from the competition between embedded and non-embedded solutions in which the non-embedded solutions prevail at high density while are suppressed at low densities.


title: Numerical Study of Evaporative Cooling in the Space Station

abstract: In this paper, we numerically studied the effects of mechanical vibration and magnetic fields on evaporative cooling process carried in space station by direct simulation Monte Carlo method. Simulated with the vibration data of international space station, we found that the cooling process would suffer great atomic losses until the accelerations reduced tenfold at least. In addition, if we enlarge the s-wave scattering length five times by Feshbach resonance, the PSD increased to 50 compared to 3 of no magnetic fields situation after 5 seconds evaporative cooling. We also simulated the two stages crossed beam evaporative cooling process (TSCBC) under both physical impacts and obtain $4\times10^5$ $^{85}$Rb atoms with a temperature of 8 pK. These results are of significance to the cold atom experiments carried out on space station in the future.


title: Classification Betters Regression in Query-based Multi-document Summarisation Techniques for Question Answering: Macquarie University at BioASQ7b

abstract: Task B Phase B of the 2019 BioASQ challenge focuses on biomedical question answering. Macquarie University's participation applies query-based multi-document extractive summarisation techniques to generate a multi-sentence answer given the question and the set of relevant snippets. In past participation we explored the use of regression approaches using deep learning architectures and a simple policy gradient architecture. For the 2019 challenge we experiment with the use of classification approaches with and without reinforcement learning. In addition, we conduct a correlation analysis between various ROUGE metrics and the BioASQ human evaluation scores.


title: On Privacy of Socially Contagious Attributes

abstract: A commonly used method to protect user privacy in data collection is to perform randomized perturbation on user's real data before collection so that aggregated statistics can still be inferred without endangering secrets held by individuals. In this paper, we take a closer look at the validity of Differential Privacy guarantees, when the sensitive attributes are subject to social influence and contagions. We first show that in the absence of any knowledge about the contagion network, an adversary that tries to predict the real values from perturbed ones, cannot achieve an area under the ROC curve (AUC) above $1-(1-\delta)/(1+e^\varepsilon)$, if the dataset is perturbed using an $(\varepsilon,\delta)$-differentially private mechanism. Then, we show that with the knowledge of the contagion network and model, one can do significantly better. We demonstrate that our method passes the performance limit imposed by differential privacy. Our experiments also reveal that nodes with high influence on others are at more risk of revealing their secrets than others. The performance is shown through extensive experiments on synthetic and real-world networks.


title: An asymptotic relationship between homoclinic points and periodic orbit stability exponents

abstract: The magnitudes of the terms in periodic orbit semiclassical trace formulas are determined by the orbits' stability exponents. In this paper, we demonstrate a simple asymptotic relationship between those stability exponents and the phase-space positions of particular homoclinic points.


title: Two floating camphor particles interacting through lateral capillary force

abstract: We consider a mathematical model for a two-particle system driven by the spatial gradient of a concentration field of chemicals with conservative attractive interactions in one dimension. This setup corresponds to an experimental system with floating camphor particles at a water surface. Repulsive interaction is introduced, as well as self-propelling force, through the concentration field of camphor molecules at the water surface. Here we newly adopt the attractive lateral capillary force due to the deformation of the water surface. The particles experience competing dissipative repulsion and conservative attraction. We numerically investigated the mathematical model, and found six different modes of motion. The theoretical approach revealed that some of such mode transitions can be understood in terms of bifurcation.


title: Spectral properties of reducible conical metrics

abstract: We show that the monodromy of a spherical conical metric is reducible if and only if it has a real-valued eigenfunction with eigenvalue 2 in the holomorphic extension of the associated Laplace--Beltrami operator. Such an eigenfunction produces a meromorphic vector field, which is then related to the developing maps of the conical metric. We also give a lower bound of the first nonzero eigenvalue, and a complete classification of the eigenspace dimension depending on the monodromy. This paper can be seen as a new connection between the complex analysis method and the PDE approach in the study of spherical conical metrics.


title: Combinatorially Determined Zeroes of Bernstein--Sato Ideals for Tame and Free Arrangements

abstract: For a central, not necessarily reduced, hyperplane arrangement $f$ equipped with any factorization $f = f_{1} \cdots f_{r}$ and for $f^{\prime}$ dividing $f$, we consider a more general type of Bernstein--Sato ideal consisting of the polynomials $B(S) \in \mathbb{C}[s_{1}, \dots, s_{r}]$ satisfying the functional equation $B(S) f^{\prime} f_{1}^{s_{1}} \cdots f_{r}^{s_{r}} \in \text{A}_{n}(\mathbb{C})[s_{1}, \dots, s_{r}] f_{1}^{s_{1} + 1} \cdots f_{r}^{s_{r} + 1}.$ Generalizing techniques due to Maisonobe, we compute the zero locus of the standard Bernstein--Sato ideal in the sense of Budur (i.e. $f^{\prime} = 1)$ for any factorization of a free and reduced $f$ and for certain factorizations of a non-reduced $f$. We also compute the roots of the Bernstein--Sato polynomial for any power of a free and reduced arrangement. If $f$ is tame, we give a combinatorial formula for the roots lying in $[-1,0).$ For $f^{\prime} \neq 1$ and any factorization of a line arrangement, we compute the zero locus of this ideal. For free and reduced arrangements of larger rank, we compute the zero locus provided $\text{deg}(f^{\prime}) \leq 4$ and give good estimates otherwise. Along the way we generalize a duality formula for $\mathscr{D}_{X,\mathfrak{x}}[S]f^{\prime}f_{1}^{s_{1}} \cdots f_{r}^{s_{r}}$ that was first proved by Narv\'aez-Macarro for $f$ reduced, $f^{\prime} = 1$, and $r = 1.$ As an application, we investigate the minimum number of hyperplanes one must add to a tame $f$ so that the resulting arrangement is free. This notion of freeing a divisor has been explicitly studied by Mond and Schulze, albeit not for hyperplane arrangements. We show that small roots of the Bernstein--Sato polynomial of $f$ can force lower bounds for this number.


title: Resource Optimized Neural Architecture Search for 3D Medical Image Segmentation

abstract: Neural Architecture Search (NAS), a framework which automates the task of designing neural networks, has recently been actively studied in the field of deep learning. However, there are only a few NAS methods suitable for 3D medical image segmentation. Medical 3D images are generally very large; thus it is difficult to apply previous NAS methods due to their GPU computational burden and long training time. We propose the resource-optimized neural architecture search method which can be applied to 3D medical segmentation tasks in a short training time (1.39 days for 1GB dataset) using a small amount of computation power (one RTX 2080Ti, 10.8GB GPU memory). Excellent performance can also be achieved without retraining(fine-tuning) which is essential in most NAS methods. These advantages can be achieved by using a reinforcement learning-based controller with parameter sharing and focusing on the optimal search space configuration of macro search rather than micro search. Our experiments demonstrate that the proposed NAS method outperforms manually designed networks with state-of-the-art performance in 3D medical image segmentation.


title: Multilevel Monte Carlo estimation of the expected value of sample information

abstract: We study Monte Carlo estimation of the expected value of sample information (EVSI) which measures the expected benefit of gaining additional information for decision making under uncertainty. EVSI is defined as a nested expectation in which an outer expectation is taken with respect to one random variable $Y$ and an inner conditional expectation with respect to the other random variable $\theta$. Although the nested (Markov chain) Monte Carlo estimator has been often used in this context, a root-mean-square accuracy of $\varepsilon$ is achieved notoriously at a cost of $O(\varepsilon^{-2-1/\alpha})$, where $\alpha$ denotes the order of convergence of the bias and is typically between $1/2$ and $1$. In this article we propose a novel efficient Monte Carlo estimator of EVSI by applying a multilevel Monte Carlo (MLMC) method. Instead of fixing the number of inner samples for $\theta$ as done in the nested Monte Carlo estimator, we consider a geometric progression on the number of inner samples, which yields a hierarchy of estimators on the inner conditional expectation with increasing approximation levels. Based on an elementary telescoping sum, our MLMC estimator is given by a sum of the Monte Carlo estimates of the differences between successive approximation levels on the inner conditional expectation. We show, under a set of assumptions on decision and information models, that successive approximation levels are tightly coupled, which directly proves that our MLMC estimator improves the necessary computational cost to optimal $O(\varepsilon^{-2})$. Numerical experiments confirm the considerable computational savings as compared to the nested Monte Carlo estimator.


title: Seeking Edge-on Galaxies with Substantial Extraplanar Dust Using a Radiative Transfer Model: Determination of the Model Parameter Uncertainties for EON_10.477_41.954 (FGC 79)

abstract: We have revisited the target EON_10.477_41.954 in order to determine more accurately the uncertainties in the model parameters that are important for target classification (i.e., galaxies with or without substantial extraplanar dust). We performed a Markov-Chain Monte Carlo (MCMC) analysis for the fifteen parameters of the three-dimensional radiative-transfer galaxy model we used previously for target classification. To investigate the convergence of the MCMC sampling---which is usually neglected in the literature but should not be---we monitored the integrated autocorrelation time ($\tau_{int}$), and we achieved effective sample sizes $>5,650$ for all the model parameters. The confidence intervals are unstable at the beginning of the iterations where the values of $\tau_{int}$ are increasing, but they become stable in later iterations where those values are almost constant. The final confidence intervals are $\sim5-100$ times larger than the nominal uncertainties used in our previous study (the standard deviation of three best-fit results). Thus, those nominal uncertainties are not good proxies for the model-parameter uncertainties. Although the position of EON_10.477_41.954 in the target-classification plot (the scale-height to diameter ratio of dust vs that of light-source) decreases by about $20-30$ % when compared to our previous study, its membership in the ``high-group''---i.e., among galaxies with substantial extraplanar dust---nevertheless remains unchanged.


title: Implicit Progressive-Iterative Approximation for Curve and Surface Reconstruction

abstract: Implicit curve and surface reconstruction attracts the attention of many researchers and gains a wide range of applications, due to its ability to describe objects with complicated geometry and topology. However, extra zero-level sets or spurious sheets arise in the reconstruction process makes the reconstruction result challenging to be interpreted and damage the final result. In this paper, we proposed an implicit curve and surface reconstruction method based on the progressive-iterative approximation method, named implicit progressive-iterative approximation (I-PIA). The proposed method elegantly eliminates the spurious sheets naturally without requiring any explicit minimization procedure, thus reducing the computational cost greatly and providing high-quality reconstruction results. Numerical examples are provided to demonstrate the efficiency and effectiveness of the proposed method.


title: On the inclusion of damping terms in the hyperbolic MBO algorithm

abstract: The hyperbolic MBO is a threshold dynamic algorithm which approximates interfacial motion by hyperbolic mean curvature flow. We introduce a generalization of this algorithm for imparting damping terms onto the equation of motion. We also construct corresponding numerical methods, and perform numerical tests. We also use our results to show that the generalized hyperbolic MBO is able to approximate motion by the standard mean curvature flow.


title: Touch\'e: Towards Ideal and Efficient Cache Compression By Mitigating Tag Area Overheads

abstract: Compression is seen as a simple technique to increase the effective cache capacity. Unfortunately, compression techniques either incur tag area overheads or restrict data placement to only include neighboring compressed cache blocks to mitigate tag area overheads. Ideally, we should be able to place arbitrary compressed cache blocks without any placement restrictions and tag area overheads. This paper proposes Touch\'e, a framework that enables storing multiple arbitrary compressed cache blocks within a physical cacheline without any tag area overheads. The Touch\'e framework consists of three components. The first component, called the ``Signature'' (SIGN) engine, creates shortened signatures from the tag addresses of compressed blocks. Due to this, the SIGN engine can store multiple signatures in each tag entry. On a cache access, the physical cacheline is accessed only if there is a signature match (which has a negligible probability of false positive). The second component, called the ``Tag Appended Data'' (TADA) mechanism, stores the full tag addresses with data. TADA enables Touch\'e to detect false positive signature matches by ensuring that the actual tag address is available for comparison. The third component, called the ``Superblock Marker'' (SMARK) mechanism, uses a unique marker in the tag entry to indicate the occurrence of compressed cache blocks from neighboring physical addresses in the same cacheline. Touch\'e is completely hardware-based and achieves an average speedup of 12\% (ideal 13\%) when compared to an uncompressed baseline.


title: Analysis of Bias in Gathering Information Between User Attributes in News Application

abstract: In the process of information gathering on the web, confirmation bias is known to exist, exemplified in phenomena such as echo chambers and filter bubbles. Our purpose is to reveal how people consume news and discuss these phenomena. In web services, we are able to use action logs of a service to investigate these phenomena. However, many existing studies about these phenomena are conducted via questionnaires, and there are few studies using action logs. In this paper, we attempt to discover biases of information gathering due to differences in user demographic attributes, such as age and gender, from the behavior log of the news distribution service. First, we summarized the actions in the service for each user attribute and showed the difference of user behavior depending on the attributes. Next, the degree of correlation between the attributes was measured using the correlation coefficient, and a strong correlation was found to exist in the browsing tendency of the news articles between the attributes. Then, the bias of keywords between attributes was discovered, keywords with bias in behavior among the attributes were found using parameters of regression analysis. Since these discovered keywords are almost explainable by big news, our proposed method is effective in detecting biased keywords.


title: Flat Sampled Data Systems, an Algorithmic Approach

abstract: Flatness of sampled data systems can be characterized by a simple property. They must admit the transformation to special representations, which are the series or partial series connection of a Brunovsky normal form and a complement. It is shown that this property follows from an integrability condition, which must be met by the flat parametrization. The series connections admit a simplification by reduction of the original problem to a simpler one, which allows us to develop two algorithms, where the first version delivers the flat outputs directly, but one has to solve linear PDEs or nonlinear ODEs. But one gets the flat outputs directly. The second version overcomes this problem, but one can only test the existence of flat outputs.


title: Phrase-Level Class based Language Model for Mandarin Smart Speaker Query Recognition

abstract: The success of speech assistants requires precise recognition of a number of entities on particular contexts. A common solution is to train a class-based n-gram language model and then expand the classes into specific words or phrases. However, when the class has a huge list, e.g., more than 20 million songs, a fully expansion will cause memory explosion. Worse still, the list items in the class need to be updated frequently, which requires a dynamic model updating technique. In this work, we propose to train pruned language models for the word classes to replace the slots in the root n-gram. We further propose to use a novel technique, named Difference Language Model (DLM), to correct the bias from the pruned language models. Once the decoding graph is built, we only need to recalculate the DLM when the entities in word classes are updated. Results show that the proposed method consistently and significantly outperforms the conventional approaches on all datasets, esp. for large lists, which the conventional approaches cannot handle.


title: SPRING: A Sparsity-Aware Reduced-Precision Monolithic 3D CNN Accelerator Architecture for Training and Inference

abstract: CNNs outperform traditional machine learning algorithms across a wide range of applications. However, their computational complexity makes it necessary to design efficient hardware accelerators. Most CNN accelerators focus on exploring dataflow styles that exploit computational parallelism. However, potential performance speedup from sparsity has not been adequately addressed. The computation and memory footprint of CNNs can be significantly reduced if sparsity is exploited in network evaluations. To take advantage of sparsity, some accelerator designs explore sparsity encoding and evaluation on CNN accelerators. However, sparsity encoding is just performed on activation or weight and only in inference. It has been shown that activation and weight also have high sparsity levels during training. Hence, sparsity-aware computation should also be considered in training. To further improve performance and energy efficiency, some accelerators evaluate CNNs with limited precision. However, this is limited to the inference since reduced precision sacrifices network accuracy if used in training. In addition, CNN evaluation is usually memory-intensive, especially in training. In this paper, we propose SPRING, a SParsity-aware Reduced-precision Monolithic 3D CNN accelerator for trainING and inference. SPRING supports both CNN training and inference. It uses a binary mask scheme to encode sparsities in activation and weight. It uses the stochastic rounding algorithm to train CNNs with reduced precision without accuracy loss. To alleviate the memory bottleneck in CNN evaluation, especially in training, SPRING uses an efficient monolithic 3D NVM interface to increase memory bandwidth. Compared to GTX 1080 Ti, SPRING achieves 15.6X, 4.2X and 66.0X improvements in performance, power reduction, and energy efficiency, respectively, for CNN training, and 15.5X, 4.5X and 69.1X improvements for inference.


title: Molecular collapse in monolayer graphene

abstract: Atomic collapse is a phenomenon inherent to relativistic quantum mechanics where electron states dive in the positron continuum for highly charged nuclei. This phenomenon was recently observed in graphene. Here we investigate a novel collapse phenomenon when multiple sub- and supercritical charges of equal strength are put close together as in a molecule. We construct a phase diagram which consists of three distinct regions: 1) subcritical, 2) frustrated atomic collapse, and 3) molecular collapse. We show that the single impurity atomic collapse resonances rearrange themselves to form molecular collapse resonances which exhibit a distinct quasi-bonding, anti-bonding and non-bonding character. Here we limit ourselves to a systems consisting of two and three charges. We show that by tuning the distance between the charges and their strength a high degree of control over the molecular collapse resonances can be achieved.


title: Statistics and tropicalization of local field Gaussian measures

abstract: This paper aims to lay the foundations for statistics over local fields, such as the field of $p$-adic numbers. Over such fields, we give characterizations for maximum likelihood estimation and conditional independence for multivariate Gaussian distributions. We also give a bijection between the tropicalization of such Gaussian measures in dimension 2 and supermodular functions on the 2-dimensional discrete cube. Finally, we introduce the Bruhat-Tits building as a parameter space for Gaussian distributions and discuss their connections to conditional independence statements as an open problem.


title: Edge Intelligence: The Confluence of Edge Computing and Artificial Intelligence

abstract: Along with the rapid developments in communication technologies and the surge in the use of mobile devices, a brand-new computation paradigm, Edge Computing, is surging in popularity. Meanwhile, Artificial Intelligence (AI) applications are thriving with the breakthroughs in deep learning and the many improvements in hardware architectures. Billions of data bytes, generated at the network edge, put massive demands on data processing and structural optimization. Thus, there exists a strong demand to integrate Edge Computing and AI, which gives birth to Edge Intelligence. In this paper, we divide Edge Intelligence into AI for edge (Intelligence-enabled Edge Computing) and AI on edge (Artificial Intelligence on Edge). The former focuses on providing more optimal solutions to key problems in Edge Computing with the help of popular and effective AI technologies while the latter studies how to carry out the entire process of building AI models, i.e., model training and inference, on the edge. This paper provides insights into this new inter-disciplinary field from a broader perspective. It discusses the core concepts and the research road-map, which should provide the necessary background for potential future research initiatives in Edge Intelligence.


title: Improving the Epoch of Reionization Power Spectrum Results from Murchison Widefield Array Season 1 Observations

abstract: Measurements of 21 cm Epoch of Reionization (EoR) structure are subject to systematics originating from both the analysis and the observation conditions. Using 2013 data from the Murchison Widefield Array (MWA), we show the importance of mitigating both sources of contamination. A direct comparison between results from Beardsley et al. 2016 and our updated analysis demonstrates new precision techniques, lowering analysis systematics by a factor of 2.8 in power. We then further lower systematics by excising observations contaminated by ultra-faint RFI, reducing by an additional factor of 3.8 in power for the zenith pointing. With this enhanced analysis precision and newly developed RFI mitigation, we calculate a noise-dominated upper limit on the EoR structure of $\Delta^2 \leq 3.9 \times 10^3$ mK$^2$ at $k=0.20$ $\textit{h}$ Mpc$^{-1}$ and $z=7$ using 21 hr of data, improving previous MWA limits by almost an order of magnitude.


title: Hybrid Data-Model Parallel Training for Sequence-to-Sequence Recurrent Neural Network Machine Translation

abstract: Reduction of training time is an important issue in many tasks like patent translation involving neural networks. Data parallelism and model parallelism are two common approaches for reducing training time using multiple graphics processing units (GPUs) on one machine. In this paper, we propose a hybrid data-model parallel approach for sequence-to-sequence (Seq2Seq) recurrent neural network (RNN) machine translation. We apply a model parallel approach to the RNN encoder-decoder part of the Seq2Seq model and a data parallel approach to the attention-softmax part of the model. We achieved a speed-up of 4.13 to 4.20 times when using 4 GPUs compared with the training speed when using 1 GPU without affecting machine translation accuracy as measured in terms of BLEU scores.


title: Swift heavy ion irradiation of GaSb: from ion tracks to nano-porous networks

abstract: Ion track formation, amorphisation, and the formation of porosity in crystalline GaSb induced by 185 MeV $^{197}$Au swift heavy ion irradiation is investigated as a function of fluence and irradiation angle relative to the surface normal. RBS/C and SAXS reveal an ion track radius between 3 nm and 5 nm. The observed pore morphology and saturation swelling of GaSb films shows a strong irradiation angle dependence. Raman spectroscopy and scanning electron microscopy show that the ion tracks act as a source of strain in the material leading to macroscopic plastic flow at high fluences and off normal irradiation. The results are consistent with the ion hammering model for glasses. Furthermore, wide angle X-ray scattering reveals the formation of nano crystallites inside otherwise amorphous GaSb after the onset of porosity.


title: Enhancing Context Modeling with a Query-Guided Capsule Network for Document-level Translation

abstract: Context modeling is essential to generate coherent and consistent translation for Document-level Neural Machine Translations. The widely used method for document-level translation usually compresses the context information into a representation via hierarchical attention networks. However, this method neither considers the relationship between context words nor distinguishes the roles of context words. To address this problem, we propose a query-guided capsule networks to cluster context information into different perspectives from which the target translation may concern. Experiment results show that our method can significantly outperform strong baselines on multiple data sets of different domains.


title: Transport in a long-range Kitaev ladder: role of Majorana and subgap Andreev states

abstract: We study local and non-local transport across a two-leg long-range Kitaev ladder connected to two normal metal leads. We focus on the role of the constituent Majorana fermions and the subgap Andreev states. The double degeneracy of Majorana fermions of the individual legs of the ladder gets lifted by a coupling between the two leading to the formation of Andreev bound states. The coupling can be induced by a superconducting phase difference between the two legs of the ladder accompanied by a finite inter-leg hopping. Andreev bound states formed strongly enhance local Andreev reflection. When the ladder and normal metal are weakly coupled, the Andreev bound states, which are the controlling factor, result in weak nonlocal scattering. In sharp contrast, when the ladder - normal metal interface is transparent to electron flow, we find that the subgap Andreev states enhance nonlocal conductance strongly. The features in the local and nonlocal conductances resemble the spectrum of the isolated ladder. Long-range pairing helps lift the degeneracy of the Majorana modes, makes them less localized, and thus inhibits local transport, while aiding non-local transport. In particular, long-range pairing alone (without a superconducting phase difference) can enhance crossed Andreev reflection.


title: Estimating linear covariance models with numerical nonlinear algebra

abstract: Numerical nonlinear algebra is applied to maximum likelihood estimation for Gaussian models defined by linear constraints on the covariance matrix. We examine the generic case as well as special models (e.g. Toeplitz, sparse, trees) that are of interest in statistics. We study the maximum likelihood degree and its dual analogue, and we introduce a new software package LinearCovarianceModels.jl for solving the score equations. All local maxima can thus be computed reliably. In addition we identify several scenarios for which the estimator is a rational function.


title: Performances of a Compact Shielded Superconducting Magnet for Continuous Nuclear Demagnetization Refrigerator

abstract: We have successfully developed and tested a compact shielded superconducting (SSC) magnet with a FeCoV magnetic shield. This was developed for the PrNi$_5$ based nuclear demagnetization refrigerator which can keep temperatures below 1 mK continuously (CNDR) [Toda $\it{et~al}$., J. Phys.: Conf. Ser. $\bf{969}$, 012093 (2018)]. The clear bore diameter, outer diameter, and total length of the SSC magnet are 22, 42 and 169 mm, respectively, and it produces the maximum field of 1.38 T at an electric current of 6 A. In order to realize both the compactness and the high shielding performance, we carefully chose material and optimized design of the magnetic shield by numerical simulations of the field distribution based on measured magnetization curves of several candidate materials with high permeability. We also measured a heat generated by sweeping the SSC magnet in vacuum to be 230 mJ per field cycle. This value agrees very well with an estimation from the measured magnetic hysteresis of the superconducting wire used to wind the magnet.


title: B-mode Power Spectrum of CMB via Polarized Compton Scattering

abstract: In this work, according to some evidence from being an asymmetry in the number density of left and right-handed electrons, $\delta_L$, in-universe motivate us to calculate the dominated contribution of this asymmetry in the generation of B-mode power spectrum $C_{ B\,l}^{(S)}$. Note, in the standard cosmological scenario, Compton scattering in the presence of scalar matter perturbation can not generate magnetic like pattern in linear polarization while in the case of polarized Compton scattering, we have shown $C_{B\,l}^{(S)}\propto \delta_L^2$. We add up the spectrum of the B-mode generated by the polarized Compton scattering to the spectra produced by weak lensing effects and Compton scattering in the presence of tensor perturbations. The results show a significant amplification in $C_{B\,l}$ in large scale $l<500$ for $\delta_L>10^{-6}$ which will be observable in future high resolution B-mode polarization detection. Finally, we have shown that $C_{ B\,l}^{(S)}$ generated by polarized Compton scattering can suppress the tensor to scalar ratio, $r$ parameter so that this contamination can be comparable to a primordial tensor-to-scalar ratio spatially for $\delta_L>10^{-5}$.


title: Sparse Noncommutative Polynomial Optimization

abstract: This article focuses on optimization of polynomials in noncommuting variables, while taking into account sparsity in the input data. A converging hierarchy of semidefinite relaxations for eigenvalue and trace optimization is provided. This hierarchy is a noncommutative analogue of results due to Lasserre [SIAM J. Optim. 17(3) (2006), pp. 822--843] and Waki et al. [SIAM J. Optim. 17(1) (2006), pp. 218--242]. The Gelfand-Naimark-Segal (GNS) construction is applied to extract optimizers if flatness and irreducibility conditions are satisfied. Among the main techniques used are amalgamation results from operator algebra. The theoretical results are utilized to compute lower bounds on minimal eigenvalue and trace of noncommutative polynomials from the literature.


title: A Relation between Short-Term and Long-Term Arbitrage

abstract: In this work a relation between a measure of short-term arbitrage in the market and the excess growth of portfolios as a notion of long-term arbitrage is established. The former originates from "Geometric Arbitrage Theory" and the latter from "Stochastic Portfolio Theory". Both aim to describe non-equilibrium effects in financial markets. Thereby, a connection between two different theoretical frameworks of arbitrage is drawn.


title: Towards the Atiyah-Sutcliffe conjectures for coplanar hyperbolic points

abstract: The Atiyah-Sutcliffe normalized determinant function $D$ is a smooth complex-valued function on $C_n(H^3)$, where $C_n(H^3)$ denotes the configuration space of $n$ distinct points in hyperbolic $3$-space $H^3$. The hyperbolic version of the Atiyah-Sutcliffe conjecture $1$ (AS conjecture $1$) states that $D$ is nowhere vanishing. AS conjecture $2$ (hyperbolic version) is the stronger statement that $|D(\mathbf{x})| \geq 1$ for any $\mathbf{x} \in C_n(H^3)$. In this short article, we prove AS conjecture $2$ for hyperbolic convex coplanar quadrilaterals, that is for configurations of $4$ points in $H^2$ with none of the points in the configuration lying in the convex hull of the other three. We also obtain Y. Zhang and J. Ma's result, namely AS conjecture $1$ for non-convex quadrilaterals in $H^2$. Finally, we find an explicit lower bound for $|D|$ depending on $n$ only for the natural ``star-based'' variant of the AS problem, for convex coplanar hyperbolic configurations. The latter result holds for any $n \geq 2$. The proofs for $n=4$ make use of the symbolic library of Python. The proof of the general result follows from a general formula for the determinant. In all these cases, $D$ can be expanded as a linear combination of non-negative rational functions with positive coefficients.


title: On the isomorphism problem for even Artin groups

abstract: An even Artin group is a group which has a presentation with relations of the form $(st)^n=(ts)^n$ with $n\ge 1$. With a group $G$ we associate a Lie $\mathbb Z$-algebra $\mathcal{TG}r(G)$. This is the usual Lie algebra defined from the lower central series, truncated at the third rank. For each even Artin group $G$ we determine a presentation for $\mathcal{TG}r(G)$. Then we prove a criterion to determine whether two Coxeter matrices are isomorphic. Let $c,d\in\mathbb N$ such that $c\ge1$, $d\ge2$ and $\gcd(c,d)=1$. We show that, if two even Artin groups $G$ and $G'$ having presentations with relations of the form $(st)^n=(ts)^n$ with $n\in\{c\}\cup\{d^k\mid k\ge1\}$ are such that $\mathcal{TG}r(G)\simeq\mathcal{TG}r(G')$, then $G$ and $G'$ have the same presentation up to permutation of the generators. On the other hand, we show an example of two non-isomorphic even Artin groups $G$ and $G'$ such that $\mathcal{TG}r(G)\simeq\mathcal{TG}r(G')$.


title: Next Event Backtracking

abstract: In light transport simulation, challenging situations are caused by the variety of materials and the relative length of path segments. Path Tracing can handle many situations and scales well to parallel hardware. However, it is not able to produce paths which have a smooth surface in connection with a small light source. Here, photon transports perform superior, which can be ineffective if the smooth object is small compared to the scene size. We propose to use the last segment of a Path Tracer path as the first segment of a photon path. As a result, the strengths of next event estimation are inherited by the photon transport and photons are guided toward the regions where they are most useful. To that end, we developed a lock-free sparse octree, which we use for fast and robust density estimates. Summarizing, the new method can outperform state of the art algorithms like Vertex Connection and Merging in certain scenarios.


title: A Sketch-Based System for Semantic Parsing

abstract: This paper presents our semantic parsing system for the evaluation task of open domain semantic parsing in NLPCC 2019. Many previous works formulate semantic parsing as a sequence-to-sequence(seq2seq) problem. Instead, we treat the task as a sketch-based problem in a coarse-to-fine(coarse2fine) fashion. The sketch is a high-level structure of the logical form exclusive of low-level details such as entities and predicates. In this way, we are able to optimize each part individually. Specifically, we decompose the process into three stages: the sketch classification determines the high-level structure while the entity labeling and the matching network fill in missing details. Moreover, we adopt the seq2seq method to evaluate logical form candidates from an overall perspective. The co-occurrence relationship between predicates and entities contribute to the reranking as well. Our submitted system achieves the exactly matching accuracy of 82.53% on full test set and 47.83% on hard test subset, which is the 3rd place in NLPCC 2019 Shared Task 2. After optimizations for parameters, network structure and sampling, the accuracy reaches 84.47% on full test set and 63.08% on hard test subset(Our code and data are available at https://github.com/zechagl/NLPCC2019-Semantic-Parsing).


title: Energy-preserving exponential integrable numerical method for stochastic cubic wave equation with additive noise

abstract: In this paper, we present an energy-preserving exponentially integrable numerical method for stochastic wave equation with cubic nonlinearity and additive noise. We first apply the spectral Galerkin method to discretizing the original equation and show that this spatial discretization possesses an energy evolution law and certain exponential integrability property. Then the exponential integrability property of the exact solution is deduced by proving the strong convergence of the semi-discretization. To propose a full discrete numerical method which could inherit both the energy evolution law and the exponential integrability, we use the splitting technique and averaged vector field method in the temporal direction. Combining these structure-preserving properties with regularity estimates of the exact and the numerical solutions, we obtain the strong convergence rate of the numerical method. Numerical experiments coincide with these theoretical results.


title: One-dimensional optimal system for 2D Rotating Ideal Gas

abstract: We derive the one-dimensional optimal system for a system of three partial differential equations which describe the two-dimensional rotating ideal gas with polytropic parameter $\gamma >2.$ The Lie symmetries and the one-dimensional optimal system are determined for the nonrotating and rotating systems. We compare the results and we found that when there is no Coriolis force the system admits eight Lie point symmetries, while the rotating system admits seven Lie point symmetries. Consequently the two systems are not algebraic equivalent as in the case of $\gamma =2~$ which was found by previous studies. For the one-dimensional optimal system we determine all the Lie invariants, while we demonstrate our results by reducing the system of partial differential equations into a system of first-order ordinary differential equations which can be solved by quadratures.

categories: nlin.SI math-ph math.AP math.MP physics.flu-dyn


title: Precursors in Short Gamma-ray Bursts as a Possible Probe of Progenitors

abstract: We extract 18 candidate short gamma-ray bursts (SGRBs) with precursors from 660 SGRBs observed by {\em Fermi} and {\em Swift} satellites, and carry out a comprehensive analysis on their temporal and spectral features. We obtain the following results: (1) For a large fraction of candidates, the main burst durations are longer than their precursor durations, comparable to their quiescent times from the end of precursors to the beginning of their main bursts. (2) The average flux of precursors tends to increase as their main bursts brighten. (3) As seen from the distributions of hardness ratio and spectral fitting, the precursors are slightly spectrally softer with respect to the main bursts. Moreover, a significant portion of precursors and all main bursts favor a non-thermal spectrum. (4) The precursors might be a probe of the progenitor properties of SGRBs such as the magnetic field strength and the crustal equation of state if they arise from some processes before mergers of binary compact objects rather than post-merger processes.


title: SumQE: a BERT-based Summary Quality Estimation Model

abstract: We propose SumQE, a novel Quality Estimation model for summarization based on BERT. The model addresses linguistic quality aspects that are only indirectly captured by content-based approaches to summary evaluation, without involving comparison with human references. SumQE achieves very high correlations with human ratings, outperforming simpler models addressing these linguistic aspects. Predictions of the SumQE model can be used for system development, and to inform users of the quality of automatically produced summaries and other types of generated text.


title: Asymptotic linear expansion of regularized M-estimators

abstract: Parametric high-dimensional regression analysis requires the usage of regularization terms to get interpretable models. The respective estimators can be regarded as regularized M-functionals which are naturally highly nonlinear. We study under which conditions these M-functionals are compactly differentiable, so that the corresponding estimators admit an asymptotically linear expansion. In a one-step construction, for a suitably consistent starting estimator, this linearization replaces solving optimization problems by evaluating the corresponding influence curves at the given data points. We show under which conditions the asymptotic linear expansion is valid and provide concrete examples of machine learning algorithms that fit into this framework.


title: Renormalization-Group Running Induced Cosmic Inflation

abstract: As a contribution to a viable candidate for a standard model of cosmology, we here show that pre-inflationary quantum fluctuations can provide a scenario for the long-sought initial conditions for the inflaton field. Our proposal is based on the assumption that at very high energies (higher than the energy scale of inflation) the vacuum-expectation value (VeV) of the field is trapped in a false vacuum and then, due to renormalization-group (RG) running, the potential starts to flatten out toward low energy, eventually tending to a convex one which allows the field to roll down to the true vacuum. We argue that the proposed mechanism should apply to large classes of inflationary potentials with multiple concave regions. Our findings favor a particle physics origin of chaotic, large-field inflationary models as we eliminate the need for large field fluctuations at the GUT scale. In our analysis, we provide a specific example of such an inflationary potential, whose parameters can be tuned to reproduce the existing cosmological data with good accuracy.


title: Stochastic Methods for Neutron Transport Equation III: Generational many-to-one and $k_\texttt{eff}$

abstract: The Neutron Transport Equation (NTE) describes the flux of neutrons over time through an inhomogeneous fissile medium. In the recent articles [5, 10], a probabilistic solution of the NTE is considered in order to demonstrate a Perron-Frobenius type growth of the solution via its projection onto an associated leading eigenfunction. In [9, 4], further analysis is performed to understand the implications of this growth both in the stochastic sense, as well as from the perspective of Monte-Carlo simulation. Such Monte-Carlo simulations are prevalent in industrial applications, in particular where regulatory checks are needed in the process of reactor core design. In that setting, however, it turns out that a different notion of growth takes centre stage, which is otherwise characterised by another eigenvalue problem. In that setting, the eigenvalue, sometimes called k-effective (written $k_\texttt{eff}$), has the physical interpretation as being the ratio of neutrons produced (during fission events) to the number lost (due to absorption in the reactor or leakage at the boundary) per typical fission event. In this article, we aim to supplement [5, 10, 9, 4], by developing the stochastic analysis of the NTE further to the setting where a rigorous probabilistic interpretation of keff is given, both in terms of a Perron-Frobenius type analysis as well as via classical operator analysis. To our knowledge, despite the fact that an extensive engineering literature and industrial Monte-Carlo software is concentrated around the estimation of keff and its associated eigenfunction, we believe that our work is the first rigorous treatment in the probabilistic sense (which underpins some of the aforesaid Monte-Carlo simulations).


title: Secure Analysis of Dynamic Networks under Pinning Attacks against Synchronization

abstract: In this paper, we first consider a pinning node selection and control gain co-design problem for complex networks. A necessary and sufficient condition for the synchronization of the pinning controlled networks at a homogeneous state is provided. A quantitative model is built to describe the pinning costs and to formulate the pinning node selection and control gain design problem for different scenarios into the corresponding optimization problems. Algorithms to solve these problems efficiently are presented. Based on the developed results, we take the existence of a malicious attacker into consideration and a resource allocation model for the defender and the malicious attacker is described. We set up a leader-follower Stackelberg game framework to study the behaviour of both sides and the equilibrium of this security game is investigated. Numerical examples and simulations are presented to demonstrate the main results.


title: Effect of quenched disorder on a quantum spin liquid state of triangular-lattice antiferromagnet 1T-TaS$_2$

abstract: A quantum spin liquid (QSL) is an exotic state of matter characterized by quantum entanglement and the absence of any broken symmetry. A long-standing open problem, which is a key for fundamental understanding the mysterious QSL states, is how the quantum fluctuations respond to randomness due to quenched disorder. Transition metal dichalcogenide 1T-TaS$_2$ is a candidate material that hosts a QSL ground state with spin-1/2 on the two-dimensional perfect triangular lattice. Here, we performed systematic studies of low-temperature heat capacity and thermal conductivity on pure, Se-substituted and electron irradiated crystals of 1T-TaS$_2$. In pure 1T-TaS$_2$, the linear temperature term of the heat capacity $\gamma T$ and the finite residual linear term of the thermal conductivity in the zero-temperature limit $\kappa_{0}/T\equiv\kappa/T(T\rightarrow0)$ are clearly resolved, consistent with the presence of gapless spinons with a Fermi surface. Moreover, while the strong magnetic field slightly enhances $\kappa_0/T$, it strongly suppresses $\gamma$. These unusual contrasting responses to magnetic field imply the coexistence of two types of gapless excitations with itinerant and localized characters. Introduction of additional weak random exchange disorder in 1T-Ta(S$_{1-x}$Se$_x$)$_2$ leads to vanishing of $\kappa_0/T$, indicating that the itinerant gapless excitations are sensitive to the disorder. On the other hand, in both pure and Se-substituted systems, the magnetic contribution of the heat capacity obeys a universal scaling relation, which is consistent with a theory that assumes the presence of localized orphan spins forming random singlets. Electron irradiation in pure 1T-TaS$_2$ largely enhances $\gamma$ and changes the scaling function dramatically, suggesting a possible new state of spin liquid.


title: Proceedings Third Symposium on Working Formal Methods

abstract: This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timi\c{s}oara (Romania). FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.


title: Percolation theory suggests some general features in range margins across environmental gradients

abstract: The margins within the geographic range of species are often specific in terms of ecological and evolutionary processes, and can strongly influence the species' reaction to climate change. One of the frequently observed features at range margins is fragmentation, caused internally by population dynamics or externally by the limited availability of suitable habitat sites. We study both causes, and describe the transition from a connected to a fragmented state across space by means of a gradient metapopulation model. The main features of our approach are the following. 1) Inhomogeneities can occur at two spatial scales: there is a broad-scale gradient, which can be patterned by fine-scale heterogeneities. The latter is implemented by dispersing a variable number of small obstacles over the terrain, which can be penetrable or unpenetrable by the spreading species. 2) We study the occupancy of this terrain in a steady-state on two temporal scales: in snapshots and by long-term averages. The simulations reveal some general scaling laws that are applicable in various environments, independently of the mechanism of fragmentation. The edge of the connected region (the hull) is a fractal with dimension 7/4. Its width and length changes with the gradient according to universal scaling laws, that are characteristic for percolation transitions. The results suggest that percolation theory is a powerful tool for understanding the structure of range margins in a broad variety of real-life scenarios, including those in which the environmental gradient is combined with fine-scale heterogeneity. This provides a new method for comparing the range margins of different species in various geographic regions, and monitoring range shifts under climate change.


title: Two-particle scattering and resistivity of Rashba electron gas

abstract: We calculate the electrical resistivity of a two-dimensional electron gas that results from two-particle collisions and strong Rashba spin-orbit coupling. In the absence of impurities, two-particle collisions do not contribute to resistivity. When combined with impurity scattering, the two-particle correction to the resistivity is proportional to the square of temperature $T$ if only the lower helicity band is filled, but the $T^2$ term vanishes if the Fermi level is above the Dirac point.


title: Standard Siren Speeds: Improving velocities in gravitational-wave measurements of $H_{0}$

abstract: We re-analyze data from the gravitational-wave event GW170817 and its host galaxy NGC4993 to demonstrate the importance of accurate total and peculiar velocities when measuring the Hubble constant using this nearby Standard Siren. We show that a number of reasonable choices can be made to estimate the velocities for this event, but that systematic differences remain between these measurements depending on the data used. This leads to significant changes in the Hubble constant inferred from GW170817. We present Bayesian Model Averaging as one way to account for these differences, and obtain $H_{0}=66.8^{+13.4}_{-9.2}\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$. Adding additional information on the viewing angle from high resolution imaging of the radio counterpart refines this to $H_{0}=64.8^{+7.3}_{-7.2}\,\mathrm{km\,s^{-1}\,Mpc^{-1}}$. During this analysis we also present an alternative Bayesian model for the posterior on $H_{0}$ from Standard Sirens that works more closely with observed quantities from redshift and peculiar velocity surveys. Our results more accurately capture the true uncertainty on the total and peculiar velocities of NGC4993 and show that exploring how well different datasets characterize galaxy groups and the velocity field in the local Universe could improve this measurement further. These considerations impact any low-redshift distance measurement, and the improvements we suggest here can also be applied to standard candles like type Ia supernovae. GW170817 is particularly sensitive to peculiar velocity uncertainties because it is so close. For future standard siren measurements the importance of this error will decrease as (a) we will measure more distant standard sirens, and (b) the random direction of peculiar velocities will average out with more detections.


title: The Lewy-Stampacchia Inequality for the Fractional Laplacian and Its Application to Anomalous Unidirectional Diffusion Equations

abstract: In this paper, we consider a Lewy-Stampacchia-type inequality for the fractional Laplacian on a bounded domain in Euclidean space. Using this inequality, we can show the well-posedness of fractional-type anomalous unidirectional diffusion equations. This study is an extension of the work by Akagi-Kimura (2019) for the standard Laplacian. However, there exist several difficulties due to the nonlocal feature of the fractional Laplacian. We overcome those difficulties employing the Caffarelli-Silvestre extension of the fractional Laplacian.


title: Self-Ensembling with GAN-based Data Augmentation for Domain Adaptation in Semantic Segmentation

abstract: Deep learning-based semantic segmentation methods have an intrinsic limitation that training a model requires a large amount of data with pixel-level annotations. To address this challenging issue, many researchers give attention to unsupervised domain adaptation for semantic segmentation. Unsupervised domain adaptation seeks to adapt the model trained on the source domain to the target domain. In this paper, we introduce a self-ensembling technique, one of the successful methods for domain adaptation in classification. However, applying self-ensembling to semantic segmentation is very difficult because heavily-tuned manual data augmentation used in self-ensembling is not useful to reduce the large domain gap in the semantic segmentation. To overcome this limitation, we propose a novel framework consisting of two components, which are complementary to each other. First, we present a data augmentation method based on Generative Adversarial Networks (GANs), which is computationally efficient and effective to facilitate domain alignment. Given those augmented images, we apply self-ensembling to enhance the performance of the segmentation network on the target domain. The proposed method outperforms state-of-the-art semantic segmentation methods on unsupervised domain adaptation benchmarks.


title: Recurrent Neural Networks for Time Series Forecasting: Current Status and Future Directions

abstract: Recurrent Neural Networks (RNN) have become competitive forecasting methods, as most notably shown in the winning method of the recent M4 competition. However, established statistical models such as ETS and ARIMA gain their popularity not only from their high accuracy, but they are also suitable for non-expert users as they are robust, efficient, and automatic. In these areas, RNNs have still a long way to go. We present an extensive empirical study and an open-source software framework of existing RNN architectures for forecasting, that allow us to develop guidelines and best practices for their use. For example, we conclude that RNNs are capable of modelling seasonality directly if the series in the dataset possess homogeneous seasonal patterns, otherwise we recommend a deseasonalization step. Comparisons against ETS and ARIMA demonstrate that the implemented (semi-)automatic RNN models are no silver bullets, but they are competitive alternatives in many situations.


title: Attractive electron-electron interactions from internal screening in magic angle twisted bilayer graphene

abstract: Twisted bilayer graphene (tBLG) has recently emerged as a new platform for studying electron correlations, the strength of which can be controlled via the twist angle. Here, we study the effect of internal screening on electron-electron interactions in undoped tBLG. Using the random phase approximation, we find that the dielectric response of tBLG drastically increases near the magic angle and is highly twist-angle dependent. As a consequence of the abrupt change of the Fermi velocity as a function of wave vector, the screened interaction in real space exhibits attractive regions for certain twist angles near the magic angle. Attractive interactions can induce charge density waves and superconductivity and therefore our findings could be relevant to understand the microscopic origins of the recently observed strong correlation phenomena in undoped tBLG. The resulting screened Hubbard parameters are strongly reduced and exhibit a non-linear dependence on the twist angle. We also carry out calculations with the constrained random phase approximation and parametrize a twist-angle dependent Keldysh model for the resulting effective interaction.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.supr-con quant-ph


title: Constraining the top quark effective field theory using the top quark pair production in association with a jet at future lepton colliders

abstract: Our main aim in this paper is to constrain the effective field theory describing the top quark couplings through the $e^{-} e^{+} \rightarrow t \bar{t}+$jet process. The analysis is carried out considering two different center-of-mass energies of 500 and 3000 GeV including a realistic simulation of the detector response and the main sources of background processes. The expected limits at 95\% CL are derived on the new physics couplings such as $t \bar t \gamma$, $t \bar t Z$, and $t \bar t g$ for each benchmark scenario using the dileptonic $t \bar{t}$ final state. We show that the 95\% CL limits on dimensionless Wilson coefficients $\bar{c}_i$ considered in this analysis could be probed down to $10^{-4}$.


title: A theoretical investigation of time-dependent Kohn-Sham equations: new proofs

abstract: In this paper, a new analysis for existence, uniqueness, and regularity of solutions to a time-dependent Kohn-Sham equation is presented. The Kohn-Sham equation is a nonlinear integral Schroedinger equation that is of great importance in many applications in physics and computational chemistry. To deal with the time-dependent, nonlinear and non-local potentials of the Kohn-Sham equation, the analysis presented in this manuscript makes use of energy estimates, fixed-point arguments, regularization techniques, and direct estimates of the non-local potential terms. The assumptions considered for the time-dependent and nonlinear potentials make the obtained theoretical results suitable to be used also in an optimal control framework.