title: LinesToFacePhoto: Face Photo Generation from Lines with Conditional Self-Attention Generative Adversarial Network

abstract: In this paper, we explore the task of generating photo-realistic face images from lines. Previous methods based on conditional generative adversarial networks (cGANs) have shown their power to generate visually plausible images when a conditional image and an output image share well-aligned structures. However, these models fail to synthesize face images with a whole set of well-defined structures, e.g. eyes, noses, mouths, etc., especially when the conditional line map lacks one or several parts. To address this problem, we propose a conditional self-attention generative adversarial network (CSAGAN). We introduce a conditional self-attention mechanism to cGANs to capture long-range dependencies between different regions in faces. We also build a multi-scale discriminator. The large-scale discriminator enforces the completeness of global structures and the small-scale discriminator encourages fine details, thereby enhancing the realism of generated face images. We evaluate the proposed model on the CelebA-HD dataset by two perceptual user studies and three quantitative metrics. The experiment results demonstrate that our method generates high-quality facial images while preserving facial structures. Our results outperform state-of-the-art methods both quantitatively and qualitatively.


title: The exact complexity of the Tutte polynomial

abstract: This is a survey on the exact complexity of computing the Tutte polynomial. It is the longer 2017 version of Chapter 25 of the CRC Handbook on the Tutte polynomial and related topics, edited by J. Ellis-Monaghan and I. Moffatt, which is due to appear in the first quarter of 2020. In the version to be published in the Handbook the Sections 5 and 6 are shortened and made into a single section.


title: PT-CoDE: Pre-trained Context-Dependent Encoder for Utterance-level Emotion Recognition

abstract: Utterance-level emotion recognition (ULER) is a significant research topic for understanding human behaviors and developing empathetic chatting machines in the artificial intelligence area. Unlike traditional text classification problem, this task is supported by a limited number of datasets, among which most contain inadequate conversations or speeches. Such a data scarcity issue limits the possibility of training larger and more powerful models for this task. Witnessing the success of transfer learning in natural language process (NLP), we propose to pre-train a context-dependent encoder (CoDE) for ULER by learning from unlabeled conversation data. Essentially, CoDE is a hierarchical architecture that contains an utterance encoder and a conversation encoder, making it different from those works that aim to pre-train a universal sentence encoder. Also, we propose a new pre-training task named "conversation completion" (CoCo), which attempts to select the correct answer from candidate answers to fill a masked utterance in a question conversation. The CoCo task is carried out on pure movie subtitles so that our CoDE can be pre-trained in an unsupervised fashion. Finally, the pre-trained CoDE (PT-CoDE) is fine-tuned for ULER and boosts the model performance significantly on five datasets.


title: Leveraging Hierarchical Representations for Preserving Privacy and Utility in Text

abstract: Guaranteeing a certain level of user privacy in an arbitrary piece of text is a challenging issue. However, with this challenge comes the potential of unlocking access to vast data stores for training machine learning models and supporting data driven decisions. We address this problem through the lens of dx-privacy, a generalization of Differential Privacy to non Hamming distance metrics. In this work, we explore word representations in Hyperbolic space as a means of preserving privacy in text. We provide a proof satisfying dx-privacy, then we define a probability distribution in Hyperbolic space and describe a way to sample from it in high dimensions. Privacy is provided by perturbing vector representations of words in high dimensional Hyperbolic space to obtain a semantic generalization. We conduct a series of experiments to demonstrate the tradeoff between privacy and utility. Our privacy experiments illustrate protections against an authorship attribution algorithm while our utility experiments highlight the minimal impact of our perturbations on several downstream machine learning models. Compared to the Euclidean baseline, we observe > 20x greater guarantees on expected privacy against comparable worst case statistics.


title: Neuro-SERKET: Development of Integrative Cognitive System through the Composition of Deep Probabilistic Generative Models

abstract: This paper describes a framework for the development of an integrative cognitive system based on probabilistic generative models (PGMs) called Neuro-SERKET. Neuro-SERKET is an extension of SERKET, which can compose elemental PGMs developed in a distributed manner and provide a scheme that allows the composed PGMs to learn throughout the system in an unsupervised way. In addition to the head-to-tail connection supported by SERKET, Neuro-SERKET supports tail-to-tail and head-to-head connections, as well as neural network-based modules, i.e., deep generative models. As an example of a Neuro-SERKET application, an integrative model was developed by composing a variational autoencoder (VAE), a Gaussian mixture model (GMM), latent Dirichlet allocation (LDA), and automatic speech recognition (ASR). The model is called VAE+GMM+LDA+ASR. The performance of VAE+GMM+LDA+ASR and the validity of Neuro-SERKET were demonstrated through a multimodal categorization task using image data and a speech signal of numerical digits.


title: Sampling Strategies for Data-Driven Inference of Input-Output System Properties

abstract: Due to their relevance in controller design, we consider the problem of determining the $\mathcal{L}^2$-gain, passivity properties and conic relations of an input-output system. While, in practice, the input-output relation is often undisclosed, input-output data tuples can be sampled by performing (numerical) experiments. Hence, we present sampling strategies for discrete time and continuous time linear time-invariant systems to iteratively determine the $\mathcal{L}^2$-gain, the shortage of passivity and the cone with minimal radius that the input-output relation is confined to. These sampling strategies are based on gradient dynamical systems and saddle point flows to solve the reformulated optimization problems, where the gradients can be evaluated from only input-output data samples. This leads us to evolution equations, whose convergence properties are then discussed in continuous time and discrete time.


title: A New Connection Between Node and Edge Depth Robust Graphs

abstract: Given a directed acyclic graph (DAG) $G = (V,E)$, we say that $G$ is $(e,d)$-depth-robust (resp. $(e,d)$-edge-depth-robust) if for any set $S \subset V$ (resp. $S \subseteq E$) of at most $|S| \leq e$ nodes (resp. edges) the graph $G-S$ contains a directed path of length $d$. While edge-depth-robust graphs are potentially easier to construct many applications in cryptography require node depth-robust graphs with small indegree. We create a graph reduction that transforms an $(e, d)$-edge-depth-robust graph with $m$ edges into a $(e/2,d)$-depth-robust graph with $O(m)$ nodes and constant indegree. One immediate consequence of this result is the first construction of a provably $(\frac{n \log \log n}{\log n}, \frac{n}{(\log n)^{1 + \log \log n}})$-depth-robust graph with constant indegree, where previous constructions for $e =\frac{n \log \log n}{\log n}$ had $d = O(n^{1-\epsilon})$. Our reduction crucially relies on ST-Robust graphs, a new graph property we introduce which may be of independent interest. We say that a directed, acyclic graph with $n$ inputs and $n$ outputs is $(k_1, k_2)$-ST-Robust if we can remove any $k_1$ nodes and there exists a subgraph containing at least $k_2$ inputs and $k_2$ outputs such that each of the $k_2$ inputs is connected to all of the $k_2$ outputs. If the graph if $(k_1,n-k_1)$-ST-Robust for all $k_1 \leq n$ we say that the graph is maximally ST-robust. We show how to construct maximally ST-robust graphs with constant indegree and $O(n)$ nodes. Given a family $ \mathbb{M}$ of ST-robust graphs and an arbitrary $(e, d)$-edge-depth-robust graph $G$ we construct a new constant-indegree graph $ \mathrm{Reduce}(G, \mathbb{M})$ by replacing each node in $G$ with an ST-robust graph from $ \mathbb{M}$. We also show that ST-robust graphs can be used to construct (tight) proofs-of-space and (asymptotically) improved wide-block labeling functions.


title: The Riemann-Hilbert approach to focusing Kundu-Eckhaus equation with nonzero boundary conditions

abstract: In this article, we focus on investigating the focusing Kundu-Eckhaus equation with nonzero boundary condition. A appropriate two-sheeted Riemann surface is introduced to map the spectral parameter $k$ into a single-valued parameter $z$. Starting from the Lax pair of Kundu-Eckhaus equation,two kind of Jost solutions are construed. Further their asymptotic, analyticity, symmetries as well as spectral matrix are detailed analyzed. It is shown that the solution of Kundu-Eckhaus equation with nonzero boundary condition can characterized with a matrix Riemann-Hilbert problem. Then a formula of $N$-soliton solutions is derived by solving Riemann-Hilbert problem. As applications, the first-order explicit soliton solution is obtained.


title: Predicting ice flow using machine learning

abstract: Though machine learning has achieved notable success in modeling sequential and spatial data for speech recognition and in computer vision, applications to remote sensing and climate science problems are seldom considered. In this paper, we demonstrate techniques from unsupervised learning of future video frame prediction, to increase the accuracy of ice flow tracking in multi-spectral satellite images. As the volume of cryosphere data increases in coming years, this is an interesting and important opportunity for machine learning to address a global challenge for climate change, risk management from floods, and conserving freshwater resources. Future frame prediction of ice melt and tracking the optical flow of ice dynamics presents modeling difficulties, due to uncertainties in global temperature increase, changing precipitation patterns, occlusion from cloud cover, rapid melting and glacier retreat due to black carbon aerosol deposition, from wildfires or human fossil emissions. We show the adversarial learning method helps improve the accuracy of tracking the optical flow of ice dynamics compared to existing methods in climate science. We present a dataset, IceNet, to encourage machine learning research and to help facilitate further applications in the areas of cryospheric science and climate change.

categories: cs.LG physics.ao-ph physics.geo-ph stat.ML


title: Uniform perfectness for Interval Exchange Transformations with or without Flips

abstract: Let $\mathcal G$ be the group of all Interval Exchange Transformations. Results of Arnoux-Fathi ([Arn81b]), Sah ([Sah81]) and Vorobets ([Vor17]) state that $\mathcal G_0$ the subgroup of $\mathcal G$ generated by its commutators is simple. In [Arn81b], Arnoux proved that the group $\overline{\mathcal G}$ of all Interval Exchange Transformations with flips is simple. We establish that every element of $\overline{\mathcal G}$ has a commutator length not exceeding $6$. Moreover, we give conditions on $\mathcal G$ that guarantee that the commutator lengths of the elements of $\mathcal G_0$ are uniformly bounded, and in this case for any $g\in \mathcal G_0$ this length is at most $5$. As analogous arguments work for the involution length in $\overline{\mathcal G}$, we add an appendix whose purpose is to prove that every element of $\overline{\mathcal G}$ has an involution length not exceeding $12$.


title: Laser ablation in liquid: bridge from a plasma stage to bubble formation

abstract: Laser ablation through liquid is an important process that have to be studied for applications which use laser ablation in liquid (LAL) and laser shock peening (LSP). LAL is employed for production of suspensions of nanoparticles, while LSP is applied to increase hardness and fatique/corrosion resistance properties of a surface layer. A bubble appears in liquid around the laser spot focused at a target surface after strong enough laser pulse. In the paper we connect the early quasi-plane heated layer created by a pulse in liquid and the bubble forming at much later stages. In the previous works these early stage from one side and the late stage from another side existed mainly as independent entities. At least, quantitative links between them were unknown. We consider how the quasi-plane heated layer of liquid forms thank to thermal conduction, how gradually conduction becomes weaker, and how the heated layer of liquid nearly adiabatically expands to few orders of magnitude in volume during the drop of pressure. Our molecular dynamics simulations show that the heated layer is filled by the diffusive atomic metal-liquid mixture. Metal atoms began to condense into nanoparticles (NP) when they meet cold liquid outside the edge of a mixing zone. This process limits diffusive expansion of metal atoms, because diffusive ability of NP is less than this ability for individual atoms. Thus the mixture expands together with hot liquid, and the NPs approximately homogeneously fill an interior of a bubble.


title: RLScheduler: An Automated HPC Batch Job Scheduler Using Reinforcement Learning

abstract: Today high-performance computing (HPC) platforms are still dominated by batch jobs. Accordingly, effective batch job scheduling is crucial to obtain high system efficiency. Existing HPC batch job schedulers typically leverage heuristic priority functions to prioritize and schedule jobs. But, once configured and deployed by the experts, such priority functions can hardly adapt to the changes of job loads, optimization goals, or system settings, potentially leading to degraded system efficiency when changes occur. To address this fundamental issue, we present RLScheduler, an automated HPC batch job scheduler built on reinforcement learning. RLScheduler relies on minimal manual interventions or expert knowledge, but can learn high-quality scheduling policies via its own continuous 'trial and error'. We introduce a new kernel-based neural network structure and trajectory filtering mechanism in RLScheduler to improve and stabilize the learning process. Through extensive evaluations, we confirm that RLScheduler can learn high-quality scheduling policies towards various workloads and various optimization goals with relatively low computation cost. Moreover, we show that the learned models perform stably even when applied to unseen workloads, making them practical for production use.


title: Policy Learning for Malaria Control

abstract: Sequential decision making is a typical problem in reinforcement learning with plenty of algorithms to solve it. However, only a few of them can work effectively with a very small number of observations. In this report, we introduce the progress to learn the policy for Malaria Control as a Reinforcement Learning problem in the KDD Cup Challenge 2019 and propose diverse solutions to deal with the limited observations problem. We apply the Genetic Algorithm, Bayesian Optimization, Q-learning with sequence breaking to find the optimal policy for five years in a row with only 20 episodes/100 evaluations. We evaluate those algorithms and compare their performance with Random Search as a baseline. Among these algorithms, Q-Learning with sequence breaking has been submitted to the challenge and got ranked 7th in KDD Cup.


title: Intrinsic transverse field in frustrated quantum Ising magnets: its physical origin and quantum effects

abstract: Transverse field Ising model is a common model in quantum magnetism and is often illustrated as an example for quantum phase transition. Its physical origin in quantum magnets, however, is actually not quite well-understood. The quantum mechanical properties of this model on frustrated systems are not well-understood either. We here clarify the physical origin, both extrinsic one and intrinsic one, for the transverse field of the quantum Ising model, and then explain the quantum effects in the Kagome system. We discuss the quantum plaquette order and the quantum phase transition out of this ordered state in the rare-earth Kagome magnets. Our specific results can find their relevance in the rare-earth tripod Kagome magnets.


title: Numerical modelling of the lobes of radio galaxies in cluster environments -- IV. Remnant radio galaxies

abstract: We examine the remnant phase of radio galaxies using three-dimensional hydrodynamical simulations of relativistic jets propagating through cluster environments. By switching the jets off once the lobes have reached a certain length we can study how the energy distribution between the lobes and shocked intra-cluster medium compares to that of an active source, as well as calculate synchrotron emission properties of the remnant sources. We see that as a result of disturbed cluster gas beginning to settle back into the initial cluster potential, streams of dense gas are pushed along the jet axis behind the remnant lobes, causing them to rise out of the cluster faster than they would due to buoyancy. This leads to increased adiabatic losses and a rapid dimming. The rapid decay of total flux density and surface brightness may explain the small number of remnant sources found in samples with a high flux density limit and may cause analytic models to overestimate the remnant fraction expected in sensitive surveys such as those now being carried out with LOFAR.


title: Leadership scenarios in prisoner's dilemma game

abstract: The prisoner's dilemma game is the most known contribution of game theory into social sciences. Here we describe new implications of this game for transactional and transformative leadership. While the autocratic (Stackelberg's) leadership is inefficient for this game, we discuss a Pareto-optimal scenario, where the leader L commits to react probabilistically to pure strategies of the follower F, which is free to make the first move. Offering F to resolve the dilemma, L is able to get a larger average pay-off. The exploitation can be stabilized via repeated interaction of L and F, and turns to be more stable than the egalitarian regime, where the pay-offs of L and F are equal. The total (summary) pay-off of the exploiting regime is never larger than in the egalitarian case. We discuss applications of this solution to a soft method of fighting corruption and to modeling the Machiavellian leadership. Whenever the defection benefit is large, the optimal strategies of F are mixed, while the summary pay-off is maximal. One mechanism for sustaining this solution is that L recognizes intentions of F.


title: Sketch2Code: Transformation of Sketches to UI in Real-time Using Deep Neural Network

abstract: User Interface (UI) prototyping is a necessary step in the early stages of application development. Transforming sketches of a Graphical User Interface (UI) into a coded UI application is an uninspired but time-consuming task performed by a UI designer. An automated system that can replace human efforts for straightforward implementation of UI designs will greatly speed up this procedure. The works that propose such a system primarily focus on using UI wireframes as input rather than hand-drawn sketches. In this paper, we put forward a novel approach wherein we employ a Deep Neural Network that is trained on our custom database of such sketches to detect UI elements in the input sketch. Detection of objects in sketches is a peculiar visual recognition task that requires a specific solution that our deep neural network model attempts to provide. The output from the network is a platform-independent UI representation object. The UI representation object is a dictionary of key-value pairs to represent the UI elements recognized along with their properties. This is further consumed by our UI parser which creates code for different platforms. The intrinsic platform-independence allows the model to create a UI prototype for multiple platforms with single training. This two-step approach without the need for two trained models improves over other methods giving time-efficient results (average time: 129 ms) with good accuracy.


title: Absence of superconductivity in the pure two-dimensional Hubbard model

abstract: We study the superconducting pairing correlations in the ground state of the doped Hubbard model -- in its original form without hopping beyond nearest neighbor or other perturbing parameters -- in two dimensions at intermediate to strong coupling and near optimal doping. The nature of such correlations has been a central question ever since the discovery of cuprate high-temperature superconductors. Despite unprecedented effort and tremendous progress in understanding the properties of this fundamental model, a definitive answer to whether the ground state is superconducting in the parameter regime most relevant to cuprates has proved exceedingly difficult to establish. In this work, we employ two complementary, state-of-the-art many-body computational methods, constrained path (CP) auxiliary-field quantum Monte Carlo (AFQMC) and density matrix renormalization group (DMRG) methods, deploying the most recent algorithmic advances in each. Systematic and detailed comparisons between the two methods are performed. The DMRG is extremely reliable on small width cylinders, where we use it to validate the AFQMC. The AFQMC is then used to study wide systems as well as fully periodic systems, to establish that we have reached the thermodynamic limit. The ground state is found to be non-superconducting in the moderate to strong coupling regime in the vicinity of optimal hole doping.


title: Theta Functions and Reciprocity Laws

abstract: In the first part, we consider generalized quadratic Gauss sums as finite analogues of the Jacobi theta function, and the reciprocity law for Gauss sums as their transformation formula. We attach finite Dirichlet series to Gauss sums using a M\"obius transform, and show they have a functional equation, Euler product factorization, and roots only on the critical line. In the second part, we prove a general reciprocity law for sums of exponentials of rational quadratic forms in any number of variables, using the transformation formula of the Riemann theta function on the Siegel upper half-space.


title: New Checkable Conditions for Moment Determinacy of Probability Distributions

abstract: We have analyzed some conditions which are essentially involved in deciding whether or not a probability distribution is unique (moment-determinate) or non-unique (moment-indeterminate) by its moments. We suggest new conditions concerning both absolutely continuous and discrete distributions. By using the new conditions, which are easily checkable, we either establish new results, or extend previous ones in both Hamburger case (distributions on the whole real line) and Stieltjes case (distributions on the positive half-line). Specific examples illustrate both the results and the relationship between the new conditions and previously available conditions.


title: Operators preserving the representation of a semidirect product group

abstract: For a locally compact abelian group $\textbf{R}$ with a uniform lattice $\Lambda$ and a group $G$ that acts on $\textbf{R}$ by continuous automorphisms, we study operators commuting with the representation of $G \rtimes \Lambda$ on $L^2(\textbf{R})$. As a consequence, we give a characterization of shift-dilation preserving operators.


title: Non-commutative graphs and quantum error correction for a two-mode quantum oscillator

abstract: An important topic in quantum information is the theory of error correction codes. Practical situations often involve quantum systems with states in an infinite dimensional Hilbert space, for example coherent states. Motivated by these practical needs, we apply the theory of non-commutative graphs, which is a tool to analyze error correction codes, to infinite dimensional Hilbert spaces. As an explicit example, a family of non-commutative graphs associated with the Schr\"odinger equation describing the dynamics of a two-mode quantum oscillator is constructed and maximal quantum anticliques for these graphs are found.


title: Sequential Spatial Point Process Models for Spatio-Temporal Point Processes: A Self-Interactive Model with Application to Forest Tree Data

abstract: We model the spatial dynamics of a forest stand by using a special class of spatio-temporal point processes, the sequential spatial point process, where the spatial dimension is parameterized and the time component is atomic. The sequential spatial point processes differ from spatial point processes in the sense that the realizations are ordered sequences of spatial locations and the order of points allows us to approximate the spatial evolutionary dynamics of the process. This feature shall be useful to interpret the long-term dependence and the memory formed by the spatial history of the process. As an illustration, the sequence can represent the tree locations ordered with respect to time, or to some given quantitative marks such as tree diameters. We derive a parametric sequential spatial point process model that is expressed in terms of self-interaction of the spatial points, and then the maximum-likelihood-based inference is tractable. As an application, we apply the model obtained to forest dataset collected from the Kiihtelysvaara site in Eastern Finland. Potential applications in remote sensing of forests are discussed.


title: Stochastic modeling of auto-regulatory genetic feedback loops: a review and comparative study

abstract: Auto-regulatory feedback loops are one of the most common network motifs. A wide variety of stochastic models have been constructed to understand how the fluctuations in protein numbers in these loops are influenced by the kinetic parameters of the main biochemical steps. These models differ according to (i) which sub-cellular processes are explicitly modelled; (ii) the modelling methodology employed (discrete, continuous or hybrid); (iii) whether they can be analytically solved for the steady-state distribution of protein numbers. We discuss the assumptions and properties of the main models in the literature, summarize our current understanding of the relationship between them and highlight some of the insights gained through modelling.


title: Versatile stabilized finite element formulations for nearly and fully incompressible solid mechanics

abstract: Computational formulations for large strain, polyconvex, nearly incompressible elasticity have been extensively studied, but research on enhancing solution schemes that offer better tradeoffs between accuracy, robustness, and computational efficiency remains to be highly relevant. In this paper, we present two methods to overcome locking phenomena, one based on a displacement-pressure formulation using a stable finite element pairing with bubble functions, and another one using a simple pressure-projection stabilized P1-P1 finite element pair. A key advantage is the versatility of the proposed methods: with minor adjustments they are applicable to all kinds of finite elements and generalize easily to transient dynamics. The proposed methods are compared to and verified with standard benchmarks previously reported in the literature. Benchmark results demonstrate that both approaches provide a robust and computationally efficient way of simulating nearly and fully incompressible materials.


title: Nonlinear Stability of Large Amplitude Viscous Shock Wave for General Viscous Gas

abstract: In the present paper, it is shown that the large amplitude viscous shock wave is nonlinearly stable for isentropic Navier-Stokes equations, in which the pressure could be general and includes $\gamma$-law, and the viscosity coefficient is a smooth function of density. The strength of shock wave could be arbitrarily large. The proof is given by introducing a new variable, which can formulate the original system into a new one, and the elementary energy method introduced in Matsumura-Nishihara [On the stability of travelling wave solutions of a one-dimensional model system for compressible viscous gas. Japan J. Appl. Math. 2 (1985), no. 1, 17-25.].


title: Early multiwavelength analysis of the recurrent nova V745 Sco

abstract: In recent years, several nova explosions have been detected by Fermi/LAT at E>100 MeV, mainly early after the explosion and for a short period of time. The first evidence of particle acceleration in novae was found in the 2006 eruption of RS Oph, to explain the faster than expected deceleration of the blast wave. As a consequence, emission of high-energy gamma-rays mainly from neutral pion decay and inverse Compton scattering is expected. We aim to understand the early shock evolution, when acceleration of particles can take place, in nova explosions. To achieve this goal, we perform a multiwavelength study of the 2014 outburst of V745 Sco, a symbiotic recurrent nova similar to RS Oph. The analysis of early Swift/XRT observations, simultaneous to the tentative Fermi detection, is combined with Chandra and NuStar data, to get a global picture of the nova ejecta and the red giant wind evolution. Early radio and IR data are also compiled, providing information about the forward shock velocity and its magnetic field. The comparison with the plasma properties of RS Oph shows striking similarities, such as the skipping of the adiabatic phase occurring in supernova remnants, a hint of particle acceleration. The multiwavelength study of V745 Sco provides new insights into the evolution of the hot plasma in novae and its interaction with the circumstellar material, a powerful tool to understand the nature of the high-energy gamma-ray emission from symbiotic recurrent novae.


title: Numeric solution of systems of nonlinear Volterra integral equations of the first kind with discontinuous kernels

abstract: The systems of nonlinear Volterra integral equations of the first kind with jump discontinuous kernels are studied. The iterative numerical method for such nonlinear systems is proposed. Proposed method employs the modified Newton-Kantorovich iterative process for the integral operators linearization. On each step of the iterative process the linear system of integral equations is obtained and resolved using the discontinuity driven piecewise constant approximation of the exact solution. The convergence theorem is proved. The polynomial collocation technique is also applied to solve such systems as the alternative method. The accuracy of proposed numerical methods is discussed. The model examples are examined in order to demonstrate the efficiency of proposed numerical methods and illustrate the constructed theory.


title: Autonomous Industrial Management via Reinforcement Learning: Self-Learning Agents for Decision-Making -- A Review

abstract: Industry has always been in the pursuit of becoming more economically efficient and the current focus has been to reduce human labour using modern technologies. Even with cutting edge technologies, which range from packaging robots to AI for fault detection, there is still some ambiguity on the aims of some new systems, namely, whether they are automated or autonomous. In this paper we indicate the distinctions between automated and autonomous system as well as review the current literature and identify the core challenges for creating learning mechanisms of autonomous agents. We discuss using different types of extended realities, such as digital twins, to train reinforcement learning agents to learn specific tasks through generalization. Once generalization is achieved, we discuss how these can be used to develop self-learning agents. We then introduce self-play scenarios and how they can be used to teach self-learning agents through a supportive environment which focuses on how the agents can adapt to different real-world environments.


title: Computing Branching Distances Using Quantitative Games

abstract: We lay out a general method for computing branching distances between labeled transition systems. We translate the quantitative games used for defining these distances to other, path-building games which are amenable to methods from the theory of quantitative games. We then show for all common types of branching distances how the resulting path-building games can be solved. In the end, we achieve a method which can be used to compute all branching distances in the linear-time--branching-time spectrum.


title: Tracking Control of Nonlinear Networked and Quantized Control Systems with Communication Delays

abstract: This paper studies the tracking control problem of nonlinear networked and quantized control systems (NQCSs) with communication delays. The desired trajectory is generated by a reference system. The communication network is to guarantee the information transmission among the plant, the reference system and the controller. The communication network also brings about some undesired issues like time-varying transmission intervals, time-varying transmission delays, packet dropouts, scheduling and quantization effects, which lead to non-vanishing network-induced errors and affect the tracking performances. As a result, we develop a general hybrid system model for NQCSs with all aforementioned issues. Based on the Lyapunov approach, sufficient conditions are established to guarantee the stability of the tracking error with respect to the non-vanishing network-induced errors. The obtained conditions lead to a tradeoff between the maximally allowable transmission interval and the maximally allowable delay. Furthermore, the existence of Lyapunov functions satisfying the obtained conditions is studied. For specific time-scheduling protocols (e.g., Round-Robin protocol and Try-Once-Discard protocol) and quantizers (e.g., zoom quantizer and box quantizer), Lyapunov functions are constructed explicitly. Finally, a numerical example is presented to demonstrate the developed theory.


title: Online Bagging for Anytime Transfer Learning

abstract: Transfer learning techniques have been widely used in the reality that it is difficult to obtain sufficient labeled data in the target domain, but a large amount of auxiliary data can be obtained in the relevant source domain. But most of the existing methods are based on offline data. In practical applications, it is often necessary to face online learning problems in which the data samples are achieved sequentially. In this paper, We are committed to applying the ensemble approach to solving the problem of online transfer learning so that it can be used in anytime setting. More specifically, we propose a novel online transfer learning framework, which applies the idea of online bagging methods to anytime transfer learning problems, and constructs strong classifiers through online iterations of the usefulness of multiple weak classifiers. Further, our algorithm also provides two extension schemes to reduce the impact of negative transfer. Experiments on three real data sets show that the effectiveness of our proposed algorithms.


title: Robustness of Delta Hedging in a Jump-Diffusion Model

abstract: Suppose an investor aims at Delta hedging a European contingent claim $h(S(T))$ in a jump-diffusion model, but incorrectly specifies the stock price's volatility and jump sensitivity, so that any hedging strategy is calculated under a misspecified model. When does the erroneously computed strategy super-replicate the true claim in an appropriate sense? If the misspecified volatility and jump sensitivity dominate the true ones, we show that following the misspecified Delta strategy does super-replicate $h(S(T))$ in expectation among a wide collection of models. We also show that if a robust pricing operator with a whole class of models is used, the corresponding hedge is dominating the contingent claim under each model in expectation. Our results rely on proving stochastic flow properties of the jump-diffusion and the convexity of the value function. In the pure Poisson case, we establish that an overestimation of the jump sensitivity results in an almost sure one-sided hedge. Moreover, in general the misspecified price of the option dominates the true one if the volatility and the jump sensitivity are overestimated.


title: A search for heavy-metal stars: abundance analyses of hot subdwarfs with Subaru

abstract: The discovery of extremely zirconium- and lead-rich surfaces amongst a small subgroup of hot subdwarfs has provoked questions pertaining to chemical peculiarity in hot star atmospheres and about their evolutionary origin. With only three known in 2014, a limited search for additional `heavy-metal' subdwarfs was initiated with the Subaru telescope. Five hot subdwarfs having intermediate to high surface enrichment of helium were observed at high-resolution and analyzed for surface properties and abundances. This paper reports the analyses of four of these stars. PG1559+048 and FBS 1749+373, having only intermediate helium enrichment, show strong lines of triply ionized lead. PG1559+048 also shows a strong overabundance of germanium and yttrium. With more helium-rich surfaces, Ton 414 and J17554+5012, do not show evidence of heavy-metal enrichment. This limited survey suggests that extreme enrichment of `heavy metals' by selective radiative levitation in hot subdwarf atmospheres is suppressed if the star is too helium-rich.


title: Predicting the Leading Political Ideology of YouTube Channels Using Acoustic, Textual, and Metadata Information

abstract: We address the problem of predicting the leading political ideology, i.e., left-center-right bias, for YouTube channels of news media. Previous work on the problem has focused exclusively on text and on analysis of the language used, topics discussed, sentiment, and the like. In contrast, here we study videos, which yields an interesting multimodal setup. Starting with gold annotations about the leading political ideology of major world news media from Media Bias/Fact Check, we searched on YouTube to find their corresponding channels, and we downloaded a recent sample of videos from each channel. We crawled more than 1,000 YouTube hours along with the corresponding subtitles and metadata, thus producing a new multimodal dataset. We further developed a multimodal deep-learning architecture for the task. Our analysis shows that the use of acoustic signal helped to improve bias detection by more than 6% absolute over using text and metadata only. We release the dataset to the research community, hoping to help advance the field of multi-modal political bias detection.


title: Electric Sheep Team Description Paper Humanoid League Kid-Size 2019

abstract: In this paper we introduce the newly formed New Zealand based RoboCup Humanoid Kid-Size team, Electric Sheep. We describe our developed humanoid robot platform, particularly our unique take on the chassis, electronics and use of several motor types to create a low-cost entry platform. To support this hardware, we discuss our software framework, vision processing, walking and game-play strategy methodology. Lastly we give an overview of future research interests within the team and intentions of future contributions for the league and the goal of RoboCup.


title: Two-dimensional ferroelastic semiconductors in Nb2SiTe4 and Nb2GeTe4 with promising electronic properties

abstract: Two-dimensional crystals with coupling of ferroelasticity and attractive electronic properties offer unprecedent opportunities for achieving long-sought controllable devices. But so far, the reported proposals are mainly based on hypothetical structures. Here, using first-principles calculations, we identify single-layer Nb2ATe4 (A = Si, Ge), which could be exfoliated from their layered bulks, are promising candidates. Single-layer Nb2ATe4 are found to be dynamically, thermally and chemically stable. They possess excellent ferroelasticity with high reversible ferroelastic strain and moderate ferroelastic transition energy barrier, beneficial for practical applications. Meanwhile, they harbor outstanding anisotropic electronic properties, including anisotropic carrier mobility and optical properties. More importantly, the anisotropic properties of single-layer Nb2ATe4 can be efficiently controlled through ferroelastic switching. These appealing properties combined with the experimental feasibility render single-layer Nb2ATe4 extraordinary platforms for realizing controllable devices.


title: BatteryLab, A Distributed Power Monitoring Platform For Mobile Devices

abstract: Recent advances in cloud computing have simplified the way that both software development and testing are performed. Unfortunately, this is not true for battery testing for which state of the art test-beds simply consist of one phone attached to a power meter. These test-beds have limited resources, access, and are overall hard to maintain; for these reasons, they often sit idle with no experiment to run. In this paper, we propose to share existing battery testing setups and build BatteryLab, a distributed platform for battery measurements. Our vision is to transform independent battery testing setups into vantage points of a planetary-scale measurement platform offering heterogeneous devices and testing conditions. In the paper, we design and deploy a combination of hardware and software solutions to enable BatteryLab's vision. We then preliminarily evaluate BatteryLab's accuracy of battery reporting, along with some system benchmarking. We also demonstrate how BatteryLab can be used by researchers to investigate a simple research question.


title: i-RIM applied to the fastMRI challenge

abstract: We, team AImsterdam, summarize our submission to the fastMRI challenge (Zbontar et al., 2018). Our approach builds on recent advances in invertible learning to infer models as presented in Putzky and Welling (2019). Both, our single-coil and our multi-coil model share the same basic architecture.


title: Overcoming Free-Riding in Bandit Games

abstract: This paper considers a class of experimentation games with L\'{e}vy bandits encompassing those of Bolton and Harris (1999) and Keller, Rady and Cripps (2005). Its main result is that efficient (perfect Bayesian) equilibria exist whenever players' payoffs have a diffusion component. Hence, the trade-offs emphasized in the literature do not rely on the intrinsic nature of bandit models but on the commonly adopted solution concept (MPE). This is not an artifact of continuous time: we prove that efficient equilibria arise as limits of equilibria in the discrete-time game. Furthermore, it suffices to relax the solution concept to strongly symmetric equilibrium.


title: Top-Down Shape Abstraction Based on Greedy Pole Selection

abstract: Motivated by the fact that the medial axis transform is able to encode nearly the complete shape, we propose to use as few medial balls as possible to approximate the original enclosed volume by the boundary surface. We progressively select new medial balls, in a top-down style, to enlarge the region spanned by the existing medial balls. The key spirit of the selection strategy is to encourage large medial balls while imposing given geometric constraints. We further propose a speedup technique based on a provable observation that the intersection of medial balls implies the adjacency of power cells (in the sense of the power crust). We further elaborate the selection rules in combination with two closely related applications. One application is to develop an easy-to-use ball-stick modeling system that helps non-professional users to quickly build a shape with only balls and wires, but any penetration between two medial balls must be suppressed. The other application is to generate porous structures with convex, compact (with a high isoperimetric quotient) and shape-aware pores where two adjacent spherical pores may have penetration as long as the mechanical rigidity can be well preserved.


title: Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of G\"odel's Ontological Argument

abstract: Three variants of Kurt G\"odel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of G\"odel's argument the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the utilization of suitably adapted notions of (modal) ultrafilters, and a careful distinction between extensions and intensions of positive properties.


title: On Radon measures invariant under horospherical flows on geometrically infinite quotients

abstract: We consider a locally finite (Radon) measure on $ SO^+(d,1)/ \Gamma $ invariant under a horospherical subgroup of $ SO^+(d,1) $ where $ \Gamma $ is a discrete, but not necessarily geometrically finite, subgroup. We show that whenever the measure does not observe any additional invariance properties then it must be supported on a set of points with geometrically degenerate trajectories under the corresponding contracting $ 1 $-parameter diagonalizable flow (geodesic flow).


title: Asymptotic expansion of the modified exponential integral involving the Mittag-Leffler function

abstract: We consider the asymptotic expansion of the generalised exponential integral involving the Mittag-Leffler function introduced recently by Mainardi and Masina [{\it Fract. Calc. Appl. Anal.} {\bf 21} (2018) 1156--1169]. We extend the definition of this function using the two-parameter Mittag-Leffler function. The expansions of the similarly extended sine and cosine integrals are also discussed. Numerical examples are presented to illustrate the accuracy of each type of expansion obtained.


title: PUSHing core-collapse supernovae to explosions in spherical symmetry IV: Explodability, remnant properties and nucleosynthesis yields of low metallicity stars

abstract: In this fourth paper of the series, we use the parametrized, spherically symmetric explosion method PUSH to perform a systematic study of two sets of non-rotating stellar progenitor models. Our study includes pre-explosion models with metallicities Z=0 and Z=Z$_{\odot}\times 10^{-4}$ and covers a progenitor mass range from 11 up to 75 M$_\odot$. We present and discuss the explosion properties of all models and predict remnant (neutron star or black hole) mass distributions within this approach. We also perform systematic nucleosynthesis studies and predict detailed isotopic yields as function of the progenitor mass and metallicity. We present a comparison of our nucleosynthesis results with observationally derived $^{56}$Ni ejecta from normal core-collapse supernovae and with iron-group abundances for metal-poor star HD~84937. Overall, our results for explosion energies, remnant mass distribution, $^{56}$Ni mass, and iron group yields are consistent with observations of normal CCSNe. We find that stellar progenitors at low and zero metallicity are more prone to BH formation than those at solar metallicity, which allows for the formation of BHs in the mass range observed by LIGO/VIRGO.


title: News from the very-high-energy sky seen with H.E.S.S

abstract: The H.E.S.S. experiment, the largest Cherenkov telescope array to date, has been observing the sky at TeV energies for the past 16 years. Its location in the Southern hemisphere provides H.E.S.S. with equally good access to Galactic and extra-galactic sources. The focus of observations is now gradually shifting from discoveries of new TeV emitters to studies of transients and the detailed exploration of known sources. A few recent highlights from these observations are presented here, with a focus on extragalactic observations.


title: Conserved Currents and Superpotentials in Teleparallel Equivalent of General Relativity

abstract: We study the Teleparallel Equivalent of General Relativity (TEGR) with Lagrangian that includes the flat (inertial) spin connection and that is evidently invariant with respect to local Lorentz rotations. Applying directly the Noether theorem, we construct new expressions for conserved currents and related superpotentials. They are covariant both under coordinate transformations and local Lorentz rotations, and allow us to construct well defined conserved charges, unlike earlier approaches. The advantage is achieved by an explicit presence of a displacement vector in the new expressions that can be interpreted as a Killing vector, as a proper vector of an observer, etc. The new expressions are used to introduce a principle for definition of an inertial spin connection that is undetermined one in the TEGR from the start. Theoretical results are applied to calculate mass for the Schwarzschild black hole and densities of conserved quantities for freely falling observers both in Friedmann-Lemaitre-Robertson-Walker world of all the three signs of curvature and in (anti-)de Sitter space.


title: On non-weight representations of the $N=2$ superconformal algebras

abstract: In this paper, we construct a family of non-weight modules over the untwisted $N=2$ superconformal algebras. Those modules when regarded as modules over the Cartan subalgebra (modulo the center) are free of rank $2$. We give a classification of isomorphism classes of such modules. Moreover, all submodules of such modules are precisely determined. In particular, those modules are not simple. The corresponding simple quotient modules are classified. Furthermore, these simple modules when restricted as modules over $N=1$ superconformal algebras coincide with those modules constructed in [H. Yang, Y. Yao, L. Xia, A family of non-weight modules over the super-Virasoro algebras, J. Algebra 547 (2020), 538-555].


title: Byte-Pair Encoding for Text-to-SQL Generation

abstract: Neural sequence-to-sequence models provide a competitive approach to the task of mapping a question in natural language to an SQL query, also referred to as text-to-SQL generation. The Byte-Pair Encoding algorithm (BPE) has previously been used to improve machine translation (MT) between natural languages. In this work, we adapt BPE for text-to-SQL generation. As the datasets for this task are rather small compared to MT, we present a novel stopping criterion that prevents overfitting the BPE encoding to the training set. Additionally, we present AST BPE, which is a version of BPE that uses the Abstract Syntax Tree (AST) of the SQL statement to guide BPE merges and therefore produce BPE encodings that generalize better. We improved the accuracy of a strong attentive seq2seq baseline on five out of six English text-to-SQL tasks while reducing training time by more than 50% on four of them due to the shortened targets. Finally, on two of these tasks we exceeded previously reported accuracies.


title: Combining Shape Priors with Conditional Adversarial Networks for Improved Scapula Segmentation in MR images

abstract: This paper proposes an automatic method for scapula bone segmentation from Magnetic Resonance (MR) images using deep learning. The purpose of this work is to incorporate anatomical priors into a conditional adversarial framework, given a limited amount of heterogeneous annotated images. Our approach encourages the segmentation model to follow the global anatomical properties of the underlying anatomy through a learnt non-linear shape representation while the adversarial contribution refines the model by promoting realistic delineations. These contributions are evaluated on a dataset of 15 pediatric shoulder examinations, and compared to state-of-the-art architectures including UNet and recent derivatives. The significant improvements achieved bring new perspectives for the pre-operative management of musculo-skeletal diseases.


title: Towards Further Understanding of Sparse Filtering via Information Bottleneck

abstract: In this paper we examine a formalization of feature distribution learning (FDL) in information-theoretic terms relying on the analytical approach and on the tools already used in the study of the information bottleneck (IB). It has been conjectured that the behavior of FDL algorithms could be expressed as an optimization problem over two information-theoretic quantities: the mutual information of the data with the learned representations and the entropy of the learned distribution. In particular, such a formulation was offered in order to explain the success of the most prominent FDL algorithm, sparse filtering (SF). This conjecture was, however, left unproven. In this work, we aim at providing preliminary empirical support to this conjecture by performing experiments reminiscent of the work done on deep neural networks in the context of the IB research. Specifically, we borrow the idea of using information planes to analyze the behavior of the SF algorithm and gain insights on its dynamics. A confirmation of the conjecture about the dynamics of FDL may provide solid ground to develop information-theoretic tools to assess the quality of the learning process in FDL, and it may be extended to other unsupervised learning algorithms.


title: Learning GANs and Ensembles Using Discrepancy

abstract: Generative adversarial networks (GANs) generate data based on minimizing a divergence between two distributions. The choice of that divergence is therefore critical. We argue that the divergence must take into account the hypothesis set and the loss function used in a subsequent learning task, where the data generated by a GAN serves for training. Taking that structural information into account is also important to derive generalization guarantees. Thus, we propose to use the discrepancy measure, which was originally introduced for the closely related problem of domain adaptation and which precisely takes into account the hypothesis set and the loss function. We show that discrepancy admits favorable properties for training GANs and prove explicit generalization guarantees. We present efficient algorithms using discrepancy for two tasks: training a GAN directly, namely DGAN, and mixing previously trained generative models, namely EDGAN. Our experiments on toy examples and several benchmark datasets show that DGAN is competitive with other GANs and that EDGAN outperforms existing GAN ensembles, such as AdaGAN.


title: Matrix elements of vertex operators and fermionic limit of spin Calogero-Sutherland system

abstract: We present a construction of an integrable model as a projective type limit of spin Calogero-Sutherland model with $N$ fermionic particles, where $N$ tends to infinity. It is implemented in the multicomponent fermionic Fock space. Explicit formulas for limits of Dunkl operators and the Yangian generators are presented by means of fermionic fields.


title: Image Difficulty Curriculum for Generative Adversarial Networks (CuGAN)

abstract: Despite the significant advances in recent years, Generative Adversarial Networks (GANs) are still notoriously hard to train. In this paper, we propose three novel curriculum learning strategies for training GANs. All strategies are first based on ranking the training images by their difficulty scores, which are estimated by a state-of-the-art image difficulty predictor. Our first strategy is to divide images into gradually more difficult batches. Our second strategy introduces a novel curriculum loss function for the discriminator that takes into account the difficulty scores of the real images. Our third strategy is based on sampling from an evolving distribution, which favors the easier images during the initial training stages and gradually converges to a uniform distribution, in which samples are equally likely, regardless of difficulty. We compare our curriculum learning strategies with the classic training procedure on two tasks: image generation and image translation. Our experiments indicate that all strategies provide faster convergence and superior results. For example, our best curriculum learning strategy applied on spectrally normalized GANs (SNGANs) fooled human annotators in thinking that generated CIFAR-like images are real in 25.0% of the presented cases, while the SNGANs trained using the classic procedure fooled the annotators in only 18.4% cases. Similarly, in image translation, the human annotators preferred the images produced by the Cycle-consistent GAN (CycleGAN) trained using curriculum learning in 40.5% cases and those produced by CycleGAN based on classic training in only 19.8% cases, 39.7% cases being labeled as ties.


title: Multivariate analysis of BATSE gamma-ray burst properties using skewed distributions

abstract: The number of classes of gamma-ray bursts (GRBs), besides the well-established short and long ones, remains a debatable issue. It was already shown, however, that when invoking skewed distributions, the $\log T_{90}$ and $\log T_{90} - \log H_{32}$ spaces are adequately modeled with mixtures of only two such components, implying two GRB types. Herein, a comprehensive multivariate analysis of several multi-dimensional parameter spaces is conducted for the BATSE sample of GRBs, with the usage of skewed distributions. It is found that the number of extracted components varies between the examined parameter sets, and ranges from 2 to 4, with higher-dimensional spaces allowing for more classes. A Monte Carlo testing implies that these additional components are likely to be artifacts owing to the finiteness of the data and be a result of examining a particular realization of the data as a random sample, resulting in spurious identifications.


title: Particle production as a function of system size and underlying-event activity measured with ALICE at the LHC

abstract: High-energy collisions in ALICE allow for the study of soft and hard QCD particle production. The correlation between transverse momentum spectra and event multiplicity is a sensitive observable providing insights into the different production mechanisms. In these proceedings we report on this observable for unidentified charged-particles, obtained using a 2d-unfolding procedure. Particle production is compared at different collision energies, as well as for pp, p--Pb and Pb--Pb collisions at the same energy. In order to understand the role of autocorrelations in small systems, it was proposed to exploit the usage of the underlying event as a multiplicity estimator to factorize the hardest and the softer components of the events. For this purpose, in these proceedings the charged particle transverse momentum distributions are also presented as a function of underlying-event activity in pp collisions.


title: Jet direction in bubble collapse within rectangular and triangular channels

abstract: A vapor bubble collapsing near a solid boundary in a liquid produces a liquid jet that points toward the boundary. The direction of this jet has been studied for boundaries such as flat planes and parallel walls enclosing a channel. Extending these investigations to enclosed polygonal boundaries, we experimentally measure jet direction for collapsing bubbles inside a square and an equilateral triangular channel. Following the method of Tagawa and Peters (Phys. Rev. Fluids 3, 081601, 2018) for predicting the jet direction in corners, we model the bubble as a sink in a potential flow and demonstrate by experiment that analytical solutions accurately predict jet direction within an equilateral triangle and square. We further use the method to develop predictions for several other polygons, specifically, a rectangle, an isosceles right triangle, and a $30^{\circ}$-$60^{\circ}$-$90^{\circ}$ right triangle.


title: Reanalysis of the binary neutron star mergers GW170817 and GW190425 using numerical-relativity calibrated waveform models

abstract: We reanalyze gravitational waves from binary-neutron-star mergers GW170817 and GW190425 using a numerical-relativity (NR) calibrated waveform model, the TF2+_Kyoto model, which includes nonlinear tidal terms. For GW170817, by imposing a uniform prior on the binary tidal deformability $\tilde{\Lambda}$, the symmetric $90\%$ credible interval of $\tilde{\Lambda}$ is estimated to be $481^{+436}_{-359}$ and $402^{+465}_{-279}$ for the case of $f_\mathrm{max}=1000$ and $2048~\mathrm{Hz}$, respectively, where $f_\mathrm{max}$ is the maximum frequency in the analysis. We also reanalyze the event with other waveform models: two post-Newtonian waveform models (TF2_PNTidal and TF2+_PNTidal), the TF2+_NRTidal model that is another NR calibrated waveform model, and its upgrade, the TF2+_NRTidalv2 model. While estimates of parameters other than $\tilde{\Lambda}$ are broadly consistent among various waveform models, our results indicate that estimates of $\tilde{\Lambda}$ depend on waveform models. However, the difference is smaller than the statistical error. For GW190425, we can only obtain little information on the binary tidal deformability. The systematic difference among the NR calibrated waveform models will become significant to measure $\tilde{\Lambda}$ as the number of detectors and events increase and sensitivities of detectors are improved.


title: Fermionic limit of the Calogero-Sutherland system

abstract: We present a construction of an integrable model as a projective type limit of Calogero-Sutherland models of $N$ fermionic particles, when $N$ tends to infinity. Explicit formulas for limits of Dunkl operators and of commuting Hamiltonians by means of vertex operators are given.


title: On properties of vertical velocity for 2-D steady water waves

abstract: In this article, we mainly investigate the properties of vertical velocity v for two dimensional steady water waves over a flat bed. Firstly we prove the existence of the inflection point for each streamline, then we find the behavior of v along each streamline depends strictly on concavity and convexity of streamline, which contributes to complete Constantin conjecture on v in Stokes wave. And the location of maximum vertical fluid velocity is also proven to be at the inflection point. Besides, we also extend our results to the cases with monotonous vorticity.


title: Mitigating Overfitting in Supervised Classification from Two Unlabeled Datasets: A Consistent Risk Correction Approach

abstract: The recently proposed unlabeled-unlabeled (UU) classification method allows us to train a binary classifier only from two unlabeled datasets with different class priors. Since this method is based on the empirical risk minimization, it works as if it is a supervised classification method, compatible with any model and optimizer. However, this method sometimes suffers from severe overfitting, which we would like to prevent in this paper. Our empirical finding in applying the original UU method is that overfitting often co-occurs with the empirical risk going negative, which is not legitimate. Therefore, we propose to wrap the terms that cause a negative empirical risk by certain correction functions. Then, we prove the consistency of the corrected risk estimator and derive an estimation error bound for the corrected risk minimizer. Experiments show that our proposal can successfully mitigate overfitting of the UU method and significantly improve the classification accuracy.


title: Rationally connected rational double covers of primitive Fano varieties

abstract: We show that for a Zariski general hypersurface $V$ of degree $M+1$ in ${\mathbb P}^{M+1}$ for $M\geqslant 5$ there are no Galois rational covers $X\dashrightarrow V$ of degree $d\geqslant 2$ with an abelian Galois group, where $X$ is a rationally connected variety. In particular, there are no rational maps $X\dashrightarrow V$ of degree 2 with $X$ rationally connected. This fact is true for many other families of primitive Fano varieties as well and motivates a conjecture on absolute rigidity of primitive Fano varieties.


title: The prime number race and zeros of Dirichlet L-functions off the critical line

abstract: Let $\pi_{q,a}(x)$ denote the number of primes $\le x$ in the progression $a$ modulo $q$. We study subtle inequities in these functions, with $q$ fixed and variable $a$ (sometimes called 'prime race problems'). It is known unconditionally for many triples $(q,a,b)$ that the difference $\pi_{q,a}(x) - \pi_{q,b}(x)$ changes sign infinitely often, although there may be a pronounced bias toward one sign (first observed by Chebyshev in 1853). Similar results for the comparison of three or more prime counting functions all require the assumption of ERH (extended Riemann Hypothesis for the Dirichlet L-functions modulo $q$). In this paper we show that the assumption of ERH is, in a sense, necessary. That is, we prove, for any quadruple $(q,a,b,c)$ with $a,b,c$ co-prime to $q$, that the existence of certain hypothetical configurations of zeros of Dirichlet L-functions lying off the critical line imply that one of the six possible orderings of the three functions $\pi_{q,a}(x), \pi_{q,b}(x), \pi_{q,c}(x)$ does not occur at all for large enough $x$.


title: Minimum-weight combinatorial structures under random cost-constraints

abstract: Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the minimum-length structure whose total cost is less than some cost budget. For several classes of structures, we determine the correct minimum length structure as a function of the cost-budget, up to constant factors. Moreover, we achieve this even in the more general setting where the distribution of weights and costs are arbitrary, so long as the density $f(x)$ as $x\to 0$ behaves like $cx^\gamma$ for some $\gamma\geq 0$; previously, this case was not understood even in the absence of cost constraints. We also handle the case where each edge has several independent costs associated to it, and we must simultaneously satisfy budgets on each cost. In this case, we show that the minimum-length structure obtainable is essentially controlled by the product of the cost thresholds.


title: Attention Enriched Deep Learning Model for Breast Tumor Segmentation in Ultrasound Images

abstract: Incorporating human domain knowledge for breast tumor diagnosis is challenging, since shape, boundary, curvature, intensity, or other common medical priors vary significantly across patients and cannot be employed. This work proposes a new approach for integrating visual saliency into a deep learning model for breast tumor segmentation in ultrasound images. Visual saliency refers to image maps containing regions that are more likely to attract radiologists visual attention. The proposed approach introduces attention blocks into a U-Net architecture, and learns feature representations that prioritize spatial regions with high saliency levels. The validation results demonstrate increased accuracy for tumor segmentation relative to models without salient attention layers. The approach achieved a Dice similarity coefficient of 90.5 percent on a dataset of 510 images. The salient attention model has potential to enhance accuracy and robustness in processing medical images of other organs, by providing a means to incorporate task-specific knowledge into deep learning architectures.


title: Quantum Vortex States in Bose Hubbard Model With Rotation

abstract: We study quantum vortex states of strongly interacting bosons in a two-dimensional rotating optical lattice. The system is modeled by Bose-Hubbard Hamiltonian with rotation. We consider lattices of different geometries, such as square, rectangular and triangular. Using numerical exact diagonalization method we show how the rotation introduces vortex states of different ground-state symmetries and the transition between these states at discrete rotation frequencies. We show how the geometry of the lattice plays crucial role in determining the maximum number of vortex states as well as the general characteristics of these states such as, the average angular momentum $<L_z>$, the current at the perimeter of the lattice, phase winding, the relation between the maximum phase difference, the maximum current and also the saturation of the current between the two neighboring lattice points. The effect of the two- and three-body interactions between the particles, both attractive and repulsive, also depends on the geometry of the lattice as the current flow or the lattice current depends on the interactions. We also consider the effect of the spatial inhomogeneity introduced by the presence of an additional confining harmonic trap potential. It is shown that the curvature of the trap potential and the position of the minimum of the trap potential with respect to the axis of rotation or the center of the lattice have a significant effect on the general characteristics these vortex states.


title: Obstacles to State Preparation and Variational Optimization from Symmetry Protection

abstract: Local Hamiltonians with topological quantum order exhibit highly entangled ground states that cannot be prepared by shallow quantum circuits. Here, we show that this property may extend to all low-energy states in the presence of an on-site $\mathbb{Z}_2$ symmetry. This proves a version of the No Low-Energy Trivial States (NLTS) conjecture for a family of local Hamiltonians with symmetry protected topological order. A surprising consequence of this result is that the Goemans-Williamson algorithm outperforms the Quantum Approximate Optimization Algorithm (QAOA) for certain instances of MaxCut, at any constant level. We argue that the locality and symmetry of QAOA severely limits its performance. To overcome these limitations, we propose a non-local version of QAOA, and give numerical evidence that it significantly outperforms standard QAOA for frustrated Ising models on random 3-regular graphs.


title: The prime number race and zeros of Dirichlet L-functions off the critical line, II

abstract: We continue our examination the effects of certain hypothetical configurations of zeros of Dirichlet $L$-functions lying off the critical line ("barriers") on the relative magnitude of the functions $\pi_{q,a}(x)$. Here $\pi_{q,a}(x)$ is the number of primes $\le x$ in the progression $a \mod q$. In particular, we construct barriers so that $\pi_{q,1}(x)$ is simultaneously greater than, or simultaneously less than, each of $k$ functions $\pi_{q,a_i}(x)$ ($1\le i\le k$). We also construct barriers so that only a small number of the $r!$ possible orderings of functions $\pi_{q,a_i}(x)$ ($1\le i\le r$) occur for large $x$; see Theorem 5.1.


title: Modeling of depth-induced wave breaking in a fully nonlinear free-surface potential flow model

abstract: Two methods to treat wave breaking in the framework of the Hamiltonian formulation of free-surface potential flow are presented, tested, and validated. The first is an extension of Kennedy et al (2000)'s eddy-viscosity approach originally developed for Boussinesq-type wave models. In this approach, an extra term, constructed to conserve the horizontal momentum for waves propagating over a flat bottom, is added in the dynamic free-surface condition. In the second method, a pressure distribution is introduced at the free surface that dissipates wave energy by analogy to a hydraulic jump (Guignard and Grilli, 2001). The modified Hamiltonian systems are implemented using the Hamiltonian Coupled-Mode Theory, in which the velocity potential is represented by a rapidly convergent vertical series expansion. Wave energy dissipation and conservation of horizontal momentum are verified numerically. Comparisons with experimental measurements are presented for the propagation of a breaking dispersive shock wave following a dam break, and then incident regular waves breaking on a mildly sloping beach and over a submerged bar.


title: Chebyshev's conjecture and the prime number race

abstract: We survey results about prime number races, that is, results about the relative sizes of prime counting functions $\pi_{q,a}(x)$, with $q$ fixed and $a$ varying. In particular, we describe recent work by the authors on these problems.


title: Relative and unrelative elementary groups, revisited

abstract: Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In the present paper we show that the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$ is generated as a group by the elements of the two following forms: 1) $z_{ij}(ab,c)$ and $z_{ij}(ba,c)$, 2) $[t_{ij}(a),t_{ji}(b)]$, where $1\le i\neq j\le n$, $a\in A$, $b\in B$, $c\in R$. Moreover, for the second type of generators, it suffices to fix one pair of indices $(i,j)$. This result is both stronger and more general than the previous results by Roozbeh Hazrat and the authors. In particular, it implies that for all associative rings one has the equality $\big[E(n,R,A),E(n,R,B)\big]=\big[E(n,A),E(n,B)\big]$ and many further corollaries can be derived for rings subject to commutativity conditions.


title: Quantum Correlations in the Kerr Ising Model

abstract: In this article we present a full description of the quantum Kerr Ising model---a linear optical network of parametrically pumped Kerr non-linearities. We consider the non-dissapative Kerr Ising model and, using variational techniques, show that the energy spectrum is primarily determined by the adjacency matrix in the Ising model and exhibits highly non-classical cat like eigenstates. We then introduce dissipation to give a quantum mechanical treatment of the measurement process based on homodyne detection via the conditional stochastic Schrodinger equation. Finally we identify a quantum advantage in comparison to the classical analogue for the example of two anti-ferromagnetic cavities.


title: Strong resonances at high excitation energy in 17O+alpha resonance scattering

abstract: The Thick Target Inverse Kinematic (TTIK) approach was used to measure excitation functions for the elastic 17O ({\alpha}, {\alpha}) scattering at the initial 17O beam energy of 54.4 MeV. We observed strong peaks corresponding to highly excited {\alpha}-cluster states in the 21Ne excitation energy region of 8-16 MeV, which have never been investigated before. Additional tests were done at a 17O beam energy of 56.4 MeV to estimate a possible contribution of resonance inelastic scattering.


title: Representation Learning for Discovering Phonemic Tone Contours

abstract: Tone is a prosodic feature used to distinguish words in many languages, some of which are endangered and scarcely documented. In this work, we use unsupervised representation learning to identify probable clusters of syllables that share the same phonemic tone. Our method extracts the pitch for each syllable, then trains a convolutional autoencoder to learn a low dimensional representation for each contour. We then apply the mean shift algorithm to cluster tones in high-density regions of the latent space. Furthermore, by feeding the centers of each cluster into the decoder, we produce a prototypical contour that represents each cluster. We apply this method to spoken multi-syllable words in Mandarin Chinese and Cantonese and evaluate how closely our clusters match the ground truth tone categories. Finally, we discuss some difficulties with our approach, including contextual tone variation and allophony effects.


title: The Critical Role of Collisionless Plasma Energization on the Structure of Relativistic Magnetic Reconnection

abstract: During magnetically dominated relativistic reconnection, inflowing plasma depletes the initial relativistic pressure at the x-line and collisionless plasma heating inside the diffusion region is insufficient to overcome this loss. The resulting pressure drop causes a collapse at the x-line, essentially a localization mechanism of the diffusion region necessary for fast reconnection. The extension of this low-pressure region further explains the bursty nature of anti-parallel reconnection because a once opened outflow exhaust can also collapse, which repeatedly triggers secondary tearing islands. However, a stable single x-line reconnection can be achieved when an external guide field exists, since the reconnecting magnetic field component rotates out of the reconnection plane at outflows, providing additional magnetic pressure to sustain the opened exhausts.

categories: astro-ph.HE astro-ph.SR physics.plasm-ph physics.space-ph


title: Systematic Counting of Restricted Partitions

abstract: Integer partitions are one of the most fundamental objects of combinatorics (and number theory), and so is enumerating objects avoiding patterns. In the present paper we describe two approaches for the systematic counting of classes of partitions avoiding an arbitrary set of "patterns".


title: Formal groups and quantum cohomology

abstract: We use chain level genus zero Gromov-Witten theory to associate to any closed monotone symplectic manifold a formal group (loosely interpreted), whose Lie algebra is the odd degree cohomology of the manifold (with vanishing bracket). When taken with coefficients mod p, the p-th power map of the formal group is related to quantum Steenrod operations. The motivation for this construction comes from derived Picard groups of Fukaya categories, and from arithmetic aspects of mirror symmetry.


title: The Lie bracket of undirected curves on a surface

abstract: A Lie bracket defined on the linear span of the free homotopy classes of undirected closed curves was discovered in stages passing through Thurston's earthquake deformations, Wolpert's corresponding calculations with Hamiltonian vector fields and Goldman's algebraic treatment of the latter leading to a Lie bracket on the span of directed closed curves. The purpose of this work is to deepen the understanding of the former Lie bracket which will be referred to as the Thurston-Wolpert-Goldman Lie bracket or, briefly, the TWG bracket. We give a local direct geometric definition of the TWG bracket and use this geometric point of view to prove three results: firstly, the center of the TWG-bracket is the Lie sub algebra generated by the class of the trivial loop and the classes of loops parallel to boundary components or punctures; secondly the analogous result hold for the centers of the universal enveloping algebra and of the symmetric algebra determined by the TWG Lie algebra; and thirdly, in terms of the natural basis, the TWG bracket of two non-central curves is always a linear combination of non-central curves. We also give a brief and more illuminating proof of a known result, namely, the TWG bracket counts intersection. We conclude by discussing substantial computer evidence suggesting an unexpected and strong conjectural statement relating the intersection structure of curves and the TWG bracket, namely, if the TWG bracket of two distinct undirected curves is zero then these curve classes have disjoint representatives. The main tools are basic hyperbolic geometry and Thurston's earthquake theory.


title: Checking Timed Bisimulation with Bounded Zone-History Graphs -- Technical Report

abstract: Timed automata (TA) are a well-established formalism for specifying discrete-state/continuous-time behavior of time-critical reactive systems. Concerning the fundamental analysis problem of comparing a candidate implementation against a specification, both given as TA, it has been shown that timed trace equivalence is undecidable, whereas timed bisimulation equivalence is decidable. The corresponding proof utilizes region graphs, a finite, but generally very space-consuming characterization of TA semantics. Hence, most practical TA tools utilize zone graphs instead, a symbolic and generally more efficient representation of TA semantics, to automate analysis tasks. However, zone graphs only produce sound results for analysis tasks being reducible to plain reachability problems thus being too imprecise for checking timed bisimilarity. In this paper, we propose bounded zone-history graphs, a novel characterization of TA semantics facilitating an adjustable trade-off between precision and scalability of timed-bisimilarity checking. Our tool TimBrCheck is, to the best of our knowledge, the only currently available tool for effectively checking timed bisimilarity and even supports non-deterministic TA with silent moves. We further present experimental results gained from applying our tool to a collection of community benchmarks, providing insights into trade-offs between precision and efficiency, depending on the bound value.


title: Identity Document and banknote security forensics: a survey

abstract: Counterfeiting and piracy are a form of theft that has been steadily growing in recent years. Banknotes and identity documents are two common objects of counterfeiting. Aiming to detect these counterfeits, the present survey covers a wide range of anti-counterfeiting security features, categorizing them into three components: security substrate, security inks and security printing. respectively. From the computer vision perspective, we present works in the literature covering these three categories. Other topics, such as history of counterfeiting, effects on society and document experts, counterfeiter types of attacks, trends among others are covered. Therefore, from non-experienced to professionals in security documents, can be introduced or deepen its knowledge in anti-counterfeiting measures.


title: PushTASEP in inhomogeneous space

abstract: We consider the PushTASEP (pushing totally asymmetric simple exclusion process, also sometimes called long-range TASEP) with the step initial configuration evolving in an inhomogeneous space. That is, the rate of each particle's jump depends on the location of this particle. We match the distribution of the height function of this PushTASEP with Schur processes. Using this matching and determinantal structure of Schur processes, we obtain limit shape and fluctuation results which are typical for stochastic particle systems in the Kardar-Parisi-Zhang universality class. PushTASEP is a close relative of the usual TASEP. In inhomogeneous space the former is integrable, while the integrability of the latter is not known.


title: SANet:Superpixel Attention Network for Skin Lesion Attributes Detection

abstract: The accurate detection of lesion attributes is meaningful for both the computeraid diagnosis system and dermatologists decisions. However, unlike lesion segmentation and melenoma classification, there are few deep learning methods and literatures focusing on this task. Currently, the lesion attribute detection still remains challenging due to the extremely unbalanced class distribution and insufficient samples, as well as large intraclass and low interclass variations. To solve these problems, we propose a deep learning framework named superpixel attention network (SANet). Firstly, we segment input images into small regions and shuffle the obtained regions by the random shuttle mechanism (RSM). Secondly, we apply the SANet to capture discriminative features and reconstruct input images. Specifically, SANet contains two sub modules: superpixel average pooling and superpixel at tention module. We introduce a superpixel average pooling to reformulate the superpixel classification problem as a superpixel segmentation problem and a SAMis utilized to focus on discriminative superpixel regions and feature channels. Finally, we design a novel but effective loss, namely global balancing loss to address the serious data imbalance in ISIC 2018 Task 2 lesion attributes detection dataset. The proposed method achieves quite good performance on the ISIC 2018 Task 2 challenge.


title: Sobolev Anisotropic inequalities with monomial weights

abstract: We derive some anisotropic Sobolev inequalities in $\mathbb{R}^{n}$ with a monomial weight in the general setting of rearrangement invariant spaces. Our starting point is to obtain an integral oscillation inequality in multiplicative form.


title: A General Framework for Empirical Bayes Estimation in Discrete Linear Exponential Family

abstract: We develop a Nonparametric Empirical Bayes (NEB) framework for compound estimation in the discrete linear exponential family, which includes a wide class of discrete distributions frequently arising from modern big data applications. We propose to directly estimate the Bayes shrinkage factor in the generalized Robbins' formula via solving a scalable convex program, which is carefully developed based on a RKHS representation of the Stein's discrepancy measure. The new NEB estimation framework is flexible for incorporating various structural constraints into the data driven rule, and provides a unified approach to compound estimation with both regular and scaled squared error losses. We develop theory to show that the class of NEB estimators enjoys strong asymptotic properties. Comprehensive simulation studies as well as analyses of real data examples are carried out to demonstrate the superiority of the NEB estimator over competing methods.


title: Topological constraints in eukaryotic genomes and how they can be exploited to improve spatial models of chromosomes

abstract: Several orders of magnitude typically separate the contour length of eukaryotic chromosomes and the size of the nucleus where they are confined. The ensuing topological constraints can slow down the relaxation dynamics of genomic filaments to the point that mammalian chromosomes are never in equilibrium over a cell's lifetime. In this opinion article, we revisit these out-of-equilibrium effects and discuss how their inclusion in physical models can enhance the spatial reconstructions of interphase eukaryotic genomes from phenomenological constraints collected during interphase.


title: Excitonic instability of two-dimensional tilted Dirac cones

abstract: The electron-electron Coulomb interaction in Dirac-Weyl semimetals harbours a novel paradigm of correlation effects that hybridizes diverse realms of solid-state physics with their relativistic counterpart. Driving spontaneous mass acquisition, the excitonic condensate of strongly-interacting massless Dirac fermions is one such example whose exact nature remains debated. Here, by focussing on the two-dimensional tilted Dirac cones in the organic salt $\alpha$-(BEDT-TTF)$_2$I$_3$, we show that the excitonic instability is controlled by a small chemicalpotential shift and an in-plane magnetic field. In combined analyses based on renormalization-group approaches and ladder approximation, we demonstrate that the nuclear relaxation rate is an excellent probe of excitonic-spin fluctuations in an extended parameter region. Comparative nuclear magnetic resonance (NMR) experiments show good agreements with this result, jointly revealing the importance of intervalley nesting between field-induced, spin-split Fermi pockets of opposite charge polarities. Our work provides an accurate framework to search for excitonic instability of strongly-interacting massless fermions.


title: On the positive theory of groups acting on trees

abstract: We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and almost all one-relator groups and graph products of groups. It follows that groups in the class satisfy a number of algebraic properties: for instance, their verbal subgroups have infinite width and, although some groups in the class are simple, they cannot be boundedly simple. In order to prove these results we describe a uniform way for constructing (weak) small cancellation tuples from (weakly) stable elements. This result of interest in its own is fundamental to obtain corollaries of general nature such as a quantifier reduction for positive sentences or the preservation of the non-trivial positive theory under extensions of groups.


title: Topological charge pumping in twisted bilayer graphene

abstract: We show that a sliding motion between the two layers of a \moire superlattice induces an electric current and realizes a two-dimensional version of the topological Thouless pump when the Fermi energy lies in one of the minigaps. Interestingly, a chiral charge pump, namely, a transverse current induced by the sliding motion, is possible in twisted homobilayers. This result is confirmed by a concrete calculation of the adiabatic current in twisted bilayer graphene. Our work reveals an interesting link between mechanical motion and electricity unique to \moire superlattices, and may find applications in nanogenerators and nanomotors.


title: On Critical nets in $\mathbb{R}^k$

abstract: Critical nets in $\mathbb{R}^k$ (sometimes called geodesic nets) are embedded graph with the property that their embedding is a critical point of the total (edge) length functional and under the constraint that certain 1-valent vertices (leaves) have a fixed position. In contrast to what happens on generic manifolds, we show that, if n is the number of 1-valent vertices, the total length of the edges not incident with a 1-valent vertex is bounded by rn (where r is the outer radius), the degree of any vertex is bounded by n and that the number of edges (and hence the number of vertices) is bounded by nl where l is related to the combinatorial diameter of the graph.


title: MATGANIP: Learning to Discover the Structure-Property Relationship in Perovskites with Generative Adversarial Networks

abstract: Accelerating the design of materials with artificial neural network draws more attention due to its magnitude potential. In the past works, some tools of materials information have been developed to promote the industrialize of state-of-the-art materials, such as the materials project, AFlow, and open quantum materials database. Else, more various endeavors are required for artificial general intelligence in the area of materials. In our works, we design neural networks named MATGANIP, which applies a combination of generative adversarial networks, graph networks, convolutional neural networks, and long short term memory for the perovskite materials. We adopt it for the building of a structure-property relationship, where the trained properties contain: the computational geometric property, tolerance factor; and the ground state property of Quantum theory, the vacuum energy. Moreover, the data-set about the ABX3 perovskites is used for the learning of tolerance factor, to extend its function of tolerance factor into the structural identification of the arrangement of disorder atoms; another data-set about the density functional theory (DFT) calculation results is for the ground state energy of quantum theory, to obtain the more accurate result than the training of DFT calculated results in similar works. In our training task of the DFT date-set, we adopt the intuitive criterion to evaluate its performance: the mean absolute error (MAE) is smaller than 0.3 meV/atom, and the mean absolute error rate (MAER) is smaller than 0.01%. These results prove the potential ability of our MATGANIP in developing the relationship between materials structure and their properties. Notably, it suits for some scenes involved massive possible structures and their properties, such as the arrangement of the atoms in the structural phase transition of the inorganic perovskites with mixed atoms.


title: Feasible Generalized Least Squares for Panel Data with Cross-sectional and Serial Correlations

abstract: This paper considers generalized least squares (GLS) estimation for linear panel data models. By estimating the large error covariance matrix consistently, the proposed feasible GLS (FGLS) estimator is more efficient than the ordinary least squares (OLS) in the presence of heteroskedasticity, serial, and cross-sectional correlations. To take into account the serial correlations, we employ the banding method. To take into account the cross-sectional correlations, we suggest to use the thresholding method. We establish the limiting distribution of the proposed estimator. A Monte Carlo study is considered. The proposed method is applied to an empirical application.


title: Worst-Case Polylog Incremental SPQR-trees: Embeddings, Planarity, and Triconnectivity

abstract: We show that every labelled planar graph $G$ can be assigned a canonical embedding $\phi(G)$, such that for any planar $G'$ that differs from $G$ by the insertion or deletion of one edge, the number of local changes to the combinatorial embedding needed to get from $\phi(G)$ to $\phi(G')$ is $O(\log n)$. In contrast, there exist embedded graphs where $\Omega(n)$ changes are necessary to accommodate one inserted edge. We provide a matching lower bound of $\Omega(\log n)$ local changes, and although our upper bound is worst-case, our lower bound hold in the amortized case as well. Our proof is based on BC trees and SPQR trees, and we develop \emph{pre-split} variants of these for general graphs, based on a novel biased heavy-path decomposition, where the structural changes corresponding to edge insertions and deletions in the underlying graph consist of at most $O(\log n)$ basic operations of a particularly simple form. As a secondary result, we show how to maintain the pre-split trees under edge insertions in the underlying graph deterministically in worst case $O(\log^3 n)$ time. Using this, we obtain deterministic data structures for incremental planarity testing, incremental planar embedding, and incremental triconnectivity, that each have worst case $O(\log^3 n)$ update and query time, answering an open question by La Poutr\'e and Westbrook from 1998.


title: Inverse initial problem for fractional reaction-diffusion equation with nonlinearities

abstract: The initial inverse problem of finding solutions and their initial values ($t = 0$) appearing in a general class of fractional reaction-diffusion equations from the knowledge of solutions at the final time ($t = T$). Our work focuses on the existence and regularity of mild solutions in two cases: \begin{itemize} \item[--] The first case: The nonlinearity is globally Lipschitz and uniformly bounded which plays important roles in PDE theories, and especially in numerical analysis. \item[--] The second case: The nonlinearity is locally critical which widely arises from the Navier-Stokes, Schr\"odinger, Burgers, Allen-Cahn, Ginzburg-Landau equations, etc. \end{itemize} Our solutions are local-in-time and are derived via fixed point arguments in suitable functional spaces. The key idea is to combine the theories of Mittag-Leffler functions and fractional Sobolev embeddings. To firm the effectiveness of our methods, we finally apply our main results to time fractional Navier-Stokes and Allen-Cahn equations.


title: Permutation-Based Causal Structure Learning with Unknown Intervention Targets

abstract: We consider the problem of estimating causal DAG models from a mix of observational and interventional data, when the intervention targets are partially or completely unknown. This problem is highly relevant for example in genomics, since gene knockout technologies are known to have off-target effects. We characterize the interventional Markov equivalence class of DAGs that can be identified from interventional data with unknown intervention targets. In addition, we propose a provably consistent algorithm for learning the interventional Markov equivalence class from such data. The proposed algorithm greedily searches over the space of permutations to minimize a novel score function. The algorithm is nonparametric, which is particularly important for applications to genomics, where the relationships between variables are often non-linear and the distribution non-Gaussian. We demonstrate the performance of our algorithm on synthetic and biological datasets. Links to an implementation of our algorithm and to a reproducible code base for our experiments can be found at https://uhlerlab.github.io/causaldag/utigsp.


title: Towards Minimal SU(5)

abstract: We propose a simple $SU(5)$ model that connects the neutrino mass generation mechanism to the observed disparity between the masses of charged leptons and down-type quarks. The model is built out of $5$-, $10$-, $15$-, $24$-, and $35$-dimensional representations of $SU(5)$ and comprises two (three) $3 \times 3$ ($3 \times 1$) Yukawa coupling matrices to accommodate all experimentally measured fermion masses and mixing parameters. The gauge coupling unification considerations, coupled with phenomenological constraints inferred from experiments that probe neutrino masses and mixing parameters and/or look for proton decay, fix all relevant mass scales of the model. The proposed scenario places several multiplets at the scales potentially accessible at the LHC and future colliders and correlates this feature with the gauge boson mediated proton decay signatures. It also predicts that one neutrino is massless.


title: Residuation in finite posets

abstract: When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective conjunction. We have already studied this problem for the logic of quantum mechanics which is based on an orthomodular poset or the logic of quantum effects based on a so-called effect algebra which is only partial and need not be lattice-ordered. For this, we introduced the so-called operator residuation where the values of implication and conjunction need not be elements of the underlying poset, but only certain subsets of it. However, this approach can be generalized for posets satisfying more general conditions. If these posets are even finite, we can focus on maximal or minimal elements of the corresponding subsets and the formulas for the mentioned operators can be essentially simplified. This is shown in the present paper where all theorems are explained by corresponding examples.