title: Cubical informal type theory: the higher groupoid structure

abstract: Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing higher-dimensional constructions via Voevodsky's univalance axiom and higher-inductive types, this paper proposes a way of doing informal type theory with a cubical type theory as the underlying foundation instead. To that end, we adopt a cubical type theory recently proposed by Angiuli, Hou (Favonia) and Harper, a framework with a cumulative hierarchy of univalent Kan universes, full univalence and instances of higher-inductive types. In the present paper we confine ourselves to some elementary theorems concerning the higher groupoid structure of types.


title: On the Wave Zone of Synchrotron Radiation

abstract: The extension of the wave zone of synchrotron radiation is studied.


title: An Approximate Dynamic Programming Approach to Community Recovery Management (Extended Abstract)

abstract: The functioning of interdependent civil infrastructure systems in the aftermath of a disruptive event is critical to the performance and vitality of any modern urban community. Post-event stressors and chaotic circumstances, time limitations, and complexities in the community recovery process highlight the necessity for a comprehensive decision-making framework at the community-level for post-event recovery management. Such a framework must be able to handle large-scale scheduling and decision processes, which involve difficult control problems with large combinatorial decision spaces. This study utilizes approximate dynamic programming algorithms along with heuristics for the identification of optimal community recovery actions following the occurrence of an extreme earthquake event. The proposed approach addresses the curse of dimensionality in its analysis and management of multi-state, large-scale infrastructure systems. Furthermore, the proposed approach can consider the cur-rent recovery policies of responsible public and private entities within the community and shows how their performance might be improved. A testbed community coarsely modeled after Gilroy, California, is utilized as an illustrative example. While the illustration provides optimal policies for the Electrical Power Network serving Gilroy following a severe earthquake, preliminary work shows that the methodology is computationally well suited to other infrastructure systems and hazards.


title: Control of the Two-Electron Exchange Interaction in a Nanowire Double Quantum Dot

abstract: The two-electron exchange coupling in a nanowire double quantum dot (DQD) is shown to possess Moriya's anisotropic superexchange interaction under the influence of both the Rashba and Dresselhaus spin-orbit couplings (SOCs) and a Zeeman field. We reveal the controllability of the anisotropic exchange interaction via tuning the SOC and the direction of the external magnetic field. The exchange interaction can be transformed into an isotropic Heisenberg interaction, but the uniform magnetic field becomes an effective inhomogeneous field whose measurable inhomogeneity reflects the SOC strength. Moreover, the presence of the effective inhomogeneous field gives rise to an energy-level anticrossing in the low-energy spectrum of the DQD. By fitting the analytical expression for the energy gap to the experimental spectroscopic detections [S. Nadj-Perge et al., Phys. Rev. Lett. 108, 166801 (2012)], we obtain the complete features of the SOC in an InSb nanowire DQD.


title: Dual band, low profile and compact tunable frequency selective surface with wide tuning range

abstract: In this paper, a dual polarized, dual band, low profile, embedded bias network, and compact tunable varactor band pass frequency selective surface (FSS) is designed with a wide tuning range. The proposed FSS is composed of two metallic layers printed on both sides of the substrate, where the top side has two cross strips with different dimensions encircled with high pass grids, whereas the bottom side includes a proper bias network. The loaded varactors between the grids and the cross strips with a designed bias network achieve two independent tunable pass bands. Moreover, an equivalent circuit of the FSS is extracted, which show good agreement with the full wave simulation results. The proposed FSS can operate from 2.28 GHz to 4.66 GHz and from 5.44 GHz to 11.3 GHz by proper tuning of the varactors loaded in the large and small cross strips. The tunable range of the low and high pass bands are about 70% with respect to the center frequency of each pass band. The electrical dimensions of the proposed FSS are about $0.05\lambda\times0.05\lambda$, where $\lambda$ is the free space wavelength at a lower pass band (2.28 GHz). Moreover, the proposed FSS works properly up to $60^\circ$ incident angles.


title: Weighted Join Operators on Directed Trees

abstract: A rooted directed tree $\mathscr T=(V, E)$ with can be extended to a directed graph $\mathscr T_\infty=(V_\infty, E_\infty)$ by adding a vertex $\infty$ to $V$ and declaring each vertex in $V$ as a parent of $\infty.$ One may associate with the extended directed tree a family of semigroup structures $\sqcup_{b}$ with extreme ends being induced by the join operation $\sqcup$ and the meet operation $\sqcap$. Each semigroup structure among these leads to a family of densely defined linear operators $W^{b}_{\lambda_u}$ acting on $\ell^2(V),$ which we refer to as weighted join operators at a given base point $b \in V_{\infty}$ with prescribed vertex $u \in V$. The extreme ends of this family are weighted join operators $W^{\mathsf{root}}_{\lambda_u}$ and weighted meet operators $W^{\infty}_{\lambda_u}$. In this paper, we systematically study these operators. We also present a more involved counter-part of weighted join operators on rootless directed trees. In both cases, the class of weighted join operators overlaps with the well-studied classes of complex Jordan operators and $n$-symmetric operators. An important half of this paper is devoted to the study of rank one extensions $W_{f, g}$ of weighted join operators, where $f \in \ell^2(V)$ and $g : V \to \mathbb C$ is unspecified. Unlike weighted join operators, these operators are not necessarily closed. We provide a couple of compatibility conditions involving the weight system $\lambda_u$ and $g$ to ensure closedness of $W_{f, g}$. We discuss the role of the Gelfand-triplet in the realization of the Hilbert space adjoint of $W_{f, g}$. Further, we describe various spectral parts of $W_{f, g}$ in terms of the weight system and the tree data. We also provide sufficient conditions for $W_{f, g}$ to be a sectorial operator. In case $\mathscr T$ is leafless, we characterize rank one extensions $W_{f, g}$, which admit compact resolvent.


title: Reconciling the Quasar Microlensing Disc Size Problem with a Wind Model of Active Galactic Nucleus

abstract: Many analyses have concluded that the accretion disc sizes measured from the microlensing variability of quasars are larger than the expectations from the standard thin disc theory by a factor of $\sim4$. We propose a simply model by invoking a strong wind from the disc to flatten its radial temperature profile, which can then reconcile the size discrepancy problem. This wind model has been successfully applied to several microlensed quasars with a wind strength $s\lesssim1.3$ by only considering the inward decreasing of the mass accretion rate (where $s$ is defined through $\dot{M}(R)\propto({R}/{R_{0}})^{s}$ ). After further incorporating the angular momentum transferred by the wind, our model can resolve the disc size problem with an even lower wind parameter. The corrected disc sizes under the wind model are correlated with black hole masses with a slope in agreement with our modified thin disc model.


title: On the range of lattice models in high dimensions - extended version

abstract: In this paper we investigate the scaling limit of the range (the set of visited vertices) for a class of critical lattice models, starting from a single initial particle at the origin. We give conditions on the random sets and an associated "ancestral relation" under which, conditional on longterm survival, the rescaled ranges converge weakly to the range of super-Brownian motion as random sets. These hypotheses also give precise asymptotics for the limiting behaviour of exiting a large ball, that is for the extrinsic one-arm probabililty. We show that these conditions are satisfied by the voter model in dimensions $d \ge 2$ and critical sufficiently spread out lattice trees in dimensions $d > 8$. The latter result also has important consequences for the behaviour of random walks on lattice trees in high dimensions. We conjecture that our conditions are also satisfied by other models (at criticality above the critical dimension) such as sufficiently spread out oriented percolation and contact processes in dimensions d > 4. This version of the paper contains details not present in the submitted version.


title: Visual-Inertial Object Detection and Mapping

abstract: We present a method to populate an unknown environment with models of previously seen objects, placed in a Euclidean reference frame that is inferred causally and on-line using monocular video along with inertial sensors. The system we implement returns a sparse point cloud for the regions of the scene that are visible but not recognized as a previously seen object, and a detailed object model and its pose in the Euclidean frame otherwise. The system includes bottom-up and top-down components, whereby deep networks trained for detection provide likelihood scores for object hypotheses provided by a nonlinear filter, whose state serves as memory. Additional networks provide likelihood scores for edges, which complements detection networks trained to be invariant to small deformations. We test our algorithm on existing datasets, and also introduce the VISMA dataset, that provides ground truth pose, point-cloud map, and object models, along with time-stamped inertial measurements.


title: Doubly-Charged Scalars in the Type-II Seesaw Mechanism: Fundamental Symmetry Tests and High-Energy Searches

abstract: We analyze the sensitivity of low-energy fundamental symmetry tests to interactions mediated by doubly-charged scalars that arise in type-II seesaw models of neutrino mass and their left-right symmetric extensions. We focus on the next generation measurement of the parity-violating asymmetry in M{\o}ller scattering planned by the MOLLER collaboration at Jefferson Laboratory. We compare the MOLLER sensitivity to that of searches for charged lepton flavor violation (CLFV) and neutrinoless double beta-decay ($0\nu\beta\beta$-decay) as well as present and possible future high-energy collider probes. We show that for the simplest type-II seesaw scenario, CLFV searches have the greatest sensitivity. However, in a left-right symmetric extension where the scale of parity-breaking is decoupled from the $SU(2)_R$-breaking scale, the MOLLER experiment will provide a unique probe of scalar triplet interactions in the right-handed sector for a doubly-charged scalar mass up to $\sim$ 10 TeV and help elucidate the mechanism of $0\nu\beta\beta$-decay.


title: On the relative strengths of fragments of collection

abstract: Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of set theories obtained by adding fragments of the set-theoretic collection scheme to $\mathbf{M}$. We focus on two common parameterisations of collection: $\Pi_n$-collection, which is the usual collection scheme restricted to $\Pi_n$-formulae, and strong $\Pi_n$-collection, which is equivalent to $\Pi_n$-collection plus $\Sigma_{n+1}$-separation. The main result of this paper shows that for all $n \geq 1$, (1) $\mathbf{M}+\Pi_{n+1}\textrm{-collection}+\Sigma_{n+2}\textrm{-induction on } \omega$ proves the consistency of Zermelo Set Theory plus $\Pi_{n}$-collection, (2) the theory $\mathbf{M}+\Pi_{n+1}\textrm{-collection}$ is $\Pi_{n+3}$-conservative over the theory $\mathbf{M}+\textrm{strong }\Pi_n \textrm{-collection}$. It is also shown that (2) holds for $n=0$ when the Axiom of Choice is included in the base theory. The final section indicates how the proofs of (1) and (2) can be modified to obtain analogues of these results for theories obtained by adding fragments of collection to a base theory (Kripke-Platek Set Theory with Infinity and $V=L$) that does not include the powerset axiom.


title: Ion-acoustic shock in a collisional plasma

abstract: The paper is concerned with the propagation of ion-acoustic shock waves in a collision dominated plasma. We firstly establish the existence and uniqueness of a small-amplitude smooth travelling wave, then justify its approximation to the shock profile of the KdV-Burgers equations in a suitable asymptotic regime where dissipation in terms of viscosity coefficient is much stronger than dispersion by the Debye length, and prove in the end the large time asymptotic stability of travelling waves under suitably small smooth perturbations.


title: Supersymmetric Naturalness Beyond MSSM

abstract: The experiments at the Large Hadron Collider (LHC) have pushed the limits on masses of supersymmetric particles beyond the $\sim$TeV scale. This compromises naturalness of the simplest supersymmetric extension of the Standard Model, the minimal supersymmetric Standard Model (MSSM). In this paper we advocate that perhaps the current experimental data are actually hinting towards the physics beyond MSSM. To illustrate this, we treat MSSM as a low energy limit of a more fundamental yet unspecified theory at a scale $\Lambda$, and compute the fine-tuning measure $\Delta$ for generic boundary conditions on soft SUSY breaking parameters and various cut-off scales. As a general trend we observe reduction in fine-tuning together with lowering $\Lambda$. In particular, perfectly natural [$\Delta \lesssim \mathcal{O}(10)$] theories with a multi-TeV spectrum of supersymmetric particles and consistent with all current observations can be obtained for $\Lambda \sim \mathcal{O}(100)$TeV. The lowering of the fine-tuning for large cut-off scales can also be observed in theories exhibiting special quasi-fixed point behaviours of parameters. Our observations call for a more throughout exploration of possible alternative ultraviolet completions of MSSM.


title: Global Semantic Consistency for Zero-Shot Learning

abstract: In image recognition, there are many cases where training samples cannot cover all target classes. Zero-shot learning (ZSL) utilizes the class semantic information to classify samples of the unseen categories that have no corresponding samples contained in the training set. In this paper, we propose an end-to-end framework, called Global Semantic Consistency Network (GSC-Net for short), which makes complete use of the semantic information of both seen and unseen classes, to support effective zero-shot learning. We also adopt a soft label embedding loss to further exploit the semantic relationships among classes. To adapt GSC-Net to a more practical setting, Generalized Zero-shot Learning (GZSL), we introduce a parametric novelty detection mechanism. Our approach achieves the state-of-the-art performance on both ZSL and GZSL tasks over three visual attribute datasets, which validates the effectiveness and advantage of the proposed framework.


title: Thermodynamic efficiency of contagions: A statistical mechanical analysis of the SIS epidemic model

abstract: We present a novel approach to the study of epidemics on networks as thermodynamic phenomena, considering the thermodynamic efficiency of contagions, considered as distributed computational processes. Modelling SIS dynamics on a contact network statistical-mechanically, we follow the Maximum Entropy principle to obtain steady state distributions and derive, under certain assumptions, relevant thermodynamic quantities both analytically and numerically. In particular, we obtain closed form solutions for some cases, while interpreting key epidemic variables, such as the reproductive ratio $R_0$ of a SIS model, in a statistical mechanical setting. On the other hand, we consider configuration and free entropy, as well as the Fisher Information, in the epidemiological context. This allowed us to identify criticality and distinct phases of epidemic processes. For each of the considered thermodynamic quantities, we compare the analytical solutions informed by the Maximum Entropy principle with the numerical estimates for SIS epidemics simulated on Watts-Strogatz random graphs.


title: Quasi-normal modes of spin-3/2 fields in $D$-dimensional Reissner-Nordstr\"om black hole spacetimes using the continued fraction method

abstract: In a recent paper we calculated the field equations of spin-3/2 fields in a $D$-dimensional Reissner-Nordstr\"om black hole spacetime whilst maintaining the gauge symmetry of the Rarita-Schwinger equation. We were also able to determine the quasi-normal modes of the associated gauge invariant variables using the WKB approximation and the asymptotic iteration method (AIM). However, it was found that for higher dimension, and especially for the near extremal cases, the effective potential developed another maximum. The shape of the potential posed difficulties for the WKB approximations, as well as the AIM. As such, in this proceedings we would like to explore the connection between the AIM and the continued fraction method, and determine a possible reason for the difficulty in calculating the quasi-normal modes for spin-3/2 fields in this spacetime.


title: Fast control of interactions in an ultracold two atom system: Managing correlations and irreversibility

abstract: We design and explore a shortcut to adiabaticity (STA) for changing the interaction strength between two ultracold, harmonically trapped bosons. Starting from initially uncorrelated, non-interacting particles, we assume a time-dependent tuning of the inter-particle interaction through a Feshbach resonance, such that the two particles are strongly interacting at the end of the driving. The efficiency of the STA is then quantified by examining the thermodynamic properties of the system, such as the irreversible work, which is related to the out-of-equilibrium excitations in the system. We also quantify the entanglement of the two-particle state through the von Neumann entropy and show that the entanglement produced in the STA process matches that of the desired target state. Given the fundamental nature of the two-atom problem in ultracold atomic physics, the presented shortcut can be expected to have significant impact on many processes that rely on inter-particle interactions.


title: Grouped Mixture of Regressions

abstract: Finite Mixture of Regressions (FMR) models are among the most widely used approaches in dealing with the heterogeneity among the observations in regression problems. One of the limitations of current approaches is their inability to incorporate group structure in data when available. In some applications, it is desired to cluster groups of observations together rather than the individual ones. In this work, we extend the FMR framework to allow for group structure among observations, and call the resulting model the Grouped Mixture of Regressions (GMR). We derive a fast fitting algorithm based on the Expectation-Maximization (EM) idea. We also show how the group structure can improve prediction by sharing information among members of each group, as reflected in the posterior predictive density under GMR. %that they don't consider clustering the data when there is group structure. In other words, sometimes it is desired to force the algorithm to cluster groups/blocks of observations, instead of individual observations. %In this work, we propose a maximum likelihood approach to cluster groups of observations. We call this algorithm Group Mixture of Regressions (GMR). Expectation Maximization (EM) is employed to maximize the likelihood. Posterior prediction density for predicting new observations is also derived and presented. The performance of the approach is assessed using both synthetic data as well as a real-world example.


title: Berry Curvature Enhanced Nonlinear Photogalvanic Response of Type-II Weyl Cone

abstract: The experimental manifestation of topological effects in bulk materials under ambient conditions, especially those with practical applications, has attracted enormous research interest. Recent discovery of Weyl semimetal provides an ideal material platform for such endeavors. The Berry curvature in a Weyl semimetal becomes singular at the Weyl node, creating an effective magnetic monopole in the k-space. A pair of Weyl nodes carry quantized effective magnetic charges with opposite signs, and therefore, opposite chirality. Although Weyl-point-related signatures such as chiral anomaly and non-closing surface Fermi arcs have been detected through transport and ARPES measurements, direct experimental evidence of the effective k-space monopole of the Weyl nodes has so far been lacking. In this work, signatures of the singular topology in a type-II Weyl semimetal TaIrTe4 is revealed in the photo responses, which are shown to be directly related to the divergence of Berry curvature. As a result of the divergence of Berry curvature at the Weyl nodes, TaIrTe4 exhibits unusually large photo responsivity of 130.2 mA/W with 4-{\mu}m excitation in an unbiased field effect transistor at room temperature arising from the third-order nonlinear optical response. The room temperature mid-IR responsivity is approaching the performance of commercial HgCdTe detector operating at low temperature, making Type-II Weyl semimetal TaIrTe4 of practical importance in terms of photo sensing and solar energy harvesting. Furthermore, the high shift photocurrent response at the Weyl cones is found to enhance the circularly polarized galvanic response from Weyl cones with opposite chirality, which opens new experimental possibilities for studying and controlling the chiral polarization of Weyl Fermions through an in-plane DC electric field in addition to the optical helicities.


title: Enhanced band edge luminescence of ZnO nanorods after surface passivation with ZnS

abstract: We report on the passivation of surface defects of ZnO nanorods by surface layer deposition. ZnO nanorods and ZnS-ZnO hybrid nanostructures are grown on FTO coated glass substrate by chemical bath deposition method. XRD spectrum of ZnO nanorods shows the preferential growth along the c-axis. SEM analysis confirms the nearly aligned growth of the ZnO nanorods with a hexagonal shape. XPS measurements were performed to confirm the deposition of the surface layer and surface stoichiometry. Room temperature photoluminescence of ZnO nanorods showed two emission bands, viz. the band edge emission and the blue-green emission, with the latter being associated with the defect states arising from the surface of ZnO nanorods. The band edge emission is significantly increased as compared to blue-green emission after ZnS surface layer deposition on ZnO nanorods. The quenching of blue-green emission is explained in terms of reduced surface defects after ZnS deposition. Density functional theory (DFT) calculations are used to understand the mechanisms of defect passivation in ZnS-ZnO nanostructures and we show that the S atoms prefer the O site as compared with the Zn and interstitial sites


title: Nondegeneracy of positive solutions to a Kirchhoff problem with critical Sobolev growth

abstract: In this paper, we prove uniqueness and nondegeneracy of positive solutions to the following Kirchhoff equations with critical growth \begin{eqnarray*} -\left(a+b\int_{\mathbb{R}^{3}}|\nabla u|^{2}\right)\Delta u=u^{5}, & u>0 & \text{in }\mathbb{R}^{3},\end{eqnarray*} where $a,b>0$ are positive constants. This result has potential applications in singular perturbation problems concerning Kirchhoff equaitons.


title: Search for CAC-integrable homogeneous quadratic triplets of quad equations and their classification by BT and Lax

abstract: We consider two-dimensional lattice equations defined on an elementary square of the Cartesian lattice and depending on the variables at the corners of the quadrilateral. For such equations the property often associated with integrability is that of "multidimensional consistency" (MDC): it should be possible to extend the equation from two to higher dimensions so that the embedded two-dimensional lattice equations are compatible. Usually compatibility is checked using "Consistency-Around-a-Cube" (CAC). In this context it is often assumed that the equations on the six sides of the cube are the same (up to lattice parameters), but this assumption was relaxed in the classification of Boll \cite{Boll2011}. We present here the results of a search and classification of homogeneous quadratic triplets of multidimensionally consistent lattice equations, allowing different equations on the three orthogonal planes (hence triplets) but using the same equation on parallel planes. No assumptions are made about symmetry or tetrahedron property. The results are then grouped by subset/limit properties, and analyzed by the effectiveness of their B\"acklund transformations, or equivalently, by the quality of their Lax pair (fake or not).


title: Explicit error bound of the fast multipole method for scattering problems in 2-D

abstract: This paper is concerned with the error estimation of the fast multipole method (FMM) for scattering problems in 2-D. The FMM error is caused by truncating Graf's addition theorem in each step of the algorithm, including two expansions and three translations. We first give a novel bound on the truncation error of Graf's addition theorem by the limiting forms of Bessel and Neumann functions, and then estimate the error of the FMM. Explicit error bound and its convergence order are derived. The method proposed in this paper can also be used to the FMM for other problems, such as potential problems, elastostatic problems, Stokes flow problems and so on.


title: Affine differential geometry and affine rotation surfaces: algebraic surfaces invariant under non-Euclidean affine rotations

abstract: Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surfaces are surfaces invariant under affine rotations. In this paper, we analyze several properties of algebraic affine rotation surfaces and, by using some notions and results from affine differential geometry, we develop an algorithm for determining whether or not an algebraic surface given in implicit form, or in some cases in rational parametric form, is an affine rotation surface. We also show how to find the axis of an affine rotation surface. Additionally, we discuss several properties of affine spheres, analogues of Euclidean spheres in the context of affine differential geometry.


title: Virtual Codec Supervised Re-Sampling Network for Image Compression

abstract: In this paper, we propose an image re-sampling compression method by learning virtual codec network (VCN) to resolve the non-differentiable problem of quantization function for image compression. Here, the image re-sampling not only refers to image full-resolution re-sampling but also low-resolution re-sampling. We generalize this method for standard-compliant image compression (SCIC) framework and deep neural networks based compression (DNNC) framework. Specifically, an input image is measured by re-sampling network (RSN) network to get re-sampled vectors. Then, these vectors are directly quantized in the feature space in SCIC, or discrete cosine transform coefficients of these vectors are quantized to further improve coding efficiency in DNNC. At the encoder, the quantized vectors or coefficients are losslessly compressed by arithmetic coding. At the receiver, the decoded vectors are utilized to restore input image by image decoder network (IDN). In order to train RSN network and IDN network together in an end-to-end fashion, our VCN network intimates projection from the re-sampled vectors to the IDN-decoded image. As a result, gradients from IDN network to RSN network can be approximated by VCN network's gradient. Because dimension reduction can be further achieved by quantization in some dimensional space after image re-sampling within auto-encoder architecture, we can well initialize our networks from pre-trained auto-encoder networks. Through extensive experiments and analysis, it is verified that the proposed method has more effectiveness and versatility than many state-of-the-art approaches.


title: Large D gravity and charged membrane dynamics with nonzero cosmological constant

abstract: In this paper, we have found a class of dynamical charged 'black-hole' solutions to Einstein-Maxwell system with a non-zero cosmological constant in a large number of spacetime dimensions. We have solved up to the first sub-leading order using large D scheme where the inverse of the number of dimensions serves as the perturbation parameter. The system is dual to a dynamical membrane with a charge and a velocity field, living on it. The dual membrane has to be embedded in a background geometry that itself, satisfies the pure gravity equation in presence of a cosmological constant. Pure AdS / dS are particular examples of such background. We have also obtained the membrane equations governing the dynamics of the charged membrane. The consistency of our membrane equations is checked by calculating the quasi-normal modes with different Einstein-Maxwell systems in AdS/dS.


title: Insights from Analysis of Video Streaming Data to Improve Resource Management

abstract: Today a large portion of Internet traffic is video. Over The Top (OTT) service providers offer video streaming services by creating a large distributed cloud network on top of a physical infrastructure owned by multiple entities. Our study explores insights from video streaming activity by analyzing data collected from Korea's largest OTT service provider. Our analysis of nationwide data shows interesting characteristics of video streaming such as correlation between user profile information (e.g., age, sex) and viewing habits, viewing habits of users (when do the users watch? using which devices?), viewing patterns (early leaving viewer vs. steady viewer), etc. Video on Demand (VoD) streaming involves costly (and often limited) compute, storage, and network resources. Findings from our study will be beneficial for OTTs, Content Delivery Networks (CDNs), Internet Service Providers (ISPs), and Carrier Network Operators, to improve their resource allocation and management techniques.


title: Pulsed quantum annealing

abstract: We propose a modified quantum annealing protocol, i. e., pulsed quantum annealing} (PQA), in order to increase the success probability by a pulse application during the quantum annealing process. It is well known that the success probability of the conventional quantum annealing is reduced due to the Landau-Zener transitions. By applying a pulse to the system, we modulate the success probability and increase it, compared to the conventional quantum annealing, by optimizing the pulse parameters. We demonstrate our findings for a single qubit both numerically and analytically. The analytical model is based on the tranfer matrix approach and it is in good agreement with the full numerical results. We also investigate the PQA protocol for multi-qubit cases $i. e.,$ random spin-glass instances, and we present an overall increase of the success probability over the conventional quantum annealing, by optimizing the pulse parameters. Our results indicate that PQA can be used to design future high-performance quantum annealing machines, especially for hard instances that the conventional QA protocol behaves poorly.


title: Emotion-Recognition Using Smart Watch Sensor Data: Mixed-Design Study

abstract: This study investigates the use of movement sensor data from a smart watch to infer an individual's emotional state. We present our findings on a user study with 50 participants. The experimental design is a mixed-design study; within-subjects (emotions; happy, sad, neutral) and between-subjects (stimulus type: audio-visual "movie clips", audio "music clips"). Each participant experienced both emotions in a single stimulus type. All participants walked 250m while wearing a smart watch on one wrist and a heart rate monitor strap on their chest. They also had to answer a short questionnaire (20 items; PANAS) before and after experiencing each emotion. The heart rate monitor served as supplementary information to our data. We performed time-series analysis on the data from the smart watch and a t-test on the questionnaire items to measure the change in emotional state. The heart rate data was analyzed using one-way ANOVA. We extracted features from the time-series using sliding windows and used the features to train and validate classifiers that determined an individual's emotion. Participants reported feeling less negative affect after watching sad videos or after listening to the sad music, P < .006. For the task of emotion recognition using classifiers, our results show that the personal models outperformed personal baselines, and achieved median accuracies higher than 78% for all conditions of the design study for the binary classification of happiness vs sadness. Our findings show that we are able to detect the changes in emotional state with data obtained from the smartwatch as well as behavioral responses.


title: A predicative variant of Hyland's Effective Topos

abstract: Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire of providing a "predicative" categorical universe of realizers to model the Minimalist Foundation for constructive mathematics which was ideated by the first author with G. Sambin in 2005 and completed into a two-level formal system by the first author in 2009. pEff is a "predicative" categorical universe because its objects and morphisms can be formalized in Feferman's predicative weak theory of inductive definitions ID1^. Moreover, it is a predicative variant of the Effective Topos for the following reasons. First, pEff is a list-arithmetic locally cartesian closed pretopos of definable objects in dID1 with a fibred category of small objects over pEff and a (non-small) classifier of small subobjects. Second, it happens to coincide with the exact completion on the lex category defined as a predicative rendering in ID1^ of the subcategory of Eff of recursive definitions. As a consequence it validates the Formal Church's thesis and it embeds in Eff by preserving the list-arithmetic locally cartesian closed pretopos structure.


title: Half moons are pinch points with dispersion

abstract: "Pinch points," singular features observed in (quasi-)elastic neutron scattering, are a widely discussed hallmark of spin liquids with an emergent gauge symmetry. Much less attention has been paid to "half moons," distinctive crescent patterns at finite energy, which have been observed in experiments on a number of pyrochlore magnets, and in a wide range of model calculations. Here we unify these two phenomena within a single framework, paying particular attention to the case of ordered, or field-saturated states, where pinch points and half moons can be found in bands of excitations above a gap. We find that half moons are nothing other than pinch points inscribed on a dispersing band. Molecular dynamics simulations of the kagome lattice antiferromagnet are used to explore how these bands evolve into the ground state and excitations of a classical spin liquid. We explicitly demonstrate that this theory can reproduce the pinch points and half moons observed in Nd$_2$Zr$_2$O$_7$.


title: Boundary value problem for a multidimensional system of equation with Riemann-Liouville derivatives

abstract: In the paper boundary-value problem for a multidimensional system of partial differential equations with fractional derivatives in Riemann-Liouville sense with constant coefficients is studied in a rectangular domain. The existence and uniqueness theorem for the solution of the boundary value problem is proved. The solution is constructed in explicit form in terms of the Wright function of the matrix argument.


title: Efficient Semantic Segmentation using Gradual Grouping

abstract: Deep CNNs for semantic segmentation have high memory and run time requirements. Various approaches have been proposed to make CNNs efficient like grouped, shuffled, depth-wise separable convolutions. We study the effectiveness of these techniques on a real-time semantic segmentation architecture like ERFNet for improving run time by over 5X. We apply these techniques to CNN layers partially or fully and evaluate the testing accuracies on Cityscapes dataset. We obtain accuracy vs parameters/FLOPs trade offs, giving accuracy scores for models that can run under specified runtime budgets. We further propose a novel training procedure which starts out with a dense convolution but gradually evolves towards a grouped convolution. We show that our proposed training method and efficient architecture design can improve accuracies by over 8% with depth wise separable convolutions applied on the encoder of ERFNet and attaching a light weight decoder. This results in a model which has a 5X improvement in FLOPs while only suffering a 4% degradation in accuracy with respect to ERFNet.


title: Focusing on What is Relevant: Time-Series Learning and Understanding using Attention

abstract: This paper is a contribution towards interpretability of the deep learning models in different applications of time-series. We propose a temporal attention layer that is capable of selecting the relevant information to perform various tasks, including data completion, key-frame detection and classification. The method uses the whole input sequence to calculate an attention value for each time step. This results in more focused attention values and more plausible visualisation than previous methods. We apply the proposed method to three different tasks. Experimental results show that the proposed network produces comparable results to a state of the art. In addition, the network provides better interpretability of the decision, that is, it generates more significant attention weight to related frames compared to similar techniques attempted in the past.


title: Dynamical Model of Binary Asteroid Systems Using Binary Octahedrons

abstract: We used binary octahedrons to investigate the dynamical behaviors of binary asteroid systems. The mutual potential of the binary polyhedron method is derived from the fourth order to the sixth order. The irregular shapes, relative orbits, attitude angles, as well as the angular velocities of the binary asteroid system are included in the model. We investigated the relative trajectory of the secondary relative to the primary, the total angular momentum and total energy of the system, the three-axis attitude angular velocity of the binary system, as well as the angular momentum of the two components. The relative errors of total angular momentum and total energy indicate the calculation has a high precision. It is found that the influence of the orbital and attitude motion of the primary from the gravitational force of the secondary is obvious. This study is useful for understanding the complicated dynamical behaviors of the binary asteroid systems discovered in our Solar system.


title: The SPHERE view of Wolf-Rayet 104

abstract: Context. WR104 is an emblematic dusty Wolf-Rayet star and the prototypical member of a subgroup hosting spirals that are mainly observable with high-angular resolution techniques. Previous aperture masking observations showed that WR104 is likely an interacting binary star at the end of its life. However, several aspects of the system are still unknown. This includes the opening angle of the spiral, the dust formation locus, and the link between the central binary star and a candidate companion star detected with the Hubble Space Telescope (HST) at 1". Aims. Our aim was to directly image the dusty spiral or "pinwheel" structure around WR104 for the first time and determine its physical properties at large spatial scales. We also wanted to address the characteristics of the candidate companion detected by the HST. Methods. For this purpose, we used SPHERE and VISIR at the Very Large Telescope to respectively image the system in the near-and mid-infrared. Both instruments furnished an excellent view of the system at the highest angular resolution a single, ground-based telescope can provide. Based on these direct images, we then used analytical and radiative transfer models to determine several physical properties of the system. Results. Employing a different technique than previously used, our new images have allowed us to confirm the presence of the dust pinwheel around the central star. We have also detected up to 5 revolutions of the spiral pattern of WR104 in the K-band for the first time. The circumstellar dust extends up to 2 arcsec from the central binary star in the N-band, corresponding to the past 20 years of mass loss. Moreover, we found no clear evidence of a shadow of the first spiral coil onto the subsequent ones, which likely points to a dusty environment less massive than inferred in previous studies. We have also confirmed that the stellar candidate companion previously detected by the HST is gravitationally bound to WR104 and herein provide information about its nature and orbital elements.


title: Transitions from low-density state towards high-density state in stochastic bistable plasma-condensate systems

abstract: In this article we study transitions from low-density states towards high-density states in bistable plasma-condensate systems. We take into account an anisotropy in transference of adatoms between neighbour layers induced by the electric field near substrate. We derive the generalized one-layer model by assuming that the strength of the electric field is subjected to both periodic oscillations and multiplicative fluctuations. By studying the homogeneous system we discuss the corresponding mean passage time. In the limit of weak fluctuations, we show the optimization of the mean passage time with variation in the frequency of periodic driving in the non-adiabatic limit. Noise induced effects corresponding to asynchronization and acceleration in the transition dynamics are studied in detail.


title: Numerical Simulation Of Impregnation In Porous Media By Self-organized Gradient Percolation Method

abstract: The aim of this work is to develop a new numerical method to overcome the computational difficulties of numerical simulation of unsaturated impregnation in porous media. The numerical analysis by classical methods (F.E.M, theta-method, ...) for this phenomenon require small time-step and space discretization to ensure both convergence and accuracy. Yet this leads to a high computational cost. Moreover, a very small time-step can lead to spurious oscillations that impact the precision of the results. Thus, we propose to use a Self-organized Gradient Percolation (SGP) algorithm to reduce the computational cost and overcome these numerical drawbacks. The (SGP) method is based on gradient percolation theory, relevant to calculation of local saturation. The initialization of this algorithm is driven by an analytic solution of the homogenous diffusion equation, which is a convolution between a Probability Density Function (PDF) and a smoothing function. Thus, we propose to reproduce the evolution of the capillary pressure profiles by the evolution of the standard deviation of the PDF. This algorithm is validated by comparing the results with the capillary pressure profiles and the mass gain curve obtained by finite element simulations and experimental measurements, respectively. The computational time of the proposed algorithm is lower than that of finite element models for one-dimension case. In conclusion, the SGP method permits to reduce the computational cost and does not produce spurious oscillations. The work is still going on for extension in 3D and the first results are promising.


title: Improving angular resolution of telescopes through probabilistic single-photon amplification?

abstract: The use of probabilistic amplification for astronomical imaging is discussed. Probabilistic single photon amplification has been theoretically proven and practically demonstrated in quantum optical laboratories. In astronomy it should allow to increase the angular resolution beyond the diffraction limit at the expense of throughput: not every amplification event is successful -- unsuccessful events contain a large fraction of noise and need to be discarded. This article indicates the fundamental limit in the trade-off between gain in angular resolution and loss in throughput. The practical implementation of probabilistic amplification for astronomical imaging remains an open issue.


title: The weak Lefschetz property of a special class of Artinian algebras over fields of positive characteristic

abstract: In this paper, we study the dependence of the weak Lefschetz property of algebras defined by a special class of monomials ideals in a polynomial ring with coefficient in a field, to the characteristic of the base field.


title: Upgrade of the Analog Integrator for EAST Device

abstract: Integrators are fundamental instruments to recover differential signals from magnetic probes in Experimental Advanced Superconducting Tokamak (EAST) experiments. A kind of difference integrator is introduced which has the same structure as the standard difference amplifier. The linear fitting method is used for determining the effective drift slope, then the plasma control system (PCS) use the drift slope to rectify the integration signal in real time. A new integrator controller was developed, which uses an ARM micro-controller and the lightweight IP protocol stack to realize the network control. The tests show that the upgraded integrator works well, its CMRR is high up to 125 dB when the common voltage is 1.5 V, and the processed integration drift is about 200 uVs /1000 s.


title: Isotropic non-Gaussian $g_\mathrm{NL}$-like toy models that reproduce the cosmic microwave background anomalies

abstract: Based on recent observations of the cosmic microwave background (CMB), claims of statistical anomalies in the properties of the CMB fluctuations have been made. Although the statistical significance of the anomalies remains only at the $\sim2-3\sigma$ significance level, the fact that there are many different anomalies, several of which support a possible deviation from statistical isotropy, has motivated a search for models that provide a common mechanism to generate them. The goal of this paper is to investigate whether these anomalies could originate from non-Gaussian cosmological models, and to determine what properties these models should have. We present a simple isotropic, non-Gaussian class of toy models that can reproduce six of the most extensively studied anomalies. We compare the presence of anomalies found in simulated maps generated from the toy models and from a standard model with Gaussian fluctuations. We show that the following anomalies, as found in the Planck data, commonly occur in the toy model maps: (1) large-scale hemispherical asymmetry (large-scale dipolar modulation), (2) small-scale hemispherical asymmetry (alignment of the spatial distribution of CMB power over all scales $\ell=[2,1500]$) , (3) a strongly non-Gaussian hot or cold spot, (4) a low power spectrum amplitude for $\ell<30$, including specifically (5) a low quadrupole and an unusual alignment between the quadrupole and the octopole, and (6) parity asymmetry of the lowest multipoles. We note that this class of toy model resembles models of primordial non-Gaussianity characterised by strongly scale-dependent $g_{NL}$-like trispectra.


title: A Model of Zebra Patterns in Solar Radio Emission

abstract: We analyze complex zebra patterns and fiber bursts during type-IV solar radio bursts on August 1, 2010. It was shown that all of the main details of sporadic zebra patterns can be explained within the model of zebra patterns and fiber bursts during the interaction of plasma waves with whistlers. In addition, it was shown that the major variations in the stripes of the zebra patterns are caused by the scattering mechanism of fast particles on whistlers, which leads to the transition of whistler instability from the normal Doppler effect to an anomalous one.


title: Second order stochastic target problems with generalized market impact

abstract: We extend the study of [7, 18] to stochastic target problems with general market impacts. Namely, we consider a general abstract model which can be associated to a fully nonlinear parabolic equation. Unlike [7, 18], the equation is not concave and the regularization/verification approach of [7] can not be applied. We also relax the gamma constraint of [7]. In place, we need to generalize the a priori estimates of [18] and exhibit smooth solutions from the classical parabolic equations theory. Up to an additional approximating argument, this allows us to show that the super-hedging price solves the parabolic equation and that a perfect hedging strategy can be constructed when the coefficients are smooth enough. This representation leads to a general dual formulation. We finally provide an asymptotic expansion around a model without impact.


title: Magnetic clustering, half-moons, and shadow pinch points as signals of a proximate Coulomb phase in frustrated Heisenberg magnets

abstract: We study the formation of magnetic clusters in frustrated magnets in their cooperative paramagnetic regime. For this purpose, we consider the $J_1$-$J_2$-$J_3$ classical Heisenberg model on kagome and pyrochlore lattices with $J_2 = J_3=J$. In the absence of farther-neighbor couplings, $J=0$, the system is in the Coulomb phase with magnetic correlations well characterized by pinch-point singularities. Farther-neighbor couplings lead to the formation of magnetic clusters, which can be interpreted as a counterpart of topological-charge clusters in Ising frustrated magnets [T. Mizoguchi, L. D. C. Jaubert and M. Udagawa, Phys. Rev. Lett. {\bf 119}, 077207 (2017)]. The concomitant static and dynamical magnetic structure factors, respectively $\mathcal{S}({\bm{q}})$ and $\mathcal{S}({\bm{q}},\omega)$, develop half-moon patterns. As $J$ increases, the continuous nature of the Heisenberg spins enables the half-moons to coalesce into connected `star' structures spreading across multiple Brillouin zones. These characteristic patterns are a dispersive complement of the pinch point singularities, and signal the proximity to a Coulomb phase. Shadows of the pinch points remain visible at finite energy, $\omega$. This opens the way to observe these clusters through (in)elastic neutron scattering experiments. The origin of these features are clarified by complementary methods: large-$N$ calculations, semi-classical dynamics of the Landau-Lifshitz equation, and Monte Carlo simulations. As promising candidates to observe the clustering states, we revisit the origin of "spin molecules" observed in a family of spinel oxides $AB_2$O$_4$ ($A=$ Zn, Hg, Mg, $B=$ Cr, Fe).


title: Distributed Average Consensus under Quantized Communication via Event-Triggered Mass Summation

abstract: We study distributed average consensus problems in multi-agent systems with directed communication links that are subject to quantized information flow. The goal of distributed average consensus is for the nodes, each associated with some initial value, to obtain the average (or some value close to the average) of these initial values. In this paper, we present and analyze a distributed averaging algorithm which operates exclusively with quantized values (specifically, the information stored, processed and exchanged between neighboring agents is subject to deterministic uniform quantization) and relies on event-driven updates (e.g., to reduce energy consumption, communication bandwidth, network congestion, and/or processor usage). We characterize the properties of the proposed distributed averaging protocol on quantized values and show that its execution, on any time-invariant and strongly connected digraph, will allow all agents to reach, in finite time, a common consensus value represented as the ratio of two integer that is equal to the exact average. We conclude with examples that illustrate the operation, performance, and potential advantages of the proposed algorithm.


title: Polarized Rewriting and Tableaux in B Set Theory

abstract: We propose and extension of the tableau-based first-order automated theorem prover Zenon Modulo to polarized rewriting. We introduce the framework and explain the potential benefits. The first target is an industrial benchmark composed of B Set Theory problems.


title: Subgradient-Free Stochastic Optimization Algorithm for Non-smooth Convex Functions over Time-Varying Networks

abstract: In this paper we consider a distributed stochastic optimization problem without the gradient/subgradient information for the local objective functions, subject to local convex constraints. The objective functions may be non-smooth and observed with stochastic noises, and the network for the distributed design is time-varying. By adding the stochastic dithers into the local objective functions and constructing the randomized differences motivated by the Kiefer-Wolfowitz algorithm, we propose a distributed subgradient-free algorithm to find the global minimizer with local observations. Moreover, we prove that the consensus of estimates and global minimization can be achieved with probability one over the time-varying network, and then obtain the convergence rate of the mean average of estimates as well. Finally, we give a numerical example to illustrate the effectiveness of the proposed algorithm.


title: Stochastic decoupling approach to the quantum dissipative dynamics: Perturbative and non-perturbative treatments

abstract: We develop a hierarchical functional derivative method to investigate the reduced dynamics of a quantum dissipative system within the framework of a stochastic decoupling description. Keeping only the lowest order truncation of the hierarchical functional derivatives, one can recover the second order Nakajima-Zwanzig quantum master equation. Taking into account the higher-order corrections, our method can be implemented as a highly efficient numerical scheme for a general quantum dissipative system beyond the usual Markovian, rotating-wave, and weak-coupling approximations.


title: Preconditioners and Tensor Product Solvers for Optimal Control Problems from Chemotaxis

abstract: In this paper, we consider the fast numerical solution of an optimal control formulation of the Keller--Segel model for bacterial chemotaxis. Upon discretization, this problem requires the solution of huge-scale saddle point systems to guarantee accurate solutions. We consider the derivation of effective preconditioners for these matrix systems, which may be embedded within suitable iterative methods to accelerate their convergence. We also construct low-rank tensor-train techniques which enable us to present efficient and feasible algorithms for problems that are finely discretized in the space and time variables. Numerical results demonstrate that the number of preconditioned GMRES iterations depends mildly on the model parameters. Moreover, the low-rank solver makes the computing time and memory costs sublinear in the original problem size.


title: 2D solar wind speeds from 6 to 26 solar radii in solar cycle 24 by using Fourier filtering

abstract: Measurement of the solar wind speed near the Sun is important for understanding the acceleration mechanism of the solar wind. In this study, we determine 2D solar wind speeds from 6 to 26 solar radii by applying Fourier motion filters to \textit{SOHO}/LASCO C3 movies observed from 1999 to 2010. Our method successfully reproduces the original flow speeds in the artificially generated data as well as streamer blobs. We measure 2D solar wind speeds from 1-day to 1-year timescales and their variation in solar cycle 24. We find that the solar wind speeds at timescales longer than a month in the solar maximum period are relatively uniform in the azimuthal direction, while they are clearly bimodal in the minimum period, as expected from the \textit{Ulysses} observations and IPS reconstruction. The bimodal structure appears at around 2006, becomes most distinctive in 2009, and abruptly disappears in 2010. The radial evolution of the solar wind speeds resembles the Parker's solar wind solution.


title: Visualizing and Understanding Deep Neural Networks in CTR Prediction

abstract: Although deep learning techniques have been successfully applied to many tasks, interpreting deep neural network models is still a big challenge to us. Recently, many works have been done on visualizing and analyzing the mechanism of deep neural networks in the areas of image processing and natural language processing. In this paper, we present our approaches to visualize and understand deep neural networks for a very important commercial task--CTR (Click-through rate) prediction. We conduct experiments on the productive data from our online advertising system with daily varying distribution. To understand the mechanism and the performance of the model, we inspect the model's inner status at neuron level. Also, a probe approach is implemented to measure the layer-wise performance of the model. Moreover, to measure the influence from the input features, we calculate saliency scores based on the back-propagated gradients. Practical applications are also discussed, for example, in understanding, monitoring, diagnosing and refining models and algorithms.


title: Removing the Curse of Superefficiency: an Effective Strategy For Distributed Computing in Isotonic Regression

abstract: We propose a strategy for computing the isotonic least-squares estimate of a monotone function in a general regression setting where the data are distributed across different servers and the observations across servers, though independent, can come from heterogeneous sub-populations, thereby violating the identically distributed assumption. Our strategy fixes the super-efficiency phenomenon observed in prior work on distributed computing in the isotonic regression framework, where averaging several isotonic estimates (each computed at a local server) on a central server produces super-efficient estimates that do not replicate the properties of the global isotonic estimator, i.e. the isotonic estimate that would be constructed by transferring all the data to a single server. The new estimator proposed in this paper works by smoothing the data on each local server, communicating the smoothed summaries to the central server, and then computing an isotonic estimate at the central server, and is shown to replicate the asymptotic properties of the global estimator, and also overcome the super-efficiency phenomenon exhibited by earlier estimators. For data on $N$ observations, the new estimator can be constructed by transferring data just over order $N^{1/3}$ across servers [as compared to transferring data of order $N$ to compute the global isotonic estimator], and requires the same order of computing time as the global estimator.


title: Weakly coupled systems of semi-linear elastic waves with different damping mechanisms in 3D

abstract: We consider the following Cauchy problem for weakly coupled systems of semi-linear damped elastic waves with a power source non-linearity in three-dimensions: \begin{equation*} U_{tt}-a^2\Delta U-\big(b^2-a^2\big)\nabla\text{div } U+(-\Delta)^{\theta}U_t=F(U),\,\, (t,x)\in[0,\infty)\times\mathbb{R}^3, \end{equation*} where $U=U(t,x)=\big(U^{(1)}(t,x),U^{(2)}(t,x),U^{(3)}(t,x)\big)^{\mathrm{T}}$ with $b^2>a^2>0$ and $\theta\in[0,1]$. Our interests are some qualitative properties of solutions to the corresponding linear model with vanishing right-hand side and the influence of the value of $\theta$ on the exponents $p_1,p_2,p_3$ in $F(U)=\big(|U^{(3)}|^{p_1},|U^{(1)}|^{p_2},|U^{(2)}|^{p_3}\big)^{\mathrm{T}}$ to get results for the global (in time) existence of small data solutions.


title: Game AI Research with Fast Planet Wars Variants

abstract: This paper describes a new implementation of Planet Wars, designed from the outset for Game AI research. The skill-depth of the game makes it a challenge for game-playing agents, and the speed of more than 1 million game ticks per second enables rapid experimentation and prototyping. The parameterised nature of the game together with an interchangeable actuator model make it well suited to automated game tuning. The game is designed to be fun to play for humans, and is directly playable by General Video Game AI agents.


title: The PAU Survey: star-galaxy classification with multi narrow-band data

abstract: Classification of stars and galaxies is a well-known astronomical problem that has been treated using different approaches, most of them relying on morphological information. In this paper, we tackle this issue using the low-resolution spectra from narrow band photometry, provided by the PAUS (Physics of the Accelerating Universe) survey. We find that, with the photometric fluxes from the 40 narrow band filters and without including morphological information, it is possible to separate stars and galaxies to very high precision, 98.4% purity with a completeness of 98.8% for objects brighter than I = 22.5. This precision is obtained with a Convolutional Neural Network as a classification algorithm, applied to the objects' spectra. We have also applied the method to the ALHAMBRA photometric survey and we provide an updated classification for its Gold sample.


title: The Hopf monoid of hypergraphs and its sub-monoids: basic invariant and reciprocity theorem

abstract: In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.


title: Analysis of Evolutionary Algorithms in Dynamic and Stochastic Environments

abstract: Many real-world optimization problems occur in environments that change dynamically or involve stochastic components. Evolutionary algorithms and other bio-inspired algorithms have been widely applied to dynamic and stochastic problems. This survey gives an overview of major theoretical developments in the area of runtime analysis for these problems. We review recent theoretical studies of evolutionary algorithms and ant colony optimization for problems where the objective functions or the constraints change over time. Furthermore, we consider stochastic problems under various noise models and point out some directions for future research.


title: Deep Drone Racing: Learning Agile Flight in Dynamic Environments

abstract: Autonomous agile flight brings up fundamental challenges in robotics, such as coping with unreliable state estimation, reacting optimally to dynamically changing environments, and coupling perception and action in real time under severe resource constraints. In this paper, we consider these challenges in the context of autonomous, vision-based drone racing in dynamic environments. Our approach combines a convolutional neural network (CNN) with a state-of-the-art path-planning and control system. The CNN directly maps raw images into a robust representation in the form of a waypoint and desired speed. This information is then used by the planner to generate a short, minimum-jerk trajectory segment and corresponding motor commands to reach the desired goal. We demonstrate our method in autonomous agile flight scenarios, in which a vision-based quadrotor traverses drone-racing tracks with possibly moving gates. Our method does not require any explicit map of the environment and runs fully onboard. We extensively test the precision and robustness of the approach in simulation and in the physical world. We also evaluate our method against state-of-the-art navigation approaches and professional human drone pilots.


title: New Exact Algorithm and Solution Properties for the Vehicle Routing Problem with Stochastic Demands

abstract: This paper considers the vehicle routing problem with stochastic demands (VRPSD) under optimal restocking. We develop an exact algorithm that is effective for solving instances with many vehicles and few customers per route. In our experiments, we show that in these instances solving the stochastic problem is most relevant (i.e., the potential gains over the deterministic equivalent solution are highest). The proposed branch-price-and-cut algorithm relies on an efficient labeling procedure, exact and heuristic dominance rules, and completion bounds to price profitable columns. Instances with up to 76 nodes could be solved in less than 5 hours, and instances with up to 148 nodes could be solved in long-runs of the algorithm. The experiments also allowed new findings on the problem. Solving the stochastic problem leads to solutions up to 10% superior to the deterministic equivalent solution. When the number of routes is not fixed, the optimal solutions under detour-to-depot and optimal restocking are nearly equivalent. Opening new routes is a good strategy to reduce restocking costs, and in many cases results in solutions with less transportation costs. For the first time, scenarios where the expected demand in a route is allowed to exceed the capacity of the vehicle were also tested, and the results indicate that superior solutions with lower cost and fewer routes exist.


title: Multivariable Iterative Learning Control Design Procedures: from Decentralized to Centralized, Illustrated on an Industrial Printer

abstract: Iterative Learning Control (ILC) enables high control performance through learning from measured data, using only limited model knowledge in the form of a nominal parametric model. Robust stability requires robustness to modeling errors, often due to deliberate undermodeling. The aim of this paper is to develop a range of approaches for multivariable ILC, where specific attention is given to addressing interaction. The proposed methods either address the interaction in the nominal model, or as uncertainty, i.e., through robust stability. The result is a range of techniques, including the use of the structured singular value (SSV) and Gershgorin bounds, that provide a different trade-off between modeling requirements, i.e., modeling effort and cost, and achievable performance. This allows control engineers to select the approach that fits the modeling budget and control requirements. This trade-off is demonstrated in a case study on an industrial flatbed printer.


title: It sounds like an action potential: unification of electrical, chemical and mechanical aspects of acoustic pulses in lipids

abstract: In an ongoing debate on the physical nature of the action potential, one group adheres to the electrical model of Hodgkin and Huxley, while the other describes the action potential as a non-linear acoustic pulse propagating within an interface near a transition. However, despite remarkable similarities, acoustics remains a non-intuitive mechanism for action potentials for the following reason. While acoustic pulses are typically associated with the propagation of density, pressure and temperature variation, action potentials are most commonly measured electrically. Here, we show that this discrepancy is lifted upon considering the electrical and chemical aspects of the interface, in addition to its mechanical properties. Specifically, we demonstrate how electrical and pH aspects of acoustic pulses emerge from an idealized description of the lipid interface, which is based on classical physical principles and contains no fit parameters. The pulses that emerge from the model show striking similarities to action potentials not only in qualitative shape and scales (time, velocity and voltage), but also demonstrate saturation of amplitude and annihilation upon collision.


title: Innovative method for reducing uninformative calls in non-invasive prenatal testing

abstract: Non-invasive prenatal testing or NIPT is currently among the top researched topic in obstetric care. While the performance of the current state-of-the-art NIPT solutions achieve high sensitivity and specificity, they still struggle with a considerable number of samples that cannot be concluded with certainty. Such uninformative results are often subject to repeated blood sampling and re-analysis, usually after two weeks, and this period may cause a stress to the future mothers as well as increase the overall cost of the test. We propose a supplementary method to traditional z-scores to reduce the number of such uninformative calls. The method is based on a novel analysis of the length profile of circulating cell free DNA which compares the change in such profiles when random-based and length-based elimination of some fragments is performed. The proposed method is not as accurate as the standard z-score; however, our results suggest that combination of these two independent methods correctly resolves a substantial portion of healthy samples with an uninformative result. Additionally, we discuss how the proposed method can be used to identify maternal aberrations, thus reducing the risk of false positive and false negative calls. Keywords: Next-generation sequencing, Cell-free DNA, Uninformative result, Method, Trisomy, Prenatal testing


title: Serrin's type overdetermined problems in convex cones

abstract: We consider overdetermined problems of Serrin's type in convex cones for (possibly) degenerate operators in the Euclidean space as well as for a suitable generalization to space forms. We prove rigidity results by showing that the existence of a solution implies that the domain is a spherical sector.


title: Learning-to-Ask: Knowledge Acquisition via 20 Questions

abstract: Almost all the knowledge empowered applications rely upon accurate knowledge, which has to be either collected manually with high cost, or extracted automatically with unignorable errors. In this paper, we study 20 Questions, an online interactive game where each question-response pair corresponds to a fact of the target entity, to acquire highly accurate knowledge effectively with nearly zero labor cost. Knowledge acquisition via 20 Questions predominantly presents two challenges to the intelligent agent playing games with human players. The first one is to seek enough information and identify the target entity with as few questions as possible, while the second one is to leverage the remaining questioning opportunities to acquire valuable knowledge effectively, both of which count on good questioning strategies. To address these challenges, we propose the Learning-to-Ask (LA) framework, within which the agent learns smart questioning strategies for information seeking and knowledge acquisition by means of deep reinforcement learning and generalized matrix factorization respectively. In addition, a Bayesian approach to represent knowledge is adopted to ensure robustness to noisy user responses. Simulating experiments on real data show that LA is able to equip the agent with effective questioning strategies, which result in high winning rates and rapid knowledge acquisition. Moreover, the questioning strategies for information seeking and knowledge acquisition boost the performance of each other, allowing the agent to start with a relatively small knowledge set and quickly improve its knowledge base in the absence of constant human supervision.


title: A systematic study of turbulent heat transfer over rough walls

abstract: Direct Numerical Simulations are used to solve turbulent flow and heat transfer over a variety of rough walls in a channel. The wall geometries are exactly resolved in the simulations. The aim is to understand the effect of roughness morphology and its scaling on the augmentation of heat transfer relative to that of skin friction. A number of realistic rough surface maps obtained from the scanning of gas turbine blades and internal combustion engines as well as several artificially generated rough surfaces are examined. In the first part of the paper, effects of statistical surface properties, namely surface slope and roughness density, at constant roughness height are systematically investigated, and it is shown that Reynolds analogy factor (two times Stanton number divided by skin friction coefficient) varies meaningfully but moderately with the surface parameters except for the case with extremely low slope or density where the Reynolds analogy factor grows significantly and tends to that of a smooth wall. In the second part of the paper, the roughness height is varied (independently in both inner and outer units) while the geometrical similarity is maintained. Considering all the simulated cases, it is concluded that Reynolds analogy factor correlates fairly well with the equivalent sand roughness scaled in inner units and asymptotically tends to a plateau.


title: Generalised matter couplings in general relativity

abstract: A new class of modified theory of gravity is introduced where the volume form becomes dynamical. This approach is motivated by unimodular gravity and can also be related to Brans-Dicke theory. On the level of the action, the only change made will be through the volume element which is used in the integration. This is achieved by the introduction of a fourth order tensor which connects the spacetime metric to the new volume form. Using dynamical systems techniques, this model is studied in the context of cosmology. The most interesting result is that there exist parameter ranges where this model starts undergoing an epoch of accelerated expansion, followed by a decelerating expansion which evolves to a final epoch of accelerated expansion.


title: Ab initio lattice thermal conductivity of bulk and thin-film $\alpha$-Al$\mathrm{_2}$O$\mathrm{_3}$

abstract: The thermal conductivities ($\kappa$) of bulk and thin-film $\alpha$-Al$_2$O$_3$ are calculated from first principles using both the local density approximation (LDA), and the generalized gradient approximation (GGA) to exchange and correlation. The room temperature single crystal LDA value $\sim39~$W/m$~$K agrees well with the experimental values $\sim35-39~$W/m$~$K, whereas the GGA values are much smaller $\sim$26$~$W/m$~$K. Throughout the temperature range, LDA is found to slightly overestimate $\kappa$ whereas GGA strongly underestimates it. We calculate the $\kappa$ of crystalline $\alpha$-Al$\mathrm{_2}$O$\mathrm{_3}$ thin films and observe a maximum of 79$\%$ reduction for $10~$nm thickness.


title: Evaluation of Adjoint Methods in Photoacoustic Tomography with Under-Sampled Sensors

abstract: Photo-Acoustic Tomography (PAT) can reconstruct a distribution of optical absorbers acting as instantaneous sound sources in subcutaneous microvasculature of a human breast. Adjoint methods for PAT, typically Time-Reversal (TR) and Back-Projection (BP), are ways to refocus time-reversed acoustic signals on sources by wave propagation from the position of sensors. TR and BP have different treatments for received signals, but they are equivalent under continuously sampling on a closed circular sensor array in two dimensions. Here, we analyze image quality with discrete under-sampled sensors in the sense of the Shannon sampling theorem. We investigate resolution and contrast of TR and BP, respectively in one source-sensor pair configuration and the frequency domain. With Hankel's asymptotic expansion to the integrands of imaging functions, our main contribution is to demonstrate that TR and BP have better performance on contrast and resolution, respectively. We also show that the integrand of TR includes additional side lobes which degrade axial resolution whereas that of BP conversely has relatively small amplitudes. Moreover, omnidirectional resolution is improved if more sensors are employed to collect the received signals. Nevertheless, for the under-sampled sensors, we propose the Truncated Back-Projection (TBP) method to enhance the contrast of BP using removing higher frequency components in the received signals. We conduct numerical experiments on the two-dimensional projected phantom model extracted from OA-Breast Database. The experiments verify our theories and show that the proposed TBP possesses better omnidirectional resolution as well as contrast compared with TR and BP with under-sampled sensors.


title: A Morse Lemma for degenerate critical points of solutions of nonlinear equations in $\R^2$

abstract: In this paper we prove a Morse Lemma for degenerate critical points of a function u which satisfies -\Delta u=f(u) in B_1, where B_1 is the unit ball of R^2 and f is a smooth nonlinearity. Other results on the nondegeneracy of the critical points and the shape of the level sets are proved.


title: FLARECAST: an I4.0 technology for space weather using satellite data

abstract: 'Flare Likelihood and Region Eruption Forecasting (FLARECAST)' is a Horizon 2020 project, which realized a technological platform for machine learning algorithms, with the objective of providing the space weather community with a prediction service for solar flares. This paper describes the FLARECAST service and shows how the methods implemented in the platform allow both flare prediction and a quantitative assessment of how the information contained in the space data utilized in the analysis may impact the forecasting process.


title: The Temporal Singularity: time-accelerated simulated civilizations and their implications

abstract: Provided significant future progress in artificial intelligence and computing, it may ultimately be possible to create multiple Artificial General Intelligences (AGIs), and possibly entire societies living within simulated environments. In that case, it should be possible to improve the problem solving capabilities of the system by increasing the speed of the simulation. If a minimal simulation with sufficient capabilities is created, it might manage to increase its own speed by accelerating progress in science and technology, in a way similar to the Technological Singularity. This may ultimately lead to large simulated civilizations unfolding at extreme temporal speedups, achieving what from the outside would look like a Temporal Singularity. Here we discuss the feasibility of the minimal simulation and the potential advantages, dangers, and connection to the Fermi paradox of the Temporal Singularity. The medium-term importance of the topic derives from the amount of computational power required to start the process, which could be available within the next decades, making the Temporal Singularity theoretically possible before the end of the century.


title: Deep Spectral Convolution Network for HyperSpectral Unmixing

abstract: In this paper, we propose a novel hyperspectral unmixing technique based on deep spectral convolution networks (DSCN). Particularly, three important contributions are presented throughout this paper. First, fully-connected linear operation is replaced with spectral convolutions to extract local spectral characteristics from hyperspectral signatures with a deeper network architecture. Second, instead of batch normalization, we propose a spectral normalization layer which improves the selectivity of filters by normalizing their spectral responses. Third, we introduce two fusion configurations that produce ideal abundance maps by using the abstract representations computed from previous layers. In experiments, we use two real datasets to evaluate the performance of our method with other baseline techniques. The experimental results validate that the proposed method outperforms baselines based on Root Mean Square Error (RMSE).


title: Fundamental Irreversibility: Planckian or Schr\"odinger-Newton?

abstract: The inception of a universal gravity-related irreversibility took place originally in quantum cosmology. The ultimate reason of universal irreversibility is thought to come from black holes close to the Planck scale. Completely different instances of irreversibilities are quantum state reductions unrelated to gravity or relativity but related to measurement devices. However, an intricate relationship between Newton gravity and quantized matter might result in fundamental and spontaneous quantum state reduction --- in the non-relativistic Schr\"odinger-Newton context. The above two concepts of fundamental irreversibility emerged and evolved with few or even no interactions. The purpose here is to draw a parallel between the two approaches first, and to ask rather than answer the question: can both the Planckian and the Schr\"odinger-Newton indeterminacies/irreversibilities be two faces of the same universe. A related personal note of the author's 1986 meeting with Aharonov and Bohm is appended.


title: Synthetic C$^{18}$O observations of fibrous filaments: the problems of mapping from PPV to PPP

abstract: Molecular-line observations of filaments in star-forming regions have revealed the existence of elongated coherent features within the filaments; these features are termed fibres. Here we caution that, since fibres are traced in PPV space, there is no guarantee that they represent coherent features in PPP space. We illustrate this contention using simulations of the growth of a filament from a turbulent medium. Synthetic C$^{18}$O observations of the simulated filaments reveal the existence of fibres very similar to the observed ones, i.e. elongated coherent features in the resulting PPV data-cubes. Analysis of the PPP data-cubes (i.e. 3D density fields) also reveals elongated coherent features, which we term sub-filaments. Unfortunately there is very poor correspondence between the fibres and the sub-filaments in the simulations. Both fibres and sub-filaments derive from inhomogeneities in the turbulent accretion flow onto the main filament. As a consequence, fibres are often affected by line-of-sight confusion. Similarly, sub-filaments are often affected by large velocity gradients, and even velocity discontinuities. These results suggest that extreme care should be taken when using velocity coherent features to constrain the underlying substructure within a filament.


title: An accurate retrieval through R-MAC+ descriptors for landmark recognition

abstract: The landmark recognition problem is far from being solved, but with the use of features extracted from intermediate layers of Convolutional Neural Networks (CNNs), excellent results have been obtained. In this work, we propose some improvements on the creation of R-MAC descriptors in order to make the newly-proposed R-MAC+ descriptors more representative than the previous ones. However, the main contribution of this paper is a novel retrieval technique, that exploits the fine representativeness of the MAC descriptors of the database images. Using this descriptors called "db regions" during the retrieval stage, the performance is greatly improved. The proposed method is tested on different public datasets: Oxford5k, Paris6k and Holidays. It outperforms the state-of-the- art results on Holidays and reached excellent results on Oxford5k and Paris6k, overcame only by approaches based on fine-tuning strategies.


title: Nanofriction and motion of topological defects in self-organized ion Coulomb crystals

abstract: We study nanofriction in an ion Coulomb crystal under the presence of topological defects. We observe signatures of the pinning to sliding transition, namely the transverse vibrational soft mode signaling the transition and the symmetry breaking of the crystal configuration. We present details on experimental measurements and numerical simulations of this system, including the gaps in the hull function and the spectroscopy of the localized defect mode. We also investigate how external forces, such as those due to anharmonic potentials or differential light pressure, break the intrinsic crystal symmetry, thereby reducing mode softening near the sliding transition. We find that the local structure and position of the topological defect is essential for the presence of the soft mode and illustrate how the defect changes its properties, when it moves through the crystal.


title: Coloring hypergraphs of low connectivity

abstract: For a hypergraph $G$, let $\chi(G), \Delta(G),$ and $\lambda(G)$ denote the chromatic number, the maximum degree, and the maximum local edge connectivity of $G$, respectively. A result of Rhys Price Jones from 1975 says that every connected hypergraph $G$ satisfies $\chi(G) \leq \Delta(G) + 1$ and equality holds if and only if $G$ is a complete graph, an odd cycle, or $G$ has just one (hyper-)edge. By a result of Bjarne Toft from 1970 it follows that every hypergraph $G$ satisfies $\chi(G) \leq \lambda(G) + 1$. In this paper, we show that a hypergraph $G$ with $\lambda(G) \geq 3$ satisfies $\chi(G) = \lambda(G) + 1$ if and only if $G$ contains a block which belongs to a family $\mathcal{H}_{\lambda(G)}$. The class $\mathcal{H}_3$ is the smallest family which contains all odd wheels and is closed under taking Haj\'os joins. For $k \geq 4$, the family $\mathcal{H}_k$ is the smallest that contains all complete graphs $K_{k+1}$ and is closed under Haj\'os joins. For the proofs of the above results we use critical hypergraphs. A hypergraph $G$ is called $(k+1)$-critical if $\chi(G)=k+1$, but $\chi(H)\leq k$ whenever $H$ is a proper subhypergraph of $G$. We give a characterization of $(k+1)$-critical hypergraphs having a separating edge set of size $k$ as well as a a characterization of $(k+1)$-critical hypergraphs having a separating vertex set of size $2$.


title: Continuous Learning in Single-Incremental-Task Scenarios

abstract: It was recently shown that architectural, regularization and rehearsal strategies can be used to train deep models sequentially on a number of disjoint tasks without forgetting previously acquired knowledge. However, these strategies are still unsatisfactory if the tasks are not disjoint but constitute a single incremental task (e.g., class-incremental learning). In this paper we point out the differences between multi-task and single-incremental-task scenarios and show that well-known approaches such as LWF, EWC and SI are not ideal for incremental task scenarios. A new approach, denoted as AR1, combining architectural and regularization strategies is then specifically proposed. AR1 overhead (in term of memory and computation) is very small thus making it suitable for online learning. When tested on CORe50 and iCIFAR-100, AR1 outperformed existing regularization strategies by a good margin.


title: Decaying axinolike dark matter: Discriminative solution to small-scale issues

abstract: The latest Lyman-$\alpha$ forest data severely constrain the conventional warm dark matter solution to small-scale issues in the cold dark matter paradigm. It has been also reported that unconstrained astrophysical processes may address the issues. In response to this situation, we revisit the decaying dark matter solution to the issues, discussing possible signatures to discriminate decaying dark matter from astrophysical processes as a solution to small-scale issues. We consider an axinolike particle (ALPino) decaying into an axionlike particle (ALP) and gravitino with the lifetime around the age of the Universe. The ALPino mass is sub-PeV and slightly ($\Delta m/m\sim 10^{-4}$) larger than the gravitino mass, and thus the dark matter abundance does not alter virtually after the ALPino decays. On the other hand, the gravitino produced from the ALPino decay obtains a kick velocity of $\sim 30 \,{\rm km / s}$, which is sufficiently larger than a circular velocity of dwarf galaxies to impact their dark matter distributions. The Lyman-$\alpha$ forest constraints are relieved since only a small fraction ($\sim10$%) of dark matter experiences the decay at that time. Decaying dark matter is thus promoted to a viable solution to small-scale issues. The ALPino relic abundance is determined predominantly by the decay of the lightest ordinary supersymmetric particle. The monochromatic ALP emission from the ALPino decay is converted to $\sim 50 \,{\rm GeV}$ photon under the Galactic magnetic field. The morphology of the gamma-ray flux shows a distinctive feature of the model when compared to decaying dark matter that directly decays into photons. Once detected, such distinctive signals discriminate the decaying dark matter solution to small-scale issues from unconstrained astrophysical processes.


title: Three-dimensional droplets of swirling superfluids

abstract: A new method for the creation of 3D solitary topological modes, corresponding to vortical droplets of a two-component dilute superfluid, is presented. We use the recently introduced system of nonlinearly coupled Gross-Pitaevskii equations, which include contact attraction between the components, and quartic repulsion stemming from the Lee-Huang-Yang correction to the mean-field energy. Self-trapped vortex tori, carrying the topological charges m1=m2=1 or m1=m2=2 in their components, are constructed by means of numerical and approximate analytical methods. The analysis reveals stability regions for the vortex droplets (in broad and relatively narrow parameter regions for m1=m2=1 and m1=m2=2, respectively). The results provide the first example of stable 3D self-trapped states with the double vorticity, in any physical setting. The stable modes are shaped as flat-top ones, with the space between the inner hole, induced by the vorticity, and the outer boundary filled by a nearly constant density. On the other hand, all modes with hidden vorticity, i.e., topological charges of the two components m1=-m2=1, are unstable. The stability of the droplets with m1=m2=1 against splitting (which is the main scenario of possible instability) is explained by estimating analytically the energy of the split and un-split states. The predicted results may be implemented, exploiting dilute quantum droplets in mixtures of Bose-Einstein condensates.

categories: cond-mat.quant-gas cond-mat.other math-ph math.MP nlin.PS


title: Modelling of the quasar main sequence in the optical plane

abstract: The concept of the quasar main sequence is very attractive since it stresses correlations between various parameters and implies the underlying simplicity. In the optical plane defined by the width of the H\{beta} line and the ratio of the equivalent width of the Fe II to H\{beta} observed objects form a characteristic pattern. In this paper, we use a physically motivated model to explain the distribution of quasars in the optical plane. Continuum is modelled as an accretion disk with a hard X-ray power law uniquely tight to the disk at the basis of observational scaling, and the Broad Line Region distance is determined also from observational scaling. We perform the computations of the FeII and H\{beta} line production with the code CLOUDY. We have only six free parameters for an individual source: maximum temperature of the accretion disk, Eddington ratio, cloud density, cloud column density, microturbulence, and iron abundance, and only the last four remain as global parameters in our modelling of the whole sequence. Our theoretically computed points cover well the optical plane part populated with the observed quasars, particularly if we allow for super-Solar abundance of heavy elements. Explanation of the exceptionally strong Fe II emitter requires a stronger contribution from the dark sides of the clouds. Analyzing the way how our model covers the optical plane we conclude that there is no single simple driver behind the sequence, as neither the Eddington ratio nor broad band spectrum shape plays the dominant role. Also, the role of the viewing angle in providing the dispersion of the quasar main sequence is apparently not as strong as expected.


title: Point cloud segmentation using hierarchical tree for architectural models

abstract: Recent developments in the 3D scanning technologies have made the generation of highly accurate 3D point clouds relatively easy but the segmentation of these point clouds remains a challenging area. A number of techniques have set precedent of either planar or primitive based segmentation in literature. In this work, we present a novel and an effective primitive based point cloud segmentation algorithm. The primary focus, i.e. the main technical contribution of our method is a hierarchical tree which iteratively divides the point cloud into segments. This tree uses an exclusive energy function and a 3D convolutional neural network, HollowNets to classify the segments. We test the efficacy of our proposed approach using both real and synthetic data obtaining an accuracy greater than 90% for domes and minarets.


title: Hybrid seesaw neutrino model in SUSY $SU(5)\times \mathbb{A}_{4}$

abstract: Motivated by recent results from neutrino experiments, we study the neutrino masses and mixing in the framework of a SUSY $SU(5)\times \mathbb{A}_{4} $ model. The hybrid of Type I and Type II seesaw mechanisms leads to the nonzero value of the reactor angle $\theta_{13}\neq 0$ and to the recently disfavored maximal atmospheric angle $\theta_{23} \neq45^{\circ}$ by the NOvA experiment. The phenomenological consequences of the model are studied for both normal and inverted mass hierarchies. The obtained ranges for the effective Majorana neutrino mass $m_{\beta \beta}$, the electron neutrino mass $m_{\nu_{e}}$, and the $CP$ violating phase $\delta_{CP}$ lie within the current experimental allowed ranges where we find that the normal mass hierarchy is favored over the inverted one.


title: Real-time gait planner for human walking using a lower limb exoskeleton and its implementation on Exoped robot

abstract: Lower extremity exoskeleton has been developed as a motion assistive technology in recent years. Walking pattern generation is a fundamental topic in the design of these robots. The usual approach with most exoskeletons is to use a pre-recorded pattern as a look-up table. There are some deficiencies with this method, including data storage limitation and poor regulation relating to the walking parameters. Therefore modeling human walking patterns to use in exoskeletons is required. The few existing models provide piece by piece walking patterns, only generating at the beginning of each stride cycle in respect to fixed walking parameters. In this paper, we present a real-time walking pattern generation method which enables changing the walking parameters during the stride. For this purpose, two feedback controlled third order systems are proposed as optimal trajectory planners for generating the trajectory of the x and y components of each joints position. The boundary conditions of the trajectories are obtained according to some pre-considered walking constraints. In addition, a cost function is intended for each trajectory planner in order to increase the trajectories smoothness. We use the minimum principle of Pontryagin to design the feedback controller in order to track the boundary conditions in such a way that the cost functions are minimized. Finally, by using inverse kinematics equations, the proper joints angles are generated for and implemented on Exoped robot. The good performance of the gait planner is demonstrated by second derivative continuity of the trajectories being maintained as a result of a simulation, and user satisfaction being determined by experimental testing.


title: Winds Can "Blow Up" AGN Accretion Disk Sizes

abstract: Recent multi-band variability studies have revealed that active galactic nucleus (AGN) accretion disc sizes are generally larger than the predictions of the classical thin disc by a factor of $2\sim 3$. This hints at some missing key ingredient in the classical thin disc theory: here, we propose an accretion disc wind. For a given bolometric luminosity, in the outer part of an accretion disc, the effective temperature in the wind case is higher than that in the no-wind one; meanwhile, the radial temperature profile of the wind case is shallower than the no-wind one. In presence of winds, for a given band, blackbody emission from large radii can contribute more to the observed luminosity than the no-wind case. Therefore, the disc sizes of the wind case can be larger than those of the no-wind case. We demonstrate that a model with the accretion rate scaling as $\dot{M}_0 (R/R_{\mathrm{S}})^{\beta}$ (i.e., the accretion rate declines with decreasing radius due to winds) can match both the inter-band time lags and the spectral energy distribution of NGC 5548. Our model can also explain the inter-band time lags of other sources. Therefore, our model can help decipher current and future continuum reverberation mapping observations.


title: A new look at the interfaces in percolation

abstract: We propose a new definition of the interface in the context of the Bernoulli percolation model. We construct a coupling between two percolation configurations, one which is a standard percolation configuration, and one which is a percolation configuration conditioned on a disconnection event. We define the interface as the random set of the edges where these two configurations differ. We prove that, inside a cubic box $\Lambda$, the interface between the top and the bottom of the box is typically localised within a distance of order $(\ln |\Lambda|)^2$ of the set of the pivotal edges. We prove also that, in our dynamical coupling, the typical speed of the pivotal edges remains bounded as the box $\Lambda$ grows.