title: Multiplicity-free Kronecker products of characters of the symmetric groups

abstract: We provide a classification of multiplicity-free inner tensor products of irreducible characters of symmetric groups, thus confirming a conjecture of Bessenrodt. Concurrently, we classify all multiplicity-free inner tensor products of skew characters of the symmetric groups. We also provide formulae for calculating the decomposition of these tensor products.


title: Hyperelliptic graphs and the period mapping on outer space

abstract: The period mapping assigns to each rank n, marked metric graph Gamma a positive definite quadratic form on H_1(Gamma). This defines maps Phi* and Phi on Culler--Vogtmann's outer space CV_n, and its Torelli space quotient T_n, respectively. The map Phi is a free group analog of the classical period mapping that sends a marked Riemann surface to its Jacobian. In this paper, we analyze the fibers of Phi in T_n, showing that they are aspherical, pi_1-injective subspaces. Metric graphs admitting a 'hyperelliptic involution' play an important role in the structure of Phi, leading us to define the hyperelliptic Torelli group, ST(n) < Out(F_n). We obtain generators for ST(n), and apply them to show that the connected components of the locus of 'hyperelliptic' graphs in T_n become simply-connected when certain degenerate graphs at infinity are added.


title: Dual Matter-Wave Inertial Sensors in Weightlessness

abstract: Quantum technology based on cold-atom interferometers is showing great promise for fields such as inertial sensing and fundamental physics. However, the best precision achievable on Earth is limited by the free-fall time of the atoms, and their full potential can only be realized in Space where interrogation times of many seconds will lead to unprecedented sensitivity. Various mission scenarios are presently being pursued which plan to implement matter-wave inertial sensors. Toward this goal, we realize the first onboard operation of simultaneous $^{87}$Rb $-$ $^{39}$K interferometers in the weightless environment produced during parabolic flight. The large vibration levels ($10^{-2}~g/\sqrt{\rm Hz}$), acceleration range ($0-1.8~g$) and rotation rates ($5$ deg/s) during flight present significant challenges. We demonstrate the capability of our dual-quantum sensor by measuring the E\"{o}tv\"{o}s parameter with systematic-limited uncertainties of $1.1 \times 10^{-3}$ and $3.0 \times 10^{-4}$ during standard- and micro-gravity, respectively. This constitutes the first test of the equivalence principle in a free-falling vehicle with quantum sensors. Our results are applicable to inertial navigation, and can be extended to the trajectory of a satellite for future Space missions.


title: On the stability conditions for theories of modified gravity in presence of matter fields

abstract: We present a thorough stability analysis of modified gravity theories in the presence of matter fields. We use the Effective Field Theory framework for Dark Energy and Modified Gravity to retain a general approach for the gravity sector and a Sorkin-Schutz action for the matter one. Then, we work out the proper viability conditions to guarantee in the scalar sector the absence of ghosts, gradient and tachyonic instabilities. The absence of ghosts can be achieved by demanding a positive kinetic matrix, while the lack of a gradient instability is ensured by imposing a positive speed of propagation for all the scalar modes. In case of tachyonic instability, the mass eigenvalues have been studied and we work out the appropriate expressions. For the latter, an instability occurs only when the negative mass eigenvalue is much larger, in absolute value, than the Hubble parameter. We discuss the results for the minimally coupled quintessence model showing for a particular set of parameters two typical behaviours which in turn lead to a stable and an unstable configuration. Moreover, we find that the speeds of propagation of the scalar modes strongly depend on matter densities, for the beyond Horndeski theories. Our findings can be directly employed when testing modified gravity theories as they allow to identify the correct viability space.


title: Attack-resilient Estimation of Switched Nonlinear Stochastic Cyber-Physical Systems

abstract: This paper studies attack-resilient estimation of a class of switched nonlinear systems subject to stochastic noises. The systems are threatened by both of signal attacks and switching attacks. The problem is formulated as the joint estimation of states, attack vectors and modes of hidden-mode switched systems. We propose an estimation algorithm which is composed of a bank of state and attack vector estimators and a mode estimator. The mode estimator selects the most likely mode based on modes' posterior probabilities induced by the discrepancies between obtained outputs and predicted outputs. We formally analyze the stability of estimation errors in probability for the proposed estimator associated with the true mode when the hidden mode is time-invariant but remains unknown. For hidden-mode switched linear systems, we discuss a way to reduce computational complexity which originates from unknown signal attack locations. Lastly, we present numerical simulations on the IEEE 68-bus test system to show the estimator performance for time-varying modes with a regular mode set and a reduced mode set.


title: Noisy Beam Alignment Techniques for Reciprocal MIMO Channels

abstract: Future multi-input multi-output (MIMO) wireless communications systems will use beamforming as a first-step towards realizing the capacity requirements necessitated by the exponential increase in data demands. The focus of this work is on beam alignment for time-division duplexing (TDD) systems, for which we propose a number of novel algorithms. These algorithms seek to obtain good estimates of the optimal beamformer/combiner pair (which are the dominant singular vectors of the channel matrix). They are motivated by the power method, an iterative algorithm to determine eigenvalues and eigenvectors through repeated matrix multiplication. In contrast to the basic power method which considers only the most recent iteration and assumes noiseless links, the proposed techniques consider information from all the previous iterations of the algorithm and combine them in different ways. The first technique (Sequential Least-Squares method) sequentially constructs a least-squares estimate of the channel matrix, which is then used to calculate the beamformer/combiner pair estimate. The second technique (Summed Power method) aims to mitigate the effect of noise by using a linear combination of the previously tried beams to calculate the next beam, providing improved performance in the low-SNR regime (typical for mmWave systems) with minimal complexity/feedback overhead. A third technique (Least-Squares Initialized Summed Power method) combines the good performance of the first technique at the high-SNR regime with the low-complexity advantage of the second technique by priming the summed power method with initial estimates from the sequential method.


title: Automorphisms and homology of non-positively curved cube complexes

abstract: We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non-cyclic free group. We also investigate automorphisms of special cube complexes, and give a new geometric proof that the Torelli subgroup for a right-angled Artin group is torsion-free.


title: Fixed-Point Adiabatic Quantum Search

abstract: Fixed-point quantum search algorithms succeed at finding one of $M$ target items among $N$ total items even when the run time of the algorithm is longer than necessary. While the famous Grover's algorithm can search quadratically faster than a classical computer, it lacks the fixed-point property --- the fraction of target items must be known precisely to know when to terminate the algorithm. Recently, Yoder, Low, and Chuang gave an optimal gate-model search algorithm with the fixed-point property. Meanwhile, it is known that an adiabatic quantum algorithm, operating by continuously varying a Hamiltonian, can reproduce the quadratic speedup of gate-model Grover search. We ask, can an adiabatic algorithm also reproduce the fixed-point property? We show that the answer depends on what interpolation schedule is used, so as in the gate model, there are both fixed-point and non-fixed-point versions of adiabatic search, only some of which attain the quadratic quantum speedup. Guided by geometric intuition on the Bloch sphere, we rigorously justify our claims with an explicit upper bound on the error in the adiabatic approximation. We also show that the fixed-point adiabatic search algorithm can be simulated in the gate model with neither loss of the quadratic Grover speedup nor of the fixed-point property. Finally, we discuss natural uses of fixed-point algorithms such as preparation of a relatively prime state and oblivious amplitude amplification.


title: Graphene Electronic Structure in Charge Density Waves

abstract: We introduce the idea that the electronic band structure of a charge density wave system may mimic the electronic structure of graphene. In that case a class of materials quite different from graphene might be opened up to exploit graphene's remarkable electronic properties. The theory of such materials, along with superconductivity, is based on the material's dynamical, rather than its static, properties. The charge density wave system turns out to have a number of requirements: (1) a specific wave geometry simply related to graphene; (2) a self-consistency among the electrons that requires the net Coulomb and phonon-mediated parts of the electron-electron interactions to be attractive. We develop a model that leads to an analytical expression for the total energy in terms of the effective electron mass $\mu$, the electron density $\rho_0$, and the strength $\tilde{\nu}_{K}$ of the net electron-electron interaction. For constant $\mu>0$ and $\rho_0$, we examine the limitations set upon $\tilde{\nu}_{K}$ by self-consistency, stability, and the approximation in the electronic state calculation, and find them to be mutually compatible. This demonstrates the viability of our model.


title: Detecting Text in Natural Image with Connectionist Text Proposal Network

abstract: We propose a novel Connectionist Text Proposal Network (CTPN) that accurately localizes text lines in natural image. The CTPN detects a text line in a sequence of fine-scale text proposals directly in convolutional feature maps. We develop a vertical anchor mechanism that jointly predicts location and text/non-text score of each fixed-width proposal, considerably improving localization accuracy. The sequential proposals are naturally connected by a recurrent neural network, which is seamlessly incorporated into the convolutional network, resulting in an end-to-end trainable model. This allows the CTPN to explore rich context information of image, making it powerful to detect extremely ambiguous text. The CTPN works reliably on multi-scale and multi- language text without further post-processing, departing from previous bottom-up methods requiring multi-step post-processing. It achieves 0.88 and 0.61 F-measure on the ICDAR 2013 and 2015 benchmarks, surpass- ing recent results [8, 35] by a large margin. The CTPN is computationally efficient with 0:14s/image, by using the very deep VGG16 model [27]. Online demo is available at: http://textdet.com/.


title: Semiclassical Hartree-Fock theory of a rotating Bose-Einstein condensation

abstract: In this paper, we investigate the thermodynamic behavior of a rotating Bose-Einstein condensation with non-zero interatomic interactions theoretically. The analysis relies on a semiclassical Hartree-Fock approximation where an integral is performed over the phase space and function of the grand canonical ensemble is derived. Subsequently, we use this result to derive several thermodynamic quantities including the condensate fraction, critical temperature, entropy and heat capacity. Thereby, we investigate the effect of the rotation rate and interactions parameter on the thermodynamic behavior. The role of finite size is discussed. Our approach can be extended to consider the rotating condensate in optical potential.


title: An ultra-low noise, high-voltage piezo driver

abstract: We present an ultra-low noise, high-voltage driver suited for use with piezoelectric actuators and other low-current applications. The architecture uses a flyback switching regulator to generate up to 250V in our current design, with an output of 1 kV or more possible with small modifications. A high slew-rate op-amp suppresses the residual switching noise, yielding a total RMS noise of $\approx 100\mu$V (1 Hz--100 kHz). A low-voltage ($\pm 10$V), high bandwidth signal can be summed with unity gain directly onto the output, making the driver well-suited for closed-loop feedback applications. Digital control enables both repeatable setpoints and sophisticated control logic, and the circuit consumes less than 150mA at $\pm 15$V.


title: A classification result for the quasi-linear Liouville equation

abstract: Entire solutions of the $n-$Laplace Liouville equation in $\mathbb{R}^n$ with finite mass are completely classified.


title: Estimation of spin relaxation lengths in spin valves of In and In2O3 nanostructures

abstract: We report the electrical injection and detection of spin polarized current in lateral ferromagnet-nonmagnet-ferromagnet spin valve devices, ferromagnet being cobalt and nonmagnet being indium (In) or indium oxide (In2O3) nanostructures. The In nanostructures were grown by depositing pure In on lithographically pre-patterned structures. In2O3 nanostructures were obtained by oxidation of In nanostructures. Spin valve devices were fabricated by depositing micro magnets over the nanostructures with connecting nonmagnetic electrodes via two steps of e-beam lithography. Clear spin switching behavior was observed in the both types of spin valve devices measured at 10 K. From the measured spin signal, the spin relaxation length ({\lambda}N) of In and In2O3 nanostructures were estimated to be 449.6 nm and 788.6 nm respectively.


title: Non-Escaping Sets in Conformal Dynamical Systems and Singular Perturbations of Perron-Frobenius Operators

abstract: The study of escape rates for a ball in a dynamical systems has been much studied. Understanding the asymptotic behavior of the escape rate as the radius of the ball tends to zero is an especially subtle problem. In the case of hyperbolic conformal systems this has been addressed by various authors. In this paper we consider a far more general realm of conformal maps where the analysis is correspondingly more complicated. We prove the existence of escape rates and calculate them in the context of countable alphabets, either finite or infinite, uniformly contracting conformal graph directed Markov systems with their special case of conformal countable alphabet iterated function systems. This goal is achieved by developing the appropriate theory of singular perturbations of Perron-Frobenius (transfer) operators associated with countable alphabet subshifts of finite type and H\"older continuous summable potentials. This is the key ingredient for further results about other conformal systems. These include topological Collet-Eckmann multimodal interval maps and rational maps of the Riemann sphere (an equivalent formulation is to be uniformly hyperbolic on periodic points), and also a large class of transcendental meromorphic functions.


title: Relativistic axions from collapsing Bose stars

abstract: The substructures of light bosonic (axion-like) dark matter may condense into compact Bose stars. We study collapses of the critical-mass stars caused by attractive self-interaction of the axion-like particles and find that these processes proceed in an unexpected universal way. First, nonlinear self-similar evolution (called "wave collapse" in condensed matter physics) forces the particles to fall into the star center. Second, interactions in the dense center create an outgoing stream of mildly relativistic particles which carries away an essential part of the star mass. The collapse stops when the star remnant is no longer able to support the self-similar infall feeding the collisions. We shortly discuss possible astrophysical and cosmological implications of these phenomena.


title: Topological Magnon Bands and Unconventional Superconductivity in Pyrochlore Iridate Thin Films

abstract: We theoretically study the magnetic properties of pyrochlore iridate bilayer and trilayer thin films grown along the $[111]$ direction using a strong coupling approach. We find the ground state magnetic configurations on a mean field level and carry out a spin-wave analysis about them. In the trilayer case the ground state is found to be the all-in-all-out (AIAO) state, whereas the bilayer has a deformed AIAO state. For all parameters of the spin-orbit coupled Hamiltonian we study, the lowest magnon band in the trilayer case has a nonzero Chern number. In the bilayer case we also find a parameter range with nonzero Chern numbers. We calculate the magnon Hall response for both geometries, finding a striking sign change as function of temperature. Using a slave-boson mean-field theory we study the doping of the trilayer system and discover an unconventional time-reversal symmetry broken $d+id$ superconducting state. Our study complements prior work in the weak coupling limit and suggests that the $[111]$ grown thin film pyrochlore iridates are a promising candidate for topological properties and unconventional orders.


title: Solar System constraints on Renormalization Group extended General Relativity: The PPN and Laplace-Runge-Lenz analyses with the external potential effect

abstract: General Relativity extensions based on Renormalization Group effects are motivated by a known physical principle and constitute a class of extended gravity theories that have some unexplored unique aspects. In this work we develop in detail the Newtonian and post Newtonian limits of a realisation called Renormalization Group extended General Relativity (RGGR). Special attention is taken to the external potential effect, which constitutes a type of screening mechanism typical of RGGR. In the Solar System, RGGR depends on a single dimensionless parameter $\bar \nu_\odot$, and this parameter is such that for $\bar \nu_\odot = 0$ one fully recovers GR in the Solar System. Previously this parameter was constrained to be $|\bar \nu_\odot| \lesssim 10^{-21}$, without considering the external potential effect. Here we show that under a certain approximation RGGR can be cast in a form compatible with the Parametrised Post-Newtonian (PPN) formalism, and we use both the PPN formalism and the Laplace-Runge-Lenz technique to put new bounds on $\bar \nu_\odot$, either considering or not the external potential effect. With the external potential effect the new bound reads $|\bar \nu_\odot| \lesssim 10^{-16}$. We discuss the possible consequences of this bound to the dark matter abundance in galaxies.


title: Less is More: Minimizing Code Reorganization using XTREE

abstract: Context: Developers use bad code smells to guide code reorganization. Yet developers, text books, tools, and researchers disagree on which bad smells are important. Objective: To evaluate the likelihood that a code reorganization to address bad code smells will yield improvement in the defect-proneness of the code. Method: We introduce XTREE, a tool that analyzes a historical log of defects seen previously in the code and generates a set of useful code changes. Any bad smell that requires changes outside of that set can be deprioritized (since there is no historical evidence that the bad smell causes any problems). Evaluation: We evaluate XTREE's recommendations for bad smell improvement against recommendations from previous work (Shatnawi, Alves, and Borges) using multiple data sets of code metrics and defect counts. Results: Code modules that are changed in response to XTREE's recommendations contain significantly fewer defects than recommendations from previous studies. Further, XTREE endorses changes to very few code metrics, and the bad smell recommendations (learned from previous studies) are not universal to all software projects. Conclusion: Before undertaking a code reorganization based on a bad smell report, use a tool like XTREE to check and ignore any such operations that are useless; i.e. ones which lack evidence in the historical record that it is useful to make that change. Note that this use case applies to both manual code reorganizations proposed by developers as well as those conducted by automatic methods. This recommendation assumes that there is an historical record. If none exists, then the results of this paper could be used as a guide.


title: Integrated, reliable and cloud-based personal health record: A scoping review

abstract: Personal Health Records (PHR) emerge as an alternative to integrate patient's health information to give a global view of patients' status. However, integration is not a trivial feature when dealing with a variety electronic health systems from healthcare centers. Access to PHR sensitive information must comply with privacy policies defined by the patient. Architecture PHR design should be in accordance to these, and take advantage of nowadays technology. Cloud computing is a current technology that provides scalability, ubiquity, and elasticity features. This paper presents a scoping review related to PHR systems that achieve three characteristics: integrated, reliable and cloud-based. We found 101 articles that addressed those characteristics. We identified four main research topics: proposal/developed systems, PHR recommendations for development, system integration and standards, and security and privacy. Integration is tackled with HL7 CDA standard. Information reliability is based in ABE security-privacy mechanism. Cloud-based technology access is achieved via SOA.


title: Reciprocity maps with restricted ramification

abstract: We compare two maps that arise in study of the cohomology of number fields with ramification restricted to a finite set S of primes. One of these maps, which we call an S-reciprocity map, interpolates the values of cup products in S-ramified cohomology. In the case of p-ramified cohomology of the pth cyclotomic field for an odd prime p, we use this to exhibit an intriguing relationship between particular values of the cup product on cyclotomic p-units. We then consider higher analogues of the S-reciprocity map and relate their cokernels to the graded quotients in augmentation filtrations of Iwasawa modules.


title: The Build-Up of Diversity in Complex Ecosystems

abstract: Diversity is a fundamental feature of ecosystems, even when the concept of ecosystem is extended to sociology or economics. Diversity can be intended as the count of different items, animals, or, more generally, interactions. There are two classes of stylized facts that emerge when diversity is taken into account. The first are Diversity explosions: evolutionary radiations in biology, or the process of escaping 'Poverty Traps' in economics are two well known examples. The second is nestedness: entities with a very diverse set of interactions are the only ones that interact with more specialized ones. In a single sentence: specialists interact with generalists. Nestedness is observed in a variety of bipartite networks of interactions: Biogeographic, macroeconomic and mutualistic to name a few. This indicates that entities diversify following a pattern. Since they appear in such very different systems, these two stylized facts point out that the build up of diversity is driven by a fundamental probabilistic mechanism, and here we sketch its minimal features. We show how the contraction of a random tripartite network, which is maximally entropic in all its degree distributions but one, can reproduce stylized facts of real data with great accuracy which is qualitatively lost when that degree distribution is changed. We base our reasoning on the combinatoric picture that the nodes on one layer of these bipartite networks can be described as combinations of a number of fundamental building blocks. The stylized facts of diversity that we observe in real systems can be explained with an extreme heterogeneity (a scale-free distribution) in the number of meaningful combinations in which each building block is involved. We show that if the usefulness of the building blocks has a scale-free distribution, then maximally entropic baskets of building blocks will give rise to very rich behaviors.


title: Toric quiver cells

abstract: It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, B{\o}gvad's conjecture holds for quiver polytopes of dimension at most four. In arbitrary dimension, the toric ideal of a compressed polytope is generated in degree two if the polytope has no neighbouring singular vertices. Furthermore, the toric ideal of a compressed polytope with at most one singular vertex has a quadratic Gr\"obner basis.


title: Reliable Attribute-Based Object Recognition Using High Predictive Value Classifiers

abstract: We consider the problem of object recognition in 3D using an ensemble of attribute-based classifiers. We propose two new concepts to improve classification in practical situations, and show their implementation in an approach implemented for recognition from point-cloud data. First, the viewing conditions can have a strong influence on classification performance. We study the impact of the distance between the camera and the object and propose an approach to fuse multiple attribute classifiers, which incorporates distance into the decision making. Second, lack of representative training samples often makes it difficult to learn the optimal threshold value for best positive and negative detection rate. We address this issue, by setting in our attribute classifiers instead of just one threshold value, two threshold values to distinguish a positive, a negative and an uncertainty class, and we prove the theoretical correctness of this approach. Empirical studies demonstrate the effectiveness and feasibility of the proposed concepts.


title: Circuit Covers of Cubic Signed Graphs

abstract: A signed graph is a graph $G$ associated with a mapping $\sigma: E(G)\to \{-1,+1\}$, denoted by $(G,\sigma)$. A $cycle$ of $(G,\sigma)$ is a connected 2-regular subgraph. A cycle $C$ is $positive$ if it has an even number of negative edges, and negative otherwise. A $circuit$ of of a signed graph $(G,\sigma)$ is a positive cycle or a barbell consisting of two edge-disjoint negative cycles joined by a path. The definition of a circuit of signed graph comes from the signed-graphic matroid. A circuit cover of $(G,\sigma)$ is a family of circuits covering all edges of $(G,\sigma)$. A circuit cover with the smallest total length is called a shortest circuit cover of $(G,\sigma)$ and its length is denoted by $\text{scc}(G,\sigma)$. Bouchet proved that a signed graph with a circuit cover if and only if it is flow-admissible (i.e., has a nowhere-zero integer flow). M\'a\v{c}ajov\'a et. al. show that a 2-edge-connected signed graph $(G,\sigma)$ has $\text{scc}(G,\sigma)\le 9 |E(G)|$ if it is flow-admissible. This bound was improved recently by Cheng et. al. to $\text{scc}(G,\sigma) \le 11|E(G)|/3$ for 2-edge-connected signed graphs with even negativeness, and particularly, $\text{scc}(G,\sigma)\le 3|E(G)|+\epsilon(G,\sigma)/3$ for 2-edge-connected cubic signed graphs with even negativeness (where $\epsilon(G,\sigma)$ is the negativeness of $(G,\sigma)$). In this paper, we show that every 2-edge-connected cubic signed graph has $\text{scc}(G,\sigma)\le 26|E(G)|/9$ if it is flow-admissible, and $\text{scc}(G,\sigma)\le 23|E(G)|/9$ if it has even negativeness.


title: An extension of Nikishin's factorization theorem

abstract: A Nikishin-Maurey characterization is given for bounded subsets of weak-type Lebesgue spaces. New factorizations for linear and multilinear operators are shown to follow.


title: A Computational Analysis of the Function of Three Inhibitory Cell Types in Contextual Visual Processing

abstract: Most cortical inhibitory cell types exclusively express one of three genes, parvalbumin, somatostatin and 5HT3a. The visual responses of cortical neurons are affected not only by local cues, but also by visual context. As the inhibitory neuron types have distinctive synaptic sources and targets over different spatial extents and from different areas, we conjecture that they possess distinct roles in contextual processing. We use modeling to relate structural information to function in primary visual cortex (V1) of the mouse, and investigate their role in contextual visual processing. Our findings are threefold. First, the inhibition mediated by parvalbumin positive (PV) cells mediates local processing and could underlie their role in boundary detection. Second, the inhibition mediated by somatostatin-positive (SST) cells facilitates longer range spatial competition among receptive fields. Third, non-specific top-down modulation to interneurons expressing vasoactive intestinal polypeptide (VIP), a subclass of 5HT3a neurons, can selectively enhance V1 responses.


title: Elements of Torelli topology: I. The rank of abelian subgroups

abstract: By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more transparent and lead to stronger estimates of the rank of an abelian subgroup when some additional information is available. An unexpected application of our methods is a new proof of the algebraic characterization of the Dehn twist about separating circles and the Dehn-Johnson twists about bounding pairs of circles. This proof is much shorter than the original one and bypasses one of the main difficulties, which may be called the extension problem, specific to Torelli groups as opposed to the Teichm\"uller modular groups. The extension problem is discussed in details in the second paper of this series.


title: Rost invariant on the center, revisited

abstract: The Rost invariant of the Galois cohomology of a simple simply connected algebraic group over a field $F$ is defined regardless of the characteristic of $F$, but unfortunately some formulas for it are only known with some hypothesis on the the characteristic. We improve those formulas by (1) removing the hypothesis on the characteristic and (2) removing an ad hoc pairing that appears in the original formulas. As a preliminary step of independent interest, we also extend the classification of invariants of quasi-trivial tori to all fields.


title: A varifold approach to surface approximation

abstract: We show that the theory of varifolds can be suitably enriched to open the way to applications in the field of discrete and computational geometry. Using appropriate regularizations of the mass and of the first variation of a varifold we introduce the notion of approximate mean curvature and show various convergence results that hold in particular for sequences of discrete varifolds associated with point clouds or pixel/voxel-type discretizations of $d$-surfaces in the Euclidean $n$-space, without restrictions on dimension and codimension. The variational nature of the approach also allows to consider surfaces with singularities, and in that case the approximate mean curvature is consistent with the generalized mean curvature of the limit surface. A series of numerical tests are provided in order to illustrate the effectiveness and generality of the method.


title: Convergence Rates of Inertial Splitting Schemes for Nonconvex Composite Optimization

abstract: We study the convergence properties of a general inertial first-order proximal splitting algorithm for solving nonconvex nonsmooth optimization problems. Using the Kurdyka--\L ojaziewicz (KL) inequality we establish new convergence rates which apply to several inertial algorithms in the literature. Our basic assumption is that the objective function is semialgebraic, which lends our results broad applicability in the fields of signal processing and machine learning. The convergence rates depend on the exponent of the "desingularizing function" arising in the KL inequality. Depending on this exponent, convergence may be finite, linear, or sublinear and of the form $O(k^{-p})$ for $p>1$.


title: $SU(1,1)$ solution for the Dunkl-Coulomb problem in two dimensions and its coherent states

abstract: We study the radial part of the Dunkl-Coulomb problem in two dimensions and show that this problem possesses the $su(1,1)$ symmetry. We introduce two different realizations for the $su(1,1)$ Lie algebra and use the theory of irreducible representations to obtain the energy spectrum and the eigenfunctions. For the first algebra realization, we apply the Schr\"odinger factorization to the radial part of the Dunkl-Coulomb problem to construct the algebra generators. In the second realization, we introduce three operators, been one of them proportional to the radial Hamiltonian. Finally, we use the $su(1,1)$ Sturmian basis of one of the two algebras to construct the radial coherent states in a closed form.


title: Co-active Learning to Adapt Humanoid Movement for Manipulation

abstract: In this paper we address the problem of robot movement adaptation under various environmental constraints interactively. Motion primitives are generally adopted to generate target motion from demonstrations. However, their generalization capability is weak while facing novel environments. Additionally, traditional motion generation methods do not consider the versatile constraints from various users, tasks, and environments. In this work, we propose a co-active learning framework for learning to adapt robot end-effector's movement for manipulation tasks. It is designed to adapt the original imitation trajectories, which are learned from demonstrations, to novel situations with various constraints. The framework also considers user's feedback towards the adapted trajectories, and it learns to adapt movement through human-in-the-loop interactions. The implemented system generalizes trained motion primitives to various situations with different constraints considering user preferences. Experiments on a humanoid platform validate the effectiveness of our approach.


title: Wireless Security with Beamforming Technique

abstract: This thesis focuses on the wireless security in the physical layer with beamforming technique. One of the emerging areas is the security enhancement in the physical layer, which exploits the intrinsic properties of the wireless medium. Beamforming, which has been proved to have many advantages, can also be applied to enhance the wireless security. One of the most common threats, i.e., passive eavesdropping, is addressed in this thesis. To reduce the risk of leaking information to the eavesdroppers, the physical region where the transmission is exposed to eavesdropping has been studied. In this thesis, the exposure region based beamforming technique is proposed to combat the threat from the randomly located eavesdroppers in a fading channel. In this system model, the large-scale path loss and a general Rician fading channel model are considered. The exposure region is established to describe the secrecy performance of the system, based on which the probability that the secrecy outage event occurs is defined to evaluate the security level of the exposure region. The antenna array is one of the most important factors that affect the secrecy performance of the exposure region based beamforming technique. The potential of using different array geometry and array configuration to improve security is explored. In this thesis, two common arrays, i.e., linear and circular arrays, are considered.Analytic expressions for general array geometry and for the linear and circular arrays are derived. Based on the empirical results, numerical optimization algorithms are developed to exploit the array configuration to enhance the system security level. In addition, experiments are carried out to study the performance of the beamformer with linear and circular arrays. Especially, the impact of the mutual coupling on the security performance is investigated.


title: Equations for spinning test particles in equatorial orbits when they are orbiting in a weak rotating field

abstract: This paper formulates, via the Mathisson - Papapetrou - Dixon equations, the system of equations for a test particle with spin when it is orbiting a weak Kerr metric. We shall restrict ourselves to the case of circular orbits with the purpose of comparing our results with the results of the literature. In particular, we solve the set of equations of motion for the case of circular trajectories both spinless and spinning test particles around rotating bodies in equatorial plane. The results obtained are an important guideline for the study of the effects of the particles with spin in rotating gravitational fields such as Gravitomagnetics Effects or gravitational waves.


title: A spectral refinement of the Bergelson-Host-Kra decomposition and new multiple ergodic theorems

abstract: We investigate how spectral properties of a measure preserving system $(X,\mathcal{B},\mu,T)$ are reflected in the multiple ergodic averages arising from that system. For certain sequences $a:\mathbb{N}\to\mathbb{N}$ we provide natural conditions on the spectrum $\sigma(T)$ such that for all $f_1,\ldots,f_k\in L^\infty$, \begin{equation*} \lim_{N\to\infty} \frac{1}{N} \sum_{n=1}^N \prod_{j=1}^k T^{ja(n)}f_j = \lim_{N\rightarrow\infty} \frac{1}{N} \sum_{n=1}^N \prod_{j=1}^k T^{jn}f_j \end{equation*} in $L^2$-norm. In particular, our results apply to infinite arithmetic progressions $a(n)=qn+r$, Beatty sequences $a(n)=\lfloor \theta n+\gamma\rfloor$, the sequence of squarefree numbers $a(n)=q_n$, and the sequence of prime numbers $a(n)=p_n$. We also obtain a new refinement of Szemer\'edi's theorem via Furstenberg's correspondence principle. ERRATUM: Theorem 7.1 in the paper is incorrect as stated, and the error originates with Proposition 7.5, part (iii), which was incorrectly quoted from the literature. In the attached erratum we fix the problem by establishing a slightly weaker version of Theorem 7.1 and use it to give a new proof of Theorem 4.2. This ensures that all main results in our main article remain correct. We thank Zhengxing Lian and Jiahao Qiu for bringing this mistake to our attention.


title: Joint Extraction of Events and Entities within a Document Context

abstract: Events and entities are closely related; entities are often actors or participants in events and events without entities are uncommon. The interpretation of events and entities is highly contextually dependent. Existing work in information extraction typically models events separately from entities, and performs inference at the sentence level, ignoring the rest of the document. In this paper, we propose a novel approach that models the dependencies among variables of events, entities, and their relations, and performs joint inference of these variables across a document. The goal is to enable access to document-level contextual information and facilitate context-aware predictions. We demonstrate that our approach substantially outperforms the state-of-the-art methods for event extraction as well as a strong baseline for entity extraction.


title: Using Periodicity to Obtain Partition Congruences

abstract: In this paper, we generalize recent work of Mizuhara, Sellers, and Swisher that gives a method for establishing restricted plane partition congruences based on a bounded number of calculations. Using periodicity for partition functions, our extended technique could be a useful tool to prove congruences for certain types of combinatorial functions based on a bounded number of calculations. As applications of our result, we establish new and existing restricted plane partition congruences, restricted plane overpartition congruences and several examples of restricted partition congruences.


title: Weakly amenable groups

abstract: In this paper, a group is called weakly amenable if its left regular representation is not uniformly isolated from the trivial representation. First examples of finitely generated non-amenable weakly amenable groups are constructed.


title: Right Bousfield Localization and Eilenberg-Moore Categories

abstract: We compare several recent approaches to studying right Bousfield localization and algebras over monads. We prove these approaches are equivalent, and we apply this equivalence to obtain several new results regarding right Bousfield localizations (some classical, some new) for spectra, spaces, equivariant spaces, chain complexes, simplicial abelian groups, and the stable module category. En route, we provide conditions so that right Bousfield localization lifts to categories of algebras, so that right Bousfield localization preserves algebras over monads, and so that right Bousfield localization forms a compactly generated model category.


title: Theta divisors of abelian varieties and push-forward homomorphism at the level of Chow groups

abstract: In this text we prove that if an abelian variety $A$ admits of an embedding into the Jacobian of a smooth projective curve $C$, and if we consider $\Th_A$ to be the divisor $\Th_C\cap A$, where $\Th_C$ denotes the theta divisor of $J(C)$, then the embedding of $\Th_A$ into $A$ induces an injective push-forward homomorphism at the level of Chow groups. We show that this is the case for every principally polarized abelian varieties.


title: A new search for the $K_{L} \to \pi^0 \nu \overline{\nu}$ and $K_{L} \to \pi^{0} X^{0}$ decays

abstract: We searched for the $CP$-violating rare decay of neutral kaon, $K_{L} \to \pi^0 \nu \overline{\nu}$, in data from the first 100 hours of physics running in 2013 of the J-PARC KOTO experiment. One candidate event was observed while $0.34\pm0.16$ background events were expected. We set an upper limit of $5.1\times10^{-8}$ for the branching fraction at the 90\% confidence level (C.L.). An upper limit of $3.7\times10^{-8}$ at the 90\% C.L. for the $K_{L} \to \pi^{0} X^{0}$decay was also set for the first time, where $X^{0}$ is an invisible particle with a mass of 135 MeV/$c^{2}$.


title: Monodromy and algebraic cycles

abstract: In this text we are going to discuss the relation between monodromy and algebraic cycles.


title: Progenitors of type Ia supernovae

abstract: Natures of progenitors of type Ia Supernovae (SNe Ia) have not yet been clarified. There has been long and intensive discussion on whether the so-called single degenerate (SD) scenario or the double degenerate (DD) scenario, or anything else, could explain a major population of SNe Ia, but the conclusion has not yet been reached. With rapidly increasing observational data and new theoretical ideas, the field of studying the SN Ia progenitors has been quickly developing, and various new insights have been obtained in recent years. This article aims at providing a summary of the current situation regarding the SN Ia progenitors, both in theory and observations. It seems difficult to explain the emerging diversity seen in observations of SNe Ia by a single population, and we emphasize that it is important to clarify links between different progenitor scenarios and different sub-classes of SNe Ia.


title: Compiling Process Networks to Interaction Nets

abstract: Kahn process networks are a model of computation based on a collection of sequential, deterministic processes that communicate by sending messages through unbounded channels. They are well suited for modelling stream-based computations, but are in no way restricted to this application. Interaction nets are graph rewriting systems that have many interesting properties for implementation. In this paper we show how to encode process networks using interaction nets, where we model both networks and messages in the same framework.


title: In-place Graph Rewriting with Interaction Nets

abstract: An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient because of this feature, therefore it is an important aspect of an algorithm. In most programming languages, it is not obvious when an algorithm can run in-place, and moreover it is often not clear that the implementation respects that idea. In this paper we study interaction nets as a formalism where we can see directly, visually, that an algorithm is in-place, and moreover the implementation will respect that it is in-place. Not all algorithms can run in-place however. We can nevertheless still use the same language, but now we can annotate parts of the algorithm that can run in-place. We suggest an annotation for rules, and give an algorithm to find this automatically through analysis of the interaction rules.


title: Kruskal's Tree Theorem for Acyclic Term Graphs

abstract: In this paper we study termination of term graph rewriting, where we restrict our attention to acyclic term graphs. Motivated by earlier work by Plump we aim at a definition of the notion of simplification order for acyclic term graphs. For this we adapt the homeomorphic embedding relation to term graphs. In contrast to earlier extensions, our notion is inspired by morphisms. Based on this, we establish a variant of Kruskal's Tree Theorem formulated for acyclic term graphs. In proof, we rely on the new notion of embedding and follow Nash-Williams' minimal bad sequence argument. Finally, we propose a variant of the lexicographic path order for acyclic term graphs.


title: Reasoning about Graph Programs

abstract: GP 2 is a non-deterministic programming language for computing by graph transformation. One of the design goals for GP 2 is syntactic and semantic simplicity, to facilitate formal reasoning about programs. In this paper, we demonstrate with four case studies how programmers can prove termination and partial correctness of their solutions. We argue that GP 2's graph transformation rules, together with induction on the length of program executions, provide a convenient framework for program verification.


title: Token-passing Optimal Reduction with Embedded Read-back

abstract: We introduce a new interaction net implementation of optimal reduction for the pure untyped lambda calculus. Unlike others, our implementation allows to reach normal form regardless of the interaction net reduction strategy using the approach of so-called token-passing nets and a non-deterministic extension for interaction nets. Another new feature is the read-back mechanism implemented without leaving the formalism of interaction nets.


title: Efficient Completion of Weighted Automata

abstract: We consider directed graphs with edge labels from a semiring. We present an algorithm that allows efficient execution of queries for existence and weights of paths, and allows updates of the graph: adding nodes and edges, and changing weights of existing edges. We apply this method in the construction of matchbound certificates for automatically proving termination of string rewriting. We re-implement the decomposition/completion algorithm of Endrullis et al. (2006) in our framework, and achieve comparable performance.


title: Temperature fluctuations in canonical systems: Insights from molecular dynamics simulations

abstract: Molecular dynamics simulations of a quasi-harmonic solid are conducted to elucidate the meaning of temperature fluctuations in canonical systems and validate a well-known but frequently contested equation predicting the mean square of such fluctuations. The simulations implement two virtual and one physical (natural) thermostat and examine the kinetic, potential and total energy correlation functions in the time and frequency domains. The results clearly demonstrate the existence of quasi-equilibrium states in which the system can be characterized by a well-defined temperature that follows the mentioned fluctuation equation. The emergence of such states is due to the wide separation of timescales between thermal relaxation by phonon scattering and slow energy exchanges with the thermostat. The quasi-equilibrium states exist between these two timescales when the system behaves as virtually isolated and equilibrium.


title: Introducing Distributed Dynamic Data-intensive (D3) Science: Understanding Applications and Infrastructure

abstract: A common feature across many science and engineering applications is the amount and diversity of data and computation that must be integrated to yield insights. Data sets are growing larger and becoming distributed; and their location, availability and properties are often time-dependent. Collectively, these characteristics give rise to dynamic distributed data-intensive applications. While "static" data applications have received significant attention, the characteristics, requirements, and software systems for the analysis of large volumes of dynamic, distributed data, and data-intensive applications have received relatively less attention. This paper surveys several representative dynamic distributed data-intensive application scenarios, provides a common conceptual framework to understand them, and examines the infrastructure used in support of applications.


title: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification

abstract: This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, Italy, from the 14th to the 16th of September 2016. The proceedings of the symposium contain abstracts of the 3 invited talks and 21 full papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers cover algorithmic game theory, automata theory, synthesis, formal verification, and dynamic, modal and temporal logics.


title: Topological insulators in ordered double transition metals M$'_2$M$"$C$_2$ (M$'$= Mo, W; M$"$= Ti, Zr, Hf) MXenes

abstract: The family of two-dimensional transition metal carbides, so called MXenes, has recently found new members with ordered double transition metals M$'_2$M$"$C$_2$, where M$'$ and M$"$ stand for transition metals. Here, using a set of first-principles calculations, we demonstrate that some of the newly added members, oxide M$'_2$M$"$C$_2$ (M$'$= Mo, W; M$"$= Ti, Zr, Hf) MXenes, are topological insulators. The nontrivial topological states of the predicted MXenes are revealed by the $Z_2$ index, which is evaluated from the parities of the occupied bands below the Fermi energy at time reversal invariant momenta, and also by the presence of the edge states. The predicted M$'_2$M$"$C$_2$O$_2$ MXenes show nontrivial gaps in the range of 0.041 -- 0.285 eV within the generalized gradient approximation and 0.119 -- 0.409 eV within the hybrid functional. The band gaps are induced by the spin-orbit coupling within the degenerate states with $d_{x^2-y^2}$ and $d_{xy}$ characters of M$'$ and M$"$, while the band inversion occurs at the $\Gamma$ point among the degenerate $d_{x^2-y^2}$/$d_{xy}$ orbitals and a non-degenerate $d_{3z^2-r^2}$ orbital, which is driven by the hybridization of the neighboring orbitals. The phonon dispersion calculations find that the predicted topological insulators are structurally stable. The predicted W-based MXenes with large band gaps might be suitable candidates for many topological applications at room temperature. In addition, we study the electronic structures of thicker ordered double transition metals M$'_2$M$"_2$C$_3$O$_2$ (M$'$= Mo, W; M$"$= Ti, Zr, Hf) and find that they are nontrivial topological semimetals.


title: Extreme Quantum Advantage when Simulating Strongly Coupled Classical Systems

abstract: Classical stochastic processes can be generated by quantum simulators instead of the more standard classical ones, such as hidden Markov models. One reason for using quantum simulators is that they generally require less memory than their classical counterparts. Here, we examine this quantum advantage for strongly coupled spin systems---the Dyson-like one-dimensional Ising spin chain with variable interaction length. We find that the advantage scales with both interaction range and temperature, growing without bound as interaction increases. Thus, quantum systems can very efficiently simulate strongly coupled classical systems.

categories: quant-ph cond-mat.stat-mech cs.CC cs.IT math.IT


title: Discussion of Entanglement Entropy in Quantum Gravity

abstract: We study entanglement entropy in gravity theory with quantum effects. A simplest model is a two dimensional Einstein-Hilbert action . We use an $n$-sheet manifold to obtain an area term of entanglement entropy by summing over all background fields. A strongly coupled conformal field theory is expected to describe perturbative quantum gravity theory. Thus, we also use two dimensional conformal field theory to discuss a factorization of a Hilbert space. We find that a coefficient of a universal term of the entanglement entropy is independent of a choice of an entangling surface in two dimensional conformal field theory for one interval and also argue the result possibly be extended to multiple intervals. Finally, we discuss that translational invariance possibly be a necessary condition in a quantum gravity theory by ruing out a volume law of entanglement entropy.


title: Linear and nonlinear stability of periodic orbits in annular billiards

abstract: An annular billiard is a dynamical system in which a particle moves freely in a disk except for elastic collisions with the boundary, and also a circular scatterer in the interior of the disk. We investigate stability properties of some periodic orbits in annular billiards in which the scatterer is touching or close to the boundary. We analytically show that there exist linearly stable periodic orbits of arbitrary period for scatterers with decreasing radii that are located near the boundary of the disk. As the position of the scatterer moves away from a symmetry line of a periodic orbit, the stability of periodic orbits changes from elliptic to hyperbolic, corresponding to a saddle-center bifurcation. When the scatterer is tangent to the boundary, the periodic orbit is parabolic. We prove that slightly changing the reflection angle of the orbit in the tangential situation leads to the existence of KAM islands. Thus we show that there exists a decreasing to zero sequence of open intervals of scatterer radii, along which the billiard table is not ergodic.


title: On the double-affine Bruhat order: the $\epsilon=1$ conjecture and classification of covers in ADE type

abstract: For any Kac-Moody group $\mathbf{G}$, we prove that the Bruhat order on the semidirect product of the Weyl group and the Tits cone for $\mathbf{G}$ is strictly compatible with a $\mathbb{Z}$-valued length function. We conjecture in general and prove for $\mathbf{G}$ of affine ADE type that the Bruhat order is graded by this length function. We also formulate and discuss conjectures relating the length function to intersections of "double-affine Schubert varieties."


title: Subsystems and time in quantum mechanics

abstract: This paper investigates the relationship between subsystems and time in a closed nonrelativistic system of interacting bosons and fermions. It is possible to write any state vector in such a system as an unentangled tensor product of subsystem vectors, and to do so in infinitely many ways. This requires the superposition of different numbers of particles, but the theory can describe in full the equivalence relation that leads to a particle-number superselection rule in conventionally defined subsystems. Time is defined as a functional of subsystem changes, thus eliminating the need for any reference to an external time variable. The dynamics of the unentangled subsystem decomposition is derived from a variational principle of dynamical stability, which requires the decomposition to change as little as possible in any given infinitesimal time interval, subject to the constraint that the state of the total system satisfy the Schroedinger equation. The resulting subsystem dynamics is deterministic. This determinism is regarded as a conceptual tool that observers can use to make inferences about the outside world, not as a law of nature. The experiences of each observer define some properties of that observer's subsystem during an infinitesimal interval of time (i.e., the present moment); everything else must be inferred from this information. The overall structure of the theory has some features in common with quantum Bayesianism, the Everett interpretation, and dynamical reduction models, but it differs significantly from all of these. The theory of information described here is largely qualitative, as the most important equations have not yet been solved. The quantitative level of agreement between theory and experiment thus remains an open question.


title: A vanishing theorem for co-Higgs bundles on the moduli space of bundles

abstract: We consider smooth moduli spaces of semistable vector bundles of fixed rank and determinant on a compact Riemann surface $X$ of genus at least $3$. The choice of a Poincar\'e bundle for such a moduli space $M$ induces an isomorphism between $X$ and a component of the moduli space of semistable sheaves over $M$. We prove that $h^0(M, \text{End}({\mathcal E})\otimes TM)= 1$ for a vector bundle $\mathcal E$ on $M$ coming from this component. Furthermore, there are no nonzero integrable co-Higgs fields on $\mathcal E$.


title: Supermassive Black Hole Binary Environments: Effects on the Scaling Laws and Time to Detection for the Stochastic Background

abstract: One of the primary gravitational wave (GW) sources for pulsar timing arrays (PTAs) is the stochastic background formed by supermassive black holes binaries (SMBHBs). In this paper, we investigate how the environments of SMBHBs will effect the sensitivity of PTAs by deriving scaling laws for the signal-to-noise ratio (SNR) of the optimal cross-correlation statistic. The presence of gas and stars around SMBHBs will accelerate the merger at large distances, depleting the GW stochastic background at low frequencies. We show that environmental interactions may delay detection by a few years or more, depending on the PTA configuration and the frequency at which the dynamical evolution transitions from being dominated by environmental effects to GW-dominated.


title: Towards Energy-Efficient Communication Management in the Distributed Control of Networked Cyber-Physical Systems

abstract: In this paper, we study the distributed control of networked cyber-physical systems when a much more energy-efficient distributed communication management strategy is proposed to solve the well-studied consensus problem. In contrast to the existing potential-based network topology control method, the proposed topology control method is based on the variation of communication ranges such that each agent can control its ad hoc communication range. The proposed network topology control technique can not only guarantee network connectivity but also reduce the communication energy. We apply the new network topology control technique, based on variable communication ranges, in a well-studied consensus problem, where the communication range for each agent is designed locally along with a new bounded control algorithm. Theoretical analysis is then provided to show that the proposed network topology control technique can guarantee consensus with bounded communication energy consumption. Finally, simulation examples are provided to show the effectiveness of the proposed energy-efficient distributed topology control technique.


title: Cartan Theorems for Stein manifolds over a discrete valuation base

abstract: In this paper we prove Cartan theorems A and B for Stein manifolds over certain discrete valuation rings.


title: DeepSkeleton: Learning Multi-task Scale-associated Deep Side Outputs for Object Skeleton Extraction in Natural Images

abstract: Object skeletons are useful for object representation and object detection. They are complementary to the object contour, and provide extra information, such as how object scale (thickness) varies among object parts. But object skeleton extraction from natural images is very challenging, because it requires the extractor to be able to capture both local and non-local image context in order to determine the scale of each skeleton pixel. In this paper, we present a novel fully convolutional network with multiple scale-associated side outputs to address this problem. By observing the relationship between the receptive field sizes of the different layers in the network and the skeleton scales they can capture, we introduce two scale-associated side outputs to each stage of the network. The network is trained by multi-task learning, where one task is skeleton localization to classify whether a pixel is a skeleton pixel or not, and the other is skeleton scale prediction to regress the scale of each skeleton pixel. Supervision is imposed at different stages by guiding the scale-associated side outputs toward the groundtruth skeletons at the appropriate scales. The responses of the multiple scale-associated side outputs are then fused in a scale-specific way to detect skeleton pixels using multiple scales effectively. Our method achieves promising results on two skeleton extraction datasets, and significantly outperforms other competitors. Additionally, the usefulness of the obtained skeletons and scales (thickness) are verified on two object detection applications: Foreground object segmentation and object proposal detection.


title: Algebraic independence results for values of Jacobi theta-constants

abstract: Let $\theta_3(\tau)=1+2\sum_{\nu=1}^{\infty} q^{\nu^2}$ with $q=e^{i\pi \tau}$ and $\Im (\tau)>0$ denote the Thetanullwert of the Jacobi theta function \[\theta(z|\tau) \,=\,\sum_{\nu=-\infty}^{\infty} e^{\pi i\nu^2\tau + 2\pi i\nu z} \,.\] Moreover, let $\theta_2(\tau)=2\sum_{\nu=0}^{\infty} q^{{(\nu+1/2)}^2}$ and $\theta_4(\tau)=1+2\sum_{\nu=1}^{\infty} {(-1)}^{\nu}q^{\nu^2}$. For every even integer $n\geq 6$, which is not a power of two, we prove constructively the existence of a nontrivial integer polynomial $Q_n(X,Y)$ such that \[Q_n\Big( \,\frac{\theta_3^4(n\tau)}{\theta_3^4(\tau)},\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}\, \Big) \,=\, 0 \] holds for all complex numbers $\tau$ from the upper half plane of $\mathbb{C}$. These polynomials are used to prove the algebraic independence of $\theta_3(n\tau)$ and $\theta_3(\tau)$ for all algebraic numbers $q=e^{i\pi \tau}$ with $0<|q|<1$. Combining this with former results of the authors, it is shown that for such algebraic $q$ the numbers $\theta_3(n\tau)$ and $\theta_3(\tau)$ are algebraically independent over $\mathbb{Q}$ for every integer $n\geq 2$. A result on the algebraic dependence over $\mathbb{Q}$ of the three numbers $\theta_3(\ell\tau)$, $\theta_3(m\tau)$, and $\theta_3(n\tau)$ for integers $\ell,m,n\geq 1$ is also presented.


title: Elements of Torelli topology: II. The extension problem

abstract: By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The extension problem in Torelli topology is the problem of determining when a diffeomorphism of compact connected subsurface of a closed surface can be extended to a diffeomorphism of the whole surface acting trivially on its homology. The special case of extensions by the identity diffeomorphism was considered by A. Putman, whose work was one of the main sources of inspiration for the present paper. It turns out that the answer depends on the position of the subsurface, but only in a mild and controlled way discovered by A. Putman in the special case of extensions by the identity. The answer is stated in terms of two homology groups associated to the subsurface and a homomorphism between them, which we call the difference map of a diffeomorphism of the subsurface in question. The extension problem is motivated by the desire to extend to Torelli groups some well established tools and results from the theory of Teichm\"uller modular groups. In particular, in the next paper of this series the analysis of the extension problem in this paper will be applied to get a description of all abelian subgroups of Torelli groups. The paper is concluded by some speculations about what is the Torelli group of a surface with non-empty boundary.


title: Permutation Polynomials of the form ${\tt X}^r(a+{\tt X}^{2(q-1)})$ --- A Nonexistence Result

abstract: Let $f={\tt X}^r(a+{\tt X}^{2(q-1)})\in{\Bbb F}_{q^2}[{\tt X}]$, where $a\in{\Bbb F}_{q^2}^*$ and $r\ge 1$. The parameters $(q,r,a)$ for which $f$ is a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ have been determined in the following cases: (i) $a^{q+1}=1$; (ii) $r=1$; (iii) $r=3$. These parameters together form three infinite families. For $r>3$ (there is a good reason not to consider $r=2$) and $a^{q+1}\ne 1$, computer search suggested that $f$ is not a PP of ${\Bbb F}_{q^2}$ when $q$ is not too small relative to $r$. In the present paper, we prove that this claim is true. In particular, for each $r>3$, there are only finitely many $(q,a)$, where $a^{q+1}\ne 1$, for which $f$ is a PP of ${\Bbb F}_{q^2}$.


title: An Experimental Study of LSTM Encoder-Decoder Model for Text Simplification

abstract: Text simplification (TS) aims to reduce the lexical and structural complexity of a text, while still retaining the semantic meaning. Current automatic TS techniques are limited to either lexical-level applications or manually defining a large amount of rules. Since deep neural networks are powerful models that have achieved excellent performance over many difficult tasks, in this paper, we propose to use the Long Short-Term Memory (LSTM) Encoder-Decoder model for sentence level TS, which makes minimal assumptions about word sequence. We conduct preliminary experiments to find that the model is able to learn operation rules such as reversing, sorting and replacing from sequence pairs, which shows that the model may potentially discover and apply rules such as modifying sentence structure, substituting words, and removing words for TS.


title: Pursuit on a Graph under Partial Information from Sensors

abstract: We consider a class of pursuit-evasion problems where an evader enters a directed acyclic graph and attempts to reach one of the terminal nodes. A pursuer enters the graph at a later time and attempts to capture the evader before it reaches a terminal node. The pursuer can only obtain information about the evader's path via sensors located at each node in the graph; the sensor measurements are either green or red (indicating whether or not the evader has passed through that node). We first show that it is NP-hard to determine whether the pursuer can enter with some nonzero delay and still be guaranteed to capture the evader, even for the simplest case when the underlying graph is a tree. This also implies that it is NP-hard to determine the largest delay at which the pursuer can enter and still have a guaranteed capture policy. We further show that it is NP-hard to approximate (within any constant factor) the largest delay at which the pursuer can enter. Finally, we provide an algorithm to compute the maximum pursuer delay for a class of node-sweeping policies on tree networks and show that this algorithm runs in linear-time for bounded-degree trees.


title: Holographic study on the jet quenching parameter in anisotropic systems

abstract: We first calculate the jet quenching parameter of an anisotropic plasma with a U(1) chemical potential via the AdS/CFT duality. The effects of charge, anisotropy parameter and quark motion direction on the jet quenching parameter are investigated. We then discuss the situation of anisotropic black brane in the IR region. We study both the jet quenching parameters along the longitudinal direction and transverse plane.


title: A Greedy Algorithm to Cluster Specialists

abstract: Several recent deep neural networks experiments leverage the generalist-specialist paradigm for classification. However, no formal study compared the performance of different clustering algorithms for class assignment. In this paper we perform such a study, suggest slight modifications to the clustering procedures, and propose a novel algorithm designed to optimize the performance of of the specialist-generalist classification system. Our experiments on the CIFAR-10 and CIFAR-100 datasets allow us to investigate situations for varying number of classes on similar data. We find that our \emph{greedy pairs} clustering algorithm consistently outperforms other alternatives, while the choice of the confusion matrix has little impact on the final performance.


title: Direct laser cooling Al+ ions optical clocks

abstract: Al$^+$ ions optical clock is a very promising optical frequency standard candidate due to its extremely small blackbody radiation shift. It has been successfully demonstrated with indirect cooled, quantum-logic-based spectroscopy technique. Its accuracy is limited by second-order Doppler shift, and its stability is limited by the number of ions that can be probed in quantum logic processing. We propose a direct laser cooling scheme of Al$^+$ ions optical clocks where both the stability and accuracy of the clocks are greatly improved. In the proposed scheme, two Al$^+$ ions traps are utilized. The first trap is used to trap a large number of Al$^+$ ions to improve the stability of the clock laser, while the second trap is used to trap a single Al$^+$ ions to provide the ultimate accuracy. Both traps are cooled with a continuous wave 167 nm laser. The expected clock laser stability can reach $9.0\times10^{-17}/\sqrt{\tau}$. For the second trap, in addition to 167 nm laser Doppler cooling, a second stage pulsed 234 nm two-photon cooling laser is utilized to further improve the accuracy of the clock laser. The total systematic uncertainty can be reduced to about $1\times10^{-18}$. The proposed Al$^+$ ions optical clock has the potential to become the most accurate and stable optical clock.


title: Longest Common Subsequence in at Least $k$ Length Order-Isomorphic Substrings

abstract: We consider the longest common subsequence (LCS) problem with the restriction that the common subsequence is required to consist of at least $k$ length substrings. First, we show an $O(mn)$ time algorithm for the problem which gives a better worst-case running time than existing algorithms, where $m$ and $n$ are lengths of the input strings. Furthermore, we mainly consider the LCS in at least $k$ length order-isomorphic substrings problem. We show that the problem can also be solved in $O(mn)$ worst-case time by an easy-to-implement algorithm.


title: Linear Stability of Hyperbolic Moment Models for Boltzmann Equation

abstract: Grad's moment models for Boltzmann equation were recently regularized to globally hyperbolic systems, and thus the regularized models attain local well-posedness for Cauchy data. The hyperbolic regularization is only related to the convection term in Boltzmann equation. We in this paper studied the regularized models with the presentation of collision terms. It is proved that the regularized models are linear stability at the local equilibrium and satisfy Yong's first stability condition with commonly used approximate collision terms, and particularly with Boltzmann's binary collision model.


title: Thermodynamic parameters of single- or multi-band superconductors derived from self-field critical currents

abstract: Key questions for any superconductor include: what is its maximum dissipation-free electrical current (its `critical current') and can this be used to extract fundamental thermodynamic parameters? Present models focus on depinning of magnetic vortices and implicate materials engineering to maximise pinning performance. But recently we showed that the self-field critical current for thin films is a universal property, independent of microstructure, controlled only by the penetration depth. Here we generalise this observation to include thin films, wires or nanowires of single- or multi-band s-wave and d-wave superconductors. Using extended BCS theory we consider dissipation-free self-field transport currents as Meissner-London currents, avoiding the concept of pinning altogether. We find quite generally, for type I or type II superconductors, the current is limited by the relevant critical field divided by the penetration depth. Our fits to 62 available data sets, from zinc nanowires to compressed sulphur hydride with critical temperatures of 0.65 to 203 K, respectively, are excellent. Extracted London penetration depths, superconducting energy gaps and specific heat jumps agree well with reported bulk values. For multiband or multiphase samples we accurately recover individual band contributions and phase fractions.


title: Evolution of clusters in energetic heavy ion bombarded amorphous graphite-II: formation and fragmentation phenomena

abstract: A study has been conducted into the mechanisms of evolution of clusters and their subsequent fragmentation under energetic heavy ion bombardment of amorphous graphite. The evolving clusters and their subsequent fragmentation under continuing ion bombardment are revealed by detecting various clusters in the energy spectra of the Direct Recoils emitted as a result of collisions between ions and surface constituents. The successive Direct Recoil spectra reveal that the energetics of Carbon Carbon bond formation as well as any subsequent fragmentation can be related to the processes of energy dissipation in a cylindrical volume of a few Angstrom surrounding the ion path. The dependence of cluster with m carbon atoms formation or its subsequent fragmentation into cluster with m-2 carbon atoms and diatomic carbon C2 is seen to be a function of the ionic stopping powers in this cylindrical volume.


title: Ramsey Numbers of Odd Cycles Versus Larger Even Wheels

abstract: The generalized Ramsey number $R(G_1, G_2)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ either contains a red copy of $G_1$ or a blue copy of $G_2$. Let $C_m$ denote a cycle of length $m$ and $W_n$ denote a wheel with $n+1$ vertices. In 2014, Zhang, Zhang and Chen determined many of the Ramsey numbers $R(C_{2k+1}, W_{n})$ of odd cycles versus larger wheels, leaving open the particular case where $n = 2j$ is even and $k<j<3k/2$. They conjectured that for these values of $j$ and $k$, $R(C_{2k+1}, W_{2j})=4j+1$. In 2015, Sanhueza-Matamala confirmed this conjecture asymptotically, showing that $R(C_{2k+1}, W_{2j}) \le 4j+334$. In this paper, we prove the conjecture of Zhang, Zhang and Chen for almost all of the remaining cases. In particular, we prove that $R(C_{2k+1},W_{2j})=4j+1$ if $j-k \ge 251$, $k<j<3k/2$, and $j \ge 212299$.


title: Alexander polynomial obstruction of bi-orderability for rationally homologically fibered knot groups

abstract: We show that if the fundamental group of the complement of a rationally homologically fibered knot in a rational homology 3-sphere is bi-orderable, then its Alexander polynomial has at least one positive real root. Our argument can be applied for a finitely generated group which is an HNN extension with certain properties.


title: Radial-Velocity Fitting Challenge. II. First results of the analysis of the data set

abstract: Radial-velocity (RV) signals induce RV variations an order of magnitude larger than the signal created by the orbit of Earth-twins, thus preventing their detection. The goal of this paper is to compare the efficiency of the different methods used to deal with stellar signals to recover extremely low-mass planets despite. However, because observed RV variations at the m/s precision level or below is a combination of signals induced by unresolved orbiting planets, by the star, and by the instrument, performing such a comparison using real data is extremely challenging. To circumvent this problem, we generated simulated RV measurements including realistic stellar and planetary signals. Different teams analyzed blindly those simulated RV measurements, using their own method to recover planetary signals despite stellar RV signals. By comparing the results obtained by the different teams with the planetary and stellar parameters used to generate the simulated RVs, it is therefore possible to compare the efficiency of these different methods. The most efficient methods to recover planetary signals {take into account the different activity indicators,} use red-noise models to account for stellar RV signals and a Bayesian framework to provide model comparison in a robust statistical approach. Using the most efficient methodology, planets can be found down to K/N= K_pl/RV_rms*sqrt{N_obs}=5 with a threshold of K/N=7.5 at the level of 80-90% recovery rate found for a number of methods. These recovery rates drop dramatically for K/N smaller than this threshold. In addition, for the best teams, no false positives with K/N > 7.5 were detected, while a non-negligible fraction of them appear for smaller K/N. A limit of K/N = 7.5 seems therefore a safe threshold to attest the veracity of planetary signals for RV measurements with similar properties to those of the different RV fitting challenge systems.


title: Deep Coevolutionary Network: Embedding User and Item Features for Recommendation

abstract: Recommender systems often use latent features to explain the behaviors of users and capture the properties of items. As users interact with different items over time, user and item features can influence each other, evolve and co-evolve over time. The compatibility of user and item's feature further influence the future interaction between users and items. Recently, point process based models have been proposed in the literature aiming to capture the temporally evolving nature of these latent features. However, these models often make strong parametric assumptions about the evolution process of the user and item latent features, which may not reflect the reality, and has limited power in expressing the complex and nonlinear dynamics underlying these processes. To address these limitations, we propose a novel deep coevolutionary network model (DeepCoevolve), for learning user and item features based on their interaction graph. DeepCoevolve use recurrent neural network (RNN) over evolving networks to define the intensity function in point processes, which allows the model to capture complex mutual influence between users and items, and the feature evolution over time. We also develop an efficient procedure for training the model parameters, and show that the learned models lead to significant improvements in recommendation and activity prediction compared to previous state-of-the-arts parametric models.


title: Exploring nonlocal observables in shock wave collisions

abstract: We study the time evolution of 2-point functions and entanglement entropy in strongly anisotropic, inhomogeneous and time-dependent N=4 super Yang-Mills theory in the large N and large 't Hooft coupling limit using AdS/CFT. On the gravity side this amounts to calculating the length of geodesics and area of extremal surfaces in the dynamical background of two colliding gravitational shockwaves, which we do numerically. We discriminate between three classes of initial conditions corresponding to wide, intermediate and narrow shocks, and show that they exhibit different phenomenology with respect to the nonlocal observables that we determine. Our results permit to use (holographic) entanglement entropy as an order parameter to distinguish between the two phases of the cross-over from the transparency to the full-stopping scenario in dynamical Yang-Mills plasma formation, which is frequently used as a toy model for heavy ion collisions. The time evolution of entanglement entropy allows to discern four regimes: highly efficient initial growth of entanglement, linear growth, (post) collisional drama and late time (polynomial) fall off. Surprisingly, we found that 2-point functions can be sensitive to the geometry inside the black hole apparent horizon, while we did not find such cases for the entanglement entropy.


title: Unsupervised Monocular Depth Estimation with Left-Right Consistency

abstract: Learning based methods have shown very promising results for the task of depth estimation in single images. However, most existing approaches treat depth prediction as a supervised regression problem and as a result, require vast quantities of corresponding ground truth depth data for training. Just recording quality depth data in a range of environments is a challenging problem. In this paper, we innovate beyond existing approaches, replacing the use of explicit depth data during training with easier-to-obtain binocular stereo footage. We propose a novel training objective that enables our convolutional neural network to learn to perform single image depth estimation, despite the absence of ground truth depth data. Exploiting epipolar geometry constraints, we generate disparity images by training our network with an image reconstruction loss. We show that solving for image reconstruction alone results in poor quality depth images. To overcome this problem, we propose a novel training loss that enforces consistency between the disparities produced relative to both the left and right images, leading to improved performance and robustness compared to existing approaches. Our method produces state of the art results for monocular depth estimation on the KITTI driving dataset, even outperforming supervised methods that have been trained with ground truth depth.


title: Ringel-Hall algebras beyond their quantum groups I: Restriction functor and Green's formula

abstract: In this paper, we generalize the categorifical construction of a quantum group and its canonical basis introduced by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of the whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove the Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.


title: Basis Tensor Gauge Theory

abstract: We reformulate gauge theories in analogy with the vierbein formalism of general relativity. More specifically, we reformulate gauge theories such that their gauge dynamical degrees of freedom are local fields that transform linearly under the dual representation of the charged matter field. These local fields, which naively have the interpretation of non-local operators similar to Wilson lines, satisfy constraint equations. A set of basis tensor fields are used to solve these constraint equations, and their field theory is constructed. A new local symmetry in terms of the basis tensor fields is used to make this field theory local and maintain a Hamiltonian that is bounded from below. The field theory of the basis tensor fields is what we call the basis tensor gauge theory.


title: Functional SAR Model

abstract: In this paper, we study a functional SAR model in which explanatory variables are sampling points of a continuous-time process. We propose a procedure for the maximum likelihood estimation for the spatial parameter dependence and the parameter function. Both convergence in probability and almost sure convergence of this estimator are stated.


title: Cubic constraints for the resolvents of the ABJM matrix model and its cousins

abstract: A set of Schwinger-Dyson equations forming constraints for at most three resolvent functions are considered for a class of Chern-Simons matter matrix models with two nodes labelled by a non-vanishing number $n$. The two cases $n=2$ and $n= -2$ label respectively the ABJM matrix model, which is the hyperbolic lift of the affine $A_1^{(1)}$ quiver matrix model, and the lens space matrix model. In the planar limit, we derive two cubic loop equations for the two planar resolvents. One of these reduces to the quadratic one when $n = \pm 2$.


title: On asymptotic approximations to the log-Gamma and Riemann-Siegel theta functions

abstract: We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln\Gamma(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by Behnke and Sommer (1962), Spira (1971), and Hare (1997). We show that $|R_{k+1}(z)/T_k(z)| < \sqrt{\pi k}$ for nonzero $z$ in the right half-plane, where $T_k(z)$ is the $k$-th term in the asymptotic series, and $R_{k+1}(z)$ is the error incurred in truncating the series after $k$ terms. If $k \le |z|$, then the stronger bound $|R_{k+1}(z)/T_k(z)| < (k/|z|)^2/(\pi^2-1) < 0.113$ holds. Similarly for the asymptotic approximation of $\ln\Gamma(z+\frac{1}{2})$, except that a factor $\eta_k = 1/(1-2^{1-2k})$ multiplies some of the bounds. We deduce similar bounds for asymptotic approximation of the Riemann-Siegel theta function $\vartheta(t)$. We show that the accuracy of a well-known approximation to $\vartheta(t)$ can be improved by including an exponentially small term in the approximation. This improves the attainable accuracy for real $t>0$ from $O(\exp(-\pi t))$ to $O(\exp(-2\pi t))$. We discuss a similar example due to Olver (1964), and a connection with the Stokes phenomenon.


title: Making Deep Neural Networks Robust to Label Noise: a Loss Correction Approach

abstract: We present a theoretically grounded approach to train deep neural networks, including recurrent networks, subject to class-dependent label noise. We propose two procedures for loss correction that are agnostic to both application domain and network architecture. They simply amount to at most a matrix inversion and multiplication, provided that we know the probability of each class being corrupted into another. We further show how one can estimate these probabilities, adapting a recent technique for noise estimation to the multi-class setting, and thus providing an end-to-end framework. Extensive experiments on MNIST, IMDB, CIFAR-10, CIFAR-100 and a large scale dataset of clothing images employing a diversity of architectures --- stacking dense, convolutional, pooling, dropout, batch normalization, word embedding, LSTM and residual layers --- demonstrate the noise robustness of our proposals. Incidentally, we also prove that, when ReLU is the only non-linearity, the loss curvature is immune to class-dependent label noise.


title: Mode-locked Yb-doped fiber laser emitting broadband pulses at ultra-low repetition rates

abstract: We report on an environmentally stable, Yb-doped, all-normal dispersion, mode-locked fibre laser that is capable of creating broadband pulses with ultra-low repetition rates. Specifically, through careful positioning of fibre sections in an all-PM-fibre cavity mode-locked with a nonlinear amplifying loop mirror, we achieve stable pulse trains with repetition rates as low as 506 kHz. The pulses have several nanojules of energy and are compressible down to ultrashort (< 500 fs) durations.


title: Effects of Herzberg--Teller vibronic coupling on coherent excitation energy transfer

abstract: In this work, we study the effects of non-Condon vibronic coupling on the quantum coherence of excitation energy transfer, via the exact dissipaton-equation-of-motion (DEOM) evaluations on excitonic model systems. Field-triggered excitation energy transfer dynamics and two dimensional coherent spectroscopy are simulated for both Condon and non-Condon vibronic couplings. Our results clearly demonstrate that the non-Condon vibronic coupling intensifies the dynamical electronic-vibrational energy transfer and enhances the total system-and-bath quantum coherence. Moreover, the hybrid bath dynamics for non-Condon effects enriches the theoretical calculation, and further sheds light on the interpretation of the experimental nonlinear spectroscopy.


title: New multivariate tests for assessing covariate balance in matched observational studies

abstract: We propose new tests for assessing whether covariates in a treatment group and matched control group are balanced in observational studies. The tests exhibit high power under a wide range of multivariate alternatives, some of which existing tests have little power for. The asymptotic permutation null distributions of the proposed tests are studied and the p-values calculated through the asymptotic results work well in finite samples, facilitating the application of the test to large data sets. The tests are illustrated in a study of the effect of smoking on blood lead levels. The proposed tests are implemented in an R package BalanceCheck.


title: Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH

abstract: Device-independent self-testing allows a verifier to certify that potentially malicious parties hold on to a specific quantum state, based only on the observed correlations. Parallel self-testing has recently been explored, aiming to self-test many copies (i.e. a tensor product) of the target state concurrently. In this work, we show that $n$ EPR pairs can be self-tested in parallel through $n$ copies of the well known CHSH game. We generalise this result further to a parallel self-test of $n$ tilted EPR pairs with arbitrary angles, and finally we show how our results and calculations can also be applied to obtain a parallel self-test of $2n$ EPR pairs via $n$ copies of the Mermin-Peres magic square game.


title: Vector bundles induced from jet schemes

abstract: A family of holomorphic vector bundles is constructed on a complex manifold $X$. The space of the holomorphic sections of these bundles are calculated in certain cases. As an application, if $X$ is an $N$-dimensional compact K\"ahler manifold with holonomy group $SU(N)$, the space of holomorphic vector fields on its jet scheme $J_m(X)$ is calculated. We also prove that the space of the global sections of the chiral de Rham complex of a K3 surface is the simple $N=4$ superconformal vertex algebra with central charge $6$.


title: Accidental permutation symmetries as a test for Grand Unification: the supersymmetric $SU(5)$ case

abstract: Unification of matter fields implies the existence of accidental permutation symmetries, which potentially remain immune to large quantum corrections up to the TeV scale. We investigate the case of a supersymmetric $SU(5)$ grand unified theory, where such a permutation symmetry is present in the up-type squark sector. We present a variety of tests allowing to challenge the $SU(5)$ hypothesis based on the observation of squarks at the LHC. These tests appear as relations among observables involving flavour-violating or chirality-flipping decays of squarks. Moreover, they rely on top-polarimetry and charm-tagging. As an example, we discuss the application to the scenario of Natural Supersymmetry, while more examples can be found in the related journal publications.


title: Construction of Gray maps for groups of order 16

abstract: In this paper we consider Type 1 Gray maps and Type 2 Gray maps for groups of order 16. First, we confirm that we can construct Type 1 Gray maps for all groups of order 16, and we actually construct them. Next, we confirm that we can construct Type 2 Gray maps for several groups of order 16, and we construct all such maps. Finally we reveal why the other groups do not admit Gray maps.


title: Deflecting cavity dynamics for time-resolved machine studies of SXFEL user facility

abstract: Radio frequency deflectors are widely used for time-resolved electron beam energy, emittance and radiation profile measurements in modern free electron laser facilities. In this paper, we present the beam dynamics aspects of the deflecting cavity of SXFEL user facility, which is located at the exit of the undulator. With a targeted time resolution around 10 fs, it is expected to be an important tool for time-resolved commissioning and machine studies for SXFEL user facility.


title: Sample selection models for discrete and other non-Gaussian response variables

abstract: Consider observation of a phenomenon of interest subject to selective sampling due to a censoring mechanism regulated by some other variable. In this context, an extensive literature exists linked to the so-called Heckman selection model. A great deal of this work has been developed under Gaussian assumption of the underlying probability distributions; considerably less work has dealt with other distributions. We examine a general construction which encompasses a variety of distributions and allows various options of the selection mechanism, focusing especially on the case of discrete response. Inferential methods based on the pertaining likelihood function are developed.


title: Uniqueness for an inverse problem for a semilinear time-fractional diffusion equation

abstract: An inverse problem to determine a space-dependent factor in a semilinear time-fractional diffusion equation is considered. Additional data are given in the form of an integral with the Borel measure over the time. Uniqueness of the solution of the inverse problem is studied. The method uses a positivity principle of the corresponding differential equation that is also proved in the paper.


title: Kloosterman paths of prime powers moduli

abstract: Emmanuel Kowalski and William Sawin proved, using a deep independence result of Kloosterman sheaves, that the polygonal paths joining the partial sums of the normalized classical Kloosterman sums S(a,b0;p)/p^{1/2} converge in the sense of finite distributions to a specific random Fourier series, as a varies over (Z/pZ)^*, b0 is fixed in (Z/pz)* and p tends to infinity among the odd prime numbers. This article considers the case of S(a,b0;p^n)/p^{n/2}, as a varies over (Z/p^nZ)^*, b0 is fixed in (Z/p^nZ)^*, p tends to infinity among the odd prime numbers and n>=2 is a fixed integer. A convergence in law in the Banach space of complex-valued continuous function on [0,1] is also established, as (a,b) varies over (Z/p^nZ)*.(Z/p^nZ)*, p tends to infinity among the odd prime numbers and n>=2 is a fixed integer. This is the analogue of the result obtained by Emmanuel Kowalski and William Sawin in the prime moduli case.


title: Blending Entropy: A Term for Addressing Information Density in Mediated Reality

abstract: The virtuality continuum describes the degrees of positive virtuality under the umbrella term mixed reality. Besides adding virtual information within a mixed environment, diminished reality aims at reducing real world information. Mann defined the term mediated reality (MR), which also considered diminished reality, but without the possibility to describe different degrees of fusion between a mixed and a diminished reality. That is why this work defines the new term blending entropy that captures the relations between a mixed and a diminished reality. The blending entropy is based on the information density of the mediated reality and the actual area the user has to comprehend, which is named perceptual frustum. We describe the blending entropy's twodimensional dependencies and detail important points in the blending entropy's space.


title: Power Allocation and Effective Capacity of AF Successive Relays

abstract: In the relay based telecommunications with $K$ relays between the source and destination, $K+1$ time or frequency slots are required for a single frame transmission. However, without the relays, only one time or frequency slot is used for a single frame transmission. Therefore, despite the benefits of relaying systems, this type of communications is not efficient from the spectral efficiency viewpoint. One solution to reduce this issue might be the full-duplex (FD) relays. An old technique which is reconsidered recently to improve the spectral efficiency of telecommunication systems. However, FD relays have a certain complexity, so, some similar techniques such as successive relays with nearly the same performance but less complexity is taken into account now. In successive relaying systems, two relays between the source and destination are employed which receive the transmitted frames from the source and relay it to the destination successively. This structure generally acts like an FD relays. In this paper, the effective capacity performance of an amplify and forward (AF) successive relaying systems with power allocation strategy at the relays are studied perfectly. However, while the inter-rely interference (IRI) between two successive relays has to be managed well, the power allocation and the effective capacity is derived under different assumptions about the IRI. In this way, we assume weak or strong, short or long-term constraints on the IRI. Then we extract the optimal transmitted power at the relay to maximize the effective capacity under these constraints.