title: Image Segmentation using Multi-Threshold technique by Histogram Sampling

abstract: The segmentation of digital images is one of the essential steps in image processing or a computer vision system. It helps in separating the pixels into different regions according to their intensity level. A large number of segmentation techniques have been proposed, and a few of them use complex computational operations. Among all, the most straightforward procedure that can be easily implemented is thresholding. In this paper, we present a unique heuristic approach for image segmentation that automatically determines multilevel thresholds by sampling the histogram of a digital image. Our approach emphasis on selecting a valley as optimal threshold values. We demonstrated that our approach outperforms the popular Otsu's method in terms of CPU computational time. We demonstrated that our approach outperforms the popular Otsu's method in terms of CPU computational time. We observed a maximum speed-up of 35.58x and a minimum speed-up of 10.21x on popular image processing benchmarks. To demonstrate the correctness of our approach in determining threshold values, we compute PSNR, SSIM, and FSIM values to compare with the values obtained by Otsu's method. This evaluation shows that our approach is comparable and better in many cases as compared to well known Otsu's method.


title: CEREBRUM: a fast and fully-volumetric Convolutional Encoder-decodeR for weakly-supervised sEgmentation of BRain strUctures from out-of-the-scanner MRI

abstract: Many functional and structural neuroimaging studies call for accurate morphometric segmentation of different brain structures starting from image intensity values of MRI scans. Current automatic (multi-) atlas-based segmentation strategies often lack accuracy on difficult-to-segment brain structures and, since these methods rely on atlas-to-scan alignment, they may take long processing times. Recently, methods deploying solutions based on Convolutional Neural Networks (CNNs) are making the direct analysis of out-of-the-scanner data feasible. However, current CNN-based solutions partition the test volume into 2D or 3D patches, which are processed independently. This entails a loss of global contextual information thereby negatively impacting the segmentation accuracy. In this work, we design and test an optimised end-to-end CNN architecture that makes the exploitation of global spatial information computationally tractable, allowing to process a whole MRI volume at once. We adopt a weakly supervised learning strategy by exploiting a large dataset composed by 947 out-of-the-scanner (3 Tesla T1-weighted 1mm isotropic MP-RAGE 3D sequences) MR Images. The resulting model is able to produce accurate multi-structure segmentation results in only few seconds. Different quantitative measures demonstrate an improved accuracy of our solution when compared to state-of-the-art techniques. Moreover, through a randomised survey involving expert neuroscientists, we show that subjective judgements clearly prefer our solution with respect to the widely adopted atlas-based FreeSurfer software.


title: On the Preservers of Maximally Entangled States

abstract: We characterize the linear maps that preserve maximally entangled states in $L(\mathcal X \otimes \mathcal Y)$ in the case where $\dim(\mathcal X)$ divides $\dim(\mathcal Y)$.


title: Existence and Uniqueness of Weak Solutions to a Class of Degenerate Cross Diffusion Systems

abstract: We consider a class of cross diffusion systems with degenerate (or porous media type) diffusion which is inspired by models in mathematical biology/ecology with zero self diffusions. Known techniques for scalar equations are no longer available here as maximum/comparison principles are generally unavailable for systems. However, we will provide the existence of weak solutions to the degenerate systems under mild integrability conditions of strong solutions to nondegenerate systems and show that they converge to a weak solution of the degerate system. These conditions will be verified for the model introduced by Shigesada {\it et al.}. Uniqueness of limiting and unbounded weak solutions will also be proved.


title: Getting Gender Right in Neural Machine Translation

abstract: Speakers of different languages must attend to and encode strikingly different aspects of the world in order to use their language correctly (Sapir, 1921; Slobin, 1996). One such difference is related to the way gender is expressed in a language. Saying "I am happy" in English, does not encode any additional knowledge of the speaker that uttered the sentence. However, many other languages do have grammatical gender systems and so such knowledge would be encoded. In order to correctly translate such a sentence into, say, French, the inherent gender information needs to be retained/recovered. The same sentence would become either "Je suis heureux", for a male speaker or "Je suis heureuse" for a female one. Apart from morphological agreement, demographic factors (gender, age, etc.) also influence our use of language in terms of word choices or even on the level of syntactic constructions (Tannen, 1991; Pennebaker et al., 2003). We integrate gender information into NMT systems. Our contribution is two-fold: (1) the compilation of large datasets with speaker information for 20 language pairs, and (2) a simple set of experiments that incorporate gender information into NMT for multiple language pairs. Our experiments show that adding a gender feature to an NMT system significantly improves the translation quality for some language pairs.


title: Adaptable Human Intention and Trajectory Prediction for Human-Robot Collaboration

abstract: To engender safe and efficient human-robot collaboration, it is critical to generate high-fidelity predictions of human behavior. The challenges in making accurate predictions lie in the stochasticity and heterogeneity in human behaviors. This paper introduces a method for human trajectory and intention prediction through a multi-task model that is adaptable across different human subjects. We develop a nonlinear recursive least square parameter adaptation algorithm (NRLS-PAA) to achieve online adaptation. The effectiveness and flexibility of the proposed method has been validated in experiments. In particular, online adaptation can reduce the trajectory prediction error by more than 28% for a new human subject. The proposed human prediction method has high flexibility, data efficiency, and generalizability, which can support fast integration of HRC systems for user-specified tasks.


title: Learning Enhanced Resolution-wise features for Human Pose Estimation

abstract: Recently, multi-resolution networks (such as Hourglass, CPN, HRNet, etc.) have achieved significant performance on pose estimation by combining feature maps of various resolutions. In this paper, we propose a Resolution-wise Attention Module (RAM) and Gradual Pyramid Refinement (GPR), to learn enhanced resolution-wise feature maps for precise pose estimation. Specifically, RAM learns a group of weights to represent the different importance of feature maps across resolutions, and the GPR gradually merges every two feature maps from low to high resolutions to regress final human keypoint heatmaps. With the enhanced resolution-wise features learnt by CNN, we obtain more accurate human keypoint locations. The efficacies of our proposed methods are demonstrated on MS-COCO dataset, achieving state-of-the-art performance with average precision of 77.7 on COCO val2017 set and 77.0 on test-dev2017 set without using extra human keypoint training dataset.


title: Particle diffusion in extracellular hydrogels

abstract: Hyaluronic acid is an abundant polyelectrolyte in the human body that forms extracellular hydrogels in connective tissues. It is essential for regulating tissue biomechanics and cell-cell communication, yet hyaluronan overexpression is associated with pathological situations such as cancer and multiple sclerosis. Due to its enormous molecular weight (in the range of millions of Daltons), accumulation of hyaluronan hinders transport of macromolecules including nutrients and growth factors through tissues and also hampers drug delivery. However, the exact contribution of hyaluronan to tissue penetrability is poorly understood due to the complex structure and molecular composition of tissues. Here we reconstitute biomimetic hyaluronan gels and systematically investigate the effects of gel composition and crosslinking on the diffusion of microscopic tracer particles. We combine ensemble-averaged measurements via differential dynamic microscopy with single-particle tracking. We show that the particle diffusivity depends on the particle size relative to the network pore size and also on the stress relaxation dynamics of the network. We furthermore show that addition of collagen, the other major biopolymer in tissues, causes the emergence of caged particle dynamics, which is not present in the one-component systems. Our findings are useful for understanding macromolecular transport in tissues and for designing biomimetic extracellular matrix hydrogels for drug delivery and tissue regeneration.


title: Influence of isoscalar and isovector pairing on Gamow-Teller transitions for nuclei in the 2p1f shell: A schematic shell model study

abstract: We perform a systematic study of Gamow-Teller (GT) transitions in the 2p1f shell, using the nuclear shell model with two schematic Hamiltonians. The use of the shell model provides flexibility to analyze the role of different proton-neutron pairing modes in the presence of nuclear deformation. The schematic Hamiltonians that are used contain a quadrupole-quadrupole interaction as well as isoscalar (T=0) and isovector (T=1) pairing interactions, but differ in the single particle energies. The objective of the work is to observe the behavior of GT transitions in different isoscalar and isovector pairing scenarios, together with the corresponding energy spectra and rotational properties of the parent and daughter nuclei (42Ca -> 42Sc, 44Ca -> 44Sc, 46Ti -> 46V, 48Ti -> 48V). We also treat the rotational properties of 44Ti and 48Cr. All results are compared with experimental data. The results obtained from our models depend on the different scenarios that arise, whether for N = Z or N neq Z nuclei. In the latter case, the presence of an attractive isoscalar pairing interaction imposes a 1+ ground state in odd-odd nuclei, contrary to observations for some of the nuclei considered, and it is necessary to suppress that pairing mode when considering such nuclei. The effect of varying the strength parameters for the two pairing modes is found to exhibit different but systematic effects on energy spectra and on GT transition properties.


title: Matching Estimators with Few Treated and Many Control Observations

abstract: We analyze the properties of matching estimators when there are few treated, but many control observations. We show that, under standard assumptions, the nearest neighbor matching estimator for the average treatment effect on the treated is asymptotically unbiased in this framework. However, when the number of treated observations is fixed, the estimator is not consistent, and it is generally not asymptotically normal. Since standard inference methods are inadequate, we propose alternative inference methods, based on the theory of randomization tests under approximate symmetry, that are asymptotically valid in this framework. We show that these tests are valid under relatively strong assumptions when the number of treated observations is fixed, and under weaker assumptions when the number of treated observations increases, but at a lower rate relative to the number of control observations.


title: The VIMOS Public Extragalactic Redshift Survey (VIPERS) -- Environment-size relation of massive passive galaxies at 0.5 < z < 0.8

abstract: We use the statistics of the VIPERS survey to investigate the relation between the surface mean stellar mass density Sigma=Mstar/(2*pi*Re^2) of massive passive galaxies (MPGs, Mstar>10^11 Msun) and their environment in the redshift range 0.5<z<0.8. Passive galaxies were selected on the basis of their NUVrK colors (~900 objects), and the environment was defined as the galaxy density contrast, delta, using the fifth nearest-neighbor approach. The analysis of Sigma vs. delta was carried out in two stellar mass bins. In galaxies with Mstar<2*10^11 Msun, no correlation between Sigma and delta is observed. This implies that the accretion of satellite galaxies, which is more frequent in denser environments and efficient in reducing the galaxy Sigma, is not relevant in the formation and evolution of these systems. Conversely, in galaxies with Mstar>2*10^11 Msun, we find an excess of MPGs with low Sigma and a deficit of high-Sigma MPGs in the densest regions wrt other environments. We interpret this result as due to the migration of some high-Sigma MPGs (<1% of the total population of MPGs) into low-Sigma MPGs, probably through mergers or cannibalism of small satellites. In summary, our results imply that the accretion of satellite galaxies has a marginal role in the mass-assembly history of most MPGs. We have previously found that the number density of VIPERS massive star-forming galaxies (MSFGs) declines rapidily from z=0.8 to z=0.5, which mirrors the rapid increase in the number density of MPGs. This indicates that the MSFGs at z>0.8 migrate to the MPG population. Here, we investigate the Sigma-delta relation of MSFGs at z>0.8 and find that it is consistent within 1 sigma with that of low-Sigma MPGs at z<0.8. Thus, the results of this and our previous paper show that MSFGs at z>0.8 are consistent in terms of number and environment with being the progenitors of low-Sigma MPGs at z<0.8.


title: Structural Robustness for Deep Learning Architectures

abstract: Deep Networks have been shown to provide state-of-the-art performance in many machine learning challenges. Unfortunately, they are susceptible to various types of noise, including adversarial attacks and corrupted inputs. In this work we introduce a formal definition of robustness which can be viewed as a localized Lipschitz constant of the network function, quantified in the domain of the data to be classified. We compare this notion of robustness to existing ones, and study its connections with methods in the literature. We evaluate this metric by performing experiments on various competitive vision datasets.


title: Coupling functions in climate

abstract: We examine how coupling functions in the theory of dynamical systems provide a quantitative window into climate dynamics. Previously we have shown that a one-dimensional periodic non-autonomous stochastic dynamical system can simulate the monthly statistics of surface air temperature data. Here we expand this approach to two-dimensional dynamical systems to include interactions between two sub-systems of the climate. The relevant coupling functions are constructed from the covariance of the data from the two sub-systems. We demonstrate the method on two tropical climate indices; The El-Ni\~{n}o--Southern Oscillation (ENSO) and the Indian Ocean Dipole (IOD), to interpret the mutual interactions between these two air-sea interaction phenomena in the Pacific and Indian Oceans. The coupling function reveals that ENSO mainly controls the seasonal variability of the IOD during its mature phase. This demonstrates the plausibility of constructing a network model for the seasonal variability of climate systems based on such coupling functions.


title: Spectral Non-Convex Optimization for Dimension Reduction with Hilbert-Schmidt Independence Criterion

abstract: The Hilbert Schmidt Independence Criterion (HSIC) is a kernel dependence measure that has applications in various aspects of machine learning. Conveniently, the objectives of different dimensionality reduction applications using HSIC often reduce to the same optimization problem. However, the nonconvexity of the objective function arising from non-linear kernels poses a serious challenge to optimization efficiency and limits the potential of HSIC-based formulations. As a result, only linear kernels have been computationally tractable in practice. This paper proposes a spectral-based optimization algorithm that extends beyond the linear kernel. The algorithm identifies a family of suitable kernels and provides the first and second-order local guarantees when a fixed point is reached. Furthermore, we propose a principled initialization strategy, thereby removing the need to repeat the algorithm at random initialization points. Compared to state-of-the-art optimization algorithms, our empirical results on real data show a run-time improvement by as much as a factor of $10^5$ while consistently achieving lower cost and classification/clustering errors. The implementation source code is publicly available on https://github.com/endsley.


title: Real-time computation of bio-heat transfer in the fast explicit dynamics finite element algorithm (FED-FEM) framework

abstract: Real-time analysis of bio-heat transfer is very beneficial in improving clinical outcomes of hyperthermia and thermal ablative treatments but challenging to achieve due to large computational costs. This paper presents a fast numerical algorithm well suited for real-time solutions of bio-heat transfer, and it achieves real-time computation via the (i) computationally efficient explicit dynamics in the temporal domain, (ii) element-level thermal load computation, (iii) computationally efficient finite elements, (iv) explicit formulation for unknown nodal temperature, and (v) pre-computation of constant simulation matrices and parameters, all of which lead to a significant reduction in computation time for fast run-time computation. The proposed methodology considers temperature-dependent thermal properties for nonlinear characteristics of bio-heat transfer in soft tissue. Utilising a parallel execution, the proposed method achieves computation time reduction of 107.71 and 274.57 times compared to those of with and without parallelisation of the commercial finite element codes if temperature-dependent thermal properties are considered, and 303.07 and 772.58 times if temperature-independent thermal properties are considered, far exceeding the computational performance of the commercial finite element codes, presenting great potential in real-time predictive analysis of tissue temperature for planning, optimisation and evaluation of thermo-therapeutic treatments. The source code is available at https://github.com/jinaojakezhang/FEDFEMBioheat.


title: How to detect novelty in textual data streams? A comparative study of existing methods

abstract: Since datasets with annotation for novelty at the document and/or word level are not easily available, we present a simulation framework that allows us to create different textual datasets in which we control the way novelty occurs. We also present a benchmark of existing methods for novelty detection in textual data streams. We define a few tasks to solve and compare several state-of-the-art methods. The simulation framework allows us to evaluate their performances according to a set of limited scenarios and test their sensitivity to some parameters. Finally, we experiment with the same methods on different kinds of novelty in the New York Times Annotated Dataset.


title: Group Representation Theory for Knowledge Graph Embedding

abstract: Knowledge graph embedding has recently become a popular way to model relations and infer missing links. In this paper, we present a group theoretical perspective of knowledge graph embedding, connecting previous methods with different group actions. Furthermore, by utilizing Schur's lemma from group representation theory, we show that the state of the art embedding method RotatE can model relations from any finite Abelian group.


title: Implosion-explosion in supernovae

abstract: Supernovae explosions of massive stars are nowadays believed to result from a two-step process, with an initial gravitational core collapse followed by an expansion of matter after a bouncing on the core. This scenario meets several difficulties. We show that it is not the only possible one: a simple model based on fluid mechanics and stability properties of the equilibrium state shows that one can have also a simultaneous inward/outward motion in the early stage of the instability of the supernova. This shows up in the slow sweeping across a saddle-center bifurcation found when considering equilibrium states associated to the constraint of energy conservation. We first discuss the weakly nonlinear regime in terms of a Painlev\'e I equation. We then show that the strongly nonlinear regime displays a self-similar behavior of the core collapse. Finally, the expansion of the remnants is revisited as an isentropic process leading to shocks formation.


title: Universe opacity and Type Ia supernova dimming

abstract: In this paper, I revoke a debate about an origin of Type Ia supernova (SN Ia) dimming. I argue that except for a commonly accepted accelerating expansion of the Universe, a conceivable alternative for explaining this observation is universe opacity caused by light extinction by intergalactic dust, even though it is commonly assumed that this effect is negligible. Using data of the Union2.1 SN Ia compilation, I find that the standard $\Lambda$CDM model and the opaque universe model fit the SN Ia measurements at redshifts $z < 1.4$ comparably well. The optimum solution for the opaque universe model is characterized by the B-band intergalactic opacity $\lambda_B = 0.10 \pm 0.03 \, \mathrm{Gpc}^{-1}$ and the Hubble constant $H_0 = 68.0 \pm 2.5 \, \mathrm{km\,s^{-1}\, Mpc^{-1}}$. The intergalactic opacity is higher than that obtained from independent observations but still within acceptable limits. This result emphasizes that the issue of the accelerating expansion of the Universe as the origin of the SN Ia dimming is not yet definitely resolved. Obviously, the opaque universe model as an alternative to the $\Lambda$CDM model is attractive, because it avoids puzzles and controversies associated with dark energy and the accelerating expansion.


title: Multiplicity in root components via Geometric Satake

abstract: In this note we explicitly construct top-dimensional components of the cyclic convolution varieties. These components correspond (via the geometric Satake equivalence) to irreducible summands $V(\lambda+\mu-N\beta) \subset V(\lambda) \otimes V(\mu)$ for $G^\vee=SL_{n+1}$, where $N\ge 1$ and $\beta$ is a positive root. Furthermore, we deduce from these constructions a nontrivial lower bound on the multiplicity of these subrepresentations when $\beta$ is not a simple root. Finally, we demonstrate that not all such top-dimensional components can be realized as closures of orbits.


title: The Pulsar Search Collaboratory: Current Status and Future Prospects

abstract: The Pulsar Search Collaboratory (PSC) is a collaboration between the Green Bank Observatory and West Virginia University, funded by the National Science Foundation. The PSC program is currently expanding nationwide and engages high school students, teachers, and undergraduate mentors in real-world research by searching for pulsars in data collected with the 100-m Green Bank Telescope. In the process, students learn about observational radio astronomy, radio frequency interference, pulsar timing, and data analysis procedures. The primary goals of the PSC are to stimulate student interest in Science, Technology, Engineering, and Mathematics (STEM) careers, to prepare teachers in implementing authentic research with students by training them within a professional scientific community, and to promote student use of information technologies through online activities and workshops. In this paper, we provide an overview of pulsar science and the data analysis students undertake, as well as a general overview of the program. We then discuss evaluation data collected from participants through a series of survey questions to determine if the program's initial goals were met. The program had a positive impact on the students according to multiple measures, in particular, on their understanding of the nature of scientific inquiry and motivation to pursue STEM career paths.


title: Homomorphisms between algebras of holomorphic functions on the infinite polydisk

abstract: We study the vector-valued spectrum $\mathcal{M}_\infty(B_{c_0},B_{c_0})$, that is, the set of non null algebra homomorphisms from $\mathcal H^\infty(B_{c_0})$ to $\mathcal H^\infty(B_{c_0})$ which is naturally projected onto the closed unit ball of $\mathcal H^\infty(B_{c_0}, \ell_\infty)$, likewise the scalar-valued spectrum $\mathcal M_\infty(B_{c_0})$ which is projected over $\bar{B}_{\ell_\infty}$. Our itinerary begins in the scalar-valued spectrum $\mathcal{M}_\infty(B_{c_0})$: by expanding a result by Cole, Gamelin and Johnson (1992) we prove that on each fiber there are $2^c$ disjoint analytic Gleason isometric copies of $B_{\ell_\infty}$. For the vector-valued case, building on the previous result we obtain $2^c$ disjoint analytic Gleason isometric copies of $B_{\mathcal{H}^\infty(B_{c_0},\ell_\infty)}$ on each fiber. We also take a look at the relationship between fibers and Gleason parts for both vector-valued spectra $\mathcal{M}_{u,\infty}(B_{c_0},B_{c_0})$ and $\mathcal{M}_\infty(B_{c_0},B_{c_0})$.


title: Correlation Priors for Reinforcement Learning

abstract: Many decision-making problems naturally exhibit pronounced structures inherited from the characteristics of the underlying environment. In a Markov decision process model, for example, two distinct states can have inherently related semantics or encode resembling physical state configurations. This often implies locally correlated transition dynamics among the states. In order to complete a certain task in such environments, the operating agent usually needs to execute a series of temporally and spatially correlated actions. Though there exists a variety of approaches to capture these correlations in continuous state-action domains, a principled solution for discrete environments is missing. In this work, we present a Bayesian learning framework based on P\'olya-Gamma augmentation that enables an analogous reasoning in such cases. We demonstrate the framework on a number of common decision-making related problems, such as imitation learning, subgoal extraction, system identification and Bayesian reinforcement learning. By explicitly modeling the underlying correlation structures of these problems, the proposed approach yields superior predictive performance compared to correlation-agnostic models, even when trained on data sets that are an order of magnitude smaller in size.


title: MAGIC observations of Dragonfly Nebula at TeV Energies using the Very Large Zenith Angle Technique

abstract: One of the brightest regions of diffuse gamma-ray emission in the northern sky is the Cygnus star-forming region, where one can assume the most energetic processes are taking place. The Dragonfly Nebula (MGRO J2019+37) is one of the brightest sources in the Cygnus region. First discovered by MILAGRO, it was later resolved into two sources by VERITAS: the faint point-like source VER J2016+371 and the bright extended source VER J2019+368. The latter accounts for the bulk of the MGRO J2019+37 emission, with the spectrum among the hardest in the TeV range. We report the results of a dedicated MAGIC observational campaign of VER J2019+368. The data obtained with the Very Large Zenith Angle observational technique provides an effective collection area of about one square kilometer. We used $\sim$45 hours of data collected under Very Large Zenith Angles for exploring the flux of the source at TeV energies.


title: Supernarrow Dibaryons

abstract: An analysis of the experimental search for supernarrow dibaryons (SNDs) have been performed. The sum rules for SND masses have been constructed. The calculated values of the SND masses are in good agreement with the existing experimental values. It has been shown that the SND decay leads to the formation of N* with small masses. Experimental observations of N* is an additional confirmation of the possibility of the SND existence.


title: A Barrier Function Approach to Finite-Time Stochastic System Verification and Control

abstract: This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify the probability that a system exits a given safe region of the state space in finite time. A barrier certificate condition that bounds the expected value of the barrier function over the time horizon is recast as a sum-of-squares optimization problem for efficient numerical computation. Unlike prior works, the proposed certificate condition includes a state-dependent upper bound on the evolution of the expectation. We present formulations for both continuous-time and discrete-time systems. Moreover, for systems for which the drift dynamics are affine-in-control, we propose a method for synthesizing polynomial state feedback controllers that achieve a specified probability of safety. Several case studies are presented which benchmark and illustrate the performance of our verification and control method in the continuous-time and discrete-time domains.


title: Bound on Peak-to-Average Power Ratio with Moment and Reduction Method

abstract: In this paper, we show bounds on Peak-to-Average Power Ratio (PAPR) and propose a method to reduce PAPR. These bounds are written in terms of moments of transmitted symbols. Further, we show some bounds in special cases and these special bounds include a practical case. From the practical bound, a method to reduce PAPR is derived. Our method is an extension of existing methods, a Partial Transmit Sequence (PTS) technique and a Selective Mapping (SLM) technique. Finally, we numerically verify performance of our method and discuss some conditions for our method.


title: Confronting the Ellipsoidal Universe to the Planck 2018 Data

abstract: We compared the Planck 2018 data on the large-scale anisotropies in the cosmic microwave background to the results obtained in the slightly anisotropic ellipsoidal universe. We focused on the quadrupole temperature correlations to better constrain the eccentricity at decoupling and the direction of the symmetry axis. We found that the quadrupole TE and EE temperature correlations in the ellipsoidal universe are still in reasonable agreement with the Planck 2018 data. We suggested that an experimental estimate of the average large-scale polarisation by the Planck Collaboration could confirm or reject the anisotropic universe proposal.


title: Cram\'{e}r moderate deviation expansion for martingales with one-sided Sakhanenko's condition and its applications

abstract: We give a Cram\'{e}r moderate deviation expansion for martingales with differences having finite conditional moments of order $2+\rho, \rho \in (0,1],$ and finite one-sided conditional exponential moments. The upper bound of the range of validity and the remainder of our expansion are both optimal. Consequently, it leads to a "half-side" moderate deviation principle for martingales. It is worth mentioning that our result is new even for independent random variables. Moreover, applications to quantile coupling inequality, $\beta$-mixing and $\psi$-mixing sequences are discussed.


title: Strict continuity of the transition semigroup for the solution of a well-posed martingale problem

abstract: In this note we connect the notion of solutions of a martingale problem to the notion of a strongly continuous and locally equi-continuous semigroup on the space of bounded continuous functions equipped with the strict topology. This extends the classical connection of semigroups to Markov processes that was used successfully in the context of compact spaces to the context of Polish spaces. In addition, we consider the context of locally compact spaces and show how the transition semigroup on the space of functions vanishing at infinity can be extended to the space of bounded continuous functions.


title: PaccMann$^{RL}$: Designing anticancer drugs from transcriptomic data via reinforcement learning

abstract: With the advent of deep generative models in computational chemistry, in silico anticancer drug design has undergone an unprecedented transformation. While state-of-the-art deep learning approaches have shown potential in generating compounds with desired chemical properties, they disregard the genetic profile and properties of the target disease. Here, we introduce the first generative model capable of tailoring anticancer compounds for a specific biomolecular profile. Using a RL framework, the transcriptomic profiles of cancer cells are used as a context for the generation of candidate molecules. Our molecule generator combines two separately pretrained variational autoencoders (VAEs) - the first VAE encodes transcriptomic profiles into a smooth, latent space which in turn is used to condition a second VAE to generate novel molecular structures on the given transcriptomic profile. The generative process is optimized through PaccMann, a previously developed drug sensitivity prediction model to obtain effective anticancer compounds for the given context (i.e., transcriptomic profile). We demonstrate how the molecule generation can be biased towards compounds with high predicted inhibitory effect against individual cell lines or specific cancer sites. We verify our approach by investigating candidate drugs generated against specific cancer types and find the highest structural similarity to existing compounds with known efficacy against these cancer types. We envision our approach to transform in silico anticancer drug design by leveraging the biomolecular characteristics of the disease in order to increase success rates in lead compound discovery.


title: Exactness of Lepage 2-forms and globally variational differential equations

abstract: The exactness equation for Lepage 2-forms, associated with variational systems of ordinary differential equations on smooth manifolds, is analyzed with the aim to construct a concrete global variational principle. It is shown that locally variational systems defined by homogeneous functions of degree $c \neq 0, 1$ are automatically globally variational. A new constructive method of finding a global Lagrangian is described for these systems, which include for instance the geodesic equations in Riemann and Finsler geometry.


title: Holomorphic Euler number of K$\ddot{a}$hler manifolds with almost nonnegative Ricci curvature

abstract: Let $M^n$ be a compact K$\ddot{a}$hler manifold with almost nonnegative Ricci curvature and nonzero first Betti number. We show that the holomorphic Euler number of $M^n$ vanishes, which gives a new obstruction for compact complex manifolds admitting K$\ddot{a}$hler metrics with almost nonnegative Ricci curvature. A crucial step in the proof is to show a vanishing theorem of Dolbeault-Morse-Novikov cohomology.


title: Targeted Random Projection for Prediction from High-Dimensional Features

abstract: We consider the problem of computationally-efficient prediction with high dimensional and highly correlated predictors when accurate variable selection is effectively impossible. Direct application of penalization or Bayesian methods implemented with Markov chain Monte Carlo can be computationally daunting and unstable. A common solution is first stage dimension reduction through screening or projecting the design matrix to a lower dimensional hyper-plane. Screening is highly sensitive to threshold choice, while projections often have poor performance in very high-dimensions. We propose TArgeted Random Projection (TARP) to combine positive aspects of both strategies. TARP uses screening to order the inclusion probabilities of the features in the projection matrix used for dimension reduction, leading to data-informed sparsity. We provide theoretical support for a Bayesian predictive algorithm based on TARP, including statistical and computational complexity guarantees. Examples for simulated and real data applications illustrate gains relative to a variety of competitors.


title: Sociotechnical Considerations for Accessible Visualization Design

abstract: Accessibility--the process of designing for people with disabilities (PWD)--is an important but under-explored challenge in the visualization research community. Without careful attention, and if PWD are not included as equal participants throughout the process, there is a danger of perpetuating a vision-first approach to accessible design that marginalizes the lived experience of disability (e.g., by creating overly simplistic "sensory translations" that map visual to non-visual modalities in a one-to-one fashion). In this paper, we present a set of sociotechnical considerations for research in accessible visualization design, drawing on literature in disability studies, tactile information systems, and participatory methods. We identify that using state-of-the-art technologies may introduce more barriers to access than they remove, and that expectations of research novelty may not produce outcomes well-aligned with the needs of disability communities. Instead, to promote a more inclusive design process, we emphasize the importance of clearly communicating goals, following existing accessibility guidelines, and treating PWD as equal participants who are compensated for their specialized skills. To illustrate how these considerations can be applied in practice, we discuss a case study of an inclusive design workshop held in collaboration with the Perkins School for the Blind.


title: Complete Willmore Legendrian surfaces in $\mathbb{S}^5$ are minimal Legendrian surfaces

abstract: In this paper we continue to consider Willmore Legendrian surfaces and csL Willmroe surfaces in $\mathbb{S}^5$, notions introduced by Luo in \cite{Luo}. We will prove that every complete Willmore Legendrian surface in $\mathbb{S}^5$ is minimal and construct nontrivial examples of csL Willmore surfaces in $\mathbb{S}^5$.


title: Experimental extraction of the quantum effective action for a non-equilibrium many-body system

abstract: Far-from-equilibrium situations are ubiquitous in nature. They are responsible for a wealth of phenomena, which are not simple extensions of near-equilibrium properties, ranging from fluid flows turning turbulent to the highly organized forms of life. On the fundamental level, quantum fluctuations or entanglement lead to novel forms of complex dynamical behaviour in many-body systems for which a description as emergent phenomena can be found within the framework of quantum field theory. A central quantity in these efforts, containing all information about the measurable physical properties, is the quantum effective action. Though the problem of non-equilibrium quantum dynamics can be exactly formulated in terms of the quantum effective action, the solution is in general beyond capabilities of classical computers. In this work, we present a strategy to determine the non-equilibrium quantum effective action using analog quantum simulators, and demonstrate our method experimentally with a quasi one-dimensional spinor Bose gas out of equilibrium. Building on spatially resolved snapshots of the spin degree of freedom, we infer the quantum effective action up to fourth order in an expansion in one-particle irreducible correlation functions at equal times. We uncover a strong suppression of the irreducible four-vertex emerging at low momenta, which solves the problem of dynamics in the highly occupied regime far from equilibrium where perturbative descriptions fail. Similar behaviour in this non-pertubative regime has been proposed in the context of early-universe cosmology. Our work constitutes a new realm of large-scale analog quantum computing, where the high level of control of synthetic quantum systems provides the means for the solution of long-standing theoretical problems in high-energy and condensed matter physics with an experimental approach.


title: Independent Domination in Directed Graphs

abstract: In this paper we initialize the study of independent domination in directed graphs. We show that an independent dominating set of an orientation of a graph is also an independent dominating set of the underlying graph, but that the converse is not true in general. We then prove existence and uniqueness theorems for several classes of digraphs including orientations of complete graphs, paths, trees, DAGs, cycles, and bipartite graphs. We also provide the idomatic number for special cases of some of these families of digraphs.


title: Implicit Regularization for Optimal Sparse Recovery

abstract: We investigate implicit regularization schemes for gradient descent methods applied to unpenalized least squares regression to solve the problem of reconstructing a sparse signal from an underdetermined system of linear measurements under the restricted isometry assumption. For a given parametrization yielding a non-convex optimization problem, we show that prescribed choices of initialization, step size and stopping time yield a statistically and computationally optimal algorithm that achieves the minimax rate with the same cost required to read the data up to poly-logarithmic factors. Beyond minimax optimality, we show that our algorithm adapts to instance difficulty and yields a dimension-independent rate when the signal-to-noise ratio is high enough. Key to the computational efficiency of our method is an increasing step size scheme that adapts to refined estimates of the true solution. We validate our findings with numerical experiments and compare our algorithm against explicit $\ell_{1}$ penalization. Going from hard instances to easy ones, our algorithm is seen to undergo a phase transition, eventually matching least squares with an oracle knowledge of the true support.


title: A note on the Feynman Path integral for Electromagnetic External fields

abstract: We propose a Fresnel stochastic white noise framework to analyze the nature of the Feynman paths entering on the Feynman path integral expression for the Feynman propagator of aparticle quantum mechanically moving under an external electromagnetic time independent potential


title: Compact linear relations and their spectral properties

abstract: In this paper, we study compact linear relations and establish that the spectrum of compact linear relations consists of only the point spectrum and the zero set under suitable conditions.


title: Byzantine-Robust Federated Machine Learning through Adaptive Model Averaging

abstract: Federated learning enables training collaborative machine learning models at scale with many participants whilst preserving the privacy of their datasets. Standard federated learning techniques are vulnerable to Byzantine failures, biased local datasets, and poisoning attacks. In this paper we introduce Adaptive Federated Averaging, a novel algorithm for robust federated learning that is designed to detect failures, attacks, and bad updates provided by participants in a collaborative model. We propose a Hidden Markov Model to model and learn the quality of model updates provided by each participant during training. In contrast to existing robust federated learning schemes, we propose a robust aggregation rule that detects and discards bad or malicious local model updates at each training iteration. This includes a mechanism that blocks unwanted participants, which also increases the computational and communication efficiency. Our experimental evaluation on 4 real datasets show that our algorithm is significantly more robust to faulty, noisy and malicious participants, whilst being computationally more efficient than other state-of-the-art robust federated learning methods such as Multi-KRUM and coordinate-wise median.


title: Low-temperature electroluminescence excitation mapping of excitons and trions in short channel monochiral carbon nanotube device

abstract: Single walled carbon nanotubes as emerging quantum-light sources may fill a technological gap in silicon photonics due to their potential use as near infrared, electrically driven, classical or non-classical emitters. Unlike in photoluminescence, where nanotubes are excited with light, electrical excitation of single tubes is challenging and heavily influenced by device fabrication, architecture and biasing conditions. Here we present electroluminescence spectroscopy data of ultra short channel devices made from (9,8) carbon nanotubes emitting in the telecom band. Emissions are stable under current biasing and no quenching is observed down to 10 nm gap size. Low-temperature electroluminescence spectroscopy data also reported exhibits cold emission and linewidths down to 2 meV at 4 K. Electroluminescence excitation maps give evidence that carrier recombination is the mechanism for light generation in short channels. Excitonic and trionic emissions can be switched on and off by gate voltage and corresponding emission efficiency maps were compiled. Insights are gained into the influence of acoustic phonons on the linewidth, absence of intensity saturation and exciton exciton annihilation, environmental effects like dielectric screening and strain on the emission wavelength, and conditions to suppress hysteresis and establish optimum operation conditions.


title: Search for Astrophysical Tau Neutrinos with an Improved Double Pulse Method

abstract: Tau neutrino identification with the IceCube experiment would open new windows to neutrino physics as well as enable novel searches for cosmic neutrino sources. This work aims at a identification of tau neutrinos with astrophysical origin at energies above 100TeV. For identification, we search for a double pulse structure in the signal of one of IceCubes Digital Optical Modules originating from a tau neutrino interaction and a subsequent tau decay within the detector. In this work, we present constraints on the tau neutrino flux based on an event sample with a livetime of about 7.5 years of IceCube data.


title: Vector Space and Matrix Methods in Signal and System Theory

abstract: The tools, ideas, and insights from linear algebra, abstract algebra, and functional analysis can be extremely useful to signal processing and system theory in various areas of engineering, science, and social science including approximation, optimization, parameter identification, big data, etc. Indeed, many important ideas can be developed from the simple operator equation A x = b by considering it in a variety of ways. If x and if b are vectors from the same or, perhaps, different vector spaces and A is an operator, there are three interesting questions that can be asked which provide a setting for a broad study.


title: Model-independent Measurement of the Atmospheric Muon Neutrino Energy Spectrum up to 2.5 PeV

abstract: The IceCube Observatory at the South Pole allows the measurement of the diffuse neutrino flux. The assumption of specific flux parametrizations limits the range of spectral shapes. Given the increasing statistics of the data recorded, model-independent unfolding approaches can overcome these limitations. In this contribution, a model-independent approach to estimate the muon neutrino flux between 125 GeV and 2.5 PeV is presented. In order to extract muon neutrinos from the data taken by the detector, a machine-learning-based method is employed. This yields an efficient muon neutrino sample with a purity of over 99 %. The spectrum is estimated by a Likelihood-based unfolding technique involving a novel binning scheme using a decision tree on three years of IceCube data. This measurement provides the first model-independent muon neutrino spectrum for multiple years in this energy regime.


title: Should We Worry About Interference in Emerging Dense NGSO Satellite Constellations?

abstract: Many satellite operators are planning to deploy NGSO systems for broadband communication services in the Ku-, Ka-, and V-band, where some of them have already launched. Consequently, new challenges are expected for inter-system satellite coexistence due to the increased interference level and the complexity of the interactions resulting from the heterogeneity of the constellations. This is especially relevant for the Ku-band, where the NGSO systems are most diverse and existing GSO systems, which often support critical services, must be protected from interference. It is thus imperative to evaluate the impact of mutual inter-system interference, the efficiency of the basic interference mitigation techniques, and whether regulatory intervention is needed for the new systems. We conduct an extensive study of inter-satellite coexistence in the Ku-band, where we consider all recently proposed NGSO and some selected GSO systems. Our throughput degradation results suggest that existing spectrum regulation may be insufficient to ensure GSO protection from NGSO interference, especially due to the high transmit power of the LEO Kepler satellites. This also results in strong interference towards other NGSO systems, where traditional interference mitigation techniques like look-aside may perform poorly. Specifically, look-aside can be beneficial for large constellations, but detrimental for small constellations. Furthermore, we confirm that band-splitting among satellite operators significantly degrades throughput, also for the Ku-band. Our results overall show that the complexity of the inter-satellite interactions for new NGSO systems is too high to be managed via simple interference mitigation techniques. This means that more sophisticated engineering solutions, and potentially even more strict regulatory requirements, will be needed to ensure coexistence in emerging, dense NGSO deployments.


title: Error analysis of the SAV-MAC scheme for the Navier-Stokes equations

abstract: An efficient numerical scheme based on the scalar auxiliary variable (SAV) and marker and cell scheme (MAC) is constructed for the Navier-Stokes equations. A particular feature of the scheme is that the nonlinear term is treated explicitly while being unconditionally energy stable. A rigorous error analysis is carried out to show that both velocity and pressure approximations are second-order accurate in time and space. Numerical experiments are presented to verify the theoretical results.


title: Analytic Fluid Approximation for Warm Dark Matter

abstract: We present the full evolution of the velocity of a massive particle, along with the equation of state we can compute the energy density and pressure evolution for the background evolution. It is also natural to compute the perturbation equations for any massive decoupled particle, i.e. warm dark matter (WDM) or neutrinos, in the fluid approximation. Using this approach we analytically compute the time when the WDM stop being relativistic, $a_{nr}$, which is 2.6\% different respect to the exact Boltzmann solution. Using the fluid approximation the matter power spectrum is computed faster and with great accuracy, the cut-off in structure formation due to the free-streaming ($\lambda_{fs}$) of the particle, characteristic for a WDM particle, is replicated in both matter power spectrum and halo mass function. With this approach, we have a deeper understanding of the WDM physics that lead us to show that the temperature the dark matter can be computed as a function of known properties of the WDM particle. This formulation can be integrated into comprehensive numerical modeling reasonable increasing the performance in the calculations, therefore, we analyze the parameter $a_{nr}$ in a $\Lambda$WDM model using CMB Planck data combined with matter power spectrum data set of WiggleZ, obtaining a lower bound for the WDM mass $m_{\rm wdm} = 70.3$ eV at 86\% confidence, this value is consistent with WiggleZ data set but more data at small scales or a combination with other observations are needed to stronger constrain the mass value of the WDM particle.


title: Distributed flexibility in inertial swimmers

abstract: We study a linear inviscid model of a passively flexible swimmer with distributed flexibility, calculating its propulsive performance and optimal distributions of flexibility. The frequencies of actuation and mean stiffness ratios we consider span a large range, while the mass ratio is fixed to a low value representative of swimmers. We present results showing how the trailing edge deflection, thrust coefficient, power coefficient, and efficiency vary with frequency, mean stiffness, and stiffness distribution. Swimmers with distributed flexibility have the same qualitative features as those with uniform flexibility. Significant gains in thrust can be made, however, by tuning the stiffness such that a resonant response is triggered, or by concentrating stiffness towards the leading edge if resonance cannot be triggered. To minimize power, the opposite is true. Meaningful gains in efficiency can be made at low frequencies by concentrating stiffness away from the leading edge, since doing so induces efficient travelling wave kinematics. We also speculate on the effects of a finite Reynolds number in the form of streamwise drag. The drag adds an offset to the net thrust produced by the swimmer, causing efficiency-maximizing distributions of flexibility to tend towards thrust-maximizing ones, representative of what is found in nature.


title: Robot Risk-Awareness by Formal Risk Reasoning and Planning

abstract: This paper proposes a formal robot motion risk reasoning framework and develops a risk-aware path planner that minimizes the proposed risk. While robots locomoting in unstructured or confined environments face a variety of risk, existing risk only focuses on collision with obstacles. Such risk is currently only addressed in ad hoc manners. Without a formal definition, ill-supported properties, e.g. additive or Markovian, are simply assumed. Relied on an incomplete and inaccurate representation of risk, risk-aware planners use ad hoc risk functions or chance constraints to minimize risk. The former inevitably has low fidelity when modeling risk, while the latter conservatively generates feasible path within a probability bound. Using propositional logic and probability theory, the proposed motion risk reasoning framework is formal. Building upon a universe of risk elements of interest, three major risk categories, i.e. locale-, action-, and traverse-dependent, are introduced. A risk-aware planner is also developed to plan minimum risk path based on the newly proposed risk framework. Results of the risk reasoning and planning are validated in physical experiments in real-world unstructured or confined environments. With the proposed fundamental risk reasoning framework, safety of robot locomotion could be explicitly reasoned, quantified, and compared. The risk-aware planner finds safe path in terms of the newly proposed risk framework and enables more risk-aware robot behavior in unstructured or confined environments.


title: Symmetry and Monotonicity of Positive Solutions to Schr\"{o}dinger Systems with Fractional $p$-Laplacian

abstract: In this paper, we first establish a narrow region principle and a decay at infinity theorem to extend the direct method of moving planes for general fractional $p$-Laplacian systems. By virtue of this method, we can investigate the qualitative properties of the following Schr\"{o}dinger system with fractional $p$-Laplacian \begin{equation*} \left\{\begin{array}{r@{\ \ }c@{\ \ }ll} \left(-\Delta\right)_{p}^{s}u+au^{p-1}& =&f(u,v), \\[0.05cm] \left(-\Delta\right)_{p}^{t}v+bv^{p-1}& =&g(u,v), \end{array}\right. \end{equation*} where $0<s,\,t<1$ and $2<p<\infty$. We obtain the radial symmetry in the unit ball or the whole space $\mathbb{R}^{N}(N\geq2)$, the monotonicity in the parabolic domain and the nonexistence on the half space for positive solutions to the above system under some suitable conditions on $f$ and $g$, respectively.


title: PowerNet: Efficient Representations of Polynomials and Smooth Functions by Deep Neural Networks with Rectified Power Units

abstract: Deep neural network with rectified linear units (ReLU) is getting more and more popular recently. However, the derivatives of the function represented by a ReLU network are not continuous, which limit the usage of ReLU network to situations only when smoothness is not required. In this paper, we construct deep neural networks with rectified power units (RePU), which can give better approximations for smooth functions. Optimal algorithms are proposed to explicitly build neural networks with sparsely connected RePUs, which we call PowerNets, to represent polynomials with no approximation error. For general smooth functions, we first project the function to their polynomial approximations, then use the proposed algorithms to construct corresponding PowerNets. Thus, the error of best polynomial approximation provides an upper bound of the best RePU network approximation error. For smooth functions in higher dimensional Sobolev spaces, we use fast spectral transforms for tensor-product grid and sparse grid discretization to get polynomial approximations. Our constructive algorithms show clearly a close connection between spectral methods and deep neural networks: a PowerNet with $n$ layers can exactly represent polynomials up to degree $s^n$, where $s$ is the power of RePUs. The proposed PowerNets have potential applications in the situations where high-accuracy is desired or smoothness is required.


title: Molecular structure in biomolecular condensates

abstract: Evidence accumulated over the past decade provides support for liquid-liquid phase separation as the mechanism underlying the formation of biomolecular condensates, which include not only membraneless organelles such as nucleoli and RNA granules, but additional assemblies involved in transcription, translation and signaling. Understanding the molecular mechanisms of condensate function requires knowledge of the structures of their constituents. Current knowledge suggests that structures formed via multivalent domain-motif interactions remain largely unchanged within condensates. Two different viewpoints exist regarding structures of disordered low-complexity domains within condensates; one argues that low-complexity domains remain largely disordered in condensates and their multivalency is encoded in short motifs called stickers, while the other argues that the sequences form cross-beta structures resembling amyloid fibrils. We review these viewpoints and highlight outstanding questions that will inform structure-function relationships for biomolecular condensates.


title: Verification of infinite-step and K-step opacity Using Petri Nets

abstract: This paper addresses the problem of infinite-step opacity and K-step opacity of discrete event systems modeled with Petri nets. A Petri net system is said to be infinite-step/K-step opaque if all its secret states remains opaque to an intruder for any instant within infinite/K steps. In other words, the intruder is never able to ascertain that the system used to be in a secrete state within infinite/K steps based on its observation of the systems evolution. Based on the notion of basis reachability and the twoway observer, an efficient approach to verify infinite-step opacity and K-step opacity is proposed.


title: $A_4$ lepton flavor model and modulus stabilization from $S_4$ modular symmetry

abstract: We study the modulus stabilization in an $A_4$ model whose $A_4$ flavor symmetry is originated from the $S_4$ modular symmetry. We can stabilize the modulus so that the $A_4$ invariant superpotential leads to the realistic lepton masses and mixing angles. We also discuss the phenomenological aspect of the present model as a consequence of the modulus stabilization.


title: Momentum-space entanglement after a quench in one-dimensional disordered fermionic systems

abstract: We numerically investigate the momentum-space entanglement entropy and entanglement spectrum of the random-dimer model and its generalizations, which circumvent Anderson localization, after a quench in the Hamiltonian parameters. The type of dynamics that occurs depends on whether or not the Fermi level of the initial state is near the energy of the delocalized states present in these models. If the Fermi level of the initial state is near the energy of the delocalized states, we observe an interesting slow logarithmic-like growth of the momentum-space entanglement entropy followed by an eventual saturation. Otherwise, the momentum-space entanglement entropy is found to rapidly saturate. We also find that the momentum-space entanglement spectrum reveals the presence of delocalized states in these models for long times after the quench and the many-body entanglement gap decays logarithmically in time when the Fermi level is near the energy of the delocalized states.


title: Bottomonia production and polarization in the NRQCD with $k_T$-factorization. I: $\Upsilon(3S)$ and $\chi_b(3P)$ mesons

abstract: The $\Upsilon(3S)$ production and polarization at high energies is studied in the framework of $k_T$-factorization approach. Our consideration is based on the non-relativistic QCD formalism for bound states formation and off-shell production amplitudes for hard partonic subprocesses. The transverse momentum dependent (TMD, or unintegrated) gluon densities in a proton were derived from the Ciafaloni-Catani-Fiorani-Marchesini (CCFM) evolution equation as well as from the Kimber-Martin-Ryskin (KMR) prescription. Treating the non-perturbative color octet transitions in terms of the multipole radiation theory and taking into account feed-down contributions from radiative $\chi_b(3P)$ decays, we extract the corresponding non-perturbative matrix elements for $\Upsilon(3S)$ and $\chi_b(3P)$ mesons from a combined fit to $\Upsilon(3S)$ transverse momenta distributions measured by the CMS and ATLAS Collaborations at the~LHC energies $\sqrt s = 7$ and $13$~TeV and central rapidities. Then we apply the extracted values to describe the CDF and LHCb data on $\Upsilon(3S)$ production and to investigate the polarization parameters $\lambda_\theta$, $\lambda_\phi$ and $\lambda_{\theta\phi}$, %and $\tilde\lambda$, which determine the $\Upsilon(3S)$ spin density matrix. Our predictions have a good agreement with the currently available data within the theoretical and experimental uncertainties.


title: Regularized deep learning with nonconvex penalties

abstract: Regularization methods are often employed in deep learning neural networks (DNNs) to prevent overfitting. For penalty based DNN regularization methods, convex penalties are typically considered because of their optimization guarantees. Recent theoretical work have shown that nonconvex penalties that satisfy certain regularity conditions are also guaranteed to perform well with standard optimization algorithms. In this paper, we examine new and currently existing nonconvex penalties for DNN regularization. We provide theoretical justifications for the new penalties and also assess the performance of all penalties with DNN analyses of seven datasets.


title: Representations of code loops by binary codes

abstract: Code loops are Moufang loops constructed from doubly even binary codes. Then, given a code loop L, we ask which doubly even binary code V produces L. In this sense, V is called a representation of L. In this article we define and determine all minimal and reduced representations of nonassociative code loops of rank 3 and 4.


title: On the relative size of toric bases

abstract: We consider the Graver basis, the universal Groebner basis, a Markov basis and the set of the circuits of a toric ideal. Let $A, B$ be any two of these bases such that $A\not \subset B$, we prove that there is no polynomial on the size or on the maximal degree of the elements of $B$ which bounds the size or the maximal degree of the elements of $A$ correspondingly.


title: Appearance invariant Entry-Exit matching using visual soft biometric traits

abstract: The problem of appearance invariant subject recognition for Entry-Exit surveillance applications is addressed. A novel Semantic Entry-Exit matching model that makes use of ancillary information about subjects such as height, build, complexion and clothing color to endorse exit of every subject who had entered private area is proposed in this paper. The proposed method is robust to variations in clothing. Each describing attribute is given equal weight while computing the matching score and hence the proposed model achieves high rank-k accuracy on benchmark datasets. The soft biometric traits used as a combination though cannot achieve high rank-1 accuracy, it helps to narrow down the search to match using reliable biometric traits such as gait and face whose learning and matching time is costlier when compared to the visual soft biometrics.


title: Word and character segmentation directly in run-length compressed handwritten document images

abstract: From the literature, it is demonstrated that performing text-line segmentation directly in the run-length compressed handwritten document images significantly reduces the computational time and memory space. In this paper, we investigate the issues of word and character segmentation directly on the run-length compressed document images. Primarily, the spreads of the characters are intelligently extracted from the foreground runs of the compressed data and subsequently connected components are established. The spacing between the connected components would be larger between the adjacent words when compared to that of intra-words. With this knowledge, a threshold is empirically chosen for inter-word separation. Every connected component within a word is further analysed for character segmentation. Here, min-cut graph concept is used for separating the touching characters. Over-segmentation and under-segmentation issues are addressed by insertion and deletion operations respectively. The approach has been developed particularly for compressed handwritten English document images. However, the model has been tested on non-English document images.


title: On the performance of some new Multiuser FSO-MIMO Communication Systems

abstract: The practical implementation of maximum likelihood detection is limited by its high complexity as well as requiring perfect channel state information. Although conventional blind detection techniques reduce complexity, they degrade performance and require blind channel state information. In this paper (for the first time), a deep learning based blind detection and a joint blind detection-constellation shaping structure are presented (to solve this problem). This paper (deeply) goes through the problem and discusses several (practical) scenarios, including single user, multiuser with resource (channel) allocation, and multiuser without resource allocation (multiuser interference). In order to show the universality of the proposed systems, wide atmospheric turbulence regimes, from weak to strong are considered, and single input single output, as well as multi-input multi-output structures are considered. Results indicate that without channel estimation, a deep learning based (blind) detector (despite its very few complexity, and despite conventional systems require it), could have a very favorable performance at all around. So, it is expected that practical implementations of the proposed structures greatly reduce cost, and processing latency, while maintaining performance close enough to the outstanding conventional systems.


title: A Survey on Machine Learning for Optical Communication [Machine Learning View]

abstract: Machine Learning (ML) for Optical Communication (OC) is certainly a hot topic emerged recently and will continue to raise interest at least for the next few years. The rate of research development in this area is growing very rapidly. Novelty of this research direction resides mainly in the peculiarity of the application field, rather than in the methodological approaches, which are (at least up to now) state-of-the-art ML algorithms. Reviewing the literature shows that many of the ML algorithms have not yet been used in this area, and many of the OC applications are not considered yet, which reflects the fact that the research topic is pristine. Accordingly, tutorial investigations are quiet necessary in this filed to help researchers be aware about the last progressions and cavities of this field. Although several tutorials have been released recently, they considered this topic from OC view, and neglected ML view. However, it is required to have an investigations about the ML algorithms used in this subject. Accordingly, for the first time, this paper reviews ML for OC literature from ML viewpoint. This view could be really helpful because only OC experts work on ML for OC, and they are not ML experts, so it could really help them to have a comprehensive view on the ML subjects implantable in OC. It has worth to mention that compared with other works, this survey reviews much more investigations; therefore, it has more generality, and gives the reader to have a comprehensive overview on this topic.


title: Stability of out-of-phase solitons and laser pulse self-compression in active multi-core fibers

abstract: The out-of-phase soliton distribution of the wave field was found for a multicore fiber (MCF) from an even number of cores located in a ring. Its stability is proved both with respect to small wave field perturbations, including azimuthal ones and to small deformations of the MCF structure. As an example of using this soliton distribution, the problem of laser pulse compression in an active MCF is studied. The optimal fiber parameters, the minimum duration of the output pulse, and the compression length have been found, which are in good agreement with the results of numerical simulation. In order to achieve high energies in the output laser pulse, the requirements for MCF deformations are determined.


title: Online Trajectory Generation with Distributed Model Predictive Control for Multi-Robot Motion Planning

abstract: We present a distributed model predictive control (DMPC) algorithm to generate trajectories in real-time for multiple robots. We adopted the \textit{on-demand collision avoidance} method presented in previous work to efficiently compute non-colliding trajectories in transition tasks. An event-triggered replanning strategy is proposed to account for disturbances. Our simulation results show that the proposed collision avoidance method can reduce, on average, around 50% of the travel time required to complete a multi-agent point-to-point transition when compared to the well-studied Buffered Voronoi Cells (BVC) approach. Additionally, it shows a higher success rate in transition tasks with a high density of agents, with more than 90% success rate with 30 palm-sized quadrotor agents in a 18 m^3 arena. The approach was experimentally validated with a swarm of up to 20 drones flying in close proximity.


title: Validating Weak-form Market Efficiency in United States Stock Markets with Trend Deterministic Price Data and Machine Learning

abstract: The Efficient Market Hypothesis has been a staple of economics research for decades. In particular, weak-form market efficiency -- the notion that past prices cannot predict future performance -- is strongly supported by econometric evidence. In contrast, machine learning algorithms implemented to predict stock price have been touted, to varying degrees, as successful. Moreover, some data scientists boast the ability to garner above-market returns using price data alone. This study endeavors to connect existing econometric research on weak-form efficient markets with data science innovations in algorithmic trading. First, a traditional exploration of stationarity in stock index prices over the past decade is conducted with Augmented Dickey-Fuller and Variance Ratio tests. Then, an algorithmic trading platform is implemented with the use of five machine learning algorithms. Econometric findings identify potential stationarity, hinting technical evaluation may be possible, though algorithmic trading results find little predictive power in any machine learning model, even when using trend-specific metrics. Accounting for transaction costs and risk, no system achieved above-market returns consistently. Our findings reinforce the validity of weak-form market efficiency.


title: Context Aware Road-user Importance Estimation (iCARE)

abstract: Road-users are a critical part of decision-making for both self-driving cars and driver assistance systems. Some road-users, however, are more important for decision-making than others because of their respective intentions, ego vehicle's intention and their effects on each other. In this paper, we propose a novel architecture for road-user importance estimation which takes advantage of the local and global context of the scene. For local context, the model exploits the appearance of the road users (which captures orientation, intention, etc.) and their location relative to ego-vehicle. The global context in our model is defined based on the feature map of the convolutional layer of the module which predicts the future path of the ego-vehicle and contains rich global information of the scene (e.g., infrastructure, road lanes, etc.), as well as the ego vehicle's intention information. Moreover, this paper introduces a new data set of real-world driving, concentrated around inter-sections and includes annotations of important road users. Systematic evaluations of our proposed method against several baselines show promising results.


title: Entropy on regular trees

abstract: We show that the limit in our definition of tree shift topological entropy is actually the infimum, as is the case for both the topological and measure-theoretic entropies in the classical situation when the time parameter is $\mathbb Z$. As a consequence, tree shift entropy becomes somewhat easier to work with. For example, the statement that the topological entropy of a tree shift defined by a one-dimensional subshift dominates the topological entropy of the latter can now be extended from shifts of finite type to arbitrary subshifts. Adapting to trees the strip method already used to approximate the hard square constant on $\mathbb Z^2$, we show that the entropy of the hard square tree shift on the regular $k$-tree increases with $k$, in contrast to the case of $\mathbb Z^k$. We prove that the strip entropy approximations increase strictly to the entropy of the golden mean tree shift for $k=2,\dots,8$ and propose that this holds for all $k \geq 2$. We study the dynamics of the map of the simplex that advances the vector of ratios of symbol counts as the width of the approximating strip is increased, providing a fairly complete description for the golden mean subshift on the $k$-tree for all $k$. This map provides an efficient numerical method for approximating the entropies of tree shifts defined by nearest neighbor restrictions. Finally, we show that counting configurations over certain other patterns besides the natural finite subtrees yields the same value of entropy for tree SFT's.


title: Existence of conserved quantities and their algebra in curved spacetime

abstract: In General Relativity, finding out the geodesics of a given spacetime manifold is an important task because it determines which classical processes are dynamically forbidden. Conserved quantities play an important role in solving geodesic equations of a general spacetime manifold. Furthermore, knowing all possible conserved quantities of a system tells about the hidden symmetries of that system since, conserved quantities are deeply connected with the symmetries of the system, which are very important in their own right. Conserved quantities are also useful to capture certain features of spacetime manifold for an asymptotic observer. In this article, we show the existence of these conserved charges and their algebra for a class of dynamical systems in a generic curved spacetime.


title: Lax matrices for a 1-parameter subfamily of van Diejen--Toda chains

abstract: In this paper, we construct Lax matrices for certain relativistic open Toda chains endowed with a one-sided 1-parameter boundary interaction. Built upon the Lax representation of the dynamics, an algebraic solution algorithm is also exhibited. To our best knowledge, this particular 1-parameter subfamily of van Diejen--Toda chains has not been analyzed in earlier literature.


title: Robustness-optimized quantum error correction

abstract: Quantum error correction codes are usually designed to correct errors regardless of their physical origins. In large-scale devices, this is an essential feature. In smaller-scale devices, however, the main error sources are often understood, and this knowledge could be exploited for more efficient error correction. Optimizing the quantum error correction protocol is therefore a promising strategy in smaller devices. Typically, this involves tailoring the protocol to a given decoherence channel by solving an appropriate optimization problem. Here we introduce a new optimization-based approach, which maximizes the robustness to faults in the recovery. Our approach is inspired by recent experiments, where such faults have been a significant source of logical errors. We illustrate this approach with a three-qubit model, and show how near-term experiments could benefit from more robust quantum error correction protocols.


title: Physical Inference from the gamma-ray, X-Ray and Optical Time Variability of a Large Sample of Fermi Blazars

abstract: We present cross-correlation studies of gamma-ray (0.1-300 GeV), X-ray (0.2-10 keV) and optical (R-band) variability of a sample of 26 blazars during 2008-2016. The light curves are from Fermi-LAT, Swift-XRT, and the Yale-SMARTS blazar monitoring program. We stack the discrete cross-correlation functions of the blazars such that the features that are consistently present in a large fraction of the sample become more prominent in the final result. We repeat the same analysis for two subgroups, namely, low synchrotron peaked (LSP) and high synchrotron peaked (HSP) blazars. We find that, on average, the variability at multiple bands is correlated, with a time lag consistent with zero in both subgroups. We describe this correlation with a leptonic model of non-thermal emission from blazar jets. By comparing the model results with those from the actual data we find that the inter-band cross-correlations are consistent with an emission region of size nearly 0.1 pc within the broad line region for LSP blazars. We rule out large changes of magnetic field (> 0.5 Gauss) across the emission region or small values of magnetic field (e.g. 0.2 Gauss) for this population. We also find that the observed variability of the HSP blazars can be explained if the emission region is much larger than the distance to the broad line region from the central black hole.


title: From English to Code-Switching: Transfer Learning with Strong Morphological Clues

abstract: Linguistic Code-switching (CS) is still an understudied phenomenon in natural language processing. The NLP community has mostly focused on monolingual and multi-lingual scenarios, but little attention has been given to CS in particular. This is partly because of the lack of resources and annotated data, despite its increasing occurrence in social media platforms. In this paper, we aim at adapting monolingual models to code-switched text in various tasks. Specifically, we transfer English knowledge from a pre-trained ELMo model to different code-switched language pairs (i.e., Nepali-English, Spanish-English, and Hindi-English) using the task of language identification. Our method, CS-ELMo, is an extension of ELMo with a simple yet effective position-aware attention mechanism inside its character convolutions. We show the effectiveness of this transfer learning step by outperforming multilingual BERT and homologous CS-unaware ELMo models and establishing a new state of the art in CS tasks, such as NER and POS tagging. Our technique can be expanded to more English-paired code-switched languages, providing more resources to the CS community.


title: On-line collision avoidance for collaborative robot manipulators by adjusting off-line generated paths: An industrial use case

abstract: Human-robot collision avoidance is a key in collaborative robotics and in the framework of Industry 4.0. It plays an important role for achieving safety criteria while having humans and machines working side-by-side in unstructured and time-varying environment. This study introduces the subject of manipulator's on-line collision avoidance into a real industrial application implementing typical sensors and a commonly used collaborative industrial manipulator, KUKA iiwa. In the proposed methodology, the human co-worker and the robot are represented by geometric primitives (capsules). The minimum distance and relative velocity between them is calculated, when human/obstacles are nearby the concept of hypothetical repulsion and attraction vectors is used. By coupling this concept with a mathematical representation of robot's kinematics, a task level control with collision avoidance capability is achieved. Consequently, the off-line generated nominal path of the industrial task is modified on-the-fly so the robot is able to avoid collision with the co-worker safely while being able to fulfill the industrial operation. To guarantee motion continuity when switching between different tasks, the notion of repulsion-vector-reshaping is introduced. Tests on an assembly robotic cell in automotive industry show that the robot moves smoothly and avoids collisions successfully by adjusting the off-line generated nominal paths.


title: Trust and Cognitive Load During Human-Robot Interaction

abstract: This paper presents an exploratory study to understand the relationship between a humans' cognitive load, trust, and anthropomorphism during human-robot interaction. To understand the relationship, we created a \say{Matching the Pair} game that participants could play collaboratively with one of two robot types, Husky or Pepper. The goal was to understand if humans would trust the robot as a teammate while being in the game-playing situation that demanded a high level of cognitive load. Using a humanoid vs. a technical robot, we also investigated the impact of physical anthropomorphism and we furthermore tested the impact of robot error rate on subsequent judgments and behavior. Our results showed that there was an inversely proportional relationship between trust and cognitive load, suggesting that as the amount of cognitive load increased in the participants, their ratings of trust decreased. We also found a triple interaction impact between robot-type, error-rate and participant's ratings of trust. We found that participants perceived Pepper to be more trustworthy in comparison with the Husky robot after playing the game with both robots under high error-rate condition. On the contrary, Husky was perceived as more trustworthy than Pepper when it was depicted as featuring a low error-rate. Our results are interesting and call further investigation of the impact of physical anthropomorphism in combination with variable error-rates of the robot.


title: Ergodicity for singular-degenerate porous media equations

abstract: The long time behaviour of solutions to generalised stochastic porous media equations on bounded domains with Dirichlet boundary data is studied. We focus on a degenerate form of nonlinearity arising in self-organised criticality. Based on the so-called lower-bound method, the existence and uniqueness of an invariant measure is proved.


title: Astrophysical Tau Neutrino Identification with IceCube Waveforms

abstract: The standard neutrino oscillation paradigm predicts almost equal fractions of astrophysical neutrino flavors at Earth regardless of their production ratio at the sources. Therefore, identification of astrophysical tau neutrinos could not only reconfirm the astrophysical neutrino flux measured by IceCube, but also is essential in precisely determining the astrophysical neutrino flavor ratio at Earth, which is an important probe for physics beyond the Standard Model over astronomical baselines. A tau neutrino undergoing a charged current (CC) interaction in IceCube could produce a double deposition of energy, with the first one from the CC hadronic shower and the second from the subsequent tau lepton decay shower. Above an energy of ~100 TeV, such consecutive energy depositions might be resolvable in the sensor waveforms and hence can be a signature of an individual tau neutrino interaction in IceCube. We will present the results of a search for astrophysical tau neutrinos in IceCube waveforms with improved double pulse waveform identification techniques and using 8 years of data.


title: Attention-Aware Age-Agnostic Visual Place Recognition

abstract: A cross-domain visual place recognition (VPR) task is proposed in this work, i.e., matching images of the same architectures depicted in different domains. VPR is commonly treated as an image retrieval task, where a query image from an unknown location is matched with relevant instances from geo-tagged gallery database. Different from conventional VPR settings where the query images and gallery images come from the same domain, we propose a more common but challenging setup where the query images are collected under a new unseen condition. The two domains involved in this work are contemporary street view images of Amsterdam from the Mapillary dataset (source domain) and historical images of the same city from Beeldbank dataset (target domain). We tailored an age-invariant feature learning CNN that can focus on domain invariant objects and learn to match images based on a weakly supervised ranking loss. We propose an attention aggregation module that is robust to domain discrepancy between the train and the test data. Further, a multi-kernel maximum mean discrepancy (MK-MMD) domain adaptation loss is adopted to improve the cross-domain ranking performance. Both attention and adaptation modules are unsupervised while the ranking loss uses weak supervision. Visual inspection shows that the attention module focuses on built forms while the dramatically changing environment are less weighed. Our proposed CNN achieves state of the art results (99% accuracy) on the single-domain VPR task and 20% accuracy at its best on the cross-domain VPR task, revealing the difficulty of age-invariant VPR.


title: Theoretical predictions for top-quark production processes

abstract: I present theoretical results through three loops and N$^3$LO for soft-gluon corrections in a variety of processes involving top-quark production. In particular, I present results for total cross sections and differential distributions in single-top production and top-pair production as well as in top-quark processes with electroweak bosons and new physics.


title: Comparative Analysis of CNN-based Spatiotemporal Reasoning in Videos

abstract: Understanding actions and gestures in video streams requires temporal reasoning of the spatial content from different time instants, i.e., spatiotemporal (ST) modeling. In this survey paper, we have made a comparative analysis of different ST modeling techniques for action and gecture recognition tasks. Since Convolutional Neural Networks (CNNs) are proved to be an effective tool as a feature extractor for static images, we apply ST modeling techniques on the features of static images from different time instants extracted by CNNs. All techniques are trained end-to-end together with a CNN feature extraction part and evaluated on two publicly available benchmarks: The Jester and the Something-Something datasets. The Jester dataset contains various dynamic and static hand gestures, whereas the Something-Something dataset contains actions of human-object interactions. The common characteristic of these two benchmarks is that the designed architectures need to capture the full temporal content of videos in order to correctly classify actions/gestures. Contrary to expectations, experimental results show that Recurrent Neural Network (RNN) based ST modeling techniques yield inferior results compared to other techniques such as fully convolutional architectures. Codes and pretrained models of this work are publicly available.


title: Dependency-Aware Named Entity Recognition with Relative and Global Attentions

abstract: Named entity recognition is one of the core tasks in NLP. Although many improvements have been made on this task during the last years, the state-of-the-art systems do not explicitly take into account the recursive nature of language. Instead of only treating the text as a plain sequence of words, we incorporate a linguistically-inspired way to recognize entities based on syntax and tree structures. Our model exploits syntactic relationships among words using a Tree-LSTM guided by dependency trees. Then, we enhance these features by applying relative and global attention mechanisms. On the one hand, the relative attention detects the most informative words in the sentence with respect to the word being evaluated. On the other hand, the global attention spots the most relevant words in the sequence. Lastly, we linearly project the weighted vectors into the tagging space so that a conditional random field classifier predicts the entity labels. Our findings show that the model detects words that disclose the entity types based on their syntactic roles in a sentence (e.g., verbs such as speak and write are attended when the entity type is PERSON, whereas meet and travel strongly relate to LOCATION). We confirm our findings and establish a new state of the art on two datasets.


title: FAT Forensics: A Python Toolbox for Algorithmic Fairness, Accountability and Transparency

abstract: Today, artificial intelligence systems driven by machine learning algorithms can be in a position to take important, and sometimes legally binding, decisions about our everyday lives. In many cases, however, these systems and their actions are neither regulated nor certified. To help counter the potential harm that such algorithms can cause we developed an open source toolbox that can analyse selected fairness, accountability and transparency aspects of the machine learning process: data (and their features), models and predictions, allowing to automatically and objectively report them to relevant stakeholders. In this paper we describe the design, scope, usage and impact of this Python package, which is published under the 3-Clause BSD open source licence.


title: Ground State Excitation of an Atom Strongly Coupled to a Free Quantum Field

abstract: This paper presents a nonperturbative treatment of strong-coupling induced effects in atom-field systems which cannot be seen in traditional perturbative treatments invoking compromising assumptions such as the Born-Markov, rotating wave or Fermi Golden rule. We consider an atom whose internal degrees of freedom are modeled by a harmonic oscillator, bilinearly coupled to a scalar quantum field, representing one of the two polarizations of an electromagnetic field. Because the whole system is Gaussian we can solve this problem exactly. Using the open quantum system conceptual framework and the influence functional formalism we derive the dynamics of the reduced density matrix for the atom which enables the calculation of atomic transition probability and other relevant physical quantities. Finding an exact solution to this problem has the distinct advantage of enabling one to capture fully the strong coupling regime and discover interesting effects such as spontaneous ground state excitation which is unfathomable in perturbative treatments. The conventional description of atomic-optical activities is predicated on the assumption that the state of the total atom-field system is a product state of the atomic excitations and the photon number states, an assumption which is valid only for vanishingly weak coupling. The correct energy eigenfunctions to use should be that of the Hamiltonian of the combined atom-field system. Other features associated with finite to strong coupling effects such as resonance peak broadening and transition from a gapped to a gapless spectrum can all be understood from this perspective. Finally, to put the issues in a proper perspective we take the perturbative limit of the exact results and compare them with those from conventional TDPT. This enables one to pin-point where the deficiencies of TDPT lie as one removes the ultra-weak coupling assumption.


title: Adversarial Model Predictive Control via Second-Order Cone Programming

abstract: We study the problem of designing attacks to safety-critical systems in which the adversary seeks to maximize the overall system cost within a model predictive control framework. Although in general this problem is NP-hard, we characterize a family of problems that can be solved in polynomial time via a second-order cone programming relaxation. In particular, we show that positive systems fall under this family. We provide examples demonstrating the design of optimal attacks on an autonomous vehicle and a microgrid.


title: Attenuation imaging by wavefield reconstruction inversion with bound constraints and total variation regularization

abstract: Wavefield reconstruction inversion (WRI) extends the search space of Full Waveform Inversion (FWI) by allowing for wave equation errors during wavefield reconstruction to match the data from the first iteration. Then, the wavespeeds are updated from the wavefields by minimizing the source residuals. Performing these two tasks in alternating mode breaks down the nonlinear FWI as a sequence of two linear subproblems, relaying on the bilinearity of the wave equation. We solve this biconvex optimization with the alternating-direction method of multipliers (ADMM) to cancel out efficiently the data and source residuals in iterations and stabilize the parameter estimation with appropriate regularizations. Here, we extend WRI to viscoacoustic media for attenuation imaging. Attenuation reconstruction is challenging because of the small imprint of attenuation in the data and the cross-talks with velocities. To address these issues, we recast the multivariate viscoacoustic WRI as a triconvex optimization and update wavefields, squared slowness, and attenuation factor in alternating mode at each WRI iteration. This requires to linearize the attenuation-estimation subproblem via an approximated trilinear viscoacoustic wave equation. The iterative defect correction embedded in ADMM corrects the errors generated by this linearization, while the operator splitting allows us to tailor $\ell{1}$ regularization to each parameter class. A toy numerical example shows that these strategies mitigate cross-talk artifacts and noise from the attenuation reconstruction. A more realistic synthetic example representative of the North Sea validates the method.


title: Microlocal decoupling inequalities and the distance problem on Riemannian manifolds

abstract: We study the generalization of the Falconer distance problem to the Riemannian setting. In particular, we extend the result of Guth-Iosevich-Ou-Wang for the distance set in the plane to general Riemannian surfaces. Key new ingredients include a family of refined microlocal decoupling inequalities, which are related to the work of Beltran-Hickman-Sogge on Wolff-type inequalities, and an analog of Orponen's radial projection lemma which has proved quite useful in recent work on distance sets.


title: Regularity of area minimizing currents mod $p$

abstract: We establish a first general partial regularity theorem for area minimizing currents $\mathrm{mod}(p)$, for every $p$, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of an $m$-dimensional area minimizing current $\mathrm{mod}(p)$ cannot be larger than $m-1$. Additionally, we show that, when $p$ is odd, the interior singular set is $(m-1)$-rectifiable with locally finite $(m-1)$-dimensional measure.


title: Results from IceCube

abstract: The IceCube Neutrino Observatory is the world's largest neutrino detector, instrumenting a cubic kilometer of ice at the geographic South Pole. The detector probes neutrino energies from GeV to PeV, and collects high statistics neutrino samples by virtue of its extremely large volume. IceCube was designed to detect high-energy neutrinos from potential cosmic ray acceleration sites such as active galactic nuclei, gamma ray bursts and supernova remnants. IceCube announced the detection of a diffuse flux of astrophysical neutrinos in 2013, including the highest energy neutrinos ever detected. IceCube has since developed a robust system of realtime alerts generated by astrophysical neutrino candidates that trigger rapid follow-up observations by other telescopes and detectors. In September 2017, IceCube observed a neutrino in coincidence with a flaring blazar, signaling the era of neutrino astronomy and widening the field of multi-messenger astronomy. The IceCube science program extends beyond multi-messenger astronomy to include the fundamental physics of neutrino oscillations and neutrino interactions with matter, cosmic ray physics, and searches for particles and forces beyond the Standard Model. These proceedings will cover the latest neutrino physics and astrophysics results from IceCube and future prospects for the detector.