title: Multi-source Relations for Contextual Data Mining in Learning Analytics

abstract: The goals of Learning Analytics (LA) are manifold, among which helping students to understand their academic progress and improving their learning process, which are at the core of our work. To reach this goal, LA relies on educational data: students' traces of activities on VLE, or academic, socio-demographic information, information about teachers, pedagogical resources, curricula, etc. The data sources that contain such information are multiple and diverse. Data mining, specifically pattern mining, aims at extracting valuable and understandable information from large datasets. In our work, we assume that multiple educational data sources form a rich dataset that can result in valuable patterns. Mining such data is thus a promising way to reach the goal of helping students. However, heterogeneity and interdependency within data lead to high computational complexity. We thus aim at designing low complex pattern mining algorithms that mine multi-source data, taking into consideration the dependency and heterogeneity among sources. The patterns formed are meaningful and interpretable, they can thus be directly used for students.


title: A positivity preserving iterative method for finding the ground states of saturable nonlinear Schr\"odinger equations

abstract: In this paper, we propose an iterative method to compute the positive ground states of saturable nonlinear Schr\"odinger equations. A discretization of the saturable nonlinear Schr\"odinger equation leads to a nonlinear algebraic eigenvalue problem (NAEP). For any initial positive vector, we prove that this method converges globally with a locally quadratic convergence rate to a positive solution of NAEP. During the iteration process, the method requires the selection of a positive parameter $\theta_k$ in the $k$th iteration, and generates a positive vector sequence approximating the eigenvector of NAEP and a scalar sequence approximating the corresponding eigenvalue. We also present a halving procedure to determine the parameters $\theta_k$, starting with $\theta_k=1$ for each iteration, such that the scalar sequence is strictly monotonic increasing. This method can thus be used to illustrate the existence of positive ground states of saturable nonlinear Schr\"odinger equations. Numerical experiments are provided to support the theoretical results.


title: Smoothed Analysis of Order Types

abstract: Consider an ordered point set $P = (p_1,\ldots,p_n)$, its order type (denoted by $\chi_P$) is a map which assigns to every triple of points a value in $\{+,-,0\}$ based on whether the points are collinear(0), oriented clockwise(-) or counter-clockwise(+). An abstract order type is a map $\chi : \left[\substack{n\\3}\right] \rightarrow \{+,-,0\}$ (where $\left[\substack{n\\3}\right]$ is the collection of all triples of a set of $n$ elements) that satisfies the following condition: for every set of five elements $S\subset [n]$ its induced order type $\chi_{|S}$ is realizable by a point set. To be precise, a point set $P$ realizes an order type $\chi$,if $\chi_P(p_i,p_j,p_k) = \chi(i,j,k)$, for all $i<j<k$. Planar point sets are among the most basic and natural geometric objects of study in Discrete and Computational Geometry. Properties of point sets are relevant in theory and practice alike. It is known, that deciding if an abstract order type is realizable is complete for the existential theory of the reals. Our results show that order type realizability is much easier for realistic instances than in the worst case. In particular, we can recognize instances in "expected \NP-time". This is one of the first $\exists\mathbb{R}$-complete problems analyzed under the lens of Smoothed Analysis.


title: Excited-State Nanophotonic and Polaritonic Chemistry with Ab initio Potential-Energy Surfaces

abstract: Advances in nanophotonics, quantum optics, and low-dimensional materials have enabled precise control of light-matter interactions down to the nanoscale. Combining concepts from each of these fields, there is now an opportunity to create and manipulate photonic matter via strong coupling of molecules to the electromagnetic field. Towards this goal, here we introduce a first principles framework to calculate polaritonic excited-state potential-energy surfaces for strongly coupled light-matter systems. In particular, we demonstrate the applicability of our methodology by calculating the polaritonic excited-state manifold of a Formaldehyde molecule strongly coupled to an optical cavity. This proof-of-concept calculation shows how strong coupling can be exploited to alter photochemical reaction pathways by influencing avoided crossings. Therefore, by introducing an ab initio method to calculate excited-state potential-energy surfaces, our work opens a new avenue for the field of polaritonic chemistry.

categories: physics.chem-ph physics.comp-ph physics.optics quant-ph


title: de Sitter field equations from quadratic curvature gravity: A group theoretical approach

abstract: In this paper, the linearized field equations related to the quadratic curvature gravity theory have been obtained in the four-dimensional de Sitter (dS) space-time. The massless spin-2 field equations have been written in terms of the Casimir operators of dS group making use of the ambient space notations. By imposing some simple constraints, arisen from group theoretical interpretation of the field equations, a new four-dimensional Gauss-Bonnet (GB)-like action has been introduced with the related field equations transforming according to the unitary irreducible representations (UIR's) of dS group. Since, the field equations transform according to the UIR's of dS group, the GB-like action, we just obtained, is expected to be a successful model of modified gravity. For more clarifying, the gauge invariant field equations have been solved in terms of a gauge-fixing parameter ${\cal{C}}$. It has been shown that the solution can be written as the multiplication of a symmetric rank-2 polarization tensor and a massless minimally coupled scalar field on dS space. The Gupta-Bleuler quantization method has been utilized and the covariant two-point function has been calculated in terms of the massless minimally coupled scalar two-point function, using the ambient space notations. It has been written in terms of dS intrinsic coordinates from the ambient space counterpart. The two-point functions are dS invariant and free of any theoretical problems. It means that the proposed model is a successful model of modified gravity and it can produce significant results in the contexts of classical theory of gravity and quantum gravity toy models.


title: EPNAS: Efficient Progressive Neural Architecture Search

abstract: In this paper, we propose Efficient Progressive Neural Architecture Search (EPNAS), a neural architecture search (NAS) that efficiently handles large search space through a novel progressive search policy with performance prediction based on REINFORCE~\cite{Williams.1992.PG}. EPNAS is designed to search target networks in parallel, which is more scalable on parallel systems such as GPU/TPU clusters. More importantly, EPNAS can be generalized to architecture search with multiple resource constraints, \eg, model size, compute complexity or intensity, which is crucial for deployment in widespread platforms such as mobile and cloud. We compare EPNAS against other state-of-the-art (SoTA) network architectures (\eg, MobileNetV2~\cite{mobilenetv2}) and efficient NAS algorithms (\eg, ENAS~\cite{pham2018efficient}, and PNAS~\cite{Liu2017b}) on image recognition tasks using CIFAR10 and ImageNet. On both datasets, EPNAS is superior \wrt architecture searching speed and recognition accuracy.


title: Quantifying the pathways to life using assembly spaces

abstract: We have developed the concept of pathway assembly to explore the amount of extrinsic information required to build an object. To quantify this information in an agnostic way, we present a method to determine the amount of pathway assembly information contained within such an object by deconstructing the object into its irreducible parts, and then evaluating the minimum number of steps to reconstruct the object along any pathway. The mathematical formalisation of this approach uses an assembly space. By finding the minimal number of steps contained in the route by which the objects can be assembled within that space, we can compare how much information (I) is gained from knowing this pathway assembly index (PA) according to I_PA=log (|N|)/(|N_PA |) where, for an end product with PA=x, N is the set of objects possible that can be created from the same irreducible parts within x steps regardless of PA, and NPA is the subset of those objects with the precise pathway assembly index PA=x. Applying this formalism to objects formed in 1D, 2D and 3D space allows us to identify objects in the world or wider Universe that have high assembly numbers. We propose that objects with PA greater than a threshold are important because these are uniquely identifiable as those that must have been produced by biological or technological processes, rather than the assembly occurring via unbiased random processes alone. We think this approach is needed to help identify the new physical and chemical laws needed to understand what life is, by quantifying what life does.


title: Hardware/Software Co-Exploration of Neural Architectures

abstract: We propose a novel hardware and software co-exploration framework for efficient neural architecture search (NAS). Different from existing hardware-aware NAS which assumes a fixed hardware design and explores the neural architecture search space only, our framework simultaneously explores both the architecture search space and the hardware design space to identify the best neural architecture and hardware pairs that maximize both test accuracy and hardware efficiency. Such a practice greatly opens up the design freedom and pushes forward the Pareto frontier between hardware efficiency and test accuracy for better design tradeoffs. The framework iteratively performs a two-level (fast and slow) exploration. Without lengthy training, the fast exploration can effectively fine-tune hyperparameters and prune inferior architectures in terms of hardware specifications, which significantly accelerates the NAS process. Then, the slow exploration trains candidates on a validation set and updates a controller using the reinforcement learning to maximize the expected accuracy together with the hardware efficiency. Experiments on ImageNet show that our co-exploration NAS can find the neural architectures and associated hardware design with the same accuracy, 35.24% higher throughput, 54.05% higher energy efficiency and 136x reduced search time, compared with the state-of-the-art hardware-aware NAS.


title: Incrementally Learning Functions of the Return

abstract: Temporal difference methods enable efficient estimation of value functions in reinforcement learning in an incremental fashion, and are of broader interest because they correspond learning as observed in biological systems. Standard value functions correspond to the expected value of a sum of discounted returns. While this formulation is often sufficient for many purposes, it would often be useful to be able to represent functions of the return as well. Unfortunately, most such functions cannot be estimated directly using TD methods. We propose a means of estimating functions of the return using its moments, which can be learned online using a modified TD algorithm. The moments of the return are then used as part of a Taylor expansion to approximate analytic functions of the return.


title: Graph Representation Learning via Hard and Channel-Wise Attention Networks

abstract: Attention operators have been widely applied in various fields, including computer vision, natural language processing, and network embedding learning. Attention operators on graph data enables learnable weights when aggregating information from neighboring nodes. However, graph attention operators (GAOs) consume excessive computational resources, preventing their applications on large graphs. In addition, GAOs belong to the family of soft attention, instead of hard attention, which has been shown to yield better performance. In this work, we propose novel hard graph attention operator (hGAO) and channel-wise graph attention operator (cGAO). hGAO uses the hard attention mechanism by attending to only important nodes. Compared to GAO, hGAO improves performance and saves computational cost by only attending to important nodes. To further reduce the requirements on computational resources, we propose the cGAO that performs attention operations along channels. cGAO avoids the dependency on the adjacency matrix, leading to dramatic reductions in computational resource requirements. Experimental results demonstrate that our proposed deep models with the new operators achieve consistently better performance. Comparison results also indicates that hGAO achieves significantly better performance than GAO on both node and graph embedding tasks. Efficiency comparison shows that our cGAO leads to dramatic savings in computational resources, making them applicable to large graphs.


title: Comparison of the optical light curves of hydrogen-rich and hydrogen-poor type II supernovae

abstract: Type II supernovae (SNe II) show strong hydrogen features in their spectra throughout their whole evolution while type IIb supernovae (SNe IIb) spectra evolve from dominant hydrogen lines at early times to increasingly strong helium features later on. However, it is currently unclear whether the progenitors of these supernova (SN) types form a continuum in pre-SN hydrogen mass or whether they are physically distinct. SN light-curve morphology directly relates to progenitor and explosion properties such as the amount of hydrogen in the envelope, the pre-SN radius, the explosion energy and the synthesized mass of radioactive material. In this work we study the morphology of the optical-wavelength light curves of hydrogen-rich SNe II and hydrogen-poor SNe IIb to test whether an observational continuum exists between the two. Using a sample of 95 SNe (73 SNe II and 22 SNe IIb), we define a range of key observational parameters and present a comparative analysis between both types. We find a lack of events that bridge the observed properties of SNe II and SNe IIb. Light curve parameters such as rise times and post-maximum decline rates and curvatures clearly separate both SN types and we therefore conclude that there is no continuum, with the two SN types forming two observationally distinct families. In the V-band a rise time of 17 days (SNe II lower, SNe IIb higher), and a magnitude difference between 30 and 40 days post explosion of 0.4 mag (SNe II lower, SNe IIb higher) serve as approximate thresholds to differentiate both types.


title: Phase transitions in neutron stars and their links to gravitational waves

abstract: The recent direct observation of gravitational wave event $GW170817$ and its $GRB170817A$ signal has opened up a new window to study neutron stars and heralds a new era of Astronomy referred to as the Multimessenger Astronomy. Both gravitational and electromagnetic waves from a single astrophysical source have been detected for the first time. This combined detection offers an unprecedented opportunity to place constraints on the neutron star matter equation of state. The existence of a possible hadron-quark phase transition in the central regions of neutron stars is associated with the appearance of g-modes, which are extremely important as they could signal the presence of a pure quark matter core in the centers of neutron stars. Observations of g-modes with frequencies between 1 kHz and 1.5 kHz could be interpreted as evidence of a sharp hadron-quark phase transition in the cores of neutron stars. In this article, we shall review the description of the dense matter composing neutron stars, the determination of the equation of state of such matter, and the constraints imposed by astrophysical observations of these fascinating compact objects.


title: Audio-Based Search and Rescue with a Drone: Highlights from the IEEE Signal Processing Cup 2019 Student Competition

abstract: Unmanned aerial vehicles (UAV), commonly referred to as drones, have raised increasing interest in recent years. Search and rescue scenarios where humans in emergency situations need to be quickly found in areas difficult to access constitute an important field of application for this technology. While research efforts have mostly focused on developing video-based solutions for this task \cite{lopez2017cvemergency}, UAV-embedded audio-based localization has received relatively less attention. Though, UAVs equipped with a microphone array could be of critical help to localize people in emergency situations, in particular when video sensors are limited by a lack of visual feedback due to bad lighting conditions or obstacles limiting the field of view. This motivated the topic of the 6th edition of the IEEE Signal Processing Cup (SP Cup): a UAV-embedded sound source localization challenge for search and rescue. In this article, we share an overview of the IEEE SP Cup experience including the competition tasks, participating teams, technical approaches and statistics.


title: The Ruelle operator for symmetric $\beta$-shifts

abstract: Consider $m \in \mathbb{N}$ and $\beta \in (1, m + 1]$. Assume that $a\in \mathbb{R}$ can be represented in base $\beta$ using a development in series $a = \sum^{\infty}_{n = 1}x(n)\beta^{-n}$ where the sequence $x = (x(n))_{n \in \mathbb{N}}$ take values in the alphabet $\mathcal{A}_m := \{0, \ldots, m\}$. The above expression is called the $\beta$-expansion of $a$ and it is not necessarily unique. We are interested in sequences $x = (x(n))_{n \in \mathbb{N}} \in \mathcal{A}_m^\mathbb{N}$ which are associated to all possible values $a$ which have a unique expansion. We denote the set of such $x$ (with some more technical restrictions) by $X_{m,\beta} \subset\mathcal{A}_m^\mathbb{N}$. The space $X_{m, \beta}$ is called the symmetric $\beta$-shift associated to the pair $(m, \beta)$. It is invariant by the shift map but in general it is not a subshift of finite type. Given a H\"older continuous potential $A:X_{m, \beta} \to\mathbb{R}$, we consider the Ruelle operator $\mathcal{L}_A$ and we show the existence of a positive eigenfunction $\psi_A$ and an eigenmeasure $\rho_A$ for some appropriated values of $m$ and $\beta$. We also consider a variational principle of pressure. Moreover, we prove that the family of entropies $h(\mu_{tA})_{t>1}$ converges, when $t \to\infty$, to the maximal value among the set of all possible values of entropy of all $A$-maximizing probabilities.


title: A functorial approach to monomorphism categories for species I

abstract: We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor send almost split sequences over the path algebra and the preprojective algebra to split or almost split sequences in the monomorphism category. We derive this from a general result on preservation of almost split morphisms under adjoint functors whose counit is a monomorphism. Despite of its generality, our monomorphism categories still allow for explicit computations as in the case of Ringel and Schmidmeier.


title: Playing Go without Game Tree Search Using Convolutional Neural Networks

abstract: The game of Go has a long history in East Asian countries, but the field of Computer Go has yet to catch up to humans until the past couple of years. While the rules of Go are simple, the strategy and combinatorics of the game are immensely complex. Even within the past couple of years, new programs that rely on neural networks to evaluate board positions still explore many orders of magnitude more board positions per second than a professional can. We attempt to mimic human intuition in the game by creating a convolutional neural policy network which, without any sort of tree search, should play the game at or above the level of most humans. We introduce three structures and training methods that aim to create a strong Go player: non-rectangular convolutions, which will better learn the shapes on the board, supervised learning, training on a data set of 53,000 professional games, and reinforcement learning, training on games played between different versions of the network. Our network has already surpassed the skill level of intermediate amateurs simply using supervised learning. Further training and implementation of non-rectangular convolutions and reinforcement learning will likely increase this skill level much further.


title: Artificial Intelligence: A Child's Play

abstract: We discuss the objectives of any endeavor in creating artificial intelligence, AI, and provide a possible alternative. Intelligence might be an unintended consequence of curiosity left to roam free, best exemplified by a frolicking infant. This suggests that our attempts at AI could have been misguided. What we actually need to strive for can be termed artificial curiosity, AC, and intelligence happens as a consequence of those efforts. For this unintentional yet welcome aftereffect to set in a foundational list of guiding principles needs to be present. We start with the intuition for this line of reasoning and formalize it with a series of definitions, assumptions, ingredients, models and iterative improvements that will be necessary to make the incubation of intelligence a reality. Our discussion provides conceptual modifications to the Turing Test and to Searle's Chinese room argument. We discuss the future implications for society as AI becomes an integral part of life. We provide a road-map for creating intelligence with the technical parts relegated to the appendix so that the article is accessible to a wide audience. The central techniques in our formal approach to creating intelligence draw upon tools and concepts widely used in physics, cognitive science, psychology, evolutionary biology, statistics, linguistics, communication systems, pattern recognition, marketing, economics, finance, information science and computational theory highlighting that solutions for creating artificial intelligence have to transcend the artificial barriers between various fields and be highly multi-disciplinary.


title: String Attractors and Combinatorics on Words

abstract: The notion of \emph{string attractor} has recently been introduced in [Prezza, 2017] and studied in [Kempa and Prezza, 2018] to provide a unifying framework for known dictionary-based compressors. A string attractor for a word $w=w[1]w[2]\cdots w[n]$ is a subset $\Gamma$ of the positions $\{1,\ldots,n\}$, such that all distinct factors of $w$ have an occurrence crossing at least one of the elements of $\Gamma$. While finding the smallest string attractor for a word is a NP-complete problem, it has been proved in [Kempa and Prezza, 2018] that dictionary compressors can be interpreted as algorithms approximating the smallest string attractor for a given word. In this paper we explore the notion of string attractor from a combinatorial point of view, by focusing on several families of finite words. The results presented in the paper suggest that the notion of string attractor can be used to define new tools to investigate combinatorial properties of the words.


title: Real hypersurfaces in the complex quadric with Reeb parallel structure Jacobi operator

abstract: In this paper, we first introduce the full express of the Riemannian curvature tensor of a real hypersurface $M$ in complex quadric $Q^{m}$ from the equation of Gauss. Next we derive a formula for the structure Jacobi operator $R_{\xi}$ and its derivative under the Levi-Civita connection of $M$. We give a complete classification of Hopf real hypersurfaces with Reeb parallel structure Jacobi operator, $\nabla_{\xi}R_{\xi} =0$, in the complex quadric $Q^{m}$, $m \geq 3$.


title: An Intrinsically-Motivated Approach for Learning Highly Exploring and Fast Mixing Policies

abstract: What is a good exploration strategy for an agent that interacts with an environment in the absence of external rewards? Ideally, we would like to get a policy driving towards a uniform state-action visitation (highly exploring) in a minimum number of steps (fast mixing), in order to ease efficient learning of any goal-conditioned policy later on. Unfortunately, it is remarkably arduous to directly learn an optimal policy of this nature. In this paper, we propose a novel surrogate objective for learning highly exploring and fast mixing policies, which focuses on maximizing a lower bound to the entropy of the steady-state distribution induced by the policy. In particular, we introduce three novel lower bounds, that lead to as many optimization problems, that tradeoff the theoretical guarantees with computational complexity. Then, we present a model-based reinforcement learning algorithm, IDE$^{3}$AL, to learn an optimal policy according to the introduced objective. Finally, we provide an empirical evaluation of this algorithm on a set of hard-exploration tasks.


title: Bilevel Optimization under Uncertainty

abstract: We consider bilevel linear problems, where the right-hand side of the lower level problems is stochastic. The leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which gives rise to a broad spectrum of models involving coherent or convex risk measures and stochastic dominance constraints. We outline Lipschitzian properties, conditions for existence and optimality, as well as stability results. Moreover, for finite discrete distributions, we discuss the special structure of equivalent deterministic bilevel programs and its potential use to mitigate the curse of dimensionality.


title: Orbital Angular Momentum (OAM) Mode Mixing in a Bent Step Index Fiber in Perturbation Theory

abstract: Within the framework of perturbation theory, we explore in detail the mixing of orbital angular momentum(OAM) modes due to a fiber bend in a step-index multimode fiber. Using scalar wave equation, we develop a complete set of analytic expressions for mode-mixing, including those for the $2\pi$ walk-off length, which is the distance traveled within the bent fiber before an OAM mode transforms into its negative topological charge counterpart, and back into itself. The derived results provide insight into the nature of the bend effects, clearly revealing the mathematical dependence on the bend radius and the topological charge. We numerically simulate the theoretical results with applications to a few-mode fiber and a multimode fiber, and calculate bend-induced modal crosstalk with implications for mode-multiplexed systems. The presented perturbation technique is general enough to be applicable to other perturbations like ellipticity and easily extendable to other fibers with step-index-like profile as in the ring fiber.


title: Two-Loop $Z_4$ Dirac Neutrino Masses and Mixing, with Self-Interacting Dark Matter

abstract: Choosing how gauge $U(1)_\chi$ breaks in the context of $SO(10) \to SU(5) \times U(1)_\chi$, $Z_4$ lepton number may be obtained which maintains neutrinos as Dirac fermions. Choosing $\Delta(27)$ as the family symmetry of leptons, tree-level Dirac neutrino masses may be forbidden. Choosing a specific set of self-interacting dark-matter particles, Dirac neutrino masses and mixing may then be generated in two loops. This framework allows the realization of cobimaximal neutrino mixing, i.e. $\theta_{13} \neq 0$, $\theta_{23} = \pi/4$, $\delta_{CP} = \pm \pi/2$, as well as the desirable feature that the light scalar mediator of dark-matter interactions decays only to neutrinos, thereby not disrupting the cosmic microwave background (CMB).


title: Routine Modeling with Time Series Metric Learning

abstract: Traditionally, the automatic recognition of human activities is performed with supervised learning algorithms on limited sets of specific activities. This work proposes to recognize recurrent activity patterns, called routines, instead of precisely defined activities. The modeling of routines is defined as a metric learning problem, and an architecture, called SS2S, based on sequence-to-sequence models is proposed to learn a distance between time series. This approach only relies on inertial data and is thus non intrusive and preserves privacy. Experimental results show that a clustering algorithm provided with the learned distance is able to recover daily routines.


title: Click-Through Rate Prediction with the User Memory Network

abstract: Click-through rate (CTR) prediction is a critical task in online advertising systems. Models like Deep Neural Networks (DNNs) are simple but stateless. They consider each target ad independently and cannot directly extract useful information contained in users' historical ad impressions and clicks. In contrast, models like Recurrent Neural Networks (RNNs) are stateful but complex. They model temporal dependency between users' sequential behaviors and can achieve improved prediction performance than DNNs. However, both the offline training and online prediction process of RNNs are much more complex and time-consuming. In this paper, we propose Memory Augmented DNN (MA-DNN) for practical CTR prediction services. In particular, we create two external memory vectors for each user, memorizing high-level abstractions of what a user possibly likes and dislikes. The proposed MA-DNN achieves a good compromise between DNN and RNN. It is as simple as DNN, but has certain ability to exploit useful information contained in users' historical behaviors as RNN. Both offline and online experiments demonstrate the effectiveness of MA-DNN for practical CTR prediction services. Actually, the memory component can be augmented to other models as well (e.g., the Wide&Deep model).


title: On the counting of $O(N)$ tensor invariants

abstract: $O(N)$ invariants are the observables of real tensor models. We use regular colored graphs to represent these invariants, the valence of the vertices of the graphs relates to the tensor rank. We enumerate $O(N)$ invariants as $d$-regular graphs, using permutation group techniques. We also list their generating functions and give (software) algorithms computing their number at an arbitrary rank and an arbitrary number of vertices. As an interesting property, we reveal that the algebraic structure which organizes these invariants differs from that of the unitary invariants. The underlying topological field theory formulation of the rank $d$ counting shows that it corresponds to counting of coverings of the $d-1$ cylinders sharing the same boundary circle and with $d$ defects. At fixed rank and fixed number of vertices, an associative semi-simple algebra with dimension the number of invariants naturally emerges from the formulation. Using the representation theory of the symmetric group, we enlighten a few crucial facts: the enumeration of $O(N)$ invariants gives a sum of constrained Kronecker coefficients; there is a representation theoretic orthogonal base of the algebra that reflects its dimension; normal ordered 2-pt correlators of the Gaussian models evaluate using permutation group language, and further, via representation theory, these functions provide other representation theoretic orthogonal bases of the algebra.


title: Optimal Explanations of Linear Models

abstract: When predictive models are used to support complex and important decisions, the ability to explain a model's reasoning can increase trust, expose hidden biases, and reduce vulnerability to adversarial attacks. However, attempts at interpreting models are often ad hoc and application-specific, and the concept of interpretability itself is not well-defined. We propose a general optimization framework to create explanations for linear models. Our methodology decomposes a linear model into a sequence of models of increasing complexity using coordinate updates on the coefficients. Computing this decomposition optimally is a difficult optimization problem for which we propose exact algorithms and scalable heuristics. By solving this problem, we can derive a parametrized family of interpretability metrics for linear models that generalizes typical proxies, and study the tradeoff between interpretability and predictive accuracy.


title: Improving the Performance of the LSTM and HMM Model via Hybridization

abstract: Language models based on deep neural networks and traditional stochastic modelling have become both highly functional and effective in recent times. In this work, a general survey into the two types of language modelling is conducted. We investigate the effectiveness of the Hidden Markov Model (HMM), and the Long Short-Term Memory Model (LSTM). We analyze the hidden state structures common to both models, and present an analysis on structural similarity of the hidden states, common to both HMM's and LSTM's. We compare the LSTM's predictive accuracy and hidden state output with respect to the HMM for a varying number of hidden states. In this work, we justify that the less complex HMM can serve as an appropriate approximation of the LSTM model.


title: Minimal semi-flat-cotorsion replacements and cosupport

abstract: Over a commutative noetherian ring $R$ of finite Krull dimension, we show that every complex of flat cotorsion $R$-modules decomposes as a direct sum of a minimal complex and a contractible complex. Moreover, we define the notion of a semi-flat-cotorsion complex as a special type of semi-flat complex, and provide functorial ways to construct a quasi-isomorphism from a semi-flat complex to a semi-flat-cotorsion complex. Consequently, every $R$-complex can be replaced by a minimal semi-flat-cotorsion complex in the derived category over $R$. Furthermore, we describe structure of semi-flat-cotorsion replacements, by which we recover classic theorems for finitistic dimensions. In addition, we improve some results on cosupport and give a cautionary example. We also explain that semi-flat-cotorsion replacements always exist and can be used to describe the derived category over any associative ring.


title: On the q-moment determinacy of probability distributions

abstract: Given $0<q<1,$ every absolutely continuous distribution can be described in two different ways: in terms of a probability density function and also in terms of a $q$-density. Correspondingly, it has a sequence of moments and a sequence of $q$-moments if those exist. In this article, new conditions on the $q$-moment determinacy of probability distributions are derived. In addition, results related to the comparison of the properties of probability distributions with respect to the moment and $q$-moment determinacy are presented.


title: Generalized symmetry in noncommutative (complex) geometry

abstract: We introduce Hopf algebroid covariance on Woronowicz's differential calculus. Using it, we develop quite a general framework of noncommutative complex geometry that subsumes the one in [2]. We present transverse complex and K\"ahler structures as examples and discuss several other examples. Relation with past literature is described.


title: Pseudospin-Polarized Topological Line Defects in Dielectric Photonic Crystals

abstract: Electromagnetic topological insulators have been explored extensively due to the robust edge states they support. In this work, we propose a topological electromagnetic system based on a line defect in topologically nontrivial photonic crystals (PCs). With a finite-difference supercell approach, modal analysis of the PCs structure is investigated in detail. The topological line-defect states are pseudospin polarized and their energy flow directions are determined by the corresponding pseudospin helicities. These states can be excited by using two spatially-symmetric line-source arrays carrying orbital angular momenta. The feature of the unidirectional propagation is demonstrated and it is stable when disorders are introduced to the PCs structure.


title: A Projectional Ansatz to Reconstruction

abstract: Recently the field of inverse problems has seen a growing usage of mathematically only partially understood learned and non-learned priors. Based on first principles, we develop a projectional approach to inverse problems that addresses the incorporation of these priors, while still guaranteeing data consistency. We implement this projectional method (PM) on the one hand via very general Plug-and-Play priors and on the other hand, via an end-to-end training approach. To this end, we introduce a novel alternating neural architecture, allowing for the incorporation of highly customized priors from data in a principled manner. We also show how the recent success of Regularization by Denoising (RED) can, at least to some extent, be explained as an approximation of the PM. Furthermore, we demonstrate how the idea can be applied to stop the degradation of Deep Image Prior (DIP) reconstructions over time.


title: Quintessential inflation with a trap and axionic dark matter

abstract: We study a new model of quintessential inflation which is inspired by supergravity and string theory. The model features a kinetic pole, which gives rise to the inflationary plateau, and a runaway quintessential tail. We envisage a coupling between the inflaton and the Peccei-Quinn (PQ) field which terminates the roll of the runaway inflaton and traps the latter at an enhanced symmetry point (ESP), thereby breaking the PQ symmetry. The kinetic density of the inflaton is transferred to the newly created thermal bath of the hot big bang due to the decay of PQ particles. The model successfully accounts for the observations of inflation and dark energy without any fine-tuning, while also resolving the strong CP problem of QCD and generating axionic dark matter, without isocurvature perturbations. Trapping the inflaton at the ESP ensures that the model does not suffer from the infamous 5th force problem, which typically plagues quintessence.


title: About Fibonacci trees. II -- generalized Fibonacci trees

abstract: In this second paper, we look at the following question: are the properties of the trees associated to the tilings $\{p,4\}$ and $\{p$+$2,3\}$ of the hyperbolic plane still true if we consider a finitely generated tree by the same rules but rooted at a black node? The direct answer is no, but new properties arise, no more complex than in the case of a tree rooted at a white node, and worth of interest. The present paper is an extension of the previous paper: arXiv:1904.12135.


title: Individual ergodic theorems for infinite measure

abstract: Given a $\sigma$-finite infinite measure space $(\Omega,\mu)$, it is shown that any Dunford-Schwartz operator $T:\,\mathcal L^1(\Omega)\to\mathcal L^1(\Omega)$ can be uniquely extended to the space $\mathcal L^1(\Omega)+\mathcal L^\infty(\Omega)$. This allows to find the largest subspace $\mathcal R_\mu$ of $\mathcal L^1(\Omega)+\mathcal L^\infty(\Omega)$ such that the ergodic averages $\frac1n\sum\limits_{k=0}^{n-1}T^k(f)$ converge almost uniformly (in Egorov's sense) for every $f\in\mathcal R_\mu$ and every Dunford-Schwartz operator $T$. Utilizing this result, almost uniform convergence of the averages $\frac1n\sum\limits_{k=0}^{n-1}\beta_kT^k(f)$ for every $f\in\mathcal R_\mu$, any Dunford-Schwartz operator $T$ and any bounded Besicovitch sequence $\{\beta_k\}$ is established. Further, given a measure preserving transformation $\tau:\Omega\to\Omega$, Assani's extension of Bourgain's Return Times theorem to $\sigma$-finite measure is employed to show that for each $f\in\mathcal R_\mu$ there exists a set $\Omega_f\subset\Omega$ such that $\mu(\Omega\setminus\Omega_f)=0$ and the averages $\frac1n\sum\limits_{k=0}^{n-1}\beta_kf(\tau^k\omega)$ converge for all $\omega\in\Omega_f$ and any bounded Besicovitch sequence $\{\beta_k\}$. Applications to fully symmetric subspaces $E\subset\mathcal R_\mu$ are given.


title: Measuring Inter-group Agreement on zSlice Based General Type-2 Fuzzy Sets

abstract: Recently, there has been much research into modelling of uncertainty in human perception through Fuzzy Sets (FSs). Most of this research has focused on allowing respondents to express their (intra) uncertainty using intervals. Here, depending on the technique used and types of uncertainties being modelled different types of FSs can be obtained (e.g., Type-1, Interval Type-2, General Type-2). Arguably, one of the most flexible techniques is the Interval Agreement Approach (IAA) as it allows to model the perception of all respondents without making assumptions such as outlier removal or predefined membership function types (e.g. Gaussian). A key aspect in the analysis of interval-valued data and indeed, IAA based agreement models of said data, is to determine the position and strengths of agreement across all the sources/participants. While previously, the Agreement Ratio was proposed to measure the strength of agreement in fuzzy set based models of interval data, said measure has only been applicable to type-1 fuzzy sets. In this paper, we extend the Agreement Ratio to capture the degree of inter-group agreement modelled by a General Type-2 Fuzzy Set when using the IAA. This measure relies on using a similarity measure to quantitatively express the relation between the different levels of agreement in a given FS. Synthetic examples are provided in order to demonstrate both behaviour and calculation of the measure. Finally, an application to real-world data is provided in order to show the potential of this measure to assess the divergence of opinions for ambiguous concepts when heterogeneous groups of participants are involved.


title: Cavity QED Based on Thermal Atoms Interacting with a Photonic Crystal Cavity: A Feasibility Study

abstract: The paradigm of cavity QED is a two-level emitter interacting with a high quality factor single mode optical resonator. The hybridization of the emitter and photon wave functions mandates large vacuum Rabi frequencies and long coherence times; features that so far have been successfully realized with trapped cold atoms and ions and localized solid state quantum emitters such as superconducting circuits, quantum dots, and color centers. Thermal atoms on the other hand, provide us with a dense emitter ensemble and in comparison to the cold systems are more compatible with integration, hence enabling large-scale quantum systems. However, their thermal motion and large transit time broadening is a major challenge that has to be circumvented. A promising remedy could benefit from the highly controllable and tunable electromagnetic fields of a nano-photonic cavity with strong local electric-field enhancements. Utilizing this feature, here we calculate the interaction between fast moving, thermal atoms and a nano-beam photonic crystal cavity (PCC) with large quality factor and small mode volume. Through fully quantum mechanical calculations, including Casimir-Polder potential (i.e. the effect of the surface on radiation properties of an atom) we show, when designed properly, the achievable coupling between the flying atom and the cavity photon would be strong enough to lead to Rabi flopping in spite of short interaction times. In addition, the time-resolved detection of different trajectories can be used to identify single and multiple atom counts. This probabilistic approach will find applications in cavity QED studies in dense atomic media and paves the way towards realizing coherent quantum control schemes in large-scale macroscopic systems aimed at out of the lab quantum devices.


title: Domain Adaptation-based Augmentation for Weakly Supervised Nuclei Detection

abstract: The detection of nuclei is one of the most fundamental components of computational pathology. Current state-of-the-art methods are based on deep learning, with the prerequisite that extensive labeled datasets are available. The increasing number of patient cohorts to be analyzed, the diversity of tissue stains and indications, as well as the cost of dataset labeling motivates the development of novel methods to reduce labeling effort across domains. We introduce in this work a weakly supervised 'inter-domain' approach that (i) performs stain normalization and unpaired image-to-image translation to transform labeled images on a source domain to synthetic labeled images on an unlabeled target domain and (ii) uses the resulting synthetic labeled images to train a detection network on the target domain. Extensive experiments show the superiority of the proposed approach against the state-of-the-art 'intra-domain' detection based on fully-supervised learning.


title: Asymptotic profile for diffusion wave terms of the compressible Navier-Stokes-Korteweg system

abstract: Asymptotic profile for diffusion wave terms of solutions to the compressible Navier-Stokes-Korteweg system is studied on $R^2$. The diffusion wave with time decay estimate is studied by Hoff and Zumbrun (1995, 1997), Kobayashi and Shibata (2002) and Kobayashi and Tsuda (2018) for the compressible Navier-Stokes system and the compressible Navier-Stokes-Korteweg system. Our main assertion in this paper is that, for some initial conditions given by the Hardy space, asymptotic behaviors in space-time $L^2$ of the diffusion wave parts are essentially different between density and the potential flow part of the momentum. Even though measuring by $L^2$ on space, a decay of the potential flow part is slower than that of the Stokes flow part of the momentum. The proof is based on a modified version of Morawetz's energy estimate, and the Fefferman-Stein inequality on the duality between the Hardy space and functions of bounded mean oscillation.


title: Double obstacle problems and fully nonlinear PDE with non-strictly convex gradient constraints

abstract: We prove the optimal $W^{2, \infty }$ regularity for fully nonlinear elliptic equations with convex gradient constraints. We do not assume any regularity about the constraints; so the constraints need not be $C^1$ or strictly convex. We also show that the optimal regularity holds up to the boundary. Our approach is to show that these elliptic equations with gradient constraints are related to some fully nonlinear double obstacle problems. Then we prove the optimal $W^{2, \infty }$ regularity for the double obstacle problems. In this process, we also employ the monotonicity property for the second derivative of obstacles, which we have obtained in a previous work.


title: $P_c$ pentaquarks with chiral tensor and quark dynamics

abstract: We investigate the hidden-charm pentaquarks as superpositions of $\Lambda_c \bar{D}^{(*)}$ and $\Sigma_c^{(*)} \bar{D}^{(*)}$ (isospin $I = 1/2$) meson-baryon channels coupled to a $uudc\bar{c}$ compact core by employing an interaction satisfying the heavy quark and chiral symmetries. Our model can consistently explain the masses and decay widths of $P_c^+(4312)$, $P_c^+(4440)$ and $P_c^+(4457)$ with the dominant components of $\Sigma_c \bar D$ and $\Sigma_c \bar D^\ast$ with spin parity assignments $J^P = 1/2^{-}, 3/2^{-}$ and $1/2^{-}$, respectively. We analyze basic properties of the $P_c$'s such as masses and decay widths, and find that the mass ordering is dominantly determined by the quark dynamics while the decay widths by the tensor force of the one-pion exchange.


title: Assessing Transferability from Simulation to Reality for Reinforcement Learning

abstract: Learning robot control policies from physics simulations is of great interest to the robotics community as it may render the learning process faster, cheaper, and safer by alleviating the need for expensive real-world experiments. However, the direct transfer of learned behavior from simulation to reality is a major challenge. Optimizing a policy on a slightly faulty simulator can easily lead to the maximization of the `Simulation Optimization Bias` (SOB). In this case, the optimizer exploits modeling errors of the simulator such that the resulting behavior can potentially damage the robot. We tackle this challenge by applying domain randomization, i.e., randomizing the parameters of the physics simulations during learning. We propose an algorithm called Simulation-based Policy Optimization with Transferability Assessment (SPOTA) which uses an estimator of the SOB to formulate a stopping criterion for training. The introduced estimator quantifies the over-fitting to the set of domains experienced while training. Our experimental results on two different second order nonlinear systems show that the new simulation-based policy search algorithm is able to learn a control policy exclusively from a randomized simulator, which can be applied directly to real systems without any additional training.


title: Inseparable maps on $W_n$-valued local cohomology groups of non-taut rational double point singularities and the height of K3 surfaces

abstract: We consider rational double point singularities (RDPs) that are non-taut, which means that the isomorphism class is not uniquely determined from the dual graph of the minimal resolution. Such RDPs exist in characteristic $2,3,5$. We compute the actions of Frobenius, and other inseparable morphisms, on $W_n$-valued local cohomology groups of RDPs. Then we consider RDP K3 surfaces admitting non-taut RDPs. We show that the height of the K3 surface, which is also defined in terms of the Frobenius action on $W_n$-valued cohomology groups, is related to the isomorphism class of the RDP.


title: Matrix model generating function for quantum weighted Hurwitz numbers

abstract: The KP $\tau$-function of hypergeometric type serving as generating function for quantum weighted Hurwitz numbers is used to compute the Baker function and the corresponding adapted basis elements, expressed as absolutely convergent Laurent seriesin the spectral parameter. These are equivalently expressed as Mellin-Barnes integrals, analogously to Meijer $G$-functions, but with an infinite product of $\Gamma$-functions as integral kernel. A matrix model representation is derived for the $\tau$-function evaluated at trace invariants of an externally coupled matrix.


title: Quantum torus symmetries of multicomponent modified KP hierarchy and reductions

abstract: In this paper, we construct the multicomponent modified KP hierarchy and its additional symmetries. The additional symmetries constitute an interesting multi-folds quantum torus type Lie algebra. By a reduction, we also construct the constrained multicomponent modified KP hierarchy and its Virasoro type additional symmetries.


title: A strongly coupled extended Toda hierarchy and its Virasoro symmetry

abstract: As a generalization of the integrable extended Toda hierarchy and a reduction of the extended multicomponent Toda hierarchy, from the point of a commutative subalgebra of $gl(2,\mathbb{C})$, we construct a strongly coupled extended Toda hierarchy(SCETH) which will be proved to possess a Virasoro type additional symmetry by acting on its tau-function. Further we give the multi-fold Darboux transformations of the strongly coupled extended Toda hierarchy.


title: Avocado: Photometric Classification of Astronomical Transients with Gaussian Process Augmentation

abstract: Upcoming astronomical surveys such as the Large Synoptic Survey Telescope (LSST) will rely on photometric classification to identify the majority of the transients and variables that they discover. We present a set of techniques for photometric classification that can be applied even when the training set of spectroscopically-confirmed objects is heavily biased towards bright, low-redshift objects. Using Gaussian process regression to model arbitrary light curves in all bands simultaneously, we "augment" the training set by generating new versions of the original light curves covering a range of redshifts and observing conditions. We train a boosted decision tree classifier on features extracted from the augmented light curves, and we show how such a classifier can be designed to produce classifications that are independent of the redshift distributions of objects in the training sample. Our classification algorithm was the best-performing among the 1,094 models considered in the blinded phase of the Photometric LSST Astronomical Time-Series Classification Challenge (PLAsTiCC), scoring 0.468 on the organizers' logarithmic-loss metric with flat weights for all object classes in the training set, and achieving an AUC of 0.957 for classification of Type Ia supernovae. Our results suggest that spectroscopic campaigns used for training photometric classifiers should focus on typing large numbers of well-observed, intermediate redshift transients instead of attempting to type a sample of transients that is directly representative of the full dataset being classified. All of the algorithms described in this paper are implemented in the avocado software package.


title: Randomized Constraints Consensus for Distributed Robust Mixed-Integer Programming

abstract: In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a randomized, distributed algorithm working under asynchronous, unreliable and directed communication. The algorithm is based on a local computation and communication paradigm. At each communication round, nodes perform two updates: (i) a verification in which they check---in a randomized fashion---the robust feasibility of a candidate optimal point, and (ii) an optimization step in which they exchange their candidate basis (the minimal set of constraints defining a solution) with neighbors and locally solve an optimization problem. As main result, we show that processors can stop the algorithm after a finite number of communication rounds (either because verification has been successful for a sufficient number of rounds or because a given threshold has been reached), so that candidate optimal solutions are consensual. The common solution is proven to be---with high confidence---feasible and hence optimal for the entire set of uncertainty except a subset having an arbitrary small probability measure. We show the effectiveness of the proposed distributed algorithm using two examples: a random, uncertain mixed-integer linear program and a distributed localization in wireless sensor networks. The distributed algorithm is implemented on a multi-core platform in which the nodes communicate asynchronously.


title: Multiphoton cross sections of conductive electrons stimulated bremsstrahlung in doped bilayer graphene

abstract: The quantum theory of multiphoton stimulated bremsstrahlung of charged carriers on an arbitrary electrostatic potential of impurity ion in doped bilayer graphene at the presence of coherent electromagnetic radiation is developed. A terahertz wave field is considered exactly, while the electrostatic potential of doped ions as a perturbation. The essentially nonlinear response of bilayer graphene to a pump wave and significant differences from the case of a single layer graphene are shown, which can be associated to nonlinear parabolic dispersion. The latter opens new way to manipulate with the electronic transport properties of conductive electrons of bilayer graphene by coherent radiation field of terahertz or near-infrared frequencies.


title: Methodologies of Link-Level Simulator and System-Level Simulator for C-V2X Communication

abstract: At the time of the development, standardization, and further improvement are vital to the modern cellular systems such as the next generation wireless communication (5G). Simulations are essential to test and optimize algorithms and procedures prior to their implementation process of the equipment manufactures. In order to evaluate system performance at different levels, accurate simulations of simple setups, as well as simulations of more complex systems via abstracted models are necessary. In this work, two new simulators for the sidelink Cooperative-Vehicle-to-Everything (C-V2X) communication have been implemented and carried out on both the physical layer (Link-Level (LL)) and network layer (System-Level (SL)). Detailed methodologies of the LL and SL simulators for C-V2X communication have been illustrated. In the LL simulator, we get the mapping curves of BLER and Signal-to-Noise-Ratio (SNR), which are used as a baseline for measuring the performance of the LL simulation. In addition, these mapping curves are used as the important Link-to-System (L2S) interfaces. The SL simulator is utilized for measuring the performance of cell networking and simulating large networks comprising of multiple eNBs and UEs. Finally, the simulation results of both simulators for CV2X communication are presented, which shows that different objectives can be met by using LL or SL simulations types.


title: Data-Driven Screening of Network Constraints for Unit Commitment

abstract: The transmission-constrained unit commitment (TC-UC) problem is one of the most relevant problems solved by independent system operators for the daily operation of power systems. Given its computational complexity, this problem is usually not solved to global optimality for real-size power systems. In this paper, we propose a data-driven method that leverages historical information to screen out network constraints in the TC-UC problem. First, past data on demand and renewable generation throughout the network are used to learn the congestion status of transmission lines. Then, we infer the lines that will not become congested for upcoming operating conditions based on such learning and disregard their capacity constraints. This way, we formulate a reduced TC-UC problem that is easier to solve. Numerical results on a medium- and a large-size power system show that the proposed approach outperforms existing ones by significantly reducing the computational time while obtaining solutions that are equal or close to the one obtained with the original TC-UC problem. Furthermore, the purely data-driven method we propose can be seamlessly complemented with a constraint generation procedure to guarantee that the optimal solution to the original TC-UC problem is eventually recovered.


title: Single origin of the nodal and antinodal gaps in cuprates

abstract: Recent angle-resolved photoemission electron spectroscopy (ARPES) experiments demonstrate that the momentum dependence of the spectral gap in underdoped cuprates does not follow a pure $d$-wave form [H. Anzai et a., Nat. Comm. {\bf 4}, 1815 (2013)]. This deviation is highly controversial. It has often been interpretated as a proof of the non-superconducting origin of the antinodal gap in the underdoped regime. In this article, we show that the measured angular dependence of the spectral gap can be explained by the basic nature of pairs in high-T$_c$ cuprates. Hole pairs, or {\it pairons}, form as a result of the local antiferromagnetic environment on the scale $\xi_{AF}$, the magnetic coherence length. The spatial extension of the pairon wavefunction beyond first nearest neighbours gives rise to the anomalous angular dependence of the gap, in quantitative agreement with experiments. This simple interpretation strongly indicates a common origin of the nodal and antinodal gaps.


title: Quotients of groups of birational transformations of cubic Del Pezzo fibrations

abstract: We prove that the group of birational transformations of a Del Pezzo fibration of degree 3 over a curve is not simple, by giving a surjective group homomorphism to a free product of infinitely many groups of order 2. As a consequence we also obtain that the Cremona group of rank 3 is not generated by birational maps preserving a rational fibration. Besides, its subgroup generated by all connected algebraic subgroups is a proper normal subgroup.


title: Gapless regime in the charge density wave phase of the finite dimensional Falicov-Kimball model

abstract: The ground-state density of states of the half-filled Falicov-Kimball model contains a charge-density-wave gap. At finite temperature, this gap is not immediately closed, but is rather filled in by subgap states. For a specific combination of parameters, this leads to a stable phase where the system is in an ordered charge-density-wave phase, but there is high density of states at the Fermi level. We show that this property can be, in finite dimensions, traced to a crossing of sharp states resulting from the single particle excitations of the localized subsystem. The analysis of the inverse participation ratio points to a strong localization in the discussed regime. However, the pronounced subgap density of states can still lead to a notable increase of charge transport through a finite size system. We show this by focusing on the transmission in heterostructures where a Falicov-Kimball system is sandwiched between two metallic leads.


title: A Theoretical Model For Artificial Learning, Memory Management And Decision Making System

abstract: Human beings are considered as the most intelligent species on Earth. The ability to think, to create, to innovate, are the key elements which make humans superior over other existing species on Earth. Machines lack all those elements, although machines are faster than human in aspects like computing, equating etc. But humans are still more valuable than machines, due to all those previously discussed elements. Various models have been developed in last few years to create models that can think like human beings, but are not completely successful. This paper presents a new theoretical system for learning, memory management and decision making that can be used to develop highly complex systems, and shows the potential to be used for development of systems that can be used to provide the essential features to the machines to act like human beings.


title: From Group Sparse Coding to Rank Minimization: A Novel Denoising Model for Low-level Image Restoration

abstract: Recently, low-rank matrix recovery theory has been emerging as a significant progress for various image processing problems. Meanwhile, the group sparse coding (GSC) theory has led to great successes in image restoration (IR) problem with each group contains low-rank property. In this paper, we propose a novel low-rank minimization based denoising model for IR tasks under the perspective of GSC, an important connection between our denoising model and rank minimization problem has been put forward. To overcome the bias problem caused by convex nuclear norm minimization (NNM) for rank approximation, a more generalized and flexible rank relaxation function is employed, namely weighted nonconvex relaxation. Accordingly, an efficient iteratively-reweighted algorithm is proposed to handle the resulting minimization problem combing with the popular L_(1/2) and L_(2/3) thresholding operators. Finally, our proposed denoising model is applied to IR problems via an alternating direction method of multipliers (ADMM) strategy. Typical IR experiments on image compressive sensing (CS), inpainting, deblurring and impulsive noise removal demonstrate that our proposed method can achieve significantly higher PSNR/FSIM values than many relevant state-of-the-art methods.


title: Cooperative Localization with Angular Measurements and Posterior Linearization

abstract: The application of cooperative localization in vehicular networks is attractive to improve accuracy and coverage. Conventional distance measurements between vehicles are limited by the need for synchronization and provide no heading information of the vehicle. To address this, we present a cooperative localization algorithm using posterior linearization belief propagation (PLBP) utilizing angle-of-arrival (AoA)-only measurements. Simulation results show that both directional and positional root mean squared error (RMSE) of vehicles can be decreased significantly and converge to a low value in a few iterations. Furthermore, the influence of parameters for the vehicular network, such as vehicle density, communication radius, prior uncertainty and AoA measurements noise, is analyzed.


title: Invariants of winding-numbers and steric obstruction in dynamics of flux lines

abstract: We classify the sectors of configurations that result from the dynamics of 2d crossing flux lines, which are the simplest degrees of freedom of the 3-coloring lattice model. We show that the dynamical obstruction is the consequence of two effects: (i) conservation laws described by a set of invariants that are polynomials of the winding numbers of the loop configuration, (ii) steric obstruction that prevents paths between configurations, for lack of free space. We argue that the invariants fully classify the configurations in five, chiral and achiral, sectors and no further obstruction in the limit of low-winding numbers.


title: Deadeye Visualization Revisited: Investigation of Preattentiveness and Applicability in Virtual Environments

abstract: Visualizations rely on highlighting to attract and guide our attention. To make an object of interest stand out independently from a number of distractors, the underlying visual cue, e.g., color, has to be preattentive. In our prior work, we introduced Deadeye as an instantly recognizable highlighting technique that works by rendering the target object for one eye only. In contrast to prior approaches, Deadeye excels by not modifying any visual properties of the target. However, in the case of 2D visualizations, the method requires an additional setup to allow dichoptic presentation, which is a considerable drawback. As a follow-up to requests from the community, this paper explores Deadeye as a highlighting technique for 3D visualizations, because such stereoscopic scenarios support dichoptic presentation out of the box. Deadeye suppresses binocular disparities for the target object, so we cannot assume the applicability of our technique as a given fact. With this motivation, the paper presents quantitative evaluations of Deadeye in VR, including configurations with multiple heterogeneous distractors as an important robustness challenge. After confirming the preserved preattentiveness (all average accuracies above 90 %) under such real-world conditions, we explore VR volume rendering as an example application scenario for Deadeye. We depict a possible workflow for integrating our technique, conduct an exploratory survey to demonstrate benefits and limitations, and finally provide related design implications.


title: Period-$n$ discrete time crystals and quasicrystals with ultracold bosons

abstract: We investigate the out-of-equilibrium properties of a system of interacting bosons in a ring lattice. We present a Floquet driving that induces clockwise (counterclockwise) circulation of the particles among the odd (even) sites of the ring which can be mapped to a fully connected model of clocks of two counter-rotating species. The clock-like motion of the particles is at the core of a period-$n$ discrete time crystal where $L=2n$ is the number of lattice sites. In presence of a "staircase-like" on-site potential, we report the emergence of a second characteristic timescale in addition to the period $n$-tupling. This new timescale depends on the microscopic parameters of the Hamiltonian and is incommensurate with the Floquet period, underpinning a dynamical phase we call 'time quasicrystal'. The rich dynamical phase diagram also features a thermal phase and an oscillatory phase, all of which we investigate and characterize. Our simple, yet rich model can be realized with state-of-the-art ultracold atoms experiments.


title: Quantum bath statistics tagging

abstract: The possibility of discriminating the statistics of a thermal bath using indirect measurements performed on quantum probes is presented. The scheme relies on the fact that, when weakly coupled with the environment of interest, the transient evolution of the probe toward its final thermal configuration, is strongly affected by the fermionic or bosonic nature of the bath excitations. Using figures of merit taken from quantum metrology such as the Holevo-Helstrom probability of error and the Quantum Chernoff bound, we discuss how to achieve the greatest precision in this statistics tagging procedure, analyzing different models of probes and different initial preparations and by optimizing over the time of exposure of the probe.


title: On Structural Invariants in the Energy-Based Control of Infinite-Dimensional Port-Hamiltonian Systems with In-Domain Actuation

abstract: This contribution deals with energy-based in-domain control of systems governed by partial differential equations with spatial domain up to dimension two. We exploit a port-Hamiltonian system description based on an underlying jet-bundle formalism, where we restrict ourselves to systems with 2nd-order Hamiltonian. A certain power-conserving interconnection enables the application of a dynamic control law based on structural invariants. Furthermore, we use various examples such as beams and plates with in-domain actuation to demonstrate the capability of our approach.


title: Necessary conditions for local controllability of a particular class of systems with two scalar controls

abstract: We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie brackets of the system vector fields, with controls that are either bounded, small in L $\infty$ or small in W 1,$\infty$. These results are illustrated with several examples.


title: Label-Aware Graph Convolutional Networks

abstract: Recent advances in Graph Convolutional Networks (GCNs) have led to state-of-the-art performance on various graph-related tasks. However, most existing GCN models do not explicitly identify whether all the aggregated neighbors are valuable to the learning tasks, which may harm the learning performance. In this paper, we consider the problem of node classification and propose the Label-Aware Graph Convolutional Network (LAGCN) framework which can directly identify valuable neighbors to enhance the performance of existing GCN models. Our contribution is three-fold. First, we propose a label-aware edge classifier that can filter distracting neighbors and add valuable neighbors for each node to refine the original graph into a label-aware~(LA) graph. Existing GCN models can directly learn from the LA graph to improve the performance without changing their model architectures. Second, we introduce the concept of positive ratio to evaluate the density of valuable neighbors in the LA graph. Theoretical analysis reveals that using the edge classifier to increase the positive ratio can improve the learning performance of existing GCN models. Third, we conduct extensive node classification experiments on benchmark datasets. The results verify that LAGCN can improve the performance of existing GCN models considerably, in terms of node classification.


title: Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)

abstract: Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as possible. However, the construction of models that comprise physical and digital behavior is challenging. Therefore, there is considerable interest in learning such hybrid behavior by means of machine learning which requires sufficient and representative training data covering the behavior of the physical system adequately. In this work, we exploit a combination of automata learning and model-based testing to generate sufficient training data fully automatically. Experimental results on a platooning scenario show that recurrent neural networks learned with this data achieved significantly better results compared to models learned from randomly generated data. In particular, the classification error for crash detection is reduced by a factor of five and a similar F1-score is obtained with up to three orders of magnitude fewer training samples.


title: Quantum phase diagram of a frustrated spin-1/2 system on a Trellis Ladder

abstract: We study an isotropic Heisenberg spin-1/2 model on a trellis ladder which is composed of two $J_1-J_2$ zigzag ladders interacting through anti-ferromagnetic rung couplings $J_3$. The $J_1$ and $J_2$ are ferromagnetic zigzag spin interaction between two legs and anti-ferromagnetic interaction along each leg of a zigzag ladder. A quantum phase diagram of this model is constructed using the density matrix renormalization group (DMRG) method and linearized spin wave analysis. In small $J_2$ limit a short range stripe collinear phase is found in the presence of $J_3$, whereas, in the large $J_2/J_3$ limit non-collinear quasi-long range phase is found. The system shows a short range non-collinear state in large $J_3$ limit. The short range order phase is the dominant feature of this phase diagram. We also show that the results obtained by DMRG and linearized spin wave analysis show similar phase boundary between stripe collinear and non-collinear short range phases, and the collinear phase region shrinks with increasing $J_3$. We apply this model to understand the magnetic properties of CaV$_2$O$_5$ and also fit the experimental data of susceptibility and magnetization. The variation of magnetic specific heat capacity as function of external magnetic field is also predicted. We note that $J_3$ is a dominant interaction in this system, whereas $J_1$ and $J_2$ are approximately half of $J_3$.


title: Trust-Region Variational Inference with Gaussian Mixture Models

abstract: Many methods for machine learning rely on approximate inference from intractable probability distributions. Variational inference approximates such distributions by tractable models that can be subsequently used for approximate inference. Learning sufficiently accurate approximations requires a rich model family and careful exploration of the relevant modes of the target distribution. We propose a method for learning accurate GMM approximations of intractable probability distributions based on insights from policy search by using information-geometric trust regions for principled exploration. For efficient improvement of the GMM approximation, we derive a lower bound on the corresponding optimization objective enabling us to update the components independently. Our use of the lower bound ensures convergence to a stationary point of the original objective. The number of components is adapted online by adding new components in promising regions and by deleting components with negligible weight. We demonstrate on several domains that we can learn approximations of complex, multimodal distributions with a quality that is unmet by previous variational inference methods, and that the GMM approximation can be used for drawing samples that are on par with samples created by state-of-the-art MCMC samplers while requiring up to three orders of magnitude less computational resources.


title: Data-driven Policy on Feasibility Determination for the Train Shunting Problem

abstract: Parking, matching, scheduling, and routing are common problems in train maintenance. In particular, train units are commonly maintained and cleaned at dedicated shunting yards. The planning problem that results from such situations is referred to as the Train Unit Shunting Problem (TUSP). This problem involves matching arriving train units to service tasks and determining the schedule for departing trains. The TUSP is an important problem as it is used to determine the capacity of shunting yards and arises as a sub-problem of more general scheduling and planning problems. In this paper, we consider the case of the Dutch Railways (NS) TUSP. As the TUSP is complex, NS currently uses a local search (LS) heuristic to determine if an instance of the TUSP has a feasible solution. Given the number of shunting yards and the size of the planning problems, improving the evaluation speed of the LS brings significant computational gain. In this work, we use a machine learning approach that complements the LS and accelerates the search process. We use a Deep Graph Convolutional Neural Network (DGCNN) model to predict the feasibility of solutions obtained during the run of the LS heuristic. We use this model to decide whether to continue or abort the search process. In this way, the computation time is used more efficiently as it is spent on instances that are more likely to be feasible. Using simulations based on real-life instances of the TUSP, we show how our approach improves upon the previous method on prediction accuracy and leads to computational gains for the decision-making process.


title: Fragmentations with self-similar branching speeds

abstract: We consider fragmentation processes with values in the space of marked partitions of $\mathbb{N}$, i.e. partitions where each block is decorated with a nonnegative real number. Assuming that the marks on distinct blocks evolve as independent positive self-similar Markov processes and determine the speed at which their blocks fragment, we get a natural generalization of the self-similar fragmentations of Bertoin (2002). Our main result is the characterization of these generalized fragmentation processes: a L\'evy-Khinchin representation is obtained, using techniques from positive self-similar Markov processes and from classical fragmentation processes. We then give sufficient conditions for their absorption in finite time to a frozen state, and for the genealogical tree of the process to have finite total length.


title: Entropy and Compression: A simple proof of an inequality of Khinchin-Ornstein-Shields

abstract: This paper concerns the folklore statement that ``entropy is a lower bound for compression''. More precisely we derive from the entropy theorem a simple proof of a pointwise inequality firstly stated by Ornstein and Shields and which is the almost-sure version of an average inequality firstly stated by Khinchin in 1953. We further give an elementary proof of original Khinchin inequality that can be used as an exercise for Information Theory students and we conclude by giving historical and technical notes of such inequality.


title: The universal property of infinite direct sums in C$^*$-categories and W$^*$-categories

abstract: When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphism. We observe that this is automatically the case in the important special case of C$^*$-categories, provided that one uses enrichment in Banach spaces. We then formulate such a universal property for infinite direct sums in C$^*$-categories, and prove the equivalence with the existing definition due to Ghez, Lima and Roberts in the case of W$^*$-categories. These infinite direct sums specialize to the usual ones in the category of Hilbert spaces, and more generally in any W$^*$-category of normal representations of a W$^*$-algebra. Finding a universal property for the more general case of direct integrals remains an open problem.


title: Core-compactness of Smyth powerspaces

abstract: We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness generally.


title: Modular $S_3$ symmetric radiative seesaw model

abstract: We propose a one-loop induced radiative seesaw model applying a modular $S_3$ flavor symmetry, which is known as the minimal non-Abelian discrete group. In this scenario, dark matter (DM) candidate is correlated with neutrinos and lepton flavor violations (LFVs). We show several predictions of mixings and phases satisfying LFVs, observed relic density, and neutrino oscillation data.


title: First search for long-duration transient gravitational waves after glitches in the Vela and Crab pulsars

abstract: Gravitational waves (GWs) can offer a novel window into the structure and dynamics of neutron stars. Here we present the first search for long-duration quasi-monochromatic GW transients triggered by pulsar glitches. We focus on two glitches observed in radio timing of the Vela pulsar (PSR J0835-4510) on 12 December 2016 and the Crab pulsar (PSR J0534+2200) on 27 March 2017, during the Advanced LIGO second observing run (O2). We assume the GW frequency lies within a narrow band around twice the spin frequency as known from radio observatons. Using the fully-coherent transient-enabled F-statistic method to search for transients of up to four months in length. We find no credible GW candidates for either target, and through simulated signal injections we set 90% upper limits on (constant) GW strain as a function of transient duration. For the larger Vela glitch, we come close to beating an indirect upper limit for when the total energy liberated in the glitch would be emitted as GWs, thus demonstrating that similar post-glitch searches at improved detector sensitivity can soon yield physical constraints on glitch models.


title: Unique defect structure and advantageous vortex pinning properties in superconducting CaKFe4As4

abstract: The lossless current-carrying capacity of a superconductor is limited by its critical current density (Jc). A key to enhance Jc towards real-life applications is engineering defect structures to optimize the pinning landscape. For iron-based superconductors (IBSs) considered as candidate materials for high-field applications, high Jc values have been achieved by various techniques to introduce artificial pinning centres. Here we report extraordinary vortex pinning properties in CaKFe4As4 (CaK1144) arising from the inherent defect structure. Scanning transmission electron microscopy revealed the existence of nanoscale intergrowths of the CaFe2As2 phase, which is unique to CaK1144 formed as a line compound. The Jc properties in CaK1144 are found to be distinct from other IBSs characterized by a significant anisotropy with respect to the magnetic field orientation as well as a remarkable pinning mechanism significantly enhanced with increasing temperature. We propose a comprehensive explanation of the Jc properties based on the unique intergrowths acting as pinning centres.


title: Generalized Belief Function: A new concept for uncertainty modelling and processing

abstract: In this paper, we generalize the belief function on complex plane from another point of view. We first propose a new concept of complex mass function based on the complex number, called complex basic belief assignment, which is a generalization of the traditional mass function in Dempster-Shafer evidence theory. On the basis of the de nition of complex mass function, the belief function and plausibility function are generalized. In particular, when the complex mass function is degenerated from complex numbers to real numbers, the generalized belief and plausibility functions degenerate into the traditional belief and plausibility functions in DSE theory, respectively.


title: Constructing a quasiregular analogue of $z \exp(z)$ in dimension 3

abstract: We construct a quasiregular analogue of the function $z\exp(z)$ in dimension 3, which gives the first explicit example of a quasiregular mapping of transcendental type that has exactly one zero. We then modify the construction to create a family of such quasiregular mappings and study their dynamics. From this, we also construct the first quasimeromorphic mappings with an essential singularity at infinity where the backward orbit of infinity is non-empty and finite.


title: Scaling in simple continued fraction

abstract: We consider a class of real numbers, a subset of irrational numbers and certain mathematical constants, for which the elements in the simple continued fraction appears to be random. As an illustrative example, one can consider $\pi = \{x_0, x_1, x_2, \dots x_n\}$, where $x$'s are the continued fraction elements computed with an exact value of $\pi$ up to $N$ precision. We numerically compute probability distribution for the elements and observe a striking power-law behavior $P(x)\sim x^{-2}$. The statistical analysis indicates that the elements are uncorrelated and the scaling is robust with respect to the precision. Our arguments reveal that the underlying mechanism generating such a scaling may be sample space reducing process.


title: Polarized vector boson scattering in the fully leptonic WZ and ZZ channels at the LHC

abstract: Isolating the scattering of longitudinal weak bosons at the LHC is an important tool to probe the ElectroWeak Symmetry Breaking mechanism. Separating polarizations of $W$ and $Z$ bosons is complicated, because of non resonant contributions and interference effects. Additional care is necessary when considering $Z$ bosons, due to the $\gamma/Z$ mixing in the coupling to charged leptons. We propose a method to define polarized signals in $Z\!Z$ and $W^+\!Z$ scattering at the LHC, which relies on the separation of weak boson polarizations at the amplitude level in Monte Carlo simulations. After validation in the absence of lepton cuts, we investigate how polarized distributions are affected by a realistic set of kinematic cuts (and neutrino reconstruction, when needed). The total and differential polarized cross sections computed at the amplitude level are well defined, and their sum reproduces the full results, up to non negligible but computable interference effects which should be included in experimental analyses. We show that polarized cross sections computed using the reweighting method are inaccurate, particularly at large energies. We also present two procedures which address the model independent extraction of polarized components from LHC data, using Standard Model angular distribution templates.


title: Markov Decision Process for MOOC users behavioral inference

abstract: Studies on massive open online courses (MOOCs) users discuss the existence of typical profiles and their impact on the learning process of the students. However defining the typical behaviors as well as classifying the users accordingly is a difficult task. In this paper we suggest two methods to model MOOC users behaviour given their log data. We mold their behavior into a Markov Decision Process framework. We associate the user's intentions with the MDP reward and argue that this allows us to classify them.


title: Recurrent low-level luminosity behaviour after a giant outburst in the Be/X-ray transient 4U 0115+63

abstract: In 2017, the Be/X-ray transient 4U 0115+63 exhibited a new type-II outburst that was two times fainter than its 2015 giant outburst (in the Swift/BAT count rates). Despite this difference between the two bright events, the source displayed similar X-ray behaviour after these periods. Once the outbursts ceased, the source did not transit towards quiescence directly, but was detected about a factor of 10 above its known quiescent level. It eventually decayed back to quiescence over time scales of months. In this paper we present the results of our Swift monitoring campaign, and an XMM-Newton observation of 4U 0115+63 during the decay of the 2017 type-II outburst, and its subsequent low-luminosity behaviour. We discuss the possible origin of the decaying source emission at this low-level luminosity, which has now been shown as a recurrent phenomenon, in the framework of the two proposed scenarios to explain this faint state: cooling from an accretion-heated neutron-star crust or continuous low-level accretion. In addition, we compare the outcome of our study with the results we obtained from the 2015/2016 monitoring campaign on this source.


title: Tuning the superconducting transition of SrTiO$_3$-based 2DEGs with light

abstract: The resistivity of the two dimensional electron gas that forms at the interface of strontium titanate with various oxides is sensitive to irradiation with visible light. In this letter we present data on the interface between the band gap insulators LaAlO$_3$ (LAO) and SrTiO$_3$ (STO). We operate a light emitting diode at temperatures below 1 K and utilize it to irradiate the LAO/STO interface at ultra low temperatures. On irradiation the resistance of this system is lowered continuously by a factor of five and the resistance change is persistent at low temperatures as long as the sample is kept in the dark. This makes a characterization of transport properties in different resistive states over extended time periods possible. Our pristine sample gets superconducting below 265 mK. The transition temperature $T_c$ shifts downwards on the persistent photo-induced lowering of the resistance. The persistent photoconductance can be completely reverted by heating the structure above 10 K in which case $T_c$ as well takes on its original value. Thus very similar to field effect control of electron densities irradiation at low temperatures offers a versatile tuning knob for the superconducting state of STO-based interfaces which in addition has the advantage to be nonvolatile.


title: Characterization of the critical points for the free energy of a Cosserat problem

abstract: Using the embedded gradient vector field method we explicitly compute the list of critical points of the free energy for a Cosserat body model. We also formulate necessary and sufficient conditions for critical points in the abstract case of the special orthogonal group SO(n). Each critical point is then characterized using an explicit formula for the Hessian operator of a cost function defined on the orthogonal group. We also give a positive answer to an open question posed in L. Borisov, A. Fischle, P. Neff, "Optimality of the relaxed polar factors by a characterization of the set of real square roots of real symmetric matrices", ZAMM (2019), namely if all local minima of the optimization problem are global minima. We point out a few examples with physical relevance, in contrast to some theoretical (mathematical) situations that do not hold such a relevance.


title: Ollivier Ricci Curvature of Directed Hypergraphs

abstract: We develop a definition of Ricci curvature on directed hypergraphs and explore the consequences of that definition. The definition generalizes Ollivier's definition for graphs. It involves a carefully designed optimal transport problem between sets of vertices.


title: Utilizing Eye Gaze to Enhance the Generalization of Imitation Networks to Unseen Environments

abstract: Vision-based autonomous driving through imitation learning mimics the behaviors of human drivers by training on pairs of data of raw driver-view images and actions. However, there are other cues, e.g. gaze behavior, available from human drivers that have yet to be exploited. Previous research has shown that novice human learners can benefit from observing experts' gaze patterns. We show here that deep neural networks can also benefit from this. We demonstrate different approaches to integrating gaze information into imitation networks. Our results show that the integration of gaze information improves the generalization performance of networks to unseen environments.


title: Fractional Revival and Association Schemes

abstract: Fractional revival occurs between two vertices in a graph if a continuous-time quantum walk unitarily maps the characteristic vector of one vertex to a superposition of the characteristic vectors of the two vertices. This phenomenon is relevant in quantum information in particular for entanglement generation in spin networks. We study fractional revival in graphs whose adjacency matrices belong to the Bose-Mesner algebra of association schemes. A specific focus is a characterization of balanced fractional revival (which corresponds to maximal entanglement) in graphs that belong to the Hamming scheme. Our proofs exploit the intimate connections between algebraic combinatorics and orthogonal polynomials.


title: Integrating Visualization Literacy into Computer Graphics Education Using the Example of Dear Data

abstract: The amount of visual communication we are facing is rapidly increasing, and skills to process, understand, and generate visual representations are in high demand. Especially students focusing on computer graphics and visualization can benefit from a more diverse education on visual literacy, as they often have to work on graphical representations for broad masses after their graduation. Our proposed teaching approach incorporates basic design thinking principles into traditional visualization and graphics education. Our course was inspired by the book Dear Data that was the subject of a lively discussion at the closing capstone of IEEE VIS 2017. The paper outlines our 12-week teaching experiment and summarizes the results extracted from accompanying questionnaires and interviews. In particular, we provide insights into the creation process and pain points of visualization novices, discuss the observed interplay between visualization tasks and design thinking, and finally draw design implications for visual literacy education in general.


title: Superconducting phase diagrams of LuB$_{12}$ and Lu$_{1-x}$Zr$_x$B$_{12}$ ($x \le 0.45$) down to 50 mK

abstract: Lutetium dodecaboride LuB12 is a simple weak-coupling BCS superconductor with critical temperature Tc = 0.42 K, whilst ZrB12 is a strong-coupling BCS superconductor with the highest critical temperature Tc = 6.0 K among this group of materials. In case of lutetium substitution by zirconium ions in LuB12 the crossover from weak- to strong-coupling superconductor can be studied. We have investigated the evolution of critical temperature Tc and critical field Hc in high-quality single crystalline superconducting samples of Lu(1-x)Zr(x)B12 (0 =< x =< 0.45) by measuring magnetic ac susceptibility between 1 K and 50 mK. To obtain this kind of experimental data, a new susceptometer was designed, constructed and tested, which can work in a wide temperature range of 0.05 K - 3 K in 3He-4He dilution refrigerator. The measurements with this new susceptometer revealed how Tc(x) and Hc(x) increases with increasing concentration of zirconium in Lu(1-x)Zr(x)B12 solid solutions as well as how their superconducting phase diagram develops.


title: Lattice Boltzmann Electrokinetics simulation of nanocapacitors

abstract: We propose a method to model metallic surfaces in Lattice Boltzmann Electrokinetics simulations (LBE), a lattice-based algorithm rooted in kinetic theory which captures the coupled solvent and ion dynamics in electrolyte solutions. This is achieved by a simple rule to impose electrostatic boundary conditions, in a consistent way with the location of the hydrodynamic interface for stick boundary conditions. The proposed method also provides the local charge induced on the electrode by the instantaneous distribution of ions under voltage. We validate it in the low voltage regime by comparison with analytical results in two model nanocapacitors: parallel plate and coaxial electrodes. We examine the steady-state ionic concentrations and electric potential profiles (and corresponding capacitance), the time-dependent response of the charge on the electrodes, as well as the steady-state electro-osmotic profiles in the presence of an additional, tangential electric field. The LBE method further provides the time-dependence of these quantities, as illustrated on the electro-osmotic response. While we do not consider this case in the present work, which focuses on the validation of the method, the latter readily applies to large voltages between the electrodes, as well as to time-dependent voltages. This work opens the way to the LBE simulation of more complex systems involving electrodes and metallic surfaces, such as sensing devices based on nanofluidic channels and nanotubes, or porous electrodes.


title: Coresets for Clustering in Graphs of Bounded Treewidth

abstract: We initiate the study of coresets for clustering in graph metrics, i.e., the shortest-path metric of edge-weighted graphs. Such clustering problems are essential to data analysis and used for example in road networks and data visualization. A coreset is a compact summary of the data that approximately preserves the clustering objective for every possible center set, and it offers significant efficiency improvements in terms of running time, storage, and communication, including in streaming and distributed settings. Our main result is a near-linear time construction of a coreset for k-Median in a general graph $G$, with size $O_{\epsilon, k}(\mathrm{tw}(G))$ where $\mathrm{tw}(G)$ is the treewidth of $G$, and we complement the construction with a nearly-tight size lower bound. The construction is based on the framework of Feldman and Langberg [STOC 2011], and our main technical contribution, as required by this framework, is a uniform bound of $O(\mathrm{tw}(G))$ on the shattering dimension under any point weights. We validate our coreset on real-world road networks, and our scalable algorithm constructs tiny coresets with high accuracy, which translates to a massive speedup of existing approximation algorithms such as local search for graph k-Median.


title: Symmetry defects and orbifolds of two-dimensional Yang-Mills theory

abstract: We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it exactly. We argue that its weak-coupling limit computes the symplectic volume of the moduli space of flat twisted $G$-bundles on a surface. Using the defect network approach to generalised orbifolds, we gauge the discrete symmetry and construct the corresponding orbifold theory, which is again two-dimensional Yang-Mills theory but with gauge group given by an extension of $G$ by outer automorphisms. With the help of the orbifold completion of the topological defect bicategory of two-dimensional Yang-Mills theory, we describe the reverse orbifold using a Wilson line defect for the discrete gauge symmetry. We present our results using two complementary approaches: in the lattice regularisation of the path integral, and in the functorial approach to area-dependent quantum field theories with defects via regularised Frobenius algebras.