title: Stated skein algebras of surfaces

abstract: We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and in particular we recover the dual $R$-matrix for ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ in a topological way. We deduce that the skein algebra of a surface with $n$ boundary components is an algebra-comodule over ${\mathcal O}_{q^2}(\mathrm{SL}(2))^{\otimes{n}}$ and prove that cutting along an ideal arc corresponds to Hochshild cohomology of bicomodules. We give a topological interpretation of braided tensor product of stated skein algebras of surfaces as "glueing on a triangle"; then we recover topologically some braided bialgebras in the category of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$-comodules, among which the "transmutation" of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$. We also provide an operadic interpretation of stated skein algebras as an example of a "geometric non symmetric modular operad". In the last part of the paper we define a reduced version of stated skein algebras and prove that it allows to recover Bonahon-Wong's quantum trace map and interpret skein algebras in the classical limit when $q\to 1$ as regular functions over a suitable version of moduli spaces of twisted bundles.


title: Channel Extrapolation for FDD Massive MIMO: Procedure and Experimental Results

abstract: Application of massive multiple-input multiple-output (MIMO) systems to frequency division duplex (FDD) is challenging mainly due to the considerable overhead required for downlink training and feedback. Channel extrapolation, i.e., estimating the channel response at the downlink frequency band based on measurements in the disjoint uplink band, is a promising solution to overcome this bottleneck. This paper presents measurement campaigns obtained by using a wideband (350 MHz) channel sounder at 3.5 GHz composed of a calibrated 64 element antenna array, in both an anechoic chamber and outdoor environment. The Space Alternating Generalized Expectation-Maximization (SAGE) algorithm was used to extract the parameters (amplitude, delay, and angular information) of the multipath components from the attained channel data within the training (uplink) band. The channel in the downlink band is then reconstructed based on these path parameters. The performance of the extrapolated channel is evaluated in terms of mean squared error (MSE) and reduction of beamforming gain (RBG) in comparison to the ground truth, i.e., the measured channel at the downlink frequency. We find strong sensitivity to calibration errors and model mismatch, and also find that performance depends on propagation conditions: LOS performs significantly better than NLOS.


title: New $(\alpha,\beta)$ Spanners and Hopsets

abstract: An $f(d)$-spanner of an unweighted $n$-vertex graph $G=(V,E)$ is a subgraph $H$ satisfying that $dist_H(u, v)$ is at most $f(dist_G(u, v))$ for every $u,v \in V$. We present new spanner constructions that achieve a nearly optimal stretch of $O(\lceil k /d \rceil)$ for any distance value $d \in [1,k^{1-o(1)}]$, and $d \geq k^{1+o(1)}$. We show the following: 1. There exists an $f(d)$-spanner $H \subseteq G$ with $f(d)\leq 7k$ for any $d \in [1,\sqrt{k}/2]$ with expected size $O_{k}(n^{1+1/k})$. This in particular gives $(\alpha,\beta)$ spanners with $\alpha=O(\sqrt{k})$ and $\beta=O(k)$. 2. For any $\epsilon \in (0,1/2]$, there exists an $(\alpha,\beta)$-spanner with $\alpha=O(k^{\epsilon})$, $\beta=O_{\epsilon}(k)$ and of expected size $O_{k}(n^{1+1/k})$. This implies a stretch of $O(\lceil k/d \rceil)$ for any $d \in [\sqrt{k}/2, k^{1-\epsilon}]$, and for every $d\geq k^{1+\epsilon}$. In particular, it provides a constant stretch already for vertex pairs at distance $k^{1+o(1)}$ (improving upon $d=(\log k)^{\log k}$ that was known before). Up to the $o(1)$ factor in the exponent, and the constant factor in the stretch, this is the best possible by the girth argument. 3. For any $\epsilon \in (0,1)$ and integer $k\geq 1$, there is a $(3+\epsilon, \beta)$-spanner with $\beta=O_{\epsilon}(k^{\log(3+8/\epsilon)})$ and $O_{k,\epsilon}(n^{1+1/k})$ edges. We also consider the related graph concept of hopsets introduced by [Cohen, J. ACM '00]. We present a new family of $(\alpha,\beta)$ hopsets with $\widetilde{O}(k \cdot n^{1+1/k})$ edges and $\alpha \cdot \beta=O(k)$. Most notably, we show a construction of $(3+\epsilon,\beta)$ hopset with $\widetilde{O}_{k,\epsilon}(n^{1+1/k})$ edges and hop-bound of $\beta=O_{\epsilon}(k^{\log(3+9/\epsilon)})$, improving upon the state-of-the-art hop-bound of $\beta=O(\log k /\epsilon)^{\log k}$ by [Elkin-Neiman, '17] and [Huang-Pettie, '17].


title: Interaction Mechanisms Quantified from Dynamical Features of Frog Choruses

abstract: Interaction mechanism in the acoustic communication of actual animals is investigated by combining mathematical modeling and empirical data. Here we use a deterministic mathematical model (a phase oscillator model) to describe the interaction mechanism underlying the choruses of male Japanese tree frogs (Hyla japonica) in which the male frogs attempt to avoid call overlaps with each other due to acoustic communication. The mathematical model with a general interaction term is identified by a Bayesian approach from multiple audio recordings on the choruses of three male frogs. The identified model qualitatively reproduces the stationary and dynamical features of the empirical data, supporting the validity of the model identification. In addition, we quantify the magnitude of attention paid among the male frogs from the identified model, and then analyze the relationship between the attention and behavioral parameters by using a statistical model. The analysis demonstrates the biologically valid relationship about the negative correlation between the attention and inter-frog distance, and also indicates the existence of a behavioral strategy that the male frogs selectively pay attention towards a less attractive male frog so as to utilize the advantage of their attractiveness for effective mate attraction.


title: On Approximating Degree-Bounded Network Design Problems

abstract: Directed Steiner Tree (DST) is a central problem in combinatorial optimization and theoretical computer science: Given a directed graph $G=(V, E)$ with edge costs $c \in \mathbb{R}_{\geq 0}^E$, a root $r \in V$ and $k$ terminals $K\subseteq V$, we need to output the minimum-cost arborescence in $G$ that contains an $r$\textrightarrow $t$ path for every $t \in K$. Recently, Grandoni, Laekhanukit and Li, and independently Ghuge and Nagarajan, gave quasi-polynomial time $O(\log^2k/\log \log k)$-approximation algorithms for the problem, which are tight under popular complexity assumptions. In this paper, we consider the more general Degree-Bounded Directed Steiner Tree (DB-DST) problem, where we are additionally given a degree bound $d_v$ on each vertex $v \in V$, and we require that every vertex $v$ in the output tree has at most $d_v$ children. We give a quasi-polynomial time $(O(\log n \log k), O(\log^2 n))$-bicriteria approximation: The algorithm produces a solution with cost at most $O(\log n\log k)$ times the cost of the optimum solution that violates the degree constraints by at most a factor of $O(\log^2n)$. This is the first non-trivial result for the problem. While our cost-guarantee is nearly optimal, the degree violation factor of $O(\log^2n)$ is an $O(\log n)$-factor away from the approximation lower bound of $\Omega(\log n)$ from the set-cover hardness. The hardness result holds even on the special case of the {\em Degree-Bounded Group Steiner Tree} problem on trees (DB-GST-T). With the hope of closing the gap, we study the question of whether the degree violation factor can be made tight for this special case. We answer the question in the affirmative by giving an $(O(\log n\log k), O(\log n))$-bicriteria approximation algorithm for DB-GST-T.


title: Bohr, QBism, and Beyond

abstract: QBism may be the most significant contribution to the search for meaning in quantum mechanics since Bohr, even as Bohr's philosophy remains the most significant revision of Kant's theory of science. There are two ironies here. Bohr failed to realize the full extent of the affinity of his way of thinking with Kant's, and QBists fail to realize the full extent of their agreement with Bohr. While Bohr's discovery of contextuality updates Kant's transcendental philosophy in a way that leaves the central elements of the latter intact, Kant's insight into the roles that our cognitive faculties play in constructing physical theories can considerably alleviate the difficulties that Bohr's writings present to his readers. And while throwing a QBist searchlight on Bohr's writings can further alleviate these difficulties (as well as reveal the presence in them of the salient elements of QBist thought), Bohr's writings can in turn provide answers to important questions that QBism leaves unanswered (and also allay some of QBism's excesses). In the final sections I confront the two most impenetrable mysteries yet unearthed: making sense of quantum mechanics, and the dual mystery of making sense of (i) the existence of consciousness in a seemingly material world and (ii) the existence in consciousness of a seemingly material world. Here the relevant arguments are framed in the context of the philosophy of the Upanishads, according to which we (as Schr\"odinger put it) "are all really only various aspects of the One." There is no world that exists out of relation to consciousness, but there are different poises of consciousness. In particular, there is a poise of consciousness peculiar to the human species at this point in time, and there are poises of consciousness that are yet to evolve (and that may be essential to averting the calamities towards which humanity appears to be heading).


title: Development of test materials for assessment broadcasting video path

abstract: The analysis of metrological agents for the estimation of the quality of telecommunication path treatments is carried out. Analysis of subjective and objective estimation methods is presented. The justification for choosing an objective method of measuring is presented. Are reported a list of existing goals and objectives, which face the current progress of the implementation of promising systems for broadcasting and improvement of existing ones. The latter include the absence of normative documents and recommendations for optical specimens of testing tables, etc. Researches related to the choice of optical samples from existing sets of colors from a number of international documents and recommendations are presented. Deficiency of these sets is substantiated, as some of the colors necessary for evaluation of telecommunication paths cannot be provided with no color of sets. Provides recommendations and refinements about which colors from existing sets should be used and what constraints exist when used and how to solve. It is shown, that saturated colors of green and red colors are not provided with spectral from the existing sets, therefore, it is proposed to expand the traditional understanding of metrological means by using atlases of colors. Satin colors In contrast to existing ones have a number of advantages and can be used for evaluation in advanced conditions, rather than in the studio that is rigidly defined by the regulations. It is noted that for different brightness values there are a different number of testing points. The number of testing points directly depends on the evaluation criteria, is driven by several possible sets of colors for evaluation. Recommendations for other evaluation conditions are provided. Use satin colors to construct testing tables


title: On the geometry of the second fundamental form of the Torelli map

abstract: In this paper we give a geometric interpretation of the second fundamental form of the period map of curves and we use it to improve the upper bounds on the dimension of a totally geodesic subvariety Y of A_g generically contained in the Torelli locus obtained in [3], [7]. We get dim Y < 2g if g is even, dim Y < 2g+1 if g is odd. We also study totally geodesic subvarieties Z of A_g generically contained in the hyperelliptic Torelli locus and we show that dim Z < g+2.


title: Semi-implicit Euler-Maruyama method for non-linear time-changed stochastic differential equations

abstract: The semi-implicit Euler-Maruyama (EM) method is investigated to approximate a class of time-changed stochastic differential equations, whose drift coefficient can grow super-linearly and diffusion coefficient obeys the global Lipschitz condition. The strong convergence of the semi-implicit EM is proved and the convergence rate is discussed. When the Bernstein function of the inverse subordinator (time-change) is regularly varying at zero, we establish the mean square polynomial stability of the underlying equations. In addition, the numerical method is proved to be able to preserve such an asymptotic property. Numerical simulations are presented to demonstrate the theoretical results.


title: RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares

abstract: Fuzz Testing is a well-studied area in the field of Software Maintenance and Evolution. In recent years, coverage-based Greybox fuzz testing has gained immense attention by discovering critical security level and show-stopper bugs in industrial grade software. Greybox fuzz-testing uses coverage maximization as objective function and achieve the same by employing feedback-driven evolutionary algorithms. In our work, we have utilized the power of Greybox fuzz testing, combined with interval analysis for solving reachability problem in sequential and industrial RERS (Rigorous Examination of Reactive Software) 2019 benchmarks.


title: Internal wave mixing in warming Lake Grevelingen

abstract: Seasonal hypoxia or even anoxia can occur in some local deep basins of coastal waters. Such low summertime oxygen contents especially affect benthic life. The seasonal coastal hypoxia is commonly related to biological increased respiration and to physical limited vertical turbulent exchange that is associated with increased vertical stable density stratification. However, the same stratification can support internal waves that may break and locally generate turbulence. Here, we investigate the physics of internal wave motions in saltwater Lake Grevelingen (SW-Netherlands) during warming in mid-spring. Grevelingen is refreshed by weak tidal motions through an open sluice in its dam to the North Sea. The outer North Sea has a surface tidal range of about 3 m, but the lake surface tidal range is negligible (<0.1 m). To quantify vertical turbulent exchange, high-resolution temperature sensors were moored in conjunction with a current meter in 36 m water depth for three days. The site is known for anoxic conditions near the bottom in summer. While a 3-day, 30-m mean eddy diffusivity of <[Kz]> = 4+/-2x10-5 m2 s-1 is found, the overall mean turbulence dissipation rate (turbulent flux) is <[epsilon]> = 1.1+/-0.6x10-7 m2 s-3. Turbulent mixing occurs episodically, via near-surface cooling during night and increased winds, via sparse shear-driven breaking of internal waves at the main pycnocline, and via sheared near-bottom currents. Shear-driven turbulence is not commonly found in fresh-water lakes. Just below the main pycnocline around mid-depth a layer of weak turbulence is observed, as in fresh-water lakes. The observed turbulent exchange is sufficient to warm the near-bottom waters over the course of summer, but insufficient to prevent the biology from over-consuming oxygen contents.


title: The CROSS Experiment: Rejecting Surface Events by PSD Induced by Superconducting Films

abstract: Neutrinoless double beta ($0\nu\beta\beta$) decay is a hypothetical rare nuclear transition ($T_{1/2}>10^{26}$ y). Its observation would provide an important insight about the nature of neutrinos (Dirac or Majorana particle) demonstrating that the lepton number is not conserved. This decay can be investigated with bolometers embedding the double beta decay isotope ($^{76}$Ge, $^{82}$Se, $^{100}$Mo, $^{116}$Cd, $^{130}$Te...), which perform as low temperature calorimeters (10 mK) detecting particle interactions via a small temperature rise read out by a dedicated thermometer. CROSS (Cryogenic Rare-event Observatory with Surface Sensitivity) aims at the development of bolometric detectors (Li$_{2}$MoO$_{4}$ and TeO$_{2}$) capable of discriminating surface $\alpha$ and $\beta$ interactions by exploiting superconducting properties of Al film deposited on the crystal surface. We report in this paper the results of tests on prototypes performed at CSNSM (Orsay, France) that showed the capability of a-few-$\mu$m-thick superconducting Al film deposited on crystal surface to discriminate surface $\alpha$ from bulk events, thus providing the detector with the required surface sensitivity capability. The CROSS technology would further improve the background suppression and simplify the detector construction with a view to future competitive double beta decay searches.


title: Approximation of high-dimensional periodic functions with Fourier-based methods

abstract: In this paper we propose an approximation method for high-dimensional $1$-periodic functions based on the multivariate ANOVA decomposition. We provide an analysis on the classical ANOVA decomposition on the torus and prove some important properties such as the inheritance of smoothness for Sobolev type spaces and the weighted Wiener algebra. We exploit special kinds of sparsity in the ANOVA decomposition with the aim to approximate a function in a scattered data or black-box approximation scenario. This method allows us to simultaneously achieve an importance ranking on dimensions and dimension interactions which is referred to as attribute ranking in some applications. In scattered data approximation we rely on a special algorithm based on the non-equispaced fast Fourier transform (or NFFT) for fast multiplication with arising Fourier matrices. For black-box approximation we choose the well-known rank-1 lattices as sampling schemes and show properties of the appearing special lattices.


title: Bosonization for fermions and parafermions

abstract: Parafermions are fractional excitations which can be regarded as generalizations of Majorana bound states, but in contrast to the latter they require electron-electron interactions. Compared to Majorana bound states, they offer richer non-Abelian braiding statistics, and have thus been proposed as building blocks for topologically protected universal quantum computation. In this review, we provide a pedagogical introduction to the field of parafermion bound states in one-dimensional systems. We present the necessary theoretical tools for their study, in particular bosonization and the renormalization-group technique, and show how those can be applied to study parafermions.


title: Robust On-Line ADP-based Solution of a Class of Hierarchical Nonlinear Differential Game

abstract: In this paper, a hierarchical one-leader-multi-followers game for a class of continuous-time nonlinear systems with disturbance is investigated by a novel policy iteration reinforcement learning technique in which, the game model consists both of the zero-sum and nonzero-sum games, simultaneously. An adaptive dynamic programming (ADP), method is developed to achieve optimal control strategy under the worst case of disturbance. This algorithm reduces the number of neural networks which are used for estimation for about thirty percent. The proposed algorithm uses neural networks to estimate value functions, control policies and disturbances. Convergence analysis of the estimations is investigated using Lyapunov theory and exploiting properties of the Nemytskii operator. Finally, the simulation results will show effectiveness of the developed ADP method.


title: Crystal structures for canonical Grothendieck functions

abstract: We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions.


title: On $d$-distance $m$-tuple ($\ell, r$)-domination in graphs

abstract: In this article, we study the $d$-distance $m$-tuple ($\ell, r$)-domination problem. Given a simple undirected graph $G=(V, E)$, and positive integers $d, m, \ell$ and $r$, a subset $V' \subseteq V$ is said to be a $d$-distance $m$-tuple ($\ell, r$)-dominating set if it satisfies the following conditions: (i) each vertex $v \in V$ is $d$-distance dominated by at least $m$ vertices in $V'$, and (ii) each $r$ size subset $U$ of $V$ is $d$-distance dominated by at least $\ell$ vertices in $V'$. Here, a vertex $v$ is $d$-distance dominated by another vertex $u$ means the shortest path distance between $u$ and $v$ is at most $d$ in $G$. A set $U$ is $d$-distance dominated by a set of $\ell$ vertices means size of the union of the $d$-distance neighborhood of all vertices of $U$ in $V'$ is at least $\ell$. The objective of the $d$-distance $m$-tuple ($\ell, r$)-domination problem is to find a minimum size subset $V' \subseteq V$ satisfying the above two conditions. We prove that the problem of deciding whether a graph $G$ has (i) a 1-distance $m$-tuple ($\ell, r$)-dominating set for each fixed value of $m, \ell$, and $r$, and (ii) a $d$-distance $m$-tuple ($\ell, 2$)-dominating set for each fixed value of $d (> 1), m$, and $\ell$ of cardinality at most $k$ (here $k$ is a positive integer) are NP-complete. We also prove that for any $\varepsilon>0$, the 1-distance $m$-tuple $(\ell, r)$-domination problem and the $d$-distance $m$-tuple $(\ell,2)$-domination problem cannot be approximated within a factor of $(\frac{1}{2}- \varepsilon)\ln |V|$ and $(\frac{1}{4}- \varepsilon)\ln |V|$, respectively, unless $P = NP$.


title: Non-Hyperoctahedral Categories of Two-Colored Partitions, Part I: New Categories

abstract: Compact quantum groups can be studied by investigating their co-representation categories in analogy to the Schur-Weyl/Tannaka-Krein approach. For the special class of (unitary) "easy" quantum groups these categories arise from a combinatorial structure: Rows of two-colored points form the objects, partitions of two such rows the morphisms; vertical/horizontal concatenation and reflection give composition, monoidal product and involution. Of the four possible classes $\mathcal{O}$, $\mathcal{B}$, $\mathcal{S}$ and $\mathcal{H}$ of such categories (inspired respectively by the classical orthogonal, bistochastic, symmetric and hyperoctahedral groups) we treat the first three -- the non-hyperoctahedral ones. We introduce many new examples of such categories. They are defined in terms of subtle combinations of block size, coloring and non-crossing conditions. This article is part of an effort to classify all non-hyperoctahedral categories of two-colored partitions. The article is purely combinatorial in nature; The quantum group aspects are left out.


title: UGAN: Untraceable GAN for Multi-Domain Face Translation

abstract: The multi-domain image-to-image translation is a challenging task where the goal is to translate an image into multiple different domains. The target-only characteristics are desired for translated images, while the source-only characteristics should be erased. However, recent methods often suffer from retaining the characteristics of the source domain, which are incompatible with the target domain. To address this issue, we propose a method called Untraceable GAN, which has a novel source classifier to differentiate which domain an image is translated from, and determines whether the translated image still retains the characteristics of the source domain. Furthermore, we take the prototype of the target domain as the guidance for the translator to effectively synthesize the target-only characteristics. The translator is learned to synthesize the target-only characteristics and make the source domain untraceable for the discriminator, so that the source-only characteristics are erased. Finally, extensive experiments on three face editing tasks, including face aging, makeup, and expression editing, show that the proposed UGAN can produce superior results over the state-of-the-art models. The source code will be released.


title: Inductive algebras for the affine group of a finite field

abstract: Each irreducible representation of the affine group of a finite field has a unique maximal inductive algebra, and it is self adjoint.


title: Entanglement bounds in the XXZ quantum spin chain

abstract: We consider the XXZ spin chain, characterized by an anisotropy parameter $\Delta>1$, and normalized such that the ground state energy is $0$ and the ground state given by the all spins up state. The energies $E_K = K(1-1/\Delta)$, $K=1,2,\ldots$, can be interpreted as $K$-cluster break-up thresholds for down spin configurations. We show that, for every $K$, the bipartite entanglement of all states with energy below the $(K+1)$-cluster break-up satisfies a logarithmically corrected (or enhanced) area law. This generalizes a result by Beaud and Warzel, who considered energies in the droplet spectrum (i.e., below the 2-cluster break-up). For general $K$, we find an upper logarithmic bound with pre-factor $2K-1$. We show that this constant is optimal in the Ising limit $\Delta=\infty$. Beaud and Warzel also showed that after introducing a random field and disorder averaging the enhanced area law becomes a strict area law, again for states in the droplet regime. For the Ising limit with random field, we show that this result does not extend beyond the droplet regime. Instead, we find states with energies arbitrarily close to the $(K+1)$-cluster break-up whose entanglement satisfies a logarithmically growing lower bound with pre-factor $K-1$.


title: Dual Invertible Polynomials with Permutation Symmetries and the Orbifold Euler Characteristic

abstract: P. Berglund, T. H\"ubsch, and M. Henningson proposed a method to construct mirror symmetric Calabi-Yau manifolds. They considered a pair consisting of an invertible polynomial and of a finite (abelian) group of its diagonal symmetries together with a dual pair. A. Takahashi suggested a method to generalize this construction to symmetry groups generated by some diagonal symmetries and some permutations of variables. In a previous paper, we explained that this construction should work only under a special condition on the permutation group called parity condition (PC). Here we prove that, if the permutation group is cyclic and satisfies PC, then the reduced orbifold Euler characteristics of the Milnor fibres of dual pairs coincide up to sign.


title: Almost Shortest Paths with Near-Additive Error in Weighted Graphs

abstract: Let $G=(V,E,w)$ be a weighted undirected graph with $n$ vertices and $m$ edges, and fix a set of $s$ sources $S\subseteq V$. We study the problem of computing {\em almost shortest paths} (ASP) for all pairs in $S \times V$ in both classical centralized and parallel (PRAM) models of computation. Consider the regime of multiplicative approximation of $1+\epsilon$, for an arbitrarily small constant $\epsilon > 0$ . In this regime existing centralized algorithms require $\Omega(\min\{|E|s,n^\omega\})$ time, where $\omega < 2.372$ is the matrix multiplication exponent. Existing PRAM algorithms with polylogarithmic depth (aka time) require work $\Omega(\min\{|E|s,n^\omega\})$. Our centralized algorithm has running time $O((m+ ns)n^\rho)$, and its PRAM counterpart has polylogarithmic depth and work $O((m + ns)n^\rho)$, for an arbitrarily small constant $\rho > 0$. For a pair $(s,v) \in S\times V$, it provides a path of length $\hat{d}(s,v)$ that satisfies $\hat{d}(s,v) \le (1+\epsilon)d_G(s,v) + \beta \cdot W(s,v)$, where $W(s,v)$ is the weight of the heaviest edge on some shortest $s-v$ path. Hence our additive term depends linearly on a {\em local} maximum edge weight, as opposed to the global maximum edge weight in previous works. Finally, our $\beta = (1/\rho)^{O(1/\rho)}$. We also extend a centralized algorithm of Dor et al. \cite{DHZ00}. For a parameter $\kappa = 1,2,\ldots$, this algorithm provides for {\em unweighted} graphs a purely additive approximation of $2(\kappa -1)$ for {\em all pairs shortest paths} (APASP) in time $\tilde{O}(n^{2+1/\kappa})$. Within the same running time, our algorithm for {\em weighted} graphs provides a purely additive error of $2(\kappa - 1) W(u,v)$, for every vertex pair $(u,v) \in {V \choose 2}$, with $W(u,v)$ defined as above. On the way to these results we devise a suit of novel constructions of spanners, emulators and hopsets.


title: Sudarshan Memorial Lecture

abstract: In this invited talk, I discuss four important contributions of E.C.G. Sudarshan, among many. They are the V-A theory of weak interaction, Sudarshan - Glauber representation, tachyons and the quantum zeno effect.


title: Convergence of Optimal Expected Utility for a Sequence of Discrete-Time Markets

abstract: We examine Kreps' (2019) conjecture that optimal expected utility in the classic Black--Scholes--Merton (BSM) economy is the limit of optimal expected utility for a sequence of discrete-time economies that "approach" the BSM economy in a natural sense: The $n$th discrete-time economy is generated by a scaled $n$-step random walk, based on an unscaled random variable $\zeta$ with mean zero, variance one, and bounded support. We confirm Kreps' conjecture if the consumer's utility function $U$ has asymptotic elasticity strictly less than one, and we provide a counterexample to the conjecture for a utility function $U$ with asymptotic elasticity equal to 1, for $\zeta$ such that $E[\zeta^3] > 0.$


title: Localization Uncertainty in Time-Amplitude Stereophonic Reproduction

abstract: This article studies the effects of inter-channel time and level differences in stereophonic reproduction on perceived localization uncertainty, which is defined as how difficult it is for a listener to tell where a sound source is located. Towards this end, a computational model of localization uncertainty is proposed first. The model calculates inter-aural time and level difference cues, and compares them to those associated to free-field point-like sources. The comparison is carried out using a particular distance functional that replicates the increased uncertainty observed experimentally with inconsistent inter-aural time and level difference cues. The model is validated by formal listening tests, achieving a Pearson correlation of 0.99. The model is then used to predict localization uncertainty for stereophonic setups and a listener in central and off-central positions. Results show that amplitude methods achieve a slightly lower localization uncertainty for a listener positioned exactly in the center of the sweet spot. As soon as the listener moves away from that position, the situation reverses, with time-amplitude methods achieving a lower localization uncertainty.


title: The spectral index of polarized diffuse Galactic emission between 30 and 44 GHz

abstract: We present an estimate of the polarized spectral index between the Planck 30 and 44 GHz surveys in $3.7^\circ$ pixels across the entire sky. We use an objective reference prior that maximises the impact of the data on the posterior and multiply this by a maximum entropy prior that includes information from observations in total intensity by assuming a polarization fraction. Our parametrization of the problem allows the reference prior to be easily determined and also provides a natural method of including prior information. The spectral index map is consistent with those found by others between surveys at similar frequencies. Across the entire sky we find an average temperature spectral index of $-2.99\pm0.03(\pm1.12)$ where the first error term is the statistical uncertainty on the mean and the second error term (in parentheses) is the extra intrinsic scatter in the data. We use a clustering algorithm to identify pixels with actual detections of the spectral index. The average spectral index in these pixels is $-3.12\pm0.03(\pm0.64)$ and then when also excluding pixels within $10^\circ$ of the Galactic plane we find $-2.92(\pm0.03)$. We find a statistically significant difference between the average spectral indices in the North and South Fermi bubbles. Only including pixels identified by the clustering algorithm, the average spectral index in the southern bubble is $-3.00\pm0.05(\pm0.35)$, which is similar to the average across the whole sky. In the northern bubble we find a much harder average spectral index of $-2.36\pm0.09(\pm0.63)$. Therefore, if the bubbles are features in microwave polarization they are not symmetric about the Galactic plane.


title: Castelnuovo-Mumford regularity and related invariants

abstract: These notes are an introduction to some basic aspects of the Castelnuovo-Mumford regularity and related topics such as weak regularity, a*-invariant and partial regularities.


title: Waldspurger's period integral for newforms

abstract: In this paper we discuss Waldspurger's local period integral for newforms in new cases. The main ingredient is the work \cite{HN18} on Waldspurger's period integral using the minimal vectors, and the explicit relation between the newforms and the minimal vectors. We use a representation theoretical trick to simplify computations for newforms. As an example, we compute the local integral coming from a special arithmetic setting which was used to study 3-part full BSD conjecture in \cite{HSY}.


title: Revisiting a theorem by Folkman on graph colouring

abstract: We give a short proof of the following theorem due to Jon H. Folkman (1969): The chromatic number of any graph is at most $2$ plus the maximum over all subgraphs of the difference between half the number of vertices and the independence number.


title: The effect of Confined One Gluon Exchange Potential and Instanton Induced Interaction in Nucleon-Nucleon Interaction

abstract: The effect of Confined One Gluon Exchange Potential and Instanton Induced Interaction potential in the singlet ($^1S_0$) and triplet ($^3S_1$) channels for Nucleon-Nucleon interaction has been investigated in the framework of Relativistic Harmonic Model using Resonating Group Method in the adiabatic limit with Born - Oppenheimer approximation. The contributions of the different components of the interaction potentials have been analyzed.


title: Populations of stellar mass Black holes from binary systems

abstract: In large and complicated stellar systems like galaxies it is difficult to predict the number and characteristics of a black hole population. Such populations may be modelled as an aggregation of homogeneous (i.e. having uniform star formation history and the same initial chemical composition) stellar populations. Using realistic evolutionary models we predict the abundances and properties of black holes formed from binaries in these environments. We show that the black hole population will be dominated by single black holes originating from binary disruptions and stellar mergers. Furthermore, we discuss how black hole populations are influenced by such factors as initial parameters, metallicity, initial mass function, and natal kick models. As an example application of our results, we estimate that about 26 microlensing events to happen every year in the direction of the Galactic Bulge due to black holes in a survey like OGLE-IV. Our results may be used to perform in-depth studies related to realistic black hole populations, e.g. observational predictions for space survey missions like Gaia, or Einstein Probe. We prepared a publicly available database with the raw data from our simulations to be used for more in-depth studies.


title: Exploiting the Redundancy in Convolutional Filters for Parameter Reduction

abstract: Convolutional Neural Networks (CNNs) have achieved state-of-the-art performance in many computer vision tasks over the years. However, this comes at the cost of heavy computation and memory intensive network designs, suggesting potential improvements in efficiency. Convolutional layers of CNNs partly account for such an inefficiency, as they are known to learn redundant features. In this work, we exploit this redundancy, observing it as the correlation between convolutional filters of a layer, and propose an alternative approach to reproduce it efficiently. The proposed 'LinearConv' layer learns a set of orthogonal filters, and a set of coefficients that linearly combines them to introduce a controlled redundancy. We introduce a correlation-based regularization loss to achieve such flexibility over redundancy, and control the number of parameters in turn. This is designed as a plug-and-play layer to conveniently replace a conventional convolutional layer, without any additional changes required in the network architecture or the hyperparameter settings. Our experiments verify that LinearConv models achieve a performance on-par with their counterparts, with almost a 50% reduction in parameters on average, and the same computational requirement and speed at inference.


title: Universal relations for spin-orbit-coupled Fermi gases in two and three dimensions

abstract: We present a comprehensive derivation of a set of universal relations for spin-orbit-coupled Fermi gases in three or two dimension, which follow from the short-range behavior of the two-body physics. Besides the adiabatic energy relations, the large-momentum distribution, the grand canonical potential and pressure relation derived in our previous work for three-dimensional systems {[}Phys. Rev. Lett. 120, 060408 (2018){]}, we further derive high-frequency tail of the radio-frequency spectroscopy and the short-range behavior of the pair correlation function. In addition, we also extend the derivation to two-dimensional systems with Rashba type of spin-orbit coupling. To simply demonstrate how the spin-orbit-coupling effect modifies the two-body short-range behavior, we solve the two-body problem in the sub-Hilbert space of zero center-of-mass momentum and zero total angular momentum, and perturbatively take the spin-orbit-coupling effect into account at short distance, since the strength of the spin-orbit coupling should be much smaller than the corresponding scale of the finite range of interatomic interactions. The universal asymptotic forms of the two-body wave function at short distance are then derived, which do not depend on the short-range details of interatomic potentials. We find that new scattering parameters need to be introduced because of spin-orbit coupling, besides the traditional $s$- and $p$-wave scattering length (volume) and effective ranges. This is a general and unique feature for spin-orbit-coupled systems. We show how these two-body parameters characterize the universal relations in the presence of spin-orbit coupling. This work probably shed light for understanding the profound properties of the many-body quantum systems in the presence of the spin-orbit coupling.


title: Asymptotic behaviour of a solution to a nonlinear equation modelling capillary rise

abstract: We are concerned with the asymptotics and perturbation analysis of a singular second-order nonlinear ODE that models capillary rise of a fluid inside a narrow vertical tube. We prove the convergence of the exact solution to a unperturbed solution when a nondimensional parameter decrease to zero. Furthermore, we provide an accurate method of approximating the asymptotic solution for large times. Due to the a fact that the nonlinear component in the main equation does not satisfy the Lipschitz continuity condition the methods used to prove the main theorems are nonstandard, require careful analysis, and can be useful in dealing with similar nonlinear ODEs.


title: Challenges in Community Discovery on Temporal Networks

abstract: Community discovery is one of the most studied problems in network science. In recent years, many works have focused on discovering communities in temporal networks, thus identifying dynamic communities. Interestingly, dynamic communities are not mere sequences of static ones; new challenges arise from their dynamic nature. In this chapter, we will discuss some of these challenges and recent propositions to tackle them. We will, among other topics, discuss on the question of community events in gradually evolving networks, on the notion of identity through change, on dynamic communities in link streams, on the smoothness of dynamic communities, and on the different types of complexity of algorithms for their discovery.


title: Semantic Deep Intermodal Feature Transfer: Transferring Feature Descriptors Between Imaging Modalities

abstract: Under difficult environmental conditions, the view of RGB cameras may be restricted by fog, dust or difficult lighting situations. Because thermal cameras visualize thermal radiation, they are not subject to the same limitations as RGB cameras. However, because RGB and thermal imaging differ significantly in appearance, common, state-of-the-art feature descriptors are unsuitable for intermodal feature matching between these imaging modalities. As a consequence, visual maps created with an RGB camera can currently not be used for localization using a thermal camera. In this paper, we introduce the Semantic Deep Intermodal Feature Transfer (Se-DIFT), an approach for transferring image feature descriptors from the visual to the thermal spectrum and vice versa. For this purpose, we predict potential feature appearance in varying imaging modalities using a deep convolutional encoder-decoder architecture in combination with a global feature vector. Since the representation of a thermal image is not only affected by features which can be extracted from an RGB image, we introduce the global feature vector which augments the auto encoder's coding. The global feature vector contains additional information about the thermal history of a scene which is automatically extracted from external data sources. By augmenting the encoder's coding, we decrease the L1 error of the prediction by more than 7% compared to the prediction of a traditional U-Net architecture. To evaluate our approach, we match image feature descriptors detected in RGB and thermal images using Se-DIFT. Subsequently, we make a competitive comparison on the intermodal transferability of SIFT, SURF, and ORB features using our approach.


title: Spatial Organization of Active Particles with Field Mediated Interactions

abstract: We consider a system of independent point-like particles performing a Brownian motion while interacting with a Gaussian fluctuating background. These particles are in addition endowed with a discrete two-state internal degree of freedom that is subjected to a nonequilibrium source of noise, which affects their coupling with the background field. We explore the phase diagram of the system and pinpoint the role of the nonequilibrium drive in producing a nontrivial patterned spatial organization. We are able, by means of a weakly nonlinear analysis, to account for the parameter-dependence of the boundaries of the phase and pattern diagram in the stationary state.


title: LINSPECTOR WEB: A Multilingual Probing Suite for Word Representations

abstract: We present LINSPECTOR WEB, an open source multilingual inspector to analyze word representations. Our system provides researchers working in low-resource settings with an easily accessible web based probing tool to gain quick insights into their word embeddings especially outside of the English language. To do this we employ 16 simple linguistic probing tasks such as gender, case marking, and tense for a diverse set of 28 languages. We support probing of static word embeddings along with pretrained AllenNLP models that are commonly used for NLP downstream tasks such as named entity recognition, natural language inference and dependency parsing. The results are visualized in a polar chart and also provided as a table. LINSPECTOR WEB is available as an offline tool or at https://linspector.ukp.informatik.tu-darmstadt.de.


title: Reduced-order modeling of hemodynamics across macroscopic through mesoscopic circulation scales

abstract: We propose a hemodynamic reduced-order model bridging macroscopic and meso-scopic blood flow circulation scales from arteries to capillaries. In silico tree like vascular geometries, mathematically described by graphs, are synthetically generated by means of stochastic growth algorithms constrained by statistical morphological and topological principles. Scale-specific pruning gradation of the tree is then proposed in order to fit computational budget requirement. Different compliant structural models with respect to pressure loads are used depending on vessel walls thicknesses and structures, which vary considerably from macroscopic to mesoscopic circulation scales. Nonlinear rheological properties of blood are also included and microcirculation network responses are computed for different rheologies. Numerical results are in very good agreement with available experimental measurements. The computational model captures the dynamic transition between large-to small-scale flow pulsatility speeds and magnitudes and wall shear stresses, which have wide-ranging physiological influences.


title: Universal Pooling -- A New Pooling Method for Convolutional Neural Networks

abstract: Pooling is one of the main elements in convolutional neural networks. The pooling reduces the size of the feature map, enabling training and testing with a limited amount of computation. This paper proposes a new pooling method named universal pooling. Unlike the existing pooling methods such as average pooling, max pooling, and stride pooling with fixed pooling function, universal pooling generates any pooling function, depending on a given problem and dataset. Universal pooling was inspired by attention methods and can be considered as a channel-wise form of local spatial attention. Universal pooling is trained jointly with the main network and it is shown that it includes the existing pooling methods. Finally, when applied to two benchmark problems, the proposed method outperformed the existing pooling methods and performed with the expected diversity, adapting to the given problem.


title: Atiyah class and Chern character for global matrix factorizations

abstract: We define the Atiyah class for global matrix factorizations and use it to give a formula for the categorical Chern character and the boundary-bulk map for matrix factorizations, generalizing the formula in the local case obtained in arXiv:1002.2116. Our approach is based on developing the Lie algebra analogies observed by Kapranov alg-geom/9704009 and Markarian math/0610553.


title: Boolean Cumulants and Subordination in Free Probability

abstract: We study subordination of free convolutions. We prove that for free random variables $X,Y$ and a Borel function $f$ the conditional expectation $E_\varphi\left[ (z-X-f(X)Yf^*(X))^{-1}| X\right]$, is a resolvent again. This result allows explicit calculation of the distribution of $X+f(X)Yf^*(X)$. The main tool is a formula for conditional expectations in terms of Boolean cumulant transforms, generalizing subordination formulas for free additive and multiplicative convolutions.


title: Intrinsic GeV-TeV gamma-ray emission from EHSP blazars

abstract: Extremely High Synchrotron Peak (EHSP) blazars are observed to form a small population of sources with high energy hump peaking at TeV energies in their broad-band spectral energy distributions. The observed gamma-ray emission from these sources at GeV-TeV energies is described by unusual hard spectral indices. The observed spectral and temporal characteristics of these sources challenge the standard leptonic models for the broad-band emissions from blazars. Therefore, such sources provide astrophysical sites to investigate directly the particle acceleration, cooling of relativistic particles and indirectly probe the cosmological quantities like extragalactic background light (EBL) and intergalactic magnetic field (IMF) in the Universe. In this study, we investigate the spectral properties of the gamma-ray emission from EHSP blazars using observations from the Fermi-LAT catalogues (3FGL and 3FHL) along with the TeV observations using ground based telescopes. The observed TeV gamma-ray spectra are corrected for the EBL absorption using the most recent and updated EBL models to determine the intrinsic spectrum at the source. The intrinsic TeV spectra are combined with the MeV-GeV observations from the Fermi-LAT to study the gamma-ray emission from EHSP blazars in the broad energy band. The intrinsic gamma-ray spectra are then used to estimate the position of high energy peak in the spectral energy distribution. We also present the qualitative description for the observed spectral properties of EHSP blazars using different physical scenarios and discuss their importance for the upcoming CTA observatory.


title: Harmonic extension technique for non-symmetric operators with completely monotone kernels

abstract: We identify a class of non-local integro-differential operators $K$ in $\mathbb{R}$ with Dirichlet-to-Neumann maps in the half-plane $\mathbb{R} \times (0, \infty)$ for appropriate elliptic operators $L$. More precisely, we prove a bijective correspondence between L\'evy operators $K$ with non-local kernels of the form $\nu(y - x)$, where $\nu(x)$ and $\nu(-x)$ are completely monotone functions on $(0, \infty)$, and elliptic operators $L = a(y) \partial_{xx} + 2 b(y) \partial_{x y} + \partial_{yy}$. This extends a number of previous results in the area, where symmetric operators have been studied: the classical identification of the Dirichlet-to-Neumann operator for the Laplace operator in $\mathbb{R} \times (0, \infty)$ with $-\sqrt{-\partial_{xx}}$, the square root of one-dimensional Laplace operator; the Caffarelli--Silvestre identification of the Dirichlet-to-Neumann operator for $\nabla \cdot (y^{1 - \alpha} \nabla)$ with $(-\partial_{xx})^{\alpha/2}$ for $\alpha \in (0, 2)$; and the identification of Dirichlet-to-Neumann maps for operators $a(y) \partial_{xx} + \partial_{yy}$ with complete Bernstein functions of $-\partial_{xx}$ due to Mucha and the author. Our results rely on recent extension of Krein's spectral theory of strings by Eckhardt and Kostenko.


title: Protocol for Asynchronous, Reliable, Secure and Efficient Consensus (PARSEC) Version 2.0

abstract: In this paper we present an open source, fully asynchronous, leaderless algorithm for reaching consensus in the presence of Byzantine faults in an asynchronous network. We prove the algorithm's correctness provided that less than a third of participating nodes are faulty. We also present a way of applying the algorithm to a network with dynamic membership, i.e. a network in which nodes can join and leave at will. The core contribution of this paper is an optimal model in the definition of an asynchronous BFT protocol, and which is resilient to 1/3 byzantine nodes. This model matches an agreement with probability one (unlike some probabilistic methods), and where a common coin is used as a source of randomization so that it respects the FLP impossibility result.


title: Experimental investigation of superdiffusion via coherent disordered Quantum Walks

abstract: Many disordered systems show a superdiffusive dynamics, intermediate between the diffusive one, typical of a classical stochastic process, and the so called ballistic behaviour, which is generally expected for the spreading in a quantum process. We have experimentally investigated the superdiffusive behaviour of a quantum walk (QW), whose dynamics can be related to energy transport phenomena, with a resolution which is high enough to clearly distinguish between different disorder regimes. By our experimental setup, the region between ballistic and diffusive spreading can be effectively scanned by suitably setting few degrees of freedom and without applying any decoherence to the QW evolution.


title: Exploiting new forms of data to study the private rented sector: strengths and limitations of a database of rental listings

abstract: Reviews of official statistics for UK housing have noted that developments have not kept pace with real-world change, particularly the rapid growth of private renting. This paper examines the potential value of big data in this context. We report on the construction of a dataset from the on-line adverts of one national lettings agency, describing the content of the dataset and efforts to validate it against external sources. Focussing on one urban area, we illustrate how the dataset can shed new light on local changes. Lastly, we discuss the issues involved in making more routine use of this kind of data.


title: Higher Derivative Gauge theory in $d=6$ and the $\mathbb{C}\mathbb{P}^{(N_f-1)}$ NLSM

abstract: We consider the $\mathbb{C}\mathbb{P}^{(N_f-1)}$ Non-Linear-Sigma-Model in the dimension $4<d<6$. The critical behaviour of this model in the large $N_f$ limit is reviewed. We propose a Higher Derivative Gauge (HDG) theory as an ultraviolet completion of the $\mathbb{C}\mathbb{P}^{(N_f-1)}$ NLSM. Tuning mass operators to zero, the HDG in the IR limit reaches to the critical $\mathbb{C}\mathbb{P}^{(N_f-1)}$. With partial tunings the HDG reaches either to the critical $U(N_f)$-Yukawa model or to the critical pure scalar QED (no Yukawa interactions). We renormalize the HDG in its critical dimension $d=6$. We study the fixed points of the HDG in $d=6-2\epsilon$ and we calculate the scaling dimensions of various observables finding a full agreement with the order $O(1/N_f)$ predictions of the corresponding critical models.


title: A bisector line field approach to interpolation of orientation fields

abstract: We propose an approach to the problem of global reconstruction of an orientation field. The method is based on a geometric model called "bisector line fields", which maps a pair of vector fields to an orientation field, effectively generalizing the notion of doubling phase vector fields. Endowed with a well chosen energy minimization problem, we provide a polynomial interpolation of a target orientation field while bypassing the doubling phase step. The procedure is then illustrated with examples from fingerprint analysis.


title: Correlated states of a triangular net of coupled quantum wires: Implications for the phase diagram of marginally twisted bilayer graphene

abstract: We explore in detail the electronic phases of a system consisting of three non-colinear arrays of coupled quantum wires, each rotated 120 degrees with respect to the next. A perturbative renormalization-group analysis reveals that multiple correlated states can be stabilized: a $s$-wave or $d \pm id$ superconductor, a charge density wave insulator, a two-dimensional Fermi liquid, and a 2D Luttinger liquid (also known as smectic metal or sliding Luttinger liquid). The model provides an effective description of electronic interactions in small-angle twisted bilayer graphene and we discuss its implications in relation to the recent observation of correlated and superconducting groundstates near commensurate densities in magic-angle twisted samples, as well as the ``strange metal'' behavior at finite temperatures as a natural outcome of the 2D Luttinger liquid phase.


title: Visible Analysis of NASA Lucy Mission Targets Eurybates, Polymele, Orus and Donaldjohanson

abstract: Jupiter Trojan asteroids are minor bodies that share Jupiter's orbit around the Sun. Although not yet well understood in origin and composition, they have surface properties that, besides being comparable with other populations of small bodies in the Solar System, hold information that may restrict models of planetary formation. Due their importance, there has been a significant increase in an interest in studying this population. In this context arises the NASA Lucy Mission, with a planned launch of 2021. The Lucy Mission will be the first one to address a group of 6 objects with the aim of investigating, in detail, their nature. In order to provide valuable information for mission planning and maximize the scientific return, we carried out ground based observations of four targets of the mission. Aimed at looking for variabilities on the spectra of (3548) Eurybates, (15094) Polymele and (21900) Orus, we performed rotationally resolved visible spectroscopy of them at SOAR Telescope. We also analyzed the first visible spectrum obtained for the main belt asteroid (52246) Donaldjohanson at Gran Telescopio Canarias. The spectra of Orus and Polymele present rather homogeneous characteristics along the surfaces, and their taxa correspond with those of the two dominant populations in the Trojan population, the P- and the D-type group of objects. Spectroscopy of Eurybates, on the other side, suggests that some variation on the characteristics of the reflectance of this body could be related with its collisional history. Donaldjohanson, the only main belt object in the group of targets, shows, according to our visible spectrum, hints of the presence of hydrated materials. Lucy mission will investigate the surface composition of these targets and will shed light on their connections with other minor bodies populations and in their role on the evolution of the Solar System.


title: An Information-theoretic On-line Learning Principle for Specialization in Hierarchical Decision-Making Systems

abstract: Information-theoretic bounded rationality describes utility-optimizing decision-makers whose limited information-processing capabilities are formalized by information constraints. One of the consequences of bounded rationality is that resource-limited decision-makers can join together to solve decision-making problems that are beyond the capabilities of each individual. Here, we study an information-theoretic principle that drives division of labor and specialization when decision-makers with information constraints are joined together. We devise an on-line learning rule of this principle that learns a partitioning of the problem space such that it can be solved by specialized linear policies. We demonstrate the approach for decision-making problems whose complexity exceeds the capabilities of individual decision-makers, but can be solved by combining the decision-makers optimally. The strength of the model is that it is abstract and principled, yet has direct applications in classification, regression, reinforcement learning and adaptive control.


title: Switchable Organic Plasmonics with Conductive Polymer Nanoantennas

abstract: Metal nanostructures are key elements in nanooptics owing to their strong resonant interaction with light through local plasmonic charge oscillations. Their ability to shape light at the nanoscale have made them important across a multitude of areas, including biosensing, energy conversion and ultrathin flat metaoptics. Yet another dimension of avenues is foreseen for dynamic nanoantennas, ranging from tuneable metalenses for miniaturized medical devices to adaptable windows that control radiation flows in and out of buildings. However, enabling nano-optical antennas to be dynamically controllable remains highly challenging and particularly so for traditional metals with fixed permittivity. Here we present state-of-the-art conductive polymers as a new class of organic plasmonic materials for redox-tuneable nano-optics. Through experiments and simulations, we show that nanodisks of highly conductive polymers can provide clear optical extinction peaks via excitation of dipolar localised surface plasmon resonances. Resonance frequencies redshift with increasing nanodisk aspect ratio, in agreement with analytical calculations based on dipolar polarizability theory. We furthermore demonstrate complete switching of the optical response of the organic nanoantennas by chemical tuning of the polymer's redox state, which effectively modulates the material permittivity between plasmonic and non-plasmonic regimes. Our results thereby show that conductive polymer nanostructures can act as redox-tuneable plasmonic nanoantennas, based on bipolaronic charge carriers rather than electrons as in conventional metals. Future directions may investigate different polymers and geometries to further widen the plasmonic spectral range (here around 0.8 to 3.6 {\mu}m) as well as different ways of tuning.


title: Using 3D Convolutional Neural Networks to Learn Spatiotemporal Features for Automatic Surgical Gesture Recognition in Video

abstract: Automatically recognizing surgical gestures is a crucial step towards a thorough understanding of surgical skill. Possible areas of application include automatic skill assessment, intra-operative monitoring of critical surgical steps, and semi-automation of surgical tasks. Solutions that rely only on the laparoscopic video and do not require additional sensor hardware are especially attractive as they can be implemented at low cost in many scenarios. However, surgical gesture recognition based only on video is a challenging problem that requires effective means to extract both visual and temporal information from the video. Previous approaches mainly rely on frame-wise feature extractors, either handcrafted or learned, which fail to capture the dynamics in surgical video. To address this issue, we propose to use a 3D Convolutional Neural Network (CNN) to learn spatiotemporal features from consecutive video frames. We evaluate our approach on recordings of robot-assisted suturing on a bench-top model, which are taken from the publicly available JIGSAWS dataset. Our approach achieves high frame-wise surgical gesture recognition accuracies of more than 84%, outperforming comparable models that either extract only spatial features or model spatial and low-level temporal information separately. For the first time, these results demonstrate the benefit of spatiotemporal CNNs for video-based surgical gesture recognition.


title: Non-local to local transition for ground states of fractional Schr\"{o}dinger equations on bounded domains

abstract: We show that ground state solutions to the nonlinear, fractional problem \begin{align*} \left\{ \begin{array}{ll} (-\Delta)^{s} u + V(x) u = f(x,u) &\quad \mathrm{in} \ \Omega, \newline u = 0 &\quad \mathrm{in} \ \mathbb{R}^N \setminus \Omega, \end{array} \right. \end{align*} on a bounded domain $\Omega \subset \mathbb{R}^N$, converge (along a subsequence) in $L^2 (\Omega)$, under suitable conditions on $f$ and $V$, to a solution of the local problem as $s \to 1^-$.


title: Bilinear identities involving the $k$-plane transform and Fourier extension operators

abstract: We prove certain $L^2(\mathbb{R}^n)$ bilinear estimates for Fourier extension operators associated to spheres and hyperboloids under the action of the $k$-plane transform. As the estimates are $L^2$-based, they follow from bilinear identities: in particular, these are the analogues of a known identity for paraboloids, and may be seen as higher-dimensional versions of the classical $L^2(\mathbb{R}^2)$-bilinear identity for Fourier extension operators associated to curves in $\mathbb{R}^2$.


title: Two-hidden-layer Feedforward Neural Networks are Universal Approximators: A Constructive Approach

abstract: It is well known that Artificial Neural Networks are universal approximators. The classical result proves that, given a continuous function on a compact set on an n-dimensional space, then there exists a one-hidden-layer feedforward network which approximates the function. Such result proves the existence, but it does not provide a method for finding it. In this paper, a constructive approach to the proof of this property is given for the case of two-hidden-layer feedforward networks. This approach is based on an approximation of continuous functions by simplicial maps. Once a triangulation of the space is given, a concrete architecture and set of weights can be obtained. The quality of the approximation depends on the refinement of the covering of the space by simplicial complexes.


title: Multiple Human Association between Top and Horizontal Views by Matching Subjects' Spatial Distributions

abstract: Video surveillance can be significantly enhanced by using both top-view data, e.g., those from drone-mounted cameras in the air, and horizontal-view data, e.g., those from wearable cameras on the ground. Collaborative analysis of different-view data can facilitate various kinds of applications, such as human tracking, person identification, and human activity recognition. However, for such collaborative analysis, the first step is to associate people, referred to as subjects in this paper, across these two views. This is a very challenging problem due to large human-appearance difference between top and horizontal views. In this paper, we present a new approach to address this problem by exploring and matching the subjects' spatial distributions between the two views. More specifically, on the top-view image, we model and match subjects' relative positions to the horizontal-view camera in both views and define a matching cost to decide the actual location of horizontal-view camera and its view angle in the top-view image. We collect a new dataset consisting of top-view and horizontal-view image pairs for performance evaluation and the experimental results show the effectiveness of the proposed method.


title: Effective Entropy Production and Thermodynamic Uncertainty Relation of Active Brownian Particles

abstract: Understanding stochastic thermodynamics of active Brownian particles (ABPs) system has been an important topic in very recent years. In this article we study a general model of active Brownian particle systems by introducing a coarse-grained Fokker-Planck equation, which allows us to identify an effective entropy production along a stochastic trajectory, wherein an activity and configuration dependent diffusion coefficient comes into play with an important role. Although the hidden component between the true entropy production and the effective one is dominant, the effective entropy production still act as a reliable measure to quantify the dynamical irreversibility, capturing important phenomenon such as the interface and defects of motility induced phase separation (MIPS). Furthermore, in this framework, we are able to obtain the entropic bound as well as TUR associated with any generalized currents in the systems. We expect the new conceptual quantities proposed here to be broadly used in the context of active matter.


title: Classification of topological ladder models

abstract: Ladder architectures are fruitful systems to realize topological phases of matter. Here we present a classification of ladder models giving rise to topological insulators. We identify six different types of topological ladder models, three in the BDI symmetry class, and three in the AIII symmetry class. They correspond to six distinct configurations of Wilson fermions. The six types are manifested in distinctive momentum distributions of the corresponding topological edge modes. The number of Wilson fermions, their chirality and mass, are directly manifested in the number, momentum and height of the peaks of the momentum distribution of the corresponding topological edge modes. We identify a canonical ladder geometry, the {\em bowtie ladder}, from which any other topological ladder model can be obtained by a unitary transformation. We identify, classify and list all possible topological ladder geometries, determining the parameter regimes in which each of the six types of topological edge modes can be realized. Our results open a route for the experimental realization and detection of topological insulators in novel symmetry classes with ladder architectures.


title: Action Semantics Network: Considering the Effects of Actions in Multiagent Systems

abstract: In multiagent systems (MASs), each agent makes individual decisions but all of them contribute globally to the system evolution. Learning in MASs is difficult since each agent's selection of actions must take place in the presence of other co-learning agents. Moreover, the environmental stochasticity and uncertainties increase exponentially with the increase in the number of agents. Previous works borrow various multiagent coordination mechanisms into deep learning architecture to facilitate multiagent coordination. However, none of them explicitly consider action semantics between agents that different actions have different influences on other agents. In this paper, we propose a novel network architecture, named Action Semantics Network (ASN), that explicitly represents such action semantics between agents. ASN characterizes different actions' influence on other agents using neural networks based on the action semantics between them. ASN can be easily combined with existing deep reinforcement learning (DRL) algorithms to boost their performance. Experimental results on StarCraft II micromanagement and Neural MMO show ASN significantly improves the performance of state-of-the-art DRL approaches compared with several network architectures.


title: X-ray fluorescence from super-Eddington accreting black holes

abstract: X-ray reverberation has proven to be a powerful tool capable of probing the innermost region of accretion disks around compact objects. Current theoretical effort generally assumes that the disk is geometrically thin, optically thick and orbiting with Keplerian speed. Thus, these models cannot be applied to systems where super-Eddington accretion happens because the thin disk approximation fails in this accretion regime. Furthermore, state-of-the-art numerical simulations show that optically thick winds are launched from the super-Eddington accretion disks, and thereby changing the reflection geometry significantly from the thin disk picture. We carry out theoretical investigations on this topic by focusing on the Fe K$\alpha$ fluorescent lines produced from super-Eddington disks, and show that their line profiles are shaped by the funnel geometry and wind acceleration. We also systematically compare the Fe line profiles from super-Eddington thick disks to those from thin disks, and find that the former are substantially more blueshifted and symmetric in shape. These results are consistent with the observed Fe K$\alpha$ line from the jetted tidal disruption event, Swift J1644, in which a transient super-Eddington accretion disk was formed out of stellar debris. Therefore, careful analysis of the Fe K$\alpha$ line profile can be used to identify systems undergoing super-Eddington accretion.


title: Rest-frame FUV-to-FIR view of Lyman break galaxies at $z\sim3$: Templates and dust attenuation

abstract: This work explores from a statistical point of view the rest-frame Far-ultraviolet (FUV) to Far-infrared (FIR) emission of a population of Lyman break galaxies (LBGs) at $z\sim3$ that cannot be individually detected from current FIR observations. We perform a stacking analysis over a sample of $\sim$17000 LBGs at redshift $2.5<z<3.5$ in the COSMOS field. The sample is binned as a function of UV luminosity ($L_{\mathrm{FUV}}$), UV continuum slope ($\beta_{\mathrm{UV}}$), and stellar mass (M$_{*}$), and then, stacked at optical ($BVriz$ bands), near-infrared ($YJHKs$ bands), IRAC (3.6, 4.5, 5.6 and 8.0 $\mu$m), MIPS (24$\mu$m), PACS (100 and 160~$\mu$m), SPIRE (250, 350, and 500~$\mu$m), and AzTEC (1.1mm) observations. We obtain thirty rest-frame FUV-to-FIR spectral energy distribution (SEDs) of LBGs at $z\sim3$, and analyse them with CIGALE SED-fitting analysis code. We are able to derive fully consistent physical parameters (M$_{*}$, $\beta_{\mathrm{UV}}$, $L_{\mathrm{FUV}}$, $L_{\mathrm{IR}}$, A$_{FUV}$, SFR, and slope of the dust attenuation law), and build a semi-empirical library of thirty rest-frame FUV-to-FIR stacked LBG SEDs as a function of $L_{\mathrm{FUV}}$, $\beta_{\mathrm{UV}}$, and M$_{*}$. We used the so-called IR-excess ($IRX \equiv L_{\mathrm{IR}} / L_{\mathrm{FUV}}$) to investigate the dust attenuation as a function of $\beta_{\mathrm{UV}}$ and M$_{*}$. Additionally, the SED-fitting analysis results provide a diversity of dust attenuation curve along the LBG sample, and their slope are well correlated with M$_{*}$. Stepper dust attenuations curves than Calzetti's are favoured in low stellar mass LBGs ($\log(M_{*} [M_{\odot}]) < 10.25$), while grayer ones are favoured in high stellar mass LBGs ($\log(M_{*} [M_{\odot}]) > 10.25$).


title: Oscillating Composite Asymmetric Dark Matter

abstract: The asymmetric dark matter (ADM) scenario can solve the coincidence problem between the baryon and the dark matter (DM) abundance when the DM mass is of ${\cal O}(1)\,$GeV. In the ADM scenarios, composite dark matter is particularly motivated, as it can naturally provide the DM mass in the ${\cal O}(1)\,$GeV range and a large annihilation cross section simultaneously. In this paper, we discuss the indirect detection constraints on the composite ADM model. The portal operators connecting the $B-L$ asymmetries in the dark and the Standard Model(SM) sectors are assumed to be generated in association with the seesaw mechanism. In this model, composite dark matter inevitably obtains a tiny Majorana mass which induces a pair-annihilation of ADM at late times. We show that the model can be efficiently tested by the searches for the $\gamma$-ray from the dwarf spheroidal galaxies and the interstellar electron/positron flux.


title: ServerMix: Tradeoffs and Challenges of Serverless Data Analytics

abstract: Serverless computing has become very popular today since it largely simplifies cloud programming. Developers do not need to longer worry about provisioning or operating servers, and they pay only for the compute resources used when their code is run. This new cloud paradigm suits well for many applications, and researchers have already begun investigating the feasibility of serverless computing for data analytics. Unfortunately, today's serverless computing presents important limitations that make it really difficult to support all sorts of analytics workloads. This paper first starts by analyzing three fundamental trade-offs of today's serverless computing model and their relationship with data analytics. It studies how by relaxing disaggregation, isolation, and simple scheduling, it is possible to increase the overall computing performance, but at the expense of essential aspects of the model such as elasticity, security, or sub-second activations, respectively. The consequence of these trade-offs is that analytics applications may well end up embracing hybrid systems composed of serverless and serverful components, which we call Servermix in this paper. We will review the existing related work to show that most applications can be actually categorized as Servermix. Finally, this paper will introduce the major challenges of the CloudButton research project to manage these trade-offs.


title: Athermal Fracture of Elastic Networks: How Rigidity Challenges the Unavoidable Size-Induced Brittleness

abstract: By performing extensive simulations with unprecedentedly large system sizes, we unveil how rigidity influences the fracture of disordered materials. We observe the largest damage in networks with connectivity close to the isostatic point and when the rupture thresholds are small. However, regardless of network and spring properties, a more brittle fracture is observed upon increasing system size. Differently from most of the fracture descriptors, the maximum stress drop, a proxy for brittleness, displays a universal non-monotonic dependence on system size. Based on this uncommon trend it is possible to identify the characteristic system size $L^*$ at which brittleness kicks in. The more the disorder in network connectivity or in spring thresholds, the larger $L^*$. Finally, we speculate how this size-induced brittleness is influenced by thermal fluctuations.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Revisiting Explicit Negation in Answer Set Programming

abstract: A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson's strong negation. Under consideration for acceptance in TPLP.


title: T-Norms Driven Loss Functions for Machine Learning

abstract: Neural-symbolic approaches have recently gained popularity to inject prior knowledge into a learner without requiring it to induce this knowledge from data. These approaches can potentially learn competitive solutions with a significant reduction of the amount of supervised data. A large class of neural-symbolic approaches is based on First-Order Logic to represent prior knowledge, relaxed to a differentiable form using fuzzy logic. This paper shows that the loss function expressing these neural-symbolic learning tasks can be unambiguously determined given the selection of a t-norm generator. When restricted to supervised learning, the presented theoretical apparatus provides a clean justification to the popular cross-entropy loss, which has been shown to provide faster convergence and to reduce the vanishing gradient problem in very deep structures. However, the proposed learning formulation extends the advantages of the cross-entropy loss to the general knowledge that can be represented by a neural-symbolic method. Therefore, the methodology allows the development of a novel class of loss functions, which are shown in the experimental results to lead to faster convergence rates than the approaches previously proposed in the literature.


title: Probing the relativistic mean field effective NN forces for fusion of spherical colliding nuclei within a dynamical model

abstract: For the first time, the precise data on the above barrier fusion (capture) cross-sections for the reactions involving spherical colliding nuclei are quantitatively analyzed using the relativistic mean-field effective interaction. The parameter sets NL1, NL2, NL3, and HS are employed. The analysis is performed within the framework of the fluctuation-dissipation model with surface friction based on the double-folding approach for the nucleus-nucleus potential. The effective interactions, as well as the resulting potentials, are confronted with the ones obtained using the M3Y NN forces. Of the four studied NN interactions, the Coulomb barrier appears for the nucleus-nucleus potentials corresponding to the NL2 and HS parameter sets when the exchange forces are added to the effective interaction. The heights and radii of the barriers obtained using these two parameter sets are very close to each other. The NL2 potential is used for analyzing the fusion cross-section data for five reactions. The results of dynamical calculations are in good agreement with the experimental data.


title: Study of fractional evolution equations involving Hilfer fractional derivative of order $1<\gamma<2$ and type $0 \leq \delta \leq 1$

abstract: In this paper we investigate fractional differential equations with Hilfer fractional derivative of order $1<\gamma<2$ and type $\delta \in [0,1]$ in a Banach space. We introduce a family of general fractional cosine operator functions of order $1<\gamma<2$ and type $\delta \in [0,1]$ and discuss their properties to give a suitable definition of mild solution of a semilinear evolution equation. In last section an example is presented.


title: Using positive spanning sets to achieve d-stationarity with the Boosted DC Algorithm

abstract: The Difference of Convex functions Algorithm (DCA) is widely used for minimizing the difference of two convex functions. A recently proposed accelerated version, termed BDCA for Boosted DC Algorithm, incorporates a line search step to achieve a larger decrease of the objective value at each iteration. Thanks to this step, BDCA usually converges much faster than DCA in practice. The solutions found by DCA are guaranteed to be critical points of the problem, but these may not be local minima. Although BDCA tends to improve the objective value of the solutions it finds, these are frequently just critical points as well. In this paper we combine BDCA with a simple Derivative-Free Optimization (DFO) algorithm to force the d-stationarity (lack of descent direction) at the point obtained. The potential of this approach is illustrated through some computational experiments on a Minimum-Sum-of-Squares clustering problem. Our numerical results demonstrate that the new method provides better solutions while still remains faster than DCA in the majority of test cases.


title: Dimerization and effective decoupling in two spin-1 generalizations of the spin-1/2 Majumdar-Ghosh chain

abstract: We perform a systematic DMRG investigation of the two natural spin-1 generalizations of the spin-1/2 Majumdar-Ghosh chain, the spin-1 $J_1-J_2$ Heisenberg chain, where $J_2$ is a next-nearest neighbor Heisenberg coupling, and the spin-1 $J_1-J_3$ model, where $J_3$ refers to a three-site interaction defined by $J_3\left[({\bf S}_{i-1}\cdot {\bf S}_i)({\bf S}_i\cdot {\bf S}_{i+1})+\mathrm {H.c.}\right]$. Although both models are rigorously equivalent to the Majumdar-Ghosh chain for spin-1/2, their physics appears to be quite different for spin 1. Indeed, when all couplings are antiferromagnetic, the spin-1 $J_1-J_2$ model undergoes an effective decoupling into two next-nearest neighbour (NNN) Haldane chains upon increasing $J_2$, while the $J_1-J_3$ chain undergoes a spontaneous dimerization similar to the spin-1/2 Majumdar-Ghosh chain upon increasing $J_3$. By extending the phase diagram to all signs of the couplings, we show that both the dimerized and the NNN-Haldane phase are actually present in the $J_1-J_3$ model, the former one adjacent to the Haldane one, the latter one to the ferromagneric one, with an Ising transition between them. By contrast, the $J_1-J_2$ chain only has a NNN-Haldane phase between the Haldane phase and the ferromagnetic phase for positive $J_2$. In both cases, our DMRG data are consistent with a continuous Kosterlitz-Thouless transition between the NNN-Haldane and the ferromagnetic phases.


title: Local stabilization of an unstable parabolic equation via saturated controls

abstract: We derive a saturated feedback control, which locally stabilizes a linear reaction-diffusion equation. In contrast to most other works on this topic, we do not assume the Lyapunov stability of the uncontrolled system and consider general unstable systems. Using Lyapunov methods, we provide estimates for the region of attraction for the closed-loop system, given in terms of linear and bilinear matrix inequalities. We show that our results can be used with distributed as well as scalar boundary control, and with different types of saturations. The efficiency of the proposed method is demonstrated by means of numerical simulations.


title: Context-Integrated and Feature-Refined Network for Lightweight Object Parsing

abstract: Semantic segmentation for lightweight object parsing is a very challenging task, because both accuracy and efficiency (e.g., execution speed, memory footprint or computational complexity) should all be taken into account. However, most previous works pay too much attention to one-sided perspective, either accuracy or speed, and ignore others, which poses a great limitation to actual demands of intelligent devices. To tackle this dilemma, we propose a novel lightweight architecture named Context-Integrated and Feature-Refined Network (CIFReNet). The core components of CIFReNet are the Long-skip Refinement Module (LRM) and the Multi-scale Context Integration Module (MCIM). The LRM is designed to ease the propagation of spatial information between low-level and high-level stages. Furthermore, channel attention mechanism is introduced into the process of long-skip learning to boost the quality of low-level feature refinement. Meanwhile, the MCIM consists of three cascaded Dense Semantic Pyramid (DSP) blocks with image-level features, which is presented to encode multiple context information and enlarge the field of view. Specifically, the proposed DSP block exploits a dense feature sampling strategy to enhance the information representations without significantly increasing the computation cost. Comprehensive experiments are conducted on three benchmark datasets for object parsing including Cityscapes, CamVid, and Helen. As indicated, the proposed method reaches a better trade-off between accuracy and efficiency compared with the other state-of-the-art methods.


title: Single Level Feature-to-Feature Forecasting with Deformable Convolutions

abstract: Future anticipation is of vital importance in autonomous driving and other decision-making systems. We present a method to anticipate semantic segmentation of future frames in driving scenarios based on feature-to-feature forecasting. Our method is based on a semantic segmentation model without lateral connections within the upsampling path. Such design ensures that the forecasting addresses only the most abstract features on a very coarse resolution. We further propose to express feature-to-feature forecasting with deformable convolutions. This increases the modelling power due to being able to represent different motion patterns within a single feature map. Experiments show that our models with deformable convolutions outperform their regular and dilated counterparts while minimally increasing the number of parameters. Our method achieves state of the art performance on the Cityscapes validation set when forecasting nine timesteps into the future.


title: Positive definite radial kernels on homogeneous trees and products

abstract: We give a new proof of a classical result which provides a one-to-one correspondence between positive definite radial kernels on a homogeneous tree and finite Borel measures on the interval $[-1,1]$. Our methods allow us to find a new characterisation in terms of positive trace-class operators on $\ell_2$. Furthermore, we extend both characterisations to finite products of homogeneous trees. The proof relies on a formula for the norm of radial Schur multipliers, in the spirit of Haagerup--Steenstrup--Szwarc, and a variation of the Hamburger moment problem.


title: Online Subspace Tracking for Damage Propagation Modeling and Predictive Analytics: Big Data Perspective

abstract: We analyze damage propagation modeling of turbo-engines in a data-driven approach. We investigate subspace tracking assuming a low dimensional manifold structure and a static behavior during the healthy state of the machines. Our damage propagation model is based on the deviation of the data from the static behavior and uses the notion of health index as a measure of the condition. Hence, we incorporate condition-based maintenance and estimate the remaining useful life based on the current and previous health indexes. This paper proposes an algorithm that adapts well to the dynamics of the data and underlying system, and reduces the computational complexity by utilizing the low dimensional manifold structure of the data. A significant performance improvement is demonstrated over existing methods by using the proposed algorithm on CMAPSS Turbo-engine datasets.


title: On the integral representation of variational functionals on $BD$

abstract: Following the global method for relaxation we prove an integral representation result for a large class of variational functionals naturally defined on the space of functions with Bounded Deformation. Mild additional continuity assumptions are required on the functionals.


title: Lower central words in finite $p$-groups

abstract: It is well known that the set of values of a lower central word in a group $G$ need not be a subgroup. For a fixed lower central word $\gamma_r$ and for $p\ge 5$, Guralnick showed that if $G$ is a finite $p$-group such that the verbal subgroup $\gamma_r(G)$ is abelian and 2-generator, then $\gamma_r(G)$ consists only of $\gamma_r$-values. In this paper we extend this result, showing that the assumption that $\gamma_r(G)$ is abelian can be dropped. Moreover, we show that the result remains true even if $p=3$. Finally, we prove that the analogous result for pro-$p$ groups is true.


title: Thermodynamics of Antiferromagnetic Solids in Magnetic Fields

abstract: We analyze the thermodynamic properties of antiferromagnetic solids subjected to a combination of mutually orthogonal uniform magnetic and staggered fields. Low-temperature series for the pressure, order parameter and magnetization up to two-loop order in the effective expansion are established. We evaluate the self-energy and the dispersion relation of the dressed magnons in order to discuss the impact of spin-wave interactions on thermodynamic observables.


title: Exploranative Code Quality Documents

abstract: Good code quality is a prerequisite for efficiently developing maintainable software. In this paper, we present a novel approach to generate exploranative (explanatory and exploratory) data-driven documents that report code quality in an interactive, exploratory environment. We employ a template-based natural language generation method to create textual explanations about the code quality, dependent on data from software metrics. The interactive document is enriched by different kinds of visualization, including parallel coordinates plots and scatterplots for data exploration and graphics embedded into text. We devise an interaction model that allows users to explore code quality with consistent linking between text and visualizations; through integrated explanatory text, users are taught background knowledge about code quality aspects. Our approach to interactive documents was developed in a design study process that included software engineering and visual analytics experts. Although the solution is specific to the software engineering scenario, we discuss how the concept could generalize to multivariate data and report lessons learned in a broader scope.


title: Trees with a large Laplacian eigenvalue multiplicity

abstract: In this paper, we study the multiplicity of the Laplacian eigenvalues of trees. It is known that for trees, integer Laplacian eigenvalues larger than $1$ are simple and also the multiplicity of Laplacian eigenvalue $1$ has been well studied before. Here we consider the multiplicities of the other (non-integral) Laplacian eigenvalues. We give an upper bound and determine the trees of order $n$ that have a multiplicity that is close to the upper bound $\frac{n-3}{2}$, and emphasize the particular role of the algebraic connectivity.


title: Annotation-Free Cardiac Vessel Segmentation via Knowledge Transfer from Retinal Images

abstract: Segmenting coronary arteries is challenging, as classic unsupervised methods fail to produce satisfactory results and modern supervised learning (deep learning) requires manual annotation which is often time-consuming and can some time be infeasible. To solve this problem, we propose a knowledge transfer based shape-consistent generative adversarial network (SC-GAN), which is an annotation-free approach that uses the knowledge from publicly available annotated fundus dataset to segment coronary arteries. The proposed network is trained in an end-to-end fashion, generating and segmenting synthetic images that maintain the background of coronary angiography and preserve the vascular structures of retinal vessels and coronary arteries. We train and evaluate the proposed model on a dataset of 1092 digital subtraction angiography images, and experiments demonstrate the supreme accuracy of the proposed method on coronary arteries segmentation.


title: Multi-level Domain Adaptive learning for Cross-Domain Detection

abstract: In recent years, object detection has shown impressive results using supervised deep learning, but it remains challenging in a cross-domain environment. The variations of illumination, style, scale, and appearance in different domains can seriously affect the performance of detection models. Previous works use adversarial training to align global features across the domain shift and to achieve image information transfer. However, such methods do not effectively match the distribution of local features, resulting in limited improvement in cross-domain object detection. To solve this problem, we propose a multi-level domain adaptive model to simultaneously align the distributions of local-level features and global-level features. We evaluate our method with multiple experiments, including adverse weather adaptation, synthetic data adaptation, and cross camera adaptation. In most object categories, the proposed method achieves superior performance against state-of-the-art techniques, which demonstrates the effectiveness and robustness of our method.


title: Light Dark Matter Search with Ionization Signals in XENON1T

abstract: We report constraints on light dark matter (DM) models using ionization signals in the XENON1T experiment. We mitigate backgrounds with strong event selections, rather than requiring a scintillation signal, leaving an effective exposure of $(22 \pm 3)$ tonne-days. Above $\sim\!0.4\,\mathrm{keV}_\mathrm{ee}$, we observe $<1 \, \text{event}/(\text{tonne} \times \text{day} \times \text{keV}_\text{ee})$, which is more than one thousand times lower than in similar searches with other detectors. Despite observing a higher rate at lower energies, no DM or CEvNS detection may be claimed because we cannot model all of our backgrounds. We thus exclude new regions in the parameter spaces for DM-nucleus scattering for DM masses $m_\chi$ within $3-6\,\mathrm{GeV}/\mathrm{c}^2$, DM-electron scattering for $m_\chi > 30\,\mathrm{MeV}/\mathrm{c}^2$, and absorption of dark photons and axion-like particles for $m_\chi$ within $0.186 - 1 \, \mathrm{keV}/\mathrm{c}^2$.


title: Variable Metric Forward-Backward Algorithm for Composite Minimization Problems

abstract: We present a forward-backward-based algorithm to minimize a sum of a differentiable function and a nonsmooth function, both being possibly nonconvex. The main contribution of this work is to consider the challenging case where the nonsmooth function corresponds to a sum of non-convex functions, resulting from composition between a strictly increasing, concave, differentiable function and a convex nonsmooth function. The proposed variable metric Composite Function Forward-Backward algorithm (C2FB) circumvents the explicit, and often challenging, computation of the proximity operator of the composite functions through a majorize-minimize approach. Precisely, each composite function is majorized using a linear approximation of the differentiable function, which allows one to apply the proximity step only to the sum of the nonsmooth functions. We prove the convergence of the algorithm iterates to a critical point of the objective function leveraging the Kurdyka-\L ojasiewicz inequality. The convergence is guaranteed even if the proximity operators are computed inexactly, considering relative errors. We show that the proposed approach is a generalization of reweighting methods, with convergence guarantees. In particular, applied to the log-sum function, our algorithm reduces to a generalized version of the celebrated reweighted $\ell_1$ method. Finally, we show through simulations on an image processing problem that the proposed C2FB algorithm necessitates less iterations to converge and leads to better critical points compared with traditional reweighting methods and classic forward-backward algorithms.


title: The Structure of Biquandle Brackets

abstract: In their paper entitled "Quantum Enhancements and Biquandle Brackets," Nelson, Orrison, and Rivera introduced biquandle brackets, which are customized skein invariants for biquandle-colored links. We prove herein that if a biquandle bracket is the pointwise product of another biquandle bracket with some function $\phi$, then $\phi$ is a a biquandle 2-cocycle (up to a constant multiple). As an application, we show that a new invariant introduced by Yang factors in this way, which allows us to show that the new invariant is in fact equivalent to the Jones polynomial on knots. Additionally, we provide a few new results about the structure of biquandle brackets and their relationship with biquandle 2-cocycles.


title: Coherently controlled generation of single-cycle terahertz pulses from thin layer of nonlinear medium with low-frequency resonances

abstract: We propose a novel scheme to generate single-cycle terahertz (THz) pulses via reflection of an optical femtosecond pulse train from a thin layer of nonlinear resonant medium. Our method is based on a coherent control of low-frequency oscillations and free induction decay in the medium. The specific single-cycle shape of generated THz pulses requires a plane wavefront and detection in the near field. Our theoretical results pave the way to a new, simple and high-efficiency way to generate single-cycle waveshape-tunable terahertz pulses.