title: StereoNet: Guided Hierarchical Refinement for Real-Time Edge-Aware Depth Prediction

abstract: This paper presents StereoNet, the first end-to-end deep architecture for real-time stereo matching that runs at 60 fps on an NVidia Titan X, producing high-quality, edge-preserved, quantization-free disparity maps. A key insight of this paper is that the network achieves a sub-pixel matching precision than is a magnitude higher than those of traditional stereo matching approaches. This allows us to achieve real-time performance by using a very low resolution cost volume that encodes all the information needed to achieve high disparity precision. Spatial precision is achieved by employing a learned edge-aware upsampling function. Our model uses a Siamese network to extract features from the left and right image. A first estimate of the disparity is computed in a very low resolution cost volume, then hierarchically the model re-introduces high-frequency details through a learned upsampling function that uses compact pixel-to-pixel refinement networks. Leveraging color input as a guide, this function is capable of producing high-quality edge-aware output. We achieve compelling results on multiple benchmarks, showing how the proposed method offers extreme flexibility at an acceptable computational budget.


title: A Survey of Energy Efficiency in SDN Software Based Methods and Optimization Models

abstract: Software Defined Networking (SDN) paradigm has the benefits of programmable network elements by separating the control and the forwarding planes, efficiency through optimized routing and flexibility in network management. As the energy costs contribute largely to the overall costs in networks, energy efficiency has become a significant design requirement for modern networking mechanisms. However, designing energy efficient solutions is non-trivial since they need to tackle the trade-off between energy efficiency and network performance. In this article, we address the energy efficiency capabilities that can be utilized in the emerging SDN. We provide a comprehensive and novel classification of software-based energy efficient solutions into subcategories of traffic aware, end system aware and rule placement. We propose general optimization models for each subcategory, and present the objective function, the parameters and constraints to be considered in each model. Detailed information on the characteristics of state-of-the-art methods, their advantages, drawbacks are provided. Hardware-based solutions used to enhance the efficiency of switches are also described. Furthermore, we discuss the open issues and future research directions in the area of energy efficiency in SDN.


title: Wobbling galaxy spin axes in dense environments

abstract: The orientation of galaxy spin vectors within the large scale structure has been considered an important test of our understanding of structure formation. We investigate the angular changes of galaxy spin vectors in clusters - denser environments than are normally focused upon, using hydrodynamic zoomed simulations of 17 clusters YZiCS and a set of complementary controlled simulations. The magnitude by which galaxies change their spin vector is found to be a function of their rotational support with larger cumulative angular changes of spin vectors when they have initially lower $V_{\theta}/\sigma$. We find that both mergers and tidal perturbations can significantly swing spin vectors, with larger changes in spin vector for smaller pericentre distances. Strong tidal perturbations are also correlated with the changes in stellar mass and specific angular momentum of satellite galaxies. However, changes in spin vector can often result in a canceling out of previous changes. As a result, the integrated angular change is always much larger than the angular change measured at any instant. Also, overall the majority of satellite galaxies do not undergo mergers or sufficiently strong tidal perturbation after infall into clusters, and thus they end up suffering little change to their spin vectors. Taken as a whole, these results suggest that any signatures of spin alignment from the large scale structure will be preserved in the cluster environment for many gigayears.


title: Analysis of a time-dependent fluid-solid interaction problem above a local rough surface

abstract: This paper is concerned with the mathematical analysis of time-dependent fluid-solid interaction problem associated with a bounded elastic body immersed in a homogeneous air or fluid above a local rough surface. We reformulate the unbounded scattering problem into an equivalent initial-boundary value problem defined in a bounded domain by proposing a transparent boundary condition (TBC) on a hemisphere. Analyzing the reduced problem with Lax-Milgram lemma and abstract inversion theorem of Laplace transform, we prove the well-posedness and stability for the reduced problem. Moreover, an a priori estimate is established directly in the time domain for the acoustic wave and elastic displacement with using the energy method.


title: Joint Time-Frequency Scattering

abstract: In time series classification and regression, signals are typically mapped into some intermediate representation used for constructing models. Since the underlying task is often insensitive to time shifts, these representations are required to be time-shift invariant. We introduce the joint time-frequency scattering transform, a time-shift invariant representation which characterizes the multiscale energy distribution of a signal in time and frequency. It is computed through wavelet convolutions and modulus non-linearities and may therefore be implemented as a deep convolutional neural network whose filters are not learned but calculated from wavelets. We consider the progression from mel-spectrograms to time scattering and joint time-frequency scattering transforms, illustrating the relationship between increased discriminability and refinements of convolutional network architectures. The suitability of the joint time-frequency scattering transform for time-shift invariant characterization of time series is demonstrated through applications to chirp signals and audio synthesis experiments. The proposed transform also obtains state-of-the-art results on several audio classification tasks, outperforming time scattering transforms and achieving accuracies comparable to those of fully learned networks.


title: One for All, All for One: A Heterogeneous Data Plane for Flexible P4 Processing

abstract: The P4 community has recently put significant effort to increase the diversity of targets on which P4 programs can be implemented. These include fixed function and programmable ASICs, FPGAs, NICs, and CPUs. However, P4 programs are written according to the set of functionalities supported by the target for which they are compiled. For instance, a P4 program targeting a programmable ASIC cannot be extended with user-defined processing modules, which limits the flexibility and the abstraction of P4 programs. To address these shortcomings, we propose a heterogeneous P4 programmable data plane comprised of different targets that together appear as a single logical unit. The proposed data plane broadens the range of functionalities available to P4 programmers by combining the strength of each target. We demonstrate the feasibility of the proposed P4 data plane by coupling an FPGA with a soft switch which emulates a programmable ASIC. The proposed data plane is demonstrated with the implementation of a simplified L2 switch. The emulated ASIC match-table capacity is extended by the FPGA by an order of magnitude.The FPGA also integrates a proprietary module using a P4 extern.


title: Lattice AdS Geometry and Continuum Limit

abstract: We construct the lattice AdS geometry. The lattice AdS$_2$ geometry and AdS$_3$ geometry can be extended from the lattice AdS$_2$ induced metric, which provided the lattice Schwarzian theory at the classical limit. Then we use the lattice embedding coordinates to rewrite the lattice AdS$_2$ geometry and AdS$_3$ geometry with the manifest isometry. The lattice AdS$_2$ geometry can be obtained from the lattice AdS$_3$ geometry through the compactification without the lattice artifact. The lattice embedding coordinates can also be used in the higher dimensional AdS geometry. Because the lattice Schwarzian theory does not suffer from the issue of the continuum limit, the lattice AdS$_2$ geometry can be obtained from the higher dimensional AdS geometry through the compactification, and the lattice AdS metric does not depend on the angular coordinates, we expect that the continuum limit should exist in the lattice Einstein gravity theory from this geometric lattice AdS geometry. Finally, we apply this lattice construction to construct the holographic tensor network without the issue of a continuum limit.


title: SDSS-IV MaNGA: The intrinsic shape of slow rotator early-type galaxies

abstract: By inverting the distributions of galaxies' apparent ellipticities and misalignment angles (measured around the projected half-light radius $R_{\rm e}$) between their photometric and kinematic axes, we study the intrinsic shape distribution of 189 slow rotator early-type galaxies with stellar masses $2\times 10^{11} M_{\odot}<M_\ast<2\times 10^{12} M_{\odot}$, extracted from a sample of about 2200 galaxies with integral-field stellar kinematics from the DR14 of the SDSS-IV MaNGA IFU survey. Thanks to the large sample of slow rotators, Graham+18 showed that there is clear structure in the misalignment angle distribution, with two peaks at both $0^{\circ}$ and $90^{\circ}$ misalignment (characteristic of oblate and prolate rotation respectively). Here we invert the observed distribution from Graham+18. The large sample allows us to go beyond the known fact that slow rotators are weakly triaxial and to place useful constraints on their intrinsic triaxiality distribution (around $1R_{\rm e}$) for the first time. The shape inversion is generally non-unique. However, we find that, for a wide set of model assumptions, the observed distribution clearly requires a dominant triaxial-oblate population. For some of our models, the data suggest a hint for a minor triaxial-prolate population, but a dominant prolate population is ruled out.


title: Time-varying Huygens' meta-devices for parametric waves

abstract: Huygens' metasurfaces have demonstrated almost arbitrary control over the shape of a scattered beam, however, its spatial profile is typically fixed at fabrication time. Dynamic reconfiguration of this beam profile with tunable elements remains challenging, due to the need to maintain the Huygens' condition across the tuning range. In this work, we experimentally demonstrate that a time-varying metadevice which performs frequency conversion can steer transmitted or reflected beams in an almost arbitrary manner, with fully dynamic control. Our time-varying Huygens' metadevice is made of both electric and magnetic meta-atoms with independently controlled modulation, and the phase of this modulation is imprinted on the scattered parametric waves, controlling their shapes and directions. We develop a theory which shows how the scattering directionality, phase and conversion efficiency of sidebands can be manipulated almost arbitrarily. We demonstrate novel effects including all-angle beam steering and frequency-multiplexed functionalities at microwave frequencies around 4 GHz, using varactor diodes as tunable elements. We believe that the concept can be extended to other frequency bands, enabling metasurfaces with arbitrary phase pattern that can be dynamically tuned over the complete 2\pi range.


title: Supersymmetry Breaking in a Large N Gauge Theory with Gravity Dual

abstract: We study phase structure of mass-deformed ABJM theory which is a three dimensional $\mathcal{N}=6$ superconformal theory deformed by mass parameters and has the gauge group $\text{U}(N)\times \text{U}(N)$ with Chern-Simons levels $(k,-k)$ which may have a gravity dual. We discuss that the mass deformed ABJM theory on $S^3$ breaks supersymmetry in a large-$N$ limit if the mass is larger than a critical value. To see some evidence for this conjecture, we compute the partition function exactly, and numerically by using the Monte Carlo Simulation for small $N$. We discover that the partition function has zeroes as a function of the mass deformation parameters if $N\ge k$, which supports the large-$N$ supersymmetry breaking. We also find a solution to the large-$N$ saddle point equations, where the free energy is consistent with the finite $N$ result.


title: On the number of simultaneous core partitions with $d$-distinct parts

abstract: We investigate the number $N_{d,r}(s)$ of $(s, s+r)$-core integer partitions with $d$-distinct parts. Our first main result is a proof of a recurrence relation conjectured by Sahin in 2018. We also derive generating functions, asymptotics, and exact formulas for $N_{d,r}(s)$ when $r$ is within $d$ of a multiple of $s$. Finally, we exhibit a surprising connection to $A$-restricted compositions.


title: The Exponential Convergence of the CR Yamabe Flow

abstract: In this paper, we study the CR Yamabe flow with zero CR Yamabe invariant. We use the CR Poincar\'e inequality and a Gagliardo-Nirenberg type interpolation inequality to show that this flow has long time solution and the solution converges to a contact form with flat pseudo-Hermitian scalar curvature exponentially.


title: Spectra of Tridiagonal Matrices over a Field

abstract: We consider spectra of $n$-by-$n$ irreducible tridiagonal matrices over a field and of their $n-1$-by-$n-1$ trailing principal submatrices. The real symmetric and complex Hermitian cases have been fully understood: it is necessary and sufficient that the necessarily real eigenvalues are distinct and those of the principal submatrix strictly interlace. So this case is very restrictive. By contrast, for a general field, the requirements on the two spectra are much less restrictive. In particular, in the real or complex case, the $n$-by-$n$ characteristic polynomial is arbitrary (so that the algebraic multiplicities may be anything in place of all 1's in the classical cases) and that of the principal submatrix is the complement of a lower dimensional algebraic set (and so relatively free). Explicit conditions are given.


title: Proximal Averages for Minimization of Entropy Functionals

abstract: In their 2016 article `Meetings with Lambert $\mathcal{W}$ and Other Special Functions in Optimization and Analysis', Borwein and Lindstrom considered the minimization of an entropy functional utilizing the weighted average of the negative Boltzmann--Shannon entropy $x\mapsto x\log x -x$ and the energy $x \mapsto x^2/2$; the solution employed the Fenchel-Moreau conjugate of the sum. However, in place of a traditional arithmetic average of two convex functions, it is also, perhaps even more, natural to use their proximal average. We explain the advantages and illustrate them by computing the analogous proximal averages for the negative entropy and energy. We use the proximal averages to solve entropy functional minimization problems similar to those considered by Borwein and Lindstrom, illustrating the benefits of using a true homotopy. Through experimentation, we discover computational barriers to obtaining solutions when computing with proximal averages, and we demonstrate a method which appears to remedy them.


title: Relative Likelihood of Success in the Searches for Primitive versus Intelligent Extraterrestrial Life

abstract: We estimate the relative likelihood of success in the searches for primitive versus intelligent life on other planets. Taking into account the larger search volume for detectable artificial electromagnetic signals, we conclude that both searches should be performed concurrently, albeit with significantly more funding dedicated to primitive life. Based on the current federal funding allocated to the search for biosignatures, our analysis suggests that the search for extraterrestrial intelligence (SETI) may merit a federal funding level of at least $\$10$ million per year, assuming that the average lifetime of technological species exceeds a millennium.


title: Mazur-type manifolds with $L$-space boundaries

abstract: In this note, we prove that if the boundary of a Mazur-type $4$-manifold is an irreducible Heegaard Floer homology $L$-space, then the manifold must be the $4$-ball, and the boundary must be the $3$-sphere. We use this to give a new proof of Gabai's Property R.


title: Top-Down Feedback for Crowd Counting Convolutional Neural Network

abstract: Counting people in dense crowds is a demanding task even for humans. This is primarily due to the large variability in appearance of people. Often people are only seen as a bunch of blobs. Occlusions, pose variations and background clutter further compound the difficulty. In this scenario, identifying a person requires larger spatial context and semantics of the scene. But the current state-of-the-art CNN regressors for crowd counting are feedforward and use only limited spatial context to detect people. They look for local crowd patterns to regress the crowd density map, resulting in false predictions. Hence, we propose top-down feedback to correct the initial prediction of the CNN. Our architecture consists of a bottom-up CNN along with a separate top-down CNN to generate feedback. The bottom-up network, which regresses the crowd density map, has two columns of CNN with different receptive fields. Features from various layers of the bottom-up CNN are fed to the top-down network. The feedback, thus generated, is applied on the lower layers of the bottom-up network in the form of multiplicative gating. This masking weighs activations of the bottom-up network at spatial as well as feature levels to correct the density prediction. We evaluate the performance of our model on all major crowd datasets and show the effectiveness of top-down feedback.


title: Gravity Dual for Very Special Conformal Field Theories in type IIB Supergravity

abstract: We study holographic dual descriptions of very special conformal field theories with the T(2) symmetry. After constructing solutions in effective five dimensional Einstein gravity coupled with massive two-form fields, we uplift them to the ten dimensional type IIB supergravity, via a consistent truncation ansatz, to derive new analytical solutions in string theory. From the Kaluza-Klein ansatz in terms of the internal Sasaki-Einstein space, we obtain their field theory interpretation with concrete realizations in a large class of holographic $\mathcal{N}=1$ supersymmetric conformal field theories. Null compactification of these theories yields holographic dual descriptions of non-relativistic critical systems with translational invariance but without rotational invariance such as the ones induced from a constant electromagnetic field.


title: Classical correspondence of the exceptional points in the finite non-Hermitian system

abstract: We systematically study the topology of the exceptional point (EP) in the finite non-Hermitian system. Based on the concrete form of the Berry connection, we demonstrate that the exceptional line (EL), at which the eigenstates coalesce, can act as a vortex filament. The direction of the EL can be identified by the corresponding Berry curvature. In this context, such a correspondence makes the topology of the EL clear at a glance. As an example, we apply this finding to the non-Hermitian Rice-Mele (RM) model, the non-Hermiticity of which arises from the staggered on-site complex potential. The boundary ELs are topological, but the non-boundary ELs are not. Each non-boundary EL corresponds to two critical momenta that make opposite contributions to the Berry connection. Therefore, the Berry connection of the many-particle quantum state can have classical correspondence, which is determined merely by the boundary ELs. Furthermore, the non-zero Berry phase, which experiences a closed path in the parameter space, is dependent on how the curve surrounds the boundary EL. This also provides an alternative way to investigate the topology of the EP and its physical correspondence in a finite non-Hermitian system.


title: Classification of nilpotent Lie superalgebras of multiplier-rank $\leq 2$

abstract: In this paper, we introduce the concept of (super-)multiplier-rank for Lie superalgeras and classify all the finite-dimensional nilpotent Lie superalgebras of multiplier-rank $\leq 2$ over an algebraically closed field of characteristic zero. In the process, we also determine the multipliers of Heisenberg superalgebras.


title: Exact regimes of collapsed and extra two-string solutions in the two down-spin sector of the spin-1/2 massive XXZ spin chain

abstract: We derive exactly the number of complex solutions with two down-spins in the massive regime of the periodic spin-1/2 XXZ spin chain of $N$ sites. Here we remark that every solution of the Bethe ansatz equations is characterized by a set of quantum numbers. We derive them analytically for all the complex solutions in the sector, which we call two-string solutions. We show that in a region of $N$ and $\Delta$ the number of two-string solutions is by two larger than the number due to the string hypothesis, i.e., an extra pair of two-strings appears. We determine it exactly and also such regions where $m$ two-string solutions collapse for any positive integers $m$. We illustrate the extra and standard two-string solutions numerically. In the sector we show that the string deviations are exponentially small with respect to $N$ if $N$ is large. We argue that for any finite solution of the spin-1/2 XXX chain there is such a solution of the spin-1/2 XXZ chain that has the same quantum numbers in common with the XXX solution.


title: Sublinear Algorithms for $(\Delta + 1)$ Vertex Coloring

abstract: Any graph with maximum degree $\Delta$ admits a proper vertex coloring with $\Delta + 1$ colors that can be found via a simple sequential greedy algorithm in linear time and space. But can one find such a coloring via a sublinear algorithm? We answer this fundamental question in the affirmative for several canonical classes of sublinear algorithms including graph streaming, sublinear time, and massively parallel computation (MPC) algorithms. In particular, we design: * A single-pass semi-streaming algorithm in dynamic streams using $\tilde{O}(n)$ space. The only known semi-streaming algorithm prior to our work was a folklore O(log n)-pass algorithm obtained by simulating classical distributed algorithms in the streaming model. * A sublinear-time algorithm in the standard query model that allows neighbor queries and pair queries using $\tilde{O}(n\sqrt{n})$ time. We further show that any algorithm that outputs a valid coloring with sufficiently large constant probability requires $\Omega(n\sqrt{n})$ time. No non-trivial sublinear time algorithms were known prior to our work. * A parallel algorithm in the massively parallel computation (MPC) model using $\tilde{O}(n)$ memory per machine and $O(1)$ MPC rounds. Our number of rounds significantly improves upon the recent $O(\log\log{\Delta}\cdot\log^*{(n)})$-round algorithm of Parter [ICALP 2018]. At the core of our results is a remarkably simple meta-algorithm for the $(\Delta+1)$ coloring problem: Sample $O(\log{n})$ colors for each vertex from the $\Delta+1$ colors; find a proper coloring of the graph using only the sampled colors. We prove that the sampled set of colors with high probability contains a proper coloring of the input graph. The sublinear algorithms are then obtained by designing efficient algorithms for finding a proper coloring of the graph from the sampled colors in the corresponding models.


title: Supporting Very Large Models using Automatic Dataflow Graph Partitioning

abstract: This paper presents Tofu, a system that partitions very large DNN models across multiple GPU devices to reduce per-GPU memory footprint. Tofu is designed to partition a dataflow graph of fine-grained tensor operators in order to work transparently with a general-purpose deep learning platform like MXNet. In order to automatically partition each operator, we propose to describe the semantics of an operator in a simple language which represents tensors as lambda functions mapping from tensor coordinates to values. To optimally partition different operators in a dataflow graph, Tofu uses a recursive search algorithm that minimizes the total communication cost. Our experiments on an 8-GPU machine show that Tofu enables the training of very large CNN and RNN models. It also achieves 25% - 400% speedup over alternative approaches to train very large models.


title: An Efficient System for Subgraph Discovery

abstract: Subgraph discovery in a single data graph---finding subsets of vertices and edges satisfying a user-specified criteria---is an essential and general graph analytics operation with a wide spectrum of applications. Depending on the criteria, subgraphs of interest may correspond to cliques of friends in social networks, interconnected entities in RDF data, or frequent patterns in protein interaction networks to name a few. Existing systems usually examine a large number of subgraphs while employing many computers and often produce an enormous result set of subgraphs. How can we enable fast discovery of only the most relevant subgraphs while minimizing the computational requirements? We present Nuri, a general subgraph discovery system that allows users to succinctly specify subgraphs of interest and criteria for ranking them. Given such specifications, Nuri efficiently finds the k most relevant subgraphs using only a single computer. It prioritizes (i.e., expands earlier than others) subgraphs that are more likely to expand into the desired subgraphs (prioritized subgraph expansion) and proactively discards irrelevant subgraphs from which the desired subgraphs cannot be constructed (pruning). Nuri can also efficiently store and retrieve a large number of subgraphs on disk without being limited by the size of main memory. We demonstrate using both real and synthetic datasets that Nuri on a single core outperforms the closest alternative distributed system consuming 40 times more computational resources by more than 2 orders of magnitude for clique discovery and 1 order of magnitude for subgraph isomorphism and pattern mining.


title: NV- - N+ pair centre in 1b diamond

abstract: The study establishes that the degree of optically induced spin polarization that can be achieved for NV$^- $in 1b diamond is limited by the concentration of single substitutional nitrogen, N$^0$ . The polarization of the individual NV centres in the diamond is dependent on the separation of the NV$^-$ and the nitrogen donor. When the NV$^-$ - N$^+$ pair separation is large the properties of the pair will be as for single sites and a high degree of spin polarization attainable. When the separation decreases the emission is reduced, the lifetime shortened and the spin polarization downgraded. The deterioration occurs as a consequence of electron tunneling in the excited state from NV$^-$ to N$^+$ and results in an optical cycle that includes NV$^0$. The tunneling process is linear in optical excitation and more prevalent the closer the N$^+$ is to the NV$^-$ centre. However, the separation between the NV$^-$ and its donor N$^+$ can be effected by light through the excitation of NV$^-$ and/or ionization of N$^0$. The optical excitation that creates the spin polarization can also modify the sample properties and during excitation creates charge dynamics. The consequence is that the magnitude of spin polarization, the spin relaxation and coherence times T$_1$ and T$_2$ have a dependence on the nitrogen concentration and on the excitation wavelength. The adjacent N$^+$ gives an electric field that Stark shifts the NV$^-$ transitions and for an ensemble results in line broadening. It is observation of changes of these Stark induced effects that allow the variation in NV$^-$ - N$^+$ separation to be monitored. Spectroscopic measurements including that of the varying line widths are central to the study. They are made at low temperatures and include extensive measurements of the NV$^-$ optical transition at 637 nm, the infrared transition at 1042 nm and ODMR at 2.87 GHz.


title: Modeled Temperature-Dependent Clouds with Radiative Feedback in Hot Jupiter Atmospheres

abstract: Using a general circulation model with newly implemented cloud modeling, we investigate how radiative feedback can self-consistently shape condensate cloud distributions, temperatures, and fluxes in a hot Jupiter atmosphere. We apply a physically motivated but simple parameterization of condensate clouds in which the temperature determines the cloud distribution, and we evaluate how different assumptions of vertical mixing and aerosol scattering parameters affect predictions. We compare results from cases in which the aerosols are simply included in the last step of the simulation (i.e. post-processed) to cases in which clouds and their radiative feedback are actively included throughout the duration of the simulation. When clouds and radiative feedback were actively included, cloud cover decreased at equatorial regions and increased towards the poles relative to the post-processed solutions. The resulting phase curves also differed between the two approaches; the post-processed cloud simulations predicted weaker day-night contrasts in emission and greater eastward shifts in the maximum emission compared to the active cloud modeling. This illustrates the importance of cloud radiative feedback and shows that post-processing will provide inaccurate solutions when clouds are thick enough to provide significant scattering.


title: Skin Lesion Segmentation Using Atrous Convolution via DeepLab v3

abstract: As melanoma diagnoses increase across the US, automated efforts to identify malignant lesions become increasingly of interest to the research community. Segmentation of dermoscopic images is the first step in this process, thus accuracy is crucial. Although techniques utilizing convolutional neural networks have been used in the past for lesion segmentation, we present a solution employing the recently published DeepLab 3, an atrous convolution method for image segmentation. Although the results produced by this run are not ideal, with a mean Jaccard index of 0.498, we believe that with further adjustments and modifications to the compatibility with the DeepLab code and with training on more powerful processing units, this method may achieve better results in future trials.


title: On ANITA's sensitivity to long-lived, charged massive particles

abstract: We propose that the Antarctic Impulsive Transient Antenna (ANITA) can serve as a detector for long-lived, charged particles, through its measurement of extensive air showers from secondary leptons. To test this on an example model, we simulate the production of staus inside the earth from interactions between ultra-high energy neutrinos and nuclei. We propose that results of ANITA searches for upgoing air showers can be interpreted in terms of constraints on long-lived, charged massive particles (CHAMPs) and consider a supersymmetric partner of the tau lepton, the stau, as an example of such a particle. Exploring the parameter space in stau mass and lifetimes, we find that the stau properties that lead to an observable signal in ANITA are highly energy dependent. At $10^{18.5}$ eV, we find that the best constraints on the product of the neutrino flux and the stau production cross section would be placed near $m_{\tilde{\tau}}=$1 TeV and $\tau_{\tilde{\tau}}=$10 ns. Thus ANITA could be sensitive to new physics in a region of parameter space that is unconstrained by experiments at the Large Hadron Collider.


title: Weighted Morrey-Herz space estimates for rough Hausdorff operator and its commutators

abstract: In this paper, we give necessary and sufficient conditions for the boundedness of rough Hausdorff operators on Herz, Morrey and Morrey-Herz spaces with absolutely homogeneous weights. Especially, the estimates for operator norms in each case are worked out. Moreover, we also establish the boundedness of the commutators of rough Hausdorff operators on the such spaces with their symbols belonging to Lipschitz space.


title: ClusterNet: 3D Instance Segmentation in RGB-D Images

abstract: We propose a method for instance-level segmentation that uses RGB-D data as input and provides detailed information about the location, geometry and number of individual objects in the scene. This level of understanding is fundamental for autonomous robots. It enables safe and robust decision-making under the large uncertainty of the real-world. In our model, we propose to use the first and second order moments of the object occupancy function to represent an object instance. We train an hourglass Deep Neural Network (DNN) where each pixel in the output votes for the 3D position of the corresponding object center and for the object's size and pose. The final instance segmentation is achieved through clustering in the space of moments. The object-centric training loss is defined on the output of the clustering. Our method outperforms the state-of-the-art instance segmentation method on our synthesized dataset. We show that our method generalizes well on real-world data achieving visually better segmentation results.


title: The Atacama Cosmology Telescope: CO(J = 3 - 2) mapping and lens modeling of an ACT-selected dusty star-forming galaxy

abstract: We report Northern Extended Millimeter Array (NOEMA) CO($J = 3 - 2$) observations of the dusty star-forming galaxy ACT-S\,J020941+001557 at $z = 2.5528$, which was detected as an unresolved source in the Atacama Cosmology Telescope (ACT) equatorial survey. Our spatially resolved spectral line data support the derivation of a gravitational lens model from 37 independent velocity channel maps using a pixel-based algorithm, from which we infer a velocity-dependent magnification factor $\mu \approx 7-22$ with a luminosity-weighted mean $\left<\mu\right>\approx 13$. The resulting source-plane reconstruction is consistent with a rotating disk, although other scenarios cannot be ruled out by our data. After correction for lensing, we derive a line luminosity $L^{\prime}_{\rm CO(3-2)}= (5.53\pm 0.69) \times 10^{10}\,{\rm \,K\,km\,s^{-1}\,pc^{2}}$, a cold gas mass $M_{{\rm gas}}= (3.86 \pm 0.33) \times 10^{10}\,M_{\odot}$, a dynamical mass $M_{\rm dyn}\,{\rm sin}^2\,i = 3.9^{+1.8}_{-1.5} \times 10^{10}\,M_{\odot}$, and a gas mass fraction $f_{\rm gas}\,{\rm csc}^2\,i = 1.0^{+0.8}_{-0.4}$. The line brightness temperature ratio of $r_{3,1}\approx 1.6$ relative to a Green Bank Telescope CO($J=1-0$) detection may be elevated by a combination of external heating of molecular clouds, differential lensing, and/or pointing errors.


title: Towards nonsingular rotating compact object in ghost-free infinite derivative gravity

abstract: The vacuum solution of Einstein's theory of general relativity provides a rotating metric with a ring singularity, which is covered by the inner and outer horizons, and an ergo region. In this paper, we will discuss how ghost-free, quadratic curvature, Infinite Derivative Gravity (IDG) may resolve the ring singularity. In IDG the non-locality of the gravitational interaction can smear out the delta-Dirac source distribution by making the metric potential finite everywhere including at $r=0$. We show that the same feature also holds for a rotating metric. We can resolve the ring singularity such that no horizons are formed in the linear regime by smearing out a delta-source distribution on a ring. We will also show that the Kerr-metric does not solve the full non-linear equations of motion of ghost-free quadratic curvature IDG.


title: Hopf Bifurcation in Structural Population Models

abstract: We study a nonlinear PDE problem motivated by the peculiar patterns arising in myxobacteria, namely counter-migrating cell density waves. We rigorously prove the existence of Hopf bifurcations for some specific values of the parameters of the system. This shows the existence of periodic solutions for the systems under consideration.


title: Pseudo-Einstein structure, eigenvalue estimate for the CR Paneitz operator and its applications to uniformization theorem

abstract: In this note, we mainly focus on the existence of pseudo-Einstein contact forms, an upper bound eigenvalue estimate for the CR Paneitz operator and its applications to the uniformization theorem for Sasakian space form in an embeddable closed strictly pseudoconvex CR 3-manifold. Firstly, the existence of pseudo-Einstein contact form is confirmed if the CR 3-manifold is Sasakian. Secondly, we derive an eigenvalue upper bound estimate for the CR Paneitz operator and obtain the CR uniformization theorem for a class of CR 3-manifolds. At the end, under the positivity assumption of the pseudohermitian curvature, we derive the existence theorem for pseudo-Einstein contact forms and uniformization theorems in a closed strictly pseudoconvex CR 3-manifold of nonnegative CR Paneitz operator with kernel consisting of the CR-pluriharmonic functions and the CR Q-curvature is CR-pluriharmonic.


title: The Bateman-Horn Conjecture: Heuristics, History, and Applications

abstract: The Bateman-Horn conjecture is a far-reaching statement about the distribution of the prime numbers. It implies many known results, such as the prime number theorem and the Green-Tao theorem, along with many famous conjectures, such the twin prime conjecture and Landau's conjecture. We discuss the Bateman-Horn conjecture, its applications, and its origins.


title: State-space analysis of an Ising model reveals contributions of pairwise interactions to sparseness, fluctuation, and stimulus coding of monkey V1 neurons

abstract: In this study, we analyzed the activity of monkey V1 neurons responding to grating stimuli of different orientations using inference methods for a time-dependent Ising model. The method provides optimal estimation of time-dependent neural interactions with credible intervals according to the sequential Bayes estimation algorithm. Furthermore, it allows us to trace dynamics of macroscopic network properties such as entropy, sparseness, and fluctuation. Here we report that, in all examined stimulus conditions, pairwise interactions contribute to increasing sparseness and fluctuation. We then demonstrate that the orientation of the grating stimulus is in part encoded in the pairwise interactions of the neural populations. These results demonstrate the utility of the state-space Ising model in assessing contributions of neural interactions during stimulus processing.


title: Measurement-device-independent measure of steerability and witnesses for all steerable resources

abstract: The fact that nonlocality implies steering enables one to certify steerability by using a Bell inequality violation. Such a certification is device-independent (DI), i.e., one makes no assumption neither on the underlying state nor on the measurements. However, not all steerable states can violate a Bell inequality. Here, we systematically construct a collection of witnesses for steerable resources, defined by assemblages, in a measurement-device-independent (MDI) scenario. The inputs driving the measurement are replaced by a set of tomographically complete quantum states, and neither the detectors nor the underlying state is characterized. We show that all steerable assemblages can be detected by properly chosen witnesses. Furthermore, we introduce the first measure of steerability in an MDI scenario and show that such a measure is a standard one, i.e., a steering monotone, by proving that it is equivalent to the steering robustness.


title: Self-produced Guidance for Weakly-supervised Object Localization

abstract: Weakly supervised methods usually generate localization results based on attention maps produced by classification networks. However, the attention maps exhibit the most discriminative parts of the object which are small and sparse. We propose to generate Self-produced Guidance (SPG) masks which separate the foreground, the object of interest, from the background to provide the classification networks with spatial correlation information of pixels. A stagewise approach is proposed to incorporate high confident object regions to learn the SPG masks. The high confident regions within attention maps are utilized to progressively learn the SPG masks. The masks are then used as an auxiliary pixel-level supervision to facilitate the training of classification networks. Extensive experiments on ILSVRC demonstrate that SPG is effective in producing high-quality object localizations maps. Particularly, the proposed SPG achieves the Top-1 localization error rate of 43.83% on the ILSVRC validation set, which is a new state-of-the-art error rate.


title: Traffic-Aware Backscatter Communications in Wireless-Powered Heterogeneous Networks

abstract: With the emerging Internet-of-Things services, massive machine-to-machine (M2M) communication will be deployed on top of human-to-human (H2H) communication in the near future. Due to the coexistence of M2M and H2H communications, the performance of M2M (i.e., secondary) network depends largely on the H2H (i.e., primary) network. In this paper, we propose ambient backscatter communication for the M2M network which exploits the energy (signal) sources of the H2H network, referring to traffic applications and popularity. In order to maximize the harvesting and transmission opportunities offered by varying traffic sources of the H2H network, we adopt a Bayesian nonparametric (BNP) learning algorithm to classify traffic applications (patterns) for secondary user (SU). We then analyze the performance of SU using the stochastic geometrical approach, based on a criterion for optimal traffic pattern selection. Results are presented to validate the performance of the proposed BNP classification algorithm and the criterion, as well as the impact of traffic sources and popularity.


title: A Structured Perspective of Volumes on Active Learning

abstract: Active Learning (AL) is a learning task that requires learners interactively query the labels of the sampled unlabeled instances to minimize the training outputs with human supervisions. In theoretical study, learners approximate the version space which covers all possible classification hypothesis into a bounded convex body and try to shrink the volume of it into a half-space by a given cut size. However, only the hypersphere with finite VC dimensions has obtained formal approximation guarantees that hold when the classes of Euclidean space are separable with a margin. In this paper, we approximate the version space to a structured {hypersphere} that covers most of the hypotheses, and then divide the available AL sampling approaches into two kinds of strategies: Outer Volume Sampling and Inner Volume Sampling. After providing provable guarantees for the performance of AL in version space, we aggregate the two kinds of volumes to eliminate their sampling biases via finding the optimal inscribed hyperspheres in the enclosing space of outer volume. To touch the version space from Euclidean space, we propose a theoretical bridge called Volume-based Model that increases the `sampling target-independent'. In non-linear feature space, spanned by kernel, we use sequential optimization to globally optimize the original space to a sparse space by halving the size of the kernel space. Then, the EM (Expectation Maximization) model which returns the local center helps us to find a local representation. To describe this process, we propose an easy-to-implement algorithm called Volume-based AL (VAL).


title: Pilot Spoofing Attack by Multiple Eavesdroppers

abstract: In this paper, we investigate the design of a pilot spoofing attack (PSA) carried out by multiple single-antenna eavesdroppers (Eves) in a downlink time-division duplex (TDD) system, where a multiple antenna base station (BS) transmits confidential information to a single-antenna legitimate user (LU). During the uplink channel training phase, multiple Eves collaboratively impair the channel acquisition of the legitimate link, aiming at maximizing the wiretapping signal-to-noise ratio (SNR) in the subsequent downlink data transmission phase. Two different scenarios are investigated: (1) the BS is unaware of the PSA, and (2) the BS attempts to detect the presence of the PSA. For both scenarios, we formulate wiretapping SNR maximization problems. For the second scenario, we also investigate the probability of successful detection and constrain it to remain below a pre-designed threshold. The two resulting optimization problems can be unified into a more general non-convex optimization problem, and we propose an efficient algorithm based on the minorization-maximization (MM) method and the alternating direction method of multipliers (ADMM) to solve it. The proposed MM-ADMM algorithm is shown to converge to a stationary point of the general problem. In addition, we propose a semidefinite relaxation (SDR) method as a benchmark to evaluate the efficiency of the MM-ADMM algorithm. Numerical results show that the MM-ADMM algorithm achieves near-optimal performance and is computationally more efficient than the SDRbased method.


title: Reduction of Redundant Rules in Association Rule Mining-Based Bug Assignment

abstract: Bug triaging is a process to decide what to do with newly coming bug reports. In this paper, we have mined association rules for the prediction of bug assignee of a newly reported bug using different bug attributes, namely, severity, priority, component and operating system. To deal with the problem of large data sets, we have taken subsets of data set by dividing the large data set using K-means clustering algorithm. We have used an Apriori algorithm in MATLAB to generate association rules. We have extracted the association rules for top 5 assignees in each cluster.The proposed method has been empirically validated on 14696 bug reports of Mozilla open source software project, namely, Seamonkey, Firefox and Bugzilla. The proposed method provides an improvement over the existing techniques for bug assignment problem.


title: Delayed perturbation of Mittag-Leffler functions and their applications to fractional linear delay differential equations

abstract: In this paper, we propose a delayed perturbation of Mittag-Leffler type matrix function, which is an extension of the classical Mittag-Leffler type matrix function and delayed Mittag-Leffler type matrix function. With the help of the delayed perturbation of Mittag-Leffler type matrix function, we give an explicit formula of solutions to linear nonhomogeneous fractional delay differential equations.


title: On geometry of phenomenological thermodynamics

abstract: We present the formalism of phenomenological thermodynamics in terms of the even-dimensional symplectic geometry, and argue that it catches its geometric essence in a more profound and clearer way than the popular odd-dimensional contact structure description. Among the advantages are a number of conceptual clarifications: the geometric role of internal energy (not made as an independent variable), the lattice of potentials, and the gauge interpretation of the theory.


title: Searching for gap zeros in Sr2RuO4 via field-angle-dependent specific-heat measurement

abstract: The gap structure of Sr$_2$RuO$_4$, which is a longstanding candidate for a chiral p-wave superconductor, has been investigated from the perspective of the dependence of its specific heat on magnetic field angles at temperatures as low as 0.06 K ($\sim 0.04T_{\rm c}$). Except near $H_{\rm c2}$, its fourfold specific-heat oscillation under an in-plane rotating magnetic field is unlikely to change its sign down to the lowest temperature of 0.06 K. This feature is qualitatively different from nodal quasiparticle excitations of a quasi-two-dimensional superconductor possessing vertical lines of gap minima. The overall specific-heat behavior of Sr$_2$RuO$_4$ can be explained by Doppler-shifted quasiparticles around horizontal line nodes on the Fermi surface, whose in-plane Fermi velocity is highly anisotropic, along with the occurrence of the Pauli-paramagnetic effect. These findings, in particular, the presence of horizontal line nodes in the gap, call for a reconsideration of the order parameter of Sr$_2$RuO$_4$.


title: Anomaly Detection of Complex Networks Based on Intuitionistic Fuzzy Set Ensemble

abstract: Ensemble learning for anomaly detection of data structured into complex network has been barely studied due to the inconsistent performance of complex network characteristics and lack of inherent objective function. In this paper, we propose the IFSAD, a new two-phase ensemble method for anomaly detection based on intuitionistic fuzzy set, and applies it to the abnormal behavior detection problem in temporal complex networks. First, it constructs the intuitionistic fuzzy set of single network characteristic which quantifies the degree of membership, non-membership and hesitation of each of network characteristic to the defined linguistic variables so that makes the unuseful or noise characteristics become part of the detection. To build an objective intuitionistic fuzzy relationship, we propose an Gaussian distribution-based membership function which gives a variable hesitation degree. Then, for the fuzzification of multiple network characteristics, the intuitionistic fuzzy weighted geometric operator is adopted to fuse multiple IFSs and to avoid the inconsistent of multiple characteristics. Finally, the score function and precision function are used to sort the fused IFS. Finally we carried out extensive experiments on several complex network datasets for anomaly detection, and the results demonstrate the superiority of our method to state-of-the-art approaches, validating the effectiveness of our method.


title: Charged current quasi elastic scattering of muon anti-neutrino off ^{12}C

abstract: In this work, we study charged current quasi elastic scattering of muon anti-neutrino off nucleon and nucleus using a formalism based on Llewellyn Smith (LS) model. Parameterizations by Galster et al. are used for electric and magnetic Sach's form factors of nucleons. We use Fermi gas model along with Pauli suppression condition to take into account the nuclear effects in anti-neutrino - nucleus QES. We calculate muon anti-neutrino-p and muon anti-neutrino-^{12}C charged current quasi elastic scattering differential and total cross sections for different values of axial mass M_{A} and compare the results with data from GGM, SKAT, BNL, NOMAD, MINERvA and MiniBooNE experiments. The present theoretical approach gives an excellent description of differential cross section data. The calculations with axial mass M_{A} = 0.979 and 1.05 GeV are compatible with data from most of the experiments.


title: Meta-Learning Priors for Efficient Online Bayesian Regression

abstract: Gaussian Process (GP) regression has seen widespread use in robotics due to its generality, simplicity of use, and the utility of Bayesian predictions. The predominant implementation of GP regression is a nonparameteric kernel-based approach, as it enables fitting of arbitrary nonlinear functions. However, this approach suffers from two main drawbacks: (1) it is computationally inefficient, as computation scales poorly with the number of samples; and (2) it can be data inefficient, as encoding prior knowledge that can aid the model through the choice of kernel and associated hyperparameters is often challenging and unintuitive. In this work, we propose ALPaCA, an algorithm for efficient Bayesian regression which addresses these issues. ALPaCA uses a dataset of sample functions to learn a domain-specific, finite-dimensional feature encoding, as well as a prior over the associated weights, such that Bayesian linear regression in this feature space yields accurate online predictions of the posterior predictive density. These features are neural networks, which are trained via a meta-learning (or "learning-to-learn") approach. ALPaCA extracts all prior information directly from the dataset, rather than restricting prior information to the choice of kernel hyperparameters. Furthermore, by operating in the weight space, it substantially reduces sample complexity. We investigate the performance of ALPaCA on two simple regression problems, two simulated robotic systems, and on a lane-change driving task performed by humans. We find our approach outperforms kernel-based GP regression, as well as state of the art meta-learning approaches, thereby providing a promising plug-in tool for many regression tasks in robotics where scalability and data-efficiency are important.


title: CLAS12 RICH: New Hybrid Geometry for Strangeness Studies

abstract: The Jefferson Lab CLAS12 detector will provide a world-leading facility for the study of electron-nucleon scattering. The CLAS12 physics program is very broad and includes studies on quarks dynamics as well as studies on the meson and baryon spectroscopy with quasi-real photoproduction in a large variety of final states. The particle identification will be complemented by a ring imaging Cherenkov detector (RICH), that will provide separation of kaons from protons and pions in the momentum range between 3 and 8 GeV/c allowing the study of pion and kaon electroproduction in semi-inclusive deep inelastic scattering as well as studying double and triple strange baryons. In this article, we will focus on the new technologies developed for the RICH, especially on the complex optical system, that allows to reduce the photo-detection area. Particular attention is given to the characterization of the surface in relationship with the simulation capability of GEANT4.


title: Variation of a Signal in Schwarzschild Spacetime

abstract: In this paper, the variation of a signal in Schwarzschild spacetime is studied and a general equation for frequency shift parameter (FSP) is presented. It shows that FSP depends on the gravitationally-modified Doppler effects and the gravitational effects of observers. In addition, rates of time of a transmitter and a receiver may be different. When FSP is a function of the time of a receiver, FSP contributed by gravitational effect (GFSP) or gravitationally-modified Doppler effect (GMDFSP) may lead a bandlimited signal to a non-bandlimited signal. Based on the equation, FSP as a function of the time of a receiver is calculated for three scenarios: a) a spaceship moves away from a star with a constant velocity communicating with a transmitter at a fixed position; b) a spaceship moves around a star with different conic trajectories communicating with a transmitter at a fixed position; c) a signal is transmitted at a fixed position in a star system to a receiver moving with an elliptical trajectory in another star system. The studied stars are sun-like star, white dwarf and neutron star, and some numerical examples are presented to illustrate the theory.


title: Robust Retrospective Frequency and Phase Correction for Single-voxel MR Spectroscopy

abstract: Purpose: subject motion and static field (B$_0$) drift are known to reduce the quality of single voxel MR spectroscopy data due to incoherent averaging. Retrospective correction has previously been shown to improve data quality by adjusting the phase and frequency offset of each average to match a reference spectrum. In this work, a new method (RATS) is developed to be tolerant to large frequency shifts (greater than 7Hz) and baseline instability resulting from inconsistent water suppression. Methods: in contrast to previous approaches, the variable-projection method and baseline fitting is incorporated into the correction procedure to improve robustness to fluctuating baseline signals and optimization instability. RATS is compared to an alternative method, based on time-domain spectral registration (TDSR), using simulated data to model frequency, phase and baseline instability. In addition, a J-difference edited glutathione in-vivo dataset is processed using both approaches and compared. Results: RATS offers improved accuracy and stability for large frequency shifts and unstable baselines. Reduced subtraction artifacts are demonstrated for glutathione edited MRS when using RATS, compared with uncorrected or TDSR corrected spectra. Conclusion: the RATS algorithm has been shown to provide accurate retrospective correction of SVS MRS data in the presence of large frequency shifts and baseline instability. The method is rapid, generic and therefore readily incorporated into MRS processing pipelines to improve lineshape, SNR and aid quality assessment.


title: Representation type of surfaces in $\mathbb{P}^3$

abstract: The goal of this article is to prove that every surface with a regular point in the three-dimensional projective space of degree at least four, is of wild representation type under the condition that either $X$ is integral or $\mathrm{Pic}(X) \cong \langle \Oo_X(1) \rangle$; we construct families of arbitrarily large dimension of indecomposable pairwise non-isomorphic aCM vector bundles. On the other hand, we prove that every non-integral aCM scheme of arbitrary dimension at least two, is also very wild in a sense that there exist arbitrarily large dimensional families of pairwise non-isomorphic aCM non-locally free sheaves of rank one.


title: Panchromatic Sharpening of Remote Sensing Images Using a Multi-scale Approach

abstract: An ideal fusion method preserves the Spectral information in fused image and adds spatial information to it with no spectral distortion. Recently wavelet kalman filter method is proposed which uses ARSIS concept to fuses MS and PAN images. This method is applied in a multiscale version, i.e. the variable index is scale instead of time. With the aim of fusion we present a more detailed study on this model and discuss about rationality of its assumptions such as first order markov model and Gaussian distribution of the posterior density. Finally, we propose a method using wavelet Kalman Particle filter to improve the spectral and spatial quality of the fused image. We show that our model is more consistent with natural MS and PAN images. Visual and statistical analyzes show that the proposed algorithm clearly improves the fusion quality in terms of: correlation coefficient, ERGAS, UIQI, and Q4; compared to other methods including IHS, HMP, PCA, A`trous, udWI, udWPC, Adaptive IHS, Improved Adaptive PCA and wavelet kalman filter.


title: aCM vector bundles on projective surfaces of nonnegative Kodaira dimension

abstract: In this paper we contribute to the construction of families of arithmetically Cohen-Macaulay (aCM) indecomposable vector bundles on a wide range of polarized surfaces $(X,\Oo_X(1))$ for $\Oo_X(1)$ an ample line bundle. In many cases, we show that for every positive integer $r$ there exists a family of indecomposable aCM vector bundles of rank $r$, depending roughly on $r$ parameters, and in particular they are of \emph{wild representation type}. We also introduce a general setting to study the complexity of a polarized variety $(X,\Oo_X(1))$ with respect to its category of aCM vector bundles. In many cases we construct indecomposable vector bundles on $X$ which are aCM for all ample line bundles on $X$.


title: The Variational Homoencoder: Learning to learn high capacity generative models from few examples

abstract: Hierarchical Bayesian methods can unify many related tasks (e.g. k-shot classification, conditional and unconditional generation) as inference within a single generative model. However, when this generative model is expressed as a powerful neural network such as a PixelCNN, we show that existing learning techniques typically fail to effectively use latent variables. To address this, we develop a modification of the Variational Autoencoder in which encoded observations are decoded to new elements from the same class. This technique, which we call a Variational Homoencoder (VHE), produces a hierarchical latent variable model which better utilises latent variables. We use the VHE framework to learn a hierarchical PixelCNN on the Omniglot dataset, which outperforms all existing models on test set likelihood and achieves strong performance on one-shot generation and classification tasks. We additionally validate the VHE on natural images from the YouTube Faces database. Finally, we develop extensions of the model that apply to richer dataset structures such as factorial and hierarchical categories.


title: Competitive Inner-Imaging Squeeze and Excitation for Residual Network

abstract: Residual networks, which use a residual unit to supplement the identity mappings, enable very deep convolutional architecture to operate well, however, the residual architecture has been proved to be diverse and redundant, which may leads to low-efficient modeling. In this work, we propose a competitive squeeze-excitation (SE) mechanism for the residual network. Re-scaling the value for each channel in this structure will be determined by the residual and identity mappings jointly, and this design enables us to expand the meaning of channel relationship modeling in residual blocks. Modeling of the competition between residual and identity mappings cause the identity flow to control the complement of the residual feature maps for itself. Furthermore, we design a novel inner-imaging competitive SE block to shrink the consumption and re-image the global features of intermediate network structure, by using the inner-imaging mechanism, we can model the channel-wise relations with convolution in spatial. We carry out experiments on the CIFAR, SVHN, and ImageNet datasets, and the proposed method can challenge state-of-the-art results.


title: Estimates for Parametric Marcinkiewicz Integrals on Musielak-Orlicz Hardy Spaces

abstract: Let $\varphi:\mathbb{R}^n\times[0,\,\infty) \rightarrow [0,\,\infty)$ satisfy that $\varphi(x,\,\cdot)$, for any given $x\in\mathbb{R}^n$, is an Orlicz function and $\varphi(\cdot\,,t)$ is a Muckenhoupt $A_\infty$ weight uniformly in $t\in(0,\,\infty)$. The Musielak-Orlicz Hardy space $H^\varphi(\mathbb{R}^n)$ generalizes both of the weighted Hardy space and the Orlicz Hardy space and hence has a wide generality. In this paper, the authors first prove the completeness of both of the Musielak-Orlicz space $L^\varphi(\mathbb{R}^n)$ and the weak Musielak-Orlicz space $WL^\varphi(\mathbb{R}^n)$. Then the authors obtain two boundedness criterions of operators on Musielak-Orlicz spaces. As applications, the authors establish the boundedness of parametric Marcinkiewicz integral $\mu^\rho_\Omega$ from $H^\varphi(\mathbb{R}^n)$ to $L^\varphi(\mathbb{R}^n)$ (resp. $WL^\varphi(\mathbb{R}^n)$) under weaker smoothness condition (resp. some Lipschitz condition) assumed on $\Omega$. These results are also new even when $\varphi(x,\,t):=\phi(t)$ for all $(x,\,t)\in\mathbb{R}^n\times[0,\,\infty)$, where $\phi$ is an Orlicz function.


title: About the non-standard viewpoint on the dynamics of closed vortex filament

abstract: In this article we construct the Hamiltonian description of the closed vortex filament dynamics in terms of non-standard variables, phase space and constraints. The suggested approach makes obvious interpretation of considered system as a quasiparticle that possess certain external and internal degrees of the freedom. The constructed theory is invariant under the transformation of Galilei group. The appearance of this group allows for a new viewpoint on the energy of a closed vortex filament with zero thickness. The explicit formula for the effective mass of the quasiparticle 'closed vortex filament' is suggested.


title: Late Engine Activity of GRB 161017A Revealed by Early Optical Observations

abstract: The long gamma-ray burst GRB 161017A was detected by Fermi and Swift, and its afterglow was observed by the MITSuME 50-cm optical telescope promptly about 50 s after the burst. Early optical observations revealed that the optical lightcurve exhibits a plateau and rebrightening in the early afterglow phase about 500 and 5000 s after the trigger, respectively. By investigating the behavior of the spectral and temporal flux variation, it was found that the plateau and re-brightening cannot be explained in the context of the simple standard afterglow model. These observational features can be explained with two independent refreshed shocks, which indicate the long-acting central engine. We evaluated the physical parameters of the subsequent shells, and we then determined the kinetic energy ratio of the two colliding shells to the leading shell to be roughly 1 and 8, respectively. In addition, two prominent X-ray flares about 200 s after the trigger may be signatures of delayed ejections of the energetic jets responsible for the refreshed shocks. Such late activity of the central engine and X-ray flares play a crucial role in understanding the mechanisms for jet formation and photon emission.


title: Numerical approximation for non-colliding particle systems

abstract: We apply the semi-discrete method, c.f. \emph{N. Halidias and I.S. Stamatiou (2016), On the numerical solution of some non-linear stochastic differential equations using the semi-discrete method, Computational Methods in Applied Mathematics, 16(1)}, to a class of non-colliding particle systems. The proposed numerical scheme preserves the non-colliding property and strongly converges to the exact solution.


title: Anomaly detection in static networks using egonets

abstract: Network data has rapidly emerged as an important and active area of statistical methodology. In this paper we consider the problem of anomaly detection in networks. Given a large background network, we seek to detect whether there is a small anomalous subgraph present in the network, and if such a subgraph is present, which nodes constitute the subgraph. We propose an inferential tool based on egonets to answer this question. The proposed method is computationally efficient and naturally amenable to parallel computing, and easily extends to a wide variety of network models. We demonstrate through simulation studies that the egonet method works well under a wide variety of network models. We obtain some fascinating empirical results by applying the egonet method on several well-studied benchmark datasets.


title: A decision theoretic approach to model evaluation in computational drug discovery

abstract: Artificial intelligence, trained via machine learning or computational statistics algorithms, holds much promise for the improvement of small molecule drug discovery. However, structure-activity data are high dimensional with low signal-to-noise ratios and proper validation of predictive methods is difficult. It is poorly understood which, if any, of the currently available machine learning algorithms will best predict new candidate drugs. 25 publicly available molecular datasets were extracted from ChEMBL. Neural nets, random forests, support vector machines (regression) and ridge regression were then fitted to the structure-activity data. A new validation method, based on quantile splits on the activity distribution function, is proposed for the construction of training and testing sets. Model validation based on random partitioning of available data favours models which overfit and `memorize' the training set, namely random forests and deep neural nets. Partitioning based on quantiles of the activity distribution correctly penalizes models which can extrapolate onto structurally different molecules outside of the training data. This approach favours more constrained models, namely ridge regression and support vector regression. In addition, our new rank-based loss functions give considerably different results from mean squared error highlighting the necessity to define model optimality with respect to the decision task at hand. Model performance should be evaluated from a decision theoretic perspective with subjective loss functions. Data-splitting based on the separation of high and low activity data provides a robust methodology for determining the best extrapolating model. Simpler, traditional statistical methods such as ridge regression outperform state-of-the-art machine learning methods in this setting.


title: Experimental results on fluctuations of conserved charges confronted with predictions from canonical thermodynamics

abstract: The study of multiplicity distributions of identified particles in terms of their higher moments is at the focus of contemporary experimental and theoretical studies. In a thermalized system, combinations of these moments are directly related to the Equation of State (EoS). The ultimate goal of the experimental measurements in relativistic nuclear collisions is, by systematic comparison to QCD and QCD inspired calculations, to probe the dynamics of genuine phase transitions between a hadron gas and the quark-gluon plasma. However, the comparison between experiment and theory is far from trivial, because several non-dynamical effects on fluctuations need to be controlled prior to a meaningful comparison to theoretical predictions. In this report we present quantitative estimates for these non-dynamical contributions using the Canonical Ensemble (CE) formulation of statistical mechanics. Together with analytical formulas we provide also results from Monte Carlo (MC) simulations within the CE and compare our predictions with the corresponding measurements from the STAR experiment.


title: Bivariate network meta-analysis for surrogate endpoint evaluation

abstract: Surrogate endpoints are very important in regulatory decision-making in healthcare, in particular if they can be measured early compared to the long-term final clinical outcome and act as good predictors of clinical benefit. Bivariate meta-analysis methods can be used to evaluate surrogate endpoints and to predict the treatment effect on the final outcome from the treatment effect measured on a surrogate endpoint. However, candidate surrogate endpoints are often imperfect, and the level of association between the treatment effects on the surrogate and final outcomes may vary between treatments. This imposes a limitation on the pairwise methods which do not differentiate between the treatments. We develop bivariate network meta-analysis (bvNMA) methods which combine data on treatment effects on the surrogate and final outcomes, from trials investigating heterogeneous treatment contrasts. The bvNMA methods estimate the effects on both outcomes for all treatment contrasts individually in a single analysis. At the same time, they allow us to model the surrogacy patterns across multiple trials (different populations) within a treatment contrast and across treatment contrasts, thus enabling predictions of the treatment effect on the final outcome for a new study in a new population or investigating a new treatment. Modelling assumptions about the between-studies heterogeneity and the network consistency, and their impact on predictions, are investigated using simulated data and an illustrative example in advanced colorectal cancer. When the strength of the surrogate relationships varies across treatment contrasts, bvNMA has the advantage of identifying treatments for which surrogacy holds, thus leading to better predictions.


title: Modified superexchange model for electron tunneling across the terminated molecular wire

abstract: The explicit expressions for a nonresonant tunneling current mediated by the bridging units of the molecular wire embedded between the metallic electrodes, are derived. The specific regimes of the charge transmission controlled by nonresonant and resonant participation of terminal's energy levels are studied, and the role of energy position of delocalized orbitals in formation of a distant superexchange electrode-electrode coupling is clarified. The criteria for reduction of the superexchange model of charge tunneling to the flat barrier model are formulated and the parameters of the barrier model (energy gap and effective electron mass) are specified in the terms of inter-site coupling and energy distance from the Fermi level to the delocalized wire's HOMO (LUMO) level. Special attention is payed to derivation of explicit analytic expressions for the tunneling current using different approximations. It is shown that if terminal units play barrier's role in the charge transmission process, the best correspondence with the observed current-voltage characteristics is achieved with the simplest Gauss and the mean-value explicit forms. This is supported by comparison of the theory with experimental data concerning the current-voltage characteristics of $N-$alkanedithiol chain.


title: 2D sub-half-wavelength atom localization in a three-level V-type atomic system

abstract: It is shown, using density matrix calculation, that high precision two-dimensional (2D) atom localization in V-type system can be achieved by applying an additional microwave coupling field between the excited states. In the present scheme, two lasers, probe and pump, form a V-type system by coupling the ground state to the excited states while an additional 2D standing microwave field is used to couple the excited states. The solutions of the density matrix equations reveal that the off-diagonal density matrix element $\rho_{31}$, which signify the coherence between the states connected by the probe laser, is position dependent. As the imaginary part of $\rho_{31}$ is proportional to the imaginary part of the susceptibility, the probe absorption also becomes position dependent and in this situation one can readily obtain information about the atom position from the probe absorption spectra. Perfect 2D atom localization can be achieved by carefully selecting different system parameters such as detuning, relative phase, dephasing and field strength. It is found that the atom localization is highly dependent on the probe and coupling field detuning values. In view of this, a systematic study is performed on the system parameters and different zones have been identified which give rise to different absorption shapes, e.g. "dip", "wall", "peak" as well as negative absorption or amplification. Probe absorption spectrum is also found to be dependent on relative phase between the applied fields. The dependence of the dephasing parameter on the probe absorption is investigated and found to be detrimental to atom localization. The effect of the microwave coupling strength on "wall" type absorption shape is also studied and the results are discussed. Finally, a possible practical realization of the present scheme is discussed in Conclusion section.


title: CReaM: Condensed Real-time Models for Depth Prediction using Convolutional Neural Networks

abstract: Since the resurgence of CNNs the robotic vision community has developed a range of algorithms that perform classification, semantic segmentation and structure prediction (depths, normals, surface curvature) using neural networks. While some of these models achieve state-of-the art results and super human level performance, deploying these models in a time critical robotic environment remains an ongoing challenge. Real-time frameworks are of paramount importance to build a robotic society where humans and robots integrate seamlessly. To this end, we present a novel real-time structure prediction framework that predicts depth at 30fps on an NVIDIA-TX2. At the time of writing, this is the first piece of work to showcase such a capability on a mobile platform. We also demonstrate with extensive experiments that neural networks with very large model capacities can be leveraged in order to train accurate condensed model architectures in a "from teacher to student" style knowledge transfer.


title: Laser and Radio Tracking for Planetary Science Missions - A Comparison

abstract: At present, tracking data for planetary missions largely consists of radio observables: range-rate range and angular position. Future planetary missions may use Interplanetary Laser Ranging (ILR) as a tracking observable. Two-way ILR will provide range data that are about 2 orders of magnitude more accurate than radio-based range data. ILR does not produce Doppler data, however. In this article, we compare the relative strength of radio Doppler and laser range data for the retrieval of parameters of interest in planetary missions, to clarify and quantify the science case of ILR, with a focus on geodetic observables. We first provide an overview of the near-term attainable quality of ILR, in terms of both the realization of the observable and the models used to process the measurements. Subsequently, we analyze the sensitivity of radio-Doppler and laser-range measurements in representative mission scenarios. We use both an analytical approximation and numerical analyses of the relative sensitivity of ILR and radio Doppler observables for more general cases. We show that mm-precise range normal points are feasible for ILR, but mm-level accuracy and stability is unlikely to be attained, due to a combination of instrumental and model errors. ILR has the potential for superior performance in observing signatures in the data with a characteristic period of greater than 0.33-1.65 hours This indicates that Doppler tracking will typically remain the method of choice for gravity field determination and spacecraft orbit determination in planetary missions. Laser ranging data, however, are shown to have a significant advantage for the retrieval of rotational and tidal characteristics from landers. Similarly, laser ranging data will be superior for the construction of planetary ephemerides and the improvement of solar system tests of gravitation.


title: Remarks on Barnette's Conjecture

abstract: Let $P$ be a cubic $3$-connected bipartite plane graph which has a $2$-factor which consists only of facial $4$-cycles, and suppose that $P^{*}$ is the dual graph. We show that $P$ has at least $3^{\frac{2|P^{*}|}{\Delta^{2}{(P^{*})}}}$ different Hamilton cycles.


title: SAAGs: Biased Stochastic Variance Reduction Methods for Large-scale Learning

abstract: Stochastic approximation is one of the effective approach to deal with the large-scale machine learning problems and the recent research has focused on reduction of variance, caused by the noisy approximations of the gradients. In this paper, we have proposed novel variants of SAAG-I and II (Stochastic Average Adjusted Gradient) (Chauhan et al. 2017), called SAAG-III and IV, respectively. Unlike SAAG-I, starting point is set to average of previous epoch in SAAG-III, and unlike SAAG-II, the snap point and starting point are set to average and last iterate of previous epoch in SAAG-IV, respectively. To determine the step size, we have used Stochastic Backtracking-Armijo line Search (SBAS) which performs line search only on selected mini-batch of data points. Since backtracking line search is not suitable for large-scale problems and the constants used to find the step size, like Lipschitz constant, are not always available so SBAS could be very effective in such cases. We have extended SAAGs (I, II, III and IV) to solve non-smooth problems and designed two update rules for smooth and non-smooth problems. Moreover, our theoretical results have proved linear convergence of SAAG-IV for all the four combinations of smoothness and strong-convexity, in expectation. Finally, our experimental studies have proved the efficacy of proposed methods against the state-of-art techniques.


title: Combining Heterogeneously Labeled Datasets For Training Segmentation Networks

abstract: Accurate segmentation of medical images is an important step towards analyzing and tracking disease related morphological alterations in the anatomy. Convolutional neural networks (CNNs) have recently emerged as a powerful tool for many segmentation tasks in medical imaging. The performance of CNNs strongly depends on the size of the training data and combining data from different sources is an effective strategy for obtaining larger training datasets. However, this is often challenged by heterogeneous labeling of the datasets. For instance, one of the dataset may be missing labels or a number of labels may have been combined into a super label. In this work we propose a cost function which allows integration of multiple datasets with heterogeneous label subsets into a joint training. We evaluated the performance of this strategy on thigh MR and a cardiac MR datasets in which we artificially merged labels for half of the data. We found the proposed cost function substantially outperforms a naive masking approach, obtaining results very close to using the full annotations.


title: Semiparametric Slepian-Bangs Formula for Complex Elliptically Symmetric Distributions

abstract: This letter aims at deriving a Semiparametric Slepian-Bangs (SSB) formula for Complex Elliptically Symmetric (CES) distributed data vectors. The Semiparametric Cram\'{e}r-Rao Bound (SCRB), related to the proposed SSB formula, provides a lower bound on the Mean Square Error (MSE) of \textit{any} robust estimator of a parameter vector parameterizing the mean vector and the scatter matrix of the given CES-distributed vector in the presence of an unknown, nuisance, density generator.


title: The model of methodical system and learning objectives of the foundations of mathematical informatics for students of technical universities

abstract: Introduction. Development of methodical system for training course "Foundations of mathematical informatics" plays a key role in forming the students' of technical universities competencies in mathematical informatics. So it is very important to analyze of the components of methodical system, identify the weaknesses and problems that can significantly impair its quality and which can not be overcome without its further development. Purpose. Develop a model of methodical system of training course "Foundations of mathematical informatics" for students of technical universities and specify its target component. Methods. Using cloud technologies at learning the foundations of mathematical informatics requires the construction technology training, which results in the selection of appropriate cloudoriented forms of organization and teaching methods. On the other hand, the theory, methods and tools for cloud significantly affect the primary content of learning and its goals. Thus, the cloud technology theory, methods and tools are the basis for constructing methodical system of training course "Foundations of mathematical informatics". Results. Development of methodical system of training course "Foundations of mathematical informatics" plays a leading role in forming the students' of technical universities competencies in mathematical informatics due to its fundamental impact and technology improvement. Conclusion. The model of methodical system of training course "Foundations of mathematical informatics" includes content, objectives and learning technology. The last one contains forms of organization, methods and teaching tools, including leading cloud technologies. The main purpose of training course "Foundations of mathematical informatics" is developing of students competencies of technical universities in mathematical informatics.


title: Z polarization in $e^+e^-\to ZWW $ for testing special interactions of massive particles

abstract: We show that the $ZWW$ production process may give complementary informations about scale dependent heavy particle masses and possible final state interactions as compared to previously studied top quark production processes. We illustrate the $p_Z$ distribution of the rate of longitudinal $Z_L$ component showing its sensitivity to these effects which may arise from heavy particle substructure or a dark matter (DM) environment.


title: On Brownian exit times from some non-convex domains

abstract: We consider the tail probabilities for Brownian exit time from a class of perturbed multi-strips in Euclidean plane. Under some assumptions we prove that the long stays in a perturbed multi-strip are more likely than those in a strip of the same width. This effect is related to the existence of the trapped modes in waveguides.


title: Minimal Penner dilatations on nonorientable surfaces

abstract: For any nonorientable closed surface, we determine the minimal dilatation among pseudo-Anosov mapping classes arising from Penner's construction. We deduce that the sequence of minimal Penner dilatations has exactly two accumulation points, in contrast to the case of orientable surfaces where there is only one accumulation point. One of our key techniques is representing pseudo-Anosov dilatations as roots of Alexander polynomials of fibred links and comparing dilatations using the skein relation for Alexander polynomials.


title: A Temporal Difference Reinforcement Learning Theory of Emotion: unifying emotion, cognition and adaptive behavior

abstract: Emotions are intimately tied to motivation and the adaptation of behavior, and many animal species show evidence of emotions in their behavior. Therefore, emotions must be related to powerful mechanisms that aid survival, and, emotions must be evolutionary continuous phenomena. How and why did emotions evolve in nature, how do events get emotionally appraised, how do emotions relate to cognitive complexity, and, how do they impact behavior and learning? In this article I propose that all emotions are manifestations of reward processing, in particular Temporal Difference (TD) error assessment. Reinforcement Learning (RL) is a powerful computational model for the learning of goal oriented tasks by exploration and feedback. Evidence indicates that RL-like processes exist in many animal species. Key in the processing of feedback in RL is the notion of TD error, the assessment of how much better or worse a situation just became, compared to what was previously expected (or, the estimated gain or loss of utility - or well-being - resulting from new evidence). I propose a TDRL Theory of Emotion and discuss its ramifications for our understanding of emotions in humans, animals and machines, and present psychological, neurobiological and computational evidence in its support.


title: Example Mining for Incremental Learning in Medical Imaging

abstract: Incremental Learning is well known machine learning approach wherein the weights of the learned model are dynamically and gradually updated to generalize on new unseen data without forgetting the existing knowledge. Incremental learning proves to be time as well as resource-efficient solution for deployment of deep learning algorithms in real world as the model can automatically and dynamically adapt to new data as and when annotated data becomes available. The development and deployment of Computer Aided Diagnosis (CAD) tools in medical domain is another scenario, where incremental learning becomes very crucial as collection and annotation of a comprehensive dataset spanning over multiple pathologies and imaging machines might take years. However, not much has so far been explored in this direction. In the current work, we propose a robust and efficient method for incremental learning in medical imaging domain. Our approach makes use of Hard Example Mining technique (which is commonly used as a solution to heavy class imbalance) to automatically select a subset of dataset to fine-tune the existing network weights such that it adapts to new data while retaining existing knowledge. We develop our approach for incremental learning of our already under test model for detecting dental caries. Further, we apply our approach to one publicly available dataset and demonstrate that our approach reaches the accuracy of training on entire dataset at once, while availing the benefits of incremental learning scenario.


title: Hyperspectral Images Classification Using Energy Profiles of Spatial and Spectral Features

abstract: This paper proposes a spatial feature extraction method based on energy of the features for classification of the hyperspectral data. A proposed orthogonal filter set extracts spatial features with maximum energy from the principal components and then, a profile is constructed based on these features. The important characteristic of the proposed approach is that the filter sets coefficients are extracted from statistical properties of data, thus they are more consistent with the type and texture of the remotely sensed images compared with those of other filters such as Gabor. To assess the performance of the proposed feature extraction method, the extracted features are fed into a support vector machine (SVM) classifier. Experiments on the widely used hyperspectral images namely, Indian Pines, and Salinas data sets reveal that the proposed approach improves the classification results in comparison with some recent spectral spatial classification methods.


title: Magnetic Resonance Imaging of Single Atoms

abstract: Magnetic resonance imaging (MRI) revolutionized diagnostic medicine and biomedical research by allowing a noninvasive access to spin ensembles. To enhance MRI resolution to the nanometer scale, new approaches including scanning probe methods have been used in recent years, which culminated in detection of individual spins. This allowed three-dimensional (3D) visualization of organic samples and of sophisticated spin-structures. Here, we demonstrate for the first time MRI of individual atoms on a surface. The setup, implemented in a cryogenic scanning tunneling microscope (STM), uses single-atom electron spin resonance (ESR) to achieve sub-{\AA}ngstr\"om resolution exceeding the spatial resolution of previous experiments by one to two orders of magnitude. We find that MRI scans of different atomic species and probe tips lead to unique signatures in the resonance images. These signatures reveal the magnetic interactions between the tip and the atom, in particular magnetic dipolar and exchange interaction.


title: Otem&Utem: Over- and Under-Translation Evaluation Metric for NMT

abstract: Although neural machine translation(NMT) yields promising translation performance, it unfortunately suffers from over- and under-translation is- sues [Tu et al., 2016], of which studies have become research hotspots in NMT. At present, these studies mainly apply the dominant automatic evaluation metrics, such as BLEU, to evaluate the overall translation quality with respect to both adequacy and uency. However, they are unable to accurately measure the ability of NMT systems in dealing with the above-mentioned issues. In this paper, we propose two quantitative metrics, the Otem and Utem, to automatically evaluate the system perfor- mance in terms of over- and under-translation respectively. Both metrics are based on the proportion of mismatched n-grams between gold ref- erence and system translation. We evaluate both metrics by comparing their scores with human evaluations, where the values of Pearson Cor- relation Coefficient reveal their strong correlation. Moreover, in-depth analyses on various translation systems indicate some inconsistency be- tween BLEU and our proposed metrics, highlighting the necessity and significance of our metrics.


title: Optical verification and in-vitro characterization of two commercially available acoustic bubble counters for cardiopulmonary bypass systems

abstract: Gaseous microemboli (GME) introduced during cardiac surgery are considered as a potential source of morbidity, which has driven the development of the first bubble counters. Two new generation bubble counters claim correct sizing and counting of GME. This in-vitro study aims to validate the accuracy of two bubble counters using monodisperse bubbles in a highly controlled setting at low GME concentrations. Monodisperse GME with a radius of 43 {\mu}m were produced in a microfluidic chip. Directly after their formation, they were injected one-by-one into the BCC200 and the EDAC sensors. GME size and count were optically verified using high-speed imaging. During best-case scenarios or low GME concentrations of GME with a size of 43 {\mu}m in radius in an in-vitro setup, the BCC200 overestimates GME size by a factor of 2 to 3 while the EDAC underestimates the average GME size by at least a factor of two. The BCC200 overestimates the GME concentration by approximately 20% while the EDAC overestimates the concentration by nearly one order of magnitude. Nevertheless, the calculated total GME volume is only over-predicted by a factor 2 since the EDAC underestimates the actual GME size. For the BCC200, the total GME volume was over-predicted by 25 times due to the over-estimation of GME size. The measured errors in the absolute sizing/counting of GME do not imply that all results obtained using the bubble counters are insignificant or invalid. A relative change in bubble size or bubble concentration can accurately be measured. However, care must be taken in the interpretation of the results and their absolute values. Moreover, the devices cannot be used interchangeably when reporting GME activity. Nevertheless, both devices can be used to study the relative air removal characteristics of CPB components or for the quantitative monitoring of GME production during CPB interventions.


title: On the p-adic denseness of the quotient set of a polynomial image

abstract: The quotient set, or ratio set, of a set of integers $A$ is defined as $R(A) := \left\{a/b : a,b \in A,\; b \neq 0\right\}$. We consider the case in which $A$ is the image of $\mathbb{Z}^+$ under a polynomial $f \in \mathbb{Z}[X]$, and we give some conditions under which $R(A)$ is dense in $\mathbb{Q}_p$. Then, we apply these results to determine when $R(S_m^n)$ is dense in $\mathbb{Q}_p$, where $S_m^n$ is the set of numbers of the form $x_1^n + \cdots + x_m^n$, with $x_1, \dots, x_m \geq 0$ integers. This allows us to answer a question posed in [Garcia et al., $p$-adic quotient sets, Acta Arith. 179, 163-184]. We end leaving an open question.


title: Dermoscopic Image Analysis for ISIC Challenge 2018

abstract: This short paper reports the algorithms we used and the evaluation performances for ISIC Challenge 2018. Our team participates in all the tasks in this challenge. In lesion segmentation task, the pyramid scene parsing network (PSPNet) is modified to segment the lesions. In lesion attribute detection task, the modified PSPNet is also adopted in a multi-label way. In disease classification task, the DenseNet-169 is adopted for multi-class classification.


title: A Note on Clustering Aggregation for Binary Clusterings

abstract: We consider the clustering aggregation problem in which we are given a set of clusterings and want to find an aggregated clustering which minimizes the sum of mismatches to the input clusterings. In the binary case (each clustering is a bipartition) this problem was known to be NP-hard under Turing reductions. We strengthen this result by providing a polynomial-time many-one reduction. Our result also implies that no $2^{o(n)}\cdot |I'|^{O(1)}$-time algorithm exists that solves any given clustering instance $I'$ with $n$ elements, unless the \ETH{} fails. On the positive side, we show that the problem is fixed-parameter tractable with respect to the number of input clusterings and we give an integer linear programming formulation.


title: Weak input-to-state stability: characterizations and counterexamples

abstract: We establish characterizations of weak input-to-state stability for abstract dynamical systems with inputs, which are similar to characterizations of uniform and of strong input-to-state stability established in a recent paper by A. Mironchenko and F. Wirth. We also answer, by means of suitable counterexamples, two open questions concerning weak input-to-state stability (and its relation to other common stability concepts) raised in the aforementioned paper.


title: Bose-Einstein condensation and pion stars

abstract: Pion stars consisting of Bose-Einstein condensed charged pions have recently been proposed as a new class of compact stars. We use the two-particle irreducible effective action to leading order in the $1/N$-expansion to describe charged and neutrals pions as well as the sigma particle. Tuning the parameters in the Lagrangian correctly, the onset of Bose-Einstein condesation of charged pions is exactly at $\mu_I=m_{\pi}$, where $\mu_I$ is the isospin chemical potential. We calculate the pressure, energy density, and equation of state, which are used as input to the Tolman-Oppenheimer-Volkov equations. Solving these equations, we obtain the mass radius-relation for pion stars. Global electric charge neutrality is ensured by adding the contribution to the pressure and energy density from a gas of free relativistic leptons. We compare our results with those of recent lattice simulations and find good agreement. The masses of the pion stars are up to approximately 200 solar masses while the corresponding radii are of the order of $10^5$ km.


title: Sampling-based probabilistic inference emerges from learning in neural circuits with a cost on reliability

abstract: Neural responses in the cortex change over time both systematically, due to ongoing plasticity and learning, and seemingly randomly, due to various sources of noise and variability. Most previous work considered each of these processes, learning and variability, in isolation -- here we study neural networks exhibiting both and show that their interaction leads to the emergence of powerful computational properties. We trained neural networks on classical unsupervised learning tasks, in which the objective was to represent their inputs in an efficient, easily decodable form, with an additional cost for neural reliability which we derived from basic biophysical considerations. This cost on reliability introduced a tradeoff between energetically cheap but inaccurate representations and energetically costly but accurate ones. Despite the learning tasks being non-probabilistic, the networks solved this tradeoff by developing a probabilistic representation: neural variability represented samples from statistically appropriate posterior distributions that would result from performing probabilistic inference over their inputs. We provide an analytical understanding of this result by revealing a connection between the cost of reliability, and the objective for a state-of-the-art Bayesian inference strategy: variational autoencoders. We show that the same cost leads to the emergence of increasingly accurate probabilistic representations as networks become more complex, from single-layer feed-forward, through multi-layer feed-forward, to recurrent architectures. Our results provide insights into why neural responses in sensory areas show signatures of sampling-based probabilistic representations, and may inform future deep learning algorithms and their implementation in stochastic low-precision computing systems.