title: PT-Symmetry and Supersymmetry: Interconnection of Broken and Unbroken Phases

abstract: The broken and unbroken phases of PT and supersymmetry in optical systems are explored for a complex refractive index profile in the form of a Scarf potential, under the framework of supersymmetric quantum mechanics. The transition from unbroken to the broken phases of PT-symmetry, with the merger of eigenfunctions near the exceptional point is found to arise from two distinct realizations of the potential, originating from the underlying supersymmetry. Interestingly, in PT-symmetric phase, spontaneous breaking of supersymmetry occurs in a parametric domain, possessing non-trivial shape invariances, under reparametrization to yield the corresponding energy spectra. One also observes a parametric bifurcation behaviour in this domain. Unlike the real Scarf potential, in PT-symmetric phase, a connection between complex isospectral superpotentials and modified KdV equation occurs, only with certain restrictive parametric conditions. In the broken PT-symmetry phase, supersymmetry is found to be intact in the entire parameter domain yielding the complex energy spectra, with zero-width resonance occurring at integral values of a potential parameter.


title: On the homotopy types of $\mathrm{Sp}(n)$ gauge groups

abstract: Let $\mathcal{G}_{k,n}$ be the gauge group of the principal $\mathrm{Sp}(n)$-bundle over $S^4$ corresponding to $k\in\mathbb{Z}\cong\pi_3(\mathrm{Sp}(n))$. We refine the result of Sutherland on the homotopy types of $\mathcal{G}_{k,n}$ and relate it with the order of a certain Samelson product in $\mathrm{Sp}(n)$. Then we classify the $p$-local homotopy types of $\mathcal{G}_{k,n}$ for $(p-1)^2+1\ge 2n$.


title: Exploring physics beyond the Standard Electroweak Model in the light of supersymmetry

abstract: In this thesis we try to discuss certain phenomenological aspects of an R-parity violating non-minimal supersymmetric model, called $\mu\nu$SSM. We show that $\mu\nu$SSM can provide a solution to the $\mu$-problem of supersymmetry and can simultaneously accommodate the existing three flavour global data from neutrino experiments even at the tree level with the simple choice of flavour diagonal neutrino Yukawa couplings. We show that it is also possible to achieve different mass hierarchies for light neutrinos at the tree level itself. In $\mu\nu$SSM, the effect of R-parity violation together with a seesaw mechanism with TeV scale right-handed neutrinos are instrumental for light neutrino mass generation. We also analyze the stability of tree level neutrino masses and mixing with the inclusion of one-loop radiative corrections. In addition, we investigate the sensitivity of the one-loop corrections to different light neutrino mass orderings. Decays of the lightest supersymmetric particle were also computed and ratio of certain decay branching ratios was observed to correlate with certain neutrino mixing angle. We extend our analysis for different natures of the lightest supersymmetric particle as well as with various light neutrino mass hierarchies. We present estimation for the length of associated displaced vertices for various natures of the lightest supersymmetric particle which can act as a discriminating feature at a collider experiment. We also present an unconventional signal of Higgs boson in supersymmetry which can lead to a discovery, even at the initial stage of the large hadron collider running. Besides, we show that a signal of this kind can also act as a probe to the seesaw scale. Certain other phenomenological issues have also been addressed.


title: On the definition of a solution to a rough differential equation

abstract: We give an elementary proof that Davie's definition of a solution to a rough differential equation and the notion of solution given by Bailleul in (Flows driven by rough paths) coincide. This provides an alternative point on view on the deep algebraic insights of Cass and Weidner in their work (Tree algebras over topological vector spaces in rough path theory).


title: Queuing Theory Guided Intelligent Traffic Scheduling through Video Analysis using Dirichlet Process Mixture Model

abstract: Accurate prediction of traffic signal duration for roadway junction is a challenging problem due to the dynamic nature of traffic flows. Though supervised learning can be used, parameters may vary across roadway junctions. In this paper, we present a computer vision guided expert system that can learn the departure rate of a given traffic junction modeled using traditional queuing theory. First, we temporally group the optical flow of the moving vehicles using Dirichlet Process Mixture Model (DPMM). These groups are referred to as tracklets or temporal clusters. Tracklet features are then used to learn the dynamic behavior of a traffic junction, especially during on/off cycles of a signal. The proposed queuing theory based approach can predict the signal open duration for the next cycle with higher accuracy when compared with other popular features used for tracking. The hypothesis has been verified on two publicly available video datasets. The results reveal that the DPMM based features are better than existing tracking frameworks to estimate $\mu$. Thus, signal duration prediction is more accurate when tested on these datasets.The method can be used for designing intelligent operator-independent traffic control systems for roadway junctions at cities and highways.


title: The density of visible points in the Ammann-Beenker point set

abstract: The relative density of visible points of the integer lattice $\mathbb{Z}^d$ is known to be $1/\zeta(d)$ for $d\geq 2$, where $\zeta$ is Riemann's zeta function. In this paper we prove that the relative density of visible points in the Ammann-Beenker point set is given by $2(\sqrt{2}-1)/\zeta_K(2)$, where $\zeta_K$ is Dedekind's zeta function over $K=\mathbb{Q}(\sqrt{2})$.


title: Asynchronous Distributed Method of Multipliers for Constrained Nonconvex Optimization

abstract: This paper addresses a class of constrained optimization problems over networks in which local cost functions and constraints can be nonconvex. We propose an asynchronous distributed optimization algorithm, relying on the centralized Method of Multipliers, in which each node wakes up in an uncoordinated fashion and performs either a descent step on a local Augmented Lagrangian or an ascent step on the local multiplier vector. These two phases are regulated by a distributed logic-AND, which allows nodes to understand when the descent on the (whole) Augmented Lagrangian is sufficiently small. We show that this distributed algorithm is equivalent to a block coordinate descent algorithm for the minimization of the Augmented Lagrangian followed by an update of the whole multiplier vector. Thus, the proposed algorithm inherits the convergence properties of the Method of Multipliers.


title: Products of $H$-separable spaces in the Laver model

abstract: We prove that in the Laver model for the consistency of the Borel's conjecture, the product of any two $H$-separable spaces is $M$-separable.


title: Linearized Einstein's Equation around pure BTZ from Entanglement Thermodynamics

abstract: It is known that the linearized Einstein's equation around the pure $AdS$ can be obtained from the constraint $ \Delta S = \Delta\left< H \right> $, known as the first law of entanglement, on the boundary $CFT$. The corresponding dual state in the boundary $CFT$ is the vacuum state around which the linear perturbation is taken. In this paper we revisit this question, in the context of $ {AdS}_3/{CFT}_2 $, with the state of the boundary ${CFT}_2$ as a thermal state. The corresponding dual geometry is a planar BTZ black hole. By considering the linearized perturbation around this black brane we show that Einstein's equation follows from the first law of entanglement. The modular Hamiltonian in a thermal state of the ${CFT}_2$ that we have used has been recently found in arXiv:1608.01283 [cond-mat.stat-mech].


title: Impact of Dzyaloshinsky-Moriya Interactions and Tilts of the g Tensors on the Magnetization Process of a Spherical Kagome Cluster in {W72V30}

abstract: In order to clarify why the experimental magnetization curve of the spherical kagome cluster in {W72V30} at 0.5 K shows no sign of staircase behavior up to 50 T, we study the effects of Dzyaloshinsky-Moriya (DM) interactions and tilts of the g tensors, both of which lead to the breaking of the total-S z conservation, by using the exact diagonalization method. It is found that the D vector component parallel to the radiation direction of the polyhedron cancels out the staircase in a low magnetic field region efficiently. The tilts of the g tensors are inherent to systems defined on the poly- hedrons and lead to induced magnetic fields varying site by site. This induced magnetic field affects the magnetization only at high magnetic fields. We also discuss two existing experimental results on the basis of our calculated results.


title: Rotating accretion flows in $D$ dimensions: sonic points, critical points and photon spheres

abstract: We give the formulation and the general analysis of the rotational accretion problem on $D$-dimensional spherical spacetime and investigate sonic points and critical points. First, we construct the simple two-dimensional rotating accretion flow model in general $D$-dimensional static spherically symmetric spacetime and formulate the problem. The flow forms a two-dimensional disk lying on the equatorial plane and the disk is assumed to be geometrically thin and has uniform distribution in the polar angle directions. Analyzing the critical point of the problem, we give the conditions for the critical point and its classification explicitly and show the coincidence with the sonic point for generic equation of state (EOS). Next, adopting the EOS of ideal photon gas to the analysis, we reveal that there always exists a correspondence between the sonic points and the photon spheres of the spacetime. Our main result is that the sonic point of the rotating accretion flow of ideal photon gas must be on (one of) the unstable photon sphere(s) of the spacetime in arbitrary spacetime dimensions. This paper extends this correspondence for spherical flows shown in the authors' previous work to rotating accretion disks.


title: Magnetic Fields of Extrasolar Planets: Planetary Interiors and Habitability

abstract: Jupiter's radio emission has been linked to its planetary-scale magnetic field, and spacecraft investigations have revealed that most planets, and some moons, have or had a global magnetic field. Generated by internal dynamos, magnetic fields are one of the few remote sensing means of constraining the properties of planetary interiors. For the Earth, its magnetic field has been speculated to be partially responsible for its habitability, and knowledge of an extrasolar planet's magnetic field may be necessary to assess its habitability. The radio emission from Jupiter and other solar system planets is produced by an electron cyclotron maser, and detections of extrasolar planetary electron cyclotron masers will enable measurements of extrasolar planetary magnetic fields. This white paper draws heavily on the W. M. Keck Institute for Space Studies report Planetary Magnetic Fields: Planetary Interiors and Habitability (Lazio, Shkolnik, Hallinan, et al.), it incorporates topics discussed at the American Astronomical Society Topical Conference "Radio Exploration of Planetary Habitability," it complements the Astrobiology Science Strategy white paper "Life Beyond the Solar System: Space Weather and Its Impact on Habitable Worlds" (Airapetian et al.), and it addresses aspects of planetary magnetic fields discussed in the NASA Astrobiology Strategy.


title: An extended type system with lambda-typed lambda-expressions (extended version)

abstract: We present the type system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential abstraction operator as well as propositional operators. $\beta$-reduction is extended to also normalize negated expressions using a subset of the laws of classical negation, hence $\mathtt{d}$ is normalizing both proofs and formulas which are handled uniformly as functional expressions. $\mathtt{d}$ is using a reflexive typing axiom for a constant $\tau$ to which no function can be typed. Some properties are shown including confluence, subject reduction, uniqueness of types, strong normalization, and consistency. We illustrate how, when using $\mathtt{d}$, due to its limited logical strength additional axioms must be added both for negation and for the mathematical structures whose deductions are to be formalized. Several appendices deal with extensions and variations of the proposed system.


title: Experimental evidences of trions and Fermi edge singularity in single barrier GaAs/AlAs/GaAs heterostructure using photocapacitance spectroscopy

abstract: In this paper, we show how photocapacitance spectra can probe two dimensional excitonic complexes and Fermi edge singularity as a function of applied bias around 100 K. In lower density regimes (<1x1011cm^-2), the appearance of two distinct peaks in the spectra are identified as a signature of coexistence of both excitons and positively charged trions. We estimate the binding energy of these trions as ~2.0 meV. In the higher density regimes (>1x10^11 cm^-2), we observe a sharp spectral transition from trions to asymmetric shaped Fermi edge singularity in the photocapacitance spectra around a particular reverse bias. However, these signatures are absent from the photoluminescence spectra measured under identical circumstances. Such dissimilarities clearly point out that different many body physics govern these two spectral measurements. We also argue why such quantum confined dipoles of spatially indirect trions can have thermodynamically finite probability to survive even around 100 K. Finally, our observations demonstrate that photocapacitance technique, which was seldom used to detect trions in the past, can also be useful to detect the traces of these spatially indirect excitonic complexes as well as Fermi edge singularity even at 100 K. This is mainly due to enhanced sensitivity of such dielectric measurements to dipolar changes within such heterojunction.


title: Robust event-stream pattern tracking based on correlative filter

abstract: Object tracking based on retina-inspired and event-based dynamic vision sensor (DVS) is challenging for the noise events, rapid change of event-stream shape, chaos of complex background textures, and occlusion. To address these challenges, this paper presents a robust event-stream pattern tracking method based on correlative filter mechanism. In the proposed method, rate coding is used to encode the event-stream object in each segment. Feature representations from hierarchical convolutional layers of a deep convolutional neural network (CNN) are used to represent the appearance of the rate encoded event-stream object. The results prove that our method not only achieves good tracking performance in many complicated scenes with noise events, complex background textures, occlusion, and intersected trajectories, but also is robust to variable scale, variable pose, and non-rigid deformations. In addition, this correlative filter based event-stream tracking has the advantage of high speed. The proposed approach will promote the potential applications of these event-based vision sensors in self-driving, robots and many other high-speed scenes.


title: Solutions of the $U_q(\widehat{\mathfrak{sl}}_N)$ reflection equations

abstract: We find the complete set of invertible solutions of the untwisted and twisted reflection equations for the Bazhanov-Jimbo R-matrix of type ${\mathrm A}^{(1)}_{N-1}$. We also show that all invertible solutions can be obtained by an appropriate affinization procedure from solutions of the constant untwisted and twisted reflection equations.


title: Evolving Deep Convolutional Neural Networks by Variable-length Particle Swarm Optimization for Image Classification

abstract: Convolutional neural networks (CNNs) are one of the most effective deep learning methods to solve image classification problems, but the best architecture of a CNN to solve a specific problem can be extremely complicated and hard to design. This paper focuses on utilising Particle Swarm Optimisation (PSO) to automatically search for the optimal architecture of CNNs without any manual work involved. In order to achieve the goal, three improvements are made based on traditional PSO. First, a novel encoding strategy inspired by computer networks which empowers particle vectors to easily encode CNN layers is proposed; Second, in order to allow the proposed method to learn variable-length CNN architectures, a Disabled layer is designed to hide some dimensions of the particle vector to achieve variable-length particles; Third, since the learning process on large data is slow, partial datasets are randomly picked for the evaluation to dramatically speed it up. The proposed algorithm is examined and compared with 12 existing algorithms including the state-of-art methods on three widely used image classification benchmark datasets. The experimental results show that the proposed algorithm is a strong competitor to the state-of-art algorithms in terms of classification error. This is the first work using PSO for automatically evolving the architectures of CNNs.


title: Actin filaments growing against an elastic membrane: Effect of membrane tension

abstract: We study the force generation by a set of parallel actin filaments growing against an elastic membrane. The elastic membrane tries to stay flat and any deformation from this flat state, either caused by thermal fluctuations or due to protrusive polymerization force exerted by the filaments, costs energy. We study two lattice models to describe the membrane dynamics. In one case, the energy cost is assumed to be proportional to the absolute magnitude of the height gradient (gradient model) and in the other case it is proportional to the square of the height gradient (Gaussian model). For the gradient model we find that the membrane velocity is a non-monotonic function of the elastic constant $\mu$, and reaches a peak at $\mu=\mu^\ast$. For $\mu < \mu^\ast$ the system fails to reach a steady state and the membrane energy keeps increasing with time. For the Gaussian model, the system always reaches a steady state and the membrane velocity decreases monotonically with the elastic constant $\nu$ for all nonzero values of $\nu$. Multiple filaments give rise to protrusions at different regions of the membrane and the elasticity of the membrane induces an effective attraction between the two protrusions in the Gaussian model which causes the protrusions to merge and a single wide protrusion is present in the system. In both the models, the relative time-scale between the membrane and filament dynamics plays an important role in deciding whether the shape of elasticity-velocity curve is concave or convex. Our numerical simulations agree reasonably well with our analytical calculations.


title: Attack Trees in Isabelle

abstract: In this paper, we present a proof theory for attack trees. Attack trees are a well established and useful model for the construction of attacks on systems since they allow a stepwise exploration of high level attacks in application scenarios. Using the expressiveness of Higher Order Logic in Isabelle, we succeed in developing a generic theory of attack trees with a state-based semantics based on Kripke structures and CTL. The resulting framework allows mechanically supported logic analysis of the meta-theory of the proof calculus of attack trees and at the same time the developed proof theory enables application to case studies. A central correctness and completeness result proved in Isabelle establishes a connection between the notion of attack tree validity and CTL. The application is illustrated on the example of a healthcare IoT system and GDPR compliance verification.


title: Superior mechanical flexibility and strained-engineered direct-indirect band gap transition of green phosphorene

abstract: Most recently, a brand new phosphorus allotrope called green phosphorus has been predicted, which has a direct band gap up to 2.4 eV, and its single-layer form termed green phosphorene shows high stability. Here the mechanical properties and the uniaxial strain effect on the electronic band structure of green phosphorene along two perpendicular in-plane directions are investigated. Remarkably, we find that this material can sustain a tensile strain in the armchair direction up to a threshold of 35\% which is larger than that of black phosphorene, suggesting that green phosphorene is more puckered. Our calculations also show the Young's modulus and Poisson's ratio in the zigzag direction are four times larger than those in the armchair direction, which confirm the anisotropy of the material. Furthermore, the uniaxial strain can trigger the direct-indirect band gap transition for green phosphorene and the critical strains for the band gap transition are revealed.


title: A simple iterative algorithm for maxcut

abstract: We propose a simple iterative (SI) algorithm for the maxcut problem through fully using an equivalent continuous formulation. It does not need rounding at all and has advantages that all subproblems have explicit analytic solutions, the cut values are monotonically updated and the iteration points converge to a local optima in finite steps via an appropriate subgradient selection. Numerical experiments on G-set demonstrate the performance. In particular, the ratios between the best cut values achieved by SI and those by some advanced combinatorial algorithms in [Ann. Oper. Res. 248 (2017) 365] are at least $0.986$ and can be further improved to at least $0.997$ by a preliminary attempt to break out of local optima.


title: Variational Bayesian Line Spectral Estimation with Multiple Measurement Vectors

abstract: In this paper, the line spectral estimation (LSE) problem with multiple measurement vectors (MMVs) is studied utilizing the Bayesian methods. Motivated by the recently proposed variational line spectral estimation (VALSE) method, we develop the multisnapshot VALSE (MVALSE) for multi snapshot scenarios, which is especially important in array signal processing. The MVALSE shares the advantages of the VALSE method, such as automatically estimating the model order, noise variance, weight variance, and providing the uncertain degrees of the frequency estimates. It is shown that the MVALSE can be viewed as applying the VALSE with single measurement vector (SMV) to each snapshot, and combining the intermediate data appropriately. Furthermore, the Seq-MVALSE is developed to perform sequential estimation. Finally, numerical results are conducted to demonstrate the effectiveness of the MVALSE method, compared to the state-of-the-art methods in the MMVs setting.


title: Insight on confinement using scalar field interactions

abstract: The scalar field plays an fundamental role in the investigation of confinement property characterising many particle physics models. This is achieved by coupling this particle directly with gauge fields at the lagrangian level. We have adopted the same approach {[}10{]} to determine a potential as a perturbative series in terms of interquark distance. In order to introduce the gravitational effects and inspired from bag models, we implement a scalar field which interacts both with the vacuum and the electron field. In this context and with presence of the vacuum condensates, it is possible to derive a more accurate expression of the electron energy.


title: K\"ahler submanifolds of the symmetrized polydisc

abstract: This paper proves the non-existence of common K\"ahler submanifolds of the complex Euclidean space and the symmetrized polydisc endowed with their canonical metrics.


title: Argumentation theory for mathematical argument

abstract: To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport's structured proofs.


title: Implications of dilaton couplings on the axion potential

abstract: In particle physics and cosmology, the dilaton is an hypothetical scalar field which can explain many physical phenomena. In this framework, we investigate an extended lagrangian of QCD which involves dilatonic degrees of freedom. Our approach is based on the relationship between the massive dilaton and the nonperturbative effects of QCD. We derive a general axion potential involving the dilaton properties and vacuum condensates.


title: Analysing Developers Affectiveness through Markov chain Models

abstract: In this paper, we present an analysis of more than 500K comments from open-source repositories of software systems. Our aim is to empirically determine how developers interact with each other under certain psychological conditions generated by politeness, sentiment and emotion expressed in developers' comments. Developers involved in open-source projects do not usually know each other; they mainly communicate through mailing lists, chat rooms, and tools such as issue tracking systems. The way in which they communicate affects the development process and the productivity of the people involved in the project. We evaluated politeness, sentiment, and emotions of comments posted by developers and studied the communication flow to understand how they interacted in the presence of impolite and negative comments (and vice versa). Our analysis shows that when in presence of impolite or negative comments, the probability of the next comment being impolite or negative is 14% and 25%, respectively; anger, however, has a probability of 40% of being followed by a further anger comment. The result could help managers take control the development phases of a system since social aspects can seriously affect a developer's productivity. In a distributed environment this may have a particular resonance.


title: Weakly Supervised Salient Object Detection Using Image Labels

abstract: Deep learning based salient object detection has recently achieved great success with its performance greatly outperforms any other unsupervised methods. However, annotating per-pixel saliency masks is a tedious and inefficient procedure. In this paper, we note that superior salient object detection can be obtained by iteratively mining and correcting the labeling ambiguity on saliency maps from traditional unsupervised methods. We propose to use the combination of a coarse salient object activation map from the classification network and saliency maps generated from unsupervised methods as pixel-level annotation, and develop a simple yet very effective algorithm to train fully convolutional networks for salient object detection supervised by these noisy annotations. Our algorithm is based on alternately exploiting a graphical model and training a fully convolutional network for model updating. The graphical model corrects the internal labeling ambiguity through spatial consistency and structure preserving while the fully convolutional network helps to correct the cross-image semantic ambiguity and simultaneously update the coarse activation map for next iteration. Experimental results demonstrate that our proposed method greatly outperforms all state-of-the-art unsupervised saliency detection methods and can be comparable to the current best strongly-supervised methods training with thousands of pixel-level saliency map annotations on all public benchmarks.


title: Superconductivity without inversion and time-reversal symmetries

abstract: The traditional symmetries that protect superconductivity are time-reversal and inversion. Here, we examine the minimal symmetries protecting superconductivity in two dimensions and find that time-reversal symmetry and inversion symmetry are not required, and having a combination of either symmetry with a mirror operation on the basal plane is sufficient. We classify superconducting states stabilized by these two symmetries, when time-reversal and inversion symmetries are not present, and provide realistic minimal models as examples. Interestingly, several experimentally realized systems, such as transition metal dichalcogenides and the two-dimensional Rashba system belong to this category, when subject to an applied magnetic field.


title: A simulated annealing procedure based on the ABC Shadow algorithm for statistical inference of point processes

abstract: Recently a new algorithm for sampling posteriors of unnormalised probability densities, called ABC Shadow, was proposed in [8]. This talk introduces a global optimisation procedure based on the ABC Shadow simulation dynamics. First the general method is explained, and then results on simulated and real data are presented. The method is rather general, in the sense that it applies for probability densities that are continuously differentiable with respect to their parameters


title: Learning Unsupervised Visual Grounding Through Semantic Self-Supervision

abstract: Localizing natural language phrases in images is a challenging problem that requires joint understanding of both the textual and visual modalities. In the unsupervised setting, lack of supervisory signals exacerbate this difficulty. In this paper, we propose a novel framework for unsupervised visual grounding which uses concept learning as a proxy task to obtain self-supervision. The simple intuition behind this idea is to encourage the model to localize to regions which can explain some semantic property in the data, in our case, the property being the presence of a concept in a set of images. We present thorough quantitative and qualitative experiments to demonstrate the efficacy of our approach and show a 5.6% improvement over the current state of the art on Visual Genome dataset, a 5.8% improvement on the ReferItGame dataset and comparable to state-of-art performance on the Flickr30k dataset.


title: Covering Arrays for Equivalence Classes of Words

abstract: Covering arrays for words of length $t$ over a $d$ letter alphabet are $k \times n$ arrays with entries from the alphabet so that for each choice of $t$ columns, each of the $d^t$ $t$-letter words appears at least once among the rows of the selected columns. We study two schemes in which all words are not considered to be different. In the first case words are equivalent if they induce the same partition of a $t$ element set. In the second case, words of the same weight are equivalent. In both cases we produce logarithmic upper bounds on the minimum size $k=k(n)$ of a covering array. Definitive results for $t=2,3,4$, as well as general results, are provided.


title: MergeNet: A Deep Net Architecture for Small Obstacle Discovery

abstract: We present here, a novel network architecture called MergeNet for discovering small obstacles for on-road scenes in the context of autonomous driving. The basis of the architecture rests on the central consideration of training with less amount of data since the physical setup and the annotation process for small obstacles is hard to scale. For making effective use of the limited data, we propose a multi-stage training procedure involving weight-sharing, separate learning of low and high level features from the RGBD input and a refining stage which learns to fuse the obtained complementary features. The model is trained and evaluated on the Lost and Found dataset and is able to achieve state-of-art results with just 135 images in comparison to the 1000 images used by the previous benchmark. Additionally, we also compare our results with recent methods trained on 6000 images and show that our method achieves comparable performance with only 1000 training samples.


title: Explosive shock tube of xenon non-ideal plasma for proton radiography

abstract: A high explosive shock tube of non-ideal gaseous plasma for proton radiography is described. The gas dynamic flow in the shock compressed xenon at initial pressure of 7 bar was investigated in the tube. The velocity of the shock wave in xenon and the associated particle velocity were measured by a high-speed rotating mirror streak camera. Experimental time-distance data was used for approximation of the velocities by exponential decay functions. The shock tube is intended for generation of non-ideal plasma of xenon at the pressure of 5-12 kbar, the density of 0.24-0.3 g/cm3 when the initial pressure is about 7 bar.


title: Hidden Integrality and Semi-random Robustness of SDP Relaxation for Sub-Gaussian Mixture Model

abstract: We consider the problem of estimating the discrete clustering structures under the Sub-Gaussian Mixture Model. Our main results establish a hidden integrality property of a semidefinite programming (SDP) relaxation for this problem: while the optimal solution to the SDP is not integer-valued in general, its estimation error can be upper bounded by that of an idealized integer program. The error of the integer program, and hence that of the SDP, are further shown to decay exponentially in the signal-to-noise ratio. In addition, we show that the SDP relaxation is robust under the semi-random setting in which an adversary can modify the data generated from the mixture model. In particular, we generalize the hidden integrality property to the semi-random model and thereby show that SDP achieves the optimal error bound in this setting. These results together highlight the "global-to-local" mechanism that drives the performance of the SDP relaxation. To the best of our knowledge, our result is the first exponentially decaying error bound for convex relaxations of mixture models. A corollary of our results shows that in certain regimes the SDP solutions are in fact integral and exact. More generally, our results establish sufficient conditions for the SDP to correctly recover the cluster memberships of $(1-\delta)$ fraction of the points for any $\delta\in(0,1)$. As a special case, we show that under the $d$-dimensional Stochastic Ball Model, SDP achieves non-trivial (sometimes exact) recovery when the center separation is as small as $\sqrt{1/d}$, which improves upon previous exact recovery results that require constant separation.

categories: stat.ML cs.IT cs.LG math.IT math.OC math.ST stat.TH


title: On discretization of the Euler top

abstract: Application of the intersection theory to construction of n-point finite-difference equations associated with classical integrable systems is discussed. As an example, we present a few new discretizations of motion of the Euler top sharing the integrals of motion with the continuous time system and the Poisson bracket up to the integer scaling factor.


title: Quantum engineering of transistors based on 2D materials heterostructures

abstract: Quantum engineering entails atom by atom design and fabrication of electronic devices. This innovative technology that unifies materials science and device engineering has been fostered by the recent progress in the fabrication of vertical and lateral heterostructures of two-dimensional materials and by the assessment of the technology potential via computational nanotechnology. But how close are we to the possibility of practical realisation of the next generation atomically thin transistors? In this perspective we analyse the outlook and the challenges of quantum- engineered transistors using heterostructures of two-dimensional materials against the benchmark of silicon technology and its foreseeable evolution in terms of potential performance and manufacturability. Transistors based on lateral heterostructures emerge as the most promising option from a performance point of view, even if heterostructure formation and control are in the initial technology development stage.


title: Two-color electromagnetically induced transparency via modulated coupling between a mechanical resonator and a qubit

abstract: We discuss level splitting and sideband transitions induced by a modulated coupling between a superconducting quantum circuit and a nanomechanical resonator. First, we show how to achieve an unconventional time-dependent longitudinal coupling between a flux (transmon) qubit and the resonator. Considering a sinusoidal modulation of the coupling strength, we find that a first-order sideband transition can be split into two. Moreover, under the driving of a red-detuned field, we discuss the optical response of the qubit for a resonant probe field. We show that level splitting induced by modulating this longitudinal coupling can enable two-color electromagnetically induced transparency (EIT), in addition to single-color EIT. In contrast to standard predictions of two-color EIT in atomic systems, we apply here only a single drive (control) field. The monochromatic modulation of the coupling strength is equivalent to employing two eigenfrequency-tunable mechanical resonators. Both drive-probe detuning for single-color EIT and the distance between transparent windows for two-color EIT, can be adjusted by tuning the modulation frequency of the coupling.


title: On weak universality of three-dimensional Larger than Life cellular automaton

abstract: Larger than Life cellular automaton (LtL) is a class of cellular automata and is a generalization of the game of Life by extending its neighborhood radius. We have studied the three-dimensional extension of LtL. In this paper, we show a radius-4 three-dimensional LtL rule is a candidate for weakly universal one.


title: From nonholonomic quantum constraint to canonical variables of photons I: true intrinsic degree of freedom

abstract: We report that the true intrinsic degree of freedom of the photon is neither the polarization nor the spin. It describes a local property in momentum space and is represented in the local representation by the Pauli matrices. This result is achieved by treating the transversality condition on the vector wavefunction as a nonholonomic quantum constraint. We find that the quantum constraint makes it possible to generalize the Stokes parameters to characterize the polarization of a general state. Unexpectedly, the generalized Stokes parameters are specified in a momentum-space local reference system that is fixed by another degree of freedom, called Stratton vector. Only constant Stokes parameters in one particular local reference system can convey the intrinsic degree of freedom of the photon. We show that the optical rotation is one of such processes that change the Stratton vector with the intrinsic quantum number remaining fixed. Changing the Stratton vector of the eigenstate of the helicity will give rise to a Berry's phase.


title: Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE

abstract: Dataflow coverage, one of the white-box testing criteria, focuses on the relations between variable definitions and their uses.Several empirical studies have proved data-flow testing is more effective than control-flow testing. However, data-flow testing still cannot find its adoption in practice, due to the lack of effective tool support. To this end, we propose a guided symbolic execution approach to efficiently search for program paths to satisfy data-flow coverage criteria. We implemented this approach on KLEE and evaluated with 30 program subjects which are constructed by the subjects used in previous data-flow testing literature, SIR, SV-COMP benchmarks. Moreover, we are planning to integrate the data-flow testing technique into the new proposed symbolic execution engine, SmartUnit, which is a cloud-based unit testing service for industrial software, supporting coverage-based testing. It has successfully helped several well-known corporations and institutions in China to adopt coverage-based testing in practice, totally tested more than one million lines of real code from industry.


title: Optimal Designs for the Generalized Partial Credit Model

abstract: Analyzing ordinal data becomes increasingly important in psychology, especially in the context of item response theory. The generalized partial credit model (GPCM) is probably the most widely used ordinal model and finds application in many large scale educational assessment studies such as PISA. In the present paper, optimal test designs are investigated for estimating persons' abilities with the GPCM for calibrated tests when item parameters are known from previous studies. We will derive that local optimality may be achieved by assigning non-zero probability only to the first and last category independently of a person's ability. That is, when using such a design, the GPCM reduces to the dichotomous 2PL model. Since locally optimal designs require the true ability to be known, we consider alternative Bayesian design criteria using weight distributions over the ability parameter space. For symmetric weight distributions, we derive necessary conditions for the optimal one-point design of two response categories to be Bayes optimal. Furthermore, we discuss examples of common symmetric weight distributions and investigate, in which cases the necessary conditions are also sufficient. Since the 2PL model is a special case of the GPCM, all of these results hold for the 2PL model as well.


title: Provable Convex Co-clustering of Tensors

abstract: Cluster analysis is a fundamental tool for pattern discovery of complex heterogeneous data. Prevalent clustering methods mainly focus on vector or matrix-variate data and are not applicable to general-order tensors, which arise frequently in modern scientific and business applications. Moreover, there is a gap between statistical guarantees and computational efficiency for existing tensor clustering solutions due to the nature of their non-convex formulations. In this work, we bridge this gap by developing a provable convex formulation of tensor co-clustering. Our convex co-clustering (CoCo) estimator enjoys stability guarantees and its computational and storage costs are polynomial in the size of the data. We further establish a non-asymptotic error bound for the CoCo estimator, which reveals a surprising "blessing of dimensionality" phenomenon that does not exist in vector or matrix-variate cluster analysis. Our theoretical findings are supported by extensive simulated studies. Finally, we apply the CoCo estimator to the cluster analysis of advertisement click tensor data from a major online company. Our clustering results provide meaningful business insights to improve advertising effectiveness.


title: Signal detection via Phi-divergences for general mixtures

abstract: In this paper we are interested in testing whether there are any signals hidden in high dimensional noise data. Therefore we study the family of goodness-of-fit tests based on $\Phi$-divergences including the test of Berk and Jones as well as Tukey's higher criticism test. The optimality of this family is already known for the heterogeneous normal mixture model. We now present a technique to transfer this optimality to more general models. For illustration we apply our results to dense signal and sparse signal models including the exponential-$\chi^2$ mixture model and general exponential families as the normal, exponential and Gumbel distribution. Beside the optimality of the whole family we discuss the power behavior on the detection boundary and show that the whole family has no power there, whereas the likelihood ratio test does.


title: Analysis of Triplet Motifs in Biological Signed Oriented Graphs Suggests a Relationship Between Fine Topology and Function

abstract: Background: Networks in different domains are characterized by similar global characteristics while differing in local structures. To further extend this concept, we investigated network regularities on a fine scale in order to examine the functional impact of recurring motifs in signed oriented biological networks. In this work we generalize to signaling net works some considerations made on feedback and feed forward loops and extend them by adding a close scrutiny of Linear Triplets, which have not yet been investigate in detail. Results: We studied the role of triplets, either open or closed (Loops or linear events) by enumerating them in different biological signaling networks and by comparing their significance profiles. We compared different data sources and investigated the fine topology of protein networks representing causal relationships based on transcriptional control, phosphorylation, ubiquitination and binding. Not only were we able to generalize findings that have already been reported but we also highlighted a connection between relative motif abundance and node function. Furthermore, by analyzing for the first time Linear Triplets, we highlighted the relative importance of nodes sitting in specific positions in closed signaling triplets. Finally, we tried to apply machine learning to show that a combination of motifs features can be used to derive node function. Availability: The triplets counter used for this work is available as a Cytoscape App and as a standalone command line Java application. http://apps.cytoscape.org/apps/counttriplets Keywords: Graph theory, graph analysis, graph topology, machine learning, cytoscape


title: Beyond the Low-Degree Algorithm: Mixtures of Subcubes and Their Applications

abstract: We introduce the problem of learning mixtures of $k$ subcubes over $\{0,1\}^n$, which contains many classic learning theory problems as a special case (and is itself a special case of others). We give a surprising $n^{O(\log k)}$-time learning algorithm based on higher-order multilinear moments. It is not possible to learn the parameters because the same distribution can be represented by quite different models. Instead, we develop a framework for reasoning about how multilinear moments can pinpoint essential features of the mixture, like the number of components. We also give applications of our algorithm to learning decision trees with stochastic transitions (which also capture interesting scenarios where the transitions are deterministic but there are latent variables). Using our algorithm for learning mixtures of subcubes, we can approximate the Bayes optimal classifier within additive error $\epsilon$ on $k$-leaf decision trees with at most $s$ stochastic transitions on any root-to-leaf path in $n^{O(s + \log k)}\cdot\text{poly}(1/\epsilon)$ time. In this stochastic setting, the classic Occam algorithms for learning decision trees with zero stochastic transitions break down, while the low-degree algorithm of Linial et al. inherently has a quasipolynomial dependence on $1/\epsilon$. In contrast, as we will show, mixtures of $k$ subcubes are uniquely determined by their degree $2 \log k$ moments and hence provide a useful abstraction for simultaneously achieving the polynomial dependence on $1/\epsilon$ of the classic Occam algorithms for decision trees and the flexibility of the low-degree algorithm in being able to accommodate stochastic transitions. Using our multilinear moment techniques, we also give the first improved upper and lower bounds since the work of Feldman et al. for the related but harder problem of learning mixtures of binary product distributions.


title: Fragment Distribution in Reactions of $^{78,86}$Kr+$^{181}$Ta

abstract: Within the framework of the isospin-dependent quantum molecular dynamics model along with the GEMINI model, the reaction of $^{86}$Kr+$^{181}$Ta at 80,120 and 160 MeV/nucleon and the reaction of $^{78}$Kr+$^{181}$Ta at 160 MeV/nucleon are studied, and the production cross sections of the generated fragments are calculated. More intermediate and large mass fragments can be produced in the reaction with a large range of impact parameter. The production cross sections of nuclei such as the isotopes of Si and P generally decrease with the increasing incident energy. The isotopes near the neutron drip line are produced more in the neutron-rich system $^{86}$Kr+$^{181}$Ta.


title: Stochastic model-based minimization of weakly convex functions

abstract: We consider a family of algorithms that successively sample and minimize simple stochastic models of the objective function. We show that under reasonable conditions on approximation quality and regularity of the models, any such algorithm drives a natural stationarity measure to zero at the rate $O(k^{-1/4})$. As a consequence, we obtain the first complexity guarantees for the stochastic proximal point, proximal subgradient, and regularized Gauss-Newton methods for minimizing compositions of convex functions with smooth maps. The guiding principle, underlying the complexity guarantees, is that all algorithms under consideration can be interpreted as approximate descent methods on an implicit smoothing of the problem, given by the Moreau envelope. Specializing to classical circumstances, we obtain the long-sought convergence rate of the stochastic projected gradient method, without batching, for minimizing a smooth function on a closed convex set.


title: SeqFace: Make full use of sequence information for face recognition

abstract: Deep convolutional neural networks (CNNs) have greatly improved the Face Recognition (FR) performance in recent years. Almost all CNNs in FR are trained on the carefully labeled datasets containing plenty of identities. However, such high-quality datasets are very expensive to collect, which restricts many researchers to achieve state-of-the-art performance. In this paper, we propose a framework, called SeqFace, for learning discriminative face features. Besides a traditional identity training dataset, the designed SeqFace can train CNNs by using an additional dataset which includes a large number of face sequences collected from videos. Moreover, the label smoothing regularization (LSR) and a new proposed discriminative sequence agent (DSA) loss are employed to enhance discrimination power of deep face features via making full use of the sequence data. Our method achieves excellent performance on Labeled Faces in the Wild (LFW), YouTube Faces (YTF), only with a single ResNet. The code and models are publicly available on-line (https://github.com/huangyangyu/SeqFace).


title: A Benchmark Study on Sentiment Analysis for Software Engineering Research

abstract: A recent research trend has emerged to identify developers' emotions, by applying sentiment analysis to the content of communication traces left in collaborative development environments. Trying to overcome the limitations posed by using off-the-shelf sentiment analysis tools, researchers recently started to develop their own tools for the software engineering domain. In this paper, we report a benchmark study to assess the performance and reliability of three sentiment analysis tools specifically customized for software engineering. Furthermore, we offer a reflection on the open challenges, as they emerge from a qualitative analysis of misclassified texts.


title: Titanium diboride ceramics for solar thermal absorbers

abstract: Titanium diboride (TiB2) is a low-density refractory material belonging to the family of ultra-high temperature ceramics (UHTCs). This paper reports on the production and microstructural and optical characterization of nearly fully dense TiB2, with particular interest to its potential utilization as novel thermal solar absorber. Monolithic bulk samples are produced starting from elemental reactants by a two-step method consisting of the Self-propagating High-temperature Synthesis (SHS) followed by the Spark Plasma Sintering (SPS) of the resulting powders. The surface of obtained samples has-been characterized from the microstructural and topological points of view. The hemispherical reflectance spectrum has been measured from 0.3 to 15 um wavelength, to evaluate the potential of this material as solar absorber for future concentrating solar plants.


title: Presence of horizon makes particle motion chaotic

abstract: We analyze the motion of a {\it massless} and {\it chargeless} particle very near to the event horizon. It reveals that the radial motion has exponential growing nature which indicates that there is a possibility of inducing chaos in the particle motion of an integrable system when it comes under the influence of the horizon. This is being confirmed by investigating the Poincar$\acute{e}$ section of the trajectories with the introduction of a harmonic trap to confine the particle's motion. Two situations are investigated: (a) {\it any} static, spherically symmetric black hole and, (b) spacetime represents a stationary, axisymmetric black hole (e.g., Kerr metric). In both cases, the largest Lyapunov exponent has upper bound which is the surface gravity of the horizon. We find that the inclusion of rotation in the spacetime introduces more chaotic fluctuations in the system. The possible implications are finally discussed.


title: Optical properties of dense zirconium and tantalum diborides for solar thermal absorbers

abstract: Ultra-high temperature ceramics (UHTCs) are interesting materials for a large variety of applications under extreme conditions. This paper reports on the production and extensive characterization of highly dense, pure zirconium and tantalum diborides, with particular interest to their potential utilization in the thermal solar energy field. Monolithic bulk samples are produced by Spark Plasma Sintering starting from elemental reactants or using metal diboride powders previously synthesized by Self-propagating High-temperature Synthesis (SHS). Microstructural and optical properties of products obtained by the two processing methods have been comparatively evaluated. We found that pure diborides show a good spectral selectivity, which is an appealing characteristic for solar absorber applications. No, or very small, differences in the optical properties have been evidenced when the two investigated processes adopted for the fabrication of dense TaB2 and ZrB2, respectively, are compared.


title: Connecting Coronal Mass Ejections to their Solar Active Region Sources: Combining Results from the HELCATS and FLARECAST Projects

abstract: Coronal mass ejections (CMEs) and other solar eruptive phenomena can be physically linked by combining data from a multitude of ground-based and space-based instruments alongside models, however this can be challenging for automated operational systems. The EU Framework Package 7 HELCATS project provides catalogues of CME observations and properties from the Helio- spheric Imagers onboard the two NASA/STEREO spacecraft in order to track the evolution of CMEs in the inner heliosphere. From the main HICAT catalogue of over 2,000 CME detections, an automated algorithm has been developed to connect the CMEs observed by STEREO to any corresponding solar flares and active region (AR) sources on the solar surface. CME kinematic properties, such as speed and angular width, are compared with AR magnetic field properties, such as magnetic flux, area, and neutral line characteristics. The resulting LOWCAT catalogue is also compared to the extensive AR property database created by the EU Horizon 2020 FLARECAST project, which provides more complex magnetic field parameters derived from vector magnetograms. Initial statistical analysis has been undertaken on the new data to provide insight into the link between flare and CME events, and characteristics of eruptive ARs. Warning thresholds determined from analysis of the evolution of these parameters is shown to be a useful output for operational space weather purposes. Parameters of particular interest for further analysis include total unsigned flux, vertical current, and current helicity. The automated method developed to create the LOWCAT catalogue may also be useful for future efforts to develop operational CME forecasting.


title: Designing Quantum Router in IBM Quantum Computer

abstract: Quantum router is an essential ingredient in a quantum network. Here, we propose a new quantum circuit for designing quantum router by using IBM's five-qubit quantum computer. We design an equivalent quantum circuit, by the means of single-qubit and two-qubit quantum gates, which can perform the operation of a quantum router. Here, we show the routing of signal information in two different paths (two signal qubits) which is directed by a control qubit. According to the process of routing, the signal information is found to be in a coherent superposition of two paths. We demonstrate the quantum nature of the router by illustrating the entanglement between the control qubit and the two signal qubits (two paths), and confirm the well preservation of the signal information in either of the two paths after the routing process. We perform quantum state tomography to verify the generation of entanglement and preservation of information. It is found that the experimental results are obtained with good fidelity.


title: Topology Estimation using Graphical Models in Multi-Phase Power Distribution Grids

abstract: Distribution grid is the medium and low voltage part of a large power system. Structurally, the majority of distribution networks operate radially, such that energized lines form a collection of trees, i.e. forest, with a substation being at the root of any tree. The operational topology/forest may change from time to time, however tracking these changes, even though important for the distribution grid operation and control, is hindered by limited real-time monitoring. This paper develops a learning framework to reconstruct radial operational structure of the distribution grid from synchronized voltage measurements in the grid subject to the exogenous fluctuations in nodal power consumption. To detect operational lines our learning algorithm uses conditional independence tests for continuous random variables that is applicable to a wide class of probability distributions of the nodal consumption and Gaussian injections in particular. Moreover, our algorithm applies to the practical case of unbalanced three-phase power flow. Algorithm performance is validated on AC power flow simulations over IEEE distribution grid test cases.


title: Highly charged ions: optical clocks and applications in fundamental physics

abstract: Recent developments in frequency metrology and optical clocks have been based on electronic transitions in atoms and singly charged ions as references. These systems have enabled relative frequency uncertainties at a level of a few parts in $10^{-18}$. This accomplishment not only allows for extremely accurate time and frequency measurements, but also to probe our understanding of fundamental physics, such as variation of fundamental constants, violation of the local Lorentz invariance, and forces beyond the Standard Model of Physics. In addition, novel clocks are driving the development of sophisticated technical applications. Crucial for applications of clocks in fundamental physics are a high sensitivity to effects beyond the Standard Model and Einstein's Theory of Relativity and a small frequency uncertainty of the clock. Highly charged ions offer both. They have been proposed as highly accurate clocks, since they possess optical transitions which can be extremely narrow and less sensitive to external perturbations compared to current atomic clock species. The selection of highly charged ions in different charge states offers narrow transitions that are among the most sensitive ones for a change in the fine-structure constant and the electron-to-proton mass ratio, as well as other new physics effects. Recent advances in trapping and sympathetic cooling of highly charged ions will in the future enable high accuracy optical spectroscopy. Progress in calculating the properties of selected highly charged ions has allowed the evaluation of systematic shifts and the prediction of the sensitivity to the "new physics" effects. This article reviews the current status of theory and experiment in the field.


title: Moduli of quiver representations for exceptional collections on surfaces

abstract: Suppose $S$ is a smooth projective surface over an algebraically closed field $k$, $\mathcal{L}=\{L_1,\ldots,L_n\}$ is a full strong exceptional collection of line bundles on $S$. Let $Q$ be the quiver associated to this collection. One might hope that $S$ is the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $\theta$: $S\cong M_\theta$. In this paper, we show that this is the case for del Pezzo surfaces. Furthermore, we show the blow-up at a point can be recovered from an augmentation of exceptional collections (in the sense of L. Hille and M.Perling) via morphism between moduli of quiver representations.


title: LoRa Throughput Analysis with Imperfect Spreading Factor Orthogonality

abstract: LoRa is one of the promising techniques for enabling Low Power Wide Area Networks (LPWANs) for future Internet-of-Things (IoT) devices. Although LoRa allows flexible adaptations of coverage and data rates, it is subject to intrinsic types of interferences: co-SF interferences where end-devices with the same Spreading Factors (SFs) are subject to collisions, and inter-SF interferences where end-devices with different SFs experience collisions. Most current works have considered perfect orthogonality among different SFs. In this work, we provide a theoretical analysis of the achievable LoRa throughput in uplink, where the capture conditions specific to LoRa are included. Results show the accuracy of our analysis despite approximations, and the throughput losses from imperfect SF orthogonality, under different SF allocations. Our analysis will enable the design of specific SF allocation mechanisms, in view of further throughput enhancements.


title: Dear Sir or Madam, May I introduce the GYAFC Dataset: Corpus, Benchmarks and Metrics for Formality Style Transfer

abstract: Style transfer is the task of automatically transforming a piece of text in one particular style into another. A major barrier to progress in this field has been a lack of training and evaluation datasets, as well as benchmarks and automatic metrics. In this work, we create the largest corpus for a particular stylistic transfer (formality) and show that techniques from the machine translation community can serve as strong baselines for future work. We also discuss challenges of using automatic metrics.


title: Optimal Design of Experiments for Nonlinear Response Surface Models

abstract: Many chemical and biological experiments involve multiple treatment factors and often it is convenient to fit a nonlinear model in these factors. This nonlinear model can be mechanistic, empirical or a hybrid of the two. Motivated by experiments in chemical engineering, we focus on D-optimal design for multifactor nonlinear response surfaces in general. In order to find and study optimal designs, we first implement conventional point and coordinate exchange algorithms. Next, we develop a novel multiphase optimisation method to construct D-optimal designs with improved properties. The benefits of this method are demonstrated by application to two experiments involving nonlinear regression models. The designs obtained are shown to be considerably more informative than designs obtained using traditional design optimality algorithms.


title: Renormalization of the Hutchinson Operator

abstract: One of the easiest and common ways of generating fractal sets in ${\mathbb R}^D$ is as attractors of affine iterated function systems (IFS). The classic theory of IFS's requires that they are made with contractive functions. In this paper, we relax this hypothesis considering a new operator $H_\rho$ obtained by renormalizing the usual Hutchinson operator $H$. Namely, the $H_\rho$-orbit of a given compact set $K_0$ is built from the original sequence $\big(H^n(K_0)\big)_n$ by rescaling each set by its distance from $0$. We state several results for the convergence of these orbits and give a geometrical description of the corresponding limit sets. In particular, it provides a way to construct some eigensets for $H$. Our strategy to tackle the problem is to link these new sequences to some classic ones but it will depend on whether the IFS is strictly linear or not. We illustrate the different results with various detailed examples. Finally, we discuss some possible generalizations.


title: Interaction between stimulated current injection and polariton condensate

abstract: In this paper, we see a strong effect of the injected current on the light emission from the polariton condensate in an n-i-n structure, when we monitor the luminescence intensity under applied bias at various pump powers. We present here three thresholds for nonlinear increase of the intensity. We show that small changes of the incoherent injected current lead to stimulated enhancement of the coherent light emission from free carriers. We conclude that the polariton condensate-current system is a highly nonlinear electro-optical system.


title: The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications

abstract: We completely describe the functional graph associated to iterations of Chebyshev polynomials over finite fields. Then, we use our structural results to obtain estimates for the average rho length, average number of connected components and the expected value for the period and preperiod of iterating Chebyshev polynomials.


title: Learning over Knowledge-Base Embeddings for Recommendation

abstract: State-of-the-art recommendation algorithms -- especially the collaborative filtering (CF) based approaches with shallow or deep models -- usually work with various unstructured information sources for recommendation, such as textual reviews, visual images, and various implicit or explicit feedbacks. Though structured knowledge bases were considered in content-based approaches, they have been largely neglected recently due to the availability of vast amount of data, and the learning power of many complex models. However, structured knowledge bases exhibit unique advantages in personalized recommendation systems. When the explicit knowledge about users and items is considered for recommendation, the system could provide highly customized recommendations based on users' historical behaviors. A great challenge for using knowledge bases for recommendation is how to integrated large-scale structured and unstructured data, while taking advantage of collaborative filtering for highly accurate performance. Recent achievements on knowledge base embedding sheds light on this problem, which makes it possible to learn user and item representations while preserving the structure of their relationship with external knowledge. In this work, we propose to reason over knowledge base embeddings for personalized recommendation. Specifically, we propose a knowledge base representation learning approach to embed heterogeneous entities for recommendation. Experimental results on real-world dataset verified the superior performance of our approach compared with state-of-the-art baselines.


title: Adaptive strategy for superpixel-based region-growing image segmentation

abstract: This work presents a region-growing image segmentation approach based on superpixel decomposition. From an initial contour-constrained over-segmentation of the input image, the image segmentation is achieved by iteratively merging similar superpixels into regions. This approach raises two key issues: (1) how to compute the similarity between superpixels in order to perform accurate merging and (2) in which order those superpixels must be merged together. In this perspective, we firstly introduce a robust adaptive multi-scale superpixel similarity in which region comparisons are made both at content and common border level. Secondly, we propose a global merging strategy to efficiently guide the region merging process. Such strategy uses an adpative merging criterion to ensure that best region aggregations are given highest priorities. This allows to reach a final segmentation into consistent regions with strong boundary adherence. We perform experiments on the BSDS500 image dataset to highlight to which extent our method compares favorably against other well-known image segmentation algorithms. The obtained results demonstrate the promising potential of the proposed approach.


title: Convolutional Point-set Representation: A Convolutional Bridge Between a Densely Annotated Image and 3D Face Alignment

abstract: We present a robust method for estimating the facial pose and shape information from a densely annotated facial image. The method relies on Convolutional Point-set Representation (CPR), a carefully designed matrix representation to summarize different layers of information encoded in the set of detected points in the annotated image. The CPR disentangles the dependencies of shape and different pose parameters and enables updating different parameters in a sequential manner via convolutional neural networks and recurrent layers. When updating the pose parameters, we sample reprojection errors along with a predicted direction and update the parameters based on the pattern of reprojection errors. This technique boosts the model's capability in searching a local minimum under challenging scenarios. We also demonstrate that annotation from different sources can be merged under the framework of CPR and contributes to outperforming the current state-of-the-art solutions for 3D face alignment. Experiments indicate the proposed CPRFA (CPR-based Face Alignment) significantly improves 3D alignment accuracy when the densely annotated image contains noise and missing values, which is common under "in-the-wild" acquisition scenarios.


title: The parametrix method for parabolic SPDEs

abstract: We consider the Cauchy problem for a linear stochastic partial differential equation. By extending the parametrix method for PDEs whose coefficients are only measurable with respect to the time variable, we prove existence, regularity in H\"older classes and estimates from above and below of the fundamental solution. This result is applied to SPDEs by means of the Ito-Wentzell formula, through a random change of variables which transforms the SPDE into a PDE with random coefficients.


title: Long ligands reinforce biological adhesion under shear flow

abstract: In this work the computer modeling has been used to show that longer ligands allow biological cells (e.g., blood platelets) to withstand stronger flows after their adhesion to solid walls. Mechanistic model of polymer-mediated ligand-receptor adhesion between a microparticle (cell) and a flat wall has been developed. Theoretical threshold between adherent and non-adherent regimes has been derived analytically and confirmed by simulations. These results lead to a deeper understanding of numerous biophysical processes, e.g., arterial thrombosis, and to the design of new biomimetic colloid-polymer systems.


title: Improving Vulnerability Inspection Efficiency Using Active Learning

abstract: Software engineers can find vulnerabilities with less effort if they are directed towards code that might contain more vulnerabilities. HARMLESS is an incremental support vector machine tool that builds a vulnerability prediction model from the sourcecode inspected to date, then suggests what source code files should be inspected next. In this way, HARMLESS can reduce the time and effort required to achieve some desired level of recall for finding vulnerabilities. The tool also provides feedback on when to stop (at that desired level of recall) while at the same time, correcting human errors by double-checking suspicious files. This paper evaluates HARMLESS on Mozilla Firefox vulnerability data. HARMLESS found 80, 90, 95, 99% of the vulnerabilities by inspecting 10, 16, 20, 34% of the source code files. When targeting 90, 95, 99% recall, HARMLESS could stop after inspecting 23, 30, 47% of the source code files. Even when human reviewers fail to identify half of the vulnerabilities (50% false negative rate), HARMLESScould detect 96% of the missing vulnerabilities by double-checking half of the inspected files. Our results serve to highlight the very steep cost of protecting software from vulnerabilities (in our case study that cost is, for example, the human effort of inspecting 28,750$\times$20% = 5,750 source code files to identify 95% of the vulnerabilities). While this result could benefit the mission-critical projects where human resources are available for inspecting thousands of source code files, the research challenge for future work is how to further reduce that cost. The conclusion of this paper discusses various ways that goal might be achieved.


title: Microscale resolution thermal mapping using a flexible platform of patterned quantum sensors

abstract: Temperature sensors with micro- and nanoscale spatial resolution have long been explored for their potential to investigate the details of physical systems at an unprecedented scale. In particular, the rapid miniaturization of transistor technology, with the associated steep boost in power density, calls for sensors that accurately monitor heating distributions. Here, we report on a simple and scalable fabrication approach, based on directed self-assembly and transfer printing techniques, to construct arrays of nanodiamonds containing temperature sensitive fluorescent spin defects. The nanoparticles are embedded within a low thermal conductivity matrix that allows for repeated use on a wide range of systems with minimal spurious effects. Additionally, we demonstrate access to a wide spectrum of array parameters ranging from sparser single particle arrays to denser devices with approximately 100 % yield and stronger photoluminescence signal, ideal for temperature measurements. With these we experimentally reconstruct the temperature map of an operating coplanar waveguide to confirm the accuracy of these platforms.


title: Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

abstract: We introduce Meta-F*, a tactics and metaprogramming framework for the F* program verifier. The main novelty of Meta-F* is allowing the use of tactics and metaprogramming to discharge assertions not solvable by SMT, or to just simplify them into well-behaved SMT fragments. Plus, Meta-F* can be used to generate verified code automatically. Meta-F* is implemented as an F* effect, which, given the powerful effect system of F*, heavily increases code reuse and even enables the lightweight verification of metaprograms. Metaprograms can be either interpreted, or compiled to efficient native code that can be dynamically loaded into the F* type-checker and can interoperate with interpreted code. Evaluation on realistic case studies shows that Meta-F* provides substantial gains in proof development, efficiency, and robustness.


title: Perpetual emulation threshold of PT-symmetric Hamiltonians

abstract: We describe a technique to emulate a two-level \PT-symmetric spin Hamiltonian, replete with gain and loss, using only the unitary dynamics of a larger quantum system. This we achieve by embedding the two-level system in question in a subspace of a four-level Hamiltonian. Using an \textit{amplitude recycling} scheme that couples the levels exterior to the \PT-symmetric subspace, we show that it is possible to emulate the desired behaviour of the \PT-symmetric Hamiltonian without depleting the exterior, reservoir levels. We are thus able to extend the emulation time indefinitely, despite the non-unitary \PT dynamics. We propose a realistic experimental implementation using dynamically decoupled magnetic sublevels of ultracold atoms.


title: Low-Order Control Design using a Reduced-Order Model with a Stability Constraint on the Full-Order Model

abstract: We consider low-order controller design for large-scale linear time-invariant dynamical systems with inputs and outputs. Model order reduction is a popular technique, but controllers designed for reduced-order models may result in unstable closed-loop plants when applied to the full-order system. We introduce a new method to design a fixed-order controller by minimizing the $L_\infty$ norm of a reduced-order closed-loop transfer matrix function subject to stability constraints on the closed-loop systems for both the reduced-order and the full-order models. Since the optimization objective and the constraints are all nonsmooth and nonconvex we use a sequential quadratic programming method based on quasi-Newton updating that is intended for this problem class, available in the open-source software package GRANSO. Using a publicly available test set, the controllers obtained by the new method are compared with those computed by the HIFOO (H-Infinity Fixed-Order Optimization) toolbox applied to a reduced-order model alone, which frequently fail to stabilize the closed-loop system for the associated full-order model.


title: On Mahalanobis distance in functional settings

abstract: Mahalanobis distance is a classical tool in multivariate analysis. We suggest here an extension of this concept to the case of functional data. More precisely, the proposed definition concerns those statistical problems where the sample data are real functions defined on a compact interval of the real line. The obvious difficulty for such a functional extension is the non-invertibility of the covariance operator in infinite-dimensional cases. Unlike other recent proposals, our definition is suggested and motivated in terms of the Reproducing Kernel Hilbert Space (RKHS) associated with the stochastic process that generates the data. The proposed distance is a true metric; it depends on a unique real smoothing parameter which is fully motivated in RKHS terms. Moreover, it shares some properties of its finite dimensional counterpart: it is invariant under isometries, it can be consistently estimated from the data and its sampling distribution is known under Gaussian models. An empirical study for two statistical applications, outliers detection and binary classification, is included. The obtained results are quite competitive when compared to other recent proposals of the literature.


title: A new elliptical-beam method based on time-domain thermoreflectance (TDTR) to measure the in-plane anisotropic thermal conductivity and its comparison with the beam-offset method

abstract: Materials lacking in-plane symmetry are ubiquitous in a wide range of applications such as electronics, thermoelectrics, and high-temperature superconductors, in all of which the thermal properties of the materials play a critical part. However, very few experimental techniques can be used to measure in-plane anisotropic thermal conductivity. A beam-offset method based on time-domain thermoreflectance (TDTR) was previously proposed to measure in-plane anisotropic thermal conductivity. However, a detailed analysis of the beam-offset method is still lacking. Our analysis shows that uncertainties can be large if the laser spot size or the modulation frequency is not properly chosen. Here we propose an alternative approach based on TDTR to measure in-plane anisotropic thermal conductivity using a highly elliptical pump (heating) beam. The highly elliptical pump beam induces a quasi-one-dimensional temperature profile on the sample surface that has a fast decay along the short axis of the pump beam. The detected TDTR signal is exclusively sensitive to the in-plane thermal conductivity along the short axis of the elliptical beam. By conducting TDTR measurements as a function of delay time with the rotation of the elliptical pump beam to different orientations, the in-plane thermal conductivity tensor of the sample can be determined. In this work, we first conduct detailed signal sensitivity analyses for both techniques and provide guidelines in determining the optimal experimental conditions. We then compare the two techniques under their optimal experimental conditions by measuring the in-plane thermal conductivity tensor of a ZnO [11-20] sample. The accuracy and limitations of both methods are discussed.


title: Generators of semigroups on Banach spaces inducing holomorphic semiflows

abstract: Let $A$ be the generator of a $C_0$-semigroup $T$ on a Banach space of analytic functions on the open unit disc. If $T$ consists of composition operators, then there exists a holomorphic function $G:{\mathbb D}\to{\mathbb C}$ such that $Af=Gf'$ with maximal domain. The aim of the paper is the study of the reciprocal implication.


title: Search for additional neutral MSSM Higgs bosons in the $\tau\tau$ final state in proton-proton collisions at $\sqrt{s}=$ 13 TeV

abstract: A search is presented for additional neutral Higgs bosons in the $\tau\tau$ final state in proton-proton collisions at the LHC. The search is performed in the context of the minimal supersymmetric extension of the standard model (MSSM), using the data collected with the CMS detector in 2016 at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. To enhance the sensitivity to neutral MSSM Higgs bosons, the search includes production of the Higgs boson in association with b quarks. No significant deviation above the expected background is observed. Model-independent limits at 95% confidence level (CL) are set on the product of the branching fraction for the decay into $\tau$ leptons and the cross section for the production via gluon fusion or in association with b quarks. These limits range from 18 pb at 90 GeV to 3.5 fb at 3.2 TeV for gluon fusion and from 15 pb (at 90 GeV) to 2.5 fb (at 3.2 TeV) for production in association with b quarks, assuming a narrow width resonance. In the m$_{\text{h}}^{\text{mod+}}$ scenario these limits translate into a 95% CL exclusion of $\tan\beta>$ 6 for neutral Higgs boson masses below 250 GeV, where $\tan\beta$ is the ratio of the vacuum expectation values of the neutral components of the two Higgs doublets. The 95% CL exclusion contour reaches 1.6 TeV for $\tan\beta=$ 60.


title: Fusion of an Ensemble of Augmented Image Detectors for Robust Object Detection

abstract: A significant challenge in object detection is accurate identification of an object's position in image space, whereas one algorithm with one set of parameters is usually not enough, and the fusion of multiple algorithms and/or parameters can lead to more robust results. Herein, a new computational intelligence fusion approach based on the dynamic analysis of agreement among object detection outputs is proposed. Furthermore, we propose an online versus just in training image augmentation strategy. Experiments comparing the results both with and without fusion are presented. We demonstrate that the augmented and fused combination results are the best, with respect to higher accuracy rates and reduction of outlier influences. The approach is demonstrated in the context of cone, pedestrian and box detection for Advanced Driver Assistance Systems (ADAS) applications.


title: Tell Me Why Is It So? Explaining Knowledge Graph Relationships by Finding Descriptive Support Passages

abstract: We address the problem of finding descriptive explanations of facts stored in a knowledge graph. This is important in high-risk domains such as healthcare, intelligence, etc. where users need additional information for decision making and is especially crucial for applications that rely on automatically constructed knowledge bases where machine learned systems extract facts from an input corpus and working of the extractors is opaque to the end-user. We follow an approach inspired from information retrieval and propose a simple and efficient, yet effective solution that takes into account passage level as well as document level properties to produce a ranked list of passages describing a given input relation. We test our approach using Wikidata as the knowledge base and Wikipedia as the source corpus and report results of user studies conducted to study the effectiveness of our proposed model.


title: Linearization of third-order ordinary differential equations u'''=f(x,u,u',u'') via point transformations

abstract: The linearization problem by use of the Cartan equivalence method for scalar third-order ODEs via point transformations was solved partially in [1,2]. In order to solve this problem completely, the Cartan equivalence method is applied to provide an invariant characterization of the linearizable third-order ordinary differential equation u'''=f(x,u,u',u'') which admits a four-dimensional point symmetry Lie algebra. The invariant characterization is given in terms of the function f in a compact form. A simple procedure to construct the equivalent canonical form by use of an obtained invariant is also presented. The method provides auxiliary functions which can be utilized to efficiently determine the point transformation that does the reduction to the equivalent canonical form. Furthermore, illustrations to the main theorem and applications are given.


title: Estimation of treatment effects under endogeneous heteroskedasticity

abstract: The empirical literature on program evaluation limits its scope almost exclusively to models where treatment effects are homogenous for observationally identical individuals. This paper considers a treatment effect model in which treatment effects may be heterogeneous, even among observationally identical individuals. Specifically, extending the classical instrumental variables (IV) model with an endogenous binary treatment and a binary instrument, we allow the heteroskedasticity of the error disturbance to also depend upon the treatment variable so that treatment has both mean and variance effects on the outcome. In this endogenous heteroskedasticity IV (EHIV) model with heterogeneous individual treatment effects, the standard IV estimator can be inconsistent and lead to incorrect inference. After showing identification of the mean and variance treatment effects in a nonparametric version of the EHIV model, we provide closed-form estimators for the linear EHIV for the mean and variance treatment effects and the individual treatment effects (ITE). Asymptotic properties of the estimators are provided. A Monte Carlo simulation investigates the performance of the proposed approach, and an empirical application regarding the effects of fertility on female labor supply is considered.


title: Insensitivity of bulk properties to the twisted boundary condition

abstract: The symmetry and the locality are the two major sources of various nontrivial statements in quantum many-body systems. We demonstrate that, in gapped phases of a U(1) symmetric Hamiltonian with finite-range interactions, the bulk properties such as the expectation value of local operators, the ground state energy and the excitation gap, and the static and low-frequency dynamical responses in general, do not depend on the U(1) phase of the twisted boundary condition in the limit of the large system size. Specifically, their dependence on the twisted angle is exponentially suppressed with the linear dimension of the system. The argument is based on the exponential decay of various types of equal-time correlation functions.


title: Improving Bitcoin's Resilience to Churn

abstract: Efficient and reliable block propagation on the Bitcoin network is vital for ensuring the scalability of this peer-to-peer network. To this end, several schemes have been proposed over the last few years to speed up the block propagation, most notably the compact block protocol (BIP 152). Despite this, we show experimental evidence that nodes that have recently joined the network may need about ten days until this protocol becomes 90% effective. This problem is endemic for nodes that do not have persistent network connectivity. We propose to mitigate this ineffectiveness by maintaining mempool synchronization among Bitcoin nodes. For this purpose, we design and implement into Bitcoin a new prioritized data synchronization protocol, called FalafelSync. Our experiments show that FalafelSync helps intermittently connected nodes to maintain better consistency with more stable nodes, thereby showing promise for improving block propagation in the broader network. In the process, we have also developed an effective logging mechanism for bitcoin nodes we release for public use.


title: Leading Pomeron Contributions and the TOTEM Data at 13 TeV

abstract: The recent data by the TOTEM Collaboration on $\sigma_{tot}$ and $\rho$ at 13 TeV, have shown agreement with a leading Odderon contribution at the highest energies, as demonstrated in the very recent analysis by Martynov and Nicolescu (MN). In order to investigate the same dataset by means of Pomeron dominance, we introduce a general class of forward scattering amplitude, with leading contributions even under crossing, associated with simple, double and triple poles in the complex angular momentum plane. For the lower energy region, we consider the usual non-degenerated Regge trajectories, with even and odd symmetry. The analytic connection between $\sigma_{tot}$ and $\rho$ is obtained by means of dispersion relations and we carry out fits to $pp$ and $\bar{p}p$ data in the interval $\sqrt{s}=5$ GeV - 13 TeV; following MN we consider only the TOTEM data at the LHC energy region. From the fits, we conclude that the general analytic model, as well as some particular cases representing standard parameterizations, are not able to describe satisfactorily the $\sigma_{tot}$ and $\rho$ data at 13 TeV. Further analyses in course and some perspectives are outlined.


title: AutoML from Service Provider's Perspective: Multi-device, Multi-tenant Model Selection with GP-EI

abstract: AutoML has become a popular service that is provided by most leading cloud service providers today. In this paper, we focus on the AutoML problem from the \emph{service provider's perspective}, motivated by the following practical consideration: When an AutoML service needs to serve {\em multiple users} with {\em multiple devices} at the same time, how can we allocate these devices to users in an efficient way? We focus on GP-EI, one of the most popular algorithms for automatic model selection and hyperparameter tuning, used by systems such as Google Vizer. The technical contribution of this paper is the first multi-device, multi-tenant algorithm for GP-EI that is aware of \emph{multiple} computation devices and multiple users sharing the same set of computation devices. Theoretically, given $N$ users and $M$ devices, we obtain a regret bound of $O((\text{\bf {MIU}}(T,K) + M)\frac{N^2}{M})$, where $\text{\bf {MIU}}(T,K)$ refers to the maximal incremental uncertainty up to time $T$ for the covariance matrix $K$. Empirically, we evaluate our algorithm on two applications of automatic model selection, and show that our algorithm significantly outperforms the strategy of serving users independently. Moreover, when multiple computation devices are available, we achieve near-linear speedup when the number of users is much larger than the number of devices.


title: Nanoscale domain patterns and a concept for an energy harvester

abstract: The current work employs a phase-field model to test the stability of nanoscale periodic domain patterns, and to explore the application of one pattern in an energy harvester device. At first, the stability of several periodic domain patterns with in-plane polarizations is tested under stress-free and electric field-free conditions. It is found that simple domain patterns with stripe-like features are stable, while patterns with more complex domain configurations are typically unstable at the nanoscale. Upon identifying a stable domain pattern with suitable properties, a conceptual design of a thin film energy harvester device is explored. The harvester is modelled as a thin ferroelectric film bound to a substrate. In the initial state a periodic stripe domain pattern with zero net charge on the top electrode is modelled. On bending the substrate, a mechanical strain is induced in the film, causing polarized domains to undergo ferroelectric switching and thus generate electrical energy. The results demonstrate the working cycle of a conceptual energy harvester which, on operating at kHz frequencies, such as from vibrations in the environment, could produce an area power density of about 40W/m2.


title: Viewpoint: Artificial Intelligence and Labour

abstract: The welfare of modern societies has been intrinsically linked to wage labour. With some exceptions, the modern human has to sell her labour-power to be able reproduce biologically and socially. Thus, a lingering fear of technological unemployment features predominately as a theme among Artificial Intelligence researchers. In this short paper we show that, if past trends are anything to go by, this fear is irrational. On the contrary, we argue that the main problem humanity will be facing is the normalisation of extremely long working hours.


title: Nanoscale periodic domain patterns in tetragonal ferroelectrics: A phase-field study

abstract: Ferroelectrics form domain patterns that minimize their energy subject to imposed boundary conditions. In a linear, constrained theory, that neglects domain wall energy, periodic domain patterns in the form of multi-rank laminates can be identified as minimum-energy states. However, when these laminates (formed in a macroscopic crystal) comprise domains that are a few nanometers in size, the domain-wall energy becomes significant, and the behaviour of laminate patterns at this scale is not known. Here, a phase-field model, which accounts for gradient energy and strain energy contributions, is employed to explore the stability and evolution of the nanoscale multi-rank laminates. The stress, electric field, and domain wall energies in the laminates are computed. The effect of scaling is also discussed. In the absence of external loading, stripe domain patterns are found to be lower energy states than the more complex, multi-rank laminates, which mostly collapse into simpler patterns. However, complex laminates can be stabilized by imposing external loads such as electric field, average strain and polarization. The study provides insight into the domain patterns that may form on a macroscopic single crystal but comprising of nanoscale periodic patterns, and on the effect of external loads on these patterns.


title: Effect of Electron-RBM Phonon Interaction on Conductance of carbon nanotubes

abstract: We use the energy analysis as a perturbative method to study the effect of electron-radial breathing mode (RBM) phonon interaction on the electrical conductivity of long metallic zigzag carbon nanotubes (CNTs). The band structure of zigzag CNTs is calculated by exerting zone-folding method on relations derived by using the nearest neighbor approximation of tight-binding expression for the $\pi$ valence and conduction bands of graphene. The small hollow cylinder model, with two different approximations, is used to obtain the RBM frequency in our calculation. As the result, we have calculated the effects of electron$ - $RBM phonon interaction on the conductance of zigzag CNTs. It has been observed that current is a step$ - $like function of bias voltage because of the absorption or emission by electron injection in the system. Moreover, the dependence of the conductance to the temperature in low bias and high bias voltages has been studied. In this paper, we propose a simple and useful method for phonon spectroscopy. Also, since RBM mode determines the geometry and structure of CNT, this approach can be used for characterization of CNTs.


title: Computing the Best Approximation Over the Intersection of a Polyhedral Set and the Doubly Nonnegative Cone

abstract: This paper introduces an efficient algorithm for computing the best approximation of a given matrix onto the intersection of linear equalities, inequalities and the doubly nonnegative cone (the cone of all positive semidefinite matrices whose elements are nonnegative). In contrast to directly applying the block coordinate descent type methods, we propose an inexact accelerated (two-)block coordinate descent algorithm to tackle the four-block unconstrained nonsmooth dual program. The proposed algorithm hinges on the efficient semismooth Newton method to solve the subproblems, which have no closed form solutions since the original four blocks are merged into two larger blocks. The $O(1/k^2)$ iteration complexity of the proposed algorithm is established. Extensive numerical results over various large scale semidefinite programming instances from relaxations of combinatorial problems demonstrate the effectiveness of the proposed algorithm.


title: A Dual Approach to Scalable Verification of Deep Networks

abstract: This paper addresses the problem of formally verifying desirable properties of neural networks, i.e., obtaining provable guarantees that neural networks satisfy specifications relating their inputs and outputs (robustness to bounded norm adversarial perturbations, for example). Most previous work on this topic was limited in its applicability by the size of the network, network architecture and the complexity of properties to be verified. In contrast, our framework applies to a general class of activation functions and specifications on neural network inputs and outputs. We formulate verification as an optimization problem (seeking to find the largest violation of the specification) and solve a Lagrangian relaxation of the optimization problem to obtain an upper bound on the worst case violation of the specification being verified. Our approach is anytime i.e. it can be stopped at any time and a valid bound on the maximum violation can be obtained. We develop specialized verification algorithms with provable tightness guarantees under special assumptions and demonstrate the practical significance of our general verification approach on a variety of verification tasks.


title: Splittable and unsplittable graphs and configurations

abstract: We prove that there exist infinitely many splittable and also infinitely many unsplittable cyclic $(n_3)$ configurations. We also present a complete study of trivalent cyclic Haar graphs on at most 60 vertices with respect to splittability. Finally, we show that all cyclic flag-transitive configurations with the exception of the Fano plane and the M\"obius-Kantor configuration are splittable.