title: Statistics of the separation between sliding rigid rough surfaces: Simulations and extreme value theory approach

abstract: When a rigid rough solid slides on a rigid rough surface, it experiences a random motion in the direction normal to the average contact plane. Here, through simulations of the separation at single-point contact between self-affine topographies, we characterize the statistical and spectral properties of this normal motion. In particular, its rms amplitude is much smaller than that of the equivalent roughness of the two topographies, and depends on the ratio of the slider's lateral size over a characteristic wavelength of the topography. In addition, due to the non-linearity of the sliding contact process, the normal motion's spectrum contains wavelengths smaller than the smallest wavelength present in the underlying topographies. We show that the statistical properties of the normal motion's amplitude are well captured by a simple analytic model based on the extreme value theory framework, extending its applicability to sliding-contact-related topics.


title: Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs

abstract: The VertexCover problem is proven to be computationally hard in different ways: It is NP-complete to find an optimal solution and even NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on many real-world networks the run time to solve VertexCover is way smaller than even the best known FPT-approaches can explain. Similarly, greedy algorithms deliver very good approximations to the optimal solution in practice. We link these observations to two properties that are observed in many real-world networks, namely a heterogeneous degree distribution and high clustering. To formalize these properties and explain the observed behavior, we analyze how a branch-and-reduce algorithm performs on hyperbolic random graphs, which have become increasingly popular for modeling real-world networks. In fact, we are able to show that the VertexCover problem on hyperbolic random graphs can be solved in polynomial time, with high probability. The proof relies on interesting structural properties of hyperbolic random graphs. Since these predictions of the model are interesting in their own right, we conducted experiments on real-world networks showing that these properties are also observed in practice. When utilizing the same structural properties in an adaptive greedy algorithm, further experiments suggest that, on real instances, this leads to better approximations than the standard greedy approach within reasonable time.


title: Cuspidal modules for the derivation Lie algebra over a rational quantum torus

abstract: Let $\mathbb C_Q$ denote a rational quantum torus with $d$ variables, and $\mathcal Z$ be the centre of $\mathbb C_Q$. In this paper we give a explicit description of the structure of the cuspidal modules for the derivation Lie algebra $\mathcal D$ over $\mathbb C_Q$, with an extra associative $\mathcal Z$-action.


title: Dissipative quantum Ising chain as a non-Hermitian Ashkin-Teller model

abstract: We study a quantum Ising chain with tailored bulk dissipation, which can be mapped onto a non-Hermitian Ashkin-Teller model. By exploiting the Kohmoto-den Nijs-Kadanoff transformation, we further map it to a staggered XXZ spin chain with pure-imaginary anisotropy parameters. This allows us to study the eigenstates of the original Liouvillian in great detail. We show that the steady state in each parity sector is a completely mixed state. The uniqueness of each is proved rigorously. We then study the decay modes on the self-dual line corresponding to the uniform XXZ chain and obtain an exact formula for the Liouvillian gap $ g $, the inverse relaxation time, in the thermodynamic limit. The gap $ g $ as a function of dissipation strength $ \Delta $ has a cusp, implying a kind of phase transition for the first decay mode.

categories: cond-mat.stat-mech cond-mat.str-el nlin.SI quant-ph


title: A simultaneous version of Host's equidistribution Theorem

abstract: Let $\mu$ be a probability measure on $\mathbb{R}/\mathbb{Z}$ that is ergodic under the $\times p$ map, with positive entropy. In 1995, Host showed that if $\gcd(m,p)=1$ then $\mu$ almost every point is normal in base $m$. In 2001, Lindenstrauss showed that the conclusion holds under the weaker assumption that $p$ does not divide any power of $m$. In 2015, Hochman and Shmerkin showed that this holds in the "correct" generality, i.e. if $m$ and $p$ are independent. We prove a simultaneous version of this result: for $\mu$ typical $x$, if $m>p$ are independent, we show that the orbit of $(x,x)$ under $(\times m, \times p)$ equidistributes for the product of the Lebesgue measure with $\mu$. We also show that if $m>n>1$ and $n$ is independent of $p$ as well, then the orbit of $(x,x)$ under $(\times m, \times n)$ equidistributes for the Lebesgue measure.


title: The XXL Survey: XXXVI. Evolution and black hole feedback of high-excitation and low-excitation radio galaxies in XXL-S

abstract: The evolution of the comoving kinetic luminosity densities ($\Omega_{\rm{kin}}$) of the radio loud (RL) high-excitation radio galaxies (RL HERGs) and the low-excitation radio galaxies (LERGs) in the XXL-S field is presented. The wide area and deep radio and optical data of XXL-S have allowed the construction of the radio luminosity functions (RLFs) of the RL HERGs and LERGs across a wide range in radio luminosity out to high redshift ($z = 1.3$). The LERG RLFs display weak evolution: $\Phi (z)$ $\propto$ (1+$z$)$^{0.67 \pm 0.17}$ in the pure density evolution (PDE) case and $\Phi (z)$ $\propto$ (1+$z$)$^{0.84 \pm 0.31}$ in the pure luminosity evolution (PLE) case. The RL HERG RLFs demonstrate stronger evolution than the LERGs: $\Phi (z)$ $\propto$ (1+$z$)$^{1.81 \pm 0.15}$ for PDE and $\Phi (z)$ $\propto$ (1+$z$)$^{3.19 \pm 0.29}$ for PLE. Converting $L_{\rm{1.4 GHz}}$ into kinetic luminosities, the evolution of $\Omega_{\rm{kin}}$ was calculated for the RL HERGs and LERGs and compared to the predictions from simulations. The prediction for the evolution of radio mode feedback in the Semi-Analytic Galaxy Evolution model is consistent with the $\Omega_{\rm{kin}}$ evolution for all XXL-S RL AGN, indicating that RL AGN may be able to balance the radiative cooling of the hot phase of the IGM. Simulations that predict the $\Omega_{\rm{kin}}$ evolution of LERG equivalent populations show similar slopes to the XXL-S LERG evolution, indicating that LERGs are well described by models of SMBHs that slowly accrete hot gas. On the other hand, models of RL HERG equivalent populations differ in their predictions. While LERGs dominate the kinetic luminosity output of RL AGN at all redshifts, the evolution of the RL HERGs in XXL-S is weaker compared to what other studies have found. This implies that radio mode feedback from RL HERGs is more prominent at lower redshifts than was previously thought.


title: Relaxation Tribometry: A Generic Method to Identify the Nature of Contact Forces

abstract: Recent years have witnessed the development of so-called relaxation tribometers, the free oscillation of which is altered by the presence of frictional stresses within the contact. So far, analysis of such oscillations has been restricted to the shape of their decaying envelope, to identify in particular solid or viscous friction components. Here, we present a more general expression of the forces possibly acting within the contact , and retain six possible, physically relevant terms. Two of them, which had never been proposed in the context of relaxation tribometry, only affect the oscillation frequency, not the amplitude of the signal. We demonstrate that each of those six terms has a unique signature in the time-evolution of the oscillation, which allows efficient identification of their respective weights in any experimental signal. We illustrate our methodology on a PDMS sphere/glass plate torsional contact.


title: Comment on "Fourier transform of hydrogen-type atomic orbitals'', Can. J. Phys. Vol.\ 96, 724 - 726 (2018) by N. Y\"{u}k\c{c}\"{u} and S. A. Y\"{u}k\c{c}\"{u}

abstract: Podolsky and Pauling (Phys. Rev. \textbf{34}, 109 - 116 (1929)) were the first ones to derive an explicit expression for the Fourier transform of a bound-state hydrogen eigenfunction. Y\"{u}k\c{c}\"{u} and Y\"{u}k\c{c}\"{u}, who were apparently unaware of the work of Podolsky and Pauling or of the numerous other earlier references on this Fourier transform, proceeded differently. They expressed a generalized Laguerre polynomial as a finite sum of powers, or equivalently, they expressed a bound-state hydrogen eigenfunction as a finite sum of Slater-type functions. This approach looks very simple, but it leads to comparatively complicated expressions that cannot match the simplicity of the classic result obtained by Podolsky and Pauling. It is, however, possible to reproduce not only the Podolsky and Pauling formula for the bound-state hydrogen eigenfunction, but to obtain results of similar quality also for the Fourier transforms of other, closely related functions such as Sturmians, Lambda functions or Guseinov's functions by expanding generalized Laguerre polynomials in terms of so-called reduced Bessel functions.


title: Optimal depth-dependent distinguishability bounds for electrical impedance tomography in arbitrary dimension

abstract: The inverse problem of electrical impedance tomography is severely ill-posed. In particular, the resolution of images produced by impedance tomography deteriorates as the distance from the measurement boundary increases. Such depth dependence can be quantified by the concept of distinguishability of inclusions. This paper considers the distinguishability of perfectly conducting ball inclusions inside a unit ball domain, extending and improving known two-dimensional results to an arbitrary dimension $d \geq 2$ with the help of Kelvin transformations. The obtained depth-dependent distinguishability bounds are also proven to be optimal.


title: Widths of resonances above an energy-level crossing

abstract: We study the existence and location of the resonances of a $2\times 2$ semiclassical system of coupled Schr\"odinger operators, in the case where the two electronic levels cross at some point, and one of them is bonding, while the other one is anti-bonding. Considering energy levels just above that of the crossing, we find the asymptotics of both the real parts and the imaginary parts of the resonances close to such energies. This is a continuation of our previous works where we considered energy levels around that of the crossing.


title: The multimode four-photon Hong-Ou-Mandel interference

abstract: The two-photon Hong-Ou-Mandel (HOM) interference is a pure quantum effect which indicates the degree of indistinguishability of photons. The four-photon HOM interference exhibits richer dynamics in comparison to the two-photon interference and simultaneously is more sensitive to the input photon states. We demonstrate theoretically and experimentally an explicit dependency of the four-photon interference to the number of temporal modes, created in the process of parametric down-conversion. Moreover, we exploit the splitting ratio of the beam splitter to manipulate the interference between bunching and antibunching. Our results reveal that the temporal mode structure (multimodeness) of the quantum states shapes many-particle interference.


title: The Hyv\"arinen scoring rule in Gaussian linear time series models

abstract: Likelihood-based estimation methods involve the normalising constant of the model distributions, expressed as a function of the parameter. However in many problems this function is not easily available, and then less efficient but more easily computed estimators may be attractive. In this work we study stationary time-series models, and construct and analyse "score-matching'' estimators, that do not involve the normalising constant. We consider two scenarios: a single series of increasing length, and an increasing number of independent series of fixed length. In the latter case there are two variants, one based on the full data, and another based on a sufficient statistic. We study the empirical performance of these estimators in three special cases, autoregressive (\AR), moving average (MA) and fractionally differenced white noise (\ARFIMA) models, and make comparisons with full and pairwise likelihood estimators. The results are somewhat model-dependent, with the new estimators doing well for $\MA$ and \ARFIMA\ models, but less so for $\AR$ models.


title: Probabilistic Arzela-Ascoli theorem

abstract: We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $\Delta$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if and only if the space G is compact. This gives a probabilistic Arzela-Ascoli type Theorem.


title: Effect of the nanowire diameter on the linearity of the response of GaN-based heterostructured nanowire photodetectors

abstract: Nanowire photodetectors are investigated because of their compatibility with flexible electronics, or for the implementation of on-chip optical interconnects. Such devices are characterized by ultrahigh photocurrent gain, but their photoresponse scales sublinearly with the optical power. Here, we present a study of single-nanowire photodetectors displaying a linear response to ultraviolet illumination. Their structure consists of a GaN nanowire incorporating an AlN/GaN/AlN heterostructure, which generates an internal electric field. The activity of the heterostructure is confirmed by the rectifying behavior of the current-voltage characteristics in the dark, as well as by the asymmetry of the photoresponse in magnitude and linearity. Under reverse bias (negative bias on the GaN cap segment), the detectors behave linearly with the impinging optical power when the nanowire diameter is below a certain threshold ($\approx$ 80 nm), which corresponds to the total depletion of the nanowire stem due to the Fermi level pinning at the sidewalls. In the case of nanowires that are only partially depleted, their nonlinearity is explained by a nonlinear variation of the diameter of their central conducting channel under illumination.


title: Clockwork origin of neutrino mixings

abstract: The clockwork mechanism provides a natural way to obtain hierarchical masses and couplings in a theory. We propose a clockwork model that has nine clockwork generations. In this model, the candidates of the origin of the neutrino mixings are nine Yukawa mass matrix elements $Y^{a\beta}$ that connect neutrinos and clockwork fermions, nine clockwork mass ratios $q_{a\beta}$, and nine numbers of clockwork fermions $n_{a\beta}$, where $a, \beta=1,2,3$. Assuming $|Y^{a\beta}|=1$, the neutrino mixings originate from the pure clockwork sector. We show that the observed neutrino mixings are exactly obtained from a clockwork model in the case of the $q_{a\beta}$ origin scenario. In the $n_{a\beta}$ origin scenario, the correct order of magnitude of the observed neutrino mixings is obtained from a clockwork model.


title: Massive Young Stellar Objects and Outflow in the Infrared-Dark Cloud G79.3+0.3

abstract: G79.3+0.3 is an infrared dark cloud in the Cygnus-X complex that is home to massive deeply embedded young stellar objects (YSOs). We have produced a submillimeter array (SMA) 1.3 mm continuum image and $^{12}$CO line maps of the eastern section of G79.3+0.3 in which we detect five separate YSOs. We have estimated physical parameters for these five YSOs and others in the vicinity of G79.3+0.3 by fitting existing photometry from Spitzer, Herschel, and ground-based telescopes to spectral energy distribution models. Through these model fits we find that the most massive YSOs seen in the SMA 1.3mm continuum emission have masses in the $5 - 6M_{sun}$ range. One of the SMA sources was observed to power a massive collimated $^{12}$CO outflow extending at least 0.94pc in both directions from the protostar, with a total mass of 0.83$M_{sun}$ and a dynamical timescale of 23kyr.


title: Intermediate shock substructures within a slow-mode shock occurring in partially ionised plasma

abstract: Slow-mode shocks are important in understanding fast magnetic reconnection, jet formation and heating in the solar atmosphere, and other astrophysical systems. The atmospheric conditions in the solar chromosphere allow both ionised and neutral particles to exist and interact. Under such conditions, fine substructures exist within slow-mode shocks due to the decoupling and recoupling of the plasma and neutral species. We study numerically the fine substructure within slow-mode shocks in a partially ionised plasma, in particular, analysing the formation of an intermediate transition within the slow-mode shock. High-resolution 1D numerical simulations are performed using the (P\underline{I}P) code using a two-fluid approach. We discover that long-lived intermediate (Alfven) shocks can form within the slow-mode shock, where there is a shock transition from above to below the Alfven speed and a reversal of the magnetic field across the shock front. The collisional coupling provides frictional heating to the neutral fluid, resulting in a Sedov-Taylor-like expansion with overshoots in the neutral velocity and neutral density. The increase in density results in a decrease of the Alfven speed and with this the plasma inflow is accelerated to above the Alfven speed within the finite width of the shock leading to the intermediate transition. This process occurs for a wide range of physical parameters and an intermediate shock is present for all investigated values of plasma-$\beta$, neutral fraction, and magnetic angle. As time advances the magnitude of the magnetic field reversal decreases since the neutral pressure cannot balance the Lorentz force. The intermediate shock is long-lived enough to be considered a physical structure, independent of the initial conditions.


title: Hydrogen supersaturated layers in H/D plasma-loaded tungsten: A global model based on thermodynamics, kinetics and density functional theory data

abstract: In this work, we combine Density Functional Theory data with a Thermodynamic and a kinetic model to determine the total concentration of hydrogen implanted in the sub-surface of tungsten exposed to a hydrogen flux. The sub-surface hydrogen concentration is calculated given a flux of hydrogen, a temperature of implantation, and the energy of the incoming hydrogen ions as independent variables. This global model is built step by step; an equilibrium between atomic hydrogen within bulk tungsten and a molecular hydrogen gas phase is first considered, and the calculated solubility is compared with experimental results. Subsequently, a kinetic model is used to determine the chemical potential for hydrogen in the sub-surface of tungsten. Combining both these models, two regimes are established in which hydrogen is preferentially trapped at either interstitial sites or in vacancies. We deduce from our model that the existence of these two regimes is driven by the temperature of the implanted tungsten sample; above a threshold or transition temperature is the interstitial regime, below is the vacancy regime in which super-saturated layers form within tenths of angstrom below the surface. A simple analytical expression is derived for the coexistence of the two regimes depending on the implantation temperature, the incident energy and the flux of the hydrogen ions which we use to plot the corresponding phase diagram.


title: Center at the critical level for centralizers in type $A$

abstract: We consider the affine vertex algebra at the critical level associated with the centralizer of a nilpotent element in the Lie algebra $\mathfrak{gl}_N$. Due to a recent result of Arakawa and Premet, the center of this vertex algebra is an algebra of polynomials. We construct a family of free generators of the center in an explicit form. As a corollary, we obtain generators of the corresponding quantum shift of argument subalgebras and recover free generators of the center of the universal enveloping algebra of the centralizer produced earlier by Brown and Brundan.


title: Melting of Ferromagnetic Order on a Trellis Ladder

abstract: The ground state properties of a frustrated spin-1/2 system is studied on a trellis ladder which is composed of two zigzag ladders interacting through rung interactions. The presence of rung interaction between the zigzag ladders induces a non-magnetic ground state, although, each of zigzag ladders has ferromagnetic order in weak antiferromagnetic leg interaction limit. The rung interaction also generates rung dimers and opens spin gap which increases rapidly with rung interaction strength. The correlation between spins decreases exponentially with the distance between them.


title: Artificial neural network for myelin water imaging

abstract: Purpose: To demonstrate the application of artificial-neural-network (ANN) for real-time processing of myelin water imaging (MWI). Methods: Three neural networks, ANN-IMWF, ANN-IGMT2, and ANN-II, were developed to generate MWI. ANN-IMWF and ANN-IGMT2 were designed to output myelin water fraction (MWF) and geometric mean T2 (GMT2,IEW), respectively whereas ANN-II generates a T2 distribution. For the networks, gradient and spin echo data from 18 healthy controls (HC) and 26 multiple sclerosis patients (MS) were utilized. Among them, 10 HC and 12 MS had the same scan parameters and were used for training (6 HC and 6 MS), validation (1 HC and 1 MS), and test sets (3 HC and 5 HC). The remaining data had different scan parameters and were applied to exam the effects of the scan parameters. The network results were compared with those of conventional MWI in the white matter mask and regions of interest (ROI). Results: The networks produced highly accurate results, showing averaged normalized root-mean-squared error under 3% for MWF and 0.4% for GMT2,IEW in the white matter mask of the test set. In the ROI analysis, the differences between ANNs and conventional MWI were less than 0.1% in MWF and 0.1 ms in GMT2,IEW (no statistical difference and R2 > 0.97). Datasets with different scan parameters showed increased errors. The average processing time was 0.68 sec in ANNs, gaining 11,702 times acceleration in the computational speed (conventional MWI: 7,958 sec). Conclusion: The proposed neural networks demonstrate the feasibility of real-time processing for MWI with high accuracy.


title: Geodesic completeness of the $H^{3/2}$ metric on $\mathrm{Diff}(S^{1})$

abstract: Of concern is the study of the long-time existence of solutions to the Euler--Arnold equation of the right-invariant $H^{3/2}$-metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long-time solutions if the order $s$ of the metric is greater than $3/2$, the behaviour for the critical Sobolev index $s=3/2$ has been left open. In this article we fill this gap by proving the analogous result also for the boundary case. The behaviour of the $H^{3/2}$-metric is, however, still different from its higher order counter parts, as it does not induce a complete Riemannian metric on any group of Sobolev diffeomorphisms.


title: Critical criteria of Fujita type for a system of inhomogeneous wave inequalities in exterior domains

abstract: We consider blow-up results for a system of inhomogeneous wave inequalities in exterior domains. We will handle three type boundary conditions: Dirichlet type, Neumann type and mixed boundary conditions. We use a unified approach to show the optimal criteria of Fujita type for each case. Our study yields naturally optimal nonexistence results for the corresponding stationary wave system and equation. We provide many new results and close some open questions.


title: On proximal fineness of topological groups in their right uniformity

abstract: A uniform space $X$ is said to be proximally fine if every proximally continuous map on $X$ into a uniform is uniformly continuous. We supply a proof that every topological group which is functionnaly generated by its precompact subsets is proximally fine with respect to its right uniformity. On the other hand, we show that there are various permutation groups $G$ on the integers $\mathbb N$ that are not proximally fine with respect to the topology generated by the sets $\{g\in G: g(A)\subset B\}$, $A,B\subset \mathbb N$.


title: Empirical facts characterizing banking crises: an analysis via binary time series

abstract: Various works have already showed that common shocks and cross-country financial linkages caused the banking systems of several countries to be highly interconnected with the result that during bad times, banking crises may arise simultaneously in different countries. Our aim is to provide further evidence on the topic using a dataset made by dichotomous banking crises time series for 66 countries from 1800 to 2014. Via the use of heatmap matrices we show that several countries exhibit pairwise correlation, which means that banking crises tend to occur in the same year. Clustering analysis suggests that developed countries (for the most European ones) are highly similar in terms of the path of events. An analysis of the events that followed the Great Depression and the Great Recession shows that after the crisis of 2008, banking crises tend to characterize countries tied by financial links whereas before 2008 contagion seems to affect countries in the same geographical area. Clustering analysis shows also that after financial liberalization, crises affected countries with similar economic structures and growth. Further researches should enlighten the origin of these linkages investigating how the process of contagion eventually happens.


title: Minimax semi-supervised confidence sets for multi-class classification

abstract: In this work we study the semi-supervised framework of confidence set classification with controlled expected size in minimax settings. We obtain semi-supervised minimax rates of convergence under the margin assumption and a H{\"o}lder condition on the regression function. Besides, we show that if no further assumptions are made, there is no supervised method that outperforms the semi-supervised estimator proposed in this work. We establish that the best achievable rate for any supervised method is n^{--1/2} , even if the margin assumption is extremely favorable. On the contrary, semi-supervised estimators can achieve faster rates of convergence provided that sufficiently many unlabeled samples are available. We additionally perform numerical evaluation of the proposed algorithms empirically confirming our theoretical findings.


title: Controlled surgery and $\mathbb{L}$-homology

abstract: This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map $(f,b): M^n \rightarrow X^n$ with control map $q: X^n \rightarrow B$ to complete controlled surgery is an element $\sigma^c (f, b) \in H_n (B, \mathbb{L})$, where $M^n, X^n$ are topological manifolds of dimension $n \geq 5$. Our proof uses essentially the geometrically defined $\mathbb{L}$-spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describe the assembly map $H_n (B, \mathbb{L}) \rightarrow L_n (\pi_1 (B))$ in terms of forms in the case $n \equiv 0 (4)$. Finally, we explicitly determine the canonical map $H_n (B, \mathbb{L}) \rightarrow H_n (B, L_0)$.


title: Random interpolating sequences in Dirichlet spaces

abstract: We discuss random interpolation in weighted Dirichlet spaces $\mathcal{D}_\alpha$, $0\leq \alpha\leq 1$. While conditions for deterministic interpolation in these spaces depend on capacities which are very hard to estimate in general, we show that random interpolation is driven by surprisingly simple distribution conditions. As a consequence, we obtain a breakpoint at $\alpha=1/2$ in the behavior of these random interpolating sequences showing more precisely that almost sure interpolating sequences for $\mathcal{D}_\alpha$ are exactly the almost sure separated sequences when $0\le \alpha<1/2$ (which includes the Hardy space $H^2=\mathcal{D}_0$), and they are exactly the almost sure zero sequences for $\mathcal{D}_\alpha$ when $1/2 \leq \alpha\le 1$ (which includes the classical Dirichlet space $\mathcal{D}=\mathcal{D}_1$).


title: The Milnor-Moore theorem for $L_\infty$ algebras in rational homotopy theory

abstract: We give a construction of the universal enveloping $A_\infty$ algebra of a given $L_\infty$ algebra, alternative to the already existing versions. As applications, we derive a higher homotopy algebras version of the classical Milnor-Moore theorem, proposing a new $A_\infty$ model for simply connected rational homotopy types, and uncovering a relationship between the higher order rational Whitehead products in homotopy groups and the Pontryagin-Massey products in the rational loop space homology algebra.


title: On the pointwise convergence of the integral kernels in the Feynman-Trotter formula

abstract: We study path integrals in the Trotter-type form for the Schr\"odinger equation, where the Hamiltonian is the Weyl quantization of a real-valued quadratic form perturbed by a potential $V$ in a class encompassing that - considered by Albeverio and It\^o in celebrated papers - of Fourier transforms of complex measures. Essentially, $V$ is bounded and has the regularity of a function whose Fourier transform is in $L^1$. Whereas the strong convergence in $L^2$ in the Trotter formula, as well as several related issues at the operator norm level are well understood, the original Feynman's idea concerned the subtler and widely open problem of the pointwise convergence of the corresponding probability amplitudes, that are the integral kernels of the approximation operators. We prove that, for the above class of potentials, such a convergence at the level of the integral kernels in fact occurs, uniformly on compact subsets and for every fixed time, except for certain exceptional time values for which the kernels are in general just distributions. Actually, theorems are stated for potentials in several function spaces arising in Harmonic Analysis, with corresponding convergence results. Proofs rely on Banach algebras techniques for pseudo-differential operators acting on such function spaces.


title: The Landau-Pekar equations: Adiabatic theorem and accuracy

abstract: We prove an adiabatic theorem for the Landau-Pekar equations. This allows us to derive new results on the accuracy of their use as effective equations for the time evolution generated by the Fr\"ohlich Hamiltonian with large coupling constant $\alpha$. In particular, we show that the time evolution of Pekar product states with coherent phonon field and the electron being trapped by the phonons is well approximated by the Landau-Pekar equations until times short compared to $\alpha^2$.


title: A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL

abstract: We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0, NL-complete, or PTime-complete and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into first-order logic). We establish natural characterizations of the three cases in terms of bounded depth and (un)bounded pathwidth, and show that every of the associated meta problems such as deciding wether a given OMQ is rewritable into linear Datalog is ExpTime-complete. We also give a way to construct linear Datalog rewritings when they exist and prove that there is no constant Datalog rewritings.


title: Casting Geometric Constraints in Semantic Segmentation as Semi-Supervised Learning

abstract: We propose a simple yet effective method to learn to segment new indoor scenes from video frames: State-of-the-art methods trained on one dataset, even as large as the SUNRGB-D dataset, can perform poorly when applied to images that are not part of the dataset, because of the dataset bias, a common phenomenon in computer vision. To make semantic segmentation more useful in practice, one can exploit geometric constraints. Our main contribution is to show that these constraints can be cast conveniently as semi-supervised terms, which enforce the fact that the same class should be predicted for the projections of the same 3D location in different images. This is interesting as we can exploit general existing techniques developed for semi-supervised learning to efficiently incorporate the constraints. We show that this approach can efficiently and accurately learn to segment target sequences of ScanNet and our own target sequences using only annotations from SUNRGB-D, and geometric relations between the video frames of target sequences.


title: Logician: A Unified End-to-End Neural Approach for Open-Domain Information Extraction

abstract: In this paper, we consider the problem of open information extraction (OIE) for extracting entity and relation level intermediate structures from sentences in open-domain. We focus on four types of valuable intermediate structures (Relation, Attribute, Description, and Concept), and propose a unified knowledge expression form, SAOKE, to express them. We publicly release a data set which contains more than forty thousand sentences and the corresponding facts in the SAOKE format labeled by crowd-sourcing. To our knowledge, this is the largest publicly available human labeled data set for open information extraction tasks. Using this labeled SAOKE data set, we train an end-to-end neural model using the sequenceto-sequence paradigm, called Logician, to transform sentences into facts. For each sentence, different to existing algorithms which generally focus on extracting each single fact without concerning other possible facts, Logician performs a global optimization over all possible involved facts, in which facts not only compete with each other to attract the attention of words, but also cooperate to share words. An experimental study on various types of open domain relation extraction tasks reveals the consistent superiority of Logician to other states-of-the-art algorithms. The experiments verify the reasonableness of SAOKE format, the valuableness of SAOKE data set, the effectiveness of the proposed Logician model, and the feasibility of the methodology to apply end-to-end learning paradigm on supervised data sets for the challenging tasks of open information extraction.


title: Virtual representation motives

abstract: Principal $GL_n$-bundles (aka vector bundles) are locally trivial in the Zariski topology, whereas principal $PGL_n$-bundles (aka Azumaya algebras) are not, to the delight of every non-commutative algebraist. Still, this makes the calculation of motives of representation schemes of algebras next to impossible. In very special cases, Brauer-Severi schemes (and their motives) can be used to tackle this problem inductively. We illustrate this in the case of certain superpotential algebras.


title: Foldability of simplicial surfaces onto a triangle

abstract: We characterise which simplicial surfaces can be folded onto a triangle. We define a notion of folding that incorporates the non-intersection-properties of real materials. All of the surfaces foldable onto a triangle admit a vertex-3-colouring. Based on this colouring, we can describe the surface by three involutions that act on the faces of the surface. A simplicial surface is foldable onto a triangle if and only if there exists a cyclic permutation on all faces, whose products with the involutions have a specified number of cycles. In addition, we show that all simplicial surfaces that can be folded onto a triangle have to be orientable.


title: Technical Debt Prioritization: State of the Art. A Systematic Literature Review

abstract: Background. Software companies need to manage and refactor Technical Debt issues. Therefore, it is necessary to understand if and when refactoring Technical Debt should be prioritized with respect to developing features or fixing bugs. Objective. The goal of this study is to investigate the existing body of knowledge in software engineering to understand what Technical Debt prioritization approaches have been proposed in research and industry. Method. We conducted a Systematic Literature Review among 384 unique papers published until 2018, following a consolidated methodology applied in Software Engineering. We included 38 primary studies. Results. Different approaches have been proposed for Technical Debt prioritization, all having different goals and optimizing on different criteria. The proposed measures capture only a small part of the plethora of factors used to prioritize Technical Debt qualitatively in practice. We report an impact map of such factors. However, there is a lack of empirical and validated set of tools. Conclusion. We observed that technical Debt prioritization research is preliminary and there is no consensus on what are the important factors and how to measure them. Consequently, we cannot consider current research conclusive and in this paper, we outline different directions for necessary future investigations.


title: A Survey of Community Search Over Big Graphs

abstract: With the rapid development of information technologies, various big graphs are prevalent in many real applications (e.g., social media and knowledge bases). An important component of these graphs is the network community. Essentially, a community is a group of vertices which are densely connected internally. Community retrieval can be used in many real applications, such as event organization, friend recommendation, and so on. Consequently, how to efficiently find high-quality communities from big graphs is an important research topic in the era of big data. Recently a large group of research works, called community search, have been proposed. They aim to provide efficient solutions for searching high-quality communities from large networks in real-time. Nevertheless, these works focus on different types of graphs and formulate communities in different manners, and thus it is desirable to have a comprehensive review of these works. In this survey, we conduct a thorough review of existing community search works. Moreover, we analyze and compare the quality of communities under their models, and the performance of different solutions. Furthermore, we point out new research directions. This survey does not only help researchers to have a better understanding of existing community search solutions, but also provides practitioners a better judgment on choosing the proper solutions.


title: A Genetic Framework Model For Self-Adaptive Software

abstract: Lots of bio-inspired research works have been conducted in self-adaptive software. They have focused on the external behavior of biological entities without their genetic material that causes this behavior and constitutes the challenge this work dealt with. This paper propose a framework integrating both the external behavior and the genetics material. This framework is limited to predicted events. the non-predicted events are still a challenge.


title: A direct proof of the Brunn-Minkowski inequality in Nilpotent Lie groups

abstract: The purpose of this work is to give a direct proof of the multiplicative Brunn-Minkowski inequality in nilpotent Lie groups based on Hadwiger-Ohmann's one of the classical Brunn-Minkowski inequality in Euclidean space.


title: Typer vs. CAPTCHA: Private information based CAPTCHA to defend against crowdsourcing human cheating

abstract: Crowdsourcing human-solving or online typing attacks are destructive problems. However, studies into these topics have been limited. In this paper, we focus on this kind of attacks whereby all the CAPTCHAs can be simply broken because of its design purpose. After pursuing a comprehensive analysis of the Typer phenomenon and the attacking mechanism of CAPTCHA, we present a new CAPTCHA design principle to distinguish human (Typer) from human (user). The core idea is that the challenge process of the CAPTCHA should contain the unique information with a private attribute. The notion of our idea is based on the information asymmetry between humans. Without this private information, Typers will not be able to finish the attack even if they recognize all the characters from the CAPTCHA. We formalize, design and implement two examples on our proposed principle, a character-based, and a datagram-based case, according to a web interaction and password handling program. We challenge the user to select the password from the random characters that are not in the password sequence or to place the randomly sorted sequences into the correct order. A novel generation algorithm with a fuzzy matching method has been proposed to add the capability of human error tolerance and the difficulty of random guess attack. Unlike other solutions, our approach does not need to modify the primary authentication protocol, user interface, and experience of the typical web service. The several user studies' results indicate that our proposed method is both simple (can be solved by humans accurately within less than 20 seconds) and efficient (the Typer can only deploy a random guess attack with a very low success rate).


title: Adversarial Invariant Feature Learning with Accuracy Constraint for Domain Generalization

abstract: Learning domain-invariant representation is a dominant approach for domain generalization (DG), where we need to build a classifier that is robust toward domain shifts. However, previous domain-invariance-based methods overlooked the underlying dependency of classes on domains, which is responsible for the trade-off between classification accuracy and domain invariance. Because the primary purpose of DG is to classify unseen domains rather than the invariance itself, the improvement of the invariance can negatively affect DG performance under this trade-off. To overcome the problem, this study first expands the analysis of the trade-off by Xie et. al., and provides the notion of accuracy-constrained domain invariance, which means the maximum domain invariance within a range that does not interfere with accuracy. We then propose a novel method adversarial feature learning with accuracy constraint (AFLAC), which explicitly leads to that invariance on adversarial training. Empirical validations show that the performance of AFLAC is superior to that of domain-invariance-based methods on both synthetic and three real-world datasets, supporting the importance of considering the dependency and the efficacy of the proposed method.


title: A sensitive calorimetric technique to study energy (heat) exchange at the nano-scale

abstract: Every time a chemical reaction occurs, an energy exchange between reactants and environment exists, which is defined as the enthalpy of the reaction. In the last decades, research has resulted in an increasing number of devices at the micro- or nano-scale. Sensors, catalyzers, and energy storage systems are more and more developed as nano-devices which represent the building blocks for commercial "macroscopic" objects. A general method for the direct evaluation of the energy balance of such systems is not available at present. Calorimetry is a powerful tool to investigate energy exchange, but it usually needs macroscopic sample quantities. Here we report on the development of an original experimental setup able to detect temperature variations as low as 10 mK in a sample of 10 ng using a thermometer device having physical dimensions of 5x5 mm2. The technique has been utilized to measure the enthalpy release during the adsorption process of H2 on a titanium decorated monolayer graphene. The sensitivity of these thermometers is high enough to detect a hydrogen uptake of 10^(-10) moles, corresponding to 0.2 ng, with an enthalpy release of about 23 uJ. The experimental setup allows, in perspective, the scalability to even smaller sizes.

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


title: Circular Dichroism of Chiral Molecules in DNA- Assembled Plasmonic Hotspots

abstract: The chiral state of a molecule plays a crucial role in molecular recognition and biochemical reactions. Because of this and owing to the fact that most modern drugs are chiral, the sensitive and reliable detection of the chirality of molecules is of great interest to drug development. The majority of naturally occurring biomolecules exhibit circular dichroism (CD) in the UV-range. Theoretical studies and several experiments have demonstrated that this UV-CD can be transferred into the plasmonic frequency domain when metal surfaces and chiral biomolecules are in close proximity. Here, we demonstrate that the CD transfer effect can be drastically enhanced by placing chiral molecules, here double-stranded DNA, inside a plasmonic hotspot. By using different particle types (gold, silver, spheres and rods) and by exploiting the versatility of DNA origami we were able to systematically study the impact of varying particle distances on the CD transfer efficiency and to demonstrate CD transfer over the whole optical spectrum down to the near infrared. For this purpose, nanorods were also placed upright on our DNA origami sheets, this way forming strong optical antennas. Theoretical models, demonstrating the intricate relationships between molecular chirality and achiral electric fields, support our experimental findings.


title: ConvTimeNet: A Pre-trained Deep Convolutional Neural Network for Time Series Classification

abstract: Training deep neural networks often requires careful hyper-parameter tuning and significant computational resources. In this paper, we propose ConvTimeNet (CTN): an off-the-shelf deep convolutional neural network (CNN) trained on diverse univariate time series classification (TSC) source tasks. Once trained, CTN can be easily adapted to new TSC target tasks via a small amount of fine-tuning using labeled instances from the target tasks. We note that the length of convolutional filters is a key aspect when building a pre-trained model that can generalize to time series of different lengths across datasets. To achieve this, we incorporate filters of multiple lengths in all convolutional layers of CTN to capture temporal features at multiple time scales. We consider all 65 datasets with time series of lengths up to 512 points from the UCR TSC Benchmark for training and testing transferability of CTN: We train CTN on a randomly chosen subset of 24 datasets using a multi-head approach with a different softmax layer for each training dataset, and study generalizability and transferability of the learned filters on the remaining 41 TSC datasets. We observe significant gains in classification accuracy as well as computational efficiency when using pre-trained CTN as a starting point for subsequent task-specific fine-tuning compared to existing state-of-the-art TSC approaches. We also provide qualitative insights into the working of CTN by: i) analyzing the activations and filters of first convolution layer suggesting the filters in CTN are generically useful, ii) analyzing the impact of the design decision to incorporate multiple length decisions, and iii) finding regions of time series that affect the final classification decision via occlusion sensitivity analysis.


title: High energy muons in extensive air showers

abstract: The production of very high energy muons inside an extensive air shower is observable at $\nu$ telescopes and sensitive to the composition of the primary cosmic ray. Here we discuss five different sources of these muons: pion and kaon decays; charmed hadron decays; rare decays of unflavored mesons; photon conversion into a muon pair; and photon conversion into a $J/\psi$ vector meson decaying into muons. We solve the cascade equations for a $10^{10.5}$ GeV proton primary and find that unflavored mesons and gamma conversions are the two main sources of $E\ge 10^{8.5}$ GeV muons, while charm decays dominate at $10^{5.5}\,{\rm GeV}< E< 10^{8.5}\,{\rm GeV}$. In inclined events one of these muons may deposite a large fraction of its energy near the surface, implying fluctuations in the longitudinal profile of the shower and in the muon to electron count at the ground level. In particular, we show that 1 out of 6 proton showers of $10^{10.5}$ GeV include an $E>10^6$ GeV deposition within 500 g/cm$^2$, while only in 1 out of 330 showers it is above $10^7$ GeV. We also show that the production of high energy muons is very different in proton, iron or photon showers ({e.g., conversions $\gamma\to \mu^+ \mu^-$ are the main source of $E\ge 10^4$ GeV muons in photon showers). Finally, we use Monte Carlo simulations to discuss the validity of our results.


title: On the irreducible components of some crystalline deformation rings

abstract: We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_K$ for a finite extension $K/\mathbb{Q}_p$. This is done by considering a moduli space of Breuil--Kisin modules, satisfying an additional Galois condition, over the universal deformation ring. For $K$ unramified over $\mathbb{Q}_p$ and Hodge--Tate weights in $[0,p]$, we study the geometry of this space. As a consequence we prove that, under a mild cyclotomic-freeness assumption, all crystalline representations of an unramified extension of $\mathbb{Q}_p$, with Hodge--Tate weights in $[0,p]$, are potentially diagonalisable.


title: An estimate of the Hopf degree of fractional Sobolev mappings

abstract: We estimate the Hopf degree for smooth maps $f$ from $\mathbb{S}^{4n-1}$ to $\mathbb{S}^{2n}$ in the fractional Sobolev space. Namely we show that for $s \in [1 - \frac{1}{4n}, 1]$ \[ \left |{\rm deg}_H(f)\right | \lesssim [f]_{W^{s,\frac{4n-1}{s}}}^{\frac{4n}{s}}. \] Our argument is based on the Whitehead integral formula and commutator estimates for Jacobian-type expressions.


title: Semantic Matching of Documents from Heterogeneous Collections: A Simple and Transparent Method for Practical Applications

abstract: We present a very simple, unsupervised method for the pairwise matching of documents from heterogeneous collections. We demonstrate our method with the Concept-Project matching task, which is a binary classification task involving pairs of documents from heterogeneous collections. Although our method only employs standard resources without any domain- or task-specific modifications, it clearly outperforms the more complex system of the original authors. In addition, our method is transparent, because it provides explicit information about how a similarity score was computed, and efficient, because it is based on the aggregation of (pre-computable) word-level similarities.


title: Collisional quantum thermometry

abstract: We introduce a general framework for thermometry based on collisional models, where ancillas probe the temperature of the environment through an intermediary system. This allows for the generation of correlated ancillas even if they are initially independent. Using tools from parameter estimation theory, we show through a minimal qubit model that individual ancillas can already outperform the thermal Cramer-Rao bound. In addition, due to the steady-state nature of our model, when measured collectively the ancillas always exhibit superlinear scalings of the Fisher information. This means that even collective measurements on pairs of ancillas will already lead to an advantage. As we find in our qubit model, such a feature may be particularly valuable for weak system-ancilla interactions. Our approach sets forth the notion of metrology in a sequential interactions setting, and may inspire further advances in quantum thermometry.


title: Linking invariant for the quench dynamics of a two-dimensional two-band Chern insulator

abstract: We discuss the topological invariant in the (2+1)-dimensional quench dynamics of a two-dimensional two-band Chern insulator starting from a topological initial state (i.e., with a nonzero Chern number $c_i$), evolved by a post-quench Hamiltonian (with Chern number $c_f$). In contrast to the process with $c_i=0$ studied in previous works, this process cannot be characterized by the Hopf invariant that is described by the sphere homotopy group $\pi_3(S^2)=\mathbb{Z}$. It is possible, however, to calculate a variant of the Chern-Simons integral with a complementary part to cancel the Chern number of the initial spin configuration, which at the same time does not affect the (2+1)-dimensional topology. We show that the modified Chern-Simons integral gives rise to a topological invariant of this quench process, i.e., the linking invariant in the $\mathbb{Z}_{2c_i}$ class: $\nu = (c_f - c_i) \mod (2c_i)$. We give concrete examples to illustrate this result and also show the detailed deduction to get this linking invariant.


title: Phase-field-based lattice Boltzmann model for immiscible incompressible N-phase flows

abstract: In this paper, we develop an efficient lattice Boltzmann (LB) model for simulating immiscible incompressible $N$-phase flows $(N \geq 2)$ based on the Cahn-Hilliard phase field theory. In order to facilitate the design of LB model and reduce the calculation of the gradient term, the governing equations of the $N$-phase system are reformulated, and they satisfy the conservation of mass, momentum and the second law of thermodynamics. In the present model, $(N-1)$ LB equations are employed to capture the interface, and another LB equation is used to solve the Navier-Stokes (N-S) equations, where a new distribution function for the total force is delicately designed to reduce the calculation of the gradient term. The developed model is first validated by two classical benchmark problems, including the tests of static droplets and the spreading of a liquid lens, the simulation results show that the current LB model is accurate and efficient for simulating incompressible $N$-phase fluid flows. To further demonstrate the capability of the LB model, two numerical simulations, including dynamics of droplet collision for four fluid phases and dynamics of droplets and interfaces for five fluid phases, are performed to test the developed model. The results show that the present model can successfully handle complex interactions among $N$ ($N \geq 2$) immiscible incompressible flows.


title: Explicit subconvexity savings for sup-norms of cusp forms on $\mathrm{PGL}_n(\mathbb R)$

abstract: Blomer and Maga recently proved that, if $F$ is an $L^2$-normalized Hecke Maass cusp form for $\mathrm{SL}_n(\mathbb Z)$, and $\Omega$ is a compact subset of $\mathrm{PGL}_n(\mathbb R)/\mathrm{PO}_n(\mathbb R)$, then we have $\|F|_\Omega\|_\infty\ll_\Omega\lambda_F^{n(n-1)/8-\delta_n}$ for some $\delta_n>0$, where $\lambda_F$ is the Laplacian eigenvalue of $F$. In the present paper, we prove an explicit version of their result.


title: Embedding the stationary spacetimes into Brans-Dicke cosmology via conformal transformations

abstract: A conformal transformation of a static or stationary spacetime by a time dependent conformal scale factor ${S(\tau )}^2$ is one of the methods of producing a cosmological spacetime. Using this knowledge and Brans-Dicke (BD) field equations, we investigate two time dependent metrics, including Friedmann-Lemaitre-Robertson-Walker (FLRW) spacetime and conformally transformed Kerr-Newman black hole, and we obtain solutions that allow different expansion rates for each geometry. These expansion rates depend on the matter content of the conformally transformed geometry. We state that the BD scalar field yields accelerated expansion of the conformal spacetime if the original metric has vacuum geometry, and no acceleration if the original spacetime has some curvature or matter content in it.


title: A Cross-Layer Approach to Data-aided Sensing using Compressive Random Access

abstract: In this paper, data-aided sensing as a cross-layer approach in Internet-of-Things (IoT) applications is studied, where multiple IoT nodes collect measurements and transmit them to an Access Point (AP). It is assumed that measurements have a sparse representation (due to spatial correlation) and the notion of Compressive Sensing (CS) can be exploited for efficient data collection. For data-aided sensing, a node selection criterion is proposed to efficiently reconstruct a target signal through iterations with a small number of measurements from selected nodes. Together with Compressive Random Access (CRA) to collect measurements from nodes, compressive transmission request is proposed to efficiently send a request signal to a group of selected nodes. Error analysis on compressive transmission request is carried out and the impact of errors on the performance of data-aided sensing is studied. Simulation results show that data-aided sensing allows to reconstruct the target information with a small number of active nodes and is robust to nodes' decision errors on compressive transmission request.


title: Pulsations of the SX Phe Star BL Camelopardalis

abstract: We carried out photometric observations of the SX Phe star BL Cam in 2014, 2017 and 2018 using Nanshan 1-m telescope. In addition to the dominated frequency of 25.5790(3) cd$^{-1}$ and its two harmonics, an independent frequency of 25.247 (2) cd$^{-1}$, which is a nonradial mode frequency, was detected from the data in 2014. A total of 123 new times of light maxima were determined from our light curves in the three years, which, together with that published in the literature, were used to analyze the $O$$-$$C$ diagram. The change rate of the main period was derived as (1/P)(dP/dt) = -2.39 (8)$\times$10$^{-8}$ yr$^{-1}$, which is lower than that published in previous literature. A periodical change with a period of 14.01 (9) yr was found in the residuals of the $O$$-$$C$ curve fitting. If it was caused by the light-time effect, BL Cam should be a binary system. The mass of the companion was restricted as low as that of a brown dwarf. No evidence of the triple system suggested by previous authors was shown in our analysis.


title: $ T $-matrix scattering elements for coulomb interaction systems

abstract: The paper derives the representation of the two-particle T-matrix scattering elements for the Coulomb interaction with respect to special bases without expansion in terms of partial waves. The results obtained are applicable to small-particle systems. The advantage of this expansion also arises in three-body problems when solving the Faddeev equation for three-particle systems. The main problem in solving the Faddeev equation is the approximate choice of approximation for the interaction potentials, at which the T-matrix scattering elements acquire a separable form. However, even in this case the solution to the Faddeev equation does not always become practical in view of the fact that the T-matrix elements themselves do not factor in the integral equations. Here we give the results with the T-matrix elements represented in the basis, for which there is an addition theorem and hence the integral Faddeev equations are reduced to a factored form.


title: Tensor Methods for Minimizing Convex Functions with H\"{o}lder Continuous Higher-Order Derivatives

abstract: In this paper we study $p$-order methods for unconstrained minimization of convex functions that are $p$-times differentiable ($p\geq 2$) with $\nu$-H\"{o}lder continuous $p$th derivatives. We propose tensor schemes with and without acceleration. For the schemes without acceleration, we establish iteration complexity bounds of $\mathcal{O}\left(\epsilon^{-1/(p+\nu-1)}\right)$ for reducing the functional residual below a given $\epsilon\in (0,1)$. Assuming that $\nu$ is known, we obtain an improved complexity bound of $\mathcal{O}\left(\epsilon^{-1/(p+\nu)}\right)$ for the corresponding accelerated scheme. For the case in which $\nu$ is unknown, we present a universal accelerated tensor scheme with iteration complexity of $\mathcal{O}\left(\epsilon^{-p/[(p+1)(p+\nu-1)]}\right)$. A lower complexity bound of $\mathcal{O}\left(\epsilon^{-2/[3(p+\nu)-2]}\right)$ is also obtained for this problem class.


title: Measurement of the Helicity Asymmetry $E$ for the reaction $ \gamma p\to \pi^0 p$

abstract: A measurement of the double-polarization observable $E$ for the reaction $\gamma p\to \pi^0 p$ is reported. The data were taken with the CBELSA/TAPS experiment at the ELSA facility in Bonn using the Bonn frozen-spin butanol (C$_4$H$_9$OH) target, which provided longitudinally-polarized protons. Circularly-polarized photons were produced via bremsstrahlung of longitudinally-polarized electrons. The data cover the photon energy range from $E_\gamma =600$~MeV to $E_\gamma =2310$~MeV and nearly the complete angular range. The results are compared to and have been included in recent partial wave analyses.


title: 11,700 km Transmission at 4.8 bit/4D-sym via Four-dimensional Geometrically-shaped Polarization-Ring-Switching Modulation

abstract: Using a novel geometrically-shaped four-dimensional modulation format, we transmitted 11x200 Gbit/s DWDM at 4.8 bit/4D-sym over 7,925 km and 11,700 km using EDFA-only and hybrid amplification, respectively. A reach increase of 16% is achieved over PM-8QAM.


title: Soft edit distance for differentiable comparison of symbolic sequences

abstract: Edit distance, also known as Levenshtein distance, is an essential way to compare two strings that proved to be particularly useful in the analysis of genetic sequences and natural language processing. However, edit distance is a discrete function that is known to be hard to optimize. This fact hampers the use of this metric in Machine Learning. Even as simple algorithm as K-means fails to cluster a set of sequences using edit distance if they are of variable length and abundance. In this paper we propose a novel metric - soft edit distance (SED), which is a smooth approximation of edit distance. It is differentiable and therefore it is possible to optimize it with gradient methods. Similar to original edit distance, SED as well as its derivatives can be calculated with recurrent formulas at polynomial time. We prove usefulness of the proposed metric on synthetic datasets and clustering of biological sequences.


title: The automorphisms of generalized cyclic Azumaya algebras

abstract: We define a nonassociative generalization of cyclic Azumaya algebras employing skew polynomial rings $D[t;\sigma]$, where $D$ is an Azumaya algebra of constant rank with center $C$ and $\sigma$ an automorphism of $D$, such that $\sigma|_{C}$ has finite order. The automorphisms of these algebras are canonically induced by ring automorphisms of the skew polynomial ring $D[t;\sigma]$ used in their construction. We achieve a description of their inner automorphisms. Results on the automorphisms of classical Azumaya algebras and central simple algebras of this type are obtained as special cases.


title: Flood propagation modelling with the Local Inertia Approximation: theoretical and numerical analysis of its physical limitations

abstract: Attention of the researchers has increased towards a simplification of the complete Shallow water Equations called the Local Inertia Approximation (LInA), which is obtained by neglecting the advection term in the momentum conservation equation. In the present paper it is demonstrated that a shock is always developed at moving wetting-drying frontiers, and this justifies the study of the Riemann problem on even and uneven beds. In particular, the general exact solution for the Riemann problem on horizontal frictionless bed is given, together with the exact solution of the non-breaking wave propagating on horizontal bed with friction, while some example solution is given for the Riemann problem on discontinuous bed. From this analysis, it follows that drying of the wet bed is forbidden in the LInA model, and that there are initial conditions for which the Riemann problem has no solution on smoothly varying bed. In addition, propagation of the flood on discontinuous sloping bed is impossible if the bed drops height have the same order of magnitude of the moving-frontier shock height. Finally, it is found that the conservation of the mechanical energy is violated. It is evident that all these findings pose a severe limit to the application of the model. The numerical analysis has proven that LInA numerical models may produce numerical solutions, which are unreliable because of mere algorithmic nature, also in the case that the LInA mathematical solutions do not exist. The applicability limits of the LInA model are discouragingly severe, even if the bed elevation varies continuously. More important, the non-existence of the LInA solution in the case of discontinuous topography and the non-existence of receding fronts radically question the viability of the LInA model in realistic cases. It is evident that classic SWE models should be preferred in the majority of the practical applications.


title: Delaunay decompositions in dimension 4

abstract: The Voronoi cone decompositions has been attracting our attention in the compactification problem of the moduli scheme of abelian varieties. The objects to add as the boundary of the moduli scheme are stable quasi-abelian schemes, reduced or nonreduced, which are described in terms of Delaunay decompositions. In this note, we prove that any Delaunay decomposition is simplicially generating if the dimension is less than 5. As a corollary, if the dimension is less than 5, projectively stable quasi-abelian schemes are reduced, and therefore two kinds of stable quasi-abelian schemes, projectively stable quasi-abelian schemes and torically stable quasi-abelian varieties, are the same class of varieties.


title: Probing new physics in rare decays of b-flavored Hadrons $b\to s \gamma$ in CMSSM/mSUGRA SUSY SO (10) theories

abstract: The implications of the latest measurement of the branching fraction of B($ b\rightarrow s \gamma $) of b hadrons, which is another signature of New Physics beyond Standard Model is presented here. The quark transitions $ b \rightarrow s $, $ b \rightarrow d $ do not happen at tree level in the Standard Model as the Z boson does not couple to quarks of different flavour. In this work the present bounds on the quark transition $ b \rightarrow s $ within the constrained minimal supersymmetric extension of the Standard Model (CMSSM), in which there are three independent soft SUSY breaking parameters $ m_{0} $, $ m_{1/2} $ and $ A_{0} $ is illustrated. The recent constraint on B($ b\rightarrow s \gamma $), B($ b_{s}\rightarrow \mu^{+}\mu^{-}$), the recently measured value of Higgs mass at LHC, $ M_{h} $, the value of $\theta_{13}$ from reactor data and the Higgs branching ratios set very strong constraints on New Physics models, in particular supersymmetry. A new epoch for this research has begun since the Large Hadron Collider beauty (LHCb) experiment started affording data for various observables for these decays. The results presented here in mSUGRA/CMSSM models may gain access to supersymmetry even at scales beyond the direct reach of the LHC and the susceptibleness to test these theories at the next run of LHC is also explored.


title: Plateau's problem for singular curves

abstract: We give a solution of Plateau's problem for singular curves possibly having self-intersections. The proof is based on the solution of Plateau's problem for Jordan curves in very general metric spaces by Alexander Lytchak and Stefan Wenger and hence works also in a quite general setting. However the main result of this paper seems to be new even in $\mathbb{R}^n$.


title: TheFragebogen: A Web Browser-based Questionnaire Framework for Scientific Research

abstract: Quality of Experience (QoE) typically involves conducting experiments in which stimuli are presented to participants and their judgments as well as behavioral data are collected. Nowadays, many experiments require software for the presentation of stimuli and the data collection from participants. While different software solutions exist, these are not tailored to conduct experiments on QoE. Moreover, replicating experiments or repeating the same experiment in different settings (e. g., laboratory vs. crowdsourcing) can further increase the software complexity. TheFragebogen is an open-source, versatile, extendable software framework for the implementation of questionnaires - especially for research on QoE. Implemented questionnaires can be presented with a state-of-the-art web browser to support a broad range of devices while the use of a web server being optional. Out-of-the-box, TheFragebogen provides graphical exact scales as well as free-hand input, the ability to collect behavioral data, and playback multimedia content.


title: Review of recent forward physics results from the CMS experiment

abstract: There is a rich program of forward physics measurements within the CMS Collaboration covering a wide range of topics. In many cases there is a connection to quantities and effects relevant for very high energy cosmic ray interaction. Some of the recent measurements in the fields of exclusive final states, low-pT inclusive and diffractive cross sections, underlying event, multi parton interactions, double parton scattering, final state particle correlations and minimum bias results are briefly summarized here.


title: An inverse problem for the Linear Boltzmann Equation with time-dependent coefficient

abstract: In this paper, we study the stability in the inverse problem of determining the time dependent absorption coefficient appearing in the linear Boltzmann equation, from boundary observations. We prove in dimension $n\geq 2$, that the absorption coefficient can be uniquely determined in a precise subset of the domain, from the albedo operator. We derive a logarithm type stability estimate in the determination of the absorption coefficient from the albedo operator, in a subset of our domain assuming that it is known outside this subset. Moreover, we prove that we can extend this result to the determination of the coefficient in a larger region, and then in the whole domain provided that we have much more data. We prove also an identification result for the scattering coefficient appearing in the linear Boltzmann equation.


title: Evaluation of Kyoto's Event-Driven X-ray Astronomical SOI Pixel Sensor with a Large Imaging Area

abstract: We have been developing monolithic active pixel sensors, named ``XRPIX'', based on the silicon-on-insulator (SOI) pixel technology for future X-ray astronomy satellites. XRPIX has the function of event trigger and hit address outputs. This function allows us to read out analog signals only of hit pixels on trigger timing, which is referred to as the event-driven readout mode. Recently, we processed ``XRPIX5b'' with the largest imaging area of 21.9~mm $\times$ 13.8~mm in the XRPIX series. X-ray spectra are successfully obtained from all the pixels, and the readout noise is 46~e$^-$~(rms) in the frame readout mode. The gain variation was measured to be 1.2\%~(FWHM) among the pixels. We successfully obtain the X-ray image in the event-driven readout mode.


title: Space of minimal discs and its compactification

abstract: We investigate the class of geodesic metric discs satisfying a uniform quadratic isoperimetric inequality and uniform bounds on the length of the boundary circle. We show that the closure of this class as a subset of Gromov-Hausdorff space is intimately related to the class of geodesic metric disc retracts satisfying comparable bounds. This kind of discs naturally come up in the context of the solution of Plateau's problem in metric spaces by Lytchak and Wenger as generalizations of minimal surfaces.


title: Venue Analytics: A Simple Alternative to Citation-Based Metrics

abstract: We present a method for automatically organizing and evaluating the quality of different publishing venues in Computer Science. Since this method only requires paper publication data as its input, we can demonstrate our method on a large portion of the DBLP dataset, spanning 50 years, with millions of authors and thousands of publishing venues. By formulating venue authorship as a regression problem and targeting metrics of interest, we obtain venue scores for every conference and journal in our dataset. The obtained scores can also provide a per-year model of conference quality, showing how fields develop and change over time. Additionally, these venue scores can be used to evaluate individual academic authors and academic institutions. We show that using venue scores to evaluate both authors and institutions produces quantitative measures that are comparable to approaches using citations or peer assessment. In contrast to many other existing evaluation metrics, our use of large-scale, openly available data enables this approach to be repeatable and transparent. To help others build upon this work, all of our code and data is available at https://github.com/leonidk/venue_scores


title: Knowledge-aware Complementary Product Representation Learning

abstract: Learning product representations that reflect complementary relationship plays a central role in e-commerce recommender system. In the absence of the product relationships graph, which existing methods rely on, there is a need to detect the complementary relationships directly from noisy and sparse customer purchase activities. Furthermore, unlike simple relationships such as similarity, complementariness is asymmetric and non-transitive. Standard usage of representation learning emphasizes on only one set of embedding, which is problematic for modelling such properties of complementariness. We propose using knowledge-aware learning with dual product embedding to solve the above challenges. We encode contextual knowledge into product representation by multi-task learning, to alleviate the sparsity issue. By explicitly modelling with user bias terms, we separate the noise of customer-specific preferences from the complementariness. Furthermore, we adopt the dual embedding framework to capture the intrinsic properties of complementariness and provide geometric interpretation motivated by the classic separating hyperplane theory. Finally, we propose a Bayesian network structure that unifies all the components, which also concludes several popular models as special cases. The proposed method compares favourably to state-of-art methods, in downstream classification and recommendation tasks. We also develop an implementation that scales efficiently to a dataset with millions of items and customers.


title: Knowledge Graph Convolutional Networks for Recommender Systems

abstract: To alleviate sparsity and cold start problem of collaborative filtering based recommender systems, researchers and engineers usually collect attributes of users and items, and design delicate algorithms to exploit these additional information. In general, the attributes are not isolated but connected with each other, which forms a knowledge graph (KG). In this paper, we propose Knowledge Graph Convolutional Networks (KGCN), an end-to-end framework that captures inter-item relatedness effectively by mining their associated attributes on the KG. To automatically discover both high-order structure information and semantic information of the KG, we sample from the neighbors for each entity in the KG as their receptive field, then combine neighborhood information with bias when calculating the representation of a given entity. The receptive field can be extended to multiple hops away to model high-order proximity information and capture users' potential long-distance interests. Moreover, we implement the proposed KGCN in a minibatch fashion, which enables our model to operate on large datasets and KGs. We apply the proposed model to three datasets about movie, book, and music recommendation, and experiment results demonstrate that our approach outperforms strong recommender baselines.


title: Link Stream Graph for Temporal Recommendations

abstract: Several researches on recommender systems are based on explicit rating data, but in many real world e-commerce platforms, ratings are not always available, and in those situations, recommender systems have to deal with implicit data such as users' purchase history, browsing history and streaming history. In this context, classical bipartite user-item graphs (BIP) are widely used to compute top-N recommendations. However, these graphs have some limitations, particularly in terms of taking temporal dynamic into account. This is not good because users' preference change over time. To overcome this limit, the Session-based Temporal Graph (STG) was proposed by Xiang et al. to combine long- and short-term preferences in a graph-based recommender system. But in the STG, time is divided into slices and therefore considered discontinuously. This approach loses details of the real temporal dynamics of user actions. To address this challenge, we propose the Link Stream Graph (LSG) which is an extension of link stream representation proposed by Latapy et al. and which allows to model interactions between users and items by considering time continuously. Experiments conducted on four real world implicit datasets for temporal recommendation, with 3 evaluation metrics, show that LSG is the best in 9 out of 12 cases compared to BIP and STG which are the most used state-of-the-art recommender graphs.


title: Table understanding in structured documents

abstract: Abstract--- Table detection and extraction has been studied in the context of documents like reports, where tables are clearly outlined and stand out from the document structure visually. We study this topic in a rather more challenging domain of layout-heavy business documents, particularly invoices. Invoices present the novel challenges of tables being often without outlines - either in the form of borders or surrounding text flow - with ragged columns and widely varying data content. We will also show, that we can extract specific information from structurally different tables or table-like structures with one model. We present a comprehensive representation of a page using graph over word boxes, positional embeddings, trainable textual features and rephrase the table detection as a text box labeling problem. We will work on our newly presented dataset of pro forma invoices, invoices and debit note documents using this representation and propose multiple baselines to solve this labeling problem. We then propose a novel neural network model that achieves strong, practical results on the presented dataset and analyze the model performance and effects of graph convolutions and self-attention in detail.


title: HAXMLNet: Hierarchical Attention Network for Extreme Multi-Label Text Classification

abstract: Extreme multi-label text classification (XMTC) addresses the problem of tagging each text with the most relevant labels from an extreme-scale label set. Traditional methods use bag-of-words (BOW) representations without context information as their features. The state-ot-the-art deep learning-based method, AttentionXML, which uses a recurrent neural network (RNN) and the multi-label attention, can hardly deal with extreme-scale (hundreds of thousands labels) problem. To address this, we propose our HAXMLNet, which uses an efficient and effective hierarchical structure with the multi-label attention. Experimental results show that HAXMLNet reaches a competitive performance with other state-of-the-art methods.


title: Operation-aware Neural Networks for User Response Prediction

abstract: User response prediction makes a crucial contribution to the rapid development of online advertising system and recommendation system. The importance of learning feature interactions has been emphasized by many works. Many deep models are proposed to automatically learn high-order feature interactions. Since most features in advertising system and recommendation system are high-dimensional sparse features, deep models usually learn a low-dimensional distributed representation for each feature in the bottom layer. Besides traditional fully-connected architectures, some new operations, such as convolutional operations and product operations, are proposed to learn feature interactions better. In these models, the representation is shared among different operations. However, the best representation for different operations may be different. In this paper, we propose a new neural model named Operation-aware Neural Networks (ONN) which learns different representations for different operations. Our experimental results on two large-scale real-world ad click/conversion datasets demonstrate that ONN consistently outperforms the state-of-the-art models in both offline-training environment and online-training environment.


title: Twitter Sentiment Analysis using Distributed Word and Sentence Representation

abstract: An important part of the information gathering and data analysis is to find out what people think about, either a product or an entity. Twitter is an opinion rich social networking site. The posts or tweets from this data can be used for mining people's opinions. The recent surge of activity in this area can be attributed to the computational treatment of data, which made opinion extraction and sentiment analysis easier. This paper classifies tweets into positive and negative sentiments, but instead of using traditional methods or preprocessing text data here we use the distributed representations of words and sentences to classify the tweets. We use Long Short Term Memory (LSTM) Networks, Convolutional Neural Networks (CNNs) and Artificial Neural Networks. The first two are used on Distributed Representation of words while the latter is used on the distributed representation of sentences. This paper achieves accuracies as high as 81%. It also suggests the best and optimal ways for creating distributed representations of words for sentiment analysis, out of the available methods.


title: Current Trends in the Use of Eye Tracking in Mathematics Education Research: A PME Survey

abstract: Eye tracking (ET) is a research method that receives growing interest in mathematics education research (MER). This paper aims to give a literature overview, specifically focusing on the evolution of interest in this technology, ET equipment, and analysis methods used in mathematics education. To capture the current state, we focus on papers published in the proceedings of PME, one of the primary conferences dedicated to MER, of the last ten years. We identify trends in interest, methodology, and methods of analysis that are used in the community, and discuss possible future developments.


title: Exact real-time dynamics of single-impurity Anderson model from a single-spin hybridization-expansion

abstract: In this work we introduce a modified real-time continuous-time hybridization-expansion quantum Monte Carlo solver for a time-dependent single-orbital Anderson impurity model: CT-1/2-HYB-QMC. In the proposed method the diagrammatic expansion is performed only for one out of the two spin channels, while the resulting effective single-particle problem for the other spin is solved semi-analytically for each expansion diagram. CT-1/2-HYB-QMC alleviates the dynamical sign problem by reducing the order of sampled diagrams and makes it possible to reach twice as long time scales in comparison to the standard CT-HYB method. We illustrate the new solver by calculating an electric current through impurity in paramagnetic and spin-polarized cases.


title: Using Social Network Service to determine the Initial User Requirements for Small Software Businesses

abstract: Background/Objectives: Software engineering community has been studied extensively on large-sized software organizations and has provided suitable and interesting solutions. However, small software companies that make a large part of the software industry have been overlooked. Methods/Statistical analysis: The current requirement engineering practices are not suitable for small software companies. We propose a social network-based requirement engineering approach that will complement the traditional requirement engineering approaches and will make it suitable for small software companies. Findings: We have applied our SNS-based requirements determination approach to knowing about its validity. As a result, we concluded that 33.06 % of invited end-users participated in our approach and figured out 156 distinct user requirements. It has been seen that it was not necessary for users to have requirements engineering knowledge to participate in our proposed SNS-based approach that made maximum users to be involved during requirements elicitation process. By investigating the ideas and opinions communicated by users, we were able to figure out a high number of user requirements. It was observed that maximum user-requirements were determined within a short period of time (7days). Our experience with SNS-based approach also says that end-users hardly know about non-functional requirements and express it explicitly. Improvements/Applications: we believe that researchers will consider SNS other than Facebook that would allow applying our SNS-based approach for requirements identification. We have experienced our approach with Facebook but we do not know how our approach would actually work with other SNSs.


title: The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision

abstract: We propose the Neuro-Symbolic Concept Learner (NS-CL), a model that learns visual concepts, words, and semantic parsing of sentences without explicit supervision on any of them; instead, our model learns by simply looking at images and reading paired questions and answers. Our model builds an object-based scene representation and translates sentences into executable, symbolic programs. To bridge the learning of two modules, we use a neuro-symbolic reasoning module that executes these programs on the latent scene representation. Analogical to human concept learning, the perception module learns visual concepts based on the language description of the object being referred to. Meanwhile, the learned visual concepts facilitate learning new words and parsing new sentences. We use curriculum learning to guide the searching over the large compositional space of images and language. Extensive experiments demonstrate the accuracy and efficiency of our model on learning visual concepts, word representations, and semantic parsing of sentences. Further, our method allows easy generalization to new object attributes, compositions, language concepts, scenes and questions, and even new program domains. It also empowers applications including visual question answering and bidirectional image-text retrieval.


title: X-Ray CT Reconstruction of Additively Manufactured Parts using 2.5D Deep Learning MBIR

abstract: In this paper, we present a deep learning algorithm to rapidly obtain high quality CT reconstructions for AM parts. In particular, we propose to use CAD models of the parts that are to be manufactured, introduce typical defects and simulate XCT measurements. These simulated measurements were processed using FBP (computationally simple but result in noisy images) and the MBIR technique. We then train a 2.5D deep convolutional neural network [4], deemed 2.5D Deep Learning MBIR (2.5D DL-MBIR), on these pairs of noisy and high-quality 3D volumes to learn a fast, non-linear mapping function. The 2.5D DL-MBIR reconstructs a 3D volume in a 2.5D scheme where each slice is reconstructed from multiple inputs slices of the FBP input. Given this trained system, we can take a small set of measurements on an actual part, process it using a combination of FBP followed by 2.5D DL-MBIR. Both steps can be rapidly performed using GPUs, resulting in a real-time algorithm that achieves the high-quality of MBIR as fast as standard techniques. Intuitively, since CAD models are typically available for parts to be manufactured, this provides a strong constraint "prior" which can be leveraged to improve the reconstruction.


title: Robust object extraction from remote sensing data

abstract: The extraction of object outlines has been a research topic during the last decades. In spite of advances in photogrammetry, remote sensing and computer vision, this task remains challenging due to object and data complexity. The development of object extraction approaches is promoted through publically available benchmark datasets and evaluation frameworks. Many aspects of performance evaluation have already been studied. This study collects the best practices from literature, puts the various aspects in one evaluation framework, and demonstrates its usefulness to a case study on mapping object outlines. The evaluation framework includes five dimensions: the robustness to changes in resolution, input, location, parameters, and application. Examples for investigating these dimensions are provided, as well as accuracy measures for their qualitative analysis. The measures consist of time efficiency and a procedure for line-based accuracy assessment regarding quantitative completeness and spatial correctness. The delineation approach to which the evaluation framework is applied, was previously introduced and is substantially improved in this study.


title: Text Classification Components for Detecting Descriptions and Names of CAD models

abstract: We apply text analysis approaches for a specialized search engine for 3D CAD models and associated products. The main goals are to distinguish between actual product descriptions and other text on a website, as well as to decide whether a given text is or contains a product name. For this we use paragraph vectors for text classification, a character-level long short-term memory network (LSTM) for a single word classification and an LSTM tagger based on word embeddings for detecting product names within sentences. Despite the need to collect bigger datasets in our specific problem domain, the first results are promising and partially fit for production use.


title: Anomalous behaviour of the UV-optical continuum bands in NGC 5548

abstract: During the 2014 HST/Swift and ground-based multi-wavelength monitoring campaign of NGC 5548 (AGN STORM), the UV-optical broad emission lines exhibited anomalous, decorrelated behaviour relative to the far-UV continuum flux variability. Here, we use key diagnostic emission lines (Ly-alpha and He II) for this campaign to infer a proxy for the all important, variable driving EUV continuum incident upon BLR clouds. The inferred driving continuum provides a crucial step towards the recovery of the broad emission line response functions in this AGN. In particular, the ionising continuum seen by the BLR was weaker and softer during the anomalous period than during the first third of the campaign, and apparently less variable than exhibited by the far-UV continuum. We also report the first evidence for anomalous behaviour in the longer wavelength (relative to 1157A) continuum bands. This is corroborative evidence that a significant contribution to the variable UV-optical continuum emission arises from a diffuse continuum emanating from the same gas that emits the broad emission lines.


title: Weakly and Semi Supervised Detection in Medical Imaging via Deep Dual Branch Net

abstract: This study presents a novel deep learning architecture for multi-class classification and localization of abnormalities in medical imaging illustrated through experiments on mammograms. The proposed network combines two learning branches. One branch is for region classification with a newly added normal-region class. Second branch is region detection branch for ranking regions relative to one another. Our method enables detection of abnormalities at full mammogram resolution for both weakly and semi-supervised settings. A novel objective function allows for the incorporation of local annotations into the model. We present the impact of our schemes on several performance measures for classification and localization, to evaluate the cost effectiveness of the lesion annotation effort. Our evaluation was primarily conducted over a large multi-center mammography dataset of $\sim$3,000 mammograms with various findings. The results for weakly supervised learning showed significant improvement compared to previous approaches. We show that the time consuming local annotations involved in supervised learning can be addressed by a weakly supervised method that can leverage a subset of locally annotated data. Weakly and semi-supervised methods coupled with detection can produce a cost effective and explainable model to be adopted by radiologists in the field.


title: Assimilation of semi-qualitative sea ice thickness data with the EnKF-SQ

abstract: A newly introduced stochastic data assimilation method, the Ensemble Kalman Filter Semi-Qualitative (EnKF-SQ) is applied to a realistic coupled ice-ocean model of the Arctic, the TOPAZ4 configuration, in a twin experiment framework. The method is shown to add value to range-limited thin ice thickness measurements, as obtained from passive microwave remote sensing, with respect to more trivial solutions like neglecting the out-of-range values or assimilating climatology instead. Some known properties inherent to the EnKF-SQ are evaluated: the tendency to draw the solution closer to the thickness threshold, the skewness of the resulting analysis ensemble and the potential appearance of outliers. The experiments show that none of these properties prove deleterious in light of the other sub-optimal characters of the sea ice data assimilation system used here (non-linearities, non-Gaussian variables, lack of strong coupling). The EnKF-SQ has a single tuning parameter that is adjusted for best performance of the system at hand. The sensitivity tests reveal that the results do not depend critically on the choice of this tuning parameter. The EnKF-SQ makes overall a valid approach for assimilating semi-qualitative observations into high-dimensional nonlinear systems.


title: Winner-Take-All Computation in Spiking Neural Networks

abstract: In this work we study biological neural networks from an algorithmic perspective, focusing on understanding tradeoffs between computation time and network complexity. Our goal is to abstract real neural networks in a way that, while not capturing all interesting features, preserves high-level behavior and allows us to make biologically relevant conclusions. Towards this goal, we consider the implementation of algorithmic primitives in a simple yet biologically plausible model of $stochastic\ spiking\ neural\ networks$. In particular, we show how the stochastic behavior of neurons in this model can be leveraged to solve a basic $symmetry-breaking\ task$ in which we are given neurons with identical firing rates and want to select a distinguished one. In computational neuroscience, this is known as the winner-take-all (WTA) problem, and it is believed to serve as a basic building block in many tasks, e.g., learning, pattern recognition, and clustering. We provide efficient constructions of WTA circuits in our stochastic spiking neural network model, as well as lower bounds in terms of the number of auxiliary neurons required to drive convergence to WTA in a given number of steps. These lower bounds demonstrate that our constructions are near-optimal in some cases. This work covers and gives more in-depth proofs of a subset of results originally published in [LMP17a]. It is adapted from the last chapter of C. Musco's Ph.D. thesis [Mus18].


title: An Ensemble of Neural Networks for Non-Linear Segmentation of Overlapped Cursive Script

abstract: Precise character segmentation is the only solution towards higher Optical Character Recognition (OCR) accuracy. In cursive script, overlapped characters are serious issue in the process of character segmentations as characters are deprived from their discriminative parts using conventional linear segmentation strategy. Hence, non-linear segmentation is an utmost need to avoid loss of characters parts and to enhance character/script recognition accuracy. This paper presents an improved approach for non-linear segmentation of the overlapped characters in handwritten roman script. The proposed technique is composed of a sequence of heuristic rules based on geometrical features of characters to locate possible non-linear character boundaries in a cursive script word. However, to enhance efficiency, heuristic approach is integrated with trained ensemble neural network validation strategy for verification of character boundaries. Accordingly, correct boundaries are retained and incorrect are removed based on ensemble neural networks vote. Finally, based on verified valid segmentation points, characters are segmented non-linearly. For fair comparison CEDAR benchmark database is experimented. The experimental results are much better than conventional linear character segmentation techniques reported in the state of art. Ensemble neural network play vital role to enhance character segmentation accuracy as compared to individual neural networks.


title: Density-based Community Detection/Optimization

abstract: Modularity-based algorithms used for community detection have been increasing in recent years. Modularity and its application have been generating controversy since some authors argue it is not a metric without disadvantages. It has been shown that algorithms that use modularity to detect communities suffer a resolution limit and, therefore, it is unable to identify small communities in some situations. In this work, we try to apply a density optimization of communities found by the label propagation algorithm and study what happens regarding modularity of optimized results. We introduce a metric we call ADC (Average Density per Community); we use this metric to prove our optimization provides improvements to the community density obtained with benchmark algorithms. Additionally, we provide evidence this optimization might not alter modularity of resulting communities significantly. Additionally, by also using the SSC (Strongly Connected Components) concept we developed a community detection algorithm that we also compare with the label propagation algorithm. These comparisons were executed with several test networks and with different network sizes. The results of the optimization algorithm proved to be interesting. Additionally, the results of the community detection algorithm turned out to be similar to the benchmark algorithm we used.