title: DETOX: A Redundancy-based Framework for Faster and More Robust Gradient Aggregation

abstract: To improve the resilience of distributed training to worst-case, or Byzantine node failures, several recent approaches have replaced gradient averaging with robust aggregation methods. Such techniques can have high computational costs, often quadratic in the number of compute nodes, and only have limited robustness guarantees. Other methods have instead used redundancy to guarantee robustness, but can only tolerate limited number of Byzantine failures. In this work, we present DETOX, a Byzantine-resilient distributed training framework that combines algorithmic redundancy with robust aggregation. DETOX operates in two steps, a filtering step that uses limited redundancy to significantly reduce the effect of Byzantine nodes, and a hierarchical aggregation step that can be used in tandem with any state-of-the-art robust aggregation method. We show theoretically that this leads to a substantial increase in robustness, and has a per iteration runtime that can be nearly linear in the number of compute nodes. We provide extensive experiments over real distributed setups across a variety of large-scale machine learning tasks, showing that DETOX leads to orders of magnitude accuracy and speedup improvements over many state-of-the-art Byzantine-resilient approaches.


title: Robust Feasibility of Systems of Quadratic Equations Using Topological Degree Theory

abstract: We consider the problem of measuring the margin of robust feasibility of solutions to a system of nonlinear equations. We study the special case of a system of quadratic equations, which shows up in many practical applications such as the power grid and other infrastructure networks. This problem is a generalization of quadratically constrained quadratic programming (QCQP), which is NP-Hard in the general setting. We develop approaches based on topological degree theory to estimate bounds on the robustness margin of such systems. Our methods use tools from convex analysis and optimization theory to cast the problems of checking the conditions for robust feasibility as a nonlinear optimization problem. We then develop inner bound and outer bound procedures for this optimization problem, which could be solved efficiently to derive lower and upper bounds, respectively, for the margin of robust feasibility. We evaluate our approach numerically on standard instances taken from the MATPOWER and NESTA databases of AC power flow equations that describe the steady state of the power grid. The results demonstrate that our approach can produce tight lower and upper bounds on the margin of robust feasibility for such instances.


title: LassoNet: A Neural Network with Feature Sparsity

abstract: Much work has been done recently to make neural networks more interpretable, and one obvious approach is to arrange for the network to use only a subset of the available features. In linear models, Lasso (or $\ell_1$-regularized) regression assigns zero weights to the most irrelevant or redundant features, and is widely used in data science. However the Lasso only applies to linear models. Here we introduce LassoNet, a neural network framework with global feature selection. Our approach enforces a hierarchy: specifically a feature can participate in a hidden unit only if its linear representative is active. Unlike other approaches to feature selection for neural nets, our method uses a modified objective function with constraints, and so integrates feature selection with the parameter learning directly. As a result, it delivers an entire regularization path of solutions with a range of feature sparsity. On systematic experiments, LassoNet significantly outperforms state-of-the-art methods for feature selection and regression. The LassoNet method uses projected proximal gradient descent, and generalizes directly to deep networks. It can be implemented by adding just a few lines of code to a standard neural network.


title: Diffusion with stochastic resetting is invariant to return speed

abstract: The canonical Evans--Majumdar model for diffusion with stochastic resetting to the origin assumes that resetting takes zero time: upon resetting the diffusing particle is teleported back to the origin to start its motion anew. However, in reality, getting from one place to another takes a finite amount of time which must be accounted for as diffusion with resetting already serves as a model for a myriad of processes in physics and beyond. Here we consider a situation where upon resetting the diffusing particle returns to the origin at a finite (rather than infinite) speed. This creates a coupling between the particle's random position at the moment of resetting and its return time, and further gives rise to a non-trivial cross-talk between two separate phases of motion: the diffusive phase and the return phase. We show that each of these phases relaxes to the stead-state in a unique manner; and while this could have also rendered the total relaxation dynamics extremely non-trivial our analysis surprisingly reveals otherwise. Indeed, the time-dependent distribution describing the particle's position in our model is completely invariant to the speed of return. Thus, whether returns are slow or fast, we always recover the result originally obtained for diffusion with instantaneous returns to the origin.


title: Enforcing geometric constraints of virtual normal for depth prediction

abstract: Monocular depth prediction plays a crucial role in understanding 3D scene geometry. Although recent methods have achieved impressive progress in evaluation metrics such as the pixel-wise relative error, most methods neglect the geometric constraints in the 3D space. In this work, we show the importance of the high-order 3D geometric constraints for depth prediction. By designing a loss term that enforces one simple type of geometric constraints, namely, virtual normal directions determined by randomly sampled three points in the reconstructed 3D space, we can considerably improve the depth prediction accuracy. Significantly, the byproduct of this predicted depth being sufficiently accurate is that we are now able to recover good 3D structures of the scene such as the point cloud and surface normal directly from the depth, eliminating the necessity of training new sub-models as was previously done. Experiments on two benchmarks: NYU Depth-V2 and KITTI demonstrate the effectiveness of our method and state-of-the-art performance.


title: The harmonic heat flow of almost complex structures

abstract: We define and study the harmonic heat flow for almost complex structures which are compatible with a Riemannian structure $(M, g)$. This is a tensor-valued version of harmonic map heat flow. We prove that if the initial almost complex structure $J$ has small energy (depending on the norm $|\nabla J|$), then the flow exists for all time and converges to a K\"ahler structure. We also prove that there is a finite time singularity if the initial energy is sufficiently small but there is no K\"ahler structure in the homotopy class. A main technical tool is a version of monotonicity formula, similar as in the theory of the harmonic map heat flow. We also construct an almost complex structure on a flat four tori with small energy such that the harmonic heat flow blows up at finite time with such an initial data.


title: Energy minimizing harmonic almost complex structures

abstract: We study the existence and regularity of energy-minimizing harmonic almost complex structures. We have proved results similar to the theory of harmonic maps, notably the classical results of Schoen-Uhlenbeck and recent advance by Cheeger-Naber.


title: Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models

abstract: This paper is concerned with voting processes on graphs where each vertex holds one of two different opinions. In particular, we study the \emph{Best-of-two} and the \emph{Best-of-three}. Here at each synchronous and discrete time step, each vertex updates its opinion to match the majority among the opinions of two random neighbors and itself (the Best-of-two) or the opinions of three random neighbors (the Best-of-three). Previous studies have explored these processes on complete graphs and expander graphs, but we understand significantly less about their properties on graphs with more complicated structures. In this paper, we study the Best-of-two and the Best-of-three on the stochastic block model $G(2n,p,q)$, which is a random graph consisting of two distinct Erd\H{o}s-R\'enyi graphs $G(n,p)$ joined by random edges with density $q\leq p$. We obtain two main results. First, if $p=\omega(\log n/n)$ and $r=q/p$ is a constant, we show that there is a phase transition in $r$ with threshold $r^*$ (specifically, $r^*=\sqrt{5}-2$ for the Best-of-two, and $r^*=1/7$ for the Best-of-three). If $r>r^*$, the process reaches consensus within $O(\log \log n+\log n/\log (np))$ steps for any initial opinion configuration with a bias of $\Omega(n)$. By contrast, if $r<r^*$, then there exists an initial opinion configuration with a bias of $\Omega(n)$ from which the process requires at least $2^{\Omega(n)}$ steps to reach consensus. Second, if $p$ is a constant and $r>r^*$, we show that, for any initial opinion configuration, the process reaches consensus within $O(\log n)$ steps. To the best of our knowledge, this is the first result concerning multiple-choice voting for arbitrary initial opinion configurations on non-complete graphs.


title: Next-to-leading power corrections to $V+1$ jet production in $N$-jettiness subtraction

abstract: We discuss the subleading power corrections to one-jet production processes in $N$-jettiness subtraction using vector-boson plus jet production as an example. We analytically derive the next-to-leading power leading logarithmic corrections (NLP-LL) through ${\cal O}(\alpha_S)$ in perturbative QCD, and outline the calculation of the next-to-leading logarithmic corrections (NLP-NLL). Our result is differential in the jet transverse momentum and rapidity, and in the vector boson momentum squared and rapidity. We present simple formulae that separate the NLP corrections into universal factors valid for any one-jet cross section and process-dependent matrix-element corrections. We discuss in detail features of the NLP corrections such as the process independence of the leading-logarithmic result that occurs due to the factorization of matrix elements in the subleading soft limit, the occurrence of poles in the non-hemisphere soft function at NLP and the cancellation of potential $\sqrt{\mathcal{T}_1/Q}$ corrections to the $N$-jettiness factorization theorem. We validate our analytic result by comparing them to numerically-fitted coefficients, finding good agreement for both the inclusive and the differential cross sections.


title: A Case Study on Automated Fuzz Target Generation for Large Codebases

abstract: Fuzz Testing is a largely automated testing technique that provides random and unexpected input to a program in attempt to trigger failure conditions. Much of the research conducted thus far into Fuzz Testing has focused on developing improvements to available Fuzz Testing tools and frameworks in order to improve efficiency. In this paper however, we instead look at a way in which we can reduce the amount of developer time required to integrate Fuzz Testing to help maintain an existing codebase. We accomplish this with a new technique for automatically generating Fuzz Targets, the modified versions of programs on which Fuzz Testing tools operate. We evaluated three different Fuzz Testing solutions on the codebase of our industry partner and found a fully automated solution to result in significantly more bugs found with respect to the developer time required to implement said solution. Our research is an important step towards increasing the prevalence of Fuzz Testing by making it simpler to integrate a Fuzz Testing solution for maintaining an existing codebase.


title: Explicit Nikulin configurations on Kummer surfaces

abstract: A Nikulin configuration is the data of $16$ disjoint smooth rational curves on a K3 surface. According to results of Nikulin, the existence of a Nikulin configuration means that the K3 surface is a Kummer surface, moreover the abelian surface from the Kummer structure is determined by the $16$ curves. A classical question of Shioda is about the existence of non isomorphic Kummer structures on the same Kummer K3 surface. The question was studied by several authors, and it was shown that the number of non-isomorphic Kummer structures is finite, but no explicit geometric construction of such structures was given. In a previous paper, we constructed explicitly non isomorphic Kummer structures on some Kummer surfaces. In this paper we generalise the construction to Kummer surfaces with a weaker restriction on the degree of the polarization and we describe some cases where the previous construction does not work.


title: Coupled vector dark energy

abstract: We provide a general framework for studying the evolution of background and cosmological perturbations in the presence of a vector field $A_{\mu}$ coupled to cold dark matter (CDM). We consider an interacting Lagrangian of the form $Q f(X) T_c$, where $Q$ is a coupling constant, $f$ is an arbitrary function of $X=-A_{\mu}A^{\mu}/2$, and $T_c$ is a trace of the CDM energy-momentum tensor. The matter coupling affects the no-ghost condition and sound speed of linear scalar perturbations deep inside the sound horizon, while those of tensor and vector perturbations are not subject to modifications. The existence of interactions also modifies the no-ghost condition of CDM density perturbations. We propose a concrete model of coupled vector dark energy with the tensor propagation speed equivalent to that of light. In comparison to the $Q=0$ case, we show that the decay of CDM to the vector field leads to the phantom dark energy equation of state $w_{\rm DE}$ closer to $-1$. This alleviates the problem of observational incompatibility of uncoupled models in which $w_{\rm DE}$ significantly deviates from $-1$. The maximum values of $w_{\rm DE}$ reached during the matter era are bounded from the CDM no-ghost condition of future de Sitter solutions.


title: Electric Field Intensity Modulated Scattering as a Thin-Film Depth Probe

abstract: Grazing incidence x-ray scattering provides nanostructural information for thin film samples, but single images generally do not provide information on film thickness or the full complex index of refraction. Additionally, for thin films that possess stratification of scatterers vertically within a sample, it can be difficult to determine where those scatterers are positioned. We present an in-situ method to extract film thickness, the index of refraction, and depth information using scattering images taken across a range of incident angles. The underlying theory is presented, and we validate the technique using two sets of polymer thin films. Finally, we discuss how it can be implemented as a general beamline procedure. This technique is applicable to any thin-film material and has potentially far-reaching impact by enabling depth-sensitive information in situ at any grazing incidence-capable beamline.


title: Exactly Solvable Discrete Quantum Mechanical Systems and Multi-indexed Orthogonal Polynomials of the Continuous Hahn and Meixner-Pollaczek Types

abstract: We present new exactly solvable systems of the discrete quantum mechanics with pure imaginary shifts, whose physical range of the coordinate is the whole real line. These systems are shape invariant and their eigenfunctions are described by the multi-indexed continuous Hahn and Meixner-Pollaczek orthogonal polynomials. The set of degrees of these multi-indexed polynomials are $\{\ell_{\mathcal{D}},\ell_{\mathcal{D}}+1,\ell_{\mathcal{D}}+2,\ldots\}$, where $\ell_{\mathcal{D}}$ is an even positive integer ($\mathcal{D}$ : a multi-index set), but they form a complete set of orthogonal basis in the weighted Hilbert space.


title: Automatic Text Line Segmentation Directly in JPEG Compressed Document Images

abstract: JPEG is one of the popular image compression algorithms that provide efficient storage and transmission capabilities in consumer electronics, and hence it is the most preferred image format over the internet world. In the present digital and Big-data era, a huge volume of JPEG compressed document images are being archived and communicated through consumer electronics on daily basis. Though it is advantageous to have data in the compressed form on one side, however, on the other side processing with off-the-shelf methods becomes computationally expensive because it requires decompression and recompression operations. Therefore, it would be novel and efficient, if the compressed data are processed directly in their respective compressed domains of consumer electronics. In the present research paper, we propose to demonstrate this idea taking the case study of printed text line segmentation. Since, JPEG achieves compression by dividing the image into non overlapping 8x8 blocks in the pixel domain and using Discrete Cosine Transform (DCT); it is very likely that the partitioned 8x8 DCT blocks overlap the contents of two adjacent text-lines without leaving any clue for the line separator, thus making text-line segmentation a challenging problem. Two approaches of segmentation have been proposed here using the DC projection profile and AC coefficients of each 8x8 DCT block. The first approach is based on the strategy of partial decompression of selected DCT blocks, and the second approach is with intelligent analysis of F10 and F11 AC coefficients and without using any type of decompression. The proposed methods have been tested with variable font sizes, font style and spacing between lines, and a good performance is reported.


title: Rigid Analytic Vectors in Locally Analytic Representations

abstract: Let $H$ be a uniform pro-$p$ group. Associated to $H$ are rigid analytic affinoid groups $\bbH_n$, and their "wide open" subgroups $\bbH_n^{\circ}$. Denote by $D^\la(H)= C^\la(H)'_b$ the locally analytic distribution algebra of $H$ and by $\DHnn$ Emerton's ring of $\bbH_n^{\circ}$-rigid analytic distributions on $H$. If $V$ is an admissible locally analytic representation of $H$, and if $V_{\bbH_n^\circ-\an}$ denotes the subspace of $\bbH_n^\circ$-rigid analytic vectors (with its intrinsic topology), then we show that the continuous dual of $V_{\bbH_n^\circ-\an}$ is canonically isomorphic to $\DHnn \ot_{D^\la(H)} V'$. From this we deduce the exactness of the functor $V \rightsquigarrow V_{\bbH_n^\circ-\an}$ on the category of admissible locally analytic representations of $H$.


title: The Challenges of Investigating Cryptocurrencies and Blockchain Related Crime

abstract: We increasingly live in a world where there is a balance between the rights to privacy and the requirements for consent, and the rights of society to protect itself. Within this world, there is an ever-increasing requirement to protect the identities involved within financial transactions, but this makes things increasingly difficult for law enforcement agencies, especially in terms of financial fraud and money laundering. This paper reviews the state-of-the-art in terms of the methods of privacy that are being used within cryptocurrency transactions, and in the challenges that law enforcement face.


title: Gauge field fluxes and Bianchi identities in extended field theories

abstract: Tensor hierarchy of Exceptional Field Theories contains gauge fields satisfying certain Bianchi identities with source part governing interaction with standard and exotic branes. These are responsible for tadpole cancellation in compactification schemes and provide consistency constraints for cosmological model building. Analysis of reduction of (10+10)-dimensional DFT into (D+d+d)-dimensional split DFT allows to consider all Bianchi identities of the theory in the form analogous to the ExFT approach. Here we review in details and elaborate on these ideas.


title: Multi-Granularity Fusion Network for Proposal and Activity Localization: Submission to ActivityNet Challenge 2019 Task 1 and Task 2

abstract: This technical report presents an overview of our solution used in the submission to ActivityNet Challenge 2019 Task 1 (\textbf{temporal action proposal generation}) and Task 2 (\textbf{temporal action localization/detection}). Temporal action proposal indicates the temporal intervals containing the actions and plays an important role in temporal action localization. Top-down and bottom-up methods are the two main categories used for proposal generation in the existing literature. In this paper, we devise a novel Multi-Granularity Fusion Network (MGFN) to combine the proposals generated from different frameworks for complementary filtering and confidence re-ranking. Specifically, we consider the diversity comprehensively from multiple perspectives, e.g. the characteristic aspect, the data aspect, the model aspect and the result aspect. Our MGFN achieves the state-of-the-art performance on the temporal action proposal task with 69.85 AUC score and the temporal action localization task with 38.90 mAP on the challenge testing set.


title: Lefschetz-thimble inspired analysis of the Dykhne-Davis-Pechukas method and an application for the Schwinger Mechanism

abstract: Dykhne-Davis-Pechukas (DDP) method is a common approximation scheme for the transition probability in two-level quantum systems, as realized in the Landau-Zener effect, leading to an exponentially damping form comparable to the Schwinger pair production rate. We analyze the foundation of the DDP method using a modern complex technique inspired by the Lefschetz-thimble method. We derive an alternative and more adaptive formula that is useful even when the DDP method is inapplicable. As a benchmark, we study the modified Landau-Zener model and compare results from the DDP and our methods. We then revisit a derivation of the Schwinger Mechanism of particle production under electric fields using the DDP and our methods. We find that the DDP method gets worse for the Sauter type of short-lived electric pulse, while our method is still a reasonable approximation. We also study the Dynamically Assisted Schwinger Mechanism in two methods.


title: New test on general relativity and $f(T)$ torsional gravity from galaxy-galaxy weak lensing surveys

abstract: We use galaxy-galaxy weak lensing data to perform a novel test on general relativity (GR) and $f(T)$ torsional gravity. In particular, we impose strong constraints using the torsional (teleparallel) formulation of gravity in which the deviation from GR is quantified by a single parameter $\alpha$, an approximation which is always valid at low-redshift Universe and weak gravitational fields. We calculate the difference in the deflection angle and eventually derive the modified excess surface density profile, which is mainly affected at small scales. Confronting the predictions with weak lensing data from the Sloan Digital Sky Survey Data Release 7, we obtain the upper bound on the deviation parameter, which, expressed via the dimensionless percentage in the Universe energy content, reads as ${\rm{log_{10}}}\Omega_\alpha\le -18.52_{-0.42}^{+0.80}$(stat)$_{-0.37}^{+1.50}$(sys)$ [R_c/0.015R_{200}]$ with systematics mainly arising from the modelling of astrophysics, upon a reasonable choice of cut-off radius for $f(T)$ gravity in form of $T + \alpha T^2$. To our knowledge, this is the first time that GR is verified at such an accuracy at the corresponding scales.


title: Stochastic Approximation Proximal Method of Multipliers for Convex Stochastic Programming

abstract: This paper considers the problem of minimizing a convex expectation function over a closed convex set, coupled with a set of inequality convex expectation constraints. We present a new stochastic approximation type algorithm, namely the stochastic approximation proximal method of multipliers (PMMSopt) to solve this convex stochastic optimization problem. We analyze regrets of a stochastic approximation proximal method of multipliers for solving convex stochastic optimization problems. Under mild conditions, we show that this algorithm exhibits ${\rm O}(T^{-1/2})$ rate of convergence, in terms of both optimality gap and constraint violation if parameters in the algorithm are properly chosen, when the objective and constraint functions are generally convex, where $T$ denotes the number of iterations. Moreover, we show that, with at least $1-e^{-T^{1/4}}$ probability, the algorithm has no more than ${\rm O}(T^{-1/4})$ objective regret and no more than ${\rm O}(T^{-1/8})$ constraint violation regret. To the best of our knowledge, this is the first time that such a proximal method for solving expectation constrained stochastic optimization is presented in the literature.


title: Reinforcement with Fading Memories

abstract: We study the effect of imperfect memory on decision making in the context of a stochastic sequential action-reward problem. An agent chooses a sequence of actions which generate discrete rewards at different rates. She is allowed to make new choices at rate $\beta$, while past rewards disappear from her memory at rate $\mu$. We focus on a family of decision rules where the agent makes a new choice by randomly selecting an action with a probability approximately proportional to the amount of past rewards associated with each action in her memory. We provide closed-form formulae for the agent's steady-state choice distribution in the regime where the memory span is large ($\mu \to 0$), and show that the agent's success critically depends on how quickly she updates her choices relative to the speed of memory decay. If $\beta \gg \mu$, the agent almost always chooses the best action, i.e., the one with the highest reward rate. Conversely, if $\beta \ll \mu$, the agent chooses an action with a probability roughly proportional to its reward rate.


title: Hierarchy of many-body invariants and quantized magnetization in anomalous Floquet insulators

abstract: We uncover a new family of few-body topological phases in periodically driven fermionic systems in two dimensions. These phases, which we term correlation-induced anomalous Floquet insulators (CIAFIs), are characterized by quantized contributions to the bulk magnetization from multi-particle correlations, and are classified by a family of integer-valued topological invariants. The CIAFI phases do not require many-body localization, but arise in the generic situation of k-particle localization, where the system is localized (due to disorder) for any finite number of particles up to a maximum number, k. We moreover show that, when fully many-body localized, periodically driven systems of interacting fermions in two dimensions are characterized by a quantized magnetization in the bulk, thus confirming the quantization of magnetization of the anomalous Floquet insulator. We demonstrate our results with numerical simulations.


title: Fast Diffusion Inhibits Disease Outbreaks

abstract: We show that the basic reproduction number of an SIS patch model with standard incidence is either strictly decreasing and strictly convex with respect to the diffusion coefficient of infected subpopulation if the patch reproduction numbers of at least two patches in isolation are distinct or constant otherwise. Biologically, it means that fast diffusion of the infected people reduces the risk of infection. This completely solves and generalizes a conjecture by Allen et al. ({\it SIAM J Appl Math}, 67: 1283-1309, 2007). Furthermore, a substantially improved lower bound on the multipatch reproduction number, a generalized monotone result on the spectral bound the Jacobian matrix of the model system at the disease-free equilibrium, and the limiting endemic equilibrium are obtained. The approach and results can be applied to a class of epidemic patch models where only one class of infected compartments migrate between patches and one transmission route is involved.


title: Existence of ideal magnetofluid equilibria without continuous Euclidean symmetries

abstract: We study the existence of steady solutions of ideal magnetofluid systems (ideal MHD and ideal Euler equations) without continuous Euclidean symmetries. It is shown that all nontrivial magnetofluidostatic solutions are locally symmetric, although the symmetry is not necessarily an Euclidean isometry. Furthermore, magnetofluidostatic equations admit both force-free (Beltrami type) and non-force-free (with finite pressure gradients) solutions that do not exhibit invariance under translations, rotations, or their combination. Examples of smooth solutions without continuous Euclidean symmetries in bounded domains are given. Finally, the existence of square integrable solutions of the tangential boundary value problem without continuous Euclidean symmetries is proved.


title: A Model for Grain Boundary Thermodynamics

abstract: Systematic microstructure design requires reliable thermodynamic descriptions of each and all microstructure elements. While such descriptions are well established for most bulk phases, thermodynamic assessment of crystal defects is challenged because of their individualistic nature. In this paper, a model is devised for assessing grain boundary thermodynamics based on available bulk thermodynamic data. We propose a continuous relative atomic density field and its spatial gradients to describe the grain boundary region with reference to the defect-free, homogeneous bulk and derive the grain boundary Gibbs free energy functional. Grain boundary segregation isotherm and phase diagram are computed for a regular binary solid solution, qualitatively discussed for the Pt-Au system. The relationships between the grain boundary's atomic density, excess free volume, and misorientation angle are discussed. Combining the current density-based model with available bulk thermodynamic databases capacitates constructing databases, phase diagrams, and segregation isotherms for grain boundaries, opening possibilities for studying and designing heterogeneous microstructures.


title: On the Hilbert Method in the Kinetic Theory of Multicellular Systems: Hyperbolic Limits and Convergence Proof

abstract: We consider a system of two kinetic equations modelling a multicellular system : The first equation governs the dynamics of cells, whereas the second kinetic equation governs the dynamics of the chemoattractant. For this system, we first prove the existence of global-in-time solution. The proof of existence relies on a fixed point procedure after establishing some a priori estimates. Then, we investigate the hyperbolic limit after rescaling of the kinetic system. It leads to a macroscopic system of Cattaneo type. The rigorous derivation is established thanks to a compactness method.


title: Factorization and resummation: A new paradigm to improve gravitational wave amplitudes. III: the spinning test-body terms

abstract: We present new calculations of the energy flux of a spinning test-body on circular orbits around a Schwarzschild black hole at linear order in the particle spin. We compute the multipolar fluxes up to $\ell=m=6$ using two independent numerical solvers of theTeukolsky equation, one in the time domain and the other in the frequency domain. After linearization in the spin of the particle, we obtain an excellent agreement ($\sim 10^{-5}$) between the two numerical results.The calculation of the multipolar fluxes is also performed analytically (up to $\ell=7$) using the post-Newtonian (PN) expansion of the Teukolsky equation solution; each mode is obtained at 5.5PN order beyond the corresponding leading-order contribution. From the analytical fluxes we obtain the PN-expanded analytical waveform amplitudes. These quantities are then resummed using new procedures either based on the factorization of the orbital contribution (and resumming it independently from the spin-dependent factor) or on the factorization of the tail contribution solely for odd-parity multipoles. We compare these prescriptions and the resummation procedure proposed in Pan et al. [Phys. Rev. D 83 (2011) 064003] to the numerical data. We find that the new procedures significantly improve over the existing one that, notably, is inconsistent with the numerical data for $\ell+m=\text{odd}$ multipoles already at low orbital frequencies. Our study suggests that the approach to waveform resummation used in current effective-one-body-based waveform models should be modified to improve its robustness and accuracy all over the binary parameter space.


title: Jamming-assisted Proactive Eavesdropping over Two Suspicious Communication Links

abstract: This paper studies a new and challenging wireless surveillance problem where a legitimate monitor attempts to eavesdrop two suspicious communication links simultaneously. To facilitate concurrent eavesdropping, our multi-antenna legitimate monitor employs a proactive eavesdropping via jamming approach, by selectively jamming suspicious receivers to lower the transmission rates of the target links. In particular, we are interested in characterizing the achievable eavesdropping rate region for the minimum-mean-squared-error (MMSE) receiver case, by optimizing the legitimate monitor's jamming transmit covariance matrix subject to its power budget. As the monitor cannot hear more than what suspicious links transmit, the achievable eavesdropping rate region is essentially the intersection of the achievable rate region for the two suspicious links and that for the two eavesdropping links. The former region can be purposely altered by the monitor's jamming transmit covariance matrix, whereas the latter region is fixed when the MMSE receiver is employed. Therefore, we first analytically characterize the achievable rate region for the two suspicious links via optimizing the jamming transmit covariance matrix and then obtain the achievable eavesdropping rate region for the MMSE receiver case. Furthermore, we also extend our study to the MMSE with successive interference cancellation (MMSE-SIC) receiver case and characterize the corresponding achievable eavesdropping rate region by jointly optimizing the time-sharing factor between different decoding orders. Finally, numerical results are provided to corroborate our analysis and examine the eavesdropping performance.


title: Structure of 16C from analyses of proton scattering data and the B(E2) problem

abstract: The B(E2) value for the decay of the 2+_1 state in 16C to ground has been the subject of much discussion. Analyses assuming a simple model of two neutrons coupled to a 14C core of the available data, which extend over an order of magnitude,gives reasonable agreement but with an inclusion of a large effective charge for the neutrons. To assess this situation, a large scale (2+4)hw shell model calculation of 16C has been made from which the wave functions have been used to obtain the B(E2) value. As a check, comparison is made with available data on the spectrum of 16C and intermediate-energy elastic proton scattering.


title: Reduction of the $^{17}$O Knight shift in the Superconducting State and the Heat-up Effect by NMR Pulses on Sr$_2$RuO$_4$

abstract: Quite recently, a pronounced drop of $^{17}$O NMR Knight shift in the superconducting (SC) state of an unstrained Sr$_2$RuO$_4$ was reported by Pustogow and Luo ${\it et al.}$ They revealed such behavior from the free-induction decay (FID) signal after a weak RF pulse. We examined this behavior with our single-crystalline Sr$_2$RuO$_4$, and reproduced their result: the peaks of the $^{17}$O-NMR spectra shift in the SC state as long as the RF-pulse power is smaller than a threshold. Furthermore, we measured the temperature variation of the Knight shift by a standard spin-echo method with small-power RF pulses, and found that the spin susceptibility decreases in the SC state. We conclude that our previous results of the invariance of the Knight shift in the SC state were due to instantaneous destruction of superconductivity by the RF pulses. The heat-up effect was characterized by the temperature variation of the Knight shift under various measurement conditions.


title: KNEEL: Knee Anatomical Landmark Localization Using Hourglass Networks

abstract: This paper addresses the challenge of localization of anatomical landmarks in knee X-ray images at different stages of osteoarthritis (OA). Landmark localization can be viewed as regression problem, where the landmark position is directly predicted by using the region of interest or even full-size images leading to large memory footprint, especially in case of high resolution medical images. In this work, we propose an efficient deep neural networks framework with an hourglass architecture utilizing a soft-argmax layer to directly predict normalized coordinates of the landmark points. We provide an extensive evaluation of different regularization techniques and various loss functions to understand their influence on the localization performance. Furthermore, we introduce the concept of transfer learning from low-budget annotations, and experimentally demonstrate that such approach is improving the accuracy of landmark localization. Compared to the prior methods, we validate our model on two datasets that are independent from the train data and assess the performance of the method for different stages of OA severity. The proposed approach demonstrates better generalization performance compared to the current state-of-the-art.


title: Collective excitation branch in the continuum of pair-condensed Fermi gases : analytical study and scaling laws

abstract: The pair-condensed unpolarized spin-$1/2$ Fermi gases have a collective excitation branch in their pair-breaking continuum (V.A. Andrianov, V.N. Popov, 1976). We study it at zero temperature, with the eigenenergy equation deduced from the linearized time-dependent BCS theory and extended analytically to the lower half complex plane through its branch cut, calculating both the dispersion relation and the spectral weights (quasiparticle residues) of the branch. In the case of BCS superconductors, so called because the effect of the ion lattice is replaced by a short-range electron-electron interaction, we also include the Coulomb interaction and we restrict ourselves to the weak coupling limit $\Delta/\mu\to 0^+$ ($\Delta$ is the order parameter, $\mu $ the chemical potential) and to wavenumbers $q=O(1/\xi)$ where $\xi$ is the size of a pair; when the complex energy $z_q$ is expressed in units of $\Delta$ and $q$ in units of $1/\xi$, the branch follows a universal law insensitive to the Coulomb interaction. In the case of cold atoms in the BEC-BCS crossover, only a contact interaction remains, but the coupling strength $\Delta/\mu$ can take arbitrary values, and we study the branch at any wave number. At weak coupling, we predict three scales, that already mentioned $q\approx 1/\xi$, that $q\approx(\Delta/\mu)^{-1/3}/\xi$ where the real part of the dispersion relation has a minimum and that $q\approx (\mu/\Delta)/\xi\approx k_{\rm F}$ ($k_{\rm F}$ is the Fermi wave number) where the branch reaches the edge of its existence domain. Near the point where the chemical potential vanishes on the BCS side, $\mu/\Delta\to 0^+$, where $\xi\approx k_{\rm F}$, we find two scales $q\approx(\mu/\Delta)^{1/2}/\xi$ and $q\approx 1/\xi$. In all cases, the branch has a limit $2\Delta$ and a quadratic start at $q=0$. These results were obtained for $\mu>0$, where the eigenenergy equation admits at least two branch points $\epsilon_a(q)$ and $\epsilon_b(q)$ on the positive real axis, and for an analytic continuation through the interval $[\epsilon_a(q),\epsilon_b(q)] $. We find new continuum branches by performing the analytic continuation through $[\epsilon_b(q),+\infty[$ or even, for $q$ low enough, where there is a third real positive branch point $\epsilon_c(q)$, through $[\epsilon_b(q),\epsilon_c(q)]$ and $[\epsilon_c(q),+\infty[$. On the BEC side $\mu<0$ not previously studied, where there is only one real positive branch point $ \epsilon_a(q)$, we also find new collective excitation branches under the branch cut $[\epsilon_a (q),+\infty[$. For $\mu>0$, some of these new branches have a low-wavenumber exotic hypoacoustic $z_q\approx q^{3/2}$ or hyperacoustic $z_q\approx q^{4/5}$ behavior. For $\mu<0$, we find a hyperacoustic branch and a nonhypoacoustic branch, with a limit $2\Delta$ and a purely real quadratic start at $q=0$ for $\Delta/|\mu|<0.222$.


title: Quantitative Evaluation of a Linear Reduced-order Model based on Particle-image-velocimetry Data of Separated Flow Field around Airfoil

abstract: A quantitative evaluation method for a reduced-order model of the flow field around an NACA0015 airfoil based on particle image velocimetry (PIV) data is proposed in the present paper. The velocity field data obtained by the time-resolved PIV measurement were decomposed into significant modes by a proper orthogonal decomposition (POD) technique, and a linear reduced-order model was then constructed by the linear regression of the time advancement of the POD modes or the sparsity promoting dynamic mode decomposition (DMD). The present evaluation method can be used for the evaluation of the estimation error and the model predictability. The model was constructed using different numbers of POD or DMD modes for order reduction of the fluid data and different methods of estimating the linear coefficients, and the effects of these conditions on the model performance were quantitatively evaluated. The results illustrates that forward (standard) model works the best with two to ten significant DMD modes selected by sparsity promoting DMD.


title: On Observability and Monitoring of Distributed Systems: An Industry Interview Study

abstract: Business success of companies heavily depends on the availability and performance of their client applications. Due to modern development paradigms such as DevOps and microservice architectural styles, applications are decoupled into services with complex interactions and dependencies. Although these paradigms enable individual development cycles with reduced delivery times, they cause several challenges to manage the services in distributed systems. One major challenge is to observe and monitor such distributed systems. This paper provides a qualitative study to understand the challenges and good practices in the field of observability and monitoring of distributed systems. In 28 semi-structured interviews with software professionals we discovered increasing complexity and dynamics in that field. Especially observability becomes an essential prerequisite to ensure stable services and further development of client applications. However, the participants mentioned a discrepancy in the awareness regarding the importance of the topic, both from the management as well as from the developer perspective. Besides technical challenges, we identified a strong need for an organizational concept including strategy, roles and responsibilities. Our results support practitioners in developing and implementing systematic observability and monitoring for distributed systems.


title: Turbulence and Rotation in Solar-Type Stars

abstract: Stellar spectra with a high resolution of 115000 obtained with the HARPS spectrograph provide an opportunity to examine turbulence velocities and their depth distributions in the photosphere of stars. Fourier analysis was performed for 17 iron lines in the spectra of 13 stars with an effective temperature of 4900--6200 K and a logarithm of surface gravity of 3.9--5.0 as well as in the spectrum of the Sun as a star. Models of stellar atmospheres were taken from the MARCS database. The standard concept of isotropic Gaussian microturbulence was assumed in this study. A satisfactory fit between the synthesized profiles of spectral lines and observational data verified the reliability of the Fourier method. The most likely estimates of turbulence velocities, the rotation velocity, and the iron abundance and their photospheric depth distribution profiles were obtained as a result. Microturbulence does not vary to any significant degree with depth, while macroturbulence has a marked depth dependence. The macroturbulence velocity increases with depth in the stellar atmosphere. The higher the effective temperature of a star and the stronger the surface gravity, the steeper the expected macroturbulence gradient. The mean macroturbulence velocity increases for stars with higher temperatures, weaker gravity, and faster rotation. The mean macro- and microturbulence velocities are correlated with each other and with the rotation velocity in the examined stars. The ratio between the macroturbulence velocity and the rotation velocity in solar-type stars varies from 1 (the hottest stars) to 1.7 (the coolest stars). The age dependence of the rotation velocity is more pronounced than that of the velocity of macroturbulent motions.


title: Secure Stream Processing for Medical Data

abstract: Medical data belongs to whom it produces it. In an increasing manner, this data is usually processed in unauthorized third-party clouds that should never have the opportunity to access it. Moreover, recent data protection regulations (e.g., GDPR) pave the way towards the development of privacy-preserving processing techniques. In this paper, we present a proof of concept of a streaming IoT architecture that securely processes cardiac data in the cloud combining trusted hardware and Spark. The additional security guarantees come with no changes to the application's code in the server. We tested the system with a database containing ECGs from wearable devices comprised of 8 healthy males performing a standarized range of in-lab physisical activities (e.g., run, walk, bike). We show that, when compared with standard Spark Streaming, the addition of privacy comes at the cost of doubling the execution time.


title: Rational Approximation and Sobolev-type Orthogonality

abstract: In this paper, we study the sequence of orthogonal polynomials $\{S_n\}_{n=0}^{\infty}$ with respect to the Sobolev-type inner product $$\langle f,g \rangle= \int_{-1}^{1} f(x) g(x) \,d\mu(x) +\sum_{j=1}^{N} \eta_{j} \,f^{(d_j)}(c_{j}) g^{(d_j)}(c_{j}), $$ where $\mu$ is in the Nevai class $\mathbf{M}(0,1)$, $\eta_j >0$, $N,d_j \in \mathbb{Z}_{+}$ and $\{c_1,\dots,c_N\}\subset \mathbb{R} \setminus [-1,1]$. Under some restriction of order in the discrete part of $\langle\cdot,\cdot \rangle$, we prove that for sufficiently large $n$ the zeros of $S_n$ are real, simple, $n-N$ of them lie on $(-1,1)$ and each of the mass points $c_j$ ``attracts'' one of the remaining $N$ zeros. The sequences of associated polynomials $\{S_n^{[k]}\}_{n=0}^{\infty}$ are defined for each $k\in \mathbb{Z}_{+}$. We prove an analogous of Markov's Theorem on rational approximation to a function of certain class of holomorphic functions and we give an estimate of the ``speed'' of convergence.


title: A Fine-Grain Error Map Prediction and Segmentation Quality Assessment Framework for Whole-Heart Segmentation

abstract: When introducing advanced image computing algorithms, e.g., whole-heart segmentation, into clinical practice, a common suspicion is how reliable the automatically computed results are. In fact, it is important to find out the failure cases and identify the misclassified pixels so that they can be excluded or corrected for the subsequent analysis or diagnosis. However, it is not a trivial problem to predict the errors in a segmentation mask when ground truth (usually annotated by experts) is absent. In this work, we attempt to address the pixel-wise error map prediction problem and the per-case mask quality assessment problem using a unified deep learning (DL) framework. Specifically, we first formalize an error map prediction problem, then we convert it to a segmentation problem and build a DL network to tackle it. We also derive a quality indicator (QI) from a predicted error map to measure the overall quality of a segmentation mask. To evaluate the proposed framework, we perform extensive experiments on a public whole-heart segmentation dataset, i.e., MICCAI 2017 MMWHS. By 5-fold cross validation, we obtain an overall Dice score of 0.626 for the error map prediction task, and observe a high Pearson correlation coefficient (PCC) of 0.972 between QI and the actual segmentation accuracy (Acc), as well as a low mean absolute error (MAE) of 0.0048 between them, which evidences the efficacy of our method in both error map prediction and quality assessment.


title: A Deep Learning Based Attack for The Chaos-based Image Encryption

abstract: In this letter, as a proof of concept, we propose a deep learning-based approach to attack the chaos-based image encryption algorithm in \cite{guan2005chaos}. The proposed method first projects the chaos-based encrypted images into the low-dimensional feature space, where essential information of plain images has been largely preserved. With the low-dimensional features, a deconvolutional generator is utilized to regenerate perceptually similar decrypted images to approximate the plain images in the high-dimensional space. Compared with conventional image encryption attack algorithms, the proposed method does not require to manually analyze and infer keys in a time-consuming way. Instead, we directly attack the chaos-based encryption algorithms in a key-independent manner. Moreover, the proposed method can be trained end-to-end. Given the chaos-based encrypted images, a well-trained decryption model is able to automatically reconstruct plain images with high fidelity. In the experiments, we successfully attack the chaos-based algorithm \cite{guan2005chaos} and the decrypted images are visually similar to their ground truth plain images. Experimental results on both static-key and dynamic-key scenarios verify the efficacy of the proposed method.


title: Coronary Artery Segmentation in Cardiac CT Angiography Using 3D Multi-Channel U-net

abstract: Vessel stenosis is a major risk factor in cardiovascular diseases (CVD). To analyze the degree of vessel stenosis for supporting the treatment management, extraction of coronary artery area from Computed Tomographic Angiography (CTA) is regarded as a key procedure. However, manual segmentation by cardiologists may be a time-consuming task, and present a significant inter-observer variation. Although various computer-aided approaches have been developed to support segmentation of coronary arteries in CTA, the results remain unreliable due to complex attenuation appearance of plaques, which are the cause of the stenosis. To overcome the difficulties caused by attenuation ambiguity, in this paper, a 3D multi-channel U-Net architecture is proposed for fully automatic 3D coronary artery reconstruction from CTA. Other than using the original CTA image, the main idea of the proposed approach is to incorporate the vesselness map into the input of the U-Net, which serves as the reinforcing information to highlight the tubular structure of coronary arteries. The experimental results show that the proposed approach could achieve a Dice Similarity Coefficient (DSC) of 0.8 in comparison to around 0.6 attained by previous CNN approaches.


title: Jarlskog determinant and data on flavor matrices

abstract: The essences of the weak CP violation, the quark and lepton Jarlskog invariants, are determined toward future model buildings beyond the Standard Model (SM). The equivalence of two calculations of Jarlskog invariants gives a bound on the CP phase in some parametrization. Satisfying the unitarity condition, we obtain the CKM and MNS matrices from the experimental data, and present the results in matrix forms. The Jarlskog determinant $J^q$ in the quark sector is found to be $\sim 3.11\times 10^{-5}|\sin\delks|$ while $J^\ell$ in the leptonic sector is $\sim 2.96\times 10^{-2}|\sin\delksl|$ in the normal hierarchy parametrization.


title: Near-field energy transfer between a luminescent 2D material and color centers in diamond

abstract: Energy transfer between fluorescent probes lies at the heart of many applications ranging from bio-sensing and -imaging to enhanced photo-detection and light harvesting. In this work, we study F\"orster resonance energy transfer (FRET) between shallow defects in diamond --- nitrogen-vacancy (NV) centers --- and atomically-thin, two-dimensional materials --- tungsten diselenide (WSe$_2$). By means of fluorescence lifetime imaging, we demonstrate the occurrence of FRET in the WSe$_2$/NV system. Further, we show that in the coupled system, NV centers provide an additional excitation pathway for WSe$_2$ photoluminescence. Our results constitute the first step towards the realization of hybrid quantum systems involving single-crystal diamond and two-dimensional materials that may lead to new strategies for studying and controlling spin transfer phenomena and spin valley physics.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Controlling Magnetization of Gr/Ni Composite for Application in High Performance Magnetic Sensors

abstract: Graphene (Gr), a well-known 2D material, has been under intensive investigation in the last decade due to its high potential applications in industry and advanced technological elements. The Gr, while composed with magnetic materials, has opened new opportunities for further developments of magnetic based devices. Here, we report a mass production of Gr/Ni composite powders using electrochemical exfoliation/deposition method with different magnetic strengths of the final composite material. We applied the magnetic composite materials in a magnetoimpedance (MI) based sensor and observed significant enhancement in the MI effect and its field sensitivity. Such magnetic composites with controlled magnetization strengths are coated on the MI-ribbon sensor surface and different MI responses are observed. The MI response of a ribbon coated with a Gr/Ni layer is theoretically determined based on an electrodynamic model with a qualitative consistency between the experimental results and the theoretical model. Our comprehensive study can be applied in high performance functionalized MI based magnetic sensors and devices.


title: Automatic Registration between Cone-Beam CT and Scanned Surface via Deep-Pose Regression Neural Networks and Clustered Similarities

abstract: Computerized registration between maxillofacial cone-beam computed tomography (CT) images and a scanned dental model is an essential prerequisite in surgical planning for dental implants or orthognathic surgery. We propose a novel method that performs fully automatic registration between a cone-beam CT image and an optically scanned model. To build a robust and automatic initial registration method, our method applies deep-pose regression neural networks in a reduced domain (i.e., 2-dimensional image). Subsequently, fine registration is performed via optimal clusters. Majority voting system achieves globally optimal transformations while each cluster attempts to optimize local transformation parameters. The coherency of clusters determines their candidacy for the optimal cluster set. The outlying regions in the iso-surface are effectively removed based on the consensus among the optimal clusters. The accuracy of registration was evaluated by the Euclidean distance of 10 landmarks on a scanned model which were annotated by the experts in the field. The experiments show that the proposed method's registration accuracy, measured in landmark distance, outperforms other existing methods by 30.77% to 70%. In addition to achieving high accuracy, our proposed method requires neither human-interactions nor priors (e.g., iso-surface extraction). The main significance of our study is twofold: 1) the employment of light-weighted neural networks which indicates the applicability of neural network in extracting pose cues that can be easily obtained and 2) the introduction of an optimal cluster-based registration method that can avoid metal artifacts during the matching procedures.


title: Principal components of spiked covariance matrices in the supercritical regime

abstract: In this paper, we study the asymptotic behavior of the extreme eigenvalues and eigenvectors of the spiked covariance matrices, in the supercritical regime. Specifically, we derive the joint distribution of the extreme eigenvalues and the generalized components of their associated eigenvectors in this regime.


title: Optimal Control Problem for Discrete-Time Systems with Colored Multiplicative Noise

abstract: The optimal control problem for discrete-time systems with colored multiplicative noise is discussed in this paper. The problem will be more difficult to deal with than the case of white noise due to the correlation of the adjoining state. By solving the forward and backward stochastic difference equations (FBSDEs), the necessary and sufficient conditions for the solvability of the optimal control problems in both delay-free and one-step input delay case are given.


title: Silhouette Guided Point Cloud Reconstruction beyond Occlusion

abstract: One major challenge in 3D reconstruction is to infer the complete shape geometry from partial foreground occlusions. In this paper, we propose a method to reconstruct the complete 3D shape of an object from a single RGB image, with robustness to occlusion. Given the image and a silhouette of the visible region, our approach completes the silhouette of the occluded region and then generates a point cloud. We show improvements for reconstruction of non-occluded and partially occluded objects by providing the predicted complete silhouette as guidance. We also improve state-of-the-art for 3D shape prediction with a 2D reprojection loss from multiple synthetic views and a surface-based smoothing and refinement step. Experiments demonstrate the efficacy of our approach both quantitatively and qualitatively on synthetic and real scene datasets.


title: BOPcat software package for the construction and testing of tight-binding models and bond-order potentials

abstract: Atomistic models like tight-binding (TB), bond-order potentials (BOP) and classical potentials describe the interatomic interaction in terms of mathematical functions with parameters that need to be adjusted for a particular material. The procedures for constructing TB/BOP models differ from the ones for classical potentials. We developed the BOPcat software package as a modular python code for the construction and testing of TB/BOP parameterizations. It makes use of atomic energies, forces and stresses obtained by TB/BOP calculations with the BOPfox software package. It provides a graphical user interface and flexible control of raw reference data, of derived reference data like defect energies, of automated construction and testing protocols, and of parallel execution in queuing systems. We outline the concepts and usage of the BOPcat software and illustrate its key capabilities by exemplary constructing and testing of an analytic BOP for Fe. The parameterization protocol with a successively increasing set of reference data leads to a magnetic BOP that is transferable to a variety of properties of the ferromagnetic bcc groundstate and to crystal structures that were not part of the training set.


title: Weighted Spectral Efficiency Optimization for Hybrid Beamforming in Multiuser Massive MIMO-OFDM Systems

abstract: In this paper, we consider hybrid beamforming designs for multiuser massive multiple-input multiple-output (MIMO)-orthogonal frequency division multiplexing (OFDM) systems. Aiming at maximizing the weighted spectral efficiency, we propose one alternating maximization framework where the analog precoding is optimized by Riemannian manifold optimization. If the digital precoding is optimized by a locally optimal algorithm, we obtain a locally optimal alternating maximization algorithm. In contrast, if we use a weighted minimum mean square error (MMSE)-based iterative algorithm for digital precoding, we obtain a suboptimal alternating maximization algorithm with reduced complexity in each iteration. By characterizing the upper bound of the weighted arithmetic and geometric means of mean square errors (MSEs), it is shown that the two alternating maximization algorithms have similar performance when the user specific weights do not have big differences. Verified by numerical results, the performance gap between the two alternating maximization algorithms becomes large when the ratio of the maximal and minimal weights among users is very large. Moreover, we also propose a low-complexity closed-form method without iterations. It employs matrix decomposition for the analog beamforming and weighted MMSE for the digital beamforming. Although it is not supposed to maximize the weighted spectral efficiency, it exhibits small performance deterioration compared to the two iterative alternating maximization algorithms and it qualifies as a good initialization for iterative algorithms, saving thereby iterations.


title: AirFace: Lightweight and Efficient Model for Face Recognition

abstract: With the development of convolutional neural network, significant progress has been made in computer vision tasks. However, the commonly used loss function softmax loss and highly efficient network architecture for common visual tasks are not as effective for face recognition. In this paper, we propose a novel loss function named Li-ArcFace based on ArcFace. Li-ArcFace takes the value of the angle through linear function as the target logit rather than through cosine function, which has better convergence and performance on low dimensional embedding feature learning for face recognition. In terms of network architecture, we improved the the perfomance of MobileFaceNet by increasing the network depth, width and adding attention module. Besides, we found some useful training tricks for face recognition. With all the above results, we won the second place in the deepglint-light challenge of LFR2019.


title: Single-Particle properties of a strongly-interacting Bose-Fermi mixture with mass and population imbalance

abstract: We theoretically investigate strong-coupling properties of a Bose-Fermi mixture. In the mass- and population-balanced case, two of the authors have shown that a strong hetero-pairing interaction in this mixture brings about coupling phenomena between Fermi atomic excitations and Bose atomic and composite molecular excitations, that appear as an anomalous multiple peak structure in the single-particle spectral weight (SW). [D. Kharga, {\it et. al.}, J. Phys. Soc. Jpn. {\bf 86}, 084301 (2017)]. In this paper, extending this previous work, we show that, although these many-body phenomena are sensitive to mass and population imbalances between the Bose and Fermi components, SW still exhibits the multiple peak structure in a moderately mass-imbalanced $^{87}$Rb-$^{40}$K and $^{23}$Na-$^{40}$K mixtures. We also point out that the photoemission spectrum is a useful quantity to observe this spectral anomaly. Since a real trapped Bose-Fermi mixture is usually accompanied by mass and (local) population imbalance, our results would contribute to the study of a strongly interacting Bose-Fermi mixture, under realistic imbalanced conditions.


title: Context-encoding Variational Autoencoder for Unsupervised Anomaly Detection -- Short Paper

abstract: Unsupervised learning can leverage large-scale data sources without the need for annotations. In this context, deep learning-based autoencoders have shown great potential in detecting anomalies in medical images. However, especially Variational Autoencoders (VAEs)often fail to capture the high-level structure in the data. We address these shortcomings by proposing the context-encoding Variational Autoencoder (ceVAE), which improves both, the sample, as well as pixelwise results. In our experiments on the BraTS-2017 and ISLES-2015 segmentation benchmarks the ceVAE achieves unsupervised AUROCs of 0.95 and 0.89, respectively, thus outperforming other reported deep-learning based approaches.


title: The Nested_fit data analysis program

abstract: We present here Nested_fit, a Bayesian data analysis code developed for investigations of atomic spectra and other physical data. It is based on the nested sampling algorithm with the implementation of an upgraded lawn mower robot method for finding new live points. For a given data set and a chosen model, the program provides the Bayesian evidence, for the comparison of different hypotheses/models, and the different parameter probability distributions. A large database of spectral profiles is already available (Gaussian, Lorentz, Voigt, Log-normal, etc.) and additional ones can easily added. It is written in Fortran, for an optimized parallel computation, and it is accompanied by a Python library for the results visualization.


title: The 50-100pc scale parent stellar populations of type II supernovae and limitations of single star evolution models

abstract: There is observational evidence of a dearth in core-collapse supernova (ccSN) explosions from stars with zero age main sequence (ZAMS) mass M_0~17-30 Msol, referred to as the 'red supergiant problem'. However, simulations now predict that above 20Msol we should indeed only expect stars within certain pockets of M_0 to produce a visible SN explosion. Validating these predictions requires large numbers of ccSNe of different types with measured M_0, which is challenging. In this paper we explore the reliability of using host galaxy emission lines and the Halpha equivalent width to constrain the age, and thus the M_0 of ccSNe progenitors. We use Binary Population and Spectral Synthesis models to infer a stellar population age from MUSE observations of the ionised gas properties and Halpha EW at the location of eleven ccSNe with reliable M_0 measurements. Comparing our results to published M_0 values, we find that models that do not consider binary systems yield stellar ages that are systematically too young (thus M_0 too large), whereas accounting for binary system interactions typically overpredict the stellar age (thus underpredict M_0). Taking into account the effects of photon leakage bring our M_0 estimates in much closer agreement with expectations. These results highlight the need for careful modelling of diffuse environments, such as are present in the vicinity of type II SNe, before ionised emission line spectra can be used as reliable tracers of progenitor stellar age.


title: Conservation laws and Exact Solutions in Brans-Dicke Cosmology with a Scalar Field

abstract: Scalar-tensor theories have drawn the attention of cosmologist for the past few years because they can provide mechanism to explain the observable phenomena. Moreover, the results of scalar-tensor theories can be applied in higher-order theories of gravity. In this work, we consider a Brans-Dicke scalar field cosmological model that includes a second scalar field minimally coupled to gravity. For the second scalar field we consider the two cases that there exist and there is not any interaction with the Brans-Dicke scalar field. For the two models of our consideration we prove the existence of scaling and de Sitter solutions. Furthermore, we perform an Obsiannikov's classification for the field equations, where we find all the point and contact transformations which leave the gravitational Action Integral invariant. Conservation laws are determined and we show how these can be applied to infer about the integrability of the cosmological models and find new analytic solutions.


title: Weil-Petersson Teichm\"{u}ller space III: dependence of Riemann mappings for Weil-Petersson curves

abstract: The primary purpose of the paper is to study how a Riemann mapping depends on the corresponding Jordan curve. We are mainly concerned with those Jordan curves in the Weil-Petersson class, namely, the corresponding Riemann mappings can be quasiconformally extended to the whole plane with Beltrami coefficients being square integrable under the Poincar\'e metric. We endow the space of all normalized Weil-Petersson curves with a new real Hilbert manifold structure and show that it is topologically equivalent to the standard complex Hilbert manifold structure.


title: On Multidimensional stable-driven Stochastic Differential Equations with Besov drift

abstract: We establish well-posedness results for multidimensional non degenerate $\alpha$-stable driven SDEs with time inhomogeneous singular drifts in $\mathbb{L}^r-{\mathbb B}_{p,q}^{-1+\gamma}$ with $\gamma<1$ and $\alpha$ in $(1,2]$, where $\mathbb{L}^r$ and ${\mathbb B}_{p,q}^{-1+\gamma} $ stand for Lebesgue and Besov spaces respectively. Precisely, we first prove the well-posedness of the corresponding martingale problem and then give a precise meaning to the dynamics of the SDE. This allows us in turn to define an ad hoc notion of weak solution, for which well-posedness holds as well. Our results rely on the smoothing properties of the underlying PDE, which is investigated by combining a perturbative approach with duality results between Besov spaces.


title: A posteriori error estimates for the Allen-Cahn problem

abstract: This work is concerned with the proof of \emph{a posteriori} error estimates for fully-discrete Galerkin approximations of the Allen-Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type \emph{a posteriori} error estimates in the $L^{}_4(0,T;L^{}_4(\Omega))$-norm that depend polynomially upon the inverse of the interface length $\epsilon$. The derivation relies crucially on the availability of a spectral estimate for the linearized Allen-Cahn operator about the approximating solution in conjunction with a continuation argument and a variant of the elliptic reconstruction. The new analysis also appears to improve variants of known \emph{a posteriori} error bounds in $L_2(H^1)$, $L_\infty^{}(L_2^{})$-norms in certain regimes.


title: Air tightness of hBN encapsulation and its impact on Raman spectroscopy of van der Waals materials

abstract: Raman spectroscopy is a precious tool for the characterization of van der Waals materials, e.g. for the determination of the layer number in thin exfoliated flakes. For sensitive materials, however, this method can be dramatically invasive. In particular, the light intensity required to obtain a significant Raman signal is sufficient to immediately photo-oxidize few-layer thick metallic van der Waals materials. In this work we investigated the impact of the environment on Raman characterization of thin NbSe$_2$ crystals. We show that in ambient conditions the flake is locally oxidized even for very low illumination intensity. On the other hand, we observe no degradation if the Raman measurements are performed either in vacuum or on fully hBN-encapsulated samples. Interestingly, we find that covering samples deposited on the usual SiO$_2$ surface only from the top is not sufficient to prevent diffusion of oxygen underneath the layers.


title: Surfaces close to the Severi lines

abstract: Let $X$ be a surface of general type with maximal Albanese dimension: if $K_X^2<\frac{9}{2}\chi(\mathcal{O}_X)$, one has $K_X^2\geq 4\chi(\mathcal{O}_X)+4(q-2)$. We give a complete classification of surfaces for which equality holds for $q(X)\geq 3$: these are surfaces whose canonical model is a double cover of a product elliptic surface branched over an ample divisor with at most negligible singularities which intersects the elliptic fibre twice. We also prove, in the same hypothesis, that a surface $X$ with $K_X^2\neq 4\chi(\mathcal{O}_X)+4(q-2)$ satisfies $K_X^2\geq 4\chi(\mathcal{O}_X)+8(q-2)$ and we give a characterization of surfaces for which the equality holds. These are surfaces whose canonical model is a double cover of an isotrivial smooth elliptic surface branched over an ample divisor with at most negligible singularities whose intersection with the elliptic fibre is $4$.


title: Beta Laguerre ensembles in global regime

abstract: Beta Laguerre ensembles which are generalizations of Wishart ensembles and Laguerre ensembles can be realized as eigenvalues of certain random tridiagonal matrices. Analogous to the Wishart ($\beta=1$) case and the Laguerre ($\beta = 2$) case, for fixed $\beta$, it is known that the empirical distribution of the eigenvalues of these ensembles converges weakly to Marchenko--Pastur distributions, almost surely. The paper restudies the limiting behavior of the empirical distribution but in regimes where the parameter $\beta$ is allowed to vary as a function of the matrix size $N$. We show that the above Marchenko--Pastur law holds as long as $\beta N \to \infty$. When $\beta N \to 2c \in (0, \infty)$, the limit is related to associated Laguerre orthogonal polynomials. Gaussian fluctuations around the limit are also studied.


title: Discovering Association with Copula Entropy

abstract: Discovering associations is of central importance in scientific practices. Currently, most researches consider only linear association measured by correlation coefficient, which has its theoretical limitations. In this paper, we propose a new method for discovering association with copula entropy -- a universal applicable association measure for not only linear cases, but nonlinear cases. The advantage of the method based on copula entropy over traditional method is demonstrated on the NHANES data by discovering more biomedical meaningful associations.

categories: cs.LG cs.IT math.IT q-bio.QM stat.ME stat.ML


title: On a classification algorithm of the integrable two-dimensional lattices via Lie-Rinehart algebras

abstract: In the article the problem of the integrable classification of nonlinear lattices depending on one discrete and two continuous variables is studied. By integrability we mean the presence of reductions of a chain to a system of hyperbolic equations of arbitrarily high order integrable in the Darboux sense. Darboux integrablity admits a remarkable algebraic interpretation: the Lie-Rinehart algebras related to both characteristic directions corresponding to the reduced system of the hyperbolic equations have to be of finite dimension. A classification algorithm based on the properties of the characteristic algebra is discussed. Some classification results are presented.


title: Exclusive Hong-Ou-Mandel zero-coincidence point

abstract: A generalized multi-parameter Hong-Ou-Mandel interferometer is presented which extends the conventional "Mandel dip" configuration to the case where a symmetric biphoton source is used to monitor the contemporary presence of k independent time-delays. Our construction results in a two-input/two-output setup, obtained by concatenating 50:50 beam splitters with a collection of adjustable achromatic wave-plates. For k=1,2 and k=4 explicit examples can be exhibited that prove the possibility of uniquely linking the zero value of the coincidence counts registered at the output of the interferometer, with the contemporary absence of all the time-delays. Interestingly enough the same result cannot be extended to k=3. Besides, the sensitivity of the interferometer is analyzed when the time-delays are affected by the fluctuations over time-scales that are larger than the inverse of the frequency of the pump used to generate the biphoton state.


title: V-PROM: A Benchmark for Visual Reasoning Using Visual Progressive Matrices

abstract: One of the primary challenges faced by deep learning is the degree to which current methods exploit superficial statistics and dataset bias, rather than learning to generalise over the specific representations they have experienced. This is a critical concern because generalisation enables robust reasoning over unseen data, whereas leveraging superficial statistics is fragile to even small changes in data distribution. To illuminate the issue and drive progress towards a solution, we propose a test that explicitly evaluates abstract reasoning over visual data. We introduce a large-scale benchmark of visual questions that involve operations fundamental to many high-level vision tasks, such as comparisons of counts and logical operations on complex visual properties. The benchmark directly measures a method's ability to infer high-level relationships and to generalise them over image-based concepts. It includes multiple training/test splits that require controlled levels of generalization. We evaluate a range of deep learning architectures, and find that existing models, including those popular for vision-and-language tasks, are unable to solve seemingly-simple instances. Models using relational networks fare better but leave substantial room for improvement.


title: Composition polynomials of RNA matrix and $B$-composition polynomials of Riordan pseudo-involution

abstract: Let $\left( g\left( x \right),xg\left( x \right) \right)$ be a Riordan matrix from the Bell subgroup. We denote ${{\left( g\left( x \right),xg\left( x \right) \right)}^{\varphi }}=\left( {{g}^{\left( \varphi \right)}}\left( x \right),x{{g}^{\left( \varphi \right)}}\left( x \right) \right)$, where a matrix power is defined in the standard way. The polynomials ${{c}_{n}}\left( x \right)$ such that ${{g}^{\left( \varphi \right)}}\left( x \right)=\sum\nolimits_{n=0}^{\infty }{{{c}_{n}}}\left( \varphi \right){{x}^{n}}$ will be called composition polynomials. We consider the composition polynomials of the RNA matrix. The construction associated with these polynomials allows the following generalization. If the matrix $\left( g\left( x \right),xg\left( x \right) \right)$ is a pseudo-involution, then there exists a numerical sequence ($B$-sequence) with the generating function $B\left( x \right)$ such that $g\left( x \right)=1+xg\left( x \right)B\left( {{x}^{2}}g\left( x \right) \right)$. The matrix whose $B$-sequence has the generating function $\varphi B\left( x \right)$ will be denoted by $\left( {{g}^{\left[ \varphi \right]}}\left( x \right),x{{g}^{\left[ \varphi \right]}}\left( x \right) \right)$. The polynomials ${{u}_{n}}\left( x \right)$ such that ${{g}^{\left[ \varphi \right]}}\left( x \right)=\sum\nolimits_{n=0}^{\infty }{{{u}_{n}}}\left( \varphi \right){{x}^{n}}$ will be called $B$-composition polynomials. Coefficients of these polynomials are expressed in terms of the $B$-sequence. We show that matrices whose rows correspond to the $B$-composition polynomials are connected with exponential Riordan matrices of the Lagrange subgroup in a certain way. The cases $B\left( x \right)={{\left( 1-x \right)}^{-1}}$ (RNA matrix), $B\left( x \right)=1+x$, $B\left( x \right)=C\left( x \right)$, where $C\left( x \right)$ is the Catalan series, are considered in detail.


title: Interlaced Sparse Self-Attention for Semantic Segmentation

abstract: In this paper, we present a so-called interlaced sparse self-attention approach to improve the efficiency of the \emph{self-attention} mechanism for semantic segmentation. The main idea is that we factorize the dense affinity matrix as the product of two sparse affinity matrices. There are two successive attention modules each estimating a sparse affinity matrix. The first attention module is used to estimate the affinities within a subset of positions that have long spatial interval distances and the second attention module is used to estimate the affinities within a subset of positions that have short spatial interval distances. These two attention modules are designed so that each position is able to receive the information from all the other positions. In contrast to the original self-attention module, our approach decreases the computation and memory complexity substantially especially when processing high-resolution feature maps. We empirically verify the effectiveness of our approach on six challenging semantic segmentation benchmarks.


title: Shape coexistence in the neutron-deficient lead region: A systematic study of lifetimes in the even-even $^{188-200}$Hg with GRIFFIN

abstract: Lifetimes of $2^+_1$ and $4^+_1$ states, as well as some negative-parity and non-yrast states, in $^{188-200}$Hg were measured using $\gamma-\gamma$ electronic fast timing techniques with the LaBr$_3$(Ce) detector array of the GRIFFIN spectrometer. The excited states were populated in the $\epsilon/\beta^+$-decay of $J^\pi =7^+/2^-$ $^{188-200}$Tl produced at the TRIUMF-ISAC facility. The deduced B(E2) values are compared to different interacting boson model predictions. The precision achieved in this work over previous ones allows for a meaningful comparison with the different theoretical models of these transitional Hg isotopes, which confirms the onset of state mixing in $^{190}$Hg.


title: Staged deployment of interactive multi-application HPC workflows

abstract: Running scientific workflows on a supercomputer can be a daunting task for a scientific domain specialist. Workflow management solutions (WMS) are a standard method for reducing the complexity of application deployment on high performance computing (HPC) infrastructure. We introduce the design for a middleware system that extends and combines the functionality from existing solutions in order to create a high-level, staged user-centric operation/deployment model. This design addresses the requirements of several use cases in the life sciences, with a focus on neuroscience. In this manuscript we focus on two use cases: 1) three coupled neuronal simulators (for three different space/time scales) with in-transit visualization and 2) a closed-loop workflow optimized by machine learning, coupling a robot with a neural network simulation. We provide a detailed overview of the application-integrated monitoring in relationship with the HPC job. We present here a novel usage model for large scale interactive multi-application workflows running on HPC systems which aims at reducing the complexity of deployment and execution, thus enabling new science.


title: A Connected Version of the Graph Coloring Game

abstract: The graph coloring game is a two-player game in which, given a graph G and a set of k colors, the two players, Alice and Bob, take turns coloring properly an uncolored vertex of G, Alice having the first move. Alice wins the game if and only if all the vertices of G are eventually colored. The game chromatic number of a graph G is then defined as the smallest integer k for which Alice has a winning strategy when playing the graph coloring game on G with k colors. In this paper, we introduce and study a new version of the graph coloring game by requiring that, after each player's turn, the subgraph induced by the set of colored vertices is connected. The connected game chromatic number of a graph G is then the smallest integer k for which Alice has a winning strategy when playing the connected graph coloring game on G with k colors. We prove that the connected game chromatic number of every outerplanar graph is at most 5 and that there exist outerplanar graphs with connected game chromatic number 4. Moreover, we prove that for every integer k $\ge$ 3, there exist bipartite graphs on which Bob wins the connected coloring game with k colors, while Alice wins the connected coloring game with two colors on every bipartite graph.


title: Comment on Nahimovs et al. `On the probability of finding marked connected components using quantum walks'

abstract: In this comment paper we present two misconceptions found in paper of Nahimovs et al. \emph{On the probability of finding marked connected components using quantum walks}. First, we show that the Theorem 2 (sufficient and necessary condition for a state to be stationary) is incomplete -- it works only if unmarked vertices form a single connected component. Second, we correct derivation of \emph{a} coefficient in the Theorem 3 (lower bound on the probability) and show how to upper bound value of \emph{a}.


title: Dipole and String Solutions of the Kaluza-Klein Theory

abstract: We consider a Kaluza-Klein string solution of five-dimensional spacetime. We study its physical properties as appearing in (3+1) spacetime. This metric embraces several different aspects of solutions. The two most notable examples are the dipole and the boosted dipole solutions. In general, the 4D metric is a rotating stationary solution with both electric and magnetic fields. The extension to the Kaluza-Klein dipole soliton solution is briefly discussed.


title: StarGAN-VC2: Rethinking Conditional Methods for StarGAN-Based Voice Conversion

abstract: Non-parallel multi-domain voice conversion (VC) is a technique for learning mappings among multiple domains without relying on parallel data. This is important but challenging owing to the requirement of learning multiple mappings and the non-availability of explicit supervision. Recently, StarGAN-VC has garnered attention owing to its ability to solve this problem only using a single generator. However, there is still a gap between real and converted speech. To bridge this gap, we rethink conditional methods of StarGAN-VC, which are key components for achieving non-parallel multi-domain VC in a single model, and propose an improved variant called StarGAN-VC2. Particularly, we rethink conditional methods in two aspects: training objectives and network architectures. For the former, we propose a source-and-target conditional adversarial loss that allows all source domain data to be convertible to the target domain data. For the latter, we introduce a modulation-based conditional method that can transform the modulation of the acoustic feature in a domain-specific manner. We evaluated our methods on non-parallel multi-speaker VC. An objective evaluation demonstrates that our proposed methods improve speech quality in terms of both global and local structure measures. Furthermore, a subjective evaluation shows that StarGAN-VC2 outperforms StarGAN-VC in terms of naturalness and speaker similarity. The converted speech samples are provided at http://www.kecl.ntt.co.jp/people/kaneko.takuhiro/projects/stargan-vc2/index.html.


title: Legal entity recognition in an agglutinating language and document connection network for EU Legislation and EU/Hungarian Case Law

abstract: We have developed an application aiming at federated search for EU and Hungarian legislation and jurisdiction. It now contains above 1 million documents, with daily updates. The database holds documents downloaded from the EU sources EUR-Lex and Curia Online as well as public jurisdiction documents from the Constitutional Court of Hungary and The National Office for The Judiciary. The application is termed Justeus. Justeus provides comprehensible search possibilities. Besides free text and metadata (dropdown list) searches, it features hierarchical data structures (concept hierarchy trees) of directory codes and classification as well as subject terms. Justeus collects all links of a particular document to other documents (court judgements citing other case law documents as well as legislation, national court decisions referring to EU regulation etc.) as tables and directed graph networks. Choosing a document, its relations to other documents are visualized in real time as a network. Network graphs help in identifying key documents influencing or referred by many other documents (legislative and/or jurisdictive) and sets of documents predominantly referring to each other (citation networks).


title: A far Ultra-Violet Polarimeter by reflection for Pollux on board LUVOIR

abstract: The ultra-violet (UV) high-resolution spectropolarimeter Pollux is being studied in Europe under CNES leadership for the LUVOIR space mission. LUVOIR is a projected 15-m telescope equipped with a suite of instruments proposed to NASA. Pollux will perform spectropolarimetric measurements from 90 to 400 nm with a resolution of 120000. The spectrograph will be divided in three channels, each with its own polarimeter: far UV (FUV, 90-124.5 nm), mid UV (MUV, 118.5-195 nm), and near UV (NUV, 190-390 nm). We present here our FUV prototype and our investigation to optimize this polarimeter (angle, materials, coating...).


title: Regularizing Proxies with Multi-Adversarial Training for Unsupervised Domain-Adaptive Semantic Segmentation

abstract: Training a semantic segmentation model requires a large amount of pixel-level annotation, hampering its application at scale. With computer graphics, we can generate almost unlimited training data with precise annotation. However,a deep model trained with synthetic data usually cannot directly generalize well to realistic images due to domain shift. It has been observed that highly confident labels for the unlabeled real images may be predicted relying on the labeled synthetic data. To tackle the unsupervised domain adaptation problem, we explore the possibilities to generate high-quality labels as proxy labels to supervise the training on target data. Specifically, we propose a novel proxy-based method using multi-adversarial training. We first train the model using synthetic data (source domain). Multiple discriminators are used to align the features be-tween the source and target domain (real images) at different levels. Then we focus on obtaining and selecting high-quality proxy labels by incorporating both the confidence of the class predictor and that from the adversarial discriminators. Our discriminators not only work as a regularizer to encourage feature alignment but also provide an alternative confidence measure for generating proxy labels. Relying on the generated high-quality proxies, our model can be trained in a "supervised manner" on the target do-main. On two major tasks, GTA5->Cityscapes and SYNTHIA->Cityscapes, our method achieves state-of-the-art results, outperforming the previous by a large margin.


title: Modelling spine locations on dendrite trees using inhomogeneous Cox point processes

abstract: Dendritic spines, which are small protrusions on the dendrites of a neuron, are of interest in neuroscience as they are related to cognitive processes such as learning and memory. We analyse the distribution of spine locations on six different dendrite trees from mouse neurons using point process theory for linear networks. Besides some possible small-scale repulsion, { we find that two of the spine point pattern data sets may be described by inhomogeneous Poisson process models}, while the other point pattern data sets exhibit clustering between spines at a larger scale. To model this we propose an inhomogeneous Cox process model constructed by thinning a Poisson process on a linear network with retention probabilities determined by a spatially correlated random field. For model checking we consider network analogues of the empirical $F$-, $G$-, and $J$-functions originally introduced for inhomogeneous point processes on a Euclidean space. The fitted Cox process models seem to catch the clustering of spine locations between spines, but also posses a large variance in the number of points for some of the data sets causing large confidence regions for the empirical $F$- and $G$-functions.


title: Ruling out the supersoft high-density symmetry energy from the discovery of PSR J0740+6620 with mass $2.14^{+0.10}_{-0.09}M_\odot$

abstract: Using the very recently reported mass $2.14^{+0.10}_{-0.09}M_\odot$ of PSR J0740+6620 together with the data of finite nuclei and the constraints on the equation of state of symmetric nuclear matter at suprasaturation densities from flow data in heavy-ion collisions, we show that the symmetry energy $E_{\rm sym}(n)$ cannot be supersoft so that it becomes negative at suprasaturation densities in neutron stars (NSs) and thus may make the NS have a pure neutron matter core. This is in contrast to the fact that using the mass $2.01 \pm 0.04 M_\odot$ of PSR J0348+0432 as the NS maximum mass cannot rule out the supersoft high-density $E_{\rm sym}(n)$. Furthermore, we find the stiffer high-density $E_{\rm sym}(n)$ based on the existence of $2.14M_\odot$ NSs leads to a strong constraint of $\Lambda_{1.4} \ge 348^{+88}_{-51}$ for the dimensionless tidal deformability of the canonical $1.4M_\odot$ NS.

categories: nucl-th astro-ph.HE astro-ph.SR hep-ph nucl-ex


title: Testing for gravitational preferred directions with galaxy and lensing surveys

abstract: We analyze the sensitivity of galaxy and weak-lensing surveys to detect preferred directions in the gravitational interaction. We consider general theories of gravity involving additional vector degrees of freedom with non-vanishing spatial components in the background. We use a model-independent parametrization of the perturbations equations in terms of four effective parameters, namely, the standard effective Newton constant $G_{eff}$ and slip parameter $\gamma$ for scalar modes and two new parameters $\mu_Q$ and $\mu_h$ for vector and tensor modes respectively, which are required when preferred directions are present. We obtain the expressions for the multipole galaxy power spectrum in redshift space and for the weak-lensing shear, convergence and rotation spectra in the presence of preferred directions. By performing a Fisher matrix forecast analysis, we estimate the sensitivity of a future Euclid-like survey to detect this kind of modification of gravity. We finally compare with the effects induced by violations of statistical isotropy in the primordial power spectrum and identify the observables which could discriminate between them.


title: Linear reconstructions and the analysis of the stable sampling rate

abstract: The theory of sampling and the reconstruction of data has a wide range of applications and a rich collection of techniques. For many methods a core problem is the estimation of the number of samples needed in order to secure a stable and accurate reconstruction. This can often be controlled by the Stable Sampling Rate (SSR). In this paper we discuss the SSR and how it is crucial for two key linear methods in sampling theory: generalized sampling and the recently developed Parametrized Background Data Weak (PBDW) method. Both of these approaches rely on estimates of the SSR in order to be accurate. In many areas of signal and image processing binary samples are crucial and such samples, which can be modelled by Walsh functions, are the core of our analysis. As we show, the SSR is linear when considering binary sampling with Walsh functions and wavelet reconstruction. Moreover, for certain wavelets it is possible to determine the SSR exactly, allowing sharp estimates for the performance of the methods.


title: Parameterized Valiant's Classes

abstract: We define a theory of parameterized algebraic complexity classes in analogy to parameterized Boolean counting classes. We define the classes VFPT and VW[t], which mirror the Boolean counting classes #FPT and #W[t], and define appropriate reductions and completeness notions. Our main contribution is the VW[1]-completeness proof of the parameterized clique family. This proof is far more complicated than in the Boolean world. It requires some new concepts like composition theorems for bounded exponential sums and Boolean-arithmetic formulas. In addition, we also look at two polynomials linked to the permanent with vastly different parameterized complexity.


title: Trait-space patterning and the role of feedback in antigen-immunity coevolution

abstract: Coevolutionary arms races form between interacting populations that constitute each other's environment and respond to mutual changes. This inherently far-from-equilibrium process finds striking manifestations in the adaptive immune system, where highly variable antigens and a finite repertoire of immune receptors coevolve on comparable timescales. This unique challenge to the immune system motivates general questions: How do ecological and evolutionary processes interplay to shape diversity? What determine the endurance and fate of coevolution? Here, we take the perspective of responsive environments and develop a phenotypic model of coevolution between receptors and antigens that both exhibit cross-reactivity (one-to-many responses). The theory predicts that the extent of asymmetry in cross-reactivity is a key determinant of repertoire composition: small asymmetry supports persistent large diversity, whereas strong asymmetry yields long-lived transients of quasispecies in both populations. The latter represents a new type of Turing mechanism. More surprisingly, patterning in the trait space feeds back on population dynamics: spatial resonance between the Turing modes breaks the dynamic balance, leading to antigen extinction or unrestrained growth. Model predictions can be tested via combined genomic and phenotypic measurements. Our work identifies cross-reactivity as an important regulator of diversity and coevolutionary outcome, and reveals the remarkable effect of ecological feedback in pattern-forming systems, which drives evolution toward non-steady states different than the Red Queen persistent cycles.

categories: physics.bio-ph cond-mat.soft nlin.PS q-bio.PE


title: Cities and space: Common power laws and spatial fractal structures

abstract: City size distributions are known to be well approximated by power laws across a wide range of countries. But such distributions are also meaningful at other spatial scales, such as within certain regions of a country. Using data from China, France, Germany, India, Japan, and the US, we first document that large cities are significantly more spaced out than would be expected by chance alone. We next construct spatial hierarchies for countries by first partitioning geographic space using a given number of their largest cities as cell centers, and then continuing this partitioning procedure within each cell recursively. We find that city size distributions in different parts of these spatial hierarchies exhibit power laws that are again far more similar than would be expected by chance alone -- suggesting the existence of a spatial fractal structure.


title: An Empirical Assessment on Affective Reactions of Novice Developers when Applying Test-Driven Development

abstract: We study whether and in which phase Test-Driven Development (TDD) influences affective states of novice developers in terms of pleasure, arousal, dominance, and liking. We performed a controlled experiment with 29 novice developers. Developers in the treatment group performed a development task using TDD, whereas those in the control group used a non-TDD development approach. We compared the affective reactions to the development approaches, as well as to the implementation and testing phases, exploiting a lightweight, powerful, and widely used tool, i.e., Self-Assessment Manikin. We observed that there is a difference between the two development approaches in terms of affective reactions. Therefore, it seems that affective reactions play an important role when applying TDD and their investigation could help researchers to better understand such a development approach