title: Conflict-free vertex-connections of graphs

abstract: A path in a vertex-colored graph is called \emph{conflict free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be \emph{conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. This paper investigates the question: For a connected graph $G$, what is the smallest number of colors needed in a vertex-coloring of $G$ in order to make $G$ conflict-free vertex-connected. As a result, we get that the answer is easy for $2$-connected graphs, and very difficult for connected graphs with more cut-vertices, including trees.


title: About the projective Finsler metrizability: First steps in the non-isotropic case

abstract: We consider the projective Finsler metrizability problem: under what conditions the solutions of a given system of second-order ordinary differential equations (SODE) coincide with the geodesics of a Finsler metric, as oriented curves. SODEs with isotropic curvature have already been thoroughly studied in the literature and have proved to be projective Finsler metrizable. In this paper, we investigate the non-isotropic case and obtain new results by examining the integrability of the Rapcs\'ak system extended with curvature conditions. We consider the $n$-dimensional generic case, where the eigenvalues of the Jacobi tensor are pairwise different and compute the first and the higher order compatibility conditions of the system. We also consider the three-dimensional case, where we find a class of non-isotropic sprays for which the PDE system is integrable and, consequently, the corresponding SODEs are projective metrizable.


title: Non-Linear Phase-Shifting of Haar Wavelets for Run-Time All-Frequency Lighting

abstract: This paper focuses on real-time all-frequency image-based rendering using an innovative solution for run-time computation of light transport. The approach is based on new results derived for non-linear phase shifting in the Haar wavelet domain. Although image-based methods for real-time rendering of dynamic glossy objects have been proposed, they do not truly scale to all possible frequencies and high sampling rates without trading storage, glossiness, or computational time, while varying both lighting and viewpoint. This is due to the fact that current approaches are limited to precomputed radiance transfer (PRT), which is prohibitively expensive in terms of memory requirements and real-time rendering when both varying light and viewpoint changes are required together with high sampling rates for high frequency lighting of glossy material. On the other hand, current methods cannot handle object rotation, which is one of the paramount issues for all PRT methods using wavelets. This latter problem arises because the precomputed data are defined in a global coordinate system and encoded in the wavelet domain, while the object is rotated in a local coordinate system. At the root of all the above problems is the lack of efficient run-time solution to the nontrivial problem of rotating wavelets (a non-linear phase-shift), which we solve in this paper.


title: Responsive Action-based Video Synthesis

abstract: We propose technology to enable a new medium of expression, where video elements can be looped, merged, and triggered, interactively. Like audio, video is easy to sample from the real world but hard to segment into clean reusable elements. Reusing a video clip means non-linear editing and compositing with novel footage. The new context dictates how carefully a clip must be prepared, so our end-to-end approach enables previewing and easy iteration. We convert static-camera videos into loopable sequences, synthesizing them in response to simple end-user requests. This is hard because a) users want essentially semantic-level control over the synthesized video content, and b) automatic loop-finding is brittle and leaves users limited opportunity to work through problems. We propose a human-in-the-loop system where adding effort gives the user progressively more creative control. Artists help us evaluate how our trigger interfaces can be used for authoring of videos and video-performances.


title: Acceleration and propagation of Solar Energetic Particles

abstract: Solar Energetic Particles (SEPs) are an important component of Space Weather, including radiation hazard to humans and electronic equipment, and the ionisation of the Earth's atmosphere. We review the key observations of SEPs, our current understanding of their acceleration and transport, and discuss how this knowledge is incorporated within Space Weather forecasting tools. Mechanisms for acceleration during solar flares and at shocks driven by Coronal Mass Ejections are discussed, as well as the timing relationships between signatures of solar eruptive events and the detection of SEPs in interplanetary space. Evidence on how the parameters of SEP events are related to those of the parent solar activity is reviewed and transport effects influencing SEP propagation to near-Earth locations are examined. Finally, the approaches to forecasting Space Weather SEP effects are discussed. We conclude that both flare and CME shock acceleration contribute to Space Weather relevant SEP populations and need to be considered within forecasting tools.


title: Polar Coding for Parallel Gaussian Channel

abstract: In this paper, we propose a Polar coding scheme for parallel Gaussian channels. The encoder knows the sum rate of the parallel channels but does not know the rate of any channel. By using the nesting property of Polar code, we design a coding/decoding scheme to achieve the sum rates.


title: Pencilled regular parallelisms

abstract: Over any field $\mathbb K$, there is a bijection between regular spreads of the projective space ${\rm PG}(3,{\mathbb K})$ and $0$-secant lines of the Klein quadric in ${\rm PG}(5,{\mathbb K})$. Under this bijection, regular parallelisms of ${\rm PG}(3,{\mathbb K})$ correspond to hyperflock determining line sets (hfd line sets) with respect to the Klein quadric. An hfd line set is defined to be \emph{pencilled} if it is composed of pencils of lines. We present a construction of pencilled hfd line sets, which is then shown to determine all such sets. Based on these results, we describe the corresponding regular parallelisms. These are also termed as being \emph{pencilled}. Any Clifford parallelism is regular and pencilled. From this, we derive necessary and sufficient algebraic conditions for the existence of pencilled hfd line sets.


title: Distributions of full and non-full words in beta-expansions

abstract: The structures of full words and non-full for $\beta$-expansions are completely characterized in this paper. We obtain the precise lengths of all the maximal runs of full and non-full words among admissible words with same order.


title: Bayesian Belief Updating of Spatiotemporal Seizure Dynamics

abstract: Epileptic seizure activity shows complicated dynamics in both space and time. To understand the evolution and propagation of seizures spatially extended sets of data need to be analysed. We have previously described an efficient filtering scheme using variational Laplace that can be used in the Dynamic Causal Modelling (DCM) framework [Friston, 2003] to estimate the temporal dynamics of seizures recorded using either invasive or non-invasive electrical recordings (EEG/ECoG). Spatiotemporal dynamics are modelled using a partial differential equation -- in contrast to the ordinary differential equation used in our previous work on temporal estimation of seizure dynamics [Cooray, 2016]. We provide the requisite theoretical background for the method and test the ensuing scheme on simulated seizure activity data and empirical invasive ECoG data. The method provides a framework to assimilate the spatial and temporal dynamics of seizure activity, an aspect of great physiological and clinical importance.


title: Fast and simple algorithms for computing both $LCS_{k}$ and $LCS_{k+}$

abstract: Longest Common Subsequence ($LCS$) deals with the problem of measuring similarity of two strings. While this problem has been analyzed for decades, the recent interest stems from a practical observation that considering single characters is often too simplistic. Therefore, recent works introduce the variants of $LCS$ based on shared substrings of length exactly or at least $k$ ($LCS_k$ and $LCS_{k+}$ respectively). The main drawback of the state-of-the-art algorithms for computing $LCS_k$ and $LCS_{k+}$ is that they work well only in a limited setting: they either solve the average case well while being suboptimal in the pathological situations or they achieve a good worst-case performance, but fail to exploit the input data properties to speed up the computation. Furthermore, these algorithms are based on non-trivial data structures which is not ideal from a practitioner's point of view. We present a single algorithm to compute both $LCS_k$ and $LCS_{k+}$ which outperforms the state-of-the art algorithms in terms of runtime complexity and requires only basic data structures. In addition, we implement an algorithm to reconstruct the solution which offers significant improvement in terms of memory consumption. Our empirical validation shows that we save several orders of magnitude of memory on human genome data. The C++ implementation of our algorithms is made available at: https://github.com/google/fast-simple-lcsk


title: The Effect of Temperature on Amdahl Law in 3D Multicore Era

abstract: This work studies the influence of temperature on performance and scalability of 3D Chip Multiprocessors (CMP) from Amdahl law perspective. We find that 3D CMP may reach its thermal limit before reaching its maximum power. We show that a high level of parallelism may lead to high peak temperatures even in small scale 3D CMPs, thus limiting 3D CMP scalability and calling for different, in-memory computing architectures.


title: Cache Hierarchy Optimization

abstract: Power consumption, off-chip memory bandwidth, chip area and Network on Chip (NoC) capacity are among main chip resources limiting the scalability of Chip Multiprocessors (CMP). A closed form analytical solution for optimizing the CMP cache hierarchy and optimally allocating area among hierarchy levels under such constrained resources is developed. The optimization framework is extended by incorporating the impact of data sharing on cache miss rate. An analytical model for cache access time as a function of cache size is proposed and verified using CACTI simulation.


title: Sparse Matrix Multiplication On An Associative Processor

abstract: Sparse matrix multiplication is an important component of linear algebra computations. Implementing sparse matrix multiplication on an associative processor (AP) enables high level of parallelism, where a row of one matrix is multiplied in parallel with the entire second matrix, and where the execution time of vector dot product does not depend on the vector size. Four sparse matrix multiplication algorithms are explored in this paper, combining AP and baseline CPU processing to various levels. They are evaluated by simulation on a large set of sparse matrices. The computational complexity of sparse matrix multiplication on AP is shown to be an O(nnz) where nnz is the number of nonzero elements. The AP is found to be especially efficient in binary sparse matrix multiplication. AP outperforms conventional solutions in power efficiency.


title: Structured Bayesian Pruning via Log-Normal Multiplicative Noise

abstract: Dropout-based regularization methods can be regarded as injecting random noise with pre-defined magnitude to different parts of the neural network during training. It was recently shown that Bayesian dropout procedure not only improves generalization but also leads to extremely sparse neural architectures by automatically setting the individual noise magnitude per weight. However, this sparsity can hardly be used for acceleration since it is unstructured. In the paper, we propose a new Bayesian model that takes into account the computational structure of neural networks and provides structured sparsity, e.g. removes neurons and/or convolutional channels in CNNs. To do this we inject noise to the neurons outputs while keeping the weights unregularized. We establish the probabilistic model with a proper truncated log-uniform prior over the noise and truncated log-normal variational approximation that ensures that the KL-term in the evidence lower bound is computed in closed-form. The model leads to structured sparsity by removing elements with a low SNR from the computation graph and provides significant acceleration on a number of deep neural architectures. The model is easy to implement as it can be formulated as a separate dropout-like layer.


title: Gaze Distribution Analysis and Saliency Prediction Across Age Groups

abstract: Knowledge of the human visual system helps to develop better computational models of visual attention. State-of-the-art models have been developed to mimic the visual attention system of young adults that, however, largely ignore the variations that occur with age. In this paper, we investigated how visual scene processing changes with age and we propose an age-adapted framework that helps to develop a computational model that can predict saliency across different age groups. Our analysis uncovers how the explorativeness of an observer varies with age, how well saliency maps of an age group agree with fixation points of observers from the same or different age groups, and how age influences the center bias. We analyzed the eye movement behavior of 82 observers belonging to four age groups while they explored visual scenes. Explorativeness was quantified in terms of the entropy of a saliency map, and area under the curve (AUC) metrics was used to quantify the agreement analysis and the center bias. These results were used to develop age adapted saliency models. Our results suggest that the proposed age-adapted saliency model outperforms existing saliency models in predicting the regions of interest across age groups.


title: Optimality of orders one to three and beyond: characterization and evaluation complexity in constrained nonconvex optimization

abstract: Necessary conditions for high-order optimality in smooth nonlinear constrained optimization are explored and their inherent intricacy discussed. A two-phase minimization algorithm is proposed which can achieve approximate first-, second- and third-order criticality and its evaluation complexity is analyzed as a function of the choice (among existing methods) of an inner algorithm for solving subproblems in each of the two phases. The relation between high-order criticality and penalization techniques is finally considered, showing that standard algorithmic approaches will fail if approximate constrained high-order critical points are sought.


title: Performance Evaluation of Optimal Radio Access Technology Selection Algorithms for LTE-WiFi Network

abstract: A Heterogeneous Network (HetNet) comprises of multiple Radio Access Technologies (RATs) allowing a user to associate with a specific RAT and steer to other RATs in a seamless manner. To cope up with the unprecedented growth of data traffic, mobile data can be offloaded to Wireless Fidelity (WiFi) in a Long Term Evolution (LTE) based HetNet. In this paper, an optimal RAT selection problem is considered to maximize the total system throughput in an LTE-WiFi system with offload capability. Another formulation is also developed where maximizing the total system throughput is subject to a constraint on the voice user blocking probability. It is proved that the optimal policies for the association and offloading of voice/data users contain threshold structures. Based on the threshold structures, we propose algorithms for the association and offloading of users in LTE-WiFi HetNet. Simulation results are presented to demonstrate the voice user blocking probability and the total system throughput performance of the proposed algorithms in comparison to another benchmark algorithm.


title: KAM for quasi-linear autonomous NLS

abstract: We consider a class of fully nonlinear Schr\"odinger equations and we prove the existence and the stability of Cantor families of quasi-periodic, small amplitude solutions. We deal with reversible autonomous nonlinearities and we look for analytic solutions. Note that this is the first result on analytic quasi-periodic solutions for fully nonlinear PDEs.


title: Orthogonality to matrix subspaces, and a distance formula

abstract: We obtain a necessary and sufficient condition for a matrix $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M_n(\mathbb C)$. Using this we obtain an expression for the distance of $A$ from any unital $C^*$ subalgebra of $\mathbb M_n(\mathbb C)$.


title: Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX

abstract: Side-channel risks of Intel's SGX have recently attracted great attention. Under the spotlight is the newly discovered page-fault attack, in which an OS-level adversary induces page faults to observe the page-level access patterns of a protected process running in an SGX enclave. With almost all proposed defense focusing on this attack, little is known about whether such efforts indeed raise the bar for the adversary, whether a simple variation of the attack renders all protection ineffective, not to mention an in-depth understanding of other attack surfaces in the SGX system. In the paper, we report the first step toward systematic analyses of side-channel threats that SGX faces, focusing on the risks associated with its memory management. Our research identifies 8 potential attack vectors, ranging from TLB to DRAM modules. More importantly, we highlight the common misunderstandings about SGX memory side channels, demonstrating that high frequent AEXs can be avoided when recovering EdDSA secret key through a new page channel and fine-grained monitoring of enclave programs (at the level of 64B) can be done through combining both cache and cross-enclave DRAM channels. Our findings reveal the gap between the ongoing security research on SGX and its side-channel weaknesses, redefine the side-channel threat model for secure enclaves, and can provoke a discussion on when to use such a system and how to use it securely.


title: Deep Sparse Coding Using Optimized Linear Expansion of Thresholds

abstract: We address the problem of reconstructing sparse signals from noisy and compressive measurements using a feed-forward deep neural network (DNN) with an architecture motivated by the iterative shrinkage-thresholding algorithm (ISTA). We maintain the weights and biases of the network links as prescribed by ISTA and model the nonlinear activation function using a linear expansion of thresholds (LET), which has been very successful in image denoising and deconvolution. The optimal set of coefficients of the parametrized activation is learned over a training dataset containing measurement-sparse signal pairs, corresponding to a fixed sensing matrix. For training, we develop an efficient second-order algorithm, which requires only matrix-vector product computations in every training epoch (Hessian-free optimization) and offers superior convergence performance than gradient-descent optimization. Subsequently, we derive an improved network architecture inspired by FISTA, a faster version of ISTA, to achieve similar signal estimation performance with about 50% of the number of layers. The resulting architecture turns out to be a deep residual network, which has recently been shown to exhibit superior performance in several visual recognition tasks. Numerical experiments demonstrate that the proposed DNN architectures lead to 3 to 4 dB improvement in the reconstruction signal-to-noise ratio (SNR), compared with the state-of-the-art sparse coding algorithms.


title: Fast Cell Discovery in mm-wave 5G Networks with Context Information

abstract: The exploitation of mm-wave bands is one of the key-enabler for 5G mobile radio networks. However, the introduction of mm-wave technologies in cellular networks is not straightforward due to harsh propagation conditions that limit the mm-wave access availability. Mm-wave technologies require high-gain antenna systems to compensate for high path loss and limited power. As a consequence, directional transmissions must be used for cell discovery and synchronization processes: this can lead to a non-negligible access delay caused by the exploration of the cell area with multiple transmissions along different directions. The integration of mm-wave technologies and conventional wireless access networks with the objective of speeding up the cell search process requires new 5G network architectural solutions. Such architectures introduce a functional split between C-plane and U-plane, thereby guaranteeing the availability of a reliable signaling channel through conventional wireless technologies that provides the opportunity to collect useful context information from the network edge. In this article, we leverage the context information related to user positions to improve the directional cell discovery process. We investigate fundamental trade-offs of this process and the effects of the context information accuracy on the overall system performance. We also cope with obstacle obstructions in the cell area and propose an approach based on a geo-located context database where information gathered over time is stored to guide future searches. Analytic models and numerical results are provided to validate proposed strategies.


title: Multipolar phase in frustrated spin-1/2 and 1 chains

abstract: The $J_1-J_2$ spin chain model with nearest neighbor $J_1$ and next nearest neighbor anti-ferromagnetic $J_2$ interaction is one of the most popular frustrated magnetic models. This model system has been extensively studied theoretically and applied to explain the magnetic properties of the real low-dimensional materials. However, existence of different phases for the $J_1-J_2$ model in an axial magnetic field $h$ is either not understood or has been controversial. In this paper we show the existence of higher order $p>4$ multipolar phase near the critical point $(J_2/J_1)_c=-0.25$. The criterion to detect the quadrupolar or spin nematic (SN)/spin density wave of type two (SDW$_2$) phase using the inelastic neutron scattering (INS) experiment data is also discussed, and INS data of LiCuVO$_4$ compound is modelled. We discuss the dimerized and degenerate ground state in the quadrupolar phase. The major contribution of binding energy in the spin-1/2 system comes from the longitudinal component of the nearest neighbor bonds. We also study spin nematic/SDW$_2$ phase in spin-1 system in large $J_2/J_1$ limit.


title: Quantum phases of frustrated 2-leg spin-1/2 ladders with skewed rungs

abstract: The quantum phases of 2-leg spin-1/2 ladders with skewed rungs are obtained using exact diagonalization of systems with up to 26 spins and by density matrix renormalization group calculations to 500 spins. The ladders have isotropic antiferromagnetic (AF) exchange $J_2 > 0$ between first neighbors in the legs, variable isotropic AF exchange $J_1$ between some first neighbors in different legs, and an unpaired spin per odd-membered ring when $J_1 \gg J_2$. Ladders with skewed rungs and variable $J_1$ have frustrated AF interactions leading to multiple quantum phases: AF at small $J_1$, either F or AF at large $J_1$, as well as bond-order-wave phases or reentrant AF (singlet) phases at intermediate $J_1$.


title: Measurement of cross section of the residues from the $^{11}$B-induced reaction on $^{89}$Y and $^{93}$Nb: Production of $^{97}$Ru and $^{101m}$Rh

abstract: The heavy-ion induced reactions on intermediate mass targets are complex in nature, even at the low energies. To understand those nuclear reaction phenomena in detail, more experimental studies are required in a wide range of energy. Heavy-ion reactions were investigated by measuring production cross sections of the residues produced in the $^{11}$B-induced reactions on $^{89}$Y and $^{93}$Nb at low energies, near and above the barrier, and to check the effectiveness of the different nuclear models to explain them. Further, aim is also to optimize the production parameters of neutron deficient medically relevant $^{97}$Ru and $^{101m}$Rh radioisotopes produced in those reactions, respectively. The $^{11}$B-beam was allowed to impinge on $^{89}$Y and $^{93}$Nb foils supported by an aluminum catcher foil, arranged in a stack, in 27.5-58.7 and 30.6-62.3 MeV energy range, respectively. The $\gamma$-spectrometry was carried out after EOB to measure the activity of the radionuclides produced in each foil and cross sections were calculated. Measured cross-sectional data were analyzed in terms of compound and precompound model calculations. The measured cross sections of the residues showed good agreement with the model calculations based on the Hauser-Feshbach formulation and exciton model. A substantial preequilibrium contribution was noticed in the 3$n$ reaction channel in both the reactions. Theoretical estimations confirmed that major production yields are mostly contributed by the compound reaction process. Preequilibrium emissions contributed at the high energy tail of the 3$n$ channel for both the reactions. Moreover, an indirect signature of a direct reaction influence was also observed in the $^{90m}$Y production.


title: A Study of Topological Quantum Phase Transition and Majorana Localization Length for the Interacting Helical Liquid System

abstract: We consider a helical spin liquid system which shows majorana fermion modes at the edge. The interaction between the quasiparticles in this system induces phase transition, Majorana-Ising transition. We comply the density matrix renormalization group method to study this phase transition for the entire regime of the parameter space. We observe the presence of topological quantum phase transition for repulsive interaction, however this phase is more stable for the attractive interaction. The length scale dependent study shows many new and important results and we show explicitly that the major contribution to the excitation comes from the edge of the system when the system is in the topological state. We also show the dependence of Majorana localization length for various values of chemical potential.


title: Frequency manipulation of light by photonic gauge potentials

abstract: The ability to manipulate the frequency of light is of great importance in both fundamental quantum sciences and practical applications. Traditional method for frequency conversion relies on nonlinear optical processes, which are faced with the obstacles of low efficiency and limited bandwidth. Recent developments of topological photonics introduce the concepts of gauge potentials and magnetic fields to the realm of photons. Here, we demonstrate versatile frequency manipulation of light via photonic gauge potentials in a fiber-optic communication system. The gauge potential of frequency dimension is realized by controlling the initial phase of electro-optic phase modulation. A maximum 50 GHz frequency shift and three-fold bandwidth expansion for frequency combs are achieved by choosing different gauge potentials. By adopting two cascaded phase modulators with different gauge potentials, we also realize "negative refraction" for frequency combs and frequency "perfect imaging"for arbitrarily input spectra. These results may pave the way towards versatile frequency management in quantum optics and classical optical communications.


title: Dark Matter and Baryogenesis from Non-Abelian Gauged Lepton Number

abstract: A simple model is constructed based on the gauge symmetry $SU(3)_c \times SU(2)_L \times U(1)_Y \times SU(2)_\ell$, with only the leptons transforming nontrivially under $SU(2)_\ell$. The extended symmetry is broken down to the Standard Model gauge group at TeV-scale energies. We show that this model provides a mechanism for baryogenesis via leptogenesis in which the lepton number asymmetry is generated by $SU(2)_\ell$ instantons. The theory also contains a dark matter candidate - the $SU(2)_\ell$ partner of the right-handed neutrino.


title: The Integral Transform of N.I.Akhiezer

abstract: We study the integral transform which appeared in a different form in Akhiezer's textbook "Lectures on Integral Transforms".


title: Theoretical description of the decays $\Lambda_b \to \Lambda^{(\ast)}(\frac12^\pm,\frac32^\pm) + J/\psi$

abstract: We calculate the invariant and helicity amplitudes for the transitions $\Lambda_b~\to~\Lambda^{(\ast)}(J^P)~+~J/\psi$ where the $\Lambda^{(\ast)}(J^P)$ are $\Lambda(sud)$-type ground and excited states with $J^P$ quantum numbers $J^P=\frac12^{\pm},\frac32^{\pm}$. The calculations are performed in the framework of a covariant confined quark model previously developed by us. We find that the values of the helicity amplitudes for the $\Lambda^\ast(1520,\,\frac32^-)$ and the $\Lambda^\ast(1890,\,\frac32^+)$ are suppressed compared with those for the ground state $\Lambda(1116,\,\frac12^+)$ and the excited state $\Lambda^\ast(1405,\,\frac12^-)$. This analysis is important for the identification of the hidden charm pentaquark states $P_c^+(4380)$ and $P_c^+(4450)$ which were discovered in the decay chain $\Lambda_b^0~\to~P_c^+(~\to~p~J/\psi)~+~K^- $ because the cascade decay chain $\Lambda_b~\to~\Lambda^\ast(\frac32^\pm)(~\to~pK^-)~+~J/\psi$ involves the same final state.


title: Contract Design for Energy Demand Response

abstract: Power companies such as Southern California Edison (SCE) uses Demand Response (DR) contracts to incentivize consumers to reduce their power consumption during periods when demand forecast exceeds supply. Current mechanisms in use offer contracts to consumers independent of one another, do not take into consideration consumers' heterogeneity in consumption profile or reliability, and fail to achieve high participation. We introduce DR-VCG, a new DR mechanism that offers a flexible set of contracts (which may include the standard SCE contracts) and uses VCG pricing. We prove that DR-VCG elicits truthful bids, incentivizes honest preparation efforts, enables efficient computation of allocation and prices. With simple fixed-penalty contracts, the optimization goal of the mechanism is an upper bound on probability that the reduction target is missed. Extensive simulations show that compared to the current mechanism deployed in by SCE, the DR-VCG mechanism achieves higher participation, increased reliability, and significantly reduced total expenses.


title: Modeling and design of singly-resonant optical parametric oscillator with an intracavity idler absorber for enhanced conversion efficiency for the signal

abstract: We present modeling and design of singly-resonant optical parametric oscillator (SR-OPO) with an intracavity idler absorber to enhance the conversion efficiency for the signal, by suppressing the back conversion of the signal and idler to the pump. Following plane wave analysis, we arrive at the optimum parameters of the OPO to achieve high conversion efficiency for the signal. For a given pump intensity, we have analyzed the effect of position and number of absorbers required for optimum performance of the device. The model is also extended to the case in which the signal is absorbed, yielding higher conversion efficiency for the idler (in mid-IR region). The magnitude of absorption and the effect of inter-crystal phase shift on the conversion efficiency are also discussed. We also present an analytical solution for twin-crystal SR-OPO with an absorber in between; taking into account the variation of signal amplitude inside the cavity, we re-affirm that the often used 'constant signal-wave approximation' is valid if the reflectivity of the output coupler is high for the signal.


title: Rapid rotators revisited: absolute dimensions of KOI-13

abstract: We analyse Kepler light-curves of the exoplanet KOI-13b transiting its moderately rapidly rotating (gravity-darkened) parent star. A physical model, with minimal ad hoc free parameters, reproduces the time-averaged light-curve at the ca. 10 parts per million level. We demonstrate that this Roche-model solution allows the absolute dimensions of the system to be determined from the star's projected equatorial rotation speed, v(e)sin(i), without any additional assumptions; we find a planetary radius 1.33+/-0.05 R(Jup), stellar polar radius 1.55+/-0.06 R(sun), combined mass M(*) + M(P) (\simeq M*) = 1.47 +/- 0.17 M(sun), and distance d \simeq 370+/-25 pc, where the errors are dominated by uncertainties in relative flux contribution of the visual-binary companion KOI-13B. The implied stellar rotation period is within ca. 5% of the non-orbital, 25.43-hr signal found in the Kepler photometry. We show that the model accurately reproduces independent tomographic observations, and yields an offset between orbital and stellar-rotation angular-momentum vectors of 60.25+/-0.05 degrees.


title: Finiteness of \'etale fundamental groups by reduction modulo $p$

abstract: We introduce a spreading out technique to deduce finiteness results for \'etale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental groups in characteristic $0$ using birational geometry.


title: Toric weak Fano varieties associated to building sets

abstract: We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be weak Fano in terms of the building set.


title: Event-Triggered Algorithms for Leader-Follower Consensus of Networked Euler-Lagrange Agents

abstract: This paper proposes three different distributed event-triggered control algorithms to achieve leader-follower consensus for a network of Euler-Lagrange agents. We firstly propose two model-independent algorithms for a subclass of Euler-Lagrange agents without the vector of gravitational potential forces. By model-independent, we mean that each agent can execute its algorithm with no knowledge of the agent self-dynamics. A variable-gain algorithm is employed when the sensing graph is undirected; algorithm parameters are selected in a fully distributed manner with much greater flexibility compared to all previous work concerning event-triggered consensus problems. When the sensing graph is directed, a constant-gain algorithm is employed. The control gains must be centrally designed to exceed several lower bounding inequalities which require limited knowledge of bounds on the matrices describing the agent dynamics, bounds on network topology information and bounds on the initial conditions. When the Euler-Lagrange agents have dynamics which include the vector of gravitational potential forces, an adaptive algorithm is proposed which requires more information about the agent dynamics but can estimate uncertain agent parameters. For each algorithm, a trigger function is proposed to govern the event update times. At each event, the controller is updated, which ensures that the control input is piecewise constant and saves energy resources. We analyse each controllers and trigger function and exclude Zeno behaviour. Extensive simulations show 1) the advantages of our proposed trigger function as compared to those in existing literature, and 2) the effectiveness of our proposed controllers.


title: Periodic quantum graphs from the Bethe-Sommerfeld perspective

abstract: The paper is concerned with the number of open gaps in spectra of periodic quantum graphs. The well-known conjecture by Bethe and Sommerfeld (1933) says that the number of open spectral gaps for a system periodic in more than one direction is finite. To the date its validity is established for numerous systems, however, it is known that quantum graphs do not comply with this law as their spectra have typically infinitely many gaps, or no gaps at all. These facts gave rise to the question about the existence of quantum graphs with the `Bethe-Sommerfeld property', that is, featuring a nonzero finite number of gaps in the spectrum. In this paper we prove that the said property is impossible for graphs with the vertex couplings which are either scale-invariant or associated to scale-invariant ones in a particular way. On the other hand, we demonstrate that quantum graphs with a finite number of open gaps do indeed exist. We illustrate this phenomenon on an example of a rectangular lattice with a $\delta$ coupling at the vertices and a suitable irrational ratio of the edges. Our result allows to find explicitly a quantum graph with any prescribed exact number of gaps, which is the first such example to the date.


title: Lie algebras arising from 1-cyclic perfect complexes

abstract: Let $A$ be the path algebra of a Dynkin quiver $Q$ over a finite field, and $\mathscr{P}$ be the category of projective $A$-modules. Denote by $C^1(\mathscr{P})$ the category of 1-cyclic complexes over $\mathscr{P}$, and $\tilde{\mathfrak{n}}^+$ the vector space spanned by the isomorphism classes of indecomposable and non-acyclic objects in $C^1(\mathscr{P})$. In this paper, we prove the existence of Hall polynomials in $C^1(\mathscr{P})$, and then establish a relationship between the Hall numbers for indecomposable objects therein and those for $A$-modules. Using Hall polynomials evaluated at $1$, we define a Lie bracket in $\tilde{\mathfrak{n}}^+$ by the commutators of degenerate Hall multiplication. The resulting Hall Lie algebras provide a broad class of nilpotent Lie algebras. For example, if $Q$ is bipartite, $\tilde{\mathfrak{n}}^+$ is isomorphic to the nilpotent part of the corresponding semisimple Lie algebra; if $Q$ is the linearly oriented quiver of type $\mathbb{A}_{n}$, $\tilde{\mathfrak{n}}^+$ is isomorphic to the free 2-step nilpotent Lie algebra with $n$-generators. Furthermore, we give a description of the root systems of different $\tilde{\mathfrak{n}}^+$. We also characterize the Lie algebras $\tilde{\mathfrak{n}}^+$ by generators and relations. When $Q$ is of type $\mathbb{A}$, the relations are exactly the defining relations. As a byproduct, we construct an orthogonal exceptional pair satisfying the minimal Horseshoe lemma for each sincere non-projective indecomposable $A$-module.


title: An improved remainder estimate in the Weyl formula for the planar disk

abstract: In \cite{colin}, Y. Colin de Verdi\`ere proved that the remainder term in the two-term Weyl formula for the eigenvalue counting function for the Dirichlet Laplacian associated with the planar disk is of order $O(\lambda^{2/3})$. In this paper, by combining with the method of exponential sum estimation, we will give a sharper remainder term estimate $O(\lambda^{2/3-1/495})$.


title: The Lambek calculus with iteration: two variants

abstract: Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations.


title: The Quantum Monad on Relational Structures

abstract: Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games have been used to exhibit quantum advantage in boolean constraint satisfaction, and to obtain quantum versions of graph invariants such as the chromatic number. We show how quantum strategies for homomorphism games between relational structures can be viewed as Kleisli morphisms for a quantum monad on the (classical) category of relational structures and homomorphisms. We show a general connection between these notions and state-independent quantum realizations of strong contextuality in the Abramsky-Brandenburger formulation of contextuality. We use these results to exhibit a wide range of examples of contextuality-powered quantum advantage, and to unify several apparently diverse strands of previous work.


title: Personalized Ranking for Context-Aware Venue Suggestion

abstract: Making personalized and context-aware suggestions of venues to the users is very crucial in venue recommendation. These suggestions are often based on matching the venues' features with the users' preferences, which can be collected from previously visited locations. In this paper we present a novel user-modeling approach which relies on a set of scoring functions for making personalized suggestions of venues based on venues content and reviews as well as users context. Our experiments, conducted on the dataset of the TREC Contextual Suggestion Track, prove that our methodology outperforms state-of-the-art approaches by a significant margin.


title: Lower Bound On the Computational Complexity of Discounted Markov Decision Problems

abstract: We study the computational complexity of the infinite-horizon discounted-reward Markov Decision Problem (MDP) with a finite state space $|\mathcal{S}|$ and a finite action space $|\mathcal{A}|$. We show that any randomized algorithm needs a running time at least $\Omega(|\mathcal{S}|^2|\mathcal{A}|)$ to compute an $\epsilon$-optimal policy with high probability. We consider two variants of the MDP where the input is given in specific data structures, including arrays of cumulative probabilities and binary trees of transition probabilities. For these cases, we show that the complexity lower bound reduces to $\Omega\left( \frac{|\mathcal{S}| |\mathcal{A}|}{\epsilon} \right)$. These results reveal a surprising observation that the computational complexity of the MDP depends on the data structure of input.


title: A Formalization of the Process Algebra CCS in HOL4

abstract: An old formalization of the Process Algebra CCS (no value passing, with explicit relabeling operator) on has been ported from HOL88 theorem prover to HOL4 (Kananaskis-11 and later). Transitions between CCS processes are defined by SOS (Structured Operational Semantics) inference rules, then all algebaric laws (including the expansion theorem) were proved upon SOS transition rules. We have used HOL4's new co-inductive relation support to re-define strong and weak bisimulation equivalances, and shows that the new definitions are equivalent with old ones. Finally, there's decision procedure for automatic detection of CCS transitions. The aim is to provide an up-to-date sound and effective tool to support verification and reasoning about CCS, and to provide a formal logic basis for further theoretical developments in Concurrency Theory.


title: Non-existence of antipodal cages of even girth

abstract: The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $n-M(k,g).$ A $(k,g)$-cage is a $(k,g)$-graph with the fewest possible number of vertices, among all $(k,g)$-graphs. A graph of diameter $d$ is said to be antipodal if, for any vertices $u, v, w$ such that $d(u,v)=d$ and $d(u, w)=d$, it follows that $d(v, w)=d$ or $v=w.$ In [4] Biggs and Ito proved that any $(k,g)$-cage of even girth $g=2d\geq6$ and excess $e\leq k-2$ is a bipartite graph of diameter $d+1.$ In this paper we treat the $(k,g)$-cages of even girth and excess $e\leq k-2.$ Based on a spectral analysis we give a relation between the eigenvalues of the adjacency matrix $A$ and the distance matrix $A_{d+1}$ of such cages. Moreover, following the methodology used in [4] and [13], we prove the non-existence of the antipodal $(k,g)$-cages of excess $e$, where $k\geq e+2\geq4$ and $g=2d\geq14.$


title: Regularization of plurisubharmonic functions with a net of good points

abstract: The purpose of this article is to present a new regularization technique of quasi-plurisubharmoinc functions on a compact Kaehler manifold. The idea is to regularize the function on local coordinate balls first, and then glue each piece together. Therefore, all the higher order terms in the complex Hessian of this regularization vanish at the center of each coordinate ball, and all the centers build a delta-net of the manifold eventually.


title: Robust regularization of topology optimization problems with a posteriori error estimators

abstract: Topological optimization finds a material density distribution minimizing a functional of the solution of a partial differential equation (PDE), subject to a set of constraints (typically, a bound on the volume or mass of the material). Using a finite elements discretization (FEM) of the PDE and functional we obtain an integer programming problem. Due to approximation error of FEM discretization, optimization problem becomes mesh-depended and possess false, physically inadequate optimums, while functional value heavily depends on fineness of discretization scheme used to compute it. To alleviate this problem, we propose regularization of given functional by error estimate of FEM discretization. This regularization provides robustness of solutions and improves obtained functional values as well. While the idea is broadly applicable, in this paper we apply our method to the heat conduction optimization. This type of problems are of practical importance in design of heat conduction channels, heat sinks and other types of heat guides.


title: Realization of an atomically thin mirror using monolayer MoSe2

abstract: Advent of new materials such as van der Waals heterostructures, propels new research directions in condensed matter physics and enables development of novel devices with unique functionalities. Here, we show experimentally that a monolayer of MoSe2 embedded in a charge controlled heterostructure can be used to realize an electrically tunable atomically-thin mirror, that effects 90% extinction of an incident field that is resonant with its exciton transition. The corresponding maximum reflection coefficient of 45% is only limited by the ratio of the radiative decay rate to the linewidth of exciton transition and is independent of incident light intensity up to 400 Watts/cm2. We demonstrate that the reflectivity of the mirror can be drastically modified by applying a gate voltage that modifies the monolayer charge density. Our findings could find applications ranging from fast programmable spatial light modulators to suspended ultra-light mirrors for optomechanical devices.


title: Formalized Lambek Calculus in Higher Order Logic (HOL4)

abstract: In this project, a rather complete proof-theoretical formalization of Lambek Calculus (non-associative with arbitrary extensions) has been ported from Coq proof assistent to HOL4 theorem prover, with some improvements and new theorems. Three deduction systems (Syntactic Calculus, Natural Deduction and Sequent Calculus) of Lambek Calculus are defined with many related theorems proved. The equivalance between these systems are formally proved. Finally, a formalization of Sequent Calculus proofs (where Coq has built-in supports) has been designed and implemented in HOL4. Some basic results including the sub-formula properties of the so-called "cut-free" proofs are formally proved. This work can be considered as the preliminary work towards a language parser based on category grammars which is not multimodal but still has ability to support context-sensitive languages through customized extensions.


title: Strongly interacting multi-solitons with logarithmic relative distance for gKdV equation

abstract: We consider the following class of equations of (gKdV) type $$\partial_t u + \partial_x (\partial_x^2 u + |u|^{p-1}u) = 0, \quad p\mbox{ integer},\quad t,x \in \mathbb{R}$$ with mass sub-critical ($2< p<5$) and mass super-critical nonlinearities ($p> 5$). We prove the existence of 2-solitary wave solutions with logarithmic relative distance, i.e. solutions $u(t)$ satisfying \[\left\|u(t)- \bigg( Q (\cdot - t - \log (ct)) + \sigma Q (\cdot - t + \log (ct))\bigg)\right\|_{H^1}\to 0 \ \ \mbox{as} \ \ t\to +\infty,\] where $c=c(p)> 0$ is a fixed constant, $\sigma = -1$ in sub-critical cases and $\sigma = 1$ in super-critical cases. For the integrable case ($p=3$), such solution was known by integrability theory. This regime corresponds to strong attractive interactions. For sub-critical $p$, it was known that opposite sign traveling waves are attractive. For super-critical $p$, we derive from our computations that same sign traveling waves are attractive.


title: Nuclear resonant scattering experiment with fast time response: new scheme for observation of $^{229\rm m}$Th radiative decay

abstract: Nuclear resonant excitation of the 29.19-keV level in $^{229}$Th with high-brilliance synchrotron- radiation and detection of its decay signal, are proposed with the aim of populating the extremely low-energy isomeric state of $^{229}$Th.The proposed experiment, known as nuclear resonant scattering (NRS), has the merit of being free from uncertainties about the isomer level energy. However, it requires higher time resolution and shorter tail in the response function of the detector than that of conventional NRS experiments because of the short lifetime of the 29.19-keV state. We have fabricated an X-ray detector system which has a time resolution of 56 ps and a shorter tail function than the previously reported one. We have demonstrated an NRS experiment with the 26.27-keV nuclear level of $^{201}$Hg for feasibility assessment of the $^{229}$Th experiment. The NRS signal is clearly distinct from the prompt electronic scattering signal by the implemented detector system. The half-life of the 26.27-keV state of $^{201}$Hg is determined as 629 $\pm$ 18 ps which is better precision by a factor three than that reported to date.


title: Accelerated Hierarchical Density Clustering

abstract: We present an accelerated algorithm for hierarchical density based clustering. Our new algorithm improves upon HDBSCAN*, which itself provided a significant qualitative improvement over the popular DBSCAN algorithm. The accelerated HDBSCAN* algorithm provides comparable performance to DBSCAN, while supporting variable density clusters, and eliminating the need for the difficult to tune distance scale parameter. This makes accelerated HDBSCAN* the default choice for density based clustering. Library available at: https://github.com/scikit-learn-contrib/hdbscan


title: A generalization of K\'atai's orthogonality criterion with applications

abstract: We study properties of arithmetic sets coming from multiplicative number theory and obtain applications in the theory of uniform distribution and ergodic theory. Our main theorem is a generalization of K\'atai's orthogonality criterion. Here is a special case of this theorem: Let $a\colon\mathbb{N}\to\mathbb{C}$ be a bounded sequence satisfying $$ \sum_{n\leq x} a(pn)\overline{a(qn)} = {\rm o}(x),~\text{for all distinct primes $p$ and $q$.} $$ Then for any multiplicative function $f$ and any $z\in\mathbb{C}$ the indicator function of the level set $E=\{n\in\mathbb{N}:f(n)=z\}$ satisfies $$ \sum_{n\leq x} \mathbb{1}_E(n)a(n)={\rm o}(x). $$ With the help of this theorem one can show that if $E=\{n_1<n_2<\ldots\}$ is a level set of a multiplicative function having positive upper density, then for a large class of sufficiently smooth functions $h\colon(0,\infty)\to\mathbb{R}$ the sequence $(h(n_j))_{j\in\mathbb{N}}$ is uniformly distributed $\bmod~1$. This class of functions $h(t)$ includes: all polynomials $p(t)=a_kt^k+\ldots+a_1t+a_0$ such that at least one of the coefficients $a_1,a_2,\ldots,a_k$ is irrational, $t^c$ for any $c>0$ with $c\notin \mathbb{N}$, $\log^r(t)$ for any $r>2$, $\log(\Gamma(t))$, $t\log(t)$, and $\frac{t}{\log t}$. The uniform distribution results, in turn, allow us to obtain new examples of ergodic sequences, i.e. sequences along which the ergodic theorem holds.


title: Simulation of Charge Transport in Organic Semiconductors: A Time-Dependent Multiscale Method Based on Non-Equilibrium Green's Functions

abstract: In weakly interacting organic semiconductors, static and dynamic disorder often have an important impact on transport properties. Describing charge transport in these systems requires an approach that correctly takes structural and electronic fluctuations into account. Here, we present a multiscale method based on a combination of molecular dynamics simulations, electronic structure calculations, and a transport theory that uses time-dependent non-equilibrium Green's functions. We apply the methodology to investigate the charge transport in C$_{60}$-containing self-assembled monolayers (SAMs), which are used in organic field-effect transistors.


title: Time-dependent mean-field investigations of the quasifission process

abstract: We demonstrate that the microscopic Time-dependent Hartree-Fock (TDHF) theory provides an important approach to shed light on the nuclear dynamics leading to the formation of superheavy elements. In particular, we discuss studying quasifission dynamics and calculating ingredients for compound nucleus formation probability calculations. We also discuss possible extensions to TDHF to address the distribution of observables.


title: Fast Change Point Detection on Dynamic Social Networks

abstract: A number of real world problems in many domains (e.g. sociology, biology, political science and communication networks) can be modeled as dynamic networks with nodes representing entities of interest and edges representing interactions among the entities at different points in time. A common representation for such models is the snapshot model - where a network is defined at logical time-stamps. An important problem under this model is change point detection. In this work we devise an effective and efficient three-step-approach for detecting change points in dynamic networks under the snapshot model. Our algorithm achieves up to 9X speedup over the state-of-the-art while improving quality on both synthetic and real world networks.


title: Double-Ionization Satellites in the X-ray Emission Spectrum of Ni Metal

abstract: We report measurements of the nonresonant x-ray emission spectroscopy (XES) from Ni metal in an energy range spanning the K_beta, valence-to-core, and double-ionization (DI) satellites that appear beyond the single-particle Fermi level. We make special use of a laboratory-based x-ray spectrometer capable of both x-ray emission and x-ray absorption measurements to accurately align the XES and x-ray absorption spectra to a common energy scale. The careful alignment of energy scales is requisite for correction of the strong sample absorption of DI fluorescence above the Ni K-edge energy. The successful correction of absorption effects allows a determination of the branching ratios for the [1s3d], [1s3p], [1s2p] and [1s2s] satellites with respect to their corresponding diagram lines. We compare our results with other work, finding good agreement with prior experiments and with theoretical calculations in the multi-configuration Dirac-Fock framework.


title: Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks

abstract: The Arrow protocol is a simple and elegant protocol to coordinate exclusive access to a shared object in a network. The protocol solves the underlying distributed queueing problem by using path reversal on a pre-computed spanning tree (or any other tree topology simulated on top of the given network). It is known that the Arrow protocol solves the problem with a competitive ratio of O(log D) on trees of diameter D. This implies a distributed queueing algorithm with competitive ratio O(s*log D) for general networks with a spanning tree of diameter D and stretch s. In this work we show that when running the Arrow protocol on top of the well-known probabilistic tree embedding of Fakcharoenphol, Rao, and Talwar [STOC 03], we obtain a randomized distributed queueing algorithm with a competitive ratio of O(log n) even on general network topologies. The result holds even if the queueing requests occur in an arbitrarily dynamic and concurrent fashion and even if communication is asynchronous. From a technical point of view, the main of the paper shows that the competitive ratio of the Arrow protocol is constant on a special family of tree topologies, known as hierarchically well separated trees.


title: Forecasting Hands and Objects in Future Frames

abstract: This paper presents an approach to forecast future presence and location of human hands and objects. Given an image frame, the goal is to predict what objects will appear in the future frame (e.g., 5 seconds later) and where they will be located at, even when they are not visible in the current frame. The key idea is that (1) an intermediate representation of a convolutional object recognition model abstracts scene information in its frame and that (2) we can predict (i.e., regress) such representations corresponding to the future frames based on that of the current frame. We design a new two-stream convolutional neural network (CNN) architecture for videos by extending the state-of-the-art convolutional object detection network, and present a new fully convolutional regression network for predicting future scene representations. Our experiments confirm that combining the regressed future representation with our detection network allows reliable estimation of future hands and objects in videos. We obtain much higher accuracy compared to the state-of-the-art future object presence forecast method on a public dataset.


title: Critical Contours: An Invariant Linking Image Flow with Salient Surface Organization

abstract: We exploit a key result from visual psychophysics---that individuals perceive shape qualitatively---to develop the use of a geometrical/topological "invariant'' (the Morse--Smale complex) relating image structure with surface structure. Differences across individuals are minimal near certain configurations such as ridges and boundaries, and it is these configurations that are often represented in line drawings. In particular, we introduce a method for inferring a qualitative three-dimensional shape from shading patterns that link the shape-from-shading inference with shape-from-contour inference. For a given shape, certain shading patches approach "line drawings'' in a well-defined limit. Under this limit, and invariably with respect to rendering choices, these shading patterns provide a qualitative description of the surface. We further show that, under this model, the contours partition the surface into meaningful parts using the Morse--Smale complex. These critical contours are the (perceptually) stable parts of this complex and are invariant over a wide class of rendering models. Intuitively, our main result shows that critical contours partition smooth surfaces into bumps and valleys, in effect providing a scaffold on the image from which a full surface can be interpolated.


title: Precision analysis of electron energy spectrum and angular distribution of neutron beta decay with polarized neutron and electron

abstract: We give a precision analysis of the correlation coefficients of the electron-energy spectrum and angular distribution of the beta decay and radiative beta decay of the neutron with polarized neutron and electron to order 10^(-3). The calculation of correlation coefficients is carried out within the Standard model with contributions of order 10^(-3), caused by the weak magnetism and proton recoil, taken to next-to-leading order in the large proton mass expansion, and with radiative corrections of order "alpha/pi ~ 10^(-3", calculated to leading order in the large proton mass expansion. The obtained results can be used for the planning of experiments on the search for contributions of order 10^(-4) of interactions beyond the Standard model.


title: Recent Developments In DEMIRCI, The RFQ Design Software

abstract: The RFQ design tool DEMIRCI aims to provide fast and accurate simulation of a light ion accelerating cavity and of the ion beam in it. It is a modern tool with a graphical user interface leading to a "point and click" method to help the designer. This article summarizes the recent developments of DEMIRCI software such as the addition of beam dynamics and 8-term potential coefficient calculations. Its results are compared to other software available on the market, to show the attained compatibility level. Finally the future prospects are discussed.


title: Updated search for long-lived particles decaying to jet pairs

abstract: A search is presented for long-lived particles with a mass between 25 and 50 GeV/$c^2$ and a lifetime between 2 and 500 ps, using proton-proton collision data corresponding to an integrated luminosity of 2.0 fb$^{-1}$, collected by the LHCb detector at centre-of-mass energies of 7 and 8 TeV. The particles are assumed to be pair-produced in the decay of a 125 GeV/$c^2$ Standard-Model-like Higgs boson. The experimental signature is a single long-lived particle, identified by a displaced vertex with two associated jets. No excess above background is observed and limits are set on the production cross-section as a function of the mass and lifetime of the long-lived particle.


title: Renormalization group flows of the N-component Abelian Higgs model

abstract: Flows of the couplings of a theory of an N-component (complex) scalar field coupled to electrodynamics is investigated using the functional renormalization group formalism in d dimensions in covariant gauges. We find charged fixed points for any number of components in d=3, in accordance with the findings of [G. Fejos and T. Hatsuda, Phys. Rev. D 93, 121701 (2016)] for N=1. It is argued that the appropriate choice of the regulator matrix is indispensible to obtain such a result. Ward-Takahashi identites are analyzed in the presence of the regulator, and their compatibility with the flow equation is investigated in detail.


title: Supersymmetric models in view of recent LHC data

abstract: We summarize the status of various supersymmetric models in view of the existing LHC data. A particular focus is on the implications of the measured Higgs mass on these models which gives important constraints. We consider here minimal and non-mininal supersymmetric extension of the Standard Model.


title: $D^0$-$\overline{D}^0$ mixing parameter $y$ in the factorization-assisted topological-amplitude approach

abstract: We calculate the $D^0$-$\overline{D}^0$ mixing parameter $y$ in the factorization-assisted topological-amplitude (FAT) approach, considering contributions from $D^{0}\to PP$, $PV$, and $VV$ modes, where $P$ ($V$) stands for a pseudoscalar (vector) meson. The $D^{0}\to PP$ and $PV$ decay amplitudes are extracted in the FAT approach, and the $D^{0}\to VV$ decay amplitudes with final states in the longitudinal polarization are estimated via the parameter set for $D^{0}\to PV$. It is found that the $VV$ contribution to $y$, being of order of $10^{-4}$, is negligible, and that the $PP$ and $PV$ contributions amount only up to $y_{PP+PV}=(0.21\pm0.07)\%$, a prediction more precise than those previously obtained in the literature, and much lower than the experimental data $y_{\rm exp}=(0.61\pm0.08)\%$. We conclude that $D^{0}$ meson decays into other two-body and multi-particle final states are relevant to the evaluation of $y$, so it is difficult to understand it fully in an exclusive approach.


title: Is it time to go beyond $\Lambda$CDM universe?

abstract: Concordance $\Lambda$CDM universe is the simplest model that is consistent with a large variety of cosmological observations till date. But few recent observations indicate inconsistencies in $\Lambda$CDM model. In this paper, we consider the combination of recent SnIa+Bao+Cmb+Growth+$H(z)$+$H_{0}$ measurements to revisit the constraints on the dark energy evolution using the widely studied CPL parametrisation for the dark energy equation of state. Although the reconstructed behaviour for the dark energy equation of state confirms the inconsistency of $\Lambda$CDM at $95\%$ confidence level, the reconstructed $Om$ diagnostic which is a {\it null test} for $\Lambda$CDM, still allows the concordance $\Lambda$CDM behaviour with a lower range of $\Omega_{m0}$ than that obtained by Planck-2015. {\it This confirms that $\Lambda$CDM is still the best choice for the dark energy model}. We also measure the parameter $S = \sigma_{8}\sqrt{\Omega_{m0}/0.3} = 0.728 \pm 0.023$ which is consistent with its recent measurement by KiDS survey. The confidence contour in the $\Omega_{m0}-\sigma_{8}$ parameter plane is also fully consistent with KiDS survey measurement.


title: Full-Duplex Bidirectional Secure Communications under Perfect and Distributionally Ambiguous Eavesdropper's CSI

abstract: Consider a full-duplex (FD) bidirectional secure communication system, where two communication nodes, named Alice and Bob, simultaneously transmit and receive confidential information from each other, and an eavesdropper, named Eve, overhears the transmissions. Our goal is to maximize the sum secrecy rate (SSR) of the bidirectional transmissions by optimizing the transmit covariance matrices at Alice and Bob. To tackle this SSR maximization (SSRM) problem, we develop an alternating difference-of-concave (ADC) programming approach to alternately optimize the transmit covariance matrices at Alice and Bob. We show that the ADC iteration has a semi-closed-form beamforming solution, and is guaranteed to converge to a stationary solution of the SSRM problem. Besides the SSRM design, this paper also deals with a robust SSRM transmit design under a moment-based random channel state information (CSI) model, where only some roughly estimated first and second-order statistics of Eve's CSI are available, but the exact distribution or other high-order statistics is not known. This moment-based error model is new and different from the widely used bounded-sphere error model and the Gaussian random error model. Under the consider CSI error model, the robust SSRM is formulated as an outage probability-constrained SSRM problem. By leveraging the Lagrangian duality theory and DC programming, a tractable safe solution to the robust SSRM problem is derived. The effectiveness and the robustness of the proposed designs are demonstrated through simulations.


title: Towards Effective Exact Algorithms for the Maximum Balanced Biclique Problem

abstract: The Maximum Balanced Biclique Problem (MBBP) is a prominent model with numerous applications. Yet, the problem is NP-hard and thus computationally challenging. We propose novel ideas for designing effective exact algorithms for MBBP. Firstly, we introduce an Upper Bound Propagation procedure to pre-compute an upper bound involving each vertex. Then we extend an existing branch-and-bound algorithm by integrating the pre-computed upper bounds. We also present a set of new valid inequalities induced from the upper bounds to tighten an existing mathematical formulation for MBBP. Lastly, we investigate another exact algorithm scheme which enumerates a subset of balanced bicliques based on our upper bounds. Experiments show that compared to existing approaches, the proposed algorithms and formulations are more efficient in solving a set of random graphs and large real-life instances.


title: Combining tabu search and graph reduction to solve the maximum balanced biclique problem

abstract: The Maximum Balanced Biclique Problem is a well-known graph model with relevant applications in diverse domains. This paper introduces a novel algorithm, which combines an effective constraint-based tabu search procedure and two dedicated graph reduction techniques. We verify the effectiveness of the algorithm on 30 classical random benchmark graphs and 25 very large real-life sparse graphs from the popular Koblenz Network Collection (KONECT). The results show that the algorithm improves the best-known results (new lower bounds) for 10 classical benchmarks and obtains the optimal solutions for 14 KONECT instances.


title: Phase-Shifting Separable Haar Wavelets and Applications

abstract: This paper presents a new approach for tackling the shift-invariance problem in the discrete Haar domain, without trading off any of its desirable properties, such as compression, separability, orthogonality, and symmetry. The paper presents several key theoretical contributions. First, we derive closed form expressions for phase shifting in the Haar domain both in partially decimated and fully decimated transforms. Second, it is shown that the wavelet coefficients of the shifted signal can be computed solely by using the coefficients of the original transformed signal. Third, we derive closed-form expressions for non-integer shifts, which have not been previously reported in the literature. Fourth, we establish the complexity of the proposed phase shifting approach using the derived analytic expressions. As an application example of these results, we apply the new formulae to image rotation and interpolation, and evaluate its performance against standard methods.


title: Noise Characterization and Filtering in the MicroBooNE Liquid Argon TPC

abstract: The low-noise operation of readout electronics in a liquid argon time projection chamber (LArTPC) is critical to properly extract the distribution of ionization charge deposited on the wire planes of the TPC, especially for the induction planes. This paper describes the characteristics and mitigation of the observed noise in the MicroBooNE detector. The MicroBooNE's single-phase LArTPC comprises two induction planes and one collection sense wire plane with a total of 8256 wires. Current induced on each TPC wire is amplified and shaped by custom low-power, low-noise ASICs immersed in the liquid argon. The digitization of the signal waveform occurs outside the cryostat. Using data from the first year of MicroBooNE operations, several excess noise sources in the TPC were identified and mitigated. The residual equivalent noise charge (ENC) after noise filtering varies with wire length and is found to be below 400 electrons for the longest wires (4.7 m). The response is consistent with the cold electronics design expectations and is found to be stable with time and uniform over the functioning channels. This noise level is significantly lower than previous experiments utilizing warm front-end electronics.


title: First measurement of the polarization observable $E$ and helicity-dependent cross sections in single $\pi^{0}$ photoproduction from quasi-free nucleons

abstract: The double-polarization observable $E$ and the helicity-dependent cross sections $\sigma_{1/2}$ and $\sigma_{3/2}$ have been measured for the first time for single $\pi^{0}$ photoproduction from protons and neutrons bound in the deuteron at the electron accelerator facility MAMI in Mainz, Germany. The experiment used a circularly polarized photon beam and a longitudinally polarized deuterated butanol target. The reaction products, recoil nucleons and decay photons from the $\pi^0$ meson were detected with the Crystal Ball and TAPS electromagnetic calorimeters. Effects from nuclear Fermi motion were removed by a kinematic reconstruction of the $\pi^{0}N$ final state. A comparison to data measured with a free proton target showed that the absolute scale of the cross sections is significantly modified by nuclear final-state interaction (FSI) effects. However, there is no significant effect on the asymmetry $E$ since the $\sigma_{1/2}$ and $\sigma_{3/2}$ components appear to be influenced in a similar way. Thus, the best approximation of the two helicity-dependent cross sections for the free neutron is obtained by combining the asymmetry $E$ measured with quasi-free neutrons and the unpolarized cross section corrected for FSI effects under the assumption that the FSI effects are similar for neutrons and protons.


title: Why You Should Charge Your Friends for Borrowing Your Stuff

abstract: We consider goods that can be shared with k-hop neighbors (i.e., the set of nodes within k hops from an owner) on a social network. We examine incentives to buy such a good by devising game-theoretic models where each node decides whether to buy the good or free ride. First, we find that social inefficiency, specifically excessive purchase of the good, occurs in Nash equilibria. Second, the social inefficiency decreases as k increases and thus a good can be shared with more nodes. Third, and most importantly, the social inefficiency can also be significantly reduced by charging free riders an access cost and paying it to owners, leading to the conclusion that organizations and system designers should impose such a cost. These findings are supported by our theoretical analysis in terms of the price of anarchy and the price of stability; and by simulations based on synthetic and real social networks.


title: A hot X-ray filament associated with A3017 galaxy cluster

abstract: Recent simulations and observations have shown large scale filaments in the cosmic web connecting nodes, with accreting materials (baryonic and dark matter) flowing through them. Current high sensitivity observations also show that the propagation of shocks through filaments can heat them up, and make filaments visible between two or more galaxy clusters or around massive clusters, based on optical and/or X-ray observations. We are reporting here the special case of the cluster A3017 associated with a hot filament. The temperature of the filament is 3.4$^{-0.77}_{+1.30}$ ~keV and its length is $\sim$ 1 Mpc. We have analysed its archival {\it Chandra} data and report various properties. We also analysed GMRT 235/610 MHz radio data. Radio observations have revealed symmetric two-sided lobes which fill cavities in the A3017 cluster core region, associated with central AGN. In the radio map, we also noticed a peculiar linear vertical radio structure in the X-ray filament region which might be associated with a cosmic filament shock. This radio structure could be a radio phoenix or old plasma where an old relativistic population is re-accelerated by shock propagation. Finally we put an upper limit on the radio luminosity of the filament region.


title: On one phase free boundary problem in $\mathbb{R}^{N}$

abstract: We construct a smooth axially symmetric solution to the classical one phase free boundary problem in $\mathbb{R}^{N}$. Its free boundary is of \textquotedblleft catenoid\textquotedblright\ type. This is a higher dimensional analogy of the Hauswirth-Helein-Pacard solution in $\mathbb{R}% ^{2}$ (\cite{Pacard}). The existence of such solution is conjectured in \cite [Remark 2.4]{Pacard}.


title: Tuning a Circular p-n Junction in Graphene from Quantum Confinement to Optical Guiding

abstract: The motion of massless Dirac-electrons in graphene mimics the propagation of photons. This makes it possible to control the charge-carriers with components based on geometrical-optics and has led to proposals for an all-graphene electron-optics platform. An open question arising from the possibility of reducing the component-size to the nanometer-scale is how to access and understand the transition from optical-transport to quantum-confinement. Here we report on the realization of a circular p-n junction that can be continuously tuned from the nanometer-scale, where quantum effects are dominant, to the micrometer scale where optical-guiding takes over. We find that in the nanometer-scale junction electrons are trapped in states that resemble atomic-collapse at a supercritical charge. As the junction-size increases, the transition to optical-guiding is signaled by the emergence of whispering-gallery modes and Fabry-Perot interference. The creation of tunable junctions that straddle the crossover between quantum-confinement and optical-guiding, paves the way to novel design-architectures for controlling electronic transport.


title: Ensemble Sampling

abstract: Thompson sampling has emerged as an effective heuristic for a broad range of online decision problems. In its basic form, the algorithm requires computing and sampling from a posterior distribution over models, which is tractable only for simple special cases. This paper develops ensemble sampling, which aims to approximate Thompson sampling while maintaining tractability even in the face of complex models such as neural networks. Ensemble sampling dramatically expands on the range of applications for which Thompson sampling is viable. We establish a theoretical basis that supports the approach and present computational results that offer further insight.


title: Calibrating Black Box Classification Models through the Thresholding Method

abstract: In high-dimensional classification settings, we wish to seek a balance between high power and ensuring control over a desired loss function. In many settings, the points most likely to be misclassified are those who lie near the decision boundary of the given classification method. Often, these uninformative points should not be classified as they are noisy and do not exhibit strong signals. In this paper, we introduce the Thresholding Method to parameterize the problem of determining which points exhibit strong signals and should be classified. We demonstrate the empirical performance of this novel calibration method in providing loss function control at a desired level, as well as explore how the method assuages the effect of overfitting. We explore the benefits of error control through the Thresholding Method in difficult, high-dimensional, simulated settings. Finally, we show the flexibility of the Thresholding Method through applying the method in a variety of real data settings.


title: $\left( \beta, \varpi \right)$-stability for cross-validation and the choice of the number of folds

abstract: In this paper, we introduce a new concept of stability for cross-validation, called the $\left( \beta, \varpi \right)$-stability, and use it as a new perspective to build the general theory for cross-validation. The $\left( \beta, \varpi \right)$-stability mathematically connects the generalization ability and the stability of the cross-validated model via the Rademacher complexity. Our result reveals mathematically the effect of cross-validation from two sides: on one hand, cross-validation picks the model with the best empirical generalization ability by validating all the alternatives on test sets; on the other hand, cross-validation may compromise the stability of the model selection by causing subsampling error. Moreover, the difference between training and test errors in q\textsuperscript{th} round, sometimes referred to as the generalization error, might be autocorrelated on q. Guided by the ideas above, the $\left( \beta, \varpi \right)$-stability help us derivd a new class of Rademacher bounds, referred to as the one-round/convoluted Rademacher bounds, for the stability of cross-validation in both the i.i.d.\ and non-i.i.d.\ cases. For both light-tail and heavy-tail losses, the new bounds quantify the stability of the one-round/average test error of the cross-validated model in terms of its one-round/average training error, the sample sizes $n$, number of folds $K$, the tail property of the loss (encoded as Orlicz-$\Psi_\nu$ norms) and the Rademacher complexity of the model class $\Lambda$. The new class of bounds not only quantitatively reveals the stability of the generalization ability of the cross-validated model, it also shows empirically the optimal choice for number of folds $K$, at which the upper bound of the one-round/average test error is lowest, or, to put it in another way, where the test error is most stable.


title: Amalgamated Free Product Rigidity for Group von Neumann Algebras

abstract: We provide a fairly large family of amalgamated free product groups $\Gamma=\Gamma_1\ast_{\Sigma}\Gamma_2$ whose amalgam structure can be completely recognized from their von Neumann algebras. Specifically, assume that $\Gamma_i$ is a product of two icc non-amenable bi-exact (e.g., hyperbolic) groups, and $\Sigma$ is icc amenable and has trivial one-sided commensurator in $\Gamma_i$, for every $i\in\{1,2\}$. Then $\Gamma$ satisfies the following rigidity property: any group $\La$ such that $L(\La)$ is isomorphic to $L(\G)$ admits an amalgamated free product decomposition $\La=\La_1\ast_\Delta \La_2$ such that the inclusions $L(\Delta)\subseteq L(\La_i)$ and $L(\Sigma)\subseteq L(\G_i)$ are isomorphic, for every $i\in\{1,2\}$. This result significantly strengthens some of the previous Bass-Serre rigidity results for von Neumann algebras. As a corollary, we obtain the first examples of amalgamated free product groups which are W$^*$-superrigid.


title: On sound ranging in Hilbert space

abstract: We consider the sound ranging problem, which is to find the position of the source-point from the moments when the wave-sphere of linearly, with time, increasing radius reaches the sensor-points, in the infinite-dimensional separable Euclidean space H, and describe the solving methods, for entire space and for its unit sphere. In the former case, we give some sufficient conditions for uniqueness of the solution. We also provide two examples with the sets of sensors being a basis of H: 1st, when sound ranging problem and so-called dual problem both have single solutions, and 2nd, when sound ranging problem has two distinct solutions.


title: A Dynkin game on assets with incomplete information on the return

abstract: This paper studies a 2-players zero-sum Dynkin game arising from pricing an option on an asset whose rate of return is unknown to both players. Using filtering techniques we first reduce the problem to a zero-sum Dynkin game on a bi-dimensional diffusion $(X,Y)$. Then we characterize the existence of a Nash equilibrium in pure strategies in which each player stops at the hitting time of $(X,Y)$ to a set with moving boundary. A detailed description of the stopping sets for the two players is provided along with global $C^1$ regularity of the value function.


title: Thermally Driven Topology in Chiral Magnets

abstract: Chiral magnets give rise to the anti-symmetric Dzyaloshinskii-Moriya (DM) interaction, which induces topological nontrivial textures such as magnetic skyrmions. The topology is characterized by integer values of the topological charge. In this work, we performed the Monte-Carlo calculation of a two-dimensional model of the chiral magnet. A surprising upturn of the topological charge is identified at high fields and high temperatures. This upturn is closely related to thermal fluctuations at the atomic scale, and is explained by a simple physical picture based on triangulation of the lattice. This emergent topology is also explained by a field-theoretic analysis using $CP^{1}$ formalism.


title: The Meaning of Memory Safety

abstract: We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data.


title: Generalized Degrees Freedom of Noncoherent MIMO Channels with Asymmetric Link Strengths

abstract: We study the generalized degrees of freedom (gDoF) of block-fading noncoherent multiple input multiple output (MIMO) channels with asymmetric distributions of link strengths and a coherence time of T symbol durations. We derive the optimal signaling structure for communication for the asymmetric MIMO channel, which is distinct from that for the MIMO channel with independent and identically distributed (i.i.d.) links. We extend the existing results for the single input multiple output (SIMO) channel with i.i.d. links to the asymmetric case, proving that selecting the statistically best antenna is gDoF-optimal. Using the gDoF result for the SIMO channel, we prove that for T=1, the gDoF is zero for MIMO channels with arbitrary link strengths., extending the result for MIMO with i.i.d. links We show that selecting the statistically best antenna is gDoF-optimal for the multiple input single output (MISO) channel. We also derive the gDoF for the 2X2 MIMO channel with different exponents in the direct and cross links. In this setting, we show that it is always necessary to use both the antennas to achieve the gDoF, in contrast to the results for the 2X2 MIMO channel with i.i.d. links. We show that having weaker crosslinks, gives gDoF gain compared to the case with i.i.d. links. For the noncoherent MIMO channel with i.i.d. links, the traditional method of training each transmit antenna independently is degrees of freedom (DoF) optimal, whereas we observe that for the asymmetric 2X2 MIMO channel, the traditional training is not gDoF-optimal. We extend this observation to a larger MX M MIMO channel by demonstrating a strategy that can achieve larger gDoF than a traditional training-based method.


title: Structural Compression of Convolutional Neural Networks

abstract: Deep convolutional neural networks (CNNs) have been successful in many tasks in machine vision, however, millions of weights in the form of thousands of convolutional filters in CNNs makes them difficult for human intepretation or understanding in science. In this article, we introduce CAR, a greedy structural compression scheme to obtain smaller and more interpretable CNNs, while achieving close to original accuracy. The compression is based on pruning filters with the least contribution to the classification accuracy. We demonstrate the interpretability of CAR-compressed CNNs by showing that our algorithm prunes filters with visually redundant functionalities such as color filters. These compressed networks are easier to interpret because they retain the filter diversity of uncompressed networks with order of magnitude less filters. Finally, a variant of CAR is introduced to quantify the importance of each image category to each CNN filter. Specifically, the most and the least important class labels are shown to be meaningful interpretations of each filter.


title: Dispersion and decay of collective modes in neutron star cores

abstract: We calculate the frequencies of collective modes of neutrons, protons and electrons in the outer core of neutron stars. The neutrons and protons are treated in a hydrodynamic approximation and the electrons are regarded as collisionless. The coupling of the nucleons to the electrons leads to Landau damping of the collective modes and to significant dispersion of the low-lying modes. We investigate the sensitivity of the mode frequencies to the strength of entrainment between neutrons and protons, which is not well characterized. The contribution of collective modes to the thermal conductivity is evaluated.


title: Flexible In-The-Field Monitoring

abstract: Fully assessing the robustness of a software application in-house is infeasible, especially considering the huge variety of hardly predictable stimuli, environments, and configurations that applications must handle in the field. For this reason, modern testing and analysis techniques can often process data extracted from the field, such as crash reports and profile data, or can even be executed directly in the field, for instance to diagnose and correct problems. In all these cases, collection, processing, and distribution of field data must be done seamlessly and unobstrusively while users interact with their applications. To limit the intrusiveness of in-the-field monitoring a common approach is to reduce the amount of collected data (e.g., to rare events and to crash dumps), which, however, may severely affect the effectiveness of the techniques that exploit field data. The objective of this Ph.D. thesis is to define solutions for collecting field data in a cost effective way without affecting the quality of the user experience. This result can enable a new range of testing and analysis solutions that extensively exploit field data.


title: Field Testing of Software Applications

abstract: When interacting with their software systems, users may have to deal with problems like crashes, failures, and program instability. Faulty software running in the field is not only the consequence of ineffective in-house verification and validation techniques, but it is also due to the complexity and diversity of the interactions between an application and its environment. Many of these interactions can be hardly predicted at testing time, and even when they could be predicted, often there are so many cases to be tested that they cannot be all feasibly addressed before the software is released. This Ph.D. thesis investigates the idea of addressing the faults that cannot be effectively addressed in house directly in the field, exploiting the field itself as testbed for running the test cases. An enormous number of diverse environments would then be available for testing, giving the possibility to run many test cases in many different situations, timely revealing the many failures that would be hard to detect otherwise.


title: A geometric method for eigenvalue problems with low rank perturbations

abstract: We consider the problem of finding the spectrum of an operator taking the form of a low-rank (rank one or two) non-normal perturbation of a well-understood operator, motivated by a number of problems of applied interest which take this form. We use the fact that the system is a low rank perturbation of a solved problem, together with a simple idea of classical differential geometry (the envelope of a family of curves) to completely analyze the spectrum. We use these techniques to analyze three problems of this form: a model of the oculomotor integrator due to Anastasio and Gad (2007), a continuum integrator model, and a nonlocal model of phase separation due to Rubinstein and Sternberg (1992).


title: Algebra of Implicitly Defined Constraints for Gravity as the General Form of Embedding Theory

abstract: We consider the embedding theory, the approach to gravity proposed by Regge and Teitelboim, in which 4D space-time is treated as a surface in high-dimensional flat ambient space. In its general form, which does not contain artificially imposed constraints, this theory can be viewed as an extension of GR. In the present paper we study the canonical description of the embedding theory in this general form. In this case, one of the natural constraints cannot be written explicitly, in contrast to the case where additional Einsteinian constraints are imposed. Nevertheless, it is possible to calculate all Poisson brackets with this constraint. We prove that the algebra of four emerging constraints is closed, i.e., all of them are first-class constraints. The explicit form of this algebra is also obtained.


title: Honey Bee Dance Modeling in Real-time using Machine Learning

abstract: The waggle dance that honeybees perform is an astonishing way of communicating the location of food source. After over 60 years of its discovery, researchers still use manual labeling by watching hours of dance videos to detect different transitions between dance components thus extracting information regarding the distance and direction to the food source. We propose an automated process to monitor and segment different components of honeybee waggle dance. The process is highly accurate, runs in real-time, and can use shared information between multiple dances.


title: Bose-Einstein condensation of triplons in the S=1 tetramer antiferromagnet K2Ni2(MoO4)3: A compound close to quantum critical point

abstract: The structure of K2Ni2(MoO4)3 consists of S=1 tetramers formed by Ni^{2+} ions. The magnetic susceptibility chi(T) and specific heat Cp(T) data on a single crystal show a broad maximum due to the low-dimensionality of the system with short-range spin correlations. A sharp peak is seen in chi(T) and Cp(T) at about 1.13 K, well below the broad maximum. This is an indication of magnetic long-range order i.e., the absence of spin-gap in the ground state. Interestingly, the application of a small magnetic field (H>0.1 T) induces magnetic behavior akin to Bose-Einstein condensation (BEC) of triplon excitations observed in some spin-gap materials. Our results demonstrate that the temperature-field (T-H) phase boundary follows a power-law (T-T_{N})propotional to H^(1/alpha) with the exponent 1/alpha close to 2/3, as predicted for BEC scenario. The observation of BEC of triplon excitations in small H infers that K2Ni2(MoO4)3 is located in the proximity of a quantum critical point, which separates the magnetically ordered and spin-gap regions of the phase diagram.


title: Stabilizing Adversarial Nets With Prediction Methods

abstract: Adversarial neural networks solve many important problems in data science, but are notoriously difficult to train. These difficulties come from the fact that optimal weights for adversarial nets correspond to saddle points, and not minimizers, of the loss function. The alternating stochastic gradient methods typically used for such problems do not reliably converge to saddle points, and when convergence does happen it is often highly sensitive to learning rates. We propose a simple modification of stochastic gradient descent that stabilizes adversarial networks. We show, both in theory and practice, that the proposed method reliably converges to saddle points, and is stable with a wider range of training parameters than a non-prediction method. This makes adversarial networks less likely to "collapse," and enables faster training with larger learning rates.


title: Dynamical quasitilings of amenable group

abstract: We prove that for any compact zero-dimensional metric space $X$ on which an infinite countable amenable group $G$ acts freely by homeomorphisms, there exists a dynamical quasitiling with good covering, continuity, F{\o}lner and dynamical properties, i.e to every $x\in X$ we can assign a quasitiling $\mathcal{T}_x$ of $G$ (with all the $\mathcal{T}_x$ using the same, finite set of shapes) such that the tiles of $\mathcal{T}_x$ are disjoint, their union has arbitrarily high lower Banach Density, all the shapes of $\mathcal{T}_x$ are large subsets of an arbitrarily large F{\o}lner set, and if we consider $\mathcal{T}_x$ to be an element of a shift space over a certain finite alphabet, then the mapping $x\mapsto \mathcal{T}_x$ is a factor map.


title: Forward Thinking: Building Deep Random Forests

abstract: The success of deep neural networks has inspired many to wonder whether other learners could benefit from deep, layered architectures. We present a general framework called forward thinking for deep learning that generalizes the architectural flexibility and sophistication of deep neural networks while also allowing for (i) different types of learning functions in the network, other than neurons, and (ii) the ability to adaptively deepen the network as needed to improve results. This is done by training one layer at a time, and once a layer is trained, the input data are mapped forward through the layer to create a new learning problem. The process is then repeated, transforming the data through multiple layers, one at a time, rendering a new dataset, which is expected to be better behaved, and on which a final output layer can achieve good performance. In the case where the neurons of deep neural nets are replaced with decision trees, we call the result a Forward Thinking Deep Random Forest (FTDRF). We demonstrate a proof of concept by applying FTDRF on the MNIST dataset. We also provide a general mathematical formulation that allows for other types of deep learning problems to be considered.


title: Tuning Feshbach resonance in cold atomic gases with inter-channel coupling

abstract: We show that the essential properties of a Feshbach resonance in cold atomic gases can be tuned by dressing the atomic states in different scattering channels through inter-channel couplings. Such a scheme can be readily implemented in the orbital Feshbach resonance of alkaline-earth-like atoms by coupling hyperfine states in the clock-state manifolds. Using $^{173}$Yb atoms as an example, we find that both the resonance position and the two-body bound-state energy depend sensitively on the inter-channel coupling strength, which offers control parameters in tuning the inter-atomic interactions. We also demonstrate the dramatic impact of the dressed Feshbach resonance on many-body processes such as the polaron to molecule transition and the BCS-BEC crossover.