title: Automatic Skin Lesion Segmentation using Semi-supervised Learning Technique

abstract: Skin cancer is the most common of all cancers and each year million cases of skin cancer are treated. Treating and curing skin cancer is easy, if it is diagnosed and treated at an early stage. In this work we propose an automatic technique for skin lesion segmentation in dermoscopic images which helps in classifying the skin cancer types. The proposed method comprises of two major phases (1) preprocessing and (2) segmentation using semi-supervised learning algorithm. In the preprocessing phase noise are removed using filtering technique and in the segmentation phase skin lesions are segmented based on clustering technique. K-means clustering algorithm is used to cluster the preprocessed images and skin lesions are filtered from these clusters based on the color feature. Color of the skin lesions are learned from the training images using histograms calculations in RGB color space. The training images were downloaded from the ISIC 2017 challenge website and the experimental results were evaluated using validation and test sets.


title: $HD(M\setminus L)>0.353$

abstract: The complement $M\setminus L$ of the Lagrange spectrum $L$ in the Markov spectrum $M$ was studied by many authors (including Freiman, Berstein, Cusick and Flahive). After their works, we disposed of a countable collection of points in $M\setminus L$. In this article, we describe the structure of $M\setminus L$ near a non-isolated point $\alpha_{\infty}$ found by Freiman in 1973, and we use this description to exhibit a concrete Cantor set $X$ whose Hausdorff dimension coincides with the Hausdorff dimension of $M\setminus L$ near $\alpha_{\infty}$. A consequence of our results is the lower bound $HD(M\setminus L)>0.353$ on the Hausdorff dimension $HD(M\setminus L)$ of $M\setminus L$. Another by-product of our analysis is the explicit construction of new elements of $M\setminus L$, including its largest known member $c\in M\setminus L$ (surpassing the former largest known number $\alpha_4\in M\setminus L$ obtained by Cusick and Flahive in 1989).


title: Towards Training Set Reduction for Bug Triage

abstract: Bug triage is an important step in the process of bug fixing. The goal of bug triage is to assign a new-coming bug to the correct potential developer. The existing bug triage approaches are based on machine learning algorithms, which build classifiers from the training sets of bug reports. In practice, these approaches suffer from the large-scale and low-quality training sets. In this paper, we propose the training set reduction with both feature selection and instance selection techniques for bug triage. We combine feature selection with instance selection to improve the accuracy of bug triage. The feature selection algorithm, instance selection algorithm Iterative Case Filter, and their combinations are studied in this paper. We evaluate the training set reduction on the bug data of Eclipse. For the training set, 70% words and 50% bug reports are removed after the training set reduction. The experimental results show that the new and small training sets can provide better accuracy than the original one.


title: Excitation of turbulence in accretion disks of binary stars by non-linear perturbations

abstract: Accretion disks in binary systems can experience hydrodynamic impact at inner as well as outer edges. The first case is typical for protoplanetary disks around young T Tau stars. The second one is typical for circumstellar disks in close binaries. As a result of such an impact, perturbations with different scales and amplitudes are excited in the disk. We investigated the nonlinear evolution of perturbations of a finite, but small amplitude, at the background of sub-Keplerian flow. Nonlinear effects at the front of perturbations lead to the formation of a shock wave, namely the discontinuity of the density and radial velocity. At this, the tangential flow in the neighborhood of the shock becomes equivalent to the flow in in the boundary layer. Instability of the tangential flow further leads to turbulization of the disk. Characteristics of the turbulence depend on perturbation parameters, but alpha-parameter of Shakura-Sunyaev does not exceed ~0.1.


title: Statistical properties of one-dimensional directed polymers in a random potential

abstract: This review is devoted to the detailed consideration of the universal statistical properties of one-dimensional directed polymers in a random potential. In terms of the replica Bethe ansatz technique we derive several exact results for different types of the free energy probability distribution functions. In the second part of the review we discuss the problems which are still waiting for their solutions. Several mathematical appendices in the ending part of the review contain various technical details of the performed calculations.


title: Quantum currents and pair correlation of electrons in a chain of localized dots

abstract: The quantum transport of electrons in a wire of localized dots by hopping, interaction and dissipation is calculated and a representation by an equivalent RCL circuit is found. The exact solution for the electric-field induced currents allows to discuss the role of virtual currents to decay initial correlations and Bloch oscillations. The dynamical response function in random phase approximation (RPA) is calculated analytically with the help of which the static structure function and pair correlation function are determined. The pair correlation function contains a form factor from the Brillouin zone and a structure factor caused by the localized dots in the wire.


title: Optimizing Node Discovery on Networks: Problem Definitions, Fast Algorithms, and Observations

abstract: Many people dream to become famous, YouTube video makers also wish their videos to have a large audience, and product retailers always hope to expose their products to customers as many as possible. Do these seemingly different phenomena share a common structure? We find that fame, popularity, or exposure, could be modeled as a node's discoverability on some properly defined network, and all of the previously mentioned phenomena can be commonly stated as a target node wants to be discovered easily by the other nodes in the network. In this work, we explicitly define a node's discoverability in a network, and formulate a general node discoverability optimization problem, where the goal is to create a budgeted set of incoming edges to the target node so as to optimize the target node's discoverability in the network. Although the optimization problem is proven to be NP-hard, we find that the defined discoverability measures have good properties that enable us to use a greedy algorithm to find provably near-optimal solutions. The computational complexity of a greedy algorithm is dominated by the time cost of an oracle call, i.e., calculating the marginal gain of a node. To scale up the oracle call over large networks, we propose an estimation-and-refinement approach, that provides a good trade-off between estimation accuracy and computational efficiency. Experiments conducted on real-world networks demonstrate that our method is thousands of times faster than an exact method using dynamic programming, thereby allowing us to solve the node discoverability optimization problem on large networks.


title: Steady state preparation of long-lived nuclear spin singlet pair at room temperature

abstract: The coherent high-fidelity generation of nuclear spins in long-lived singlet states which may find application as quantum memory or sensor represents a considerable experimental challenge. Here we propose a dissipative scheme that achieves the preparation of pairs of nuclear spins in long-lived singlet states by a protocol that combines the interaction between the nuclei and a periodically reset electron spin of an NV center with local rf-control of the nuclear spins. The final state of this protocol is independent of the initial preparation of the nuclei, is robust to external field fluctuations and can be operated at room temperature. We show that a high fidelity singlet pair of a 13C dimer in a nuclear bath in diamond can be generated under realistic experimental conditions.


title: End-to-End Learning of Geometry and Context for Deep Stereo Regression

abstract: We propose a novel deep learning architecture for regressing disparity from a rectified pair of stereo images. We leverage knowledge of the problem's geometry to form a cost volume using deep feature representations. We learn to incorporate contextual information using 3-D convolutions over this volume. Disparity values are regressed from the cost volume using a proposed differentiable soft argmin operation, which allows us to train our method end-to-end to sub-pixel accuracy without any additional post-processing or regularization. We evaluate our method on the Scene Flow and KITTI datasets and on KITTI we set a new state-of-the-art benchmark, while being significantly faster than competing approaches.


title: Strongly baryon-dominated disk galaxies at the peak of galaxy formation ten billion years ago

abstract: In cold dark matter cosmology, the baryonic components of galaxies are thought to be mixed with and embedded in non-baryonic and non-relativistic dark matter, which dominates the total mass of the galaxy and its dark matter halo. In the local Universe, the mass of dark matter within a galactic disk increases with disk radius, becoming appreciable and then dominant in the outer, baryonic regions of the disks of star-forming galaxies. This results in rotation velocities of the visible matter within the disk that are constant or increasing with disk radius. Comparison between the dynamical mass and the sum of stellar and cold gas mass at the peak epoch of galaxy formation, inferred from ancillary data, suggest high baryon factions in the inner, star-forming regions of the disks. Although this implied baryon fraction may be larger than in the local Universe, the systematic uncertainties (stellar initial mass function, calibration of gas masses) render such comparisons inconclusive in terms of the mass of dark matter. Here we report rotation curves for the outer disks of six massive star-forming galaxies, and find that the rotation velocities are not constant, but decrease with radius. We propose that this trend arises because of two main factors: first, a large fraction of the massive, high-redshift galaxy population was strongly baryon dominated, with dark matter playing a smaller part than in the local Universe; and second, the large velocity dispersion in high-redshift disks introduces a substantial pressure term that leads to a decrease in rotation velocity with increasing radius. The effect of both factors appears to increase with redshift. Qualitatively, the observations suggest that baryons in the early Universe efficiently condensed at the centres of dark matter halos when gas fractions were high, and dark matter was less concentrated. [Abridged]


title: Ultra-broadband On-chip Twisted Light Emitter

abstract: On-chip twisted light emitters are essential components for orbital angular momentum (OAM) communication devices, which could address the growing demand for high-capacity communication systems by providing an additional degree of freedom for wavelength/frequency division multiplexing (WDM/FDM). Although whispering gallery mode enabled OAM emitters have been shown to possess some advantages, such as being compact and phase accurate, their inherent narrow bandwidth prevents them from being compatible with WDM/FDM techniques. Here, we demonstrate an ultra-broadband multiplexed OAM emitter that utilizes a novel joint path-resonance phase control concept. The emitter has a micron sized radius and nanometer sized features. Coaxial OAM beams are emitted across the entire telecommunication band from 1450 to 1650 nm. We applied the emitter for OAM communication with a data rate of 1.2 Tbit/s assisted by 30-channel optical frequency combs (OFC). The emitter provides a new solution to further increase of the capacity in the OFC communication scenario.


title: A Non-Gaussian Spatio-Temporal Model for Daily Wind Speeds Based on a Multivariate Skew-t Distribution

abstract: Facing increasing domestic energy consumption from population growth and industrialization, Saudi Arabia is aiming to reduce its reliance on fossil fuels and to broaden its energy mix by expanding investment in renewable energy sources, including wind energy. A preliminary task in the development of wind energy infrastructure is the assessment of wind energy potential, a key aspect of which is the characterization of its spatio-temporal behavior. In this study we examine the impact of internal climate variability on seasonal wind power density fluctuations over Saudi Arabia using 30 simulations from the Large Ensemble Project (LENS) developed at the National Center for Atmospheric Research. Furthermore, a spatio-temporal model for daily wind speed is proposed with neighbor-based cross-temporal dependence, and a multivariate skew-t distribution to capture the spatial patterns of higher order moments. The model can be used to generate synthetic time series over the entire spatial domain that adequately reproduce the internal variability of the LENS dataset.


title: Positive scalar curvature on foliations: the enlargeability

abstract: We generalize the famous result of Gromov and Lawson on the nonexistence of metric of positive scalar curvature on enlargeable manifolds to the case of foliations, without using index theorems on noncompact manifolds.


title: Functional integrals and inequivalent representations in Quantum Field Theory

abstract: We discuss canonical transformations in Quantum Field Theory in the framework of the functional-integral approach. In contrast with ordinary Quantum Mechanics, canonical transformations in Quantum Field Theory are mathematically more subtle due to the existence of unitarily inequivalent representations of canonical commutation relations. When one works with functional integrals, it is not immediately clear how this algebraic feature manifests itself in the formalism. Here we attack this issue by considering the canonical transformations in the context of coherent-state functional integrals. Specifically, in the case of linear canonical transformations, we derive the general functional-integral representations for both transition amplitude and partition function phrased in terms of new canonical variables. By means of this, we show how in the infinite-volume limit the canonical transformations induce a transition from one representation of canonical commutation relations to another one and under what conditions the representations are unitarily inequivalent. We also consider the partition function and derive the energy gap between statistical systems described in two different representations which, among others, allows to establish a connection with continuous phase transitions. We illustrate the inner workings of the outlined mechanism by discussing two prototypical systems: the van Hove model and the Bogoliubov model of weakly interacting Bose gas.

categories: hep-th hep-ph math-ph math.FA math.MP quant-ph


title: Probing and controlling spin chirality in Mott insulators by circularly polarized laser

abstract: Scalar spin chirality, a three-body spin correlation that breaks time-reversal symmetry, is revealed to couple directly to circularly polarized laser. This is shown by the Floquet formalism for the periodically driven repulsive Hubbard model with a strong-coupling expansion. A systematic derivation of the effective low-energy Hamiltonian for a spin degree of freedom reveals that the coupling constant for scalar spin chirality can become significant for a situation in which the driving frequency and the on-site interaction are comparable. This implies that the scalar chirality can be induced by circularly polarized lights, or that it can be used conversely for probing the chirality in Mott insulators as a circular dichroism.


title: Fast Simulation of Vehicles with Non-deformable Tracks

abstract: This paper presents a novel technique that allows for both computationally fast and sufficiently plausible simulation of vehicles with non-deformable tracks. The method is based on an effect we have called Contact Surface Motion. A comparison with several other methods for simulation of tracked vehicle dynamics is presented with the aim to evaluate methods that are available off-the-shelf or with minimum effort in general-purpose robotics simulators. The proposed method is implemented as a plugin for the open-source physics-based simulator Gazebo using the Open Dynamics Engine.


title: Double parton scattering with high cross sections

abstract: The calculations of the double parton scattering cross sections are discussed. It is shown that the commonly used factorised formula is valid only in the limit of low cross sections. The applicability of this approximation is studied with a more general approach based on the Poisson distribution averaged over the impact parameter space.


title: Blocking Transferability of Adversarial Examples in Black-Box Learning Systems

abstract: Advances in Machine Learning (ML) have led to its adoption as an integral component in many applications, including banking, medical diagnosis, and driverless cars. To further broaden the use of ML models, cloud-based services offered by Microsoft, Amazon, Google, and others have developed ML-as-a-service tools as black-box systems. However, ML classifiers are vulnerable to adversarial examples: inputs that are maliciously modified can cause the classifier to provide adversary-desired outputs. Moreover, it is known that adversarial examples generated on one classifier are likely to cause another classifier to make the same mistake, even if the classifiers have different architectures or are trained on disjoint datasets. This property, which is known as transferability, opens up the possibility of attacking black-box systems by generating adversarial examples on a substitute classifier and transferring the examples to the target classifier. Therefore, the key to protect black-box learning systems against the adversarial examples is to block their transferability. To this end, we propose a training method that, as the input is more perturbed, the classifier smoothly outputs lower confidence on the original label and instead predicts that the input is "invalid". In essence, we augment the output class set with a NULL label and train the classifier to reject the adversarial examples by classifying them as NULL. In experiments, we apply a wide range of attacks based on adversarial examples on the black-box systems. We show that a classifier trained with the proposed method effectively resists against the adversarial examples, while maintaining the accuracy on clean data.


title: Adiabatic self-consistent collective path in nuclear fusion reactions

abstract: Collective reaction paths for fusion reactions, $^{16}$O+$\alpha$ $\rightarrow$ $^{20}$Ne and $^{16}$O+$^{16}$O $\rightarrow$ $^{32}$S, are microscopically determined, on the basis of the adiabatic self-consistent collective coordinate (ASCC) method. The collective path is maximally decoupled from other intrinsic degrees of freedom. The reaction paths turn out to deviate from those obtained with standard mean-field calculations with constraints on quadrupole and octupole moments. The potentials and inertial masses defined in the ASCC method are calculated along the reaction paths. The sub-barrier fusion cross sections are calculated for these systems. Inertial mass inside the Coulomb barrier may have a significant influence on the fusion cross section at the deep sub-barrier energy.


title: Fourier analysis of serial dependence measures

abstract: Classical spectral analysis is based on the discrete Fourier transform of the auto-covariances. In this paper we investigate the asymptotic properties of new frequency domain methods where the auto-covariances in the spectral density are replaced by alternative dependence measures which can be estimated by U-statistics. An interesting example is given by Kendall{'}s $\tau$ , for which the limiting variance exhibits a surprising behavior.


title: The evolution of the Tully-Fisher relation between z~2.3 and z~0.9 with KMOS^3D

abstract: We investigate the stellar mass and baryonic mass Tully-Fisher relations (TFRs) of massive star-forming disk galaxies at redshift z~2.3 and z~0.9 as part of the KMOS^3D integral field spectroscopy survey. Our spatially resolved data allow reliable modelling of individual galaxies, including the effect of pressure support on the inferred gravitational potential. At fixed circular velocity, we find higher baryonic masses and similar stellar masses at z~2.3 as compared to z~0.9. Together with the decreasing gas-to-stellar mass ratios with decreasing redshift, this implies that the contribution of dark matter to the dynamical mass at the galaxy scale increases towards lower redshift. A comparison to local relations reveals a negative evolution of the stellar and baryonic TFR zero-points from z=0 to z~0.9, no evolution of the stellar TFR zero-point from z~0.9 to z~2.3, and a positive evolution of the baryonic TFR zero-point from z~0.9 to z~2.3. We discuss a toy model of disk galaxy evolution to explain the observed, non-monotonic TFR evolution, taking into account the empirically motivated redshift dependencies of galactic gas fractions, and of the relative amount of baryons to dark matter on galaxy and halo scales.


title: The X-ray continuum time-lags and intrinsic coherence in AGN

abstract: We present the results from a systematic analysis of the X-ray continuum (`hard') time-lags and intrinsic coherence between the $2-4\,\mathrm{keV}$ and various energy bands in the $0.3-10\,\mathrm{keV}$ range, for ten X-ray bright and highly variable active galactic nuclei (AGN). We used all available archival \textit{XMM-Newton} data, and estimated the time-lags following Epitropakis \& Papadakis (2016). By performing extensive numerical simulations, we arrived at useful guidelines for computing intrinsic coherence estimates that are minimally biased, have known errors, and are (approximately) Gaussian distributed. Owing to the way we estimated the time-lags and intrinsic coherence, we were able to do a proper model fitting to the data. Regarding the continuum time-lags, we are able to demonstrate that they have a power-law dependence on frequency, with a slope of $-1$, and that their amplitude scales with the logarithm of the light-curve mean-energy ratio. We also find that their amplitude increases with the square root of the X-ray Eddington ratio. Regarding the intrinsic coherence, we found that it is approximately constant at low frequencies. It then decreases exponentially at frequencies higher than a characteristic `break frequency.' Both the low-frequency constant intrinsic-coherence value and the break frequency have a logarithmic dependence on the light-curve mean-energy ratio. Neither the low-frequency constant intrinsic-coherence value, nor the break frequency exhibit a universal scaling with either the central black hole mass, or the the X-ray Eddington ratio. Our results could constrain various theoretical models of AGN X-ray variability.


title: A search for water maser emission from brown dwarfs and low-luminosity young stellar objects

abstract: We present a survey for water maser emission toward a sample of 44 low-luminosity young objects, comprising (proto-)brown dwarfs, first hydrostatic cores (FHCs), and other young stellar objects (YSOs) with bolometric luminosities lower than 0.4 L$_\odot$. Water maser emission is a good tracer of energetic processes, such as mass-loss and/or accretion, and is a useful tool to study this processes with very high angular resolution. This type of emission has been confirmed in objects with L$_{\rm bol}\ge 1$ L$_\odot$. Objects with lower luminosities also undergo mass-loss and accretion, and thus, are prospective sites of maser emission. Our sensitive single-dish observations provided a single detection when pointing toward the FHC L1448 IRS 2E. However, follow-up interferometric observations showed water maser emission associated with the nearby YSO L1448 IRS 2 { (a Class 0 protostar of L$_{\rm bol}\simeq 3.6-5.3$ L$_\odot$)}, and did not find any emission toward L1448 IRS 2E. The upper limits for water maser emission determined by our observations are one order of magnitude lower than expected from the correlation between water maser luminosities and bolometric luminosities found for YSOs. This suggests that this correlation does not hold at the lower end of the (sub)stellar mass spectrum. Possible reasons are that the slope of this correlation is steeper at L$_{\rm bol}\le 1$ L$_\odot$, or that there is an absolute luminosity threshold below which water maser emission cannot be produced. Alternatively, if the correlation still stands at low luminosity, the detection rates of masers would be significantly lower than the values obtained in higher-luminosity Class 0 protostars.


title: On Green functions for Dirichlet sub-Laplacians on H-type groups

abstract: We construct Green functions of Dirichlet boundary value problems for sub-Laplacians on certain unbounded domains of a prototype Heisenberg-type group (prototype H-type group, in short). We also present solutions in an explicit form of the Dirichlet problem for the sub-Laplacian with non-zero boundary datum on half-space, quadrant-space, etc, as well as in a strip.


title: Why we need to quantise everything, including gravity

abstract: There is a long-standing debate about whether gravity should be quantised. A powerful line of argument in favour of quantum gravity considers models of hybrid systems consisting of coupled quantum-classical sectors. The conclusion is that such models are inconsistent: either the quantum sector's defining properties necessarily spread to the classical sector, or they are violated. These arguments have a long history, starting with the debates about the quantum nature of the electromagnetic fields in the early days of quantum theory. Yet, they have limited scope because they rely on particular dynamical models obeying restrictive conditions, such as unitarity. In this paper we propose a radically new, more general argument, relying on less restrictive assumptions. The key feature is an information-theoretic characterisation of both sectors, including their interaction, via constraints on copying operations. These operations are necessary for the existence of observables in any physical theory, because they constitute the most general representation of measurement interactions. Remarkably, our argument is formulated without resorting to particular dynamical models, thus being applicable to any hybrid system, even those ruled by "post-quantum" theories. Its conclusion is also compatible with partially quantum systems, such as those that exhibit features like complementarity, but may lack others, such as entanglement. As an example, we consider a hybrid system of qubits and rebits. Surprisingly, despite the rebit's lack of complex amplitudes, the signature quantum protocols such as teleportation are still possible.


title: On a space of entire functions and its Fourier transform

abstract: A space of entire functions of several complex variables rapidly decreasing on ${\mathbb R}^n$ and such that their growth along $i{\mathbb R}^n$ is majorized with the help of a family of weight functions is considered in this paper. For such space an equivalent description in terms of estimates on all of its partial derivatives as functions on ${\mathbb R}^n$ and a Paley-Wiener type theorem are obtained.


title: The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications

abstract: The statement of the mean field approximation theorem in the mean field theory of Markov processes particularly targets the behaviour of population processes with an unbounded number of agents. However, in most real-world engineering applications one faces the problem of analysing middle-sized systems in which the number of agents is bounded. In this paper we build on previous work in this area and introduce the mean drift. We present the concept of population processes and the conditions under which the approximation theorems apply, and then show how the mean drift is derived through a systematic application of the propagation of chaos. We then use the mean drift to construct a new set of ordinary differential equations which address the analysis of population processes with an arbitrary size.


title: A Large-Scale Regularity Theory for Random Elliptic Operators on the Half-Space with Homogeneous Neumann Boundary Data

abstract: In this note we derive large-scale regularity properties of solutions to second-order linear elliptic equations with random coefficients on the half- space with homogeneous Neumann boundary data; it is a companion to arXiv:1604.02717 in which the situation for homogeneous Dirichlet boundary data was addressed. Similarly to arXiv:1604.02717, the results in this contribution are expressed in terms of a first-order Liouville principle. It follows from an excess-decay that is shown through means of a stochastic homogenization-inspired Campanato iteration. The core of this contribution is the construction of a sublinear half-space- adapted corrector/vector potential pair that, in contrast to arXiv:1604.02717, is adapted to the Neumann boundary data.


title: Stabbing segments with rectilinear objects

abstract: Given a set $S$ of $n$ line segments in the plane, we say that a region $\mathcal{R}\subseteq \mathbb{R}^2$ is a {\em stabber} for $S$ if $\mathcal{R}$ contains exactly one endpoint of each segment of $S$. In this paper we provide optimal or near-optimal algorithms for reporting all combinatorially different stabbers for several shapes of stabbers. Specifically, we consider the case in which the stabber can be described as the intersection of axis-parallel halfplanes (thus the stabbers are halfplanes, strips, quadrants, $3$-sided rectangles, or rectangles). The running times are $O(n)$ (for the halfplane case), $O(n\log n)$ (for strips, quadrants, and 3-sided rectangles), and $O(n^2 \log n)$ (for rectangles).


title: Story Cloze Ending Selection Baselines and Data Examination

abstract: This paper describes two supervised baseline systems for the Story Cloze Test Shared Task (Mostafazadeh et al., 2016a). We first build a classifier using features based on word embeddings and semantic similarity computation. We further implement a neural LSTM system with different encoding strategies that try to model the relation between the story and the provided endings. Our experiments show that a model using representation features based on average word embedding vectors over the given story words and the candidate ending sentences words, joint with similarity features between the story and candidate ending representations performed better than the neural models. Our best model achieves an accuracy of 72.42, ranking 3rd in the official evaluation.


title: Out-of-equilibrium density dynamics of a spinful Luttinger liquid

abstract: Using a Luttinger liquid theory we investigate the time evolution of the particle density of a one-dimensional spinful fermionic system with open boundaries and subject to a finite-duration quench of the inter-particle interaction. Taking into account also the turning on of an umklapp perturbation to the system Hamiltonian as a result of the quench, we study the possible formation of a Wigner molecule inside the system, focusing in particular on the sudden and adiabatic regimes. We show that the creation of this correlated state is essentially due to the propagation of "light-cone" perturbations through system which arise after both switching on and switching off the quenching protocol and that its behavior strongly depends on the quench duration.


title: A Pitfall of Unsupervised Pre-Training

abstract: The point of this paper is to question typical assumptions in deep learning and suggest alternatives. A particular contribution is to prove that even if a Stacked Convolutional Auto-Encoder is good at reconstructing pictures, it is not necessarily good at discriminating their classes. When using Auto-Encoders, intuitively one assumes that features which are good for reconstruction will also lead to high classification accuracy. Indeed, it became research practice and is a suggested strategy by introductory books. However, we prove that this is not always the case. We thoroughly investigate the quality of features produced by Stacked Convolutional Auto-Encoders when trained to reconstruct their input. In particular, we analyze the relation between the reconstruction and classification capabilities of the network, if we were to use the same features for both tasks. Experimental results suggest that in fact, there is no correlation between the reconstruction score and the quality of features for a classification task. This means, more formally, that the sub-dimension representation space learned from the Stacked Convolutional Auto-Encoder (while being trained for input reconstruction) is not necessarily better separable than the initial input space. Furthermore, we show that the reconstruction error is not a good metric to assess the quality of features, because it is biased by the decoder quality. We do not question the usefulness of pre-training, but we conclude that aiming for the lowest reconstruction error is not necessarily a good idea if afterwards one performs a classification task.


title: The Pauli Form Factor of Quark and Nontrivial Topological Structure of the QCD

abstract: We calculate the electromagnetic Pauli form factor of quark induced by the nontrivial topological fluctuations of QCD vacuum called instantons. It is shown that such contribution is significant. We discuss the possible implications of our result in the photon-hadron reactions and in the dynamics of quark-photon interactions in the dense/hot quark matter.


title: Probabilistic Matching: Causal Inference under Measurement Errors

abstract: The abundance of data produced daily from large variety of sources has boosted the need of novel approaches on causal inference analysis from observational data. Observational data often contain noisy or missing entries. Moreover, causal inference studies may require unobserved high-level information which needs to be inferred from other observed attributes. In such cases, inaccuracies of the applied inference methods will result in noisy outputs. In this study, we propose a novel approach for causal inference when one or more key variables are noisy. Our method utilizes the knowledge about the uncertainty of the real values of key variables in order to reduce the bias induced by noisy measurements. We evaluate our approach in comparison with existing methods both on simulated and real scenarios and we demonstrate that our method reduces the bias and avoids false causal inference conclusions in most cases.


title: Practical Bayesian Optimization for Variable Cost Objectives

abstract: We propose a novel Bayesian Optimization approach for black-box functions with an environmental variable whose value determines the tradeoff between evaluation cost and the fidelity of the evaluations. Further, we use a novel approach to sampling support points, allowing faster construction of the acquisition function. This allows us to achieve optimization with lower overheads than previous approaches and is implemented for a more general class of problem. We show this approach to be effective on synthetic and real world benchmark problems.


title: A Visual Representation of Wittgenstein's Tractatus Logico-Philosophicus

abstract: In this paper we present a data visualization method together with its potential usefulness in digital humanities and philosophy of language. We compile a multilingual parallel corpus from different versions of Wittgenstein's Tractatus Logico-Philosophicus, including the original in German and translations into English, Spanish, French, and Russian. Using this corpus, we compute a similarity measure between propositions and render a visual network of relations for different languages.


title: The intriguing mechanism of phosphorus anodes for sodium ion batteries revealed by operando pair distribution function and X-ray diffraction computed tomography

abstract: Phosphorus is one of the most promising anodes for sodium ion batteries (SIBs). Little is known about the structural mechanism of Na/P cycling due to the fact that only one of the structures involved (Na3P) is crystalline. Using operando X-ray diffraction computed tomography (XRD-CT) analysed by Rietveld and pair distribution (PDF) methods combined with density functional theory (DFT) calculations we show that the sodiation and desodiation mechanisms of phosphorus are very different. Sodiation follows the thermodynamic path of lowest energy from P via NaP to Na3P while desodiation follows a kinetically controlled deintercalation mechanism in which the layered Na3-xP type structure is maintained until P nanoclusters form. Using XRD-CT allows analysis of the 3D structure of the anode, but most importantly, removes the contributions from the sample container and other battery components, particularly important for PDF analysis.


title: From voids to filaments: environmental transformations of galaxies in the SDSS

abstract: We investigate the impact of filament and void environments on galaxies, looking for residual effects beyond the known relations with environment density. We quantified the host environment of galaxies as the distance to the spine of the nearest filament, and compared various galaxy properties within 12 bins of this distance. We considered galaxies up to 10 $h^{-1}$Mpc from filaments, i.e. deep inside voids. The filaments were defined by a point process (the Bisous model) from the Sloan Digital Sky Survey data release 10. In order to remove the dependence of galaxy properties on the environment density and redshift, we applied weighting to normalise the corresponding distributions of galaxy populations in each bin. After the normalisation with respect to environment density and redshift, several residual dependencies of galaxy properties still remain. Most notable is the trend of morphology transformations, resulting in a higher elliptical-to-spiral ratio while moving from voids towards filament spines, bringing along a corresponding increase in the $g-i$ colour index and a decrease in star formation rate. After separating elliptical and spiral subsamples, some of the colour index and star formation rate evolution still remains. The mentioned trends are characteristic only for galaxies brighter than about $M_{r} = -20$ mag. Unlike some other recent studies, we do not witness an increase in the galaxy stellar mass while approaching filaments. The detected transformations can be explained by an increase in the galaxy-galaxy merger rate and/or the cut-off of extragalactic gas supplies (starvation) near and inside filaments. Unlike voids, large-scale galaxy filaments are not a mere density enhancement, but have their own specific impact on the constituent galaxies, reducing the star formation rate and raising the chances of elliptical morphology also at a fixed environment density level.


title: Simplicial inverse sequences in extension theory

abstract: In extension theory, in particular in dimension theory, it is frequently useful to represent a given compact metrizable space X as the limit of an inverse sequence of compact polyhedra. We are going to show that, for the purposes of extension theory, it is possible to replace such an X by a better metrizable compactum Z. This Z will come as the limit of an inverse sequence of triangulated polyhedra with simplicial bonding maps that factor in a certain way. There will be a cell-like map from Z to X, and we shall show that if K is a CW-complex which is an absolute extensor for X, then K is also an absolute extensor for Z.


title: A Bonnet-Myers type theorem for quaternionic contact structures

abstract: We prove a Bonnet-Myers type theorem for quaternionic contact manifolds of dimension bigger than 7. If the manifold is complete with respect to the natural sub-Riemannian distance and satisfies a natural Ricci-type bound expressed in terms of derivatives up to the third order of the fundamental tensors, then the manifold is compact and we give a sharp bound on its sub-Riemannian diameter.


title: Response adaptive designs for binary responses: how to offer patient benefit while being robust to time trends?

abstract: Response-adaptive randomisation (RAR) can considerably improve the chances of a successful treatment outcome for patients in a clinical trial by skewing the allocation probability towards better performing treatments as data accumulates. There is considerable interest in using RAR designs in drug development for rare diseases, where traditional designs are not feasible or ethically objectionable. In this paper we discuss and address a major criticism of RAR: the undesirable type I error inflation due to unknown time trends in the trial. Time trends can appear because of changes in the characteristics of recruited patients - so-called "patient drift". Patient drift is a realistic concern for clinical trials in rare diseases because these typically recruit patients over a very long period of time. We compute by simulations how large the type I error inflation is as a function of the time trend magnitude in order to determine in which contexts a potentially costly correction is actually necessary. We then assess the ability of different correction methods to preserve type I error in this context and their performance in terms of other operating characteristics, including patient benefit and power. We make recommendations of which correction methods are most suitable in the rare disease context for several RAR rules, differentiating between the two-armed and the multi-armed case. We further propose a RAR design for multi-armed clinical trials, which is computationally cheap and robust to several time trends considered.


title: Patterns of Influenza Vaccination Coverage in the United States from 2009 to 2015

abstract: Background: Globally, influenza is a major cause of morbidity, hospitalization and mortality. Influenza vaccination has shown substantial protective effectiveness in the United States. We investigated state-level patterns of coverage rates of seasonal and pandemic influenza vaccination, among the overall population in the U.S. and specifically among children and the elderly, from 2009/10 to 2014/15, and associations with ecological factors. Methods and Findings: We obtained state-level influenza vaccination coverage rates from national surveys, and state-level socio-demographic and health data from a variety of sources. We employed a retrospective ecological study design, and used mixed-model regression to determine the levels of ecological association of the state-level vaccinations rates with these factors, both with and without region as a factor for the three populations. We found that health-care access is positively and significantly associated with mean influenza vaccination coverage rates across all populations and models. We also found that prevalence of asthma in adults are negatively and significantly associated with mean influenza vaccination coverage rates in the elderly populations. Conclusions: Health-care access has a robust, positive association with state-level vaccination rates across different populations. This highlights a potential population-level advantage of expanding health-care access.


title: Diattenuation of Brain Tissue and its Impact on 3D Polarized Light Imaging

abstract: 3D-Polarized Light Imaging (3D-PLI) reconstructs nerve fibers in histological brain sections by measuring their birefringence. This study investigates another effect caused by the optical anisotropy of brain tissue - diattenuation. Based on numerical and experimental studies and a complete analytical description of the optical system, the diattenuation was determined to be below 4 % in rat brain tissue. It was demonstrated that the diattenuation effect has negligible impact on the fiber orientations derived by 3D-PLI. The diattenuation signal, however, was found to highlight different anatomical structures that cannot be distinguished with current imaging techniques, which makes Diattenuation Imaging a promising extension to 3D-PLI.


title: Synchronization of an optomechanical system to an external drive

abstract: Optomechanical systems driven by an effective blue detuned laser can exhibit self-sustained oscillations of the mechanical oscillator. These self-oscillations are a prerequisite for the observation of synchronization. Here, we study the synchronization of the mechanical oscillations to an external reference drive. We study two cases of reference drives: (1) An additional laser applied to the optical cavity; (2) A mechanical drive applied directly to the mechanical oscillator. Starting from a master equation description, we derive a microscopic Adler equation for both cases, valid in the classical regime in which the quantum shot noise of the mechanical self-oscillator does not play a role. Furthermore, we numerically show that, in both cases, synchronization arises also in the quantum regime. The optomechanical system is therefore a good candidate for the study of quantum synchronization.


title: Mapping degrees between spherical $3$-manifolds

abstract: Let $D(M,N)$ be the set of integers that can be realized as the degree of a map between two closed connected orientable manifolds $M$ and $N$ of the same dimension. For closed $3$-manifolds with $S^3$-geometry $M$ and $N$, every such degree $deg f\equiv \overline{deg}\psi$ $(|\pi_1(N)|)$ where $0\le \overline{deg}\psi <|\pi_1(N)|$ and $\overline{deg}\psi$ only depends on the induced homomorphism $\psi=f_{\pi}$ on the fundamental group. In this paper, we calculate explicitly the set $\{\overline{deg}\psi\}$ when $\psi$ is surjective and then we show how to determine $\overline{deg}(\psi)$ for arbitrary homomorphisms. This leads to the determination of the set $D(M,N)$.


title: Linear codes over Fq which are equivalent to LCD codes

abstract: Linear codes with complementary duals (abbreviated LCD) are linear codes whose intersection with their dual are trivial. When they are binary, they play an important role in armoring implementations against side-channel attacks and fault injection attacks. Non-binary LCD codes in characteristic 2 can be transformed into binary LCD codes by expansion. In this paper, we introduce a general construction of LCD codes from any linear codes. Further, we show that any linear code over $\mathbb F_{q} (q>3)$ is equivalent to an Euclidean LCD code and any linear code over $\mathbb F_{q^2} (q>2)$ is equivalent to a Hermitian LCD code. Consequently an $[n,k,d]$-linear Euclidean LCD code over $\mathbb F_q$ with $q>3$ exists if there is an $[n,k,d]$-linear code over $\mathbb F_q$ and an $[n,k,d]$-linear Hermitian LCD code over $\mathbb F_{q^2}$ with $q>2$ exists if there is an $[n,k,d]$-linear code over $\mathbb F_{q^2}$. Hence, when $q>3$ (resp.$q>2$) $q$-ary Euclidean (resp. $q^2$-ary Hermitian) LCD codes possess the same asymptotical bound as $q$-ary linear codes (resp. $q^2$-ary linear codes). Finally, we present an approach of constructing LCD codes by extending linear codes.


title: A Localisation-Segmentation Approach for Multi-label Annotation of Lumbar Vertebrae using Deep Nets

abstract: Multi-class segmentation of vertebrae is a non-trivial task mainly due to the high correlation in the appearance of adjacent vertebrae. Hence, such a task calls for the consideration of both global and local context. Based on this motivation, we propose a two-staged approach that, given a computed tomography dataset of the spine, segments the five lumbar vertebrae and simultaneously labels them. The first stage employs a multi-layered perceptron performing non-linear regression for locating the lumbar region using the global context. The second stage, comprised of a fully-convolutional deep network, exploits the local context in the localised lumbar region to segment and label the lumbar vertebrae in one go. Aided with practical data augmentation for training, our approach is highly generalisable, capable of successfully segmenting both healthy and abnormal vertebrae (fractured and scoliotic spines). We consistently achieve an average Dice coefficient of over 90 percent on a publicly available dataset of the xVertSeg segmentation challenge of MICCAI 2016. This is particularly noteworthy because the xVertSeg dataset is beset with severe deformities in the form of vertebral fractures and scoliosis.


title: Complementary Normalized Compressive Ghost Imaging with Entangled Photons

abstract: We demonstrate a compressive normalized ghost imaging system with entangled photons employing complementary compressive imaging (CCI) technique. The quantum ghost image reconstruction was achieved at only 19.53% sampling ratio of raster scanning. With the special +1/-1 type sensing matrix and appropriate optimal algorithm, the photon utilization efficiency and robustness of the imaging system is enhanced significantly. Our results reveal the great potential of CCI technique applied in quantum imaging and other quantum optics field such as quantum charactering and quantum state tomography to use the information loaded in each photon with high efficiency.


title: Interference Networks with Caches at Both Ends

abstract: A $K_T \times K_R$ cache-aided wireless interference network, in which both the transmitters and the receivers are equipped with cache memories is studied. Each user requests one file from a library of $N$ popular files. The goal is to design the cache contents without the knowledge of the particular user demands, such that all possible demand combinations can be satisfied reliably over the interference channel. The achievable sum degrees-of-freedom ($\mathrm{sDoF}$) and the normalized delivery time (NDT) are studied for centralized and decentralized network architectures, respectively. First, using a combination of interference alignment (IA), zero-forcing (ZF) and interference cancellation (IC) techniques, a novel caching and transmission scheme for centralized networks is introduced, and it is shown to improve the $\mathrm{sDoF}$ upon the state-of-the-art. Then, the NDT is studied when the content placement at the receiver caches is carried out in a decentralized manner. Our results indicate that, for this particular network architecture, caches located at the receiver side are more effective than those at the transmitter side in order to reduce the NDT.


title: Coupling the Gaussian free fields with free and with zero boundary conditions via common level lines

abstract: We point out a new simple way to couple the Gaussian Free Field (GFF) with free boundary conditions in a two-dimensional domain with the GFF with zero boundary conditions in the same domain: Starting from the latter, one just has to sample at random all the signs of the height gaps on its boundary-touching zero-level lines (these signs are alternating for the zero-boundary GFF) in order to obtain a free boundary GFF. Constructions and couplings of the free boundary GFF and its level lines via soups of reflected Brownian loops and their clusters are also discussed. Such considerations show for instance that in a domain with an axis of symmetry, if one looks at the overlay of a single usual Conformal Loop Ensemble CLE(3) with its own symmetric image, one obtains the CLE(4)-type collection of level lines of a GFF with mixed zero/free boundary conditions in the half-domain.


title: Model-independent search for neutrino sources with the ANTARES neutrino telescope

abstract: A novel method to analyse the spatial distribution of neutrino candidates recorded with the ANTARES neutrino telescope is introduced, searching for an excess of neutrinos in a region of arbitrary size and shape from any direction in the sky. Techniques originating from the domains of machine learning, pattern recognition and image processing are used to purify the sample of neutrino candidates and for the analysis of the obtained skymap. In contrast to a dedicated search for a specific neutrino emission model, this approach is sensitive to a wide range of possible morphologies of potential sources of high-energy neutrino emission. The application of these methods to ANTARES data yields a large-scale excess with a post-trial significance of 2.5$\sigma$. Applied to public data from IceCube in its IC40 configuration, an excess consistent with the results from ANTARES is observed with a post-trial significance of 2.1$\sigma$.


title: Off-axis reference beam for full-field swept-source OCT and holoscopy

abstract: In numerous applications, Fourier-domain optical coherence tomography (FD-OCT) suffers from a limited imaging depth due to signal roll-off, a limited focal range, and autocorrelation noise. Here, we propose a parallel full-field FD-OCT imaging method that uses a swept laser source and an area camera in combination with an off-axis reference, which is incident on the camera at a small angle. As in digital off-axis holography, this angle separates autocorrelation signals and the complex conjugated mirror image from the actual signal in Fourier space. We demonstrate that by reconstructing the signal term only, this approach enables full-range imaging, i.e., it increases the imaging depth by a factor of two, and removes autocorrelation artifacts. The previously demonstrated techniques of inverse scattering and holoscopy can then numerically extend the focal range without loss of lateral resolution or imaging sensitivity. The resulting, significantly enhanced measurement depth is demonstrated by imaging a porcine eye over its entire depth, including cornea, lens, and retina. Finally, the feasibility of in vivo measurements is demonstrated by imaging the living human retina.


title: Nonexistence of positive solutions for Henon equation

abstract: We consider the semilinear elliptic equation $$ -\Delta u = |x|^\alpha u^p \quad \hbox{in } \mathbb{R}^N, $$ where $N\ge 3$, $\alpha>-2$ and $p>1$. We show that there are no positive solutions provided that the exponent $p$ additionally verifies $$ 1<p<\frac{N+2\alpha+2}{N-2}. $$ This solves an open problem posed in previous literature, where only the radially symmetric case was fully understood. We also characterize all positive solutions when $p=\frac{N+2\alpha+2}{N-2}$ and $-2<\alpha<0$.


title: Wave breaking onset of two-dimensional wave groups in uniform intermediate depth water

abstract: Using the same measurement techniques as those of Saket et al. (2017), we have investigated the breaking threshold proposed by Barthelemy et al. (arXiv:1508.06002v1, 2015b) but for different classes of unforced unidirectional wave groups in intermediate water depths in the laboratory. The threshold parameter $B_x = U_s/C$ (where $U_s$ is the horizontal surface water particle velocity at the wave crest and $C$ is the wave crest point speed) which distinguishes breaking from non-breaking waves was found to be 0.835 $\pm$ 0.005 with the experimental uncertainty of each data point of $\pm$ 0.020. This threshold is applicable to water depth to wave length ratios as low as 0.2 including the deep water conditions investigated by Saket et al. (2017). No dependence on peak spectral wavenumber was found at the scales achievable in a large-scale laboratory. The present study provides more robust and universal characterisation of breaking in transitional water than the empirical non-dimensionalisation of Nelson (1994). The limiting wave height to water depth ratios of marginally breaking deep and intermediate water waves remain within 10 % of Nelson's values. However, it is shown that the effect of wave grouping can produce waves in shallower water that are at least 30 % greater in height than the limit proposed by Nelson (1994). The present study supports use of limits based on McCowan (1894) and Miche (1944) for coastal engineering design for marginal breaking waves. Three-dimensional and more strongly breaking waves in shallower water may yield wave heights higher than those measured during this study.


title: A Meshless-based Local Reanalysis Method for Structural Analysis

abstract: This study presents a meshless-based local reanalysis (MLR) method. The purpose of this study is to extend reanalysis methods to the Kriging interpolation meshless method due to its high efficiency. In this study, two reanalysis methods: combined approximations CA) and indirect factorization updating (IFU) methods are utilized. Considering the computational cost of meshless methods, the reanalysis method improves the efficiency of the full meshless method significantly. Compared with finite element method (FEM)-based reanalysis methods, the main superiority of meshless-based reanalysis method is to break the limitation of mesh connection. The meshless-based reanalysis is much easier to obtain the stiffness matrix even for solving the mesh distortion problems. However, compared with the FEM-based reanalysis method, the critical challenge is to use much more nodes in the influence domain due to high order interpolation. Therefore, a local reanalysis method which only needs to calculate the local stiffness matrix in the influence domain is suggested to improve the efficiency further. Several typical numerical examples are tested and the performance of the suggested method is verified.


title: Rational homology of configuration spaces of the Moebius strip and projective plane

abstract: All rational homology groups of unordered configuration spaces of the Moebius strip and the projective plane are calculated


title: Nematus: a Toolkit for Neural Machine Translation

abstract: We present Nematus, a toolkit for Neural Machine Translation. The toolkit prioritizes high translation accuracy, usability, and extensibility. Nematus has been used to build top-performing submissions to shared translation tasks at WMT and IWSLT, and has been used to train systems for production environments.


title: Thermochemistry and vertical mixing in the tropospheres of Uranus and Neptune: How convection inhibition can affect the derivation of deep oxygen abundances

abstract: Thermochemical models have been used in the past to constrain the deep oxygen abundance in the gas and ice giant planets from tropospheric CO spectroscopic measurements. Knowing the oxygen abundance of these planets is a key to better understand their formation. These models have widely used dry and/or moist adiabats to extrapolate temperatures from the measured values in the upper troposphere down to the level where the thermochemical equilibrium between H$_2$O and CO is established. The mean molecular mass gradient produced by the condensation of H$_2$O stabilizes the atmosphere against convection and results in a vertical thermal profile and H$_2$O distribution that departs significantly from previous estimates. We revisit O/H estimates using an atmospheric structure that accounts for the inhibition of the convection by condensation. We use a thermochemical network and the latest observations of CO in Uranus and Neptune to calculate the internal oxygen enrichment required to satisfy both these new estimates of the thermal profile and the observations. We also present the current limitations of such modeling.


title: Single-Temperature Quantum Engine Without Feedback Control

abstract: A cyclically working quantum mechanical engine that operates at a single temperature is proposed. Its energy input is delivered by a quantum measurement. The functioning of the engine does not require any feedback control. We analyze work, heat, and the efficiency of the engine for the case of a working substance that is governed by the laws of quantum mechanics and that can be adiabatically compressed and dilated. The obtained general expressions are exemplified for a spin in an adiabatically changing magnetic field and a particle moving in a potential with slowly changing shape.


title: Constraining $Z^\prime$ widths from $p_T$ measurements in Drell-Yan processes

abstract: We define a Focus Point (FP) Asymmetry, $A_{\rm FP}$, obtained by integrating the normalised transverse momentum distribution of either lepton produced in the Drell-Yan (DY) process below and above a point where a variety of popular $Z^\prime$ models all have the same magnitude. For a given $Z^\prime$ mass the position of this FP is predictable, depending only on the collider energy and on the low transverse momentum cut chosen in the normalisation procedure. The resulting $A_{\rm FP}$ is very sensitive to the $Z^\prime$ width, and can be used to constrain this parameter in experimental fits.


title: Toward a Formal Model of Cognitive Synergy

abstract: "Cognitive synergy" refers to a dynamic in which multiple cognitive processes, cooperating to control the same cognitive system, assist each other in overcoming bottlenecks encountered during their internal processing. Cognitive synergy has been posited as a key feature of real-world general intelligence, and has been used explicitly in the design of the OpenCog cognitive architecture. Here category theory and related concepts are used to give a formalization of the cognitive synergy concept. A series of formal models of intelligent agents is proposed, with increasing specificity and complexity: simple reinforcement learning agents; "cognit" agents with an abstract memory and processing model; hypergraph-based agents (in which "cognit" operations are carried out via hypergraphs); hypergraph agents with a rich language of nodes and hyperlinks (such as the OpenCog framework provides); "PGMC" agents whose rich hypergraphs are endowed with cognitive processes guided via Probabilistic Growth and Mining of Combinations; and finally variations of the PrimeAGI design, which is currently being built on top of OpenCog. A notion of cognitive synergy is developed for cognitive processes acting within PGMC agents, based on developing a formal notion of "stuckness," and defining synergy as a relationship between cognitive processes in which they can help each other out when they get stuck. It is proposed that cognitive processes relating to each other synergetically, associate in a certain way with functors that map into each other via natural transformations. Cognitive synergy is proposed to correspond to a certain inequality regarding the relative costs of different paths through certain commutation diagrams. Applications of this notion of cognitive synergy to particular cognitive phenomena, and specific cognitive processes in the PrimeAGI design, are discussed.


title: Measurements of electroweak $Wjj$ production and constraints on anomalous gauge couplings with the ATLAS detector

abstract: Measurements of the electroweak production of a $W$ boson in association with two jets at high dijet invariant mass are performed using $\sqrt{s} = 7$ and $8$ TeV proton-proton collision data produced by the Large Hadron Collider, corresponding respectively to 4.7 and 20.2 fb$^{-1}$ of integrated luminosity collected by the ATLAS detector. The measurements are sensitive to the production of a $W$ boson via a triple-gauge-boson vertex and include both the fiducial and differential cross sections of the electroweak process.


title: Deep Value Networks Learn to Evaluate and Iteratively Refine Structured Outputs

abstract: We approach structured output prediction by optimizing a deep value network (DVN) to precisely estimate the task loss on different output configurations for a given input. Once the model is trained, we perform inference by gradient descent on the continuous relaxations of the output variables to find outputs with promising scores from the value network. When applied to image segmentation, the value network takes an image and a segmentation mask as inputs and predicts a scalar estimating the intersection over union between the input and ground truth masks. For multi-label classification, the DVN's objective is to correctly predict the F1 score for any potential label configuration. The DVN framework achieves the state-of-the-art results on multi-label prediction and image segmentation benchmarks.


title: Deep Learning for Skin Lesion Classification

abstract: Melanoma, a malignant form of skin cancer is very threatening to life. Diagnosis of melanoma at an earlier stage is highly needed as it has a very high cure rate. Benign and malignant forms of skin cancer can be detected by analyzing the lesions present on the surface of the skin using dermoscopic images. In this work, an automated skin lesion detection system has been developed which learns the representation of the image using Google's pretrained CNN model known as Inception-v3 \cite{cnn}. After obtaining the representation vector for our input dermoscopic images we have trained two layer feed forward neural network to classify the images as malignant or benign. The system also classifies the images based on the cause of the cancer either due to melanocytic or non-melanocytic cells using a different neural network. These classification tasks are part of the challenge organized by International Skin Imaging Collaboration (ISIC) 2017. Our system learns to classify the images based on the model built using the training images given in the challenge and the experimental results were evaluated using validation and test sets. Our system has achieved an overall accuracy of 65.8\% for the validation set.


title: Stable conjugacy and epipelagic L-packets for Brylinski-Deligne covers of Sp(2n)

abstract: Let $F$ be a local field of characteristic not $2$. We propose a definition of stable conjugacy for all the covering groups of $\mathrm{Sp}(2n,F)$ constructed by Brylinski and Deligne, whose degree we denote by $m$. To support this notion, we follow Kaletha's approach to construct genuine epipelagic $L$-packets for such covers in the non-archimedean case with $p \nmid 2m$, or some weaker variant when $4 \mid m$; we also prove the stability of packets when $F \supset \mathbb{Q}_p$ with $p$ large. When $m=2$, the stable conjugacy reduces to that defined by J. Adams, and the epipelagic $L$-packets coincide with those obtained by $\Theta$-correspondence. This fits within Weissman's formalism of L-groups. For $n=1$ and $m$ even, it is also compatible with the transfer factors proposed by K. Hiraga and T. Ikeda.


title: Contrasting Phenomenology of NMR Shifts in Cuprate Superconductors

abstract: Nuclear magnetic resonance (NMR) shifts, if stripped off their uncertainties, must hold key information about the electronic fluid in the cuprates. The early shift interpretation that favored a single-fluid scenario will be reviewed, as well as recent experiments that reported its failure. Thereafter, based on literature shift data for planar Cu a contrasting shift phenomenology for cuprate superconductors is developed, which is very different from the early view while being in agreement with all published data. For example, it will be shown that the hitherto used hyperfine scenario is inadequate as a large isotropic shift component is discovered. Furthermore, the changes of the temperature dependences of the shifts above and below the superconducting transitions temperature proceed according to a few rules that were not discussed before. It appears that there can be substantial spin shift at the lowest temperature if the magnetic field lies in the CuO$_2$ plane, which points to a localization of spin in the $3d(x^2-y^2)$ orbital. A simple model is presented based on the most fundamental findings. The analysis must have new consequences for theory of the cuprates.


title: Towards Efficient Verification of Population Protocols

abstract: Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central verification question for population protocols is the well-specification problem: deciding if a given protocol is well-specified. Esparza et al. have recently shown that this problem is decidable, but with very high complexity: it is at least as hard as the Petri net reachability problem, which is EXPSPACE-hard, and for which only algorithms of non-primitive recursive complexity are currently known. In this paper we introduce the class WS3 of well-specified strongly-silent protocols and we prove that it is suitable for automatic verification. More precisely, we show that WS3 has the same computational power as general well-specified protocols, and captures standard protocols from the literature. Moreover, we show that the membership problem for WS3 reduces to solving boolean combinations of linear constraints over N. This allowed us to develop the first software able to automatically prove well-specification for all of the infinitely many possible inputs.


title: Symbol Grounding via Chaining of Morphisms

abstract: A new model of symbol grounding is presented, in which the structures of natural language, logical semantics, perception and action are represented categorically, and symbol grounding is modeled via the composition of morphisms between the relevant categories. This model gives conceptual insight into the fundamentally systematic nature of symbol grounding, and also connects naturally to practical real-world AI systems in current research and commercial use. Specifically, it is argued that the structure of linguistic syntax can be modeled as a certain asymmetric monoidal category, as e.g. implicit in the link grammar formalism; the structure of spatiotemporal relationships and action plans can be modeled similarly using "image grammars" and "action grammars"; and common-sense logical semantic structure can be modeled using dependently-typed lambda calculus with uncertain truth values. Given these formalisms, the grounding of linguistic descriptions in spatiotemporal perceptions and coordinated actions consists of following morphisms from language to logic through to spacetime and body (for comprehension), and vice versa (for generation). The mapping is indicated between the spatial relationships in the Region Connection Calculus and Allen Interval Algebra and corresponding entries in the link grammar syntax parsing dictionary. Further, the abstractions introduced here are shown to naturally model the structures and systems currently being deployed in the context of using the OpenCog cognitive architecture to control Hanson Robotics humanoid robots.


title: Determination of neutron fracture functions from a global QCD analysis of leading neutron production at HERA

abstract: In this article, we present our global QCD analysis of leading neutron production in deep inelastic scattering at H1 and ZEUS collaborations. The analysis is performed in the framework of a perturbative QCD description for semi-inclusive processes which is based on the fracture functions approach. Modeling the non-perturbative part of the fragmentation process at the input scale Q$_0^2$, we analyze the Q$^2$-dependence of the leading neutron structure functions and obtain the neutron fracture functions (neutron FFs) from next-to-leading order (NLO) global QCD fit to data. We have also performed a careful estimation of the uncertainties using the "Hessian method" for the neutron FFs and corresponding observables originating from experimental errors. The predictions based on the obtained neutron FFs are in good agreement with all data analyzed, at small and large longitudinal momentum fraction $x_L$ as well as the scaled fractional momentum variable $\beta$.


title: Multiplicity of solutions for fractional Schr\"odinger systems in $\mathbb{R}^{N}$

abstract: In this paper we deal with the following nonlocal systems of fractional Schr\"odinger equations \begin{equation*} \left\{ \begin{array}{ll} \varepsilon^{2s} (-\Delta)^{s}u+V(x)u=Q_{u}(u, v)+\gamma H_{u}(u, v) &\mbox{ in } \mathbb{R}^{N}\\ \varepsilon^{2s} (-\Delta)^{s}v+W(x)v=Q_{v}(u, v)+\gamma H_{v}(u, v) &\mbox{ in } \mathbb{R}^{N} \\ u, v>0 &\mbox{ in } \mathbb{R}^{N}, \end{array} \right. \end{equation*} where $\varepsilon>0$, $s\in (0, 1)$, $N>2s$, $(-\Delta)^{s}$ is the fractional Laplacian, $V:\mathbb{R}^{N}\rightarrow \mathbb{R}$ and $W:\mathbb{R}^{N}\rightarrow \mathbb{R}$ are continuous potentials, $Q$ is a homogeneous $C^{2}$-function with subcritical growth, $\gamma\in \{0, 1\}$ and $H(u, v)=\frac{2}{\alpha+\beta}|u|^{\alpha} |v|^{\beta}$ with $\alpha, \beta\geq 1$ such that $\alpha+\beta=2^{*}_{s}$. We investigate the subcritical case $(\gamma=0)$ and the critical case $(\gamma=1)$, and using Ljusternik-Schnirelmann theory, we relate the number of solutions with the topology of the set where the potentials $V$ and $W$ attain their minimum values.


title: Shape Convergence for Aggregate Tiles in Conformal Tilings

abstract: Given a substitution tiling $T$ of the plane with subdivision operator $\tau$, we study the conformal tilings $\mathcal{T}_n$ associated with $\tau^n T$. We prove that aggregate tiles within $\mathcal{T}_n$ converge in shape as $n\rightarrow \infty$ to their associated Euclidean tiles in $T$.


title: Reviewing Literature on Time Pressure in Software Engineering and Related Professions - Computer Assisted Interdisciplinary Literature Review

abstract: During the past years, psychological diseases related to unhealthy work environments, such as burnouts, have drawn more and more public attention. One of the known causes of these affective problems is time pressure. In order to form a theoretical background for time pressure detection in software repositories, this paper combines interdisciplinary knowledge by analyzing 1270 papers found on Scopus database and containing terms related to time pressure. By clustering those papers based on their abstract, we show that time pressure has been widely studied across different fields, but relatively little in software engineering. From a literature review of the most relevant papers, we infer a list of testable hypotheses that we want to verify in future studies in order to assess the impact of time pressures on software developers mental health.


title: Rescaling of quantized skyrmions: from nucleon to baryons with heavy flavor

abstract: The role of rescaling (expansion or squeezing) of quantized skyrmions is studied for the spectrum of baryons beginning with nucleon and $\Delta(1232)$, and with flavors strangeness, charm or beauty. The expansion of skyrmions due to the centrifugal forces has influence on the masses of baryons without flavor ($N$ and especially $\Delta$). The rescaling of skyrmions has smaller influence on the spectrum of strange baryons, it is more important for the case of charm, and is crucial for baryons with beauty quantum number, where strong squeezing takes place. Two competing tendencies are clearly observed: expansion of skyrmions when isospin (or spin) increases, and squeezing with increasing mass of the flavor. For the case of beauty baryon $\Lambda_b$ satisfactory agreement with data can be reached for the value $r_b= F_B/F_\pi \simeq 2.6 $, for the case of $\Sigma_b$ there should be $r_b\sim 2$, so for the beauty flavor the method seems to be not quite satisfactory because of certain intrinsic discrepances. Some pentaquark states with hidden strangeness, charm or beauty are considered as well.


title: Analytical Model of Wireless Cell with Superposition Coding

abstract: Focusing on the downlink, we consider a base station (BS) and the cell it covers. The Superposition Coding (SC), also referred to as Non Orthogonal Multiple Access (NOMA), is implemented. We propose an analytical model of the wireless cell covered by the BS. Based on this model, we establish a closed form expression of the minimum transmit power of the base station, needed to achieve a given SINR (signal to interference plus noise ratio), whatever the users locations, on the area covered by the base station. The closed form expression of the BS transmit power allows to establish quality of service (QoS) and coverage values, in a simple and quick way.


title: Features in single field slow-roll inflation

abstract: We compare the effects of local features (LF) and branch features (BF) of the inflaton potential on the spectrum of primordial perturbations. We show that LF affect the spectrum in a narrow range of scales while BF produce a step between large and small scales with respect to the featureless spectrum. We comment on the possibility of distinguishing between these two types of feature models from the analysis of the Cosmic Microwave Background (CMB) radiation data. We also show that there exists a quantitative similarity between the primordial spectra predicted by two of the BF potentials considered. This could lead to a degeneracy of their predicted CMB temperature spectra which could make difficult to discriminate between the models from a CMB analysis. We comment on the possibility that the degeneracy can be broken when higher order terms in the perturbations are considered. In this sense non-Gaussianity may play an important role in discerning between different inflationary models which predict similar spectra.


title: Microscopic derivation of the Keller-Segel equation in the sub-critical regime

abstract: We derive the two-dimensional Keller-Segel equation from a stochastic system of $N$ interacting particles in the case of sub-critical chemosensitivity $\chi < 8 \pi$. The Coulomb interaction force is regularised with a cutoff of size $N^{- \alpha}$, with arbitrary $\alpha \in (0, 1 / 2)$. In particular we obtain a quantitative result for the maximal distance between the real and mean-field $N$-particle trajectories.


title: Cut Finite Element Methods for Linear Elasticity Problems

abstract: We formulate a cut finite element method for linear elasticity based on higher order elements on a fixed background mesh. Key to the method is a stabilization term which provides control of the jumps in the derivatives of the finite element functions across faces in the vicinity of the boundary. We then develop the basic theoretical results including error estimates and estimates of the condition number of the mass and stiffness matrices. We apply the method to the standard displacement problem, the frequency response problem, and the eigenvalue problem. We present several numerical examples including studies of thin bending dominated structures relevant for engineering applications. Finally, we develop a cut finite element method for fibre reinforced materials where the fibres are modeled as a superposition of a truss and a Euler-Bernoulli beam. The beam model leads to a fourth order problem which we discretize using the restriction of the bulk finite element space to the fibre together with a continuous/discontinuous finite element formulation. Here the bulk material stabilizes the problem and it is not necessary to add additional stabilization terms.


title: Vortex-vortex control in exciton-polariton condensates

abstract: Vortices are widely studied in fields ranging from nonlinear optics to magnetic systems and superconductors. A vortex carries a binary information corresponding to its topological charge, `plus' or `minus', that can be used for information storage and processing. In spatially extended optical and condensed many-particle systems, achieving full control over vortex formation and its charge is particularly difficult and is not easily extended to systems of multiple vortices. Here we demonstrate the optical creation of multiplets of phase-locked vortices in polariton condensates using off-resonant excitation with ring-shaped pump beams. We find that the vorticity of one vortex can be controlled solely using the phase-locking with other nearby vortices. Using this mechanism, we demonstrate how an existing vortex with a specific topological charge can be inverted to the oppositely charged state, and how the charge state of one reference vortex can be copied to a neighboring vortex. This way we can optically encode any set of binary information onto a chain of vortices. We further show that this information can be modified later by using the possibility to address and manipulate each vortex in the chain individually.


title: Langevin Dynamics with Continuous Tempering for Training Deep Neural Networks

abstract: Minimizing non-convex and high-dimensional objective functions is challenging, especially when training modern deep neural networks. In this paper, a novel approach is proposed which divides the training process into two consecutive phases to obtain better generalization performance: Bayesian sampling and stochastic optimization. The first phase is to explore the energy landscape and to capture the "fat" modes; and the second one is to fine-tune the parameter learned from the first phase. In the Bayesian learning phase, we apply continuous tempering and stochastic approximation into the Langevin dynamics to create an efficient and effective sampler, in which the temperature is adjusted automatically according to the designed "temperature dynamics". These strategies can overcome the challenge of early trapping into bad local minima and have achieved remarkable improvements in various types of neural networks as shown in our theoretical analysis and empirical experiments.


title: On-demand source of maximally entangled photon-pairs using the biexciton-exciton radiative cascade

abstract: We perform full time resolved tomographic measurements of the polarization state of pairs of photons emitted during the radiative cascade of the confined biexciton in a semiconductor quantum dot. The biexciton was deterministically initiated using a $\pi$-area pulse into the biexciton two-photon absorption resonance. Our measurements demonstrate that the polarization states of the emitted photon pair are maximally entangled. We show that the measured degree of entanglement depends solely on the temporal resolution by which the time difference between the emissions of the photon pair is determined. A route for fabricating an on demand source of maximally polarization entangled photon pairs is thereby provided.


title: On the Transformation Capability of Feasible Mechanisms for Programmable Matter

abstract: In this work, we study theoretical models of \emph{programmable matter} systems. The systems under consideration consist of spherical modules, kept together by magnetic forces and able to perform two minimal mechanical operations (or movements): \emph{rotate} around a neighbor and \emph{slide} over a line. In terms of modeling, there are $n$ nodes arranged in a 2-dimensional grid and forming some initial \emph{shape}. The goal is for the initial shape $A$ to \emph{transform} to some target shape $B$ by a sequence of movements. Most of the paper focuses on \emph{transformability} questions, meaning whether it is in principle feasible to transform a given shape to another. We first consider the case in which only rotation is available to the nodes. Our main result is that deciding whether two given shapes $A$ and $B$ can be transformed to each other, is in $\mathbf{P}$. We then insist on rotation only and impose the restriction that the nodes must maintain global connectivity throughout the transformation. We prove that the corresponding transformability question is in $\mathbf{PSPACE}$ and study the problem of determining the minimum \emph{seeds} that can make feasible, otherwise infeasible transformations. Next we allow both rotations and slidings and prove universality: any two connected shapes $A,B$ of the same order, can be transformed to each other without breaking connectivity. The worst-case number of movements of the generic strategy is $\Omega(n^2)$. We improve this to $O(n)$ parallel time, by a pipelining strategy, and prove optimality of both by matching lower bounds. In the last part of the paper, we turn our attention to distributed transformations. The nodes are now distributed processes able to perform communicate-compute-move rounds. We provide distributed algorithms for a general type of transformations.


title: Cost-Based Intuitionist Probabilities on Spaces of Graphs, Hypergraphs and Theorems

abstract: A novel partial order is defined on the space of digraphs or hypergraphs, based on assessing the cost of producing a graph via a sequence of elementary transformations. Leveraging work by Knuth and Skilling on the foundations of inference, and the structure of Heyting algebras on graph space, this partial order is used to construct an intuitionistic probability measure that applies to either digraphs or hypergraphs. As logical inference steps can be represented as transformations on hypergraphs representing logical statements, this also yields an intuitionistic probability measure on spaces of theorems. The central result is also extended to yield intuitionistic probabilities based on more general weighted rule systems defined over bicartesian closed categories.


title: Enhanced robustness of evolving open systems by the bidirectionality of interactions between elements

abstract: Living organisms, ecosystems, and social systems are examples of complex systems in which robustness against inclusion of new elements is an essential feature. A recently proposed simple model has revealed a general mechanism by which such systems can become robust against inclusion of elements with random interactions when the elements have a moderate number of links. This happens as a result of two opposing effects such that while the inclusion of elements with more interactions makes each individual element more robust against disturbances, it also increases the net impact of the loss of any element in the system. The interaction is, however, in many systems often intrinsically bidirectional like for mutual symbiosis, competition in ecology, and the action-reaction law of Newtonian mechanics, etc. This study reports the strong reinforcement effect of the bidirectionality of the interactions on the robustness of evolving systems. We show that the system with purely bidirectional interactions can grow with two-fold average degree, in comparison with the purely unidirectional system. This drastic shift of the transition point comes from the reinforcement of each node, not from a change in structure of the emergent system. For systems with partially bidirectional interactions we find that the area of the growing phase gets expanded. In the dense interaction regime, there exists an optimum proportion of bidirectional interactions for the growth rate at around $1/3$. In the sparsely connected systems, small but finite fraction of bidirectional links can change the system's behaviour from non-growing to growing behaviour.


title: Digital receivers for low-frequency radio telescopes UTR-2, URAN, GURT

abstract: This paper describes digital radio astronomical receivers used for decameter and meter wavelength observations. This paper describes digital radio astronomical receivers used for decameter and meter wavelength observations. Since 1998, digital receivers performing on-the-fly dynamic spectrum calculations or waveform data recording without data loss have been used at the UTR-2 radio telescope, the URAN VLBI system, and the GURT new generation radio telescope. Here we detail these receivers developed for operation in the strong interference environment that prevails in the decameter wavelength range. Data collected with these receivers allowed us to discover numerous radio astronomical objects and phenomena at low frequencies, a summary of which is also presented.


title: Topological Data Analysis of Financial Time Series: Landscapes of Crashes

abstract: We explore the evolution of daily returns of four major US stock market indices during the technology crash of 2000, and the financial crisis of 2007-2009. Our methodology is based on topological data analysis (TDA). We use persistence homology to detect and quantify topological patterns that appear in multidimensional time series. Using a sliding window, we extract time-dependent point cloud data sets, to which we associate a topological space. We detect transient loops that appear in this space, and we measure their persistence. This is encoded in real-valued functions referred to as a 'persistence landscapes'. We quantify the temporal changes in persistence landscapes via their $L^p$-norms. We test this procedure on multidimensional time series generated by various non-linear and non-equilibrium models. We find that, in the vicinity of financial meltdowns, the $L^p$-norms exhibit strong growth prior to the primary peak, which ascends during a crash. Remarkably, the average spectral density at low frequencies of the time series of $L^p$-norms of the persistence landscapes demonstrates a strong rising trend for 250 trading days prior to either dotcom crash on 03/10/2000, or to the Lehman bankruptcy on 09/15/2008. Our study suggests that TDA provides a new type of econometric analysis, which goes beyond the standard statistical measures. The method can be used to detect early warning signals of imminent market crashes. We believe that this approach can be used beyond the analysis of financial time series presented here.


title: Dispersion of the time spent in a state: General expression for unicyclic model and dissipation-less precision

abstract: We compare the relation between dispersion and dissipation for two random variables that can be used to characterize the precision of a Brownian clock. The first random variable is the current between states. In this case, a certain precision requires a minimal energetic cost determined by a known thermodynamic uncertainty relation. We introduce a second random variable that is a certain linear combination of two random variables, each of which is the time a stochastic trajectory spends in a state. Whereas the first moment of this random variable is equal to the average probability current, its dispersion is generally different from the dispersion associated with the current. Remarkably, for this second random variable a certain precision can be obtained with an arbitrarily low energy dissipation, in contrast to the thermodynamic uncertainty relation for the current. As a main technical achievement, we provide an exact expression for the dispersion related to the time that a stochastic trajectory spends in a cluster of states for a general unicyclic network.


title: Mutual information decay for factors of IID

abstract: This paper is concerned with factor of i.i.d. processes on the $d$-regular tree for $d \geq 3$. We study the mutual information of the values on two given vertices. If the vertices are neighbors (i.e., their distance is $1$), then a known inequality between the entropy of a vertex and the entropy of an edge provides an upper bound for the (normalized) mutual information. In this paper we obtain upper bounds for vertices at an arbitrary distance $k$, of order $(d-1)^{-k/2}$. Although these bounds are sharp, we also show that an interesting phenomenon occurs here: for any fixed process the rate of decay of the mutual information is much faster, essentially of order $(d-1)^{-k}$.


title: A finite element method framework for modeling rotating machines with superconducting windings

abstract: Electrical machines employing superconductors are attractive solutions in a variety of application domains. Numerical models are powerful and necessary tools to optimize their design and predict their performance. The electromagnetic modeling of superconductors by finite-element method (FEM) is usually based on a power-law resistivity for their electrical behavior. The implementation of such constitutive law in conventional models of electrical machines is quite problematic: the magnetic vector potential directly gives the electric field and requires using a power-law depending on it. This power-law is a non-bounded function that can generate enormous uneven values in low electric field regions that can destroy the reliability of solutions. The method proposed here consists in separating the model of an electrical machine in two parts, where the magnetic field is calculated with the most appropriate formulation: the H-formulation in the part containing the superconductors and the A-formulation in the part containing conventional conductors (and possibly permanent magnets). The main goal of this work is to determine and to correctly apply the continuity conditions on the boundary separating the two regions. Depending on the location of such boundary -- in the fixed or rotating part of the machine -- the conditions that one needs to apply are different. In addition, the application of those conditions requires the use of Lagrange multipliers satisfying the field transforms of the electromagnetic quantities in the two reference systems, the fixed and the rotating one. In this article, several exemplary cases for the possible configurations are presented. In order to emphasize and capture the essential point of this modeling strategy, the discussed examples are rather simple. Nevertheless, they constitute a solid starting point for modeling more complex and realistic devices.


title: Bayesian Optimization with Gradients

abstract: Bayesian optimization has been successful at global optimization of expensive-to-evaluate multimodal objective functions. However, unlike most optimization methods, Bayesian optimization typically does not use derivative information. In this paper we show how Bayesian optimization can exploit derivative information to decrease the number of objective function evaluations required for good performance. In particular, we develop a novel Bayesian optimization algorithm, the derivative-enabled knowledge-gradient (dKG), for which we show one-step Bayes-optimality, asymptotic consistency, and greater one-step value of information than is possible in the derivative-free setting. Our procedure accommodates noisy and incomplete derivative information, comes in both sequential and batch forms, and can optionally reduce the computational cost of inference through automatically selected retention of a single directional derivative. We also compute the d-KG acquisition function and its gradient using a novel fast discretization-free technique. We show d-KG provides state-of-the-art performance compared to a wide range of optimization procedures with and without gradients, on benchmarks including logistic regression, deep learning, kernel learning, and k-nearest neighbors.


title: On enumeration of tree-rooted planar cubic maps. II

abstract: In the work [4] tree-rooted planar cubic maps with marked directed edge (not in this tree) were enumerated. The number of such objects with $2n$ vertices is $C_{2n}\cdot C_{n+1}$, where $C_k$ is Catalan number. In this work a marked directed edge is not demanded, i.e. we enumerate tree-rooted planar cubic maps. Formulas are more complex, of course, but not significantly.


title: Extrinsic Calibration of 3D Range Finder and Camera without Auxiliary Object or Human Intervention

abstract: Fusion of heterogeneous extroceptive sensors is the most effient and effective way to representing the environment precisely, as it overcomes various defects of each homogeneous sensor. The rigid transformation (aka. extrinsic parameters) of heterogeneous sensory systems should be available before precisely fusing the multisensor information. Researchers have proposed several approaches to estimating the extrinsic parameters. These approaches require either auxiliary objects, like chessboards, or extra help from human to select correspondences. In this paper, we proposed a novel extrinsic calibration approach for the extrinsic calibration of range and image sensors. As far as we know, it is the first automatic approach with no requirement of auxiliary objects or any human interventions. First, we estimate the initial extrinsic parameters from the individual motion of the range finder and the camera. Then we extract lines in the image and point-cloud pairs, to refine the line feature associations by the initial extrinsic parameters. At the end, we discussed the degenerate case which may lead to the algorithm failure and validate our approach by simulation. The results indicate high-precision extrinsic calibration results against the ground-truth.


title: Enhancing human color vision by breaking binocular redundancy

abstract: To see color, the human visual system combines the response of three types of cone cells in the retina--a compressive process that discards a significant amount of spectral information. Here, we present an approach to enhance human color vision by breaking its inherent binocular redundancy, providing different spectral content to each eye. We fabricated a set of optical filters that "splits" the response of the short-wavelength cone between the two eyes in individuals with typical trichromatic vision, simulating the presence of approximately four distinct cone types ("tetrachromacy"). Such an increase in the number of effective cone types can reduce the prevalence of metamers--pairs of distinct spectra that resolve to the same tristimulus values. This technique may result in an enhancement of spectral perception, with applications ranging from camouflage detection and anti-counterfeiting to new types of artwork and data visualization.


title: Randomized Iterative Reconstruction for Sparse View X-ray Computed Tomography

abstract: With the availability of more powerful computers, iterative reconstruction algorithms are the subject of an ongoing work in the design of more efficient reconstruction algorithms for X-ray computed tomography. In this work, we show how two analytical reconstruction algorithms can be improved by correcting the corresponding reconstructions using a randomized iterative reconstruction algorithm. The combined analytical reconstruction followed by randomized iterative reconstruction can also be viewed as a reconstruction algorithm which, in the experiments we have conducted, uses up to $35\%$ less projection angles as compared to the analytical reconstruction algorithms and produces the same results in terms of quality of reconstruction, without increasing the execution time significantly.