title: On the Classification and Algorithmic Analysis of Carmichael Numbers

abstract: In this paper, we study the properties of Carmichael numbers, false positives to several primality tests. We provide a classification for Carmichael numbers with a proportion of Fermat witnesses of less than 50%, based on if the smallest prime factor is greater than a determined lower bound. In addition, we conduct a Monte Carlo simulation as part of a probabilistic algorithm to detect if a given composite number is Carmichael. We modify this highly accurate algorithm with a deterministic primality test to create a novel, more efficient algorithm that differentiates between Carmichael numbers and prime numbers.


title: A note on Spontaneous Symmetry Breaking in flocks of birds

abstract: It is suggested that the observed scale-free correlations of speed fluctuations in flocks of birds are a consequence of the spontaneous breakdown of translational symmetry to a discrete group, and not an indication that the system is near a critical point in phase space. The observed long-range correlation length could then be attributed to the presence of a phonon mode in the flock.


title: A Lower Bound for the Reach of Flat Norm Minimizers

abstract: We establish a quantitative lower bound on the reach of flat norm minimizers for boundaries in $\mathbb{R}^2$.


title: Cosmological evolution of primordial black holes

abstract: The cosmological evolution of primordial black holes (PBHs) is considered. A comprehensive view of the accretion and evaporation histories of PBHs across the entire cosmic history is presented, with focus on the critical mass holes. The critical mass of a PBH for current era evaporation is $M_{cr}\sim 5.1\times10^{14}$ g. Across cosmic time such a black hole will not accrete radiation or matter in sufficient quantity to hasten the inevitable evaporation, if the black hole remains within an average volume of the universe. The accretion rate onto PBHs is most sensitive to the mass of the hole, the sound speed in the cosmological fluid, and the energy density of the accreted components. It is not easy for a PBH to accrete the average cosmological fluid to reach $30M_\odot$ by $z\sim0.1$, the approximate mass and redshift of the merging BHs that were the sources of the gravitational wave events GW150914 and GW151226. A PBH located in an overdense region can undergo enhanced accretion leading to the possibility of growing by many orders of magnitude across cosmic history. Thus, two merging PBHs are a plausible source for the observed gravitational wave events. However, it is difficult for isolated PBHs to grow to supermassive black holes (SMBHs) at high redshift with masses large enough to fit observational constraints.


title: PubTree: A Hierarchical Search Tool for the MEDLINE Database

abstract: Keeping track of the ever-increasing body of scientific literature is an escalating challenge. We present PubTree a hierarchical search tool that efficiently searches the PubMed/MEDLINE dataset based upon a decision tree constructed using >26 million abstracts. The tool is implemented as a webpage, where users are asked a series of eighteen questions to locate pertinent articles. The implementation of this hierarchical search tool highlights issues endemic with document retrieval. However, the construction of this tree indicates that with future developments hierarchical search could become an effective tool (or adjunct) in the mining of biological literature.


title: Type II String Theory on Calabi-Yau Manifolds with Torsion and Non-Abelian Discrete Gauge Symmetries

abstract: We provide the first explicit example of Type IIB string theory compactification on a globally defined Calabi-Yau threefold with torsion which results in a four-dimensional effective theory with a non-Abelian discrete gauge symmetry. Our example is based on a particular Calabi-Yau manifold, the quotient of a product of three elliptic curves by a fixed point free action of Z_2 x Z_2. Its cohomology contains torsion classes in various degrees. The main technical novelty is in determining the multiplicative structure of the (torsion part of) the cohomology ring, and in particular showing that the cup product of second cohomology torsion elements goes non-trivially to the fourth cohomology. This specifies a non-Abelian, Heisenberg-type discrete symmetry group of the four-dimensional theory.


title: Knowledge Reuse for Customization: Metamodels in an Open Design Community for 3d Printing

abstract: Theories of knowledge reuse posit two distinct processes: reuse for replication and reuse for innovation. We identify another distinct process, reuse for customization. Reuse for customization is a process in which designers manipulate the parameters of metamodels to produce models that fulfill their personal needs. We test hypotheses about reuse for customization in Thingiverse, a community of designers that shares files for three-dimensional printing. 3D metamodels are reused more often than the 3D models they generate. The reuse of metamodels is amplified when the metamodels are created by designers with greater community experience. Metamodels make the community's design knowledge available for reuse for customization-or further extension of the metamodels, a kind of reuse for innovation.


title: Spontaneous Breaking of Gauge Groups to Discrete Symmetries

abstract: Many models of beyond Standard Model physics connect flavor symmetry with a discrete group. Having this symmetry arise spontaneously from a gauge theory maintains compatibility with quantum gravity and can be used to systematically prevent anomalies. We minimize a number of Higgs potentials that break gauge groups to discrete symmetries of interest, and examine their scalar mass spectra.


title: Learning Control for Air Hockey Striking using Deep Reinforcement Learning

abstract: We consider the task of learning control policies for a robotic mechanism striking a puck in an air hockey game. The control signal is a direct command to the robot's motors. We employ a model free deep reinforcement learning framework to learn the motoric skills of striking the puck accurately in order to score. We propose certain improvements to the standard learning scheme which make the deep Q-learning algorithm feasible when it might otherwise fail. Our improvements include integrating prior knowledge into the learning scheme, and accounting for the changing distribution of samples in the experience replay buffer. Finally we present our simulation results for aimed striking which demonstrate the successful learning of this task, and the improvement in algorithm stability due to the proposed modifications.


title: Entanglement between living bacteria and quantized light witnessed by Rabi splitting

abstract: We model recent experiments on living sulphur bacteria interacting with quantised light, using the Dicke model. The strong coupling achieved between the bacteria and the light indicates that during the experiment the bacteria (treated as dipoles) and the quantized light are entangled. The vacuum Rabi splitting, which was measured in the experiment for a range of different parameters, can be used as an entanglement witness.


title: The hair-trigger effect for a class of nonlocal nonlinear equations

abstract: We prove the hair-trigger effect for a class of nonlocal nonlinear evolution equations on $\mathbb{R}^d$ which have only two constant stationary solutions, $0$ and $\theta>0$. The effect consists in that the solution with an initial condition non identical to zero converges (when time goes to $\infty$) to $\theta$ locally uniformly in $\mathbb{R}^d$. We find also sufficient conditions for existence, uniqueness and comparison principle in the considered equations.


title: Correlators in simultaneous measurement of non-commuting qubit observables

abstract: We consider the simultaneous and continuous measurement of qubit observables $\sigma_z$ and $\sigma_z\cos\varphi + \sigma_x\sin\varphi$, focusing on the temporal correlations of the two output signals. Using quantum Bayesian theory, we derive analytical expressions for the correlators, which we find to be in very good agreement with experimentally measured output signals. We further discuss how the correlators can be applied to parameter estimation, and use them to infer a small residual qubit Hamiltonian arising from calibration inaccuracy in the experimental data.


title: Intra-protein binding peptide fragments have specific and intrinsic sequence patterns

abstract: The key finding in the DNA double helix model is the specific pairing or binding between nucleotides A-T and C-G, and the pairing rules are the molecule basis of genetic code. Unfortunately, no such rules have been discovered for proteins. Here we show that similar rules and intrinsic sequence patterns between intra-protein binding peptide fragments do exist, and they can be extracted using a deep learning algorithm. Multi-millions of binding and non-binding peptide fragments from currently available protein X-ray structures are classified with an accuracy of up to 93%. This discovery has the potential in helping solve protein folding and protein-protein interaction problems, two open and fundamental problems in molecular biology.


title: Topological Interference Management with Decoded Message Passing

abstract: The topological interference management (TIM) problem studies partially-connected interference networks with no channel state information except for the network topology (i.e., connectivity graph) at the transmitters. In this paper, we consider a similar problem in the uplink cellular networks, while message passing is enabled at the receivers (e.g., base stations), so that the decoded messages can be routed to other receivers via backhaul links to help further improve network performance. For this TIM problem with decoded message passing (TIM-MP), we model the interference pattern by conflict digraphs, connect orthogonal access to the acyclic set coloring on conflict digraphs, and show that one-to-one interference alignment boils down to orthogonal access because of message passing. With the aid of polyhedral combinatorics, we identify the structural properties of certain classes of network topologies where orthogonal access achieves the optimal degrees-of-freedom (DoF) region in the information-theoretic sense. The relation to the conventional index coding with simultaneous decoding is also investigated by formulating a generalized index coding problem with successive decoding as a result of decoded message passing. The properties of reducibility and criticality are also studied, by which we are able to prove the linear optimality of orthogonal access in terms of symmetric DoF for the networks up to four users with all possible network topologies (218 instances). Practical issues of the tradeoff between the overhead of message passing and the achievable symmetric DoF are also discussed, in the hope of facilitating efficient backhaul utilization.


title: Unravelling the Dodecahedral Spaces

abstract: The hyperbolic dodecahedral space of Weber and Seifert has a natural non-positively curved cubulation obtained by subdividing the dodecahedron into cubes. We show that the hyperbolic dodecahedral space has a 6-sheeted irregular cover with the property that the canonical hypersurfaces made up of the mid-cubes give a very short hierarchy. Moreover, we describe a 60-sheeted cover in which the associated cubulation is special. We also describe the natural cubulation and covers of the spherical dodecahedral space (aka Poincar\'e homology sphere).


title: Probability density of lognormal fractional SABR model

abstract: Instantaneous volatility of logarithmic return in the lognormal fractional SABR model is driven by the exponentiation of a correlated fractional Brownian motion. Due to the mixed nature of driving Brownian and fractional Brownian motions, probability density for such a model is less studied in the literature. We show in this paper a bridge representation for the joint density of the lognormal fractional SABR model in a Fourier space. Evaluating the bridge representation along a properly chosen deterministic path yields a small time asymptotic expansion to the leading order for the probability density of the fractional SABR model. A direct generalization of the representation to joint density at multiple times leads to a heuristic derivation of the large deviations principle for the joint density in small time. Approximation of implied volatility is readily obtained by applying the Laplace asymptotic formula to the call or put prices and comparing coefficients.


title: Tracking within Hadronic Showers in the CALICE SDHCAL prototype using a Hough Transform Technique

abstract: The high granularity of the CALICE Semi-Digital Hadronic CALorimeter (SDHCAL) provides the capability to reveal the track segments present in hadronic showers. These segments are then used as a tool to probe the behaviour of the active layers in situ, to better reconstruct the energy of these hadronic showers and also to distinguish them from electromagnetic ones. In addition, the comparison of these track segments in data and the simulation helps to discriminate among the different shower models used in the simulation. To extract the track segments in the showers recorded in the SDHCAL, a Hough Transform is used after being adapted to the presence of the dense core of the hadronic showers and the SDHCAL active medium structure.


title: The linear nature of pseudowords

abstract: Given a pseudoword over suitable pseudovarieties, we associate to it a labeled linear order determined by the factorizations of the pseudoword. We show that, in the case of the pseudovariety of aperiodic finite semigroups, the pseudoword can be recovered from the labeled linear order.


title: On Algorithmic Statistics for space-bounded algorithms

abstract: Algorithmic statistics studies explanations of observed data that are good in the algorithmic sense: an explanation should be simple i.e. should have small Kolmogorov complexity and capture all the algorithmically discoverable regularities in the data. However this idea can not be used in practice because Kolmogorov complexity is not computable. In this paper we develop algorithmic statistics using space-bounded Kolmogorov complexity. We prove an analogue of one of the main result of `classic' algorithmic statistics (about the connection between optimality and randomness deficiences). The main tool of our proof is the Nisan-Wigderson generator.


title: Spatiotemporal algebraically localized waveforms for a nonlinear Schr\"odinger model with gain and loss

abstract: We consider the asymptotic behavior of the solutions of a nonlinear Schr\"odinger (NLS) model incorporating linear and nonlinear gain/loss. First, we describe analytically the dynamical regimes (depending on the gain/loss strengths), for finite-time collapse, decay, and global existence of solutions in the dynamics. Then, for all the above parametric regimes, we use direct numerical simulations to study the dynamics corresponding to algebraically decaying initial data. We identify crucial differences between the dynamics of vanishing initial conditions, and those converging to a finite constant background: in the former (latter) case we find strong (weak) collapse or decay, when the gain/loss parameters are selected from the relevant regimes. One of our main results, is that in all the above regimes, non-vanishing initial data transition through spatiotemporal, algebraically decaying waveforms. While the system is nonintegrable, the evolution of these waveforms is reminiscent to the evolution of the Peregrine rogue wave of the integrable NLS limit. The parametric range of gain and loss for which this phenomenology persists is also touched upon.


title: Finite size and finite temperature studies of the $osp(1|2)$ spin chain

abstract: We study a quantum spin chain invariant by the superalgebra $osp(1|2)$. We derived non-linear integral equations for the row-to-row transfer matrix eigenvalue in order to analyze its finite size scaling behaviour and we determined its central charge. We have also studied the thermodynamical properties of the obtained spin chain via the non-linear integral equations for the quantum transfer matrix eigenvalue. We numerically solved these NLIE and evaluated the specific heat and magnetic susceptibility. The analytical low temperature analysis was performed providing a different value for the effective central charge. The computed values are in agreement with the numerical predictions in the literature.

categories: nlin.SI cond-mat.stat-mech math-ph math.MP


title: A rigorous derivation from the kinetic Cucker-Smale model to the pressureless Euler system with nonlocal alignment

abstract: We consider the kinetic Cucker-Smale model with local alignment as a mesoscopic description for the flocking dynamics. The local alignment was first proposed by Karper, Mellet and Trivisa \cite{K-M-T-3}, as a singular limit of a normalized non-symmetric alignment introduced by Motsch and Tadmor \cite{M-T-1}. The existence of weak solutions to this model is obtained in \cite{K-M-T-3}. The time-asymptotic flocking behavior is shown in this article. Our main contribution is to provide a rigorous derivation from mesoscopic to mascroscopic description for the Cucker-Smale flocking models. More precisely, we prove the hydrodynamic limit of the kinetic Cucker-Smale model with local alignment towards the pressureless Euler system with nonlocal alignment, under a regime of strong local alignment. Based on the relative entropy method, a main difficulty in our analysis comes from the fact that the entropy of the limit system has no strictly convexity in terms of density variable. To overcome this, we combine relative entropy quantities with the 2-Wasserstein distance.


title: Selection of training populations (and other subset selection problems) with an accelerated genetic algorithm (STPGA: An R-package for selection of training populations with a genetic algorithm)

abstract: Optimal subset selection is an important task that has numerous algorithms designed for it and has many application areas. STPGA contains a special genetic algorithm supplemented with a tabu memory property (that keeps track of previously tried solutions and their fitness for a number of iterations), and with a regression of the fitness of the solutions on their coding that is used to form the ideal estimated solution (look ahead property) to search for solutions of generic optimal subset selection problems. I have initially developed the programs for the specific problem of selecting training populations for genomic prediction or association problems, therefore I give discussion of the theory behind optimal design of experiments to explain the default optimization criteria in STPGA, and illustrate the use of the programs in this endeavor. Nevertheless, I have picked a few other areas of application: supervised and unsupervised variable selection based on kernel alignment, supervised variable selection with design criteria, influential observation identification for regression, solving mixed integer quadratic optimization problems, balancing gains and inbreeding in a breeding population. Some of these illustrations pertain new statistical approaches.


title: Quantum parameter estimation via dispersive measurement in circuit QED

abstract: We investigate the quantum parameter estimation in circuit quantum electrodynamics via dispersive measurement. Based on the Metropolis Hastings (MH) algorithm and the Markov chain Monte Carlo (MCMC) integration, a new algorithm is proposed to calculate the Fisher information by the stochastic master equation for unknown parameter estimation. Here, the Fisher information is expressed in the form of log-likehood functions and further approximated by the MCMC integration. Numerical results demonstrate that the single evolution of the Fisher information can probably approach the quantum Fisher information. The same phenomenon is observed in the ensemble evolution in the short time interval. These results demonstrate the effectiveness of the proposed algorithm.


title: Comparison of Guidance Modes for the AUV "Slocum Glider" in Time-Varying Ocean Flows

abstract: This paper presents possibilities for the reliable guidance of an AUV "Slocum Glider" in time-varying ocean flows. The presented guidance modes consider the restricted information during a real mission about the actual position and ocean current conditions as well as the available control modes of a glider. A faster-than-real-time, full software stack simulator for the Slocum glider will be described in order to test the developed guidance modes under real mission conditions.


title: Modeling mechanical interactions in growing populations of rod-shaped bacteria

abstract: Advances in synthetic biology allow us to engineer bacterial collectives with pre-specified characteristics. However, the behavior of these collectives is difficult to understand, as cellular growth and division as well as extra-cellular fluid flow lead to complex, changing arrangements of cells within the population. To rationally engineer and control the behavior of cell collectives we need theoretical and computational tools to understand their emergent spatiotemporal dynamics. Here, we present an agent-based model that allows growing cells to detect and respond to mechanical interactions. Crucially, our model couples the dynamics of cell growth to the cell's environment: Mechanical constraints can affect cellular growth rate and a cell may alter its behavior in response to these constraints. This coupling links the mechanical forces that influence cell growth and emergent behaviors in cell assemblies. We illustrate our approach by showing how mechanical interactions can impact the dynamics of bacterial collectives growing in microfluidic traps.


title: Parallelization of Path Planning Algorithms for AUVs Concepts, Opportunities, and Program-Technical Implementation

abstract: Modern autonomous underwater vehicles (AUVs) have advanced sensing capabilities including sonar, cameras, acoustic communication, and diverse bio-sensors. Instead of just sensing its environment and storing the data for post-Mission inspection, an AUV could use the collected information to gain an understanding of its environment, and based on this understanding autonomously adapt its behavior to enhance the overall effectiveness of its mission. Many such tasks are highly computation intensive. This paper presents the results of a case study that illustrates the effectiveness of an energy-aware, many-core computing architecture to perform on-board path planning within a batteryoperated AUV. A previously published path planning algorithm was ported onto the SCC, an experimental 48 core single-chip system developed by Intel. The performance, power, and energy consumption of the application were measured for different numbers of cores and other system parameters. This case study shows that computation intensive tasks can be executed within an AUV that relies mainly on battery power. Future plans include the deployment and testing of an SCC system within a Teledyne Webb Research Slocum glider.


title: Characterizing slices for proper actions of locally compact groups

abstract: In his seminal work \cite{pal:61}, R. Palais extended a substantial part of the theory of compact transformation groups to the case of proper actions of locally compact groups. Here we extend to proper actions some other important results well known for compact group actions. In particular, we prove that if $H$ is a compact subgroup of a locally compact group $G$ and $S$ is a small (in the sense of Palais) $H$-slice in a proper $G$-space, then the action map $G\times S\to G(S)$ is open. This is applied to prove that the slicing map $f_S:G(S)\to G/H$ is continuos and open, which provides an external characterization of a slice. Also an equivariant extension theorem is proved for proper actions. As an application, we give a short proof of the compactness of the Banach-Mazur compacta.


title: Modular AUV System for Sea Water Quality Monitoring and Management

abstract: The sustained and cost-effective monitoring of the water quality within European coastal areas is of growing importance in view of the upcoming European marine and maritime directives, i.e. the increased industrial use of the marine environment. Such monitoring needs mechanisms/systems to detect the water quality in a large sea area at different depths in real time. This paper presents a system for the automated detection and analysis of water quality parameters using an autonomous underwater vehicle. The analysis of discharge of nitrate into Norwegian fjords near aqua farms is one of the main application fields of this AUV system. As carrier platform the AUV "CWolf" from the Fraunhofer IOSB-AST will be used, which is perfectly suited through its modular payload concept. The mission Task and the integration of the payload unit which includes the sensor module, the scientific and measurement computer in the AUV carrier platform will be described. Few practice oriented information about the software and interface concept, the function of the several software modules and the test platform with the several test levels to test every module will be discussed.


title: Analysis of the coupled Navier-Stokes/Biot problem

abstract: We analyze a weak formulation of the coupled problem defining the interac- tion between a free fluid and a poroelastic structure. The problem is fully dynamic and is governed by the time-dependent incompressible Navier-Stokes equations and the Biot equations. Under a small data assumption, existence and uniqueness results are proved and a priori estimates are provided.


title: On the free path length distribution for linear motion in an n-dimensional box

abstract: We consider the distribution of free path lengths, or the distance between consecutive bounces of random particles, in an n-dimensional rectangular box. If each particle travels a distance R, then, as R tends to infinity the free path lengths coincides with the distribution of the length of the intersection of a random line with the box (for a natural ensemble of random lines) and we give an explicit formula (piecewise real analytic) for the probability density function in dimension two and three. In dimension two we also consider a closely related model where each particle is allowed to bounce N times, as N tends to infinity, and give an explicit (again piecewise real analytic) formula for its probability density function. Further, in both models we can recover the side lengths of the box from the location of the discontinuities of the probability density functions.


title: A Selfie is Worth a Thousand Words: Mining Personal Patterns behind User Selfie-posting Behaviours

abstract: Selfies have become increasingly fashionable in the social media era. People are willing to share their selfies in various social media platforms such as Facebook, Instagram and Flicker. The popularity of selfie have caught researchers' attention, especially psychologists. In computer vision and machine learning areas, little attention has been paid to this phenomenon as a valuable data source. In this paper, we focus on exploring the deeper personal patterns behind people's different kinds of selfie-posting behaviours. We develop this work based on a dataset of WeChat, one of the most extensively used instant messaging platform in China. In particular, we first propose an unsupervised approach to classify the images posted by users. Based on the classification result, we construct three types of user-level features that reflect user preference, activity and posting habit. Based on these features, for a series of selfie related tasks, we build classifiers that can accurately predict two sets of users with opposite selfie-posting behaviours. We have found that people's interest, activity and posting habit have a great influence on their selfie-posting behaviours. For example, the classification accuracy between selfie-posting addict and nonaddict reaches 89.36%. We also prove that using user's image information to predict these behaviours achieve better performance than using text information. More importantly, for each set of users with a specific selfie-posting behaviour, we extract and visualize significant personal patterns about them. In addition, we cluster users and extract their high-level attributes, revealing the correlation between these attributes and users' selfie-posting behaviours. In the end, we demonstrate that users' selfie-posting behaviour, as a good predictor, could predict their different preferences toward these high-level attributes accurately.


title: Opportunities to Parallelize Path Planning Algorithms for Autonomous Underwater Vehicles

abstract: This paper discusses opportunities to parallelize graph based path planning algorithms in a time varying environment. Parallel architectures have become commonplace, requiring algorithm to be parallelized for efficient execution. An additional focal point of this paper is the inclusion of inaccuracies in path planning as a result of forecast error variance, accuracy of calculation in the cost functions and a different observed vehicle speed in the real mission than planned. In this context, robust path planning algorithms will be described. These algorithms are equally applicable to land based, aerial, or underwater mobile autonomous systems. The results presented here provide the basis for a future Research project in which the parallelized algorithms will be evaluated on multi and many core systems such as the dual core ARM Panda board and the 48 core Single-chip Cloud Computer (SCC). Modern multi and many core processors support a wide range of performance vs. energy tradeoffs that can be exploited in energyconstrained environments such as battery operated autonomous underwater vehicles. For this evaluation, the boards will be deployed within the Slocum glider, a commercially available, buoyancy driven autonomous underwater vehicle (AUV).


title: Lattice Coding and Decoding for Multiple-Antenna Ergodic Fading Channels

abstract: For ergodic fading, a lattice coding and decoding strategy is proposed and its performance is analyzed for the single-input single-output (SISO) and multiple-input multiple-output (MIMO) point-to-point channel as well as the multiple-access channel (MAC), with channel state information available only at the receiver (CSIR). At the decoder a novel strategy is proposed consisting of a time-varying equalization matrix followed by decision regions that depend only on channel statistics, not individual realizations. Our encoder has a similar structure to that of Erez and Zamir. For the SISO channel, the gap to capacity is bounded by a constant under a wide range of fading distributions. For the MIMO channel under Rayleigh fading, the rate achieved is within a gap to capacity that does not depend on the signal-to-noise ratio (SNR), and diminishes with the number of receive antennas. The analysis is extended to the K-user MAC where similar results hold. Achieving a small gap to capacity while limiting the use of CSIR to the equalizer highlights the scope for efficient decoder implementations, since decision regions are fixed, i.e., independent of channel realizations.


title: Testbeds for Transition Metal Dichalcogenide Photonics: Efficacy of Light Emission Enhancement in Monomer vs. Dimer Nanoscale Antennae

abstract: Monolayer transition metal dichalcogenides are uniquely-qualified materials for photonics because they combine well defined tunable direct band gaps and selfpassivated surfaces without dangling bonds. However, the atomic thickness of these 2D materials results in low photo absorption limiting the achievable photo luminescence intensity. Such emission can, in principle, be enhanced via nanoscale antennae resulting in; a. an increased absorption cross-section enhancing pump efficiency, b. an acceleration of the internal emission rate via the Purcell factor mainly by reducing the antennas optical mode volume beyond the diffraction limit, and c. improved impedance matching of the emitter dipole to the freespace wavelength. Plasmonic dimer antennae show orders of magnitude hot-spot field enhancements when an emitter is positioned exactly at the midgap. However, a 2D material cannot be grown, or easily transferred, to reside in mid-gap of the metallic dimer cavity. In addition, a spacer layer between the cavity and the emissive material is required to avoid non-radiative recombination channels. Using both computational and experimental methods, in this work we show that the emission enhancement from a 2D emitter- monomer antenna cavity system rivals that of dimers at much reduced lithographic effort. We rationalize this finding by showing that the emission enhancement in dimer antennae does not specifically originate from the gap of the dimer cavity, but is an average effect originating from the effective cavity crosssection taken below each optical cavity where the emitting 2D film is located. In particular, we test an array of different dimer and monomer antenna geometries and observe a representative 3x higher emission for both monomer and dimer cavities as compared to intrinsic emission of Chemical Vapor Deposition synthesized WS2 flakes.


title: Solutions for Practice-oriented Requirements for Optimal Path Planning for the AUV "SLOCUM Glider"

abstract: This paper presents a few important practiceoriented requirements for optimal path planning for the AUV "SLOCUM Glider" as well as solutions using fast graph basedalgorithms. These algorithms build upon the TVE (time-varying environment) search algorithm. The experience with this algorithm, requirements of real missions along the Newfoundland and Labrador Shelf and the idea to find the optimal departure time are the motivation to address the field of research, which is described in this paper. The main focus of this paper is a discussion of possible methods to accelerate the path planning algorithm, without deterioration of the results.


title: The Signs in Elliptic Nets

abstract: We give a generalization of a theorem of Silverman and Stephens regarding the signs in an elliptic divisibility sequence to the case of an elliptic net. We also describe applications of this theorem in the study of the distribution of the signs in elliptic nets and generating elliptic nets using the denominators of the linear combination of points on elliptic curves.


title: On Radicals of Ore Extensions and Related Questions

abstract: We answer several open questions and establish new results concerning differential and skew polynomial ring extensions, with emphasis on radicals. In particular, we prove the following results. If $R$ is prime radical and $\delta$ is a derivation of $R$, then the differential polynomial ring $R[X;\delta]$ is locally nilpotent. This answers an open question posed in by Nielsen and Ziembowski. The nil radical of a differential polynomial ring $R[X;\delta]$ takes the form $I[X;\delta]$ for some ideal $I$ of $R$, provided that the base field is infinite. This answers an open question posed by Hong, Kim, Lee and Nielsen for algebras over infinite fields. If $R$ is a graded algebra generated in degree $1$ over a field of characteristic zero and $\delta$ is a grading preserving derivation on $R$, then the Jacobson radical of $R$ is $\delta$-stable. Examples are given to show the necessity of all conditions, thereby proving this result is sharp. Skew polynomial rings with natural grading are locally nilpotent if and only if they are graded locally nilpotent. The power series ring $R[[X;\sigma,\delta]]$ is well-defined whenever $\delta$ is a locally nilpotent $\sigma$-derivation; this answers a conjecture by Bergen and Grzeszczuk and opens up the possibility of generalizing many research directions studied thus far only when further restrictions are put on $\delta$.


title: A Mission Planning System for the AUV "SLOCUM Glider" for the Newfoundland and Labrador Shelf

abstract: This paper presents a system for mission planning for an autonomous underwater vehicle in time-varying ocean currents. The mission planning system is designed for the AUV "SLOCUM Glider" to collect oceanographic data along the Newfoundland and Labrador Shelf. The data will be used in conjunction with a numerical ocean model currently under development by the Department of Fisheries and Oceans Canada. This allows for the validation and the modification of existing ocean current and climate models as well as the design of new models with the aim of improving the accuracy of forecasts. The use of the ocean current forecast data in netCDF format in an ocean current model, the algorithms which consider glider-specific behaviour, details of the program's technical implementation in C++, and, preliminary results will be described.


title: Equivariant APS index for Dirac operators of non-product type near the boundary

abstract: We consider a generalized APS boundary problem for a G-invariant Dirac-type operator, which is not of product type near the boundary. We establish a delocalized version (a so-called Kirillov formula) of the equivariant index theorem for this operator. We obtain more explicit formulas for different geometric Dirac-type operators. In particular, we get a formula for the equivariant signature of a local system over a manifold with boundary. In case of a trivial local system, our formula can be viewed as a new way to compute the infinitesimal equivariant eta-invariant of S. Goette. We explicitly compute all the terms in this formula, which involve the equivariant Hirzebruch L-form and its transgression, for four-dimensional SKR manifolds, a class including many Kaehler conformally Einstein manifolds, in the case where the boundary is given as the zero level set of a certain Killing potential. In the case of SKR metrics which are local Kaehler products, these terms are zero, and we obtain a vanishing result for the infinitesimal equivariant eta invariant.


title: A New Concept for an Obstacle Avoidance System for the AUV "SLOCUM Glider" Operation under Ice

abstract: This paper presents a concept for a control System for an autonomous underwater vehicle under ice using a "SLOCUM" underwater glider. The project concept, the separate working tasks for the next one-and-a-half years and the first results will be presented. In this context the structure of the obstacle avoidance system and a simulator structure with a sensor and environment simulation as well as the interfaces to the glider hardware will be discussed. As a first result of the main research, a graph-based algorithm for the path planning in a time-varying environment (variable ocean field, moving obstacles) will be described.


title: Guidance of an Autonomous Underwater Vehicle in Special Situations

abstract: This article describes a guidance system of the autonomous underwater vehicle "DeepC" [1] in Special situations. A special situation occurs when one or more objects interfere with the planned route of a mission. The possible reactions are evasion or identification of the objects. The paper presents these two tasks in overview. The special demands challenges of the underwater environment, computer parameters, sensors and the maneuverability of the vehicle are considered in the selection and development of the required strategies. Such challenges include the sea current, maneuver in the 3-D space and the limited perceptive faculty of the sonar.


title: Trace of the twisted Heisenberg Category

abstract: We show that the trace decategorification, or zeroth Hochschild homology, of the twisted Heisenberg category defined by Cautis and Sussan is isomorphic to a quotient of $W^-$, a subalgebra of $W_{1+\infty}$ defined by Kac, Wang, and Yan. Our result is a twisted analogue of that by Cautis, Lauda, Licata, and Sussan relating $W_{1+\infty}$ and the trace decategorification of the Heisenberg category.


title: Variational Analysis of Constrained M-Estimators

abstract: We propose a unified framework for establishing existence of nonparametric M-estimators, computing the corresponding estimates, and proving their strong consistency when the class of functions is exceptionally rich. In particular, the framework addresses situations where the class of functions is complex involving information and assumptions about shape, pointwise bounds, location of modes, height at modes, location of level-sets, values of moments, size of subgradients, continuity, distance to a "prior" function, multivariate total positivity, and any combination of the above. The class might be engineered to perform well in a specific setting even in the presence of little data. The framework views the class of functions as a subset of a particular metric space of upper semicontinuous functions under the Attouch-Wets distance. In addition to allowing a systematic treatment of numerous M-estimators, the framework yields consistency of plug-in estimators of modes of densities, maximizers of regression functions, level-sets of classifiers, and related quantities, and also enables computation by means of approximating parametric classes. We establish consistency through a one-sided law of large numbers, here extended to sieves, that relaxes assumptions of uniform laws, while ensuring global approximations even under model misspecification.


title: Work-sharing of qubits in topological error corrections

abstract: Topological error-correcting codes, such as surface codes and color codes, are promising because quantum operations are realized by two-dimensionally (2D) arrayed quantum bits (qubits). However, physical wiring of electrodes to qubits is complicated, and 3D integration for the wiring requires further development of fabrication technologies. Here, we propose a method to reduce the congestion of wiring to qubits by just adding a SWAP gate after each controlled-NOT (CNOT) gate. SWAP gates exchange roles of qubits. Then, the roles of qubits are shared between different qubits. We found that our method transforms the qubit layout and reduces the number of qubits that cannot be accessed two-dimensionally. We show that fully 2D layouts including both qubits and control electrodes can be achieved for surface and color codes of minimum sizes. This method will be beneficial to simplifications of fabrication process of quantum circuits in addition to improvements of reliability of qubit system.


title: Computation of Volume Potentials on Structured Grids Using the Method of Local Corrections

abstract: We present a new version of the Method of Local Corrections (MLC) \cite{mlc}, a multilevel, low communications, non-iterative, domain decomposition algorithm for the numerical solution of the free space Poisson's equation in 3D on locally-structured grids. In this method, the field is computed as a linear superposition of local fields induced by charges on rectangular patches of size $O(1)$ mesh points, with the global coupling represented by a coarse grid solution using a right-hand side computed from the local solutions. In the present method, the local convolutions are further decomposed into a short-range contribution computed by convolution with the discrete Green's function for an $Q^{th}$-order accurate finite difference approximation to the Laplacian with the full right-hand side on the patch, combined with a longer-range component that is the field induced by the terms up to order $P-1$ of the Legendre expansion of the charge over the patch. This leads to a method with a solution error that has an asymptotic bound of $O(h^P) + O(h^Q) + O(\epsilon h^2) + O(\epsilon)$, where $h$ is the mesh spacing, and $\epsilon$ is the max norm of the charge times a rapidly-decaying function of the radius of the support of the local solutions scaled by $h$. Thus we have eliminated the low-order accuracy of the original method (which corresponds to $P=1$ in the present method) for smooth solutions, while keeping the computational cost per patch nearly the same with that of the original method. Specifically, in addition to the local solves of the original method we only have to compute and communicate the expansion coefficients of local expansions (that is, for instance, 20 scalars per patch for $P=4$). Several numerical examples are presented to illustrate the new method and demonstrate its convergence properties.


title: 3D Scanning System for Automatic High-Resolution Plant Phenotyping

abstract: Thin leaves, fine stems, self-occlusion, non-rigid and slowly changing structures make plants difficult for three-dimensional (3D) scanning and reconstruction -- two critical steps in automated visual phenotyping. Many current solutions such as laser scanning, structured light, and multiview stereo can struggle to acquire usable 3D models because of limitations in scanning resolution and calibration accuracy. In response, we have developed a fast, low-cost, 3D scanning platform to image plants on a rotating stage with two tilting DSLR cameras centred on the plant. This uses new methods of camera calibration and background removal to achieve high-accuracy 3D reconstruction. We assessed the system's accuracy using a 3D visual hull reconstruction algorithm applied on 2 plastic models of dicotyledonous plants, 2 sorghum plants and 2 wheat plants across different sets of tilt angles. Scan times ranged from 3 minutes (to capture 72 images using 2 tilt angles), to 30 minutes (to capture 360 images using 10 tilt angles). The leaf lengths, widths, areas and perimeters of the plastic models were measured manually and compared to measurements from the scanning system: results were within 3-4% of each other. The 3D reconstructions obtained with the scanning system show excellent geometric agreement with all six plant specimens, even plants with thin leaves and fine stems.


title: Extended Trust-Region Problems with One or Two Balls: Exact Copositive and Lagrangian Relaxations

abstract: We establish a geometric condition guaranteeing exact copositive relaxation for the nonconvex quadratic optimization problem under two quadratic and several linear constraints, and present sufficient conditions for global optimality in terms of generalized Karush-Kuhn-Tucker multipliers. The copositive relaxation is tighter than the usual Lagrangian relaxation. We illustrate this by providing a whole class of quadratic optimization problems that enjoys exactness of copositive relaxation while the usual Lagrangian duality gap is infinite. Finally, we also provide verifiable conditions under which both the usual Lagrangian relaxation and the copositive relaxation are exact for an extended CDT (two-ball trust-region) problem. Importantly, the sufficient conditions can be verified by solving linear optimization problems.


title: Faster Tensor Canonicalization

abstract: The Butler-Portugal algorithm for obtaining the canonical form of a tensor expression with respect to slot symmetries and dummy-index renaming suffers, in certain cases with a high degree of symmetry, from $O(n!)$ explosion in both computation time and memory. We present a modified algorithm which alleviates this problem in the most common cases---tensor expressions with subsets of indices which are totally symmetric or totally antisymmetric---in polynomial time. We also present an implementation of the label-renaming mechanism which improves upon that of the original Butler-Portugal algorithm, thus providing a significant speed increase for the average case as well as the highly-symmetric special case. The worst-case behavior remains $O(n!)$, although it occurs in more limited situations unlikely to appear in actual computations. We comment on possible strategies to take if the nature of a computation should make these situations more likely.


title: Bioplausible multiscale filtering in retino-cortical processing as a mechanism in perceptual grouping

abstract: Why does our visual system fail to reconstruct reality, when we look at certain patterns? Where do Geometrical illusions start to emerge in the visual pathway? How far should we take computational models of vision with the same visual ability to detect illusions as we do? This study addresses these questions, by focusing on a specific underlying neural mechanism involved in our visual experiences that affects our final perception. Among many types of visual illusion, Geometrical and, in particular, Tilt Illusions are rather important, being characterized by misperception of geometric patterns involving lines and tiles in combination with contrasting orientation, size or position. Over the last decade, many new neurophysiological experiments have led to new insights as to how, when and where retinal processing takes place, and the encoding nature of the retinal representation that is sent to the cortex for further processing. Based on these neurobiological discoveries, we provide computer simulation evidence from modelling retinal ganglion cells responses to some complex Tilt Illusions, suggesting that the emergence of tilt in these illusions is partially related to the interaction of multiscale visual processing performed in the retina. The output of our low-level filtering model is presented for several types of Tilt Illusion, predicting that the final tilt percept arises from multiple-scale processing of the Differences of Gaussians and the perceptual interaction of foreground and background elements. Our results suggest that this model has a high potential in revealing the underlying mechanism connecting low-level filtering approaches to mid- and high-level explanations such as Anchoring theory and Perceptual grouping.


title: Separating Current from Potential Sweep Method of Electrochemical Kinetics for Supercapacitors

abstract: We briefly elaborate the concept of electrochemical kinetics firstly, and introduce a method to separate current from potential sweep method of electrochemical kinetics for supercapacitors. The current in CV curves has been separated by equating the intercepts of the equation itotal=Cv+ip for EDLC, and by equating the slopes of the equation for pseudocapacitance.


title: GMC Collisions as Triggers of Star Formation. III. Density and Magnetically Regulated Star Formation

abstract: We study giant molecular cloud (GMC) collisions and their ability to trigger star cluster formation. We further develop our three dimensional magnetized, turbulent, colliding GMC simulations by implementing star formation sub-grid models. Two such models are explored: (1) "Density-Regulated," i.e., fixed efficiency per free-fall time above a set density threshold; (2) "Magnetically-Regulated," i.e., fixed efficiency per free-fall time in regions that are magnetically supercritical. Variations of parameters associated with these models are also explored. In the non-colliding simulations, the overall level of star formation is sensitive to model parameter choices that relate to effective density thresholds. In the GMC collision simulations, the final star formation rates and efficiencies are relatively independent of these parameters. Between non-colliding and colliding cases, we compare the morphologies of the resulting star clusters, properties of star-forming gas, time evolution of the star formation rate (SFR), spatial clustering of the stars, and resulting kinematics of the stars in comparison to the natal gas. We find that typical collisions, by creating larger amounts of dense gas, trigger earlier and enhanced star formation, resulting in 10 times higher SFRs and efficiencies. The star clusters formed from GMC collisions show greater spatial sub-structure and more disturbed kinematics.


title: Behavior of quasinormal modes and Van der Waals-like phase transition of charged AdS black holes in massive gravity

abstract: In this work, we utilize the quasinormal modes (QNMs) of a massless scalar perturbation to probe the Van der Waals-like small and large black holes (SBH/LBH) phase transition of charged topological Anti-de Sitter (AdS) black holes in four-dimensional massive gravity. We find that the signature of this SBH/LBH phase transition is detected in the isobaric as well as in the isothermal process.This further supports the idea that the QNMs can be an efficient tool to investigate the thermodynamical phase transition.


title: Equivariant dendroidal sets

abstract: We extend the Cisinski-Moerdijk-Weiss theory of $\infty$-operads to the equivariant setting to obtain a notion of $G$-$\infty$-operads that encode "equivariant operads with norm maps" up to homotopy. At the root of this work is the identification of a suitable category of $G$-trees together with a notion of $G$-inner horns capable of encoding the compositions of norm maps. Additionally, we follow Blumberg and Hill by constructing suitable variants associated to each of the indexing systems featured in their work.


title: Lp Minkowski problem for electrostatic $\mathfrak{p}$-capacity

abstract: Existence and uniqueness of the solution to the discrete Lp Minkowski problem for $\mathfrak{p}$-capacity are proved when $p \geq 1$ and $1<\mathfrak{p}<n$. For general Lp Minkowski problem for $\mathfrak{p}$-capacity, existence and uniqueness of the solution are given when $p \geq 1$ and $1<\mathfrak{p}\le 2$. These results are non-linear extensions of the very recent solution to the Lp Minkowski problem for $\mathfrak{p}$-capacity when $p=1$ and $1<\mathfrak{p}\le n$ by CNSXYZ, and the classical soution to the Minkowski problem for electrostatic capacity when $p=1$ and $\mathfrak{p}=2$ by Jerison.


title: Topological semimetal state and field-induced Fermi surface reconstruction in antiferromagnetic monopnictide NdSb

abstract: We report the experimental realization of Dirac semimetal state in NdSb, a material with antiferromagnetic ground state. The occurrence of topological semimetal state has been well supported by our band structure calculations and the experimental observation of chiral anomaly induced negative magnetoresistance. A field-induced Fermi surface reconstruction is observed, in response to the change of spin polarization. The observation of topological semimetal state in a magnetic material provides an opportunity to investigate the magneto-topological phenomena.


title: MmWave vehicle-to-infrastructure communication: Analysis of urban microcellular networks

abstract: Vehicle-to-infrastructure (V2I) communication may provide high data rates to vehicles via millimeter-wave (mmWave) microcellular networks. This paper uses stochastic geometry to analyze the coverage of urban mmWave microcellular networks. Prior work used a pathloss model with a line-of-sight probability function based on randomly oriented buildings, to determine whether a link was line-of-sight or non-line-of-sight. In this paper, we use a pathloss model inspired by measurements, which uses a Manhattan distance pathloss model and accounts for differences in pathloss exponents and losses when turning corners. In our model, streets are randomly located as a Manhattan Poisson line process (MPLP) and the base stations (BSs) are distributed according to a Poisson point process. Our model is well suited for urban microcellular networks where the BSs are deployed at street level. Based on this new approach, we derive the coverage probability under certain BS association rules to obtain closed-form solutions without much complexity. In addition, we draw two main conclusions from our work. First, non-line-of-sight BSs are not a major benefit for association or source of interference most of the time. Second, there is an ultra-dense regime where deploying active BSs does not enhance coverage.


title: Log-Harnack Inequalities for Markov Semigroups Generated by Non-Local Gruschin Type Operators

abstract: Based on coupling in two steps and the regularization approximations of the underlying subordinators, we establish log-Harnack inequalities for Markov semigroups generated by a class of non-local Gruschin type operators. Some concrete examples are also presented.


title: Approximate Newton Methods

abstract: Many machine learning models involve solving optimization problems. Thus, it is important to deal with a large-scale optimization problem in big data applications. Recently, subsampled Newton methods have emerged to attract much attention due to their efficiency at each iteration, rectified a weakness in the ordinary Newton method of suffering a high cost in each iteration while commanding a high convergence rate. Other efficient stochastic second order methods are also proposed. However, the convergence properties of these methods are still not well understood. There are also several important gaps between the current convergence theory and the performance in real applications. In this paper, we aim to fill these gaps. We propose a unifying framework to analyze both local and global convergence properties of second order methods. Based on this framework, we present our theoretical results which match the performance in real applications well.


title: Generating functions for permutations which avoid consecutive patterns with multiple descents

abstract: Let $S_n$ denote the group all permutations of $n$. For every permutation $\sigma$, we let $\mathrm{des}(\sigma)$ denote the number of descents in $\sigma$ and $\mathrm{LRMin}(\sigma)$ denote the number of left-to-right minima of $\sigma$. Given a sequence $\tau = \tau_1 \cdots \tau_n$ of distinct positive integers, we define the reduction of $\tau$, $\mathrm{red}(\tau)$, to be the permutation of $S_n$ that results by replacing the $i$-th smallest element of $\tau$ by $i$. If $\Gamma$ is a set of permutations, we say that a permutation $\sigma = \sigma_1 \ldots \sigma_n \in S_n$ has a $\Gamma$-match starting at position $i$ if there is a $i < j$ such that $\mathrm{red}(\sigma_i \sigma_{i+1} \ldots \sigma_j) \in \Gamma$. We let $\Gamma$-$\mathrm{mch}(\sigma)$ denote the number of $\Gamma$-matches in $\sigma$. We let $\mathcal{NM}_n(\Gamma)$ be the set of $\sigma \in S_n$ such that $\Gamma$-$\mathrm{mch}(\sigma) = 0$. In this paper, we modify Jones and Remmel's reciprocity method to study the generating function of the form \begin{equation} \mbox{NM}_{\Gamma}(t,x,y)=\sum_{n \geq 0} \frac{t^n}{n!} \mbox{NM}_{\Gamma,n}(x,y) \end{equation} where $\displaystyle \mbox{NM}_{\Gamma,n}(x,y) =\sum_{\sigma \in \mathcal{NM}_n(\Gamma)}x^{\mathrm{LRmin}(\sigma)}y^{1+\mathrm{des}(\sigma)}$ in the case where we no longer insist that all the permutations $\tau \in \Gamma$ have at most one descent.


title: A Flat Inner Disk Model as an Alternative to the Kepler Dichotomy in the Q1 to Q16 Planet Population

abstract: We use simulated planetary systems to model the planet multiplicity of Kepler stars. Previous studies have underproduced single planet systems and invoked the so called Kepler dichotomy, where the planet forming ability of a Kepler star is dichotomous, producing either few or many transiting planets. In this paper we show that the Kepler dichotomy is only required when the inner part of planetary disks are just assumed to be flared. When the inner part of planetary disks are flat, we reproduce the observed planet multiplicity of Kepler stars without the need to invoke a dichotomy. We find that independent of the disk model assumed, the mean number of planets per star is approximately 2 for orbital periods between 3 and 200 days, and for planetary radii between 1 and 5 Earth radii. This contrasts with the Solar System where no planets occupy the same parameter space.


title: Characterization of the essential spectrum of the Neumann-Poincar\'e operator in 2D domains with corner via Weyl sequences

abstract: The Neumann-Poincar\'e (NP) operator naturally appears in the context of metamaterials as it may be used to represent the solutions of elliptic transmission problems via potentiel theory. In particular, its spectral properties are closely related to the well-posedness of these PDE's, in the typical case where one considers a bounded inclusion of homogeneous plasmonic metamaterial embedded in a homogeneous background dielectric medium. In a recent work, M. Perfekt and M. Putinar have shown that the NP operator of a 2D curvilinear polygon has an essential spectrum, which depends only on the angles of the corners. Their proof is based on quasi-conformal mappings and techniques from complex-analysis. In this work, we characterize the spectrum of the NP operator for a 2D domain with corners in terms of elliptic corner singularity functions, which gives insight on the behavior of generalized eigenmodes.


title: The Jones quotients of the Temperley-Lieb algebras

abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. In this work, we study the quotients $Q_n(\ell):=TL_n(q)/R_n(q)$, where $|q^2|=\ell$, which are precisely the algebras generated by Jones' projections. We give the dimensions of their simple modules, as well as $\dim(Q_n(\ell))$; en route we give generating functions and recursions for the dimensions of cell modules and associated combinatorics. When the order $|q^2|=4$, we obtain an isomorphism of $Q_n(\ell)$ with the even part of the Clifford algebra, well known to physicists through the Ising model. When $|q^2|=5$, we obtain a sequence of algebras whose dimensions are the odd-indexed Fibonacci numbers. The general case is described explicitly.


title: Long range mediated interactions in a mixed dimensional system

abstract: We present a mixed-dimensional atomic gas system to unambiguously detect and systematically probe mediated interactions. In our scheme, fermionic atoms are confined in two parallel planes and interact via exchange of elementary excitations in a three-dimensional background gas. This interaction gives rise to a frequency shift of the out-of-phase dipole oscillations of the two clouds, which we calculate using a strong coupling theory taking the two-body mixed-dimensional scattering into account exactly. The shift is shown to be easily measurable for strong interactions and can be used as a probe for mediated interactions.


title: Multiuser Precoding and Channel Estimation for Hybrid Millimeter Wave MIMO Systems

abstract: In this paper, we develop a low-complexity channel estimation for hybrid millimeter wave (mmWave) systems, where the number of radio frequency (RF) chains is much less than the number of antennas equipped at each transceiver. The proposed channel estimation algorithm aims to estimate the strongest angle-of-arrivals (AoAs) at both the base station (BS) and the users. Then all the users transmit orthogonal pilot symbols to the BS via these estimated strongest AoAs to facilitate the channel estimation. The algorithm does not require any explicit channel state information (CSI) feedback from the users and the associated signalling overhead of the algorithm is only proportional to the number of users, which is significantly less compared to various existing schemes. Besides, the proposed algorithm is applicable to both non-sparse and sparse mmWave channel environments. Based on the estimated CSI, zero-forcing (ZF) precoding is adopted for multiuser downlink transmission. In addition, we derive a tight achievable rate upper bound of the system. Our analytical and simulation results show that the proposed scheme offer a considerable achievable rate gain compared to fully digital systems, where the number of RF chains equipped at each transceiver is equal to the number of antennas. Furthermore, the achievable rate performance gap between the considered hybrid mmWave systems and the fully digital system is characterized, which provides useful system design insights.


title: Quantum phase transitions of light in a dissipative Dicke-Bose-Hubbard model

abstract: The impacts that the environment has on the quantum phase transition of light in the DickeBose-Hubbard model are investigated. Based on the quasibosonic approach, mean field theory and the perturbation theory, the formulation of the Hamiltonian, the eigenenergies and the superfluid order parameter are obtained analytically. Compared with the ideal cases, the order parameter of the system evolves with time as the photons naturally decay in their environment. When the system starts with the superfluid state, the dissipation makes the photons tend to localize, and a greater hopping energy of photon is required to restore the long-range phase coherence of the localized state of the system. Furthermore, the Mott lobes disappears and the system tends to be classical with the number of atoms increasing; however, the atomic number is far lower than that expected under ideal circumstances. Therefore, our theoretical results offer valuable insight into the quantum phase transition of a dissipative system.


title: Quantum critical scaling and fluctuations in Kondo lattice materials

abstract: We propose a new phenomenological framework for three classes of Kondo lattice materials that incorporates the interplay between the fluctuations associated with the antiferromagnetic quantum critical point and those produced by the hybridization quantum critical point that marks the end of local moment behavior. We show that these fluctuations give rise to two distinct regions of quantum critical scaling: hybridization fluctuations are responsible for the logarithmic scaling in the density of states of the heavy electron Kondo liquid that emerges below the coherence temperature T*; while the unconventional power law scaling in the resistivity that emerges at lower temperatures below T_QC may reflect the combined effects of hybridization and antiferromagnetic quantum critical fluctuations. Our framework is supported by experimental measurements on CeCoIn5, CeRhIn5 and other heavy electron materials.


title: A General Framework for Low-Resolution Receivers for MIMO Channels

abstract: The capacity of a discrete-time multi-input multi-output (MIMO) Gaussian channel with output quantization is investigated for different receiver architectures. A general formulation of this problem is proposed in which the antenna outputs are processed by analog combiners while sign quantizers are used for analog-to-digital conversion. To exemplify this approach, four analog receiver architectures of varying generality and complexity are considered: (a) multiple antenna selection and sign quantization of the antenna outputs, (b) single antenna selection and multilevel quantization, (c) multiple antenna selection and multilevel quantization, and (d) linear combining of the antenna outputs and multilevel quantization. Achievable rates are studied as a function of the number of available sign quantizers and compared among different architectures. In particular, it is shown that architecture (a) is sufficient to attain the optimal high signal-to-noise ratio performance for a MIMO receiver in which the number of antennas is larger than the number of sign quantizers. Numerical evaluations of the average performance are presented for the case in which the channel gains are i.i.d. Gaussian.


title: Dropping Convexity for More Efficient and Scalable Online Multiview Learning

abstract: Multiview representation learning is very popular for latent factor analysis. It naturally arises in many data analysis, machine learning, and information retrieval applications to model dependent structures among multiple data sources. For computational convenience, existing approaches usually formulate the multiview representation learning as convex optimization problems, where global optima can be obtained by certain algorithms in polynomial time. However, many pieces of evidence have corroborated that heuristic nonconvex approaches also have good empirical computational performance and convergence to the global optima, although there is a lack of theoretical justification. Such a gap between theory and practice motivates us to study a nonconvex formulation for multiview representation learning, which can be efficiently solved by a simple stochastic gradient descent (SGD) algorithm. We first illustrate the geometry of the nonconvex formulation; Then, we establish asymptotic global rates of convergence to the global optima by diffusion approximations. Numerical experiments are provided to support our theory.


title: Electrical control of the sign of the g-factor in a GaAs hole quantum point contact

abstract: Zeeman splitting of 1D hole subbands is investigated in quantum point contacts (QPCs) fabricated on a (311) oriented GaAs-AlGaAs heterostructure. Transport measurements can determine the magnitude of the g-factor, but cannot usually determine the sign. Here we use a combination of tilted fields and a unique off-diagonal element in the hole g-tensor to directly detect the sign of g*. We are able to tune not only the magnitude, but also the sign of the g-factor by electrical means, which is of interest for spintronics applications. Furthermore, we show theoretically that the resulting behavior of g* can be explained by the momentum dependence of the spin-orbit interaction.


title: A new method of solving quartic and higher degree diophantine equations

abstract: In this paper we present a new method of solving certain quartic and higher degree homogeneous polynomial diophantine equations in four variables. The method can also be extended to solve simultaneous homogeneous polynomial diophantine equations, in five or more variables, with one of the equations being of degree $\geq 4$. We show that, under certain conditions, the method yields an arbitrarily large number of integer solutions of such diophantine equations and diophantine systems, some examples being a sextic equation in four variables, a tenth degree equation in six variables, and two simultaneous equations of degrees four and six in six variables. The method of solving these homogeneous equations also simultaneously yields arbitrarily many rational solutions of certain related nonhomogeneous equations of high degree. In contrast to existing methods, we obtain the arbitrarily large number of solutions without finding a parametric solution of the equations under consideration and without relating the solutions to rational points on an elliptic curve of positive rank. It appears from the examples given in the paper that there may exist projective varieties on which there are an arbitrarily large number of integer points and on which a curve of genus 0 or 1 does not exist.


title: Intermetallic Nanocrystals: Syntheses and Catalytic Applications

abstract: At the forefront of nanochemistry, there exists a research endeavor centered around intermetallic nanocrystals, which are unique in terms of long-range atomic ordering, well-defined stoichiometry, and controlled crystal structure. In contrast to alloy nanocrystals with no atomic ordering, it has been challenging to synthesize intermetallic nanocrystals with a tight control over their size and shape. This review article highlights recent progress in the synthesis of intermetallic nanocrystals with controllable sizes and well-defined shapes. We begin with a simple analysis and some insights key to the selection of experimental conditions for generating intermetallic nanocrystals. We then present examples to highlight the viable use of intermetallic nanocrystals as electrocatalysts or catalysts for various reactions, with a focus on the enhanced performance relative to their alloy counterparts that lack atomic ordering. We conclude with perspectives on future developments in the context of synthetic control, structure-property relationship, and application.


title: Deceiving Google's Perspective API Built for Detecting Toxic Comments

abstract: Social media platforms provide an environment where people can freely engage in discussions. Unfortunately, they also enable several problems, such as online harassment. Recently, Google and Jigsaw started a project called Perspective, which uses machine learning to automatically detect toxic language. A demonstration website has been also launched, which allows anyone to type a phrase in the interface and instantaneously see the toxicity score [1]. In this paper, we propose an attack on the Perspective toxic detection system based on the adversarial examples. We show that an adversary can subtly modify a highly toxic phrase in a way that the system assigns significantly lower toxicity score to it. We apply the attack on the sample phrases provided in the Perspective website and show that we can consistently reduce the toxicity scores to the level of the non-toxic phrases. The existence of such adversarial examples is very harmful for toxic detection systems and seriously undermines their usability.


title: Improved Variational Autoencoders for Text Modeling using Dilated Convolutions

abstract: Recent work on generative modeling of text has found that variational auto-encoders (VAE) incorporating LSTM decoders perform worse than simpler LSTM language models (Bowman et al., 2015). This negative result is so far poorly understood, but has been attributed to the propensity of LSTM decoders to ignore conditioning information from the encoder. In this paper, we experiment with a new type of decoder for VAE: a dilated CNN. By changing the decoder's dilation architecture, we control the effective context from previously generated words. In experiments, we find that there is a trade off between the contextual capacity of the decoder and the amount of encoding information used. We show that with the right decoder, VAE can outperform LSTM language models. We demonstrate perplexity gains on two datasets, representing the first positive experimental result on the use VAE for generative modeling of text. Further, we conduct an in-depth investigation of the use of VAE (with our new decoding architecture) for semi-supervised and unsupervised labeling tasks, demonstrating gains over several strong baselines.


title: A mixture model approach to infer land-use influence on point referenced water quality

abstract: The assessment of water quality across space and time is of considerable interest for both agricultural and public health reasons. The standard method to assess the water quality of a catchment, or a group of catchments, usually involves collecting point measurements of water quality and other additional information such as the date and time of measurements, rainfall amounts, the land-use and soil-type of the catchment and the elevation. Some of this auxiliary information will be point data, measured at the exact location, whereas other such as land-use will be areal data often in a compositional format. Two problems arise if analysts try to incorporate this information into a statistical model in order to predict (for example) the influence of land-use on water quality. First is the spatial change of support problem that arises when using areal data to predict outcomes at point locations. Secondly, the physical process driving water quality is not compositional, rather it is the observation process that provides compositional data. In this paper we present an approach that accounts for these two issues by using a latent variable to identify the land-use that most likely influences water quality. This latent variable is used in a spatial mixture model to help estimate the influence of land-use on water quality. We demonstrate the potential of this approach with data from a water quality research study in the Mount Lofty range, in South Australia.


title: Local recovery of the compressional and shear speeds from the hyperbolic DN map

abstract: We study the isotropic elastic wave equation in a bounded domain with boundary. We show that local knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the p-wave locally if there is a strictly convex foliation with respect to it, and similarly for the s-wave speed.


title: Tensor Balancing on Statistical Manifold

abstract: We solve tensor balancing, rescaling an Nth order nonnegative tensor by multiplying N tensors of order N - 1 so that every fiber sums to one. This generalizes a fundamental process of matrix balancing used to compare matrices in a wide range of applications from biology to economics. We present an efficient balancing algorithm with quadratic convergence using Newton's method and show in numerical experiments that the proposed algorithm is several orders of magnitude faster than existing ones. To theoretically prove the correctness of the algorithm, we model tensors as probability distributions in a statistical manifold and realize tensor balancing as projection onto a submanifold. The key to our algorithm is that the gradient of the manifold, used as a Jacobian matrix in Newton's method, can be analytically obtained using the Moebius inversion formula, the essential of combinatorial mathematics. Our model is not limited to tensor balancing, but has a wide applicability as it includes various statistical and machine learning models such as weighted DAGs and Boltzmann machines.


title: Construction of hyperbolic Horikawa surfaces

abstract: We construct a Brody hyperbolic Horikawa surface that is a double cover of $\mathbb{P}^2$ branched along a smooth curve of degree $10$. We also construct Brody hyperbolic double covers of Hirzebruch surfaces with branch loci of the lowest possible bidegree.


title: Synchronization Problems in Automata without Non-trivial Cycles

abstract: We study the computational complexity of various problems related to synchronization of weakly acyclic automata, a subclass of widely studied aperiodic automata. We provide upper and lower bounds on the length of a shortest word synchronizing a weakly acyclic automaton or, more generally, a subset of its states, and show that the problem of approximating this length is hard. We investigate the complexity of finding a synchronizing set of states of maximum size. We also show inapproximability of the problem of computing the rank of a subset of states in a binary weakly acyclic automaton and prove that several problems related to recognizing a synchronizing subset of states in such automata are NP-complete.


title: Fractal Spacetimes in Stochastic Gravity? -- Views from Anomalous Diffusion and the Correlation Hierarchy

abstract: We explore in stochastic gravity theory whether non-Gaussian noises from the higher order correlation functions of the stress tensor for quantum matter fields when back-reacting on the spacetime may reveal hints of multi-scale structures. Anomalous diffusion may depict how a test particle experiences in a fractal spacetime. The hierarchy of correlations in quantum matter field induces the hierarchy of correlations in geometric objects via the set of Einstein-Langevin equations for each correlation order. This correlation hierarchy kinetic theory conceptual framework, aided by the characteristics of stochastic processes, may serve as a conduit for connecting the low energy `Bottom-Up' approach with the `Top-Down' theories of quantum gravity which predict the appearance of fractal spacetimes at the Planck scale.


title: Nontrivial dynamics beyond the logarithmic shift in two-dimensional Fisher-KPP equations

abstract: We study the asymptotic behaviour, as time goes to infinity, of the Fisher-KPP equation $\partial_t u=\Delta u +u-u^2$ in spatial dimension $2$, when the initial condition looks like a Heaviside function. Thus the solution is, asymptotically in time, trapped between two planar critical waves whose positions are corrected by the Bramson logarithmic shift. The issue is whether, in this reference frame, the solutions will converge to a travelling wave, or will exhibit more complex behaviours. We prove here that both convergence and nonconvergence may happen: the solution may converge towards one translate of the planar wave, or oscillate between two of its translates. This relies on the behaviour of the initial condition at infinity in the transverse direction.


title: A Szeg\"o type theorem for truncated Toeplitz operators

abstract: Truncated Toeplitz operators are compressions of multiplication operators on $L^2$ to model spaces (that is, subspaces of $H^2$ which are invariant with respect to the backward shift). For this class of operators we prove certain Szeg\"o type theorems concerning the asymptotics of their compressions to an increasing chain of finite dimensional model spaces.


title: A Copula-based Imputation Model for Missing Data of Mixed Type in Multilevel Data Sets

abstract: We propose a copula based method to handle missing values in multivariate data of mixed types in multilevel data sets. Building upon the extended rank likelihood of \cite{hoff2007extending} and the multinomial probit model, our model is a latent variable model which is able to capture the relationship among variables of different types as well as accounting for the clustering structure. We fit the model by approximating the posterior distribution of the parameters and the missing values through a Gibbs sampling scheme. We use the multiple imputation procedure to incorporate the uncertainty due to missing values in the analysis of the data. Our proposed method is evaluated through simulations to compare it with several conventional methods of handling missing data. We also apply our method to a data set from a cluster randomized controlled trial of a multidisciplinary intervention in acute stroke units. We conclude that our proposed copula based imputation model for mixed type variables achieves reasonably good imputation accuracy and recovery of parameters in some models of interest, and that adding random effects enhances performance when the clustering effect is strong.


title: Conjugate Real Classes in General Linear Groups

abstract: Let $\F$ be a field with a non-trivial involution $c: \alpha \to \alpha^c$. An element $g \in {\rm GL}_n(\F)$ is called $c$-real if it is conjugate to $(g^c)^{-1}$. We prove that for $n \geq 2$, $g \in {\rm GL}_n(\F)$ is $c$-real if and only if it has a representation in some unitary group of degree $n$ over $\F$.


title: Large magnetocrystalline anisotropy in tetragonally distorted Heuslers: a systematic study

abstract: With a view to the design of hard magnets without rare earths we explore the possibility of large magnetocrystalline anisotropy energies in Heusler compounds that are unstable with respect to a tetragonal distortion. We consider the Heusler compounds Fe$_2$YZ with Y = (Ni, Co, Pt), and Co$_2$YZ with Y = (Ni, Fe, Pt) where, in both cases, Z = (Al, Ga, Ge, In, Sn). We find that for the Co$_2$NiZ, Co$_2$PtZ, and Fe$_2$PtZ families the cubic phase is always, at $T=0$, unstable with respect to a tetragonal distortion, while, in contrast, for the Fe$_2$NiZ and Fe$_2$CoZ families this is the case for only 2 compounds -- Fe$_2$CoGe and Fe$_2$CoSn. For all compounds in which a tetragonal distortion occurs we calculate the MAE finding remarkably large values for the Pt containing Heuslers, but also large values for a number of the other compounds (e.g. Co$_2$NiGa has an MAE of -2.11~MJ/m$^3$). The tendency to a tetragonal distortion we find to be strongly correlated with a high density of states at the Fermi level in the cubic phase. As a corollary to this fact we observe that upon doping compounds for which the cubic structure is stable such that the Fermi level enters a region of high DOS, a tetragonal distortion is induced and a correspondingly large value of the MAE is then observed.


title: Improvement on Brook theorem for (3 Times K1)-free Graphs

abstract: Problem of finding an optimal upper bound for the chromatic no. of a (3 Times K1)-free graph is still open and pretty hard. Here we prove that for a (3 Times K1)-free graph G with maximum degree greater than or equal to 8, {\chi} is less than or equal to max (maximum degree-1, {\omega}). We also prove that if G is (3 Times K1)-free, {\omega} is equal to 4 and maximum degree is greater than or equal to 7, then {\chi} is less than or equal to maximum degree-1. This implies that Borodin & Kostochka Conjecture is true for (3 Times K1)-free graphs as a corollary.


title: On the KZ Reduction

abstract: The Korkine-Zolotareff (KZ) reduction is one of the often used reduction strategies for lattice decoding. In this paper, we first investigate some important properties of KZ reduced matrices. Specifically, we present a linear upper bound on the Hermit constant which is around $\frac{7}{8}$ times of the existing sharpest linear upper bound, and an upper bound on the KZ constant which is {\em polynomially} smaller than the existing sharpest one. We also propose upper bounds on the lengths of the columns of KZ reduced matrices, and an upper bound on the orthogonality defect of KZ reduced matrices which are even {\em polynomially and exponentially} smaller than those of boosted KZ reduced matrices, respectively. Then, we derive upper bounds on the magnitudes of the entries of any solution of a shortest vector problem (SVP) when its basis matrix is LLL reduced. These upper bounds are useful for analyzing the complexity and understanding numerical stability of the basis expansion in a KZ reduction algorithm. Finally, we propose a new KZ reduction algorithm by modifying the commonly used Schnorr-Euchner search strategy for solving SVPs and the basis expansion method proposed by Zhang {\em et al.} Simulation results show that the new KZ reduction algorithm is much faster and more numerically reliable than the KZ reduction algorithm proposed by Zhang {\em et al.}, especially when the basis matrix is ill conditioned.


title: HPDedup: A Hybrid Prioritized Data Deduplication Mechanism for Primary Storage in the Cloud

abstract: Eliminating duplicate data in primary storage of clouds increases the cost-efficiency of cloud service providers as well as reduces the cost of users for using cloud services. Existing primary deduplication techniques either use inline caching to exploit locality in primary workloads or use post-processing deduplication running in system idle time to avoid the negative impact on I/O performance. However, neither of them works well in the cloud servers running multiple services or applications for the following two reasons: Firstly, the temporal locality of duplicate data writes may not exist in some primary storage workloads thus inline caching often fails to achieve good deduplication ratio. Secondly, the post-processing deduplication allows duplicate data to be written into disks, therefore does not provide the benefit of I/O deduplication and requires high peak storage capacity. This paper presents HPDedup, a Hybrid Prioritized data Deduplication mechanism to deal with the storage system shared by applications running in co-located virtual machines or containers by fusing an inline and a post-processing process for exact deduplication. In the inline deduplication phase, HPDedup gives a fingerprint caching mechanism that estimates the temporal locality of duplicates in data streams from different VMs or applications and prioritizes the cache allocation for these streams based on the estimation. HPDedup also allows different deduplication threshold for streams based on their spatial locality to reduce the disk fragmentation. The post-processing phase removes duplicates whose fingerprints are not able to be cached due to the weak temporal locality from disks. Our experimental results show that HPDedup clearly outperforms the state-of-the-art primary storage deduplication techniques in terms of inline cache efficiency and primary deduplication efficiency.


title: Beyond-Regular Typestate

abstract: We present an extension for regular typestates, called Beyond- Regular Typestate(BR-Typestate), which is expressive enough to model non-regular properties of programs and protocols over data. We model the BR-Typestate system over a dependently typed, state based, impera- tive core language, and we prove its soundness and tractability. We have implemented a prototype typechecker for the language, and we show how several important, real world non-regular properties of programs and protocols can be verified.


title: Multi-scale Image Fusion Between Pre-operative Clinical CT and X-ray Microtomography of Lung Pathology

abstract: Computational anatomy allows the quantitative analysis of organs in medical images. However, most analysis is constrained to the millimeter scale because of the limited resolution of clinical computed tomography (CT). X-ray microtomography ($\mu$CT) on the other hand allows imaging of ex-vivo tissues at a resolution of tens of microns. In this work, we use clinical CT to image lung cancer patients before partial pneumonectomy (resection of pathological lung tissue). The resected specimen is prepared for $\mu$CT imaging at a voxel resolution of 50 $\mu$m (0.05 mm). This high-resolution image of the lung cancer tissue allows further insides into understanding of tumor growth and categorization. For making full use of this additional information, image fusion (registration) needs to be performed in order to re-align the $\mu$CT image with clinical CT. We developed a multi-scale non-rigid registration approach. After manual initialization using a few landmark points and rigid alignment, several levels of non-rigid registration between down-sampled (in the case of $\mu$CT) and up-sampled (in the case of clinical CT) representations of the image are performed. Any non-lung tissue is ignored during the computation of the similarity measure used to guide the registration during optimization. We are able to recover the volume differences introduced by the resection and preparation of the lung specimen. The average ($\pm$ std. dev.) minimum surface distance between $\mu$CT and clinical CT at the resected lung surface is reduced from 3.3 $\pm$ 2.9 (range: [0.1, 15.9]) to 2.3 mm $\pm$ 2.8 (range: [0.0, 15.3]) mm. The alignment of clinical CT with $\mu$CT will allow further registration with even finer resolutions of $\mu$CT (up to 10 $\mu$m resolution) and ultimately with histopathological microscopy images for further macro to micro image fusion that can aid medical image analysis.


title: The Kolakoski sequence and related conjectures about orbits

abstract: The Kolakoski sequence is the unique infinite sequence with values in $\{1, 2\}$ and first term twems $1, 2, \ldots$ which equals the sequence of run-lengths of itself, we call this $K(1, 2).$ We define $K(m, n)$ similarly for $m+n$ odd. A well-known open problem is that its limiting density is one-half. Indeed, not much is known about the Kolakoski sequence. The focus of this paper in on conjectures related to the Kolakoski sequence which are more discrete in nature. We conjecture that a certain doubly infinite family of finite sequences $E_{1, n}\left(1^{2^j}, 1^{2j}\right)$ has odd length for all $j>0$ and even $n>0.$ We define $cf(m, n, d)$ to be the "correlation frequency" or limiting probability that terms in $K(m, n)$ which are $d$ apart are equal. We conjecture that the sign of $cf(m, n, d) - 1/2$ is periodic mod $m+n.$ We also discuss extensive empirical evidence for these conjectures.


title: Spectral properties of Volterra-type integral operators on Fock--Sobolev spaces

abstract: We study some spectral properties of Volterra-type integral operators $V_g$ and $I_g$ with holomorphic symbol $g$ on the Fock--Sobolev spaces $\mathcal{F}_{\psi_m}^p$. We showed that $V_g$ is bounded on $\mathcal{F}_{\psi_m}^p$ if and only if $g$ is a complex polynomial of degree not exceeding two, while compactness of $V_g$ is described by degree of $g$ being not bigger than one. We also identified all those positive numbers $p$ for which the operator $V_g$ belongs to the Schatten $\mathcal{S}_p$ classes. Finally, we characterize the spectrum of $V_g$ in terms of a closed disk of radius twice the coefficient of the highest degree term in a polynomial expansion of $g$.


title: Expansion of Einstein-Yang-Mills Amplitude

abstract: In this paper, we provide a thorough study on the expansion of single trace Einstein-Yang-Mills amplitudes into linear combination of color-ordered Yang-Mills amplitudes, from various different perspectives. Using the gauge invariance principle, we propose a recursive construction, where EYM amplitude with any number of gravitons could be expanded into EYM amplitudes with less number of gravitons. Through this construction, we can write down the complete expansion of EYM amplitude in the basis of color-ordered Yang-Mills amplitudes. As a byproduct, we are able to write down the polynomial form of BCJ numerator, i.e., numerators satisfying the color-kinematic duality, for Yang-Mills amplitude. After the discussion of gauge invariance, we move to the BCFW on-shell recursion relation and discuss how the expansion can be understood from the on-shell picture. Finally, we show how to interpret the expansion from the aspect of KLT relation and the way of evaluating the expansion coefficients efficiently.


title: McKernel: A Library for Approximate Kernel Expansions in Log-linear Time

abstract: McKernel introduces a framework to use kernel approximates in the mini-batch setting with Stochastic Gradient Descent (SGD) as an alternative to Deep Learning. Based on Random Kitchen Sinks [Rahimi and Recht 2007], we provide a C++ library for Large-scale Machine Learning. It contains a CPU optimized implementation of the algorithm in [Le et al. 2013], that allows the computation of approximated kernel expansions in log-linear time. The algorithm requires to compute the product of matrices Walsh Hadamard. A cache friendly Fast Walsh Hadamard that achieves compelling speed and outperforms current state-of-the-art methods has been developed. McKernel establishes the foundation of a new architecture of learning that allows to obtain large-scale non-linear classification combining lightning kernel expansions and a linear classifier. It travails in the mini-batch setting working analogously to Neural Networks. We show the validity of our method through extensive experiments on MNIST and FASHION MNIST [Xiao et al. 2017].


title: Segmentation of Objects by Hashing

abstract: We propose a novel approach to address the problem of Simultaneous Detection and Segmentation introduced in [Hariharan et al 2014]. Using the hierarchical structures first presented in [Arbel\'aez et al 2011] we use an efficient and accurate procedure that exploits the feature information of the hierarchy using Locality Sensitive Hashing. We build on recent work that utilizes convolutional neural networks to detect bounding boxes in an image [Ren et al 2015] and then use the top similar hierarchical region that best fits each bounding box after hashing, we call this approach C&Z Segmentation. We then refine our final segmentation results by automatic hierarchical pruning. C&Z Segmentation introduces a train-free alternative to Hypercolumns [Hariharan et al 2015]. We conduct extensive experiments on PASCAL VOC 2012 segmentation dataset, showing that C&Z gives competitive state-of-the-art segmentations of objects.


title: New dimensions from gauge-Higgs unification

abstract: The Higgs boson is unified with gauge fields in the gauge-Higgs unification. The $SO(5) \times U(1)$ gauge-Higgs electroweak unification in the Randall-Sundrum warped space yields almost the same phenomenology at low energies as the standard model, and gives many predictions for the Higgs couplings and new $W', Z'$ bosons around $6 \sim 8$ TeV, which can be tested at 14 TeV LHC. The gauge-Higgs grand unification is achieved in $SO(11)$ gauge theory. It suggests the existence of the sixth dimension (GUT dimension) in addition to the fifth dimension (electroweak dimension). The proton decay is naturally suppressed in the gauge-Higgs grand unification.


title: Current-induced spin polarization of a magnetized two-dimensional electron gas with Rashba spin-orbit interaction

abstract: Current-induced spin polarization in a two-dimensional electron gas with Rashba spin-orbit interaction is considered theoretically in terms of the Matsubara Green functions. This formalism allows to describe temperature dependence of the induced spin polarization. The electron gas is assumed to be coupled to a magnetic substrate via exchange interaction. Analytical and numerical results on the temperature dependence of spin polarization have been obtained in the linear response regime. The spin polarization has been presented as a sum of two terms - one proportional to the relaxation time and the other related to the Berry phase corresponding to the electronic bands of the magnetized Rashba gas. The spin-orbit torque due to Rashba interaction is also discussed. Such a torque appears as a result of the exchange coupling between the non-equilibrium spin polarization and magnetic moment of the underlayer.


title: Momentum-resolved TDDFT algorithm in atomic basis for real time tracking of electronic excitation

abstract: Ultrafast electronic dynamics in solids lies at the core of modern condensed matter and materials physics. To build up a practical ab initio method for studying solids under photoexcitation, we develop a momentum-resolved real-time time dependent density functional theory (rt-TDDFT)algorithm using numerical atomic basis, together with the implementation of both the length and vector gauge of the electromagnetic field. When applied to simulate elementary excitations in two-dimensional materials such as graphene, different excitation modes, only distinguishable in momentum space, are observed. The momentum-resolved rt-TDDFT is important and computationally efficient for the study of ultrafast dynamics in extended systems.


title: SDN Based QoS Provision in WSN Technologies

abstract: Wireless Sensor Networks (WSNs) have rapidly progressed over the years, they are now applied in health care systems, home automation, security surveillance, disaster management and more. With this rapid growth in the number of users and applications leading to WSNs becoming increasingly complex, this growth makes high demands on WSNs to provide the requirements of every user and application that uses them. They have recently been envisioned to be integrated into Internet of Things (IoT), their role will be to provide sensing services to the ever increasing community of internet users. However even with so much potential, WSNs still experience issues in node deployment, fault tolerance, scalability and Quality of Service (QoS) provisioning amongst others. In this paper we propose to improve QoS provisioning by introducing Software Defined principles into WSN technologies.