title: Nonnegative Canonical Tensor Decomposition with Linear Constraints: nnCANDELINC

abstract: There is an emerging interest in tensor factorization applications in big-data analytics and machine learning. To speed up the factorization of extra-large datasets, organized in multidimensional arrays (aka tensors), easy to compute compression-based tensor representations, such as Tucker and Tensor Train formats, are used to approximate the initial large-tensor. Further, tensor factorization is used to extract latent features that can facilitate discoveries of new mechanisms and signatures hidden in the data, where the explainability of the latent features is of principal importance. Nonnegative tensor factorization extracts latent features that are naturally sparse and parts of the data, which makes them easily interpretable. However, to take into account available domain knowledge and subject matter expertise, additional constraints often need to be imposed, which lead us to Canonical decomposition with linear constraints (CANDELINC), a Canonical Polyadic Decomposition with rank deficient factors. In CANDELINC, Tucker compression is used as a pre-processing step, which leads to a larger residual error but to more explainable latent features. Here, we propose a nonnegative CANDELINC (nnCANDELINC) accomplished via a specific nonnegative Tucker decomposition; we refer to as minimal or canonical nonnegative Tucker. We derive several results required to understand the specificity of nnCANDELINC, focusing on the difficulties of preserving the nonnegative rank to its Tucker core and comparing the real-valued to the nonnegative case. Finally, we demonstrate nnCANDELINC performance on synthetic and real-world examples.


title: Radial Velocity Measurements of HR 8799 b and c with Medium Resolution Spectroscopy

abstract: High-contrast medium resolution spectroscopy has been used to detect molecules such as water and carbon monoxide in the atmospheres of gas giant exoplanets. In this work, we show how it can be used to derive radial velocity (RV) measurements of directly imaged exoplanets. Improving upon the traditional cross-correlation technique, we develop a new likelihood based on joint forward modelling of the planetary signal and the starlight background (i.e., speckles). After marginalizing over the starlight model, we infer the barycentric RV of HR 8799 b and c in 2010 yielding -9.2 +- 0.5 km/s and -11.6 +- 0.5 km/s respectively. These RV measurements help to constrain the 3D orientation of the orbit of the planet by resolving the degeneracy in the longitude of ascending node. Assuming coplanar orbits for HR 8799 b and c, but not including d and e, we estimate \Omega = 89 (+27,-17) deg and i = 20.8 (4.5,-3.7) deg.


title: Is That a Chair? Imagining Affordances Using Simulations of an Articulated Human Body

abstract: For robots to exhibit a high level of intelligence in the real world, they must be able to assess objects for which they have no prior knowledge. Therefore, it is crucial for robots to perceive object affordances by reasoning about physical interactions with the object. In this paper, we propose a novel method to provide robots with an ability to imagine object affordances using physical simulations. The class of chair is chosen here as an initial category of objects to illustrate a more general paradigm. In our method, the robot "imagines" the affordance of an arbitrarily oriented object as a chair by simulating a physical sitting interaction between an articulated human body and the object. This object affordance reasoning is used as a cue for object classification (chair vs non-chair). Moreover, if an object is classified as a chair, the affordance reasoning can also predict the upright pose of the object which allows the sitting interaction to take place. We call this type of poses the functional pose. We demonstrate our method in chair classification on synthetic 3D CAD models. Although our method uses only 30 models for training, it outperforms appearance-based deep learning methods, which require a large amount of training data, when the upright orientation is not assumed to be known a priori. In addition, we showcase that the functional pose predictions of our method align well with human judgments on both synthetic models and real objects scanned by a depth camera.


title: QCD Kondo excitons

abstract: The quantum chromodynamics (QCD) Kondo effect is a quantum phenomenon in which heavy quarks ($c$, $b$) exist as impurity particles in quark matter composed of light quarks ($u$, $d$, $s$) at extremely high density. This is analogous to the famous Kondo effect in condensed matter physics. In the present paper, we show theoretically the existence of the "QCD Kondo excitons", i.e., the bound states of light quarks and heavy quarks, as the lowest-excitation modes above the ground state of the quark matter governed by the QCD Kondo effect. These are neutral for color and electric charges, similarly to the Kondo excitons in condensed matter, and they are new type of quasiparticles absent in the normal phase of quark matter. The QCD Kondo excitons have various masses and quantum numbers, i.e., flavors and spin parities (scalar, pseudoscalar, vector, and axialvector). The QCD Kondo excitons lead to the emergence of the neutral currents in transport phenomena, which are measurable in lattice QCD simulations. The study of the QCD Kondo excitons will provide us with understanding of new universal properties shared by quark matter and condensed matter.


title: Early indications of anomalous behavior in the 2019 spring ozone hole over Antarctica

abstract: The level of quasi-stationary planetary wave (QSW) activity in the Antarctic winter stratosphere provides insights into the likely behavior of the ozone hole in the following spring months. Observation of an anomalously large amplitude of the QSW in winter stratospheric temperatures is an indicator that strong disturbances to the polar vortex are likely to occur, and may lead to large reductions in both the area of the Antarctic ozone hole area and the overall amount of stratospheric ozone that is depleted. In the sudden stratospheric warming (SSW) preconditions in 2019, the maximum QSW amplitude over Antarctica in August was approximately 12 K, which was only 2 K less than conditions prior to the unprecedented major Antarctic SSW in 2002. Under these conditions, the Antarctic SSW in 2019 has the potential to become a major SSW. The additional factors disturbing the Antarctic stratosphere in 2019 was anomalously warm sea surface temperatures (SSTs) in the central tropical Pacific Ocean and western Indian Ocean, and the descending easterly phase of the Quasi-Biennial Oscillation. The combination of these factors - the large amplitude of the QSW, the warm tropical SSTs and transitioning phase of the QBO - has the potential to cause the early disruption of the ozone hole and reduce the overall level of ozone depletion in 2019, and may also have important regional consequences for weather conditions in the Southern Hemisphere.


title: Bridging the Gap between Pre-Training and Fine-Tuning for End-to-End Speech Translation

abstract: End-to-end speech translation, a hot topic in recent years, aims to translate a segment of audio into a specific language with an end-to-end model. Conventional approaches employ multi-task learning and pre-training methods for this task, but they suffer from the huge gap between pre-training and fine-tuning. To address these issues, we propose a Tandem Connectionist Encoding Network (TCEN) which bridges the gap by reusing all subnets in fine-tuning, keeping the roles of subnets consistent, and pre-training the attention module. Furthermore, we propose two simple but effective methods to guarantee the speech encoder outputs and the MT encoder inputs are consistent in terms of semantic representation and sequence length. Experimental results show that our model outperforms baselines 2.2 BLEU on a large benchmark dataset.


title: On the Physical Interpretation of Proper Orthogonal Decomposition and Dynamic Mode Decomposition for Liquid Injection

abstract: The modal decomposition techniques of proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) have become a common method for analysing the spatio-temporal coherence of dynamical systems. In particular, these techniques are of interest for liquid injection systems due to the inherent complexity of multiphase interactions and extracting the underlying flow processes is desired. Although numerous works investigating flow processes have implemented POD and DMD, the results are often highly interpretive with limited link between the decomposition theory and the interpreted physical meaning of the extracted modes. Here, we provide insight into the interpretation of POD and DMD modes in a hierarchical structure. The interpretation of modes for simple canonical systems is validated through knowledge of the underlying processes which dominate the systems. We show that modes which capture true underlying phenomena produce subsequent modes at higher harmonics, up until the Nyquist limit, whose modal structure scales decrease proportionally with increasing modal frequency. These higher harmonics primarily encode motion information and may or may not capture additional structural information, which is dependent on the system. We demonstrate these findings first on canonical liquid injection systems to enhance the interpretation and understanding of results extracted from practical jet in crossflow systems.


title: Multi-FAN: Multi-Spectral Mosaic Super-Resolution Via Multi-Scale Feature Aggregation Network

abstract: This paper introduces a novel method to super-resolve multi-spectral images captured by modern real-time single-shot mosaic image sensors, also known as multi-spectral cameras. Our contribution is two-fold. Firstly, we super-resolve multi-spectral images from mosaic images rather than image cubes, which helps to take into account the spatial offset of each wavelength. Secondly, we introduce an external multi-scale feature aggregation network (Multi-FAN) which concatenates the feature maps with different levels of semantic information throughout a super-resolution (SR) network. A cascade of convolutional layers then implicitly selects the most valuable feature maps to generate a mosaic image. This mosaic image is then merged with the mosaic image generated by the SR network to produce a quantitatively superior image. We apply our Multi-FAN to RCAN (Residual Channel Attention Network), which is the state-of-the-art SR algorithm. We show that Multi-FAN improves both quantitative results and well as inference time.


title: Stacking Models for Nearly Optimal Link Prediction in Complex Networks

abstract: Most real-world networks are incompletely observed. Algorithms that can accurately predict which links are missing can dramatically speedup the collection of network data and improve the validity of network models. Many algorithms now exist for predicting missing links, given a partially observed network, but it has remained unknown whether a single best predictor exists, how link predictability varies across methods and networks from different domains, and how close to optimality current methods are. We answer these questions by systematically evaluating 203 individual link predictor algorithms, representing three popular families of methods, applied to a large corpus of 548 structurally diverse networks from six scientific domains. We first show that individual algorithms exhibit a broad diversity of prediction errors, such that no one predictor or family is best, or worst, across all realistic inputs. We then exploit this diversity via meta-learning to construct a series of "stacked" models that combine predictors into a single algorithm. Applied to a broad range of synthetic networks, for which we may analytically calculate optimal performance, these stacked models achieve optimal or nearly optimal levels of accuracy. Applied to real-world networks, stacked models are also superior, but their accuracy varies strongly by domain, suggesting that link prediction may be fundamentally easier in social networks than in biological or technological networks. These results indicate that the state-of-the-art for link prediction comes from combining individual algorithms, which achieves nearly optimal predictions. We close with a brief discussion of limitations and opportunities for further improvement of these results.

categories: stat.ML cs.LG cs.SI physics.data-an q-bio.MN


title: Structural Properties of Rotating Hybrid Compact Stars with Color-Flavour-Locked Quarks Matter core and its Tidal Deformability

abstract: We investigate the possible sequels, for the hybrid compact stars consisting of nucleons, hyperons and three flavour color-flavor-locked quarks phase under global neutrality and chemical equilibrium conditions. The hadron equations of state are computed within the framework of energy density functionals based on the relativistic mean field theory by employing two different model parameterizations. The quarks matter phase of equation of state is computed by using Quarks Quasiparticle model derived from a non-relativistic energy density-functional approach. A plausible set of hybrid equations of state for superdense hadron-quarks matter is obtained and, which satisfies the constraints provided by bulk nuclear matter, the observational data of frequencies and maximum Gravitational mass 2$M_\odot$ with their extracted radii, Keplerian limits, secular axisymmetric instability and limits of tidal deformabilities from GW170817 binary neutron stars (BNS) merger. We obtained structural properties of nonrotating and rotating compact stars, the evolutionary sequences with constant baryonic mass star spinning down by electromagnetic and gravitational radiations and, discuss the issues relating to phase transition from hadrons to quarks matter phase. The internal structure of rotating star with observed spin down frequencies, exhibiting shrinkage of soft quarks core of compact stars are discussed for constant baryonic mass. We present the theoretically computed limits of radii for the spin down configurations of hybrid stars corresponding to the recently observed millisecond pulsars. We also present and discuss the calculated results for tidal deformability, $\Lambda$ and tidal parameters $\Lambda_1$, $\Lambda_2$ of non spining hybrid star which are consistent with the waveform model analysis of GW170817 BNS.


title: Design Theory and Some Non-simple Forbidden Configurations

abstract: Let 1_k 0_l denote the (k+l)\times 1 column of k 1's above l 0's. Let q. (1_k 0_l) $ denote the (k+l)xq matrix with q copies of the column 1_k0_l. A 2-design S_{\lambda}(2,3,v) can be defined as a vx(\lambda/3)\binom{v}{2} (0,1)-matrix with all column sums equal 3 and with no submatrix (\lambda+1).(1_20_0). Consider an mxn matrix A with all column sums in {3,4,... ,m-1}. Assume m is sufficiently large (with respect to \lambda) and assume that A has no submatrix which is a row permutation of (\lambda+1). (1_2 0_1). Then we show the number of columns in A is at most (\lambda)/3)\binom{m}{3} with equality for A being the columns of column sum 3 corresponding to the triples of a 2-design S_{\lambda}(2,3,m). A similar results holds for(\lambda+1). (1_2 0_2). Define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. Given two matrices A, F, we define A to have F as a configuration if and only if some submatrix of A is a row and column permutation of F. Given m, let forb(m,q.(1_k 0_l)) denote the maximum number of possible columns in a simple m-rowed matrix which has no configuration q.(1_k 0_l). For m sufficiently large with respect to q, we compute exact values for forb(m,q.(1_1 0_1)), forb(m,q.(1_2 0_1)), forb(m,q.(1_2 0_2)). In the latter two cases, we use a construction of Dehon (1983) of simple triple systems S_{\lambda}(2,3,v) for \lambda>1. Moreover for l=1,2, simple mxforb(m,q.(1_2 0_l)) matrices with no configuration q.(1_2 0_l) must arise from simple 2-designs S_{\lambda}(2,3,m) of appropriate \lambda. The proofs derive a basic upper bound by a pigeonhole argument and then use careful counting and Turan's bound, for large m, to reduce the bound. For small m, the larger pigeonhole bounds are sometimes the exact bound. There are intermediate values of m for which we do not know the exact bound.


title: Radiopathomics: Integration of radiographic and histologic characteristics for prognostication in glioblastoma

abstract: Both radiographic (Rad) imaging, such as multi-parametric magnetic resonance imaging, and digital pathology (Path) images captured from tissue samples are currently acquired as standard clinical practice for glioblastoma tumors. Both these data streams have been separately used for diagnosis and treatment planning, despite the fact that they provide complementary information. In this research work, we aimed to assess the potential of both Rad and Path images in combination and comparison. An extensive set of engineered features was extracted from delineated tumor regions in Rad images, comprising T1, T1-Gd, T2, T2-FLAIR, and 100 random patches extracted from Path images. Specifically, the features comprised descriptors of intensity, histogram, and texture, mainly quantified via gray-level-co-occurrence matrix and gray-level-run-length matrices. Features extracted from images of 107 glioblastoma patients, downloaded from The Cancer Imaging Archive, were run through support vector machine for classification using leave-one-out cross-validation mechanism, and through support vector regression for prediction of continuous survival outcome. The Pearson correlation coefficient was estimated to be 0.75, 0.74, and 0.78 for Rad, Path and RadPath data. The area-under the receiver operating characteristic curve was estimated to be 0.74, 0.76 and 0.80 for Rad, Path and RadPath data, when patients were discretized into long- and short-survival groups based on average survival cutoff. Our results support the notion that synergistically using Rad and Path images may lead to better prognosis at the initial presentation of the disease, thereby facilitating the targeted enrollment of patients into clinical trials.


title: Fast Inflow Directly Feeding Black Hole Accretion Disk in Quasars

abstract: Quasars are high-luminosity active galactic nuclei believed to be powered by accretion of interstellar matter onto a super-massive black hole (SMBH) therein. Most of the observed energy is released in an accretion disk of inspiralling gas surrounding the SMBH. An enormous amount of fueling material is expected to be transported inwards. However, basic questions remain unanswered as to whether and how the accretion disks are supplied with external gas, since no disk-feeding inflow has hitherto been observed clearly. Here we report the discovery of highly redshifted broad absorption lines arising from neutral hydrogen and helium atoms in a small sample of quasars. Their absorption troughs show a broad range of Doppler velocities from zero extending continuously inward up to as high as $\sim 5,000$ km s$^{-1}$. We thus see through streams of cold gas moving with a radially inward velocity component that spans an immense gradient---a result of gravitational acceleration by the central SMBH. Extensive photo-ionization modeling for the archetypical object SDSS J103516.20+142200.6 indicates the inflowing gas to be dense, thick and moderately ionized, with a characteristic distance to the SMBH of $\sim 1,000$ gravitational radii, possibly overlapping or close to the outer accretion disk. Our results present the first compelling evidence for the long-sought inflow directly feeding quasars' accretion disks with external materials, likely originating from the dusty torus at a parsec scale. Our approach provides a new tool to probe the bulk of the so far elusive fueling inflows in quasars. Their studies may help address some of the fundamental questions concerning accretion physics, the onset and sustainment of quasar activity, and the SMBH growth at centers of most galaxies.


title: Inverse Visual Question Answering with Multi-Level Attentions

abstract: In this paper, we propose a novel deep multi-level attention model to address inverse visual question answering. The proposed model generates regional visual and semantic features at the object level and then enhances them with the answer cue by using attention mechanisms. Two levels of multiple attentions are employed in the model, including the dual attention at the partial question encoding step and the dynamic attention at the next question word generation step. We evaluate the proposed model on the VQA V1 dataset. It demonstrates state-of-the-art performance in terms of multiple commonly used metrics.


title: Deviations from generalized Equipartition in Confined, Laser Cooled Atoms

abstract: We observe a significant steady-state deviation from the generalized equipartition theorem, one of the pivotal results of classical statistical mechanics, in a system of confined, laser cooled atoms. We quantify this deviation, measure its dynamics and show that its steady state value quantifies the departure of non-thermal states from thermal equilibrium even for anharmonic confinement. In particular, we find that deviations from equipartition grow as the system dynamics becomes more anomalous. We present numerical simulations that validate the experimental data and reveal an inhomogeneous distribution of the kinetic energy through the system, supported by an analytical analysis of the phase space.m, supported by an analytical analysis of the phase space.


title: Enhanced distributed data aggregation method in the internet of things

abstract: As a novel concept in technology and communication world, \emph{"Internet of Things (IoT)"} has been emerged. In such a modern technology, the capability to transmit data through data communication networks (such as Internet or Intranet) is provided for each organism (e.g. human being, animals, things, and so forth). Due to the limited hardware and communication operational capability as well as small dimensions, IoT undergoes quite a few challenges. Such inherent challenges not only cause fundamental restrictions in the efficiency of aggregation, transmission, and communication between nodes; but they also degrade routing performance. To cope with the reduced availability time and unstable communications among nodes, data aggregation and transmission approaches in such networks are designed more intelligently. In this paper, a distributed method is proposed so as to set child balance among nodes. In this method, the height of network graph is increased through restricting the degree; and network congestion is reduced as a result. In addition, a dynamic data aggregation approach -named as LA-RPL- is proposed for RPL networks. More specifically, each node is equipped with a learning automata in order to perform data aggregation and transmissions. Simulation results demonstrate that the proposed approach outperforms previously suggested base approaches in terms of energy consumption, network control overhead, and packet loss rate.


title: Grounding learning of modifier dynamics: An application to color naming

abstract: Grounding is crucial for natural language understanding. An important subtask is to understand modified color expressions, such as 'dirty blue'. We present a model of color modifiers that, compared with previous additive models in RGB space, learns more complex transformations. In addition, we present a model that operates in the HSV color space. We show that certain adjectives are better modeled in that space. To account for all modifiers, we train a hard ensemble model that selects a color space depending on the modifier color pair. Experimental results show significant and consistent improvements compared to the state-of-the-art baseline model.


title: A Hybrid Deep Learning Approach for Diagnosis of the Erythemato-Squamous Disease

abstract: The diagnosis of the Erythemato-squamous disease (ESD) is accepted as a difficult problem in dermatology. ESD is a form of skin disease. It generally causes redness of the skin and also may cause loss of skin. They are generally due to genetic or environmental factors. ESD comprises six classes of skin conditions namely, pityriasis rubra pilaris, lichen planus, chronic dermatitis, psoriasis, seboreic dermatitis and pityriasis rosea. The automated diagnosis of ESD can help doctors and dermatologists in reducing the efforts from their end and in taking faster decisions for treatment. The literature is replete with works that used conventional machine learning methods for the diagnosis of ESD. However, there isn't much instances of application of Deep learning for the diagnosis of ESD. In this paper, we propose a novel hybrid deep learning approach i.e. Derm2Vec for the diagnosis of the ESD. Derm2Vec is a hybrid deep learning model that consists of both Autoencoders and Deep Neural Networks. We also apply a conventional Deep Neural Network (DNN) for the classification of ESD. We apply both Derm2Vec and DNN along with other traditional machine learning methods on a real world dermatology dataset. The Derm2Vec method is found to be the best performer (when taking the prediction accuracy into account) followed by DNN and Extreme Gradient Boosting.The mean CV score of Derm2Vec, DNN and Extreme Gradient Boosting are 96.92 percent, 96.65 percent and 95.80 percent respectively.


title: Communication-Efficient Distributed Learning via Lazily Aggregated Quantized Gradients

abstract: The present paper develops a novel aggregated gradient approach for distributed machine learning that adaptively compresses the gradient communication. The key idea is to first quantize the computed gradients, and then skip less informative quantized gradient communications by reusing outdated gradients. Quantizing and skipping result in `lazy' worker-server communications, which justifies the term Lazily Aggregated Quantized gradient that is henceforth abbreviated as LAQ. Our LAQ can provably attain the same linear convergence rate as the gradient descent in the strongly convex case, while effecting major savings in the communication overhead both in transmitted bits as well as in communication rounds. Empirically, experiments with real data corroborate a significant communication reduction compared to existing gradient- and stochastic gradient-based algorithms.


title: A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces

abstract: This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and measurable functions. A linear exponential comonad is constructed over a symmetric monoidal category of transition kernels, relaxing Markov kernels of Panangaden's stochastic relations into s-finite kernels. The model supports an orthogonality in terms of an integral between measures and measurable functions, which can be seen as a continuous extension of Girard-Danos-Ehrhard's linear duality for probabilistic coherent spaces. The orthogonality is formulated by a Hyland-Schalk double glueing construction, into which our measure theoretic monoidal comonad structure is accommodated. As an application to countable measurable spaces, a dagger compact closed category is obtained, whose double glueing gives rise to the familiar category of probabilistic coherent spaces.


title: Molecular cloud distances based on the MWISP CO survey and Gaia DR2

abstract: We present a new method of calculating distances of molecular clouds in the Galactic plane, using CO observations and the Gaia DR2 parallax and G-band extinction ($A_G$) measurements. Due to the complexity of dust environments in the Galactic plane, $A_G$ contains irregular variations, which is difficult to model. To overcome this difficulty, we propose that the $A_G$ of off-cloud stars (Gaia stars around molecular clouds) can be used as a baseline to calibrate the $A_G$ of on-cloud stars (Gaia stars toward molecular clouds), which removes the $A_G$ components that are unrelated to molecular clouds. The distance is subsequently inferred from the jump point in on-cloud $A_G$ with Bayesian analysis and Markov chain Monte Carlo (MCMC) sampling. We applied this baseline subtraction method to a 100 square degree region (209.75{\deg} $\leq$ l $\leq$ 219.75{\deg} and |b| $\leq$ 5{\deg}) in the third Galactic quadrant, which was mapped as part of the Milky Way Imaging Scroll Painting (MWISP) project, covering three CO isotopologue lines, and derived distances and masses for 11 molecular clouds, including the Maddalena molecular cloud and Sh 2-287. The results indicate that the distance of the Perseus Arm in this region is about 2.4 kpc and molecular clouds are present in the interarm regions.


title: The formation of subdwarf A-type stars

abstract: Subdwarf A-type stars (sdAs) are objects that have hydrogen-rich spectra with surface gravity similar to that of hot subdwarf stars but effective temperature below the zero-age horizontal branch (ZAHB). They are considered to be metal-poor main sequence (MS) stars or extremely low-mass white dwarfs (ELM WDs). In this work, using the stellar evolution code, Modules for Experiments in Stellar Astrophysics (MESA), we investigate the sdAs formed both by the evolution of (pre-)ELM WDs in double degenerate systems (DDs) and metal-poor main sequence with the single evolution models. We find that both of the evolutionary tracks of ELM WDs and metal-poor MSs can explain the observation properties of sdAs. However, the proportion between these two populations are uncertain. In this work, we adopt the method of binary population synthesis of both ELM WDs in the disk and metal-poor MS in the halo to obtain the populations of ELM WDs and metal-poor MSs at different stellar population ages and calculate their proportions. We find that the proportion of metal-poor MSs to sdA population for a stellar population of 10 Gyr is $\sim$98.5 percent, which is consistent with the conclusion that most sdAs ($>$95 percent) are metal-poor MSs. And the proportion of ELM WDs (metal-poor MSs) to sdA population increases (decreases) from 0.1\% (99.9\%) to 20\% (80\%) with the stellar population ages from 5 to 13.7 Gyr.


title: Real-time Multi-target Path Prediction and Planning for Autonomous Driving aided by FCN

abstract: Real-time multi-target path planning is a key issue in the field of autonomous driving. Although multiple paths can be generated in real-time with polynomial curves, the generated paths are not flexible enough to deal with complex road scenes such as S-shaped road and unstructured scenes such as parking lots. Search and sampling-based methods, such as A* and RRT and their derived methods, are flexible in generating paths for these complex road environments. However, the existing algorithms require significant time to plan to multiple targets, which greatly limits their application in autonomous driving. In this paper, a real-time path planning method for multi-targets is proposed. We train a fully convolutional neural network (FCN) to predict a path region for the target at first. By taking the predicted path region as soft constraints, the A* algorithm is then applied to search the exact path to the target. Experiments show that FCN can make multiple predictions in a very short time (50 times in 40ms), and the predicted path region effectively restrict the searching space for the following A* search. Therefore, the A* can search much faster so that the multi-target path planning can be achieved in real-time (3 targets in less than 100ms).


title: Learning Explicit and Implicit Structures for Targeted Sentiment Analysis

abstract: Targeted sentiment analysis is the task of jointly predicting target entities and their associated sentiment information. Existing research efforts mostly regard this joint task as a sequence labeling problem, building models that can capture explicit structures in the output space. However, the importance of capturing implicit global structural information that resides in the input space is largely unexplored. In this work, we argue that both types of information (implicit and explicit structural information) are crucial for building a successful targeted sentiment analysis model. Our experimental results show that properly capturing both information is able to lead to better performance than competitive existing approaches. We also conduct extensive experiments to investigate our model's effectiveness and robustness.


title: Conformal Prediction based Spectral Clustering

abstract: Spectral Clustering(SC) is a prominent data clustering technique of recent times which has attracted much attention from researchers. It is a highly data-driven method and makes no strict assumptions on the structure of the data to be clustered. One of the central pieces of spectral clustering is the construction of an affinity matrix based on a similarity measure between data points. The way the similarity measure is defined between data points has a direct impact on the performance of the SC technique. Several attempts have been made in the direction of strengthening the pairwise similarity measure to enhance the spectral clustering. In this work, we have defined a novel affinity measure by employing the concept of non-conformity used in Conformal Prediction(CP) framework. The non-conformity based affinity captures the relationship between neighborhoods of data points and has the power to generalize the notion of contextual similarity. We have shown that this formulation of affinity measure gives good results and compares well with the state of the art methods.


title: Asteroseismology as a new window to statistics of binaries

abstract: More than 340 non-eclipsing binaries of A-F stars as primaries at intermediate periods (100-1000 d) were newly found by uninterrupted photometry with ultra high-precision taken over 4 yr by Kepler space mission via the phase modulation of pulsating stars, and their orbital parameters, which were difficult to measure with conventional methods and were very incomplete, were then determined. This asteroseismic finding of binaries tripled the number of intermediate-mass binaries with full orbital solutions, and opened a new window to statistics of binaries. We outline the methods of finding non-eclipsing binaries by photometry and of deriving the orbital parameters, and demonstrate their validation. Statistical study of the newly discovered binaries along with the known spectroscopic binaries near A-F main-sequence are then presented, converting distribution in the mass-function into the mass-ratio distribution with the help of Abel-type integral equation.


title: ASSED -- A Framework for Identifying Physical Events through Adaptive Social Sensor Data Filtering

abstract: Physical event detection has long been the domain of static event processors operating on numeric sensor data. This works well for large scale strong-signal events such as hurricanes, and important classes of events such as earthquakes. However, for a variety of domains there is insufficient sensor coverage, e.g., landslides, wildfires, and flooding. Social networks have provided massive volume of data from billions of users, but data from these generic social sensors contain much more noise than physical sensors. One of the most difficult challenges presented by social sensors is \textit{concept drift}, where the terms associated with a phenomenon evolve and change over time, rendering static machine learning (ML) classifiers less effective. To address this problem, we develop the ASSED (Adaptive Social Sensor Event Detection) framework with an ML-based event processing engine and show how it can perform simple and complex physical event detection on strong- \textit{and} weak-signal with low-latency, high scalability, and accurate coverage. Specifically, ASSED is a framework to support continuous filter generation and updates with machine learning using streaming data from high-confidence sources (physical and annotated sensors) and social networks. We build ASSED to support procedures for integrating high-confidence sources into social sensor event detection to generate high-quality filters and to perform dynamic filter selection by tracking its own performance. We demonstrate ASSED capabilities through a landslide detection application that detects almost 350\% more landslides compared to static approaches. More importantly, ASSED automates the handling of concept drift: four years after initial data collection and classifier training, ASSED achieves event detection accuracy of 0.988 (without expert manual intervention), compared to 0.762 for static approaches.


title: Simple yet Effective Bridge Reasoning for Open-Domain Multi-Hop Question Answering

abstract: A key challenge of multi-hop question answering (QA) in the open-domain setting is to accurately retrieve the supporting passages from a large corpus. Existing work on open-domain QA typically relies on off-the-shelf information retrieval (IR) techniques to retrieve \textbf{answer passages}, i.e., the passages containing the groundtruth answers. However, IR-based approaches are insufficient for multi-hop questions, as the topic of the second or further hops is not explicitly covered by the question. To resolve this issue, we introduce a new sub-problem of open-domain multi-hop QA, which aims to recognize the bridge (\emph{i.e.}, the anchor that links to the answer passage) from the context of a set of start passages with a reading comprehension model. This model, the \textbf{bridge reasoner}, is trained with a weakly supervised signal and produces the candidate answer passages for the \textbf{passage reader} to extract the answer. On the full-wiki HotpotQA benchmark, we significantly improve the baseline method by 14 point F1. Without using any memory-inefficient contextual embeddings, our result is also competitive with the state-of-the-art that applies BERT in multiple modules.


title: Multi-step Entity-centric Information Retrieval for Multi-Hop Question Answering

abstract: Multi-hop question answering (QA) requires an information retrieval (IR) system that can find \emph{multiple} supporting evidence needed to answer the question, making the retrieval process very challenging. This paper introduces an IR technique that uses information of entities present in the initially retrieved evidence to learn to `\emph{hop}' to other relevant evidence. In a setting, with more than \textbf{5 million} Wikipedia paragraphs, our approach leads to significant boost in retrieval performance. The retrieved evidence also increased the performance of an existing QA model (without any training) on the \hotpot benchmark by \textbf{10.59} F1.


title: Neutrino oscillation analysis of 217 live-days of Daya Bay and 500 live-days of RENO

abstract: We present a neutrino oscillation analysis of two particular data sets from the Daya Bay and RENO reactor neutrino experiments aiming to study the increase in precision in the oscillation parameters $\sin^2{2\theta}_{13}$ and the effective mass splitting $\Delta m^2_{ee}$ gained by combining two relatively simple to reproduce analyses available in the literature. For Daya Bay the data from 217 days between December 2011 and July 2012 were used. For RENO we used the data from 500 live days between August 2011 and January 2012. We reproduce reasonably well the results of the individual analyses, both, rate-only and spectral, defining a suitable $\chi^2$ statistic for each case. Finally, we performed a combined spectral analysis and extract tighter constraints on the parameters, with an improved precision between 30-40\% with respect of the individual analyses considered.


title: A Guaranteed Convergence Analysis for the Projected Fast Iterative Soft-Thresholding Algorithm in Parallel MRI

abstract: The boom of non-uniform sampling and compressed sensing techniques dramatically alleviates the lengthy data acquisition problem of magnetic resonance imaging. Sparse reconstruction, thanks to its fast computation and promising performance, has attracted researchers to put numerous efforts on it and has been adopted in commercial scanners. To perform sparse reconstruction, choosing a proper algorithm is essential in providing satisfying results and saving time in tuning parameters. The pFISTA, a simple and efficient algorithm for sparse reconstruction, has been successfully extended to parallel imaging. However, its convergence criterion is still an open question. And the existing convergence criterion of single-coil pFISTA cannot be applied to the parallel imaging pFISTA, which, therefore, imposes confusions and difficulties on users about determining the only parameter - step size. In this work, we provide the guaranteed convergence analysis of the parallel imaging version pFISTA to solve the two well-known parallel imaging reconstruction models, SENSE and SPIRiT. Along with the convergence analysis, we provide recommended step size values for SENSE and SPIRiT reconstructions to obtain fast and promising reconstructions. Experiments on in vivo brain images demonstrate the validity of the convergence criterion. Besides, experimental results show that compared to using backtracking and power iteration to determine the step size, our recommended step size achieves more than five times acceleration in reconstruction time in most tested cases.


title: Interplay between symmetries of quantum 6-j symbols and the eigenvalue hypothesis

abstract: The eigenvalue hypothesis claims that any quantum Racah matrix for finite-dimensional representations of $U_q(sl_N)$ is uniquely determined by eigenvalues of the corresponding quantum $\cal{R}$-matrices. If this hypothesis turns out to be true, then it will significantly simplify the computation of Racah matrices. Also due to this hypothesis various interesting properties of colored HOMFLY-PT polynomials will be proved. In addition, it allows one to discover new symmetries of the quantum 6-j symbols, about which almost nothing is known for $N>2$, with the exception of the tetrahedral symmetries, complex conjugation and transformation $q \longleftrightarrow q^{-1}$. In this paper we prove the eigenvalue hypothesis in $U_q(sl_2)$ case and show that it is equivalent to 6-j symbol symmetries (the Regge symmetry and two argument permutations). Then we apply the eigenvalue hypothesis to inclusive Racah matrices with 3 symmetric incoming representations of $U_q(sl_N)$ and an arbitrary outcoming one. It gives us 8 new additional symmetries that are not tetrahedral ones. Finally, we apply the eigenvalue hypothesis to exclusive Racah matrices with symmetric representations and obtain 4 tetrahedral symmetries.


title: Symmetry Analysis In Inflationary Cosmology

abstract: We approach the cosmological inflation thought symmetries of differential equations. We consider the general inflaton field in a homogeneous Friedmann--Lema\^{\i}tre--Robertson--Walker spacetime and with the use of conformal transformations we are able to write the generic algebraic solution for the field equations. We put emphasis on the inflationary models and we show how we can construct new inflationary models from already known models by using symmetry transformations.


title: Realizing a finite group as a subgroup of a product of two groups of permutation matrices

abstract: In this paper we prove that any finite group of order $n$ can be viewed as the group of the solutions of a certain matrix equation $XB=BY$, where the unknowns $X,Y$ are two permutation matrices of order $n$ and $(1+k)n+2 $ respectively and where $k\in \Bbb N$ is given by Cayley's theorem. Moreover, we show that $G$ is isomorphic to a certain subgroup formed by permutation matrices of order $(1+k)n$ obtained by permuting all the rows of the identity matrix $I_{(1+k)n}$.


title: Towards planar Iodine 2D crystal materials

abstract: Usually, the octet rule has limited the 2D materials by elements within groups IIIA_VA, whose outmost electrons can be considered to form hybridization orbit by s wave and p wave. The hybridization orbits can accommodate all the outmost electrons and form robust sigma bonds. Over VA group, the outmost electrons seem too abundant to be utilized in hybridization orbits. Here we show a spd2 hybridization rule, accommodating all the outmost electron of halogen elements. Each atom can be connected with contiguous atom by robust sigma bond, and carries one dangling lone-unpaired electron, implying formation of pi bond is possible. One atomic iodine layer can be robustly locked by the sigma bond, forming iodiene sheet by spd2 hybridization orbits. With application of compression strain, the pi bond forms, and the band inversion occurs simultaneously at the valence band and conductance band. Dirac points (line) and topological nontrivial points (arc or hoop) suggests the transformation of Dirac semimetal or topological semimetal happens.


title: Integration and Simulation of Bivariate Projective-Cauchy Distributions within Arbitrary Polygonal Domains

abstract: Consider a uniform variate on the unit upper-half sphere of dimension $d$. It is known that the straight-line projection through the center of the unit sphere onto the plane above it distributes this variate according to a $d$-dimensional projective-Cauchy distribution. In this work, we leverage the geometry of this construction in dimension $d=2$ to derive new properties for the bivariate projective-Cauchy distribution. Specifically, we reveal via geometric intuitions that integrating and simulating a bivariate projective-Cauchy distribution within an arbitrary domain translates into respectively measuring and sampling the solid angle subtended by the geometry of this domain as seen from the origin of the unit sphere. To make this result practical for, e.g., generating truncated variants of the bivariate projective-Cauchy distribution, we extend it in two respects. First, we provide a generalization to Cauchy distributions parameterized by location-scale-correlation coefficients. Second, we provide a specialization to polygonal-domains, which leads to closed-form expressions. We provide a complete MATLAB implementation for the case of triangular domains, and briefly discuss the case of elliptical domains and how to further extend our results to bivariate Student distributions.


title: K-BERT: Enabling Language Representation with Knowledge Graph

abstract: Pre-trained language representation models, such as BERT, capture a general language representation from large-scale corpora, but lack domain-specific knowledge. When reading a domain text, experts make inferences with relevant knowledge. For machines to achieve this capability, we propose a knowledge-enabled language representation model (K-BERT) with knowledge graphs (KGs), in which triples are injected into the sentences as domain knowledge. However, too much knowledge incorporation may divert the sentence from its correct meaning, which is called knowledge noise (KN) issue. To overcome KN, K-BERT introduces soft-position and visible matrix to limit the impact of knowledge. K-BERT can easily inject domain knowledge into the models by equipped with a KG without pre-training by-self because it is capable of loading model parameters from the pre-trained BERT. Our investigation reveals promising results in twelve NLP tasks. Especially in domain-specific tasks (including finance, law, and medicine), K-BERT significantly outperforms BERT, which demonstrates that K-BERT is an excellent choice for solving the knowledge-driven problems that require experts.


title: A Thermal Resistance Network Model for Heat Conduction of Amorphous Polymers

abstract: Thermal conductivities (TCs) of the vast majority of amorphous polymers are in a very narrow range, 0.1 $\sim$ 0.5 Wm$^{-1}$K$^{-1}$, although single polymer chains possess TC of orders-of-magnitude higher. Entanglement of polymer chains plays an important role in determining the TC of bulk polymers. We propose a thermal resistance network (TRN) model for TC in amorphous polymers taking into account the entanglement of molecular chains. Our model explains well the physical origin of universally low TC observed in amorphous polymers. The empirical formulae of pressure and temperature dependence of TC can be successfully reproduced from our model not only in solid polymers but also in polymer melts. We further quantitatively explain the anisotropic TC in oriented polymers.


title: Improving the Learning of Multi-column Convolutional Neural Network for Crowd Counting

abstract: Tremendous variation in the scale of people/head size is a critical problem for crowd counting. To improve the scale invariance of feature representation, recent works extensively employ Convolutional Neural Networks with multi-column structures to handle different scales and resolutions. However, due to the substantial redundant parameters in columns, existing multi-column networks invariably exhibit almost the same scale features in different columns, which severely affects counting accuracy and leads to overfitting. In this paper, we attack this problem by proposing a novel Multi-column Mutual Learning (McML) strategy. It has two main innovations: 1) A statistical network is incorporated into the multi-column framework to estimate the mutual information between columns, which can approximately indicate the scale correlation between features from different columns. By minimizing the mutual information, each column is guided to learn features with different image scales. 2) We devise a mutual learning scheme that can alternately optimize each column while keeping the other columns fixed on each mini-batch training data. With such asynchronous parameter update process, each column is inclined to learn different feature representation from others, which can efficiently reduce the parameter redundancy and improve generalization ability. More remarkably, McML can be applied to all existing multi-column networks and is end-to-end trainable. Extensive experiments on four challenging benchmarks show that McML can significantly improve the original multi-column networks and outperform the other state-of-the-art approaches.


title: On the nonexistence of pseudo-generalized quadrangles

abstract: In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples which do not arise in this manner, and we term these {\it pseudo-generalized quadrangles}. If the graph is a generalized quadrangle then $t \leq s^2$ and $s \leq t^2$, while for pseudo-generalized quadrangles we still have the former bound but not the latter. Previously, Neumaier has proved a bound for $s$ which is cubic in $t$, but we improve this to one which is quadratic. The proof involves a careful analysis of cliques and cocliques in the graph. This improved bound eliminates many potential parameter sets which were otherwise feasible.


title: How the antisymmetrization affects a cluster-cluster interaction: two-cluster systems

abstract: We study effects of the antisymmetrization on the potential energy of two-cluster systems. The object of the investigation is the lightest nuclei of p-shell with a dominant alpha-cluster channel. For this aim we construct matrix elements of two-cluster potential energy between cluster oscillator functions with and without full antisymmetrization. Eigenvalues and eigenfunctions of the potential energy matrix are studied in detail. Eigenfunctions of the potential energy operator are presented in oscillator, coordinate and momentum spaces. We demonstrate that the Pauli principle affects more strongly the eigenfunctions than the eigenvalues of the matrix and leads to the formation of resonance and trapped states.


title: Aniotropy of in-plane g-factor of electrons in HgTe quantum wells

abstract: The results of experimental studies of the Shubnikov-de Haas (SdH) efect in the (013)-HgTe/Hg$_{1-x}$Cd$_x$Te quantum wells (QWs) of electron type of conductivity both with normal and inverted energy spectrum are reported. Comprehensive analysis of the SdH oscillations measured for the different orientations of magnetic field relative to the quantum well plane and crystallographic exes allows us to investigate the anisotropy of the Zeeman effect. For the QWs with inverted spectrum, it has been shown that the ratio of the spin splitting to the orbital one is strongly dependent not only on the orientation of the magnetic field relative to the QW plane but also on the orientation of the in-plane magnetic field component relative to crystallographic axes laying in the QW plane that implies the strong anisotropy of in-plane g-factor. In the QW with normal spectrum, this ratio strongly depends on the angle between the magnetic field and the normal to the QW plane and reveals a very slight anisotropy in the QW plane. To interpret the data, the Landau levels in the tilted magnetic field are calculated within the framework of four-band \emph{kP} model. It is shown that the experimental results can be quantitatively described only with taking into account the interface inversion asymmetry.


title: Configuration-Space Flipper Planning on 3D Terrain

abstract: Flippers are essential components of tracked robot locomotion systems for unstructured terrain, especially within a rescue scenario. Achieving full and semi-autonomy for such rescue robots is the goal of many research efforts. In this work, we propose an algorithm to plan the morphologies of a small rescue robot with four flippers over 3D ground without any extra sensor, such as pressure sensor. To achieve the goal, we simplify the rescue robot as a skeleton on inflated terrain. Its morphology can be represented by configurations of several parameters. Then we plan the mobile movement on 3D terrain with four individually manipulated flippers. We perform real robot experiments on three different obstacles. The results show that we move the flippers very effectively and are thus able to tackle those terrains very well.


title: Unraveling the topology of ZrTe$_5$ by changing temperature

abstract: We study the effects of temperature on the topological nature of ZrTe$_5$, which sits near the phase boundary between strong and weak topological insulating orders. Using first-principles calculations, we show that the band gap and the topological indices of ZrTe$_5$ are extremely sensitive to thermal expansion, and that the electron-phonon interaction accounts for more than a third of the total temperature-dependent effects in ZrTe$_5$. We find that the temperature dependence of the band gap has an opposite sign in the strong and weak topological insulator phases. Based on this insight, we propose a robust and unambiguous method to determine the topological nature of any given sample of ZrTe$_5$: if the band gap decreases with temperature it is a strong topological insulator, and if it increases with temperature it is a weak topological insulator. An analogous strategy is expected to be generally applicable to other materials and to become particularly important in the vicinity of topological phase boundaries where other methods provide ambiguous results.


title: Preservation of $\gamma$-spaces and covering properties of products

abstract: We prove that the Hurewicz property is not preserved by finite products in the Miller model. This is a consequence of the fact that Miller forcing preserves ground model $\gamma$-spaces.


title: Alleviating Feature Confusion for Generative Zero-shot Learning

abstract: Lately, generative adversarial networks (GANs) have been successfully applied to zero-shot learning (ZSL) and achieved state-of-the-art performance. By synthesizing virtual unseen visual features, GAN-based methods convert the challenging ZSL task into a supervised learning problem. However, GAN-based ZSL methods have to train the generator on the seen categories and further apply it to unseen instances. An inevitable issue of such a paradigm is that the synthesized unseen features are prone to seen references and incapable to reflect the novelty and diversity of real unseen instances. In a nutshell, the synthesized features are confusing. One cannot tell unseen categories from seen ones using the synthesized features. As a result, the synthesized features are too subtle to be classified in generalized zero-shot learning (GZSL) which involves both seen and unseen categories at the test stage. In this paper, we first introduce the feature confusion issue. Then, we propose a new feature generating network, named alleviating feature confusion GAN (AFC-GAN), to challenge the issue. Specifically, we present a boundary loss which maximizes the decision boundary of seen categories and unseen ones. Furthermore, a novel metric named feature confusion score (FCS) is proposed to quantify the feature confusion. Extensive experiments on five widely used datasets verify that our method is able to outperform previous state-of-the-arts under both ZSL and GZSL protocols.


title: Coherence Statistics of Structured Random Ensembles and Support Detection Bounds for OMP

abstract: A structured random matrix ensemble that maintains constant modulus entries and unit-norm columns, often called a random phase-rotated (RPR) matrix, is considered in this paper. We analyze the coherence statistics of RPR measurement matrices and apply them to acquire probabilistic performance guarantees of orthogonal matching pursuit (OMP) for support detection (SD). It is revealed via numerical simulations that the SD performance guarantee provides a tight characterization, especially when the signal is sparse.


title: Mobile Internet Experience: Urban vs. Rural -- Saturation vs. Starving?

abstract: Mobile Internet experience has been of increasing interest. Services accessed via smartphone applications shall provide satisfying Quality of Experience (QoE), irrespective of end user location, time of the day, and other circumstances. Unfortunately, current LTE networks often don't provide constant user throughput, one of the major system influence factors to mobile Internet QoE. In this paper, we conducted an exemplary measurement study in LTE networks, comparing the QoE of mobile networks in an urban and a rural region. Our results show that there are significant differences concerning the network speed which can result in unsatisfactory service quality depending on the application to be used. When evaluating the QoE for multiple users who are using the same base station in a specific area, user satisfaction decreases drastically, especially in rural areas. Our work encourages for future work to focus on this gap between the QoE in urban and rural areas.


title: Cycle-consistent Conditional Adversarial Transfer Networks

abstract: Domain adaptation investigates the problem of cross-domain knowledge transfer where the labeled source domain and unlabeled target domain have distinctive data distributions. Recently, adversarial training have been successfully applied to domain adaptation and achieved state-of-the-art performance. However, there is still a fatal weakness existing in current adversarial models which is raised from the equilibrium challenge of adversarial training. Specifically, although most of existing methods are able to confuse the domain discriminator, they cannot guarantee that the source domain and target domain are sufficiently similar. In this paper, we propose a novel approach named {\it cycle-consistent conditional adversarial transfer networks} (3CATN) to handle this issue. Our approach takes care of the domain alignment by leveraging adversarial training. Specifically, we condition the adversarial networks with the cross-covariance of learned features and classifier predictions to capture the multimodal structures of data distributions. However, since the classifier predictions are not certainty information, a strong condition with the predictions is risky when the predictions are not accurate. We, therefore, further propose that the truly domain-invariant features should be able to be translated from one domain to the other. To this end, we introduce two feature translation losses and one cycle-consistent loss into the conditional adversarial domain adaptation networks. Extensive experiments on both classical and large-scale datasets verify that our model is able to outperform previous state-of-the-arts with significant improvements.


title: Plasmonic Nanolenses Produced by Cylindrical Vector Beam Printing for Sensing Applications

abstract: Here, we demonstrate a simple direct maskless laser-based approach for fabrication of back-reflector-coupled plasmonic nanorings arrays. The approach is based on delicate ablation of an upper metal film of a metal-insulator-metal (MIM) sandwich with donut-shaped laser pulses followed by argon ion-beam polishing. After being excited with a radially polarized beam, the as-prepared MIM configuration of the nanorings permitted to realize efficient nanofocusing of constructively interfering plasmonic waves excited in the gap area between the nanoring and back-reflector mirror. For optimized geometric parameters of such MIM structure, substantial enhancement of the electromagnetic near-fields at the center of the ring within a single focal spot with the size of 0.37$\lambda^{2}$ can be achieved, which is confirmed by Finite Difference Time Domain (FDTD) calculations, as well as by detection of enhanced PL signal from adsorbed organic dye molecules. The simple large-scale and cost-efficient fabrication procedure used, along with relatively good tolerance to excitation beam misalignment, make the proposed structures promising for realization of various nanophotonic and biosensing platforms that utilize cylindrical vector beam as a pump source.


title: Enriched categories and tropical mathematics

abstract: This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first explain standard category-theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way, we review known reformulations (due to Elliott and Willerton) of tropical polytopes, directed tight spans and the Legendre--Fenchel transform by means of these constructions, illustrating their ubiquity in tropical mathematics and related fields. We then consider complete semimodules over a quantale $\mathcal{Q}$, a tropical analogue of vector spaces over a field, and mention Stubbe's result identifying them with skeletal and complete $\mathcal{Q}$-categories. With the aim to bridge a gap between enriched category theory and tropical mathematics, we assume no knowledge in either field.


title: Quantum Optimization with a Novel Gibbs Objective Function and Ansatz Architecture Search

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a standard method for combinatorial optimization with a gate-based quantum computer. The QAOA consists of a particular ansatz for the quantum circuit architecture, together with a prescription for choosing the variational parameters of the circuit. We propose modifications to both. First, we define the Gibbs objective function and show that it is superior to the energy expectation value for use as an objective function in tuning the variational parameters. Second, we describe an Ansatz Architecture Search (AAS) algorithm for searching the discrete space of quantum circuit architectures near the QAOA to find a better ansatz. Applying these modifications for a complete graph Ising model results in a $244.7\%$ median relative improvement in the probability of finding a low-energy state while using $33.3\%$ fewer two-qubit gates. For Ising models on a 2d grid we similarly find $44.4\%$ median improvement in the probability with a $20.8\%$ reduction in the number of two-qubit gates. This opens a new research field of quantum circuit architecture design for quantum optimization algorithms.


title: Quantum algorithm for finding the negative curvature direction in non-convex optimization

abstract: We present an efficient quantum algorithm aiming to find the negative curvature direction for escaping the saddle point, which is the critical subroutine for many second-order non-convex optimization algorithms. We prove that our algorithm could produce the target state corresponding to the negative curvature direction with query complexity O(polylog(d) /{\epsilon}), where d is the dimension of the optimization function. The quantum negative curvature finding algorithm is exponentially faster than any known classical method which takes time at least O(d /\sqrt{\epsilon}). Moreover, we propose an efficient quantum algorithm to achieve the classical read-out of the target state. Our classical read-out algorithm runs exponentially faster on the degree of d than existing counterparts.


title: Deep End-to-End Alignment and Refinement for Time-of-Flight RGB-D Module

abstract: Recently, it is increasingly popular to equip mobile RGB cameras with Time-of-Flight (ToF) sensors for active depth sensing. However, for off-the-shelf ToF sensors, one must tackle two problems in order to obtain high-quality depth with respect to the RGB camera, namely 1) online calibration and alignment; and 2) complicated error correction for ToF depth sensing. In this work, we propose a framework for jointly alignment and refinement via deep learning. First, a cross-modal optical flow between the RGB image and the ToF amplitude image is estimated for alignment. The aligned depth is then refined via an improved kernel predicting network that performs kernel normalization and applies the bias prior to the dynamic convolution. To enrich our data for end-to-end training, we have also synthesized a dataset using tools from computer graphics. Experimental results demonstrate the effectiveness of our approach, achieving state-of-the-art for ToF refinement.


title: Angular Derivatives and Boundary Values of H(b) Spaces of Unit Ball of $\mathbb{C}^n$

abstract: In this work we study deBranges-Rovnyak spaces, $H(b)$, on the unit ball of $\mathbb{C}^n$. We give an integral representation of the functions in $H(b)$ through the Clark measure on $S^n$ associated with $b$. A characterization of admissible boundary limits is given in relation with finite angular derivatives. Lastly, we examine the interplay between Clark measures and angular derivatives showing that Clark measure associated with $b$ has an atom at a boundary point if and only if $b$ has finite angular derivative at the same point.


title: Thinking Inside the Box: An Advection-Diffusion Model of Animal Movement in an Enclosed Region

abstract: We develop simple diffusion-advection models to estimate the average time it takes fish to reach one of the boundaries of an enclosure and the population distribution over time moving in the enclosure (such as a lake or slough). We start with a combination of random walks and directed movement and then, from these, proceeding to the associated Partial Differential Equations and their solution. We also find the evolution of the population distribution and communities composition over time moving in the enclosure. Although this model was developed with fish movements in mind it has wide-ranging applicability scaling from the molecular to human and action from inert to deliberate.


title: A search for short-term hard X-ray bursts in the direction of the repeating FRB 121102

abstract: The nature of fast radio bursts (FRBs), which occurs on millisecond time scales in the radio band, has not been well-understood. Among their unknown observational properties are their broadband spectra and persistent and transient multi-wavelength counterparts. Well-localized FRBs provide us the opportunity to address these issues in archival observations. We have performed searches for 15-150 keV hard X-ray bursts on time scales as short as millisecond in the direction of the repeating FRB 121102 (with a spacial resolution of a few arcminutes) in the archival Swift/BAT data during the period between October 2016 and September 2017. We have found no significant (5 $\sigma$) hard X-ray bursts in the direction of the repeating FRB. We have derived an upper limit of the hard X-ray (15--150 keV) flux of any X-ray bursts on 1 ms time scale of around $1.01 \times 10^{-7}$erg cm$^{-2}$s$^{-1}$, if assuming a photo-index of 2 for potential X-ray flares in X-ray band. A plausible scenario for the repeating FRB as being associated with \emph{magnetar giant flare} is still far below the upper limit.


title: Refined $\alpha$-Divergence Variational Inference via Rejection Sampling

abstract: We present an approximate inference method, based on a synergistic combination of R\'enyi $\alpha$-divergence variational inference (RDVI) and rejection sampling (RS). RDVI is based on minimization of R\'enyi $\alpha$-divergence $D_\alpha(p||q)$ between the true distribution $p(x)$ and a variational approximation $q(x)$; RS draws samples from a distribution $p(x) = \tilde{p}(x)/Z_{p}$ using a proposal $q(x)$, s.t. $Mq(x) \geq \tilde{p}(x), \forall x$. Our inference method is based on a crucial observation that $D_\infty(p||q)$ equals $\log M(\theta)$ where $M(\theta)$ is the optimal value of the RS constant for a given proposal $q_\theta(x)$. This enables us to develop a \emph{two-stage} hybrid inference algorithm. Stage-1 performs RDVI to learn $q_\theta$ by minimizing an estimator of $D_\alpha(p||q)$, and uses the learned $q_\theta$ to find an (approximately) optimal $\tilde{M}(\theta)$. Stage-2 performs RS using the constant $\tilde{M}(\theta)$ to improve the approximate distribution $q_\theta$ and obtain a sample-based approximation. We prove that this two-stage method allows us to learn considerably more accurate approximations of the target distribution as compared to RDVI. We demonstrate our method's efficacy via several experiments on synthetic and real datasets.


title: Fault-tolerant Quantum Error Correction on Near-term Quantum Processors using Flag and Bridge Qubits

abstract: Fault-tolerant (FT) computation by using quantum error correction (QEC) is essential for realizing large-scale quantum algorithms. Devices are expected to have enough qubits to demonstrate aspects of fault tolerance in the near future. However, these near-term quantum processors will only contain a small amount of noisy qubits and allow limited qubit connectivity. Fault-tolerant schemes that not only have low qubit overhead but also comply with geometrical interaction constraints are therefore necessary. In this work, we combine flag fault tolerance with quantum circuit mapping, to enable an efficient flag-bridge approach to implement FT QEC on near-term devices. We further show an example of performing the Steane code error correction on two current superconducting processors and numerically analyze their performance with circuit level noise. The simulation results show that the QEC circuits that measure more stabilisers in parallel have lower logical error rates. We also observe that the Steane code can outperform the distance-3 surface code using flag-bridge error correction. In addition, we foresee potential applications of the flag-bridge approach such as FT computation using lattice surgery and code deformation techniques.


title: A Demonstration of Implication Logic Based on Volatile (Diffusive) Memristors

abstract: Implication logic gates that are based on volatile memristors are demonstrated experimentally with the use of relay-based volatile memristor emulators of an original design. The fabricated logic circuit involves two volatile memristors and it is capable of performing four fundamental logic functions (two types of material implication and the negations thereof). Moreover, current-voltage characteristics of individual emulators are recorded and self-sustained oscillations in a resistor-volatile memristor circuit are found. The developed emulator offers a great potential for memristive circuit experiments because of its simplicity, similarity of response with volatile memristors, and low cost. Our findings, which are based on emulators, can easily be reproduced with physical volatile memristors and, thus, open up possibilities for emerging in-memory computing architectures.


title: Breaking Imphash

abstract: There are numerous schemes to generically signature artifacts. We specifically consider how to circumvent signatures based on imphash. Imphash is used to signature Portable Executable (PE) files and an imphash of a PE file is an MD5 digest over all the symbols that PE file imports. Imphash has been used in numerous cases to accurately tie a PE file seen in one environment to PE files in other environments, although each of these PE files' contents was different. An argument made for imphash is that alteration of imphashes of derived PE file artifacts is unlikely since it is an expensive process, such that you will need to either modify the source code and recompile or relink in a different order. Nevertheless, we present a novel algorithm that generates derivative PE files such that its imphash is different from the original PE file. This straightforward algorithm produces feasible solutions that defeat approaches relying on the impash algorithm to signature PE files.


title: Production of $\phi(2170)$ and $\eta(2225)$ in a kaon induced reaction

abstract: In this work, we study the production of strange quarkoniums, the $\phi(2170)$, also named $Y(2175)$, and the $\eta(2225)$, via a kaon induced reaction on a proton target in an effective Lagrangian approach. The total and differential cross sections of the reactions $K^{-}p\rightarrow \phi (2170)\Lambda $ and $K^{-}p\rightarrow \eta (2225)\Lambda $ are calculated by the Reggeized $t $-channel Born term under an assumption that the $\phi(2170)$ and $\eta(2225)$ are $\Lambda\bar{\Lambda}$ molecular states. At the center of mass energies of about 4.2 GeV, the total cross section for the $\phi(2170)$ production is predicted to be about 1 $\mu $b. The numerical results indicate that it is feasible to produce the $\phi (2170)$ via kaon beam scattering at the best energy window near 4.2 GeV. The total cross section for the $\eta(2225)$ production is smaller than that for the $\phi(2170)$ production and it may reach an order of the magnitude of 0.1 $\mu$b. The differential cross sections for both reactions at different center of mass energies are also presented. It is found that the Reggeized $t$ channel gives a considerable contribution at forward angles. As the energy increases, the contribution from the $t$-channel almost concentrates at extreme forward angles. From these theoretical predictions, the relevant experimental research is suggested, which could provide important information to clarify the internal structure and production mechanism of these two strange quarkoniums.


title: Towards Efficient and Secure Delivery of Data for Deep Learning with Privacy-Preserving

abstract: Privacy recently emerges as a severe concern in deep learning, that is, sensitive data must be prohibited from being shared with the third party during deep neural network development. In this paper, we propose Morphed Learning (MoLe), an efficient and secure scheme to deliver deep learning data. MoLe has two main components: data morphing and Augmented Convolutional (Aug-Conv) layer. Data morphing allows data providers to send morphed data without privacy information, while Aug-Conv layer helps deep learning developers to apply their networks on the morphed data without performance penalty. MoLe provides stronger security while introducing lower overhead compared to GAZELLE (USENIX Security 2018), which is another method with no performance penalty on the neural network. When using MoLe for VGG-16 network on CIFAR dataset, the computational overhead is only 9% and the data transmission overhead is 5.12%. As a comparison, GAZELLE has computational overhead of 10,000 times and data transmission overhead of 421,000 times. In this setting, the attack success rate of adversary is 7.9 x 10^{-90} for MoLe and 2.9 x 10^{-30} for GAZELLE, respectively.


title: Communication-Efficient Weighted Sampling and Quantile Summary for GBDT

abstract: Gradient boosting decision tree (GBDT) is a powerful and widely-used machine learning model, which has achieved state-of-the-art performance in many academic areas and production environment. However, communication overhead is the main bottleneck in distributed training which can handle the massive data nowadays. In this paper, we propose two novel communication-efficient methods over distributed dataset to mitigate this problem, a weighted sampling approach by which we can estimate the information gain over a small subset efficiently, and distributed protocols for weighted quantile problem used in approximate tree learning.


title: Applications in random matrix theory of a PIII$'$ $\tau$-function sequence from Okamoto's Hamiltonian formulation

abstract: We consider the singular linear statistic of the Laguerre unitary ensemble consisting of the sum of the reciprocal of the eigenvalues. It is observed that the exponential generating function for this statistic can be written as a Toeplitz determinant with entries given in terms of particular $K$ Bessel functions. Earlier studies have identified the same determinant, but with the $K$ Bessel functions replaced by $I$ Bessel functions, as relating to the hard edge scaling limit of a generalized gap probability for the Laguerre unitary ensemble, in the case of non-negative integer Laguerre parameter. We show that the Toeplitz determinant formed from an arbitrary linear combination of these two Bessel functions occurs as a $\tau$-function sequence in Okamoto's Hamiltonian formulation of Painlev\'e III$'$, and consequently the logarithmic derivative of both Toeplitz determinants satisfies the same $\sigma$-form Painlev\'e III$'$ differential equation, giving an explanation of a fact which can be observed from earlier results. In addition, some insights into the relationship between this characterization of the generating function, and its characterization in the $n \to \infty$ limit, both with the Laguerre parameter $\alpha$ fixed, and with $\alpha = n$ (this latter circumstance being relevant to an application to the distribution of the Wigner time delay statistic), are given.


title: Ergodic Spectral Efficiency of Massive MIMO with Correlated Rician Channel and MRC Detection based on LS and MMSE Channel Estimation

abstract: In this paper, we study the spectral efficiency (SE) of a multi-cell massive multiple-input multiple-output (MIMO) system with a spatially correlated Rician channel. The correlation between least squares (LS) estimator and its error complicates SE analysis, since signal and interference components become cross-correlated, too. Minimum mean square error (MMSE) estimators do not suffer from this burden. In some previous works, a proper part of the signal is referred to interference, which makes them cross-uncorrelated, and leads to an SE lower bound. In our modified approach, we extract and refer the cross-correlated part of interference to the signal to attain this objective. Here, we use this approach for calculating the instantaneous SE of maximum ratio combining (MRC) detector under LS and MMSE estimation methods. We also derive closed-form approximations of their ergodic SE. This approach is also applicable to other linear channel estimators or data detectors. Numerical results show that achievable SE surpasses that of the previous approach. They also show that our approximation is close enough to Monte Carlo simulation results, especially at the high number of the base station (BS) antennas.


title: Thanks for Nothing: Predicting Zero-Valued Activations with Lightweight Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) introduce state-of-the-art results for various tasks with the price of high computational demands. Inspired by the observation that spatial correlation exists in CNN output feature maps (ofms), we propose a method to dynamically predict whether ofm activations are zero-valued or not according to their neighboring activation values, thereby avoiding zero-valued activations and reducing the number of convolution operations. We implement the zero activation predictor (ZAP) with a lightweight CNN, which imposes negligible overheads and is easy to deploy on existing models. ZAPs are trained by mimicking hidden layer ouputs; thereby, enabling a parallel and label-free training. Furthermore, without retraining, each ZAP can be tuned to a different operating point trading accuracy for MAC reduction.


title: Privacy-preserving Double Auction Mechanism Based on Homomorphic Encryption and Sorting Networks

abstract: As an effective resource allocation approach, double auctions (DAs) have been extensively studied in electronic commerce. Most previous studies have focused on how to design strategy-proof DA mechanisms, while not much research effort has been done concerning privacy and security issues. However, security, especially privacy issues have become such a public concern that the European governments lay down the law to enforce the privacy guarantees recently. In this paper, to address the privacy issue in electronic auctions, we concentrate on how to design a privacy-preserving mechanism for double auctions by employing Goldwasser-Micali homomorphic encryption and sorting networks. We achieve provable privacy such that the auctions do not reveal any bid information except the auction results, resulting in a strict privacy guarantee. Moreover, to achieve practical system performance, we compare different sorting algorithms, and suggest using the faster ones. Experimental results show that different sorting algorithms may have great effect on the performance of our mechanism, and demonstrate the practicality of our protocol for real-world applications in electronic commerce.


title: Exploring the inflation of $F(R)$ gravity

abstract: The early time expansion of the space-time, namely inflation, is introduced to solve some cosmological problems. $F(R)$ gravity is a simple extension of the general relativity to induce the inflationary expansion. The precise observation of the Cosmic Microwave Background gives us the information to inspect the model of the inflation. By the Weyl transformation, $F(R)$ gravity can be transformed to the Einstein-Hilbert term with a scalar field that plays the role of the inflaton. In this paper we obtain general formulae to derive the inflationary parameters including the models with a non-canonical kinetic term. The inflationary parameters are described as functions of the inflation potential and its derivatives. We apply the procedure to $F(R)=R+\gamma R^n$ and $R(1+\gamma R^n)^{1/n}$ models and show the allowed parameters space.


title: Representable diagrammatic sets as a model of weak higher categories

abstract: Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose this as a convenient framework for higher-dimensional rewriting. We define diagrammatic sets to be presheaves on a category of directed complexes presenting pasting diagrams with spherical boundaries. Diagrammatic sets have structural face and degeneracy operations, but no structural composition. We define a notion of equivalence cell in a diagrammatic set, and say that a diagrammatic set is representable if all pasting diagrams with spherical boundaries are connected to individual cells -- their weak composites -- by a higher-dimensional equivalence cell. We develop the basic theory of representable diagrammatic sets (RDSs), and prove that equivalence cells satisfy the expected properties in an RDS. We study nerves of strict omega-categories as RDSs and prove that 2-truncated RDSs are equivalent to bicategories. Finally, we connect the combinatorics of diagrammatic sets and simplicial sets, and prove a version of the homotopy hypothesis for "groupoidal" RDSs: there exists a geometric realisation functor for diagrammatic sets, inducing isomorphisms between combinatorial and classical homotopy groups, which has a homotopical right inverse.


title: The fate of planetary cores in giant and ice-giant planets

abstract: We used {\sl \textup{ab initio}} molecular dynamics simulations to calculate the high-pressure melting temperatures of the three potential core components. The planetary adiabats were obtained by solving the hydrostatic equations in a three-layer model adjusted to reproduce the measured gravitational moments. Recently developed {\sl \textup{ab initio}} equations of state were used for the envelope and the core. We find that the cores of the giant and ice-giant planets of the solar system differ because the pressure-temperature conditions encountered in each object correspond to different regions of the phase diagrams. For Jupiter and Saturn, the results are compatible with a diffuse core and mixing of a significant fraction of metallic elements in the envelope, leading to a convective and/or a double-diffusion regime. We also find that their solid cores vary in nature and size throughout the lifetimes of these planets. The solid cores of the two giant planets are not primordial and nucleate and grow as the planets cool. We estimate that the solid core of Jupiter is 3 Gyr old and that of Saturn is 1.5 Gyr old. The situation is less extreme for Uranus and Neptune, whose cores are only partially melted. To model Jupiter, the time evolution of the interior structure of the giant planets and exoplanets in general, their luminosity, and the evolution of the tidal effects over their lifetimes, the core should be considered as crystallizing and growing rather than gradually mixing into the envelope due to the solubility of its components.


title: Realizing a scalable building block of a U(1) gauge theory with cold atomic mixtures

abstract: In the fundamental laws of physics, gauge fields mediate the interaction between charged particles. An example is quantum electrodynamics -- the theory of electrons interacting with the electromagnetic field -- based on U(1) gauge symmetry. Solving such gauge theories is in general a hard problem for classical computational techniques. While quantum computers suggest a way forward, it is difficult to build large-scale digital quantum devices required for complex simulations. Here, we propose a fully scalable analog quantum simulator of a U(1) gauge theory in one spatial dimension. To engineer the local gauge symmetry, we employ inter-species spin-changing collisions in an atomic mixture. We demonstrate the experimental realization of the elementary building block as a key step towards a platform for large-scale quantum simulations of continuous gauge theories.

categories: cond-mat.quant-gas hep-ph physics.atom-ph quant-ph


title: Agent-Based Simulation of the Two-Dimensional Patlak-Keller-Segel Model

abstract: The Patlak-Keller-Segel equation describes the chemotactic interactions of small organisms in the continuum limit, and a singular peak appears through spontaneous aggregation when the total mass of the organisms exceeds a critical value. To deal with this singular behavior numerically, we propose an agent-based simulation method in which both the organisms and the chemicals are represented as particles. Our numerical estimates for the threshold behavior are consistent with the analytic predictions.


title: Comprehensive models of novae at metallicity $Z = 0.02$ and $Z = 10^{-4}$

abstract: Novae are the observational manifestations of thermonuclear runaways on the surface of accreting white dwarfs (WDs). Although novae are an ubiquitous phenomenon, their properties at low metallicity are not well understood. Using the publicly-available stellar evolution code Modules for Experiments in Stellar Astrophysics (MESA), we model the evolution of accreting carbon-oxygen WDs and consider models which accrete matter with metallicity Z=0.02 or $10^{-4}$. We consider both models without mixing and with matter enriched by CO-elements assuming that mixing occurs in the process of accretion (with mixing fraction 0.25). We present and contrast ignition mass, ejected mass, recurrence period and maximum luminosity of novae for different WD masses and accretion rates for these metallicities and mixing cases. We find that models with Z = 0.02 have ignition masses and recurrence periods smaller than models with low Z, while the ejected mass and maximum luminosity are larger. Retention efficiency during novae outbursts decreases with increasing metallicity. In our implementation, inclusion of mixing at the H/He interface reduces accreted mass, ejected mass and recurrence period as compared to the no-mixing case, while the maximum luminosity becomes larger. Retention efficiency is significantly reduced, becoming negative in most of our models. For ease of use, we provide a tabular summary of our results.


title: The Impact of Technologies in Political Campaigns

abstract: Recent political campaigns have demonstrated how technologies are used to boost election outcomes by microtargeting voters. We propose and analyze a framework which analyzes how political activists use technologies to target voters. Voters are represented as nodes of a network. Political activists reach out locally to voters and try to convince them. Depending on their technological advantage and budget, political activists target certain regions in the network where their activities are able to generate the largest vote-share gains. Analytically and numerically, we quantify vote-share gains and savings in terms of budget and number of activists from employing superior targeting technologies compared to traditional campaigns. Moreover, we demonstrate that the technological precision must surpass a certain threshold in order to lead to a vote-share gain or budget advantage. Finally, by calibrating the technology parameters to the recent U.S. presidential election, we show that a pure targeting technology advantage is consistent with Trump winning against Clinton.


title: Configurational constraints on glass formation in the liquid calcium aluminate system

abstract: We report new time-resolved synchrotron x-ray diffraction (SXRD) measurements to track structural transformations in calcium-aluminate (CaO)x(Al2O3)1-x liquids during glass formation, and review recent progress in neutron diffraction with isotope substitution (NDIS) experiments, combined with aspherical ion model molecular dynamics (AIM-MD) simulations, to identify the atomic-scale configurational constraints on glass-forming ability.


title: Proceedings 35th International Conference on Logic Programming (Technical Communications)

abstract: Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.


title: A heuristic use of dynamic programming to upperbound treewidth

abstract: For a graph $G$, let $\Pi(G)$ denote the set of all potential maximal cliques of $G$. For each subset $\Pi$ of $\Pi(G)$, let $\tw(G, \Pi)$ denote the smallest $k$ such that there is a tree-decomposition of $G$ of width $k$ whose bags all belong to $\Pi$. Bouchitt\'{e} and Todinca observed in 2001 that $\tw(G, \Pi(G))$ is exactly the treewidth of $G$ and developed a dynamic programming algorithm to compute it. Indeed, their algorithm can readily be applied to an arbitrary non-empty subset $\Pi$ of $\Pi(G)$ and computes $\tw(G, \Pi)$, or reports that it is undefined, in time $|\Pi||V(G)|^{O(1)}$. This efficient tool for computing $\tw(G, \Pi)$ allows us to conceive of an iterative improvement procedure for treewidth upper bounds which maintains, as the current solution, a set of potential maximal cliques rather than a tree-decomposition. We design and implement an algorithm along this approach. Experiments show that our algorithm vastly outperforms previously implemented heuristic algorithms for treewidth.


title: Social Network Analysis of Corruption Structures: Adjacency Matrices Supporting the Visualization and Quantification of Layeredness

abstract: Often, corruption is described as taking place within or supported by a network: A collection of individuals structured in such a way as to enable the transaction of bribes for favors. Surprisingly, despite the network nomenclature, corruption is rarely analyzed from the network perspective using the tools of network science. Here, we will argue that analyzing corruption from the perspective of network science is beneficial to its understanding. In passing this chapter, a contribution to the Liber Amicorum in honor of Leo Huberts, then gives a very short introduction into social network analysis.


title: Intrinsic Mirror Symmetry

abstract: We associate a ring R to a log Calabi-Yau pair (X,D) or a degeneration of Calabi-Yau manifolds X->B. The vector space underlying R is determined by the tropicalization of (X,D) or X->B, while the product rule is defined using punctured Gromov-Witten invariants, defined in joint work with Abramovich and Chen. In the log Calabi-Yau case, if D is maximally degenerate, then we propose that Spec R is the mirror to X\D, while in the Calabi-Yau degeneration case, if the degeneration is maximally unipotent, the mirror is expected to be Proj R. The main result in this paper is that R as defined is an associative, commutative ring with unit, with associativity the most difficult part.


title: Multiple Birds with One Stone: Beating $1/2$ for EFX and GMMS via Envy Cycle Elimination

abstract: Several relaxations of envy-freeness, tailored to fair division in settings with indivisible goods, have been introduced within the last decade. Due to the lack of general existence results for most of these concepts, great attention has been paid to establishing approximation guarantees. In this work, we propose a simple algorithm that is universally fair in the sense that it returns allocations that have good approximation guarantees with respect to four such fairness notions at once. In particular, this is the first algorithm achieving a $(\phi-1)$-approximation of envy-freeness up to any good (EFX) and a $\frac{2}{\phi +2}$-approximation of groupwise maximin share fairness (GMMS), where $\phi$ is the golden ratio ($\phi \approx 1.618$). The best known approximation factor for either one of these fairness notions prior to this work was $1/2$. Moreover, the returned allocation achieves envy-freeness up to one good (EF1) and a $2/3$-approximation of pairwise maximin share fairness (PMMS). While EFX is our primary focus, we also exhibit how to fine-tune our algorithm and improve the guarantees for GMMS or PMMS. Finally, we show that GMMS -- and thus PMMS and EFX -- allocations always exist when the number of goods does not exceed the number of agents by more than two.


title: Proximitized Josephson junctions in highly-doped InAs nanowires robust to optical illumination

abstract: We have studied the effects of optical-frequency light on proximitized InAs/Al Josephson junctions based on highly n-doped InAs nanowires at varying incident photon flux and at three different photon wavelengths. The experimentally obtained IV curves were modeled using a shunted junction model which takes scattering at the contact interfaces into account. The Josephson junctions were found to be surprisingly robust, interacting with the incident radiation only through heating, whereas above the critical current our devices showed non-thermal effects resulting from photon exposure. Our work provides important guidelines for the co-integration of Josephson junctions alongside quantum photonic circuits and lays the foundation for future work on nanowire-based hybrid photon detectors.


title: Evidence for the production of three massive vector bosons with the ATLAS detector

abstract: The search for the production of three massive vector bosons in proton$-$proton collisions, performed using data at $\sqrt{s}$ = 13 TeV recorded with the ATLAS detector at the Large Hadron Collider in the years 2015$-$2017, corresponding to an integrated luminosity of $79.8$ fb$^{-1}$, is presented. Events with two same-sign leptons $\ell$ (electrons or muons) and at least two reconstructed jets are selected to search for $WWW \to \ell \nu \ell \nu qq$. Events with three leptons without any same-flavour opposite-sign lepton pairs are used to search for $WWW \to \ell \nu \ell\nu \ell \nu$, while events with three leptons and at least one same-flavour opposite-sign lepton pair and one or more reconstructed jets are used to search for $WWZ \to \ell \nu qq \ell \ell$. Finally, events with four leptons are analysed to search for $WWZ \to \ell \nu \ell \nu \ell \ell$ and $WZZ \to qq \ell \ell \ell \ell$. Evidence for the joint production of three massive vector bosons is observed with a significance of 4.1 standard deviations, where the expectation is 3.1 standard deviations.