title: On the optimality of threshold type strategies in single and recursive optimal stopping under L\'evy models

abstract: In the spirit of [Surya07'], we develop an average problem approach to prove the optimality of threshold type strategies for optimal stopping of L\'evy models with a continuous additive functional (CAF) discounting. Under spectrally negative models, we specialize this in terms of conditions on the reward function and random discounting, where we present two examples of local time and occupation time discounting. We then apply this approach to recursive optimal stopping problems, and present simpler and neater proofs for a number of important results on qualitative properties of the optimal thresholds, which are only known under a few special cases.


title: $(an+b)$-color compositions

abstract: For $a,b\in\mathbb{N}_0$, we consider $(an+b)$-color compositions of a positive integer $\nu$ for which each part of size $n$ admits $an+b$ colors. We study these compositions from the enumerative point of view and give a formula for the number of $(an+b)$-color compositions of $\nu$ with $k$ parts. Our formula is obtained in two different ways: 1) by means of algebraic properties of partial Bell polynomials, and 2) through a bijection to a certain family of weak compositions that we call domino compositions. We also discuss two cases when $b$ is negative and give corresponding combinatorial interpretations.


title: Block Approximation of Tall Sparse Matrices and Block-Givens Rotations

abstract: Estimation of top singular values is one of the widely used techniques and one of the intensively researched problems in Numerical Linear Algebra and Data Science. We consider here two general questions related to this problem: How top singular values are affected by zeroing out a sparse rectangular block of a matrix? How much top singular values differ from top column norms of a tall sparse non-negative matrix ?


title: Engel groups and universal surgery models

abstract: We introduce a collection of 1/2-$\pi_1$-null 4-dimensional surgery problems. This is an intermediate notion between the classically studied universal surgery models and the $\pi_1$-null kernels which are known to admit a solution in the topological category. Using geometric applications of the group-theoretic 2-Engel relation, we show that the 1/2-$\pi_1$-null surgery problems are universal, in the sense that solving them is equivalent to establishing 4-dimensional topological surgery for all fundamental groups. As another application of these methods, we formulate a weaker version of the $\pi_1$-null disk lemma and show that it is sufficient for proofs of topological surgery and s-cobordism theorems for good groups.


title: Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context

abstract: In several critical military missions, more than one decision level are involved. These decision levels are often independent and distributed, and sensitive pieces of information making up the military mission must be kept hidden from one level to another even if all of the decision levels cooperate to accomplish the same task. Usually, a mission is negotiated through insecure networks such as the Internet using cryptographic protocols. In such protocols, few security properties have to be ensured. However, designing a secure cryptographic protocol that ensures several properties at once is a very challenging task. In this paper, we propose a new secure protocol for multipart military missions that involve two independent and distributed decision levels having different security levels. We show that it ensures the secrecy, authentication, and non-repudiation properties. In addition, we show that it resists against man-in-the-middle attacks.


title: Twists of quantum Borel algebras

abstract: We classify Drinfeld twists for the quantum Borel subalgebra u_q(b) in the Frobenius-Lusztig kernel u_q(g), where g is a simple Lie algebra over C and q an odd root of unity. More specifically, we show that alternating forms on the character group of the group of grouplikes for u_q(b) generate all twists for u_q(b), under a certain algebraic group action. This implies a simple classification of Hopf algebras whose categories of representations are tensor equivalent to that of u_q(b). We also show that cocycle twists for the corresponding De Concini-Kac algebra are in bijection with alternating forms on the aforementioned character group.


title: Computing low-rank approximations of large-scale matrices with the Tensor Network randomized SVD

abstract: We propose a new algorithm for the computation of a singular value decomposition (SVD) low-rank approximation of a matrix in the Matrix Product Operator (MPO) format, also called the Tensor Train Matrix format. Our tensor network randomized SVD (TNrSVD) algorithm is an MPO implementation of the randomized SVD algorithm that is able to compute dominant singular values and their corresponding singular vectors. In contrast to the state-of-the-art tensor-based alternating least squares SVD (ALS-SVD) and modified alternating least squares SVD (MALS-SVD) matrix approximation methods, TNrSVD can be up to 17 times faster while achieving the same accuracy. In addition, our TNrSVD algorithm also produces accurate approximations in particular cases where both ALS-SVD and MALS-SVD fail to converge. We also propose a new algorithm for the fast conversion of a sparse matrix into its corresponding MPO form, which is up to 509 times faster than the standard Tensor Train SVD (TT-SVD) method while achieving machine precision accuracy. The efficiency and accuracy of both algorithms are demonstrated in numerical experiments.


title: Exploring the Effectiveness of Convolutional Neural Networks for Answer Selection in End-to-End Question Answering

abstract: Most work on natural language question answering today focuses on answer selection: given a candidate list of sentences, determine which contains the answer. Although important, answer selection is only one stage in a standard end-to-end question answering pipeline. This paper explores the effectiveness of convolutional neural networks (CNNs) for answer selection in an end-to-end context using the standard TrecQA dataset. We observe that a simple idf-weighted word overlap algorithm forms a very strong baseline, and that despite substantial efforts by the community in applying deep learning to tackle answer selection, the gains are modest at best on this dataset. Furthermore, it is unclear if a CNN is more effective than the baseline in an end-to-end context based on standard retrieval metrics. To further explore this finding, we conducted a manual user evaluation, which confirms that answers from the CNN are detectably better than those from idf-weighted word overlap. This result suggests that users are sensitive to relatively small differences in answer selection quality.


title: On injectors of Hartley set of a finite group

abstract: Let G be a group and H be a Hartley set of G. In this paper, we prove the existence and conjugacy of H-injectors of G and describe the structure of the injectors. As application, some known results are directly followed.


title: Macro Grammars and Holistic Triggering for Efficient Semantic Parsing

abstract: To learn a semantic parser from denotations, a learning algorithm must search over a combinatorially large space of logical forms for ones consistent with the annotated denotations. We propose a new online learning algorithm that searches faster as training progresses. The two key ideas are using macro grammars to cache the abstract patterns of useful logical forms found thus far, and holistic triggering to efficiently retrieve the most relevant patterns based on sentence similarity. On the WikiTableQuestions dataset, we first expand the search space of an existing model to improve the state-of-the-art accuracy from 38.7% to 42.7%, and then use macro grammars and holistic triggering to achieve an 11x speedup and an accuracy of 43.7%.


title: On the universality of the incompressible Euler equation on compact manifolds

abstract: The incompressible Euler equations on a compact Riemannian manifold $(M,g)$ take the form \begin{align*} \partial_t u + \nabla_u u &= - \mathrm{grad}_g p \mathrm{div}_g u &= 0. \end{align*} We show that any quadratic ODE $\partial_t y = B(y,y)$, where $B : {\bf R}^n \times {\bf R}^n \to {\bf R}^n$ is a symmetric bilinear map, can be linearly embedded into the incompressible Euler equations for some manifold $M$ if and only if $B$ obeys the cancellation condition $\langle B(y,y), y \rangle = 0$ for some positive definite inner product $\langle,\rangle$ on $ {\bf R}^n$. This allows one to construct explicit solutions to the Euler equations with various dynamical features, such as quasiperiodic solutions, or solutions that transition from one steady state to another, and provides evidence for the "Turing universality" of such Euler flows.


title: On the Waring-Goldbach Problem for One Square and Five Cubes

abstract: Let $\mathcal{P}_r$ denote an almost-prime with at most $r$ prime factors, counted according to multiplicity. In this paper, it is proved that for every sufficiently large even integer $N$, the equation \begin{equation*} N=x^2+p_1^3+p_2^3+p_3^3+p_4^3+p_5^3 \end{equation*} is solvable with $x$ being an almost-prime $\mathcal{P}_6$ and the other variables primes. This result constitutes an improvement upon that of Cai, who obtained the same conclusion, but with $\mathcal{P}_{36}$ in place of $\mathcal{P}_6$.


title: Asymptotics of Pattern Avoidance in the Klazar Set Partition and Permutation-Tuple Settings

abstract: We consider asymptotics of set partition pattern avoidance in the sense of Klazar. Our main result derives the asymptotics of the number of set partitions avoiding a given set partition within an exponential factor, which leads to a classification of possible growth rates of set partition pattern classes. We further define a notion of permutation-tuple avoidance, which generalizes notions of Aldred et al. and the usual permutation pattern setting, and similarly determine the number of permutation-tuples avoiding a given tuple to within an exponential factor.


title: Asymptotic lower bound for the radius of spatial analtyicity to solutions of KdV equation

abstract: It is shown that the uniform radius of spatial analyticity $\sigma(t)$ of solutions at time $t$ to the KdV equation cannot decay faster than $|t|^{-4/3}$ as $|t| \to \infty$ given initial data that is analytic with fixed radius $\sigma_0$. This improves a recent result of Selberg and Da Silva, where they proved a decay rate of $|t|^{-(4/3 + \varepsilon) }$ for arbitrarily small positive $\varepsilon$. The main ingredients in the proof are almost conservation law for the solution to the KdV equation in space of analytic functions and space-time dyadic bilinear $L^2$ estimates associated with the KdV equation.


title: A Framework for Wireless Broadband Network for Connecting the Unconnected

abstract: A significant barrier in providing affordable rural broadband is to connect the rural and remote places to the optical Point of Presence (PoP) over distances of few kilometers. A lot of work has been done in the area of long distance Wi-Fi networks. However, these networks require tall towers and high gain (directional) antennas. Also, they work in the unlicensed band which has Effective Isotropically Radiated Power (EIRP) limit (e.g. 1 W in India) which restricts the network design. In this work, we propose a Long Term Evolution-Advanced (LTE-A) network operating in TV UHF to connect the remote areas to the optical PoP. In India, around 100 MHz of TV UHF band IV (470-585 MHz) is unused at any location and can be put to an effective use in these areas. We explore the idea of multi-hop topology for the proposed network. We also compare the performance of the multi-hop network with the Point to Multipoint (PMP) topology. The results show that multi-hop network performs much better than the PMP network. We then formulate a Linear Programming (LP) problem of generating optimal topology and compare its performance with the multi-hop network. Overall, the analysis implies that an optimally planned LTE-A network in TV UHF band can be a potential solution for affordable rural broadband.


title: The Alexander polynomial at prime powers

abstract: When $K$ is a knot and $p \gg 0$ is a prime, we discuss a finite set whose cardinality is $\Delta_K(p^n)$, the value of the Alexander polynomial of $K$ at $p^n$.


title: Corroborative evidences of TVgamma-scaling of the alpha-relaxation originating from the primitive relaxation/JG beta relaxation

abstract: Successful thermodynamic scaling of the structural alpha-relaxation time or transport coefficients of glass-forming liquids determined at various temperatures T and pressures P means the data conform to a single function of the product variable TVgamma, where V is the specific volume and gamma is a material specific constant. In the past two decades we have witnessed successful TVgamma-scaling in many molecular, polymeric, and even metallic glass-formers, and gamma is related to the slope of the repulsive part of the intermolecular potential. The advances made indicate TVgamma-scaling is an important aspect of the dynamic and thermodynamic properties of glass-formers. In this paper we show the origin of TVgamma-scaling is not from the structural alpha-relaxation time. Instead it comes from its precursor, the Johari-Goldstein beta-relaxation or the primitive relaxation of the Coupling Model and their relaxation times or tau_0 respectively. It is remarkable that all relaxation times are functions of TVgamma with the same gama, as well as the fractional exponent of the Kohlrausch correlation function of the structural alpha-relaxation. We arrive at this conclusion convincingly based on corroborative evidences from a number of experiments and molecular dynamics simulations performed on a wide variety of glass-formers and in conjunction with consistency with the predictions of the Coupling Model.


title: Memory-assisted quantum key distribution resilient against multiple-excitation effects

abstract: Memory-assisted quantum key distribution (MA-QKD) has recently been proposed as a technique to improve the rate-versus-distance behavior of QKD systems by using existing, or nearly-achievable, quantum technologies. The promise is that MA-QKD would require less demanding quantum memories than the ones needed for probabilistic quantum repeaters. Nevertheless, early investigations suggest that, in order to beat the conventional no-memory QKD schemes, the quantum memories used in the MA-QKD protocols must have high bandwidth-storage products and short interaction times. Among different types of quantum memories, ensemble-based memories offer some of the required specifications, but they typically suffer from multiple excitation effects. To avoid the latter issue, in this paper, we propose two new variants of MA-QKD both relying on single-photon sources (SPSs) for entangling purposes. One is based on known techniques for entanglement distribution in quantum repeaters. This scheme turns out to offer no advantage even if one uses ideal SPSs. By finding the root cause of the problem, we then propose another setup, which can outperform single no-QM setups even if we allow for some imperfections in our SPSs. For such a scheme, we compare the key rate for different types of ensemble-based memories and show that certain classes of atomic ensembles can improve the rate-versus-distance behavior.


title: Graph-Theoretic Spatiotemporal Context Modeling for Video Saliency Detection

abstract: As an important and challenging problem in computer vision, video saliency detection is typically cast as a spatiotemporal context modeling problem over consecutive frames. As a result, a key issue in video saliency detection is how to effectively capture the intrinsical properties of atomic video structures as well as their associated contextual interactions along the spatial and temporal dimensions. Motivated by this observation, we propose a graph-theoretic video saliency detection approach based on adaptive video structure discovery, which is carried out within a spatiotemporal atomic graph. Through graph-based manifold propagation, the proposed approach is capable of effectively modeling the semantically contextual interactions among atomic video structures for saliency detection while preserving spatial smoothness and temporal consistency. Experiments demonstrate the effectiveness of the proposed approach over several benchmark datasets.


title: Small-Scale, Local Area, and Transitional Millimeter Wave Propagation for 5G Communications

abstract: This paper studies radio propagation mechanisms that impact handoffs, air interface design, beam steering, and MIMO for 5G mobile communication systems. Knife edge diffraction (KED) and a creeping wave linear model are shown to predict diffraction loss around typical building objects from 10 to 26 GHz, and human blockage measurements at 73 GHz are shown to fit a double knife-edge diffraction (DKED) model which incorporates antenna gains. Small-scale spatial fading of millimeter wave received signal voltage amplitude is generally Ricean-distributed for both omnidirectional and directional receive antenna patterns under both line-of-sight (LOS) and non-line-of-sight (NLOS) conditions in most cases, although the log-normal distribution fits measured data better for the omnidirectional receive antenna pattern in the NLOS environment. Small-scale spatial autocorrelations of received voltage amplitudes are shown to fit sinusoidal exponential and exponential functions for LOS and NLOS environments, respectively, with small decorrelation distances of 0.27 cm to 13.6 cm (smaller than the size of a handset) that are favorable for spatial multiplexing. Local area measurements using cluster and route scenarios show how the received signal changes as the mobile moves and transitions from LOS to NLOS locations, with reasonably stationary signal levels within clusters. Wideband mmWave power levels are shown to fade from 0.4 dB/ms to 40 dB/s, depending on travel speed and surroundings.


title: Rigidity Theorems for Multiplicative Functions

abstract: We establish several results concerning the expected general phenomenon that, given a multiplicative function $f:\mathbb{N}\to\mathbb{C}$, the values of $f(n)$ and $f(n+a)$ are "generally" independent unless $f$ is of a "special" form. First, we classify all bounded completely multiplicative functions having uniformly large gaps between its consecutive values. This implies the solution of the following folklore conjecture: for any completely multiplicative function $f:\mathbb{N}\to\mathbb{T}$ we have $$\liminf_{n\to\infty}|f(n+1)-f(n)|=0.$$ Second, we settle an old conjecture due to N.G. Chudakov [Actes du ICM ({N}ice, 1970), {T}. 1, p. 487] that states that any completely multiplicative function $f:\mathbb{N}\to\mathbb{C}$ that: a) takes only finitely many values, b) vanishes at only finitely many primes, and c) has bounded discrepancy, is a Dirichlet character. This generalizes previous work of Tao on the Erd\H{o}s Discrepancy Problem. Finally, we show that if many of the binary correlations of a 1-bounded multiplicative function are asymptotically equal to those of a Dirichlet character $\chi$ mod $q$ then $f(n) = \chi'(n)n^{it}$ for all $n$, where $\chi'$ is a Dirichlet character modulo $q$ and $t \in \mathbb{R}$. This establishes a variant of a conjecture of H. Cohn for multiplicative arithmetic functions. The main ingredients include the work of Tao on logarithmic Elliott conjecture, correlation formulas for \emph{pretentious} multiplicative functions developed earlier by the first author and Szemeredi's theorem for long arithmetic progressions.


title: Arcs on spheres intersecting at most twice

abstract: Let p be a puncture of a punctured sphere, and let Q be the set of all other punctures. We prove that the maximal cardinality of a set of arcs pairwise intersecting at most once, which start at p and end in Q, is |X|(|X| + 1). We deduce that the maximal cardinality of a set of arcs with arbitrary endpoints pairwise intersecting at most twice is |X|(|X| + 1)(|X| + 2).


title: Detecting Semantic Parts on Partially Occluded Objects

abstract: In this paper, we address the task of detecting semantic parts on partially occluded objects. We consider a scenario where the model is trained using non-occluded images but tested on occluded images. The motivation is that there are infinite number of occlusion patterns in real world, which cannot be fully covered in the training data. So the models should be inherently robust and adaptive to occlusions instead of fitting / learning the occlusion patterns in the training data. Our approach detects semantic parts by accumulating the confidence of local visual cues. Specifically, the method uses a simple voting method, based on log-likelihood ratio tests and spatial constraints, to combine the evidence of local cues. These cues are called visual concepts, which are derived by clustering the internal states of deep networks. We evaluate our voting scheme on the VehicleSemanticPart dataset with dense part annotations. We randomly place two, three or four irrelevant objects onto the target object to generate testing images with various occlusions. Experiments show that our algorithm outperforms several competitors in semantic part detection when occlusions are present.


title: Nonlinear Choquard equations: doubly critical case

abstract: Consider nonlinear Choquard equations \begin{equation*} \left\{\begin{array}{rcl} -\Delta u +u & = &(I_\alpha*F(u))F'(u) \quad \text{in } \mathbb{R}^N, \\ \lim_{x \to \infty}u(x) & = &0, \end{array}\right. \end{equation*} where $I_\alpha$ denotes Riesz potential and $\alpha \in (0, N)$. In this paper, we show that when $F$ is doubly critical, i.e. $F(u) = \frac{N}{N+\alpha}|u|^{\frac{N+\alpha}{N}}+\frac{N-2}{N+\alpha}|u|^{\frac{N+\alpha}{N-2}}$, the nonlinear Choquard equation admits a nontrivial solution if $N \geq 5$ and $\alpha + 4 < N$.


title: Concept Drift Detection and Adaptation with Hierarchical Hypothesis Testing

abstract: A fundamental issue for statistical classification models in a streaming environment is that the joint distribution between predictor and response variables changes over time (a phenomenon also known as concept drifts), such that their classification performance deteriorates dramatically. In this paper, we first present a hierarchical hypothesis testing (HHT) framework that can detect and also adapt to various concept drift types (e.g., recurrent or irregular, gradual or abrupt), even in the presence of imbalanced data labels. A novel concept drift detector, namely Hierarchical Linear Four Rates (HLFR), is implemented under the HHT framework thereafter. By substituting a widely-acknowledged retraining scheme with an adaptive training strategy, we further demonstrate that the concept drift adaptation capability of HLFR can be significantly boosted. The theoretical analysis on the Type-I and Type-II errors of HLFR is also performed. Experiments on both simulated and real-world datasets illustrate that our methods outperform state-of-the-art methods in terms of detection precision, detection delay as well as the adaptability across different concept drift types.


title: Uniqueness for Measure-Valued Equations of Nonlinear Filtering for Stochastic Dynamical Systems with L\'evy Noises

abstract: In the article, Zakai and Kushner-Stratonovich equations of the nonlinear filtering problem for a non-Gaussian signal-observation system are considered. Moreover, we prove that under some general assumption, the Zakai equation has pathwise uniqueness and uniqueness in joint law, and the Kushner-Stratonovich equation is unique in joint law.


title: Mathematical Model for Detection of Leakage in Domestic Water Supply Systems by Reading Consumption from an Analogue Water Meter

abstract: In this article we introduce the principles to detect leakage using a mathematical model based on machine learning and domestic water consumption monitoring in real time. The model uses data which is measured from a water meter, analyzes the water consumption, and uses two criteria simultaneously: deviation from the average consumption, and comparison of steady water consumptions over a period of time. Simulation of the model on a regular household consumer was implemented on Antileaks - device that we have built that designed to transfer consumption information from an analogue water meter to a digital form in real time.


title: Convergence of Nonlinear Filtering for Stochastic Dynamical Systems with L\'evy Noises

abstract: We consider a nonlinear filtering problem of multiscale non-Gaussian signal processes and observation processes with jumps. Firstly, we prove that the dimension for the signal system can be reduced by a homogenized approach. Secondly, convergence of the corresponding nonlinear filtering to the homogenized filtering is shown by a weak convergence technique. Finally, we give an example to explain our result.


title: Multiple-Kernel Local-Patch Descriptor

abstract: We propose a multiple-kernel local-patch descriptor based on efficient match kernels of patch gradients. It combines two parametrizations of gradient position and direction, each parametrization provides robustness to a different type of patch miss-registration: polar parametrization for noise in the patch dominant orientation detection, Cartesian for imprecise location of the feature point. Even though handcrafted, the proposed method consistently outperforms the state-of-the-art methods on two local patch benchmarks.


title: Frustrated spin-1/2 ladder with ferro- and antiferromagnetic legs

abstract: Two-leg spin-1/2 ladder systems consisting of a ferromagnetic leg and an antiferromagnetic leg are considered where the spins on the legs interact through antiferromagnetic rung couplings $J_1$. These ladders can have two geometrical arrangements either zigzag or normal ladder and these systems are frustrated irrespective of their geometry. This frustration gives rise to incommensurate spin density wave, dimer and spin fluid phases in the ground state. The magnetization in the systems decreases linearly with $J^2_1$, and the systems show an incommensurate phase for $0.0<J_1<1.0$. The spin-spin correlation functions in the incommensurate phase follow power law decay which is very similar to Heisenberg antiferromagnetic chain in external magnetic field. In large $J_1$ limit, the normal ladder behaves like a collection of singlet dimers, whereas the zigzag ladder behaves as a one dimensional spin-1/2 antiferromagnetic chain.


title: Stationary Solutions of Neutral Stochastic Partial Differential Equations with Delays in the Highest-Order Derivatives

abstract: In this work, we shall consider the existence and uniqueness of stationary solutions to stochastic partial functional differential equations with additive noise in which a neutral type of delay is explicitly presented. We are especially concerned about those delays appearing in both spatial and temporal derivative terms in which the coefficient operator under spatial variables may take the same form as the infinitesimal generator of the equation. We establish the stationary property of the neutral system under investigation by focusing on distributed delays. In the end, an illustrative example is analysed to explain the theory in this work.


title: On the path-independence of the Girsanov transformation for stochastic evolution equations with jumps in Hilbert spaces

abstract: Based on a recent result on characterising the path-independence of the Girsanov transformation for non-Lipschnitz stochastic differential equations (SDEs) with jumps on $R^d$, in this paper, we extend our consideration of characterising the path-indpendent property from finite-dimensional SDEs with jumps to stochastic evolution equations with jumps in Hilbert spaces. This is done via Galerkin type finite-dimensional approximations of the infinite-dimensional stochastic evolution equations with jumps in the manner that one could then link the characterisation of the path-independence for finite-dimensional jump type SDEs to that for the infinite-dimensional settings. Our result provides an intrinsic link of infinite-dimensional stochastic evolution equations with jumps to infinite-dimensional partial integro-differential equations.


title: Asymptotic expansion for solutions of the Navier-Stokes equations with non-potential body forces

abstract: We study the long-time behavior of spatially periodic solutions of the Navier-Stokes equations in the three-dimensional space. The body force is assumed to possess an asymptotic expansion or, resp., finite asymptotic approximation, in either Sobolev or Gevrey spaces, as time tends to infinity, in terms of polynomial and decaying exponential functions of time. We establish an asymptotic expansion, or resp., finite asymptotic approximation, of the same type for the Leray-Hopf weak solutions. This extends the previous results, obtained in the case of potential forces, to the non-potential force case, where the body force may have different levels of regularity and asymptotic approximation. In fact, our analysis identifies precisely how the structure of the force influences the asymptotic behavior of the solutions.


title: Improving Robustness of Feature Representations to Image Deformations using Powered Convolution in CNNs

abstract: In this work, we address the problem of improvement of robustness of feature representations learned using convolutional neural networks (CNNs) to image deformation. We argue that higher moment statistics of feature distributions could be shifted due to image deformations, and the shift leads to degrade of performance and cannot be reduced by ordinary normalization methods as observed in experimental analyses. In order to attenuate this effect, we apply additional non-linearity in CNNs by combining power functions with learnable parameters into convolution operation. In the experiments, we observe that CNNs which employ the proposed method obtain remarkable boost in both the generalization performance and the robustness under various types of deformations using large scale benchmark datasets. For instance, a model equipped with the proposed method obtains 3.3\% performance boost in mAP on Pascal Voc object detection task using deformed images, compared to the reference model, while both models provide the same performance using original images. To the best of our knowledge, this is the first work that studies robustness of deep features learned using CNNs to a wide range of deformations for object recognition and detection.


title: Linear Discriminant Generative Adversarial Networks

abstract: We develop a novel method for training of GANs for unsupervised and class conditional generation of images, called Linear Discriminant GAN (LD-GAN). The discriminator of an LD-GAN is trained to maximize the linear separability between distributions of hidden representations of generated and targeted samples, while the generator is updated based on the decision hyper-planes computed by performing LDA over the hidden representations. LD-GAN provides a concrete metric of separation capacity for the discriminator, and we experimentally show that it is possible to stabilize the training of LD-GAN simply by calibrating the update frequencies between generators and discriminators in the unsupervised case, without employment of normalization methods and constraints on weights. In the class conditional generation tasks, the proposed method shows improved training stability together with better generalization performance compared to WGAN that employs an auxiliary classifier.


title: Transcription factor target site search and gene regulation in a background of unspecific binding sites

abstract: Response time and transcription level are vital parameters of gene regulation. They depend on how fast transcription factors (TFs) find and how efficient they occupy their specific target sites. It is well known that target site search is accelerated by TF binding to and sliding along unspecific DNA and that unspecific associations alter the occupation frequency of a gene. However, whether target site search time and occupation frequency can be optimized simultaneously is mostly unclear. We developed a transparent and intuitively accessible state-based formalism to calculate search times to target sites on and occupation frequencies of promoters of arbitrary state structure. Our formalism is based on dissociation rate constants experimentally accessible in live cell experiments. To demonstrate our approach, we consider promoters activated by a single TF, by two coactivators or in the presence of a competitive inhibitor. We find that target site search time and promoter occupancy differentially vary with the unspecific dissociation rate constant. Both parameters can be harmonized by adjusting the specific dissociation rate constant of the TF. However, while measured DNA residence times of various eukaryotic TFs correspond to a fast search time, the occupation frequencies of target sites are generally low. Cells might tolerate low target site occupancies as they enable timely gene regulation in response to a changing environment.


title: ssEMnet: Serial-section Electron Microscopy Image Registration using a Spatial Transformer Network with Learned Features

abstract: The alignment of serial-section electron microscopy (ssEM) images is critical for efforts in neuroscience that seek to reconstruct neuronal circuits. However, each ssEM plane contains densely packed structures that vary from one section to the next, which makes matching features across images a challenge. Advances in deep learning has resulted in unprecedented performance in similar computer vision problems, but to our knowledge, they have not been successfully applied to ssEM image co-registration. In this paper, we introduce a novel deep network model that combines a spatial transformer for image deformation and a convolutional autoencoder for unsupervised feature learning for robust ssEM image alignment. This results in improved accuracy and robustness while requiring substantially less user intervention than conventional methods. We evaluate our method by comparing registration quality across several datasets.


title: Coupling and a generalised Policy Iteration Algorithm in continuous time

abstract: We analyse a version of the policy iteration algorithm for the discounted infinite-horizon problem for controlled multidimensional diffusion processes, where both the drift and the diffusion coefficient can be controlled. We prove that, under assumptions on the problem data, the payoffs generated by the algorithm converge monotonically to the value function and an accumulation point of the sequence of policies is an optimal policy. The algorithm is stated and analysed in continuous time and state, with discretisation featuring neither in theorems nor the proofs. A key technical tool used to show that the algorithm is well-defined is the mirror coupling of Lindvall and Rogers.


title: Towards Semantic Query Segmentation

abstract: Query Segmentation is one of the critical components for understanding users' search intent in Information Retrieval tasks. It involves grouping tokens in the search query into meaningful phrases which help downstream tasks like search relevance and query understanding. In this paper, we propose a novel approach to segment user queries using distributed query embeddings. Our key contribution is a supervised approach to the segmentation task using low-dimensional feature vectors for queries, getting rid of traditional hand tuned and heuristic NLP features which are quite expensive. We benchmark on a 50,000 human-annotated web search engine query corpus achieving comparable accuracy to state-of-the-art techniques. The advantage of our technique is its fast and does not use external knowledge-base like Wikipedia for score boosting. This helps us generalize our approach to other domains like eCommerce without any fine-tuning. We demonstrate the effectiveness of this method on another 50,000 human-annotated eCommerce query corpus from eBay search logs. Our approach is easy to implement and generalizes well across different search domains proving the power of low-dimensional embeddings in query segmentation task, opening up a new direction of research for this problem.


title: The invariant subspace problem for rank one perturbations

abstract: We show that for any bounded operator $T$ acting on an infinite dimensional Banach space there exists an operator $F$ of rank at most one such that $T+F$ has an invariant subspace of infinite dimension and codimension. We also show that whenever the boundary of the spectrum of $T$ or $T^*$ does not consist entirely of eigenvalues, we can find such rank one perturbations that have arbitrarily small norm. When this spectral condition is not satisfied, we can still find suitable finite rank perturbations of arbitrarily small norm, but not necessarily of rank one.


title: Overcomplete quantum tomography of a path-entangled two-photon state

abstract: Path-entangled N-photon states can be obtained through the coalescence of indistinguishable photons inside linear networks. They are key resources for quantum enhanced metrology, quantum imaging, as well as quantum computation based on quantum walks. However, the quantum tomography of path-entangled indistinguishable photons is still in its infancy as it requires multiple phase estimations increasing rapidly with N. Here, we propose and implement a method to measure the quantum tomography of path-entangled two-photon states. A two-photon state is generated through the Hong-Ou-Mandel interference of highly indistinguishable single photons emitted by a semiconductor quantum dot-cavity device. To access both the populations and the coherences of the path-encoded density matrix, we introduce an ancilla spatial mode and perform photon correlations as a function of a single phase in a split Mach-Zehnder interferometer. We discuss the accuracy of standard quantum tomography techniques and show that an overcomplete data set can reveal spatial coherences that could be otherwise hidden due to limited or noisy statistics. Finally, we extend our analysis to extract the truly indistinguishable part of the density matrix, which allows us to identify the main origin for the imperfect fidelity to the maximally entangled state.


title: Controlling phase diagram of finite spin-$1/2$ chains by tuning boundary interactions

abstract: Searching for simple models that possess non-trivial controlling properties is one of the central tasks in the field of quantum technologies. In this work, we construct a quantum spin-$1/2$ chain of finite size, termed as controllable spin wire (CSW), in which we have $\hat{S}^{z} \hat{S}^{z}$ (Ising) interactions with a transverse field in the bulk, and $\hat{S}^{x} \hat{S}^{z}$ and $\hat{S}^{z} \hat{S}^{z}$ couplings with a canted field on the boundaries. The Hamiltonians on the boundaries, dubbed as tuning Hamiltonians (TH's), bear the same form as the effective Hamiltonians emerging in the so-called `quantum entanglement simulator' that is originally proposed for mimicking infinite models. We show that tuning the TH's (parametrized by $\alpha$) can trigger non-trivial controlling of the bulk properties, including the degeneracy of energy/entanglement spectra, and the response to the magnetic field $h_{bulk}$ in the bulk. A universal point dubbed as $\alpha^s$ emerges. For $\alpha > \alpha^s$, the ground-state diagram versus $h_{bulk}$ consists of three `phases', which are Ne\'eL and polarized phases, and an emergent pseudo-magnet phase, distinguished by entanglement and magnetization. For $\alpha < \alpha^s$, the phase diagram changes completely, with no step-like behaviors to distinguish phases. Due to its controlling properties and simplicity, the CSW could potentially serve in future the experiments for developing quantum devices.


title: Temperature-dependent evolutions of excitonic superfluid plasma frequency in a srong excitonic insulator candidate, Ta$_2$NiSe$_5$

abstract: We investigate an interesting anisotropic van der Waals material, Ta$_{2}$NiSe$_{5}$, using optical spectroscopy. Ta$_{2}$NiSe$_{5}$ has been known as one of the few excitonic insulators proposed over 50 years ago. Ta$_{2}$NiSe$_{5}$ has quasi-one dimensional chains along the $a$-axis. We have obtained anisotropic optical properties of a single crystal Ta$_{2}$NiSe$_{5}$ along the $a$- and $c$-axes. The measured $a$- and $c$-axis optical conductivities exhibit large anisotropic electronic and phononic properties. With regard to the $a$-axis optical conductivity, a sharp peak near 3050 cm$^{-1}$ at 9 K, with a well-defined optical gap ($\Delta^{EI} \simeq$ 1800 cm$^{-1}$) and a strong temperature-dependence, is observed. With an increase in temperature, this peak broadens and the optical energy gap closes around $\sim$325 K($T_c^{EI}$). The spectral weight redistribution with respect to the frequency and temperature indicates that the normalized optical energy gap ($\Delta^{EI}(T)/\Delta^{EI}(0)$) is $1-(T/T_c^{EI})^2$. The temperature-dependent superfluid plasma frequency of the excitonic condensation in Ta$_{2}$NiSe$_{5}$ has been determined from measured optical data. Our findings may be useful for future research on excitonic insulators.


title: Entanglement and edge effects in superpositions of many-body Fock states with spatial constraints

abstract: We investigate how entangled states can be created by considering collections of point-particles arranged at different spatial configurations, i.e., Fock states with spatial constraints. This type of states can be realized in Hubbard chains of spinless hard-core bosons, at different fillings, which have gapped energy spectrum with a highly degenerate ground state. We calculate the bipartite entanglement entropy for superpositions of such Fock states and show that their entanglement can be controlled via the spatial freedom of the particles, determined by the system filling. In addition we study the effect of confinement/boundary conditions on the Fock states and show that edge modes appear at the ends of the system, when open boundary conditions are considered. Our result is an example of entangled many-body states in 1D systems of strongly interacting particles, without requiring the spin, long-range microscopic interactions or external fields. Instead, the entanglement can be tuned by the empty space in the system, which determines the spatial freedom of the interacting particles.


title: Non-equilibrium nuclear spin distribution function in quantum dots subject to periodic pulses

abstract: Electron spin dephasing in a singly charged semiconductor quantum dot can partially be suppressed by periodic laser pulsing. We propose a semi-classical approach describing the decoherence of the electron spin polarization governed by the hyperfine interaction with the nuclear spins as well as the probabilistic nature of the photon absorption. We use the steady-state Floquet condition to analytically derive two subclasses of resonance conditions excellently predicting the peak locations in the part of the Overhauser field distribution which is projected in the direction of the external magnetic field. As a consequence of the periodic pulsing, a non-equilibrium distribution develops as a function of time. The numerical simulation of the coupled dynamics reveals the influence of the hyperfine coupling constant distribution onto the evolution of the electron spin polarisation before the next laser pulse. Experimental indications are provided for both subclasses of resonance conditions.


title: Self-consistent theory for the linear and nonlinear propagation of a sinusoidal electron plasma wave. Application to stimulated Raman scattering in a non-uniform and non-stationary plasma

abstract: In this paper, we address the theoretical resolution of the Vlasov-Gauss system from the linear regime to the strongly nonlinear one, when significant trapping has occurred. The electric field is that of a sinusoidal electron plasma wave (EPW) which is assumed to grow from the noise level, and to keep growing at least up to the amplitude when linear theory in no longer valid (while the wave evolution in the nonlinear regime may be arbitrary). The ions are considered as a neutralizing fluid, while the electron response to the wave is derived by matching two different techniques. We make use of a perturbation analysis similar to that introduced to prove the Kolmogorov-Arnold- Moser theorem, up to amplitudes large enough for neo-adiabatic results to be valid. Our theory is applied to the growth and saturation of the beam-plasma instability, and to the three-dimensional propagation of a driven EPW in a non-uniform and non-stationary plasma. For the latter example, we lay a special emphasis on nonlinear collisionless dissipation. We provide an explicit theoretical expression for the nonlinear Landau-like damping rate which, in some instances, is amenable to a simple analytic formula. We also insist on the irreversible evolution of the electron distribution function, which is nonlocal in the wave amplitude and phase velocity. This makes trapping an effective means of dissipation for the electrostatic energy, and also makes the wave dispersion relation nonlocal. Our theory is generalized to allow for stimulated Raman scattering, which we address up to saturation by accounting for plasma inhomogeneity and non-stationarity, nonlinear kinetic effects, and interspeckle coupling.


title: Non-Saturated Throughput Analysis of Coexistence of Wi-Fi and Cellular With Listen-Before-Talk in Unlicensed Spectrum

abstract: This paper analyzes the coexistence performance of Wi-Fi and cellular networks conditioned on non-saturated traffic in the unlicensed spectrum. Under the condition, the time-domain behavior of a cellular small-cell base station (SCBS) with a listen-before-talk (LBT) procedure is modeled as a Markov chain, and it is combined with a Markov chain which describes the time-domain behavior of a Wi-Fi access point. Using the proposed model, this study finds the optimal contention window size of cellular SCBSs in which total throughput of both networks is maximized while satisfying the required throughput of each network, under the given traffic densities of both networks. This will serve as a guideline for cellular operators with respect to performing LBT at cellular SCBSs according to the changes of traffic volumes of both networks over time.


title: Investigation of the chiral antiferromagnetic Heisenberg model using PEPS

abstract: A simple spin-$1/2$ frustrated antiferromagnetic Heisenberg model (AFHM) on the square lattice - including chiral plaquette cyclic terms - was argued [Anne E.B. Nielsen, German Sierra and J. Ignacio Cirac, Nature Communications $\bf 4$, 2864 (2013)] to host a bosonic Kalmeyer-Laughlin (KL) fractional quantum Hall ground state [V. Kalmeyer and R. B. Laughlin, Phys. Rev. Lett. $\bf 59$, 2095 (1987)]. Here, we construct generic families of chiral projected entangled pair states (chiral PEPS) with low bond dimension ($D=3,4,5$) which, upon optimization, provide better variational energies than the KL ansatz. The optimal $D=3$ PEPS exhibits chiral edge modes described by the Wess-Zumino-Witten $SU(2)_1$ model, as expected for the KL spin liquid. However, we find evidence that, in contrast to the KL state, the PEPS spin liquids have power-law dimer-dimer correlations and exhibit a gossamer long-range tail in the spin-spin correlations. We conjecture that these features are genuine to local chiral AFHM on bipartite lattices.


title: Design and Implementation of a Reversible Object-Oriented Programming Language

abstract: High-level reversible programming languages are few and far between and in general offer only rudimentary abstractions from the details of the underlying machine. Modern programming languages offer a wide array of language constructs and paradigms to facilitate the design of abstract interfaces, but we currently have a very limited understanding of the applicability of such features for reversible programming languages. We introduce the first reversible object-oriented programming language, ROOPL, with support for user-defined data types, class inheritance and subtype-polymorphism. The language extends the design of existing reversible imperative languages and it allows for effective implementation on reversible machines. We provide a formalization of the language semantics, the type system and we demonstrate the computational universality of the language by implementing a reversible Turing machine simulator. ROOPL statements are locally invertible at no extra cost to program size or computational complexity and the language provides direct access to the inverse semantics of each class method. We describe the techniques required for a garbage-free translation from ROOPL to the reversible assembly language PISA and provide a full implementation of said techniques. Our results indicate that core language features for object-oriented programming carries over to the field of reversible computing in some capacity.


title: Applications of Economic and Pricing Models for Wireless Network Security: A Survey

abstract: This paper provides a comprehensive literature review on applications of economic and pricing theory to security issues in wireless networks. Unlike wireline networks, the broadcast nature and the highly dynamic change of network environments pose a number of nontrivial challenges to security design in wireless networks. While the security issues have not been completely solved by traditional or system-based solutions, economic and pricing models recently were employed as one efficient solution to discourage attackers and prevent attacks to be performed. In this paper, we review economic and pricing approaches proposed to address major security issues in wireless networks including eavesdropping attack, Denial-of-Service (DoS) attack such as jamming and Distributed DoS (DDoS), and illegitimate behaviors of malicious users. Additionally, we discuss integrating economic and pricing models with cryptography methods to reduce information privacy leakage as well as to guarantee the confidentiality and integrity of information in wireless networks. Finally, we highlight important challenges, open issues and future research directions of applying economic and pricing models to wireless security issues.


title: Hyperbolic Representation Learning for Fast and Efficient Neural Question Answering

abstract: The dominant neural architectures in question answer retrieval are based on recurrent or convolutional encoders configured with complex word matching layers. Given that recent architectural innovations are mostly new word interaction layers or attention-based matching mechanisms, it seems to be a well-established fact that these components are mandatory for good performance. Unfortunately, the memory and computation cost incurred by these complex mechanisms are undesirable for practical applications. As such, this paper tackles the question of whether it is possible to achieve competitive performance with simple neural architectures. We propose a simple but novel deep learning architecture for fast and efficient question-answer ranking and retrieval. More specifically, our proposed model, \textsc{HyperQA}, is a parameter efficient neural network that outperforms other parameter intensive models such as Attentive Pooling BiLSTMs and Multi-Perspective CNNs on multiple QA benchmarks. The novelty behind \textsc{HyperQA} is a pairwise ranking objective that models the relationship between question and answer embeddings in Hyperbolic space instead of Euclidean space. This empowers our model with a self-organizing ability and enables automatic discovery of latent hierarchies while learning embeddings of questions and answers. Our model requires no feature engineering, no similarity matrix matching, no complicated attention mechanisms nor over-parameterized layers and yet outperforms and remains competitive to many models that have these functionalities on multiple benchmarks.


title: Abundance Tomography of Type Iax SN 2011ay with TARDIS

abstract: We present a detailed spectral analysis of Type Iax SN 2011ay. Our spectra cover epochs between -3 and +19 days with respect to the maximum light in B-band. This time range allows us to employ a so-called abundance tomography technique. The synthetic spectral fitting was made with the 1D Monte Carlo radiative transfer code TARDIS. In this paper, we describe our method to fit multiple epochs with a self-consistent, stratified atmospheric model. We compare our results to previously published SYN++ models and the predictions of different explosion scenarios. Using a fixed density profile (exponential fit of W7), we find that a uniform abundance model cannot reproduce the spectral features before maximum light because of the emergence of excessively strong Fe lines. In our best-fit TARDIS model, we find an abundance profile that separated into two different regimes: a well-mixed region under 10,000 km s$^{-1}$ and a stratified region with decreasing IGE abundances above 10,000 km s$^{-1}$. Based on a detailed comparative analysis, our conclusion is that the available pure deflagration models cannot fully explain either the observed properties of SN 2011ay or the results of our TARDIS modeling. Further examinations are necessary to find an adequate explanation for the origin of this object.


title: Performance evaluation of energy detector over generalized non-linear and shadowed composite fading channels using a Mixture Gamma Distribution

abstract: The performance of energy detection (ED) for independent and identically distribution (i.i.d.) signal models is analyzed over generalized composite non-linear line-of-sight (LOS) and non-line-of-sight (NLOS) shadowed fading scenarios. The novel expressions for {\alpha}-\k{appa}-{\mu}/Gamma and {\alpha}-{\eta}-{\mu}/Gamma fading channels have been derived to approximate by using the mixture gamma (MG) distribution under low instantaneous signal-to-noise (SNR) condition. On the basis of the deduced fading distributions, novel, exact and close-form detective models are derived to evaluate the sensing performance with different key fading parameters over generalized non-linear and shadowed composite fading channels.


title: Order-disorder transition in active nematic: A lattice model study

abstract: We introduce a lattice model for active nematic composed of self-propelled apolar particles,study its different ordering states in the density-temperature parameter space, and compare with the corresponding equilibrium model. The active particles interact with their neighbours within the framework of the Lebwohl-Lasher model, and move anisotropically along their orientation to an unoccupied nearest neighbour lattice site. An interplay of the activity, thermal fluctuations and density gives rise distinct states in the system. For a fixed temperature, the active nematic shows a disordered isotropic state, a locally ordered inhomogeneous mixed state, and bistability between the inhomogeneous mixed and a homogeneous globally ordered state in different density regime. In the low temperature regime, the isotropic to the inhomogeneous mixed state transition occurs with a jump in the order parameter at a density less than the corresponding equilibrium disorder-order transition density. Our analytical calculations justify the shift in the transition density and the jump in the order parameter. We construct the phase diagram of the active nematic in the density-temperature plane.


title: Estimating Kinetic Rate Constants and Plug Concentration Profiles from Simulated KCE Electropherogram Signals

abstract: Kinetic rate constants fundamentally characterize the dynamics of the chemical interaction of macromolecules, and thus their study sets a major direction in experimental biochemistry. The estimation of such constants is often challenging, partly due to the noisiness of data, and partly due to the theoretical framework. Novel and qualitatively reasonable methods are presented for the estimation of the rate constants of complex formation and dissociation in Kinetic Capillary Electrophoresis (KCE). This also serves the broader effort to resolve the inverse problem of KCE, where these estimates pose as initial starting points in the non-linear optimization space, along with the asymmetric Gaussian parameters describing the injected plug concentration profiles, which is also hereby estimated. This rate constant estimation method is also compared to an earlier one.


title: A Computational Resolution of the Inverse Problem of Kinetic Capillary Electrophoresis (KCE)

abstract: Determining kinetic rate constants is a highly relevant problem in biochemistry, so various methods have been designed to extract them from experimental data. Such methods have two main components: the experimental apparatus and the subsequent analysis, the latter often dependent on mathematical theory. Thus the theoretical approach taken influences the effectiveness of constant determination. A computational inverse problem approach is hereby presented, which does not merely give a single rough approximation of the sought constants, but is inherently capable of determining them from exact signals to arbitrary accuracy. This approach is thus not merely novel, but opens a whole new category of solution approaches in the field, enabled primarily by an efficient direct solver.


title: Variational mean field games for market competition

abstract: In this paper, we explore Bertrand and Cournot Mean Field Games models for market competition with reflection boundary conditions. We prove existence, uniqueness and regularity of solutions to the system of equations, and show that this system can be written as an optimality condition of a convex minimization problem. We also provide a short proof of uniqueness to the system addressed in [Graber, P. and Ben- soussan, A., Existence and uniqueness of solutions for Bertrand and Cournot mean field games, Applied Mathematics & Optimization (2016)], where uniqueness was only proved for small parameters $\epsilon$. Finally, we prove existence and uniqueness of weak solutions to the corresponding first order system at the deterministic limit.


title: Entrainment in Superfluid Neutron Star Crusts: Hydrodynamic Description and Microscopic Origin

abstract: In spite of the absence of viscous drag, the neutron superfluid permeating the inner crust of a neutron star cannot flow freely, and is entrained by the nuclear lattice similarly to laboratory superfluid atomic gases in optical lattices. The role of entrainment on the neutron superfluid dynamics is reviewed. For this purpose, a minimal hydrodynamical model of superfluidity in neutron-star crusts is presented. This model relies on a fully four-dimensionally covariant action principle. The equivalence of this formulation with the more traditional approach is demonstrated. In addition, the different treatments of entrainment in terms of dynamical effective masses or superfluid density are clarified. The nuclear energy density functional theory employed for the calculations of all the necessary microscopic inputs is also reviewed, focusing on superfluid properties. In particular, the microscopic origin of entrainment and the different methods to estimate its importance are discussed.


title: Spontaneous Symmetry Breaking, Conformal Anomaly and Incompressible Fluid Turbulence

abstract: We propose an effective conformal field theory (CFT) description of steady state incompressible fluid turbulence at the inertial range of scales in any number of spatial dimensions. We derive a KPZ-type equation for the anomalous scaling of the longitudinal velocity structure functions and relate the intermittency parameter to the boundary Euler (A-type) conformal anomaly coefficient. The proposed theory consists of a mean field CFT that exhibits Kolmogorov linear scaling (K41 theory) coupled to a dilaton. The dilaton is a Nambu-Goldstone gapless mode that arises from a spontaneous breaking due to the energy flux of the separate scale and time symmetries of the inviscid Navier-Stokes equations to a K41 scaling with a dynamical exponent $z=\frac{2}{3}$. The dilaton acts as a random measure that dresses the K41 theory and introduces intermittency. We discuss the two, three and large number of space dimensions cases and how entanglement entropy can be used to characterize the intermittency strength.


title: Normalized Fuchsian form on Riemann sphere and differential equations for multiloop integrals

abstract: We consider the question of reducibility of the differential system to normalized Fuchsian form on the Riemann sphere. The differential equations for the multiloop integrals in $\epsilon$-form constitute a particular example of the normalized Fuchsian form. We formulate the algorithmic criterion of reducibility. We also consider the question of the proper choice of variable in the differential system suitable for its reduction to $\epsilon$-form.


title: Motion-Appearance Interactive Encoding for Object Segmentation in Unconstrained Videos

abstract: We present a novel method of integrating motion and appearance cues for foreground object segmentation in unconstrained videos. Unlike conventional methods encoding motion and appearance patterns individually, our method puts particular emphasis on their mutual assistance. Specifically, we propose using an interactively constrained encoding (ICE) scheme to incorporate motion and appearance patterns into a graph that leads to a spatiotemporal energy optimization. The reason of utilizing ICE is that both motion and appearance cues for the same target share underlying correlative structure, thus can be exploited in a deeply collaborative manner. We perform ICE not only in the initialization but also in the refinement stage of a two-layer framework for object segmentation. This scheme allows our method to consistently capture structural patterns about object perceptions throughout the whole framework. Our method can be operated on superpixels instead of raw pixels to reduce the number of graph nodes by two orders of magnitude. Moreover, we propose to partially explore the multi-object localization problem with inter-occlusion by weighted bipartite graph matching. Comprehensive experiments on three benchmark datasets (i.e., SegTrack, MOViCS, and GaTech) demonstrate the effectiveness of our approach compared with extensive state-of-the-art methods.


title: Phenomenology of the gauge symmetry for right-handed fermions

abstract: In this paper we investigate the phenomenology of the U(1) gauge symmetry for right-handed fermions, where three right-handed neutrinos are introduced for anomalies cancellation. Constraints on the new gauge boson $Z_{\mathbf{R}}$ arising from $Z-Z^\prime$ mixing as well as the upper bound of $Z^\prime$ production cross section in di-lepton channel at the LHC are presented. We further study the neutrino mass generation and the phenomenology of $Z_{\mathbf{R}}$-portal dark matter in this model. The lightest right-handed neutrino can be the cold dark matter candidate stabilized by a $Z_2$ flavor symmetry. Our results show that active neutrino masses can be generated via the modified type-II seesaw mechanism; right-handed neutrino dark matter is available only for its mass at near the resonant regime of the SM Higgs and/or the new bosons; constraint from the dilepton search at the LHC is stronger than that from the $Z-Z^\prime$ mixing only for $g_\mathbf{R}<0.121$, where $g_\mathbf{R}$ is the new gauge coupling.


title: Wigner Function Reconstruction in Levitated Optomechanics

abstract: We demonstrate the reconstruction of the Wigner function from marginal distributions of the motion of a single trapped particle using homodyne detection. We show that it is possible to generate quantum states of levitated optomechanical systems even under the effect of continuous measurement by the trapping laser light. We describe the opto-mechanical coupling for the case of the particle trapped by a free-space focused laser beam, explicitly for the case without an optical cavity. We use the scheme to reconstruct the Wigner function of experimental data in perfect agreement with the expected Gaussian distribution of a thermal state of motion. This opens a route for quantum state preparation in levitated optomechanics.


title: Revisiting optical properties of MgB$_{2}$ with a high-quality sample prepared by a HPCVD method

abstract: We investigated a high-quality MgB$_{2}$ thin film with a thickness of $\sim$1000 nm on an Al$_{2}$O$_{3}$ substrate using optical spectroscopy. We measured the reflectance spectra of the film at various temperatures both below, and above, the superconducting transition temperature, $T_c$ $\simeq$ 40 K. An earlier study showed that when the sample surface is exposed to air the optical properties of the surface change immediately, however, the saturated change is negligibly small in the far-infrared region. The optical conductivity spectrum in the normal state shows two (narrow and broad) Drude modes, with the narrow Drude mode being dominant in the low frequency region below 1000 cm$^{-1}$. Our study, which uses a good-quality sample, provides more reliable data on the optical properties of MgB$_2$, in a similar spectral range. The optical data is analyzed further using an extended Drude model, and the electron-phonon spectral density function, $\alpha^2F(\omega)$, is extracted. The spectral density function $\alpha^2F(\omega)$ features two peaks: a small one near 114 cm$^{-1}$, and a strong peak around the 550 cm$^{-1}$ where the B-B bond stretching phonon exists. Our data in the superconducting state does not show the expected energy shift of the onset of scattering associated with the $\alpha^2F(\omega)$ peaks.


title: The vortex method for 2D ideal flows in the exterior of a disk

abstract: The vortex method is a common numerical and theoretical approach used to implement the motion of an ideal flow, in which the vorticity is approximated by a sum of point vortices, so that the Euler equations read as a system of ordinary differential equations. Such a method is well justified in the full plane, thanks to the explicit representation formulas of Biot and Savart. In an exterior domain, we also replace the impermeable boundary by a collection of point vortices generating the circulation around the obstacle. The density of these point vortices is chosen in order that the flow remains tangent at midpoints between adjacent vortices. In this work, we provide a rigorous justification for this method in exterior domains. One of the main mathematical difficulties being that the Biot-Savart kernel defines a singular integral operator when restricted to a curve. For simplicity and clarity, we only treat the case of the unit disk in the plane approximated by a uniformly distributed mesh of point vortices. The complete and general version of our work is available in [arXiv:1707.01458].


title: Comparing cyclotomic structures on different models for topological Hochschild homology

abstract: The topological Hochschild homology $THH(A)$ of an orthogonal ring spectrum $A$ can be defined by evaluating the cyclic bar construction on $A$ or by applying B\"okstedt's original definition of $THH$ to $A$. In this paper, we construct a chain of stable equivalences of cyclotomic spectra comparing these two models for $THH(A)$. This implies that the two versions of topological cyclic homology resulting from these variants of $THH(A)$ are equivalent.


title: Analyzing First-Person Stories Based on Socializing, Eating and Sedentary Patterns

abstract: First-person stories can be analyzed by means of egocentric pictures acquired throughout the whole active day with wearable cameras. This manuscript presents an egocentric dataset with more than 45,000 pictures from four people in different environments such as working or studying. All the images were manually labeled to identify three patterns of interest regarding people's lifestyle: socializing, eating and sedentary. Additionally, two different approaches are proposed to classify egocentric images into one of the 12 target categories defined to characterize these three patterns. The approaches are based on machine learning and deep learning techniques, including traditional classifiers and state-of-art convolutional neural networks. The experimental results obtained when applying these methods to the egocentric dataset demonstrated their adequacy for the problem at hand.


title: On white holes as particle accelerators

abstract: We analyze scenarios of particle collisions in the metric of a nonextremal black hole that can potentially lead to ultrahigh energy $E_{c.m.}$ in their centre of mass frame. Particle 1 comes from infinity to the black hole horizon while particle 2 emerges from a white hole region. It is shown that unbounded $E_{c.m.}$ $\ $require that particle 2 pass close to the bifurcation point. The analogy with collisions inside the horizon is discussed.


title: Blow-up profile of Bose-Einstein condensate with singular potentials

abstract: The paper is concerned with the Bose-Einstein condensate described by the attractive Gross-Pitaevskii equation in R 2 , where the external potential is unbounded from below. We show that when the interaction strength increases to a critical value, the Gross-Pitaevskii minimizer collapses to one singular point and we analyze the details of the collapse exactly up to the leading order.


title: HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving

abstract: We present HornDroid, a new tool for the static analysis of information flow properties in Android applications. The core idea underlying HornDroid is to use Horn clauses for soundly abstracting the semantics of Android applications and to express security properties as a set of proof obligations that are automatically discharged by an off-the-shelf SMT solver. This approach makes it possible to fine-tune the analysis in order to achieve a high degree of precision while still using off-the-shelf verification tools, thereby leveraging the recent advances in this field. As a matter of fact, HornDroid outperforms state-of-the-art Android static analysis tools on benchmarks proposed by the community. Moreover, HornDroid is the first static analysis tool for Android to come with a formal proof of soundness, which covers the core of the analysis technique: besides yielding correctness assurances, this proof allowed us to identify some critical corner-cases that affect the soundness guarantees provided by some of the previous static analysis tools for Android.


title: Surface profiles with zero and finite adhesion force and adhesion instabilities

abstract: A simple but general analysis of stability of axis-symmetric adhesive contacts is provided. Adhesion is considered in the JKR-approximation. Depending on the shape of the contacting bodies, various scenarios are possible, including vanishing adhesive force, complete contact as well as transitions between these states.


title: Projective structures, neighborhoods of rational curves and Painlev'e equations

abstract: We investigate the duality between local (complex analytic) projective structures on surfaces and two dimensional (complex analytic) neighborhoods of rational curves having self-intersection +1. We study the analytic classification, existence of normal forms, pencil/fibration decomposition, infinitesimal symmetries. We deduce some transcendental result about Painlev'e equations.


title: Quenched mass transport of particles towards a target

abstract: We consider the stochastic target problem of finding the collection of initial laws of a mean-field stochastic differential equation such that we can control its evolution to ensure that it reaches a prescribed set of terminal probability distributions, at a fixed time horizon. Here, laws are considered conditionally to the path of the Brownian motion that drives the system. We establish a version of the geometric dynamic programming principle for the associated reachability sets and prove that the corresponding value function is a viscosity solution of a geometric partial differential equation. This provides a characterization of the initial masses that can be almost-surely transported towards a given target, along the paths of a stochastic differential equation. Our results extend [16] to our setting.


title: Global well-posedness and asymptotics for a penalized Boussinesq-type system without dispersion

abstract: J.-Y. Chemin proved the convergence (as the Rossby number $\epsilon$ goes to zero) of the solutions of the Primitive Equations to the solution of the 3D quasi-geostrophic system when the Froude number F = 1 that is when no dispersive property is available. The result was proved in the particular case where the kinematic viscosity $\nu$ and the thermal diffusivity $\nu$ ' are close. In this article we generalize this result for any choice of the viscosities, the key idea is to rely on a special feature of the quasi-geostrophic structure.


title: On the sharpness of the weighted Bernstein-Walsh inequality, with applications to the superlinear convergence of conjugate gradients

abstract: In this paper we show that the weighted Bernstein-Walsh inequality in logarithmic potential theory is sharp up to some new universal constant, provided that the external field is given by a logarithmic potential. Our main tool for such results is a new technique of discretization of logarithmic potentials, where we take the same starting point as in earlier work of Totik and of Levin \& Lubinsky, but add an important new ingredient, namely some new mean value property for the cumulative distribution function of the underlying measure. As an application, we revisit the work of Beckermann \& Kuijlaars on the superlinear convergence of conjugate gradients. These authors have determined the asymptotic convergence factor for sequences of systems of linear equations with an asymptotic eigenvalue distribution. There was some numerical evidence to let conjecture that the integral mean of Green functions occurring in their work should also allow to give inequalities for the rate of convergence if one makes a suitable link between measures and the eigenvalues of a single matrix of coefficients. We prove this conjecture , at least for a class of measures which is of particular interest for applications.


title: An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism

abstract: Type inference is an application domain that is a natural fit for logic programming (LP). LP systems natively support unification, which serves as a basic building block of typical type inference algorithms. In particular, polymorphic type inference in the Hindley--Milner type system (HM) can be succinctly specified and executed in Prolog. In our previous work, we have demonstrated that more advanced features of parametric polymorphism beyond HM, such as type-constructor polymorphism and kind polymorphism, can be similarly specified in Prolog. Here, we demonstrate a specification for records, which is one of the most widely supported compound data structures in real-world programming languages, and discuss the advantages and limitations of Prolog as a specification language for type systems. Record types are specified as order-irrelevant collections of named fields mapped to their corresponding types. In addition, an open-ended collection is used to support row polymorphism for record types to be extensible.


title: Quantisation conditions of the quantum Hitchin system and the real geometric Langlands correspondence

abstract: Single-valuedness of the eigenfunctions of the quantised Hitchin Hamiltonians is proposed as a natural quantisation condition. Separation of Variables can be used to relate the classification of eigenstates to the classification of projective structures with real holonomy. Using complex Fenchel-Nielsen coordinates one may reformulate the quantisation conditions in terms of the generating function for the variety of opers. These results are interpreted as a variant of the geometric Langlands correspondence.


title: Diffusion-approximation in stochastically forced kinetic equations

abstract: We derive the hydrodynamic limit of a kinetic equation where the interactions in velocity are modelled by a linear operator (Fokker-Planck or Linear Boltzmann) and the force in the Vlasov term is a stochastic process with high amplitude and short-range correlation. In the scales and the regime we consider, the hydrodynamic equation is a scalar second-order stochastic partial differential equation. Compared to the deterministic case, we also observe a phenomenon of enhanced diffusion.


title: Jet differentials on toroidal compactifications of ball quotients

abstract: We give explicit estimates for the volume of the Green-Griffiths jet differentials of any order on a toroidal compactification of a ball quotient. To this end, we first determine the growth of the logarithmic Green-Griffiths jet differentials on these objects, using a natural deformation of the logarithmic jet space of a given order, to a suitable weighted projective bundle. Then, we estimate the growth of the vanishing conditions that a logarithmic jet differential must satisfy over the boundary to be a standard one.


title: Mixed sectional-Ricci curvature obstructions on tori

abstract: We establish new obstruction results to the existence of Riemannian metrics on tori satisfying mixed bounds on both their sectional and Ricci curvatures. More precisely, from Lohkamp's theorem, every torus of dimension at least three admits Riemannian metrics with negative Ricci curvature. We show that the sectional curvature of these metrics cannot be bounded from above by an arbitrarily small positive constant. In particular, if the Ricci curvature of a Riemannian torus is negative, bounded away from zero, then there exist some planar directions in this torus where the sectional curvature is positive, bounded away from zero. All constants are explicit and depend only on the dimension of the torus.


title: Algebras and varieties

abstract: In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same variety have the same dimension. The case of finite dimensional algebras as well as that of graded algebras arise as subvarieties of the varieties we define. As an application we show that for algebras of global dimension two over the complex numbers, any algebra in the variety continuously deforms to a monomial algebra.


title: Existence and uniqueness of periodic solution of nth-order Equations with delay in Banach space having Fourier type

abstract: The aim of this work is to study the existence of a periodic solutions of nth-order differential equations with delay d dt x(t) + d 2 dt 2 x(t) + d 3 dt 3 x(t) + ... + d n dt n x(t) = Ax(t) + L(xt) + f (t). Our approach is based on the M-boundedness of linear operators, Fourier type, B s p,q-multipliers and Besov spaces.


title: Martingale driven BSDEs, PDEs and other related deterministic problems

abstract: We focus on a class of BSDEs driven by a cadlag martingale and corresponding Markov type BSDE which arise when the randomness of the driver appears through a Markov process. To those BSDEs we associate a deterministic problem which, when the Markov process is a Brownian diffusion, is nothing else but a parabolic type PDE. The solution of the deterministic problem is intended as decoupled mild solution, and it is formulated with the help of a time-inhomogeneous semigroup.


title: Quantitative estimates of sampling constants in model spaces

abstract: We establish quantitative estimates for sampling (dominating) sets in model spaces associated with meromorphic inner functions, i.e. those corresponding to de Branges spaces. Our results encompass the Logvinenko-Sereda-Panejah (LSP) Theorem including Kovrijkine's optimal sampling constants for Paley-Wiener spaces. It also extends Dyakonov's LSP theoremfor model spaces associated with bounded derivative inner functions. Considering meromorphic inner functions allows us tointroduce a new geometric density condition, in terms of which the sampling sets are completely characterized. This, incomparison to Volberg's characterization of sampling measures in terms of harmonic measure, enables us to obtain explicitestimates on the sampling constants. The methods combine Baranov-Bernstein inequalities, reverse Carleson measures andRemez inequalities .


title: Definable groups in topological differential fields

abstract: For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational expansion of the field language and $D$ a symbol for a derivation. This enables us to associate with an $\mathcal L\cup\{D\}$-definable group in models of such theories, a local $\mathcal L$-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.


title: Prices of anarchy of selfish 2D bin packing games

abstract: We consider a game-theoretical problem called selfish 2-dimensional bin packing game, a generalization of the 1-dimensional case already treated in the literature. In this game, the items to be packed are rectangles, and the bins are unit squares. The game starts with a set of items arbitrarily packed in bins. The cost of an item is defined as the ratio between its area and the total occupied area of the respective bin. Each item is a selfish player that wants to minimize its cost. A migration of an item to another bin is allowed only when its cost is decreased. We show that this game always converges to a Nash equilibrium (a stable packing where no single item can decrease its cost by migrating to another bin). We show that the pure price of anarchy of this game is unbounded, so we address the particular case where all items are squares. We show that the pure price of anarchy of the selfish square packing game is at least 2.3634 and at most 2.6875. We also present analogous results for the strong Nash equilibrium (a stable packing where no nonempty set of items can simultaneously migrate to another common bin and decrease the cost of each item in the set). We show that the strong price of anarchy when all items are squares is at least 2.0747 and at most 2.3605.


title: Assessment of elastic models in supercooled water: A molecular dynamics study with the TIP4P/2005f force field

abstract: Glass formers exhibit a viscoelastic behavior: at the laboratory timescale, they behave like (glassy) solids at low temperatures, and like liquids at high temperatures. Based on this observation, elastic models relate the long time supercooled dynamics to short time elastic properties of the supercooled liquid. In the present work, we assess the validity of elastic models for the shear viscosity and the $\alpha$-relaxation time of supercooled water, using molecular dynamics simulations with the TIP4P/2005f force field over a wide range of temperatures. We show that elastic models provide a good description of supercooled water dynamics. For the viscosity, two different regimes are observed and the crossover temperature is found to be close to the one where the Stokes-Einstein relation starts to be violated. Our simulations show that only shear properties are important to characterize the effective flow activation energy. This study calls for experimental determination of the high frequency elastic properties of water at low temperatures.


title: Taming the Delayed Choice Quantum Eraser

abstract: I discuss the delayed choice quantum eraser experiment (DCQE) by drawing an analogy to a Bell-type measurement and giving a straightforward account in standard quantum mechanics. The delayed choice quantum eraser experiment turns out to resemble a Bell-type scenario in which the paradox's resolution is rather trivial, and so there really is no mystery. At first glance, the experiment suggests that measurements on one part of an entangled photon pair (the idler) can be employed to control whether the measurement outcome of the other part of the photon pair (the signal) produces interference fringes at a screen after being sent through a double slit. Significantly, the choice whether there is interference or not can be made long after the signal photon encounters the screen. The results of the experiment have been alleged to invoke some sort of 'backwards in time influence'. I argue that this issue can be eliminated by taking into proper account the role of the signal photon. Likewise, in the de Broglie-Bohm picture the particle's trajectories can be given a well-defined description at any instant of time during the experiment. Thus, it is again clear that there is no need to resort to any kind of 'backwards in time influence'.


title: Wind models and cross-site interpolation for the refugee reception islands in Greece

abstract: In this study, the wind data series from five locations in Aegean Sea islands, the most active `hotspots' in terms of refugee influx during the Oct/2015 - Jan/2016 period, are investigated. The analysis of the three-per-site data series includes standard statistical analysis and parametric distributions, auto-correlation analysis, cross-correlation analysis between the sites, as well as various ARMA models for estimating the feasibility and accuracy of such spatio-temporal linear regressors for predictive analytics. Strong correlations are detected across specific sites and appropriately trained ARMA(7,5) models achieve 1-day look-ahead error (RMSE) of less than 1.9 km/h on average wind speed. The results show that such data-driven statistical approaches are extremely useful in identifying unexpected and sometimes counter-intuitive associations between the available spatial data nodes, which is very important when designing corresponding models for short-term forecasting of sea condition, especially average wave height and direction, which is in fact what defines the associated weather risk of crossing these passages in refugee influx patterns.


title: Solar differential rotation in the period 1964 - 2016 determined by the Kanzelh\"ohe data set

abstract: The main aim of this work is to determine the solar differential rotation by tracing sunspot groups during the period 1964-2016, using the Kanzelh\"ohe Observatory for Solar and Environmental Research (KSO) sunspot drawings and white light images. Two procedures for the determination of the heliographic positions were applied: an interactive procedure on the KSO sunspot drawings (1964 - 2008, solar cycles nos. 20 - 23) and an automatic procedure on the KSO white light images (2009 - 2016, solar cycle no. 24). For the determination of the synodic angular rotation velocities two different methods have been used: a daily shift (DS) method and a robust linear least-squares fit (rLSQ) method. Afterwards, the rotation velocities had to be converted from synodic to sidereal, which were then used in the least-squares fitting for the solar differential rotation law. For the test data from 2014, we found the rLSQ method for calculating rotational velocities to be more reliable than the DS method. The best fit solar differential rotation profile for the whole time period is $\omega(b)$ = (14.47 $\pm$ 0.01) - (2.66 $\pm$ 0.10) $\sin^2b$ (deg/day) for the DS method and $\omega(b)$ = (14.50 $\pm$ 0.01) - (2.87 $\pm$ 0.12) $\sin^2b$ (deg/day) for the rLSQ method. A barely noticeable north - south asymmetry is observed for the whole time period 1964 - 2016 in the present paper. Rotation profiles, using different data sets (e.g. Debrecen Photoheliographic Data, Greenwich Photoheliographic Results), presented by other authors for the same time periods and the same tracer types, are in good agreement with our results. Therefore, the KSO data set is suitable for the investigation of the long-term variabilities in the solar rotation profile.


title: Not a Technology Person: Motivating Older Adults Toward the Use of Mobile Technology

abstract: Older users population is rapidly increasing all over the World. Presently, we observe efforts in the human-computer interaction domain aiming to improve life quality of age 65 and over through the use of mobile apps. Nonetheless, these efforts focus primary on interface and interaction de- sign. Little work has focused on the study of motivation to use and adherence to, of elderly to technology. Developing specific design guidelines for this population is relevant, however it should be parallel to the study of desire of elderly to embrace specific technology in their life. Designers should not be limited to technology design but consider as well how to fully convey the value that technology can bring to the lives of the users and motivate adoption. This position paper discusses techniques that might nudge elderly towards the use of new technology.


title: Simplifying branched covering surface-knots by an addition of 1-handles with chart loops

abstract: A branched covering surface-knot over an oriented surface-knot $F$ is a surface-knot in the form of a branched covering over $F$. A branched covering surface-knot over $F$ is presented by a graph called a chart on a surface diagram of $F$. For a branched covering surface-knot, an addition of 1-handles equipped with chart loops is a simplifying operation which deforms the chart to the form of the union of free edges and 1-handles with chart loops. We investigate properties of such simplifications.


title: Optimal Error Estimates for Fully Discrete Galerkin Approximations of Semilinear Parabolic Equations

abstract: We consider a semilinear parabolic equation with a large class of nonlinearities without any growth conditions. We discretize the problem with a discontinuous Galerkin scheme dG(0) in time (which is a variant of the implicit Euler scheme) and with conforming finite elements in space. The main contribution of this paper is the proof of the uniform boundedness of the discrete solution. This allows us to obtain optimal error estimates with respect to various norms.


title: Spatiotemporal Modeling for Crowd Counting in Videos

abstract: Region of Interest (ROI) crowd counting can be formulated as a regression problem of learning a mapping from an image or a video frame to a crowd density map. Recently, convolutional neural network (CNN) models have achieved promising results for crowd counting. However, even when dealing with video data, CNN-based methods still consider each video frame independently, ignoring the strong temporal correlation between neighboring frames. To exploit the otherwise very useful temporal information in video sequences, we propose a variant of a recent deep learning model called convolutional LSTM (ConvLSTM) for crowd counting. Unlike the previous CNN-based methods, our method fully captures both spatial and temporal dependencies. Furthermore, we extend the ConvLSTM model to a bidirectional ConvLSTM model which can access long-range information in both directions. Extensive experiments using four publicly available datasets demonstrate the reliability of our approach and the effectiveness of incorporating temporal information to boost the accuracy of crowd counting. In addition, we also conduct some transfer learning experiments to show that once our model is trained on one dataset, its learning experience can be transferred easily to a new dataset which consists of only very few video frames for model adaptation.


title: Fixed-t analyticity as a constraint in single energy partial wave analyses of meson photoproduction reactions

abstract: Partial wave amplitudes of meson photoproduction reactions are an important source of information in baryon spectroscopy. We investigate a new approach in single-energy partial wave analyses of these reactions. Instead of using a constraint to theoretical models in order to achieve solutions which are continuous in energy, we enforce the analyticity of the amplitudes at fixed values of the Mandelstam variable $t$. We present an iterative procedure with successive fixed-$t$ amplitude analyses which constrain the single-energy partial wave analyses and apply this method to the $\gamma p \to \eta p$ reaction. We use pseudo data, generated by the EtaMAID model, to test the method and to analyze ambiguities. Finally, we present an analytically constrained partial wave analysis using experimental data for four polarization observables recently measured at MAMI and GRAAL in the energy range from threshold to $\sqrt{s}=1.85$ GeV.


title: Junction-less nanowire based photodetector: Role of nanowire width

abstract: Enhanced photocurrent is demonstrated in a junction-less photodetector with nanowires embedded in its channel. The fabricated photodetector consists of a large area for efficient absorption of incident light with energy band engineering achieved in nanowires. The structure design consists of a set of two symmetrically positioned gates, primary and secondary, that are located over the nanowires. Each gate is used for biasing and control of the charge flow. We find that detectors with narrower nanowires controlled by their secondary gate generate larger photocurrents under similar illumination conditions. Our results show that while the dark current remains the same, the photocurrent increases as the nanowire width decreases.


title: Best exponential decay rate of energy for the vectorial damped wave equation

abstract: The energy of solutions of the scalar damped wave equation decays uniformly exponentially fast when the geometric control condition is satisfied. A theorem of Lebeau [leb93] gives an expression of this exponential decay rate in terms of the average value of the damping terms along geodesics and of the spectrum of the infinitesimal generator of the equation. The aim of this text is to generalize this result in the setting of a vectorial damped wave equation on a Riemannian manifold with no boundary. We obtain an expression analogous to Lebeau's one but new phenomena like high frequency overdamping arise in comparison to the scalar setting. We also prove a necessary and sufficient condition for the strong stabilization of the vectorial wave equation.


title: The neutrino propagator in matter and its spin properties

abstract: A spectral representation for the neutrino propagator in a moving matter with constant density is constructed. It is found that in a matter there exists a 4-dimensional axis of complete polarization, all poles of the propagator are classified according to the values of the spin projection onto this axis.


title: Harnessing symmetry to control quantum transport

abstract: Controlling transport in quantum systems holds the key to many promising quantum technologies. Here we review the power of symmetry as a resource to manipulate quantum transport, and apply these ideas to engineer novel quantum devices. Using tools from open quantum systems and large deviation theory, we show that symmetry-mediated control of transport is enabled by a pair of twin dynamic phase transitions in current statistics, accompanied by a coexistence of different transport channels. By playing with the symmetry decomposition of the initial state, one can modulate the importance of the different transport channels and hence control the flowing current. Motivated by the problem of energy harvesting we illustrate these ideas in open quantum networks, an analysis which leads to the design of a symmetry-controlled quantum thermal switch. We review an experimental setup recently proposed for symmetry-mediated quantum control in the lab based on a linear array of atom-doped optical cavities, and the possibility of using transport as a probe to uncover hidden symmetries, as recently demonstrated in molecular junctions, is also discussed. Other symmetry-mediated control mechanisms are also described. Overall, these results demonstrate the importance of symmetry not only as an organizing principle in physics but also as a tool to control quantum systems.

categories: cond-mat.stat-mech cond-mat.mes-hall math-ph math.MP quant-ph


title: QCD monopoles, abelian projections and gauge invariance

abstract: It is shown that the creation of a monopole is a gauge invariant statement, based on topology. Creating a monopole is independent on the abelian projection in which it is created. This is fundamental in defining an order parameter for detecting dual superconductivity of the QCD vacuum.


title: Metallurgy of soft spheres with hard core: from BCC to Frank-Kasper phases

abstract: Understanding how soft particles can fill the space is still an open question. Structures far from classical FCC or BCC phases are now commonly experimentally observed in many different systems. Models based on pair interaction between soft particle are at present much studied in 2D. Pair interaction with two different lengths have been shown to lead to quasicrystalline architectures. It is also the case for a hard core with a square repulsive shoulder potential. In 3D, global approaches have been proposed for instance by minimizing the interface area between the deformed objects in the case of foams or micellar systems or using self-consistent mean field theory in copolymer melts. In this paper we propose to compare a strong van der Waals attraction between spherical hard cores and an elastic energy associated to the deformation of the soft corona. This deformation is measured as the shift between the deformed shell compared to a corona with a perfect spherical symmetry. The two main parameters in this model are: the hard core volume fraction and the weight of the elastic energy compared to the van der Waals one. The elastic energy clearly favours the BCC structure but large van der Waals forces favors Frank and Kasper phases. This result opens a route towards controlling the building of nanoparticle superlattices with complex structures and thus original physical properties.


title: Ground state solutions for a semilinear elliptic problem with critical-subcritical growth

abstract: In this work, we study the of positive ground state solution for the semilinear elliptic problem $$ \left\{ \begin{array} [c]{ll}% -\Delta u=u^{p(x)-1},\quad u>0 & \mathrm{in}\,G\subseteq\mathbb{R}^{N}% ,\,N\geq3\\ u\in D_{0}^{1,2}(G), & \end{array} \right. $$ where $G$ is either $\mathbb{R}^{N}$ or a bounded domain, and $p:G\rightarrow \mathbb{R}$ is a continuous function assuming critical and subcritical values.